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 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:10:10 UTC

G.6:4.6 - Declarative representation discipline

EvidenceGraph, PathId, PathSliceId, and ProvenanceLedger tell a reader which already governed account is being cited. They do not tell a worker what to do and they do not reconstruct missing world-side facts.

Current phrase or artifactRequired recovery before G.6 representation
method, protocol, algorithm, clause, or policyexact reusable declaration; when the path cites dated Work, recover it separately under §4.1; when it cites actual operation bindings, recover them under A.6.1
work trace, run, test, audit, measurement, or evaluationindependently admitted dated Work ref and A.13-qualified actual performer refs under §4.1; enacted Method, resources, exact direct participation facts, and A.6.1 binding facts remain separate; expose an assignment occurrence and obtaining F.6 relation only when the path expressly consumes precise assignment-bound attribution
produced carrier, model, report, or epistemeexact produced entity and either its subject-specific direct production relation, when the subject pattern declares one, or the one local A.15.PROD production-work or inception claim that the current use needs
reading, score, verdict, estimate, aggregate, diagnosis, or outcomeexact domain result and direct governor; distinct C.2.1 episteme when durably stated
publication, view, export, or graph renderingexact source relation, E.17 source-backed face, E.24.PUB publication occurrence, and C.29 representation correspondence when each is current
evidence, provenance, currentness, reliance, or assuranceA.2.4/A.10, G.11, and B.3 under their separate entry conditions
later acceptance, gate, release, or decisionits local result and exact later-use relation under their direct rules; dated Work admitted under §4.1 when that occurrence is asserted