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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 05:55:15 UTC

A.6.5:4.6 - Dispatch the world-side fact, claim, and local kind

Current readingObject or claimNext pattern
Relevant current-case facts or constituting history satisfy the direct obtaining predicate for these participantsone world-side relation occurrence whose participants retain their own kindsdirect relation pattern for the test and identity rule; the current case for its factual basis; A.6.REL only when occurrence identity is consumed
A claim-bearing episteme designates the participants under declared SlotSpecs and records affirmative or negative polarity for the direct predicate; evidence and reliance remain separate when usedan assertion episteme about the direct relation; an affirmative assertion may designate an occurrence only after current-case facts or constituting history satisfy the direct predicate and the identity rule has been applied; the assertion states that result; assertion form by itself neither warrants nor constitutes the occurrence, and any constitutive contribution follows the direct relation’s rule; forecasts, scenarios, counterfactuals, permissions, and other claim families retain their own defining rulesC.2.1, A.6.5, and the direct claim-family definition; add A.10 or the receiving evaluation only when a reliance judgment is current
A typed claim ranges over all actual participants corresponding to one declared participant meaninglocal C.3 kind whose extent rule selects those participantsC.3 and C.3.1 for kind, subkind, and continuity; C.3.2 for the KindSignature, admissibility, membership judgment, and optional extension

Keep the direct relation fact under its relation pattern, the claim under C.2.1, and introduce a C.3 local kind only when membership, substitution, quantification, or typed reasoning is current.

The declaration’s exact local ValueKind constrains the actual participant corresponding to that meaning; when typed quantification is current, a separately defined C.3 local kind and its membership rule supply the reusable classification.