Source changed 2026-10-03 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 03:38:16 UTC
A.7.CP:12 - Relations
Defines: the twelve A7CP-* constructive claim contents and ClaimUsedAsReasoningBasisRelation@Context, whose direct result-specific edge states that dated reasoning work used one exact basis claim to form or revise one exact receiving result episteme.
Is consumed by: dated Work applying the Methods described by A.7.1 or A.7.2, which cites exact compact claims and exposes relation occurrences only for load-bearing actual reliance. The A.7.1 and A.7.2 U.MethodDescription epistemes may separately declare premises or branch conditions for their described Methods; neither MethodDescription nor Method is a participant of ClaimUsedAsReasoningBasisRelation@Context.
Coordinates with: current A.7 for its existing strict distinctions without broadening its EntityOfConcern, first move, Solution, or cases.
Preserves subject patternship in:A.10 and G.11 for evidence/currentness, E.24/E.24.UK for ontology admission, subject construction patterns for constructive settlement, and A.7.2 for ontology source-use relations.
Does not define: a premise method, source authority, evidence relation, work plan, performer kind, common realism checklist, or universal foundation ontology.