fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 110541–110571

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 09:35:10 UTC

F.15:12 - Reasoning primitives

triggeredStaticResults(scopeVersion, receivingUse)
  = exact C.2.1 result-claim refs for every SCR triggered by that finite scope.

staticSliceOK(...) may be asserted only as a C.2.1 summary claim over those exact positive results. Scope membership, a filled record, or an absent failure row does not establish it.

changedMemberResult(priorRef, laterRef, rscrRef, continuityOrChangeClaim, losses, receivingUse)
  = one exact C.2.1 result claim after the rule application and its evidence are recoverable.

changedSliceOK(...) may summarize only exact current changed-member results that pass for the named receiving use; fail or undetermined leaves the affected use unadmitted. Unchanged members reuse prior results after a direct contradiction check; one changed member does not trigger a full-slice rerun unless its dependencies invalidate the other results.

failedRule(ruleRef, subjectClaimRef)
  -> use the defining or testing rule for subjectClaimRef before the receiving use.

An F.15 result may report the failed check. Writing another record field neither repairs nor decides the subject claim.

bridgeSuitableForUse(bridgeOccurrenceRef, useClaimRef)
  only if the Bridge obtains, the separate C.2.1 claim is affirmative for exact <use,direction,rule,tolerance>,
  and current A.10 or B.3 reliance supports that claim for the same use.

The Bridge, use claim, evidence/reliance, authorization, and any receiving occurrence remain separate. CL, a Card, or record membership is not a use result.