Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 13:05:11 UTC

E.17.ID.CR:7.2 - ID.CR-Conditional checks

  1. CC-ID-4 - Base-case governing-pattern relation is explicit. A reviewer can tell why the case does not really belong to A.6.3.*, an F.9 Bridge or bounded-use branch, an F.9.1 stance-note branch, E.17.EFP, B.5.2(.0), OntologicalReframing, or A.6.4.
  2. CC-ID-5 - Bridge declaration does not hide. If the case depends on bridge-mediated comparison, bridgeOccurrenceRef and boundedUseClaimRef are required. The latter resolves a claim whose EntityOfConcern is that Bridge and whose use/direction/rule/loss/polarity tuple matches the comparative unit. Positive use requires affirmative polarity and, when A.10 or B.3 is triggered, current reliance for that exact use; degraded reliance narrows it, while a negative, abstaining, reopened, evidence-needed, blocked, or mismatched result stops it. Authorization and actual comparative-review Work remain separate. Optional bridgeCardRef remains packaging; optional bridgeStanceRef resolves a separate F.9.1 episteme whose EntityOfConcern is that claim.
  3. CC-ID-7 - Reader-fit stays bounded. targetUserModel, interactionMode, contrastiveQuestion, boundedComparativeUse, and overreadRisk are visible when needed, but they do not create an authority claim that the unit does not carry.

Checklist recovery map. If an assurance-side reader wants to recover one checklist row by value, use the nearest ordinary card row and worked recovery below before treating the checklist as self-sufficient:

Checklist rowRecover through firstNearest worked or practical recovery
CC-ID-1E.17.ID.CR:4.3.b.a rows Reviewed source and Shared review frame and alternative identitiesE.17.ID.CR:5.4.5, E.17.ID.CR:5.4.6, E.17.ID.CR:5.4.6.a
CC-ID-2E.17.ID.CR:4.3.b.a rows Reviewed source, Source references, and Bounded liftE.17.ID.CR:5.4.5, E.17.ID.CR:5.4.6, E.17.ID.CR:5.4.6.a
CC-ID-3E.17.ID.CR:4.3.b.a rows Bounded lift, Blocked downstream claim or effect, and World-contact limitE.17.ID.CR:5.4.6, E.17.ID.CR:5.4.10, E.17.ID.CR:5.4.11
CC-ID-4near-top Neighboring-work boundary, Quick working-fit check, and E.17.ID.CR:4.5 - Neighboring-work boundary glanceE.17.ID.CR:5.4.7 through E.17.ID.CR:5.4.10
CC-ID-5E.17.ID.CR:4.3.d bridge-declaration fields plus E.17.ID.CR:4.2 neighboring patternsE.17.ID.CR:5.4.1, E.17.ID.CR:5.4.2, E.17.ID.CR:5.4.3
CC-ID-6E.17.ID.CR:4.3.b.a row Boundary trigger plus the near-top boundary corridorE.17.ID.CR:5.4.7 through E.17.ID.CR:5.4.10
CC-ID-7E.17.ID.CR:4.3.d interpretant-side fields, kept subordinate to the ordinary card and blocked downstream claim or effectE.17.ID.CR:5.4.4, E.17.ID.CR:5.4.6, E.17.ID.CR:5.4.6.b
CC-ID-8E.17.ID.CR:4.3.b.a rows Blocked downstream claim or effect and World-contact limitE.17.ID.CR:5.4.6, E.17.ID.CR:5.4.10, E.17.ID.CR:5.4.11