#Table of Content
Preface node
heading:table-of-content:15
#What this page is
This is generated FPF reference text from the specification preface or supporting sections. It helps interpret FPF; it is not FPF Reference product documentation.
#Methodology
Use it to understand how the specification wants to be read, then return to a route, pattern, or work packet for active work. Cite generated IDs only when the wording changes the task decision.
#Content
Preface (non-normative)
| ID & Title | Status | Concise content reminder — “what belongs here” |
|---|---|---|
| What this specification is (and how to use it) | full text | A practical orientation to the Core Conceptual Specification: what FPF is, which FPF patterns, publications, records, and tools it defines, how Parts A-K fit together, and where to start for different entry situations. |
| Creativity in Open-Ended Evolution and Assurance* | full text | FPF integrates assurance (audits, evidence) and creativity (generating novel ideas) as complementary engines for responsible innovation, providing a structured choreography for creative work from abduction to operation. |
| Navigating Uncertainty: Building Closed Worlds within an Open World | full text | Explains how FPF reconciles Open-World and Closed-World assumptions, using Bounded Contexts to create reliable 'islands of closure' for engineering decisions within an inherently open world. |
| FPF as an Evolutionary Architecture for Thought | full text | Positions FPF as an architecture for the reasoning process itself, designed to sustain key characteristics like auditability, evolvability, and falsifiability by applying architectural thinking to the dynamics of reasoning. |
| Architectural Characteristic of Thought | full text | Details the key characteristics of rigorous thought (e.g., Auditability, Evolvability, Composability) and the specific FPF mechanisms designed to preserve them. |
| Beyond Cognitive Biases: FPF as a Generative Architecture for Thought | full text | Contrasts FPF's generative, structural approach to avoiding cognitive errors with the traditional corrective, diagnostic approach of hunting for biases, framing FPF as a scaffold that makes errors harder to commit. |
| Thinking Through Writing: The FPF Discipline of Conceptual Work | full text | Describes how FPF uses a discipline of "thinking through writing" with conceptual forms (Cards, Tables, Records) to make thought tangible, shareable, and auditable, while remaining tool-agnostic. |
| Descriptive Ontologies vs. A Thinking-Oriented Architecture | full text | Differentiates FPF's goal of orchestrating reasoning from classical ontologies' goal of cataloging existence, emphasizing FPF's focus on objectives, trust, and dynamics. |
| The "Bitter Lesson" trajectory — compute, data, and freedom over hand‑tuned rules (FPF stance) | full text | How FPF operationalizes the contemporary trend: prefer general models + data + compute + minimal constraints; autonomy budgets; rule‑of‑constraints vs instruction‑of‑procedure; continuous adaptation. |
| From Flat Documents to High-Dimensional Truth: The Multi-View Architecture | full text | Shows how FPF replaces flat documents with a multi-view architecture: epistemes as slot relations, engineering views as projections, and MVPK as typed publication surfaces that keep dashboards admissibly tethered to work and evidence. |
| Boundary Statements: Where Language Becomes a System Boundary | full text | Introduces the A.6 boundary cluster: why certain sentences carry boundary claims, permissions, commitments, gate pressure, or evidence cues, and how L/A/D/E claim classification keeps those roles evolvable and multi-view safe. |
| Raising Semantic Precision: From Triggers to Math‑Backed Ontics | full text | Describes the precision-upgrade discipline behind A.6.P: detect broad load-bearing words, unpack the local ontology, choose a stable mathematical substrate, refactor the model, and mint precise lexemes + guardrails (Tech/Plain twins). |
| The “big storylines” unique to FPF (load‑bearing commitments) | full text | Lists the nine core, load-bearing commitments that define FPF's unique architectural and philosophical stance, from its holonic kernel to its explicit treatment of creativity and assurance. |
| Transdisciplinarity as a Meta‑Theory of Thinking | full text | Explains how FPF treats transdisciplinarity as a meta-theory for designing reasoning, using FPF patterns as generative scaffolds grounded in physical reality to bridge disciplinary silos. |
| FPF as a Culinary Architecture for Collective Thought: Why We Formalize “Obvious” Ideas | full text | Uses the 'culinary architecture' analogy to explain FPF's role in synthesizing 'obvious' ideas into a robust framework for complex, generative problems. |
| Intellect Stack (informative Overview) | full text | Presents a five-part pedagogical map of cognitive skills (Structure → Knowledge → Action → Strategy → Governance) and links them to FPF patterns. |
| Purpose, Scope, and Explicit Non‑Goals | full text | Clarifies FPF's mission as a generative scaffold for thought, its scope as tool-agnostic normative patterns, and what it explicitly is not (e.g., a domain encyclopedia or a specific methodology). |
Part A - Kernel Architecture Cluster
| § | ID & Title | Status | Keywords & Search Queries | Dependencies |
|---|---|---|---|---|
| A.0 | Onboarding Glossary (NQD & E/E‑LOG) | Stable | Keywords: novelty, quality-diversity (NQD), explore/exploit (E/E-LOG), declared set result, typed portfolio publication, SearchSpaceRef, OutcomeSpaceRef, DeclaredSubstrateInterpretiveView, TypedSetViews, ParetoOnly default, scale-probe, BLP. Queries: "What terms must I publish when generating, selecting, or shipping a set result?", "How do I explain search-side vs outcome-side spaces and interpretive views on first use?", "How does FPF avoid single-winner bias in creative search?" | Builds on: E.2, A.5, C.17-C.19. Coordinates with: E.7, E.8, E.10, F.17, A.19.SOURCE-SET-SPACE-SUBSTRATE, A.19.DECLARED-SUBSTRATE-INTERPRETIVE-VIEW, G.5, G.9-G.12. Constrains: any pattern/UTS row that describes a generator, selector, declared set result, typed portfolio publication, or set-return publication. |
| Cluster A.I - Foundational Ontology | ||||
| A.1 | U.Holon, U.System, and U.Episteme | Stable | Holonic root ontology for entity, holon, acting system, and claim-bearing non-agentive episteme; keeps part-whole, boundary, acting-system eligibility, episteme non-agentivity, and architecture grounding distinct. | Builds on: E.24. Coordinates with: A.1.1, A.2, A.7, A.22, C.2.1, C.30. |
| A.1.1 | U.BoundedContext Semantic Frame | Stable | Semantic-frame ontology for local meaning, local vocabulary, invariant set, local role taxonomy, bridge relations, and non-container context boundary. | Builds on: A.1, E.10.D1. Coordinates with: F.0.1, F.9, F.18, E.24. |
| A.2 | Role Taxonomy | Stable | Keywords: role, assignment, holder, context, function vs identity, responsibility, U.RoleAssignment. Queries: "How to model responsibilities?", "What is the difference between what a thing is and what it does?" | Builds on: A.1, A.1.1. Prerequisite for: A.2.1-A.2.6, A.13, A.15. |
| A.2.1 | U.RoleAssignment: Contextual Role Assignment | Stable | Keywords: Standard, holder, role, context, RoleEnactment, RCS/RSG. Queries: "How to formally assign a role in FPF?", "What is the Holder#Role:Context Standard?" | Refines: A.2. Prerequisite for: A.15. |
| A.2.2 | U.Capability: System Ability (dispositional property) | Stable | Keywords: ability, skill, performance, action, work scope, measures. Queries: "How to separate ability from permission?", "What is a capability in FPF?" | Builds on: A.2. Informs: A.15, A.2.3. |
| A.2.3 | U.PromiseContent: Consumer‑facing Promise Clause | Stable | Keywords: promise content, promise content, accessSpec, acceptanceSpec, SLO, SLA, claim scope (G), Work evidence, provider/consumer roles. Queries: "What is a promise content in FPF?", "Promise content vs Work vs MethodDescription", "How do access and acceptance differ?", "How is SLO/SLA adjudicated from Work evidence?" | Builds on: A.2.2. Prerequisite for: F.12. Used by: A.2.8, A.6.C, A.6.8. |
| A.2.4 | U.EvidenceRole: The Evidential Stance | Stable | Keywords: evidence, claim, support, justification, episteme. Queries: "How does an episteme serve as evidence?", "Modeling evidence roles." | Builds on: A.2. Informs: A.10, B.3. |
| A.2.5 | U.RoleStateGraph: The Named State Space of a Role | Stable | Keywords: state machine, RSG, role state, enactability, role-state evolution. Queries: "How to model the state of a role?", "What is a Role State Graph?" | Builds on: A.2.1. Prerequisite for: A.15. |
| A.2.6 | Unified Scope Mechanism (USM): Context Slices & Scopes | Stable | Keywords: scope, applicability, ClaimScope (G), WorkScope, set-valued. Queries: "How to define the scope of a claim or capability?", "What is G in F-G-R?" | Builds on: A.1.1. Constrains: A.2.2, A.2.3, B.3. |
| A.2.7 | U.RoleAlgebra: In-Context Role Relations (≤, ⊥, ⊗) | Stable | Keywords: role algebra, specialization (≤), incompatibility (⊥), bundles (⊗), separation of duties (SoD), requiredRoles substitution. Queries: "What does RoleS ≤ RoleG mean in FPF?", "How do I encode Separation of Duties with ⊥?", "How do role bundles (⊗) work?" | Builds on: A.2. Prerequisite for: A.15, A.2.5. |
| A.2.8 | U.Commitment: Deontic Commitment Object | Stable | Keywords: commitment, deontics, obligation, permission, prohibition, modality normalization, scope+validity window, adjudication hooks, evidenceRefs, BCP‑14 (RFC 2119/8174). Queries: "How to represent MUST/SHALL as a lintable object?", "How to keep deontics separate from admissibility gates?", "How to make commitments auditable via evidence hooks?" | Refines: A.2. Builds on: A.2.1, A.2.3, A.2.6, A.7, A.15.1. Used by: A.6.B (Quadrant D), A.6.C. |
| A.2.9 | U.SpeechAct: Communicative Work Object | Stable | Keywords: speech act, communicative work, approval/authorization/publication/revocation, provenance, act≠utterance≠carrier, judgement context, window/freshness, institutes.*. Queries: "How to model approvals/authorizations as Work?", "How to separate act vs utterance vs carrier?", "How to link commitments to instituting acts without commitment-by-publication?" | Refines: A.2. Builds on: A.2.1, A.2.6, A.7, A.10, A.15.1. Used by: A.2.8, A.6.C (utterance/instituting-act hook). |
| Cluster A.II - Transformation Engine | ||||
| A.3 | Transformer Constitution (Quartet) | Stable | Keywords: action, causality, change, System-in-Role, MethodDescription, Method, Work. Queries: "How does FPF model an action or a change?", "What is the transformer quartet?" | Builds on: A.2. Prerequisite for: A.3.1, A.3.2, A.15. |
| A.3.1 | U.Method: The Abstract Way of Doing | Stable | Keywords: recipe, how-to, procedure, abstract process. Queries: "What is a Method in FPF?", "Difference between Method and Work." | Refines: A.3. Prerequisite for: A.15. |
| A.3.2 | U.MethodDescription: The Recipe for Action | Stable | Keywords: specification, recipe, SOP, code, model, U.Episteme. Queries: "How to document a method?", "What is a MethodDescription?" | Refines: A.3. Informs: A.15. |
| A.3.3 | U.Dynamics: State-Space and Transition-Law Episteme | Stable | Keywords: dynamics, state space, transition law, observation relation, prediction, simulation, calibration. Queries: "How do I model a reusable law of state change?", "When is a process label a dynamics episteme rather than method, work, or transformation?" | Builds on: A.1.1, A.19. Coordinates with: A.3.1, A.3.2, A.3.4, A.15.1, A.15.2, A.6.1, C.27, C.27.TA, C.29, A.10, B.3, A.20, A.21. |
| A.3.4 | U.Transformation: Bounded Change Under Conditions | Stable | Keywords: transformation, bounded change, transformed entity, transformer, input/output conditions, functioning, transformation-flow structure. Queries: "What exactly is changing?", "Who or what is the transformer?", "How do method, mechanism, work, dynamics, function, and evidence stay distinct around one change?" | Builds on: A.3, A.1.1, A.6.0, A.6.5. Coordinates with: A.3.1, A.3.2, A.3.3, A.6.1, A.15.1, A.15.2, E.18, E.18.2, C.27.TA, C.27, C.29, A.6.F, C.30.ASV, A.10, B.3. |
| A.3.4.P | Transformation Ontic Precision Restoration | Stable | Repairs change-situation wording such as transformation, flow, process, workflow, pipeline, dataflow, network, circuit, path, functioning, method, mechanism, work, or evidence by recovering the U.Transformation slot relation and current governing pattern before rewriting. | Builds on: E.10, E.10.ARCH, A.3.4, E.18, E.18.2, A.6.F, C.2.P.DR, C.29, F.18, F.19. Coordinates with: A.3.1, A.3.2, A.6.1, A.15, A.10, B.3, C.30, C.30.ASV, C.27.TA, C.27. |
| Cluster A.III - Time & Evolution | ||||
| A.4 | Temporal Duality & Open-Ended Evolution Principle | Stable | Keywords: design-time, run-time, evolution, versioning, open-ended state change, continuous improvement. Queries: "How does FPF handle plan vs. reality?", "How are systems updated?" | Builds on: P-10 Open-Ended Evolution. Prerequisite for: B.4. |
| Cluster A.IV - Kernel Modularity | ||||
| A.5 | Open-Ended Kernel & Extension Layering | Stable | Keywords: FPF architecture, specialization vs dependancy hierarhies, modularity, extensibility. Queries: "What is the architecture of FPF?", "How are new domains added?" | Builds on: P-4, P-5. |
| Cluster A.IV.A - Signature Stack & Boundary Discipline (A.6.)* | ||||
| A.6 | Signature Stack & Boundary Discipline | Stable | Keywords: boundary, signature stack, boundary claim-classification fields, A.6.B L/A/D/E claims, authority-wording split, register-backed status boundary, promise/commitment/API/policy wording, probe/order/frame/export/state-reading claims. Queries: "How do I classify boundary statements?", "Where do probe, frame, export, and state-reading claims belong?", "When does authority-looking wording split into source, gate, work, assurance, or boundary claims?", "When is a pass, badge, tile, or status display only a publication of a register-backed source?" | Builds on: E.8, A.6.0, A.6.1, A.6.3, E.17.0, E.17, A.7, F.18, E.10.D2, E.10 publication face, form, unit, and carrier discipline. Coordinates with: A.6.B, A.6.P, C.26, C.26.1, F.9, A.10, A.15, B.3, E.17.EFP, A.20, A.21, E.19. |
| A.6.RSIG | Recognition Signatures for Descriptions | Stable | description-recognition signature; encountered carrier vs defining U.Episteme; API/access description not promise; method applicability note; false neighboring description | A.6, A.6.P, F.18, E.10 |
| A.6.B | Boundary Norm Square (Laws / Admissibility / Deontics / Work-Effects) | Stable | Keywords: boundary norm square, atomic claims, L/A/D/E claim classification, laws vs gates vs commitments vs evidence, admissible use, non-admissible use, claim IDs, triangle decomposition. Queries: "What is the Boundary Norm Square in FPF?", "How do I decompose probe-coupled or mixed boundary statements?", "Where do RFC keywords and use conditions belong in FPF patterns?" | Builds on: E.8, A.6.0, A.6.1, A.6.3, E.17.0, E.17, A.7, F.18, E.10.D2, E.10 publication face, form, unit, and carrier discipline. Coordinates with: A.6, A.6.P, C.26.1, A.10, B.3. |
| A.6.C | Contract Unpacking for Boundaries | Stable | Keywords: contract bundle unpacking, SLA/guarantee claim classification, promise content (promise content) ≠ work, promise-act/utterance/commitment separation, Boundary Norm Square (L/A/D/E), MVPK faces “no new semantics”. Queries: "How to unpack contract language into promise content / utterance / commitment / work+evidence?", "How to prevent interface-as-agent / contract soup mistakes?", "How to stop MVPK faces becoming ‘second contracts’?", "When contract talk includes service-cluster tokens, what gets unpacked first?" | Builds on: A.6, A.6.B, A.6.8, A.7, A.2.3, A.2.8, A.2.9, E.10, E.17. Coordinates with: F.12, F.18. |
| A.6.0 | U.Signature — Universal, law‑governed declaration | Stable | Keywords: signature, vocabulary, laws, applicability, bounded context. Queries: "What is the universal signature block?", "Where do laws vs. implementations live?" | Placement: Kernel; Coordinates: A.6.1. |
| A.6.1 | U.Mechanism - Law‑governed application to a SubjectKind over a BaseType | Stable | Keywords: Mechanism, OperationAlgebra, LawSet, AdmissibilityConditions, Transport, Bridge‑only. Queries: "How to define a mechanism like USM/UNM?", "Where do operational guards live?", "How to handle cross‑context transport?" | Builds on: A.6.0, E.10.D1. Instances: USM (A.2.6), UNM (A.19). |
| A.6.2 | U.EffectFreeEpistemicMorphing - Effect-Free Morphisms of Epistemes | Stable | Effect-free, law-constrained episteme-to-episteme morphisms over ClaimGraph, EntityOfConcern, grounding holon, viewpoint, reference scheme, representation scheme, and metadata; preserve or retarget EntityOfConcern only through declared change mode. | Builds on: A.1, A.6.0, A.6.1, A.6.5, C.2.1, E.10.D2, C.3.*. Used by: A.6.3, A.6.4, E.17.0, E.17, E.18, KD-CAL mapping rules. |
| A.6.3 | U.EpistemicViewing - EntityOfConcern-Preserving Morphism | Stable | EntityOfConcern-preserving effect-free projection between epistemes: content, representation, viewpoint, or reference scheme may change, but entityOfConcernRef stays fixed unless A.6.4 retargeting is explicitly opened. | Builds on: A.6.0, A.6.2, A.6.5, A.7, E.10.D2, C.2.1, C.2. Used by: E.17.0, E.17, E.17.1, E.17.2, E.18, B.5.3, KD-CAL view operators. |
| A.6.3.CSC | Controlled Semantic Coarsening | Stable | Keywords: controlled semantic coarsening, source-bearing episteme or source publication, coarsened rendering, narrower admissible use, non-admissible downstream use, reopen trigger, redaction, dashboard tile, lookup handle, state-representation shortcut. Queries: "When may a summary or redaction stand in only for narrow use?", "What is Controlled Semantic Coarsening in FPF?", "When must a coarsened rendering reopen the source-bearing episteme or source publication?" | Builds on: A.6.3, A.6.3.CR, A.6.3.RT, E.17.EFP, A.6.P, E.8, E.10, E.19, F.18. Coordinates with: C.26, C.26.1, E.17.ID.CR, F.9, F.9.1, A.15, A.6.4, A.20, A.21. |
| A.6.3.CR | ConservativeRetextualization - entityOfConcernRef-preserving textual re-expression | Stable | Textual re-expression, summary, report rewrite, translation, or filtering that preserves entityOfConcernRef, keeps source tether and omission/loss visible, and exits to explanation, representation change, retargeting, bridge, work, evidence, gate, or assurance patterns when those claims are being made. | |
| Builds on: A.6.3, A.6.2, A.7, E.10.D2, E.17.0, E.17, F.9, F.18, E.10. Coordinates with: A.6.3.CSC, A.6.3.RT, E.17.EFP, E.17.ID.CR, A.6.4, B.5.2, A.15. | ||||
| A.6.3.RT | Representation-Scheme Transition: EntityOfConcern-Preserving Representation-Scheme Transition | Stable | Representation-scheme or reasoning-medium transition that preserves entityOfConcernRef, makes recoverability and loss visible, and blocks geometry, notation, carrier work, decode work, or transformation-flow language from becoming hidden ontology or action force. | Builds on: A.6.3, A.6.2, A.7, E.10.D2, C.2.7, E.17.0, E.17, F.9, F.18. Coordinates with: A.6.3.CSC, C.26, A.6.3.CR, E.17.EFP, E.17.ID.CR, A.6.4, A.15, A.20, A.21. |
| A.6.4 | U.EpistemicRetargeting - EntityOfConcern-Retargeting Morphism | Stable | Effect-free episteme-to-episteme morphism that intentionally changes entityOfConcernRef under a declared KindBridge, invariant, loss boundary, and admissible use while preserving only the commitments that the bridge makes reviewable. | Builds on: A.6.2, A.6.3, A.6.5, A.7, C.2.1, C.2, C.3, F.9, E.10.D2, E.18. Used by: E.18 StructuralReinterpretation, KD-CAL/LOG-CAL retargeting rules, Fourier-style and data-model retargetings. |
| A.6.P | Relational Precision Restoration (RPR) — Kind-Explicit Qualified Relation Discipline | Stable | Keywords: relation precision restoration, under-specified relational language, support/support-headed wording, selected support reading, RelationKind, QualifiedRelationRecord, coupling, probe, measurement, export, endpoint referential compression, lexical guardrails, language-state seam. Queries: "How do I repair an overloaded relation word without lexicon-only cleanup?", "How do I unpack support without minting a generic SupportRelation?", "How do I keep coupling/probe/measurement/export wording kind-explicit?", "When should quality/action/sameness/wholeness/QL wording apply another governing pattern?" | Builds on: A.6, A.6.B, A.6.S, A.6.0, A.6.5, E.8, E.10, F.18. Coordinates with: A.2.4, A.2.6, A.7, A.10, C.2.1, C.2.2a, C.3.3, C.16.Q, C.26, E.17, F.9, F.17. Specialised by: A.6.A, A.6.5, A.6.6, A.6.8, A.6.9, A.6.H. |
| A.6.RSIR | Relation, Signature, Interface, Role, and Slot Precision Restoration | Stable | Keywords: relation-signature-interface-role-slot recovery, interface wording, role wording, slot wording, field, parameter, endpoint, port, API, protocol, capability, affordance, method, function, concern, interest, shadow ontology. Queries: "How do I repair interface, role, slot, parameter, function, or concern wording before choosing the direct governing pattern?", "When is interface wording a port, API, protocol, signature, module boundary, or publication view?", "When is role wording U.Role, U.RoleAssignment, relation position, evidence use, status use, or source label?" | Builds on: E.10, E.10.ARCH, A.6.P, A.6.5, A.6.0, A.2, A.2.1, A.15, F.18, F.19. Coordinates with: A.6.M, A.6.F, A.6.A, C.2.P, C.2.P.DR, E.17, A.10, F.10, G.6. |
| A.6.A | U.ActionInvitationPrecisionRestoration — Affordance / Action-Invitation Precision Restoration (ACT-INV) | Stable | Keywords: affordance, action invitation, action-first language, post-threshold classification, A.15 docking, language-state seam. Queries: "How do I repair overloaded affordance language in FPF?", "When does action-guiding language become an action invitation?", "How does A.6.A differ from early cue routing?" | Builds on: A.6.P, A.15, C.2.2a, A.16, B.4.1, F.9. Coordinates with: C.16.Q, B.5.2.0. |
| A.6.F | Function and Functional Precision Restoration (RPR-FUNCTION) | Stable | Keywords: function wording, functional architecture, FunctionalStructure, function-use repair, capability/effect, work/method boundary, module allocation, mathematical function. Queries: "When is functional architecture a structure kind rather than a separate ontology?", "How do I repair function-like wording?", "When is a function a capability, method, work, role, quality, module allocation, or mathematical mapping?" | Builds on: A.6.P, A.6.5, A.7, C.30, C.30.ASV, C.29. Coordinates with: A.6.M, A.15, C.16.Q, A.6.0, A.6.5, A.6.B, A.6.C, A.6.8, E.18, C.30.TFS-REL. |
| A.6.M | Module Relation Repair | Stable | Keywords: module relation, component, interface, port, platform, layer, stack, open architecture, substitutability, interface specification. Queries: "When is a module relation being claimed?" | |
| , "How do I keep functional links, signatures, ports, and implemented interfaces distinct?", "When does open architecture require module-interface repair?" | Builds on: A.6.P, A.6.5, A.6.B, C.30, C.30.ASV, A.6.F. Coordinates with: C.31, C.31.RSA, E.18, C.30.TFS-REL, A.10, B.3, A.20, A.21, C.28, E.20, G.5, C.11. | |||
| A.6.5 | U.RelationSlotDiscipline - SlotKind / ValueKind / RefKind discipline for n‑ary relations (with slot‑operation lexicon) | Stable | Keywords: slot, argument position, value, reference, signature, substitution, pass-by-value, pass-by-reference. Queries: “How do I declare positions and references in relations?”, “How do we stop mixing roles, values and ids in signatures?”, “How does SlotKind/ValueKind/RefKind interact with EntityOfConcern / Description / specification-use and Epistemes?” | Builds on: A.6.0 (U.Signature), A.1 (Holon), A.7 (Strict Distinction), E.8 (pattern authoring discipline), E.10 (LEX-BUNDLE; Tech/Plain registers). Used by: C.2.1 (U.EpistemeSlotRelation), A.6.2–A.6.4 (episteme morphisms), B.5.* (RoleEnactment), C.3.* (Kinds & KindSignature), E.17.0 (U.MultiViewDescribing), discipline-packs for methods/services. |
| A.6.6 | U.BaseDeclarationDiscipline - Kind-explicit, scoped, witnessed base declaration discipline (with base-change lexicon) | Stable | Keywords: base declaration, basedness, baseRelation, SWBD, witnesses, scope, Γ_time, anchoring, support-as-basedness, rebase, retime, rescope. Queries: "What is U.BaseDeclarationDiscipline?", "How to model base-dependence without anchoring?", "When is support really base-dependence?", "What is a ScopedWitnessedBaseDeclaration (SWBD)?" | Builds on: A.6.0, A.6.5, A.2.6, A.2.4, A.7, E.8, E.10. Coordinates with: A.10, A.14, C.2.1, A.6.3-A.6.4, C.3.3, E.18, F.9, F.15, F.18. Used by: base-relative admissibility/calibration/attribution patterns; anchor* and support-as-basedness rewrites into explicit baseRelation(dependent, base). |
| A.6.7 | MechSuiteDescription — Description of a set of distinct mechanisms | Stable | Keywords: mechanism suite, distinct mechanisms, suite obligations, spec pins, CN-Spec, CG-Spec, P2W, planned baseline, crossing visibility. Queries: "What is a MechSuiteDescription?", "How to describe a bundle of distinct mechanisms without using MechFamilyDescription?", "How do suite obligations differ from gate decisions?" | Builds on: E.8, A.6.1, A.6.5, E.10, E.19. Coordinates with: E.18, A.21. Used by: Part G universalization; CHR mechanism stacks. |
| A.6.8 | Service Polysemy Unpacking (RPR-SERV) | Stable | Keywords: service polysemy, service situation, interface semantics, promise content, provider principal, service/cell analogy, boundary exchange, viability envelope, API read/export. Queries: "How do I unpack service talk in FPF?", "When is an API read interface semantics rather than state evidence?", "When does service viability apply C.26.3?" | Builds on: A.6.P, A.6.B, A.6.5, A.2.3, A.2.8, A.2.9, A.15, E.10, F.17, F.18. Coordinates with: A.6.C, A.7, C.26.1, C.26.3, F.8, E.15. |
| A.6.9 | U.CrossContextSamenessDisambiguation — Repairing cross-context “same / equivalent / align” via explicit Bridges (RPR-XCTX) | Stable | Keywords: cross-context sameness, bridge, alignment, mapping, direction, substitution licence, loss notes, CL, SenseCells, weakest-link. Queries: "How to disambiguate 'same' across contexts?", "How to avoid silent inversion in mappings?", "Naming-only vs substitution bridge". | Builds on: A.6.P, F.9, E.10.D1, A.7. Coordinates with: E.17, C.3.3, A.6.6, F.7/F.8. |
| A.6.S | U.SignatureEngineeringPair — Constructive signature engineering (ConstructorSignature + TargetSignature) | Stable | Keywords: signature engineering, TargetSignature, ConstructorSignature, two-signature arrangement, EFEM, editioning, retargeting, slot/base change lexicon, MVPK views (no new semantics), claim register, no epistemic agency. Queries: "What is U.SignatureEngineeringPair in FPF?", "How do I model TargetSignature vs ConstructorSignature (and keep Work out of edits)?", "How do slot/base change verbs compose into a reproducible signature evolution account?" | Builds on: A.6.0, A.6.2, A.6.3, A.6.4, A.6.5, A.6.6, A.6.B, A.3, A.7, A.12, C.2.1, E.17, E.10. Coordinates with: E.18, E.19. |
| A.6.H | Wholeness Language Unpacking (RPR-WHOLE) | Stable | Keywords: wholeness, integrity, part-of, boundary, environment, mereology, completeness, order/time, publication-carrier and EntityOfConcern/Description distinction, role-method-work. Queries: "How to unpack 'whole/part/integrity' in FPF?", "RPR-WHOLE trigger words", "ComponentOf vs ConstituentOf vs PortionOf vs MemberOf vs PhaseOf", "How to separate order/time from mereology?" | Builds on: A.6.P, A.6.5, A.7. Coordinates with: A.14, B.1.1, B.1.4, A.15. |
| Cluster A.V - Constitutional Principles of the Kernel | ||||
| A.7 | Strict Distinction (Clarity Lattice) | Stable | Keywords: category error, EntityOfConcern ≠ Description episteme, Role ≠ Work, ontology. Queries: "How to avoid common modeling mistakes?", "What are FPF's core distinctions?" | Builds on: A.1, A.2, A.3. Constrains: all patterns. |
| A.8 | Universal Core (C-1) | Stable | Keywords: universality, transdisciplinary, domain-agnostic, generalization. Queries: "How does FPF ensure its concepts are universal?" | Builds on: P-8. Constrains: Kernel-level U.Types. |
| A.9 | Cross-Scale Consistency (C-3) | Stable | Keywords: composition, aggregation, holarchy, invariants, roll-up. Queries: "How do rules compose across different scales?", "How to aggregate metrics safely?" | Builds on: A.1, A.8. Prerequisite for: B.1. |
| A.10 | Evidence Graph Referring (C-4) | Stable | Keywords: evidence, traceability, provenance, evidence carrier, claim support, authority-reliance evidence path, status register, register excerpt, generated-explanation source support, exact authority reference, probe/distributed/export/causal evidence, SCR/RSCR. Queries: "How are claims supported by evidence?", "When does a generated explanation become source-backed evidence rather than approval or authorization?", "How do I keep evidence carriers separate from the state they report?", "When is a credential, pass, badge, or status display only an excerpt of a governing register entry or source U.EpistemePublication?" | Builds on: A.1. Coordinates with: A.6, A.15, B.3, E.17.EFP, A.20, A.21, C.16, F.9, C.26.1, C.26.2, C.26.3, C.28. |
| A.11 | Ontological Parsimony (C-5) | Stable | Keywords: minimalism, simplicity, Occam's razor, essential concepts. Queries: "How does FPF avoid becoming too complex?", "Rule for adding new concepts." | Builds on: P-1 Cognitive Elegance. Constrains: all new U.Type proposals. |
| A.12 | External Transformer & Reflexive Split (C-2) | Stable | Keywords: causality, agency, self-modification, external agent, control loop. Queries: "How to model a self-healing or self-calibrating system?", "What is the external transformer principle?" | Builds on: A.3. Prerequisite for: B.2.5. |
| A.13 | The Agential Role & Agency Spectrum | Stable | Keywords: agency as role, agency spectrum, contextual role assignment, autonomy grading, substrate-neutral autonomy. Queries: "How does FPF model agency without minting a U.Agent type?", "How do I grade autonomy on an evidence-backed spectrum?" | Builds on: A.2, A.2.1, A.12. Informs: C.9 Agency-CHR, E.16. |
| A.14 | Advanced Mereology: Components, Portions, Aspects & Phases | Stable | Keywords: mereology, part-of, ComponentOf, PortionOf, PhaseOf, composition. Queries: "How to model different kinds of 'part-of' relationships?" | Refines: A.1. Prerequisite for: B.1.1. |
| A.15 | Role-Method-Work Alignment (Contextual Enactment) | Stable | Keywords: role-method-work distinction, U.Role, U.Method, U.MethodDescription, U.WorkPlan, actual U.Work, contextual enactment, coordinated-work evidence, work admission display, source-restoration boundary. Queries: "How do role, method, plan, and work stay distinct in FPF?", "When can coordinated work evidence a state that no one report carries?", "When is authorization-looking material a source-restoration problem rather than work enactment?", "When does something that looks like permission or prohibition to start work need the governing FPF pattern and project-side record behind it first?" | Integrates: A.2, A.4, A.12. Builds on / coordinates with: A.6, A.10, B.3, E.17, E.17.EFP, A.20, A.21, and C.26.2. Prerequisite for: A.15.1-A.15.4, C.24, E.16. |
| A.15.1 | U.Work: The Record of Occurrence | Stable | Keywords: execution, event, run, actuals, log, occurrence. Queries: "What is a Work record?", "Where are actual resource costs stored?" | Refines: A.15. Used by: B.1.6, all Part D. |
| A.15.2 | U.WorkPlan: The Schedule of Intent | Stable | Keywords: plan, schedule, intent, forecast. Queries: "How to model a plan or schedule?", "Difference between a WorkPlan and a MethodDescription." | Refines: A.15. Informs: U.Work. |
| A.15.3 | SlotFillingsPlanItem — Planned Slot-Fillings Baseline (WorkPlanning PlanItem) | Stable | Keywords: planned baseline, slot-bearing description, planned filler, edition pins, Γ_time selector, guard pins, WorkPlanning, P2W seam, variance trail. Queries: "What is SlotFillingsPlanItem in FPF?", "How to keep planned slot filling separate from FinalizeLaunchValues?", "How to pin editions and time in WorkPlanning baselines?" | Builds on: A.15.2, A.6.5, E.10.D1, E.17, E.18, E.19. Used by: A.6.7 (suite spec pins), Part G universalization, suite-specific and kit-specific planned baselines. |
| A.15.4 | Work-Relevant Source Restoration | Stable | Keywords: work-relevant source restoration, dashboard display, credential view, generated explanation, copied statement, provenance mark, required project-side FPF kind and reference, admissible next project move, blocked overread, P2W load and position, approval-looking display. Queries: "Which project-side FPF kind and reference is needed before a dashboard or explanation can guide work?", "When is a visible item only source-finding before work support or reliance support?", "How do I keep publication, display, or cue separate from work, evidence, gate passage, or engineering justification?" | Builds on: A.15, E.17, C.2.1. Coordinates with: A.10, B.3, A.6, A.2.1, A.2.8, A.2.9, A.20, A.21, and E.17.EFP. |
| A.16 | Language-State Move Coordination | Stable | Keywords: language-state, move, admissible move, reopen, sketch-backoff, respecify, retire, handoff. Queries: "How do governed epistemes move across the language-state chart?", "What are the admissible move kinds in FPF?" | Builds on: C.2.2a, C.2.LS, A.19. Coordinates with: A.16.0-A.16.2, B.4.1, E.18. |
| A.16.0 | U.LanguageStateMoveTrajectory — Optional trajectory-account normal form | Stable | Keywords: trajectory account, lineage, fork, merge, supersedes, handoff, heavy history. Queries: "When do I publish a language-state trajectory account?", "How does FPF record lineage and branch history?" | Builds on: A.16, C.2.2a, E.17, E.18. Used by: A.16.1, A.16.2, B.4.1, B.5.2.0. |
| A.16.1 | U.PreArticulationCuePack | Stable | Keywords: cue pack, pre-articulation, early publication, cue nucleus, primary witness, candidate route cues. Queries: "What is a PreArticulationCuePack?", "How do I preserve early cues before RoutedCueSet publication?" | Builds on: A.16, C.2.2a, C.2.LS. Coordinates with: B.4.1, A.16.2. |
| A.16.2 | Reopen / SketchBackoff / Respecify | Stable | Keywords: reopen, backoff, respecify, retire, retreat, branch withdrawal, authority withdrawal. Queries: "How do I admissibly reopen or back off a language-state publication?", "How do I retire a branch without silent deletion?" | Builds on: A.16, A.16.0, C.2.2a. Coordinates with: A.6.P, B.4.1. |
| A.17 | A.CHR-NORM — Canonical “Characteristic” & rename (Dimension/Axis → Characteristic) | Stable | Keywords: characteristic, measurement, property, attribute, dimension, axis. Queries: "What is the correct term for a measurable property?", "How to define a metric?" | Prerequisite for: A.18, A.19, C.16. |
| A.18 | A.CSLC-KERNEL — Minimal CSLC in Kernel (Characteristic/Scale/Level/Coordinate) | Stable | Keywords: CSLC, Characteristic, Scale, Level, Coordinate, polarity, ordinal vs cardinal scale, one-characteristic-one-scale rule, lawful comparability, no illegal averaging, measurement interpretability. Queries: "What must be declared before a value is interpretable?", "When can two measurements be compared?", "Why can ordinal labels not be averaged?" | Builds on: A.17. Coordinates with: C.16, A.19, A.19.CN, G.0, B.3. Prerequisite for: measurement, scoring, comparison, aggregation, and CHR mechanism patterns. |
| A.19 | CharacteristicSpace & Dynamics Hook (A.CHR-SPACE) | Stable | Keywords: CharacteristicSpace, U.Dynamics.stateSpace, state trajectories, declared Characteristics and Scales, subspace, embedding, product, structural overlays, coordinatewise comparability, role-specific space refs stay outside A.19. Queries: "How do I declare the state space a dynamics model moves through?", "How do Characteristics become a multi-coordinate state space?", "What stays inside A.19 and what belongs in source-set/space substrate or interpretive-view patterns?" | Builds on: A.17, A.18, A.2.5. Coordinates with: C.16, A.19.CN, A.19.SOURCE-SET-SPACE-SUBSTRATE, A.19.DECLARED-SUBSTRATE-INTERPRETIVE-VIEW, A.19.CHR, G.0, E.18, A.3.3. Prerequisite for: CHR mechanisms and dynamics models that quantify over trajectories. |
| A.19.ECS | Evaluation CharacteristicSpace Construction | Stable | Constructs or repairs the evaluation CharacteristicSpace for one evaluated object kind and use: characteristics, scales, value meanings, evidence rules, missingness, protected trade-offs, status meanings, stop or reopen conditions, and declarative governing-neighbour relations without route/reference apparatus. | Builds on: A.17-A.19, C.16, F.18. Coordinates with: E.22, E.23, C.25, E.21, E.9.DA, E.2.DA, E.8.ECSPF, F.19. |
| A.19.SPR | State-Family Precision Restoration | Stable | Repairs state, status, posture, readiness, stance, currentness, and close state-family wording by recovering bearer, state frame or governing pattern, value set, admissible use, blocked overread, and reopen condition. | Builds on: E.10, E.10.ARCH, A.19, A.3.3, C.2.2a, A.16.*, A.10, B.3, A.20, A.21, C.27, C.29, E.17, E.9.DA, E.21, F.18. Coordinates with: A.17, A.18, C.16, C.16.P, C.16.Q, A.6.P, C.2.P, C.30.P, E.8, E.19, E.11. |
| A.19.SOURCE-SET-SPACE-SUBSTRATE | Source-Set and Search/Outcome-Space Substrate | Stable | Keywords: source set, search-side space ref, outcome-side space ref, source-set/space substrate, SpaceRefRelationKind, SourceToOutcomeRelation, DistortionPosture, SourceSetRef, sameDeclaredSpaceAs, distinctDeclaredSpaceFrom. Queries: "How do I declare one source set plus search-side and outcome-side refs?", "How do I keep source-to-outcome relation and distortion posture explicit?", "When do search and outcome refs resolve to the same declared CharacteristicSpace?" | Builds on: A.19, A.17, A.18. Coordinates with: C.18, C.19, G.5, G.10, A.19.DECLARED-SUBSTRATE-INTERPRETIVE-VIEW, A.6.P, A.0. Specialized by: A.19.DECLARED-SUBSTRATE-INTERPRETIVE-VIEW and later interpretive-view or atlas specializations. |
| A.19.DECLARED-SUBSTRATE-INTERPRETIVE-VIEW | Declared-Substrate Interpretive View | Stable | Keywords: declared-substrate interpretive view, thin interpretation, atlas-form interpretation, DeclaredSubstrateInterpretiveView, DeclaredSubstrateAtlasView, TraditionAtlasView, TypedSetViews, interpretive qualifiers, interpretive-only reading. Queries: "When do I use an interpretive view over an already-declared substrate?", "When is thin interpretation enough and when do I need atlas form?", "How does TraditionAtlasView stay a local specialization instead of the generic head?" | Builds on: A.19.SOURCE-SET-SPACE-SUBSTRATE, A.19, A.6.3, E.17.0, E.17. Coordinates with: G.2, G.5, G.10, C.19, C.24, A.6.P, A.0. Specialized locally by: DeclaredSubstrateAtlasView and TraditionAtlasView under G.2. |
| A.19.CN | CN-frame (comparability & normalization) | Stable | Keywords: CN-frame, CN-Spec, chart, comparability modes, normalization refs, indicator policy refs, Γ-fold governance, registry, bridges, CL/loss notes, WLNK discipline, conformance checklist, SCR/RSCR harness, RSG admission hooks. Queries: "What is a CN-frame in FPF?", "How does CN-Spec govern comparability and normalization by reference?", "How do CN-frames use bridges and CL for cross-context reuse?", "What are the conformance and regression checks for CN-frames?" | Builds on: A.19. Coordinates with: A.6.1 (mechanism intension cards), C.16 (evidence/backing), F.9 (Bridges & CL), G.0 (CG-Spec legality gate). |
| A.19.CHR | CHRMechanismSuite — CHR mechanism-suite anchor (suite obligations + P2W planned baseline) | Stable | Keywords: CHR suite, characterization core, CN-Spec, CG-Spec, legality gate, suite obligations, set-return selection, tri-state guard decision, crossing visibility, Bridge-only transport, penalties→R_eff, planned baseline, SlotFillingsPlanItem, P2W seam, no hidden scalarization, no hidden thresholds. Queries: "What is CHRMechanismSuite in FPF?", "How do CHR mechanisms cite CN-Spec/CG-Spec?", "How to enforce planned slot filling in WorkPlanning only?", "How to keep UNM/UINDM/ULSAM explicit (no hidden tails)?" | Builds on: A.6.7, A.15.3, A.6.1, A.6.5, A.19, G.0, E.18, E.10, E.19. Coordinates with: A.21, G.5, G.10, C.23. Used by: Part G universalization; CHR mechanism stacks. |
| A.19.UNM | Unified Normalization Mechanism (UNM) | Stable | Keywords: normalization, CV→NCV, ≡_UNM, NormalizationMethodId, NormalizationMethodInstanceId, NormalizationInvariant[*], NormalizationFixSpec, validity window (no implicit “latest”), fail-closed tri-state guard (`pass | degrade |
| A.19.UINDM | Unified Indicatorization Mechanism (UINDM) | Stable | Keywords: indicatorization, indicator set, IndicatorChoicePolicy, CN-Spec.indicator_policy, CHR suite stage indicatorize, tri-state admissibility (`pass | degrade |
| A.19.USCM | Unified Scoring Mechanism (USCM) | Stable | Keywords: scoring, score profile, ScoringMethodDescription, ScaleComplianceProfile (SCP), CSLC-lawful transforms, CG-Spec.MinimalEvidence, tri-state admissibility (`pass | degrade |
| A.19.ULSAM | Unified Lawful Scale Aggregation Mechanism (ULSAM) | Stable | Keywords: lawful aggregation, scale-lawful fold, fold_Γ?, ΓFoldRef, CG-Spec.Γ_fold, CG-Spec.SCP, MinimalEvidence, tri-state guard (`pass | degrade |
| A.19.CPM | Unified Comparison Mechanism (CPM) | Stable | Keywords: comparison, comparator, ComparatorSpecRef, ComparatorSet, set-valued comparison outcome, partial order, tri-state admissibility (`pass | degrade |
| A.19.SelectorMechanism | Unified Selection Kernel (SelectorMechanism) | Stable | Keywords: selection kernel, set-returning selection, selected set, SelectEligibility, tri-state guard (`pass | degrade |
| A.20 | U.Flow.ConstraintValidity — Eulerian | Stable | Keywords: flow, ConstraintValidity, Eulerian, TransformationFlowStructure, GateFit, MVPK, SquareLaw, Sentinel, PathSlice. Queries: "What is ConstraintValidity in FPF?", "What is the Eulerian stance in FPF flows?", "How does E.18 relate to flows?" | Builds on: E.18. Coordinates with: A.21, E.17, F.9, F.17, A.19.SelectorMechanism, C.18, C.19, G.5, G.6, G.11. |
| A.21 | GateProfilization: OperationalGate(profile) (GateFit core) | Stable | Keywords: OperationalGate, GateFit, GateProfile, GateChecks, join-semilattice, GateDecision, DecisionLog, EquivalenceWitness, LaunchGate, CV⇒GF. Queries: "What is GateProfilization in FPF?", "How does OperationalGate aggregate GateChecks?", "What is the CV⇒GF activation predicate?" | Builds on: E.18, E.17 (MVPK), A.7. Coordinates with: A.20, A.2.6, F.9, F.17, G.6, G.11, A.19, G.0, G.5, C.18, C.19, G.9. |
| A.22 | Structure and Structural Views (STRUCT-CAL) | Stable | Keywords: structure, structural view, selected structure, preserved and lost structure, source return, architecture-description boundary, structural description. Queries: "What is structure in FPF?", "How do I separate structure from a description, view, graph, decision, or mathematical lens?", "When does an extracted view need source return?" | Builds on: A.1, A.6.3, A.7, C.2.1, E.10.D2, E.17. Coordinates with: C.30, C.30.AD, C.30.ASV, C.29, E.18, A.10, B.3, A.20, A.21. |
Part B — Trans-disciplinary Reasoning Cluster
| § | ID & Title | Status | Keywords & Search Queries | Dependencies |
|---|---|---|---|---|
| B.1 | Universal Algebra of Aggregation (Γ) | Stable | Keywords: aggregation, composition, holon, invariants, IDEM, COMM, LOC, WLNK, MONO, gamma operator. Queries: "How does FPF combine parts into a whole?", "What are the rules for aggregation?", "What is the Gamma (Γ) operator?" | Builds on: A.1, A.9. Prerequisite for: All B.1.x, B.2. |
| B.1.1 | Dependency Graph & Proofs | Stable | Keywords: dependency graph, proofs, structural aggregators, sum, set, slice. Queries: "What is the input for the Gamma operator?", "How are aggregation invariants proven in FPF?" | Builds on: B.1. |
| B.1.2 | System-specific Aggregation Γ_sys | Stable | Keywords: system aggregation, physical systems, mass, energy, boundary rules, Sys-CAL. Queries: "How to aggregate physical systems?", "Conservation laws in FPF aggregation?" | Builds on: B.1, A.1, C.1. |
| B.1.3 | Γ_epist — Knowledge-Specific Aggregation | Stable | Keywords: knowledge aggregation, epistemic, provenance, trust, KD-CAL. Queries: "How to combine epistemes?", "How does trust propagate in FPF?" | Builds on: B.1, A.1, C.2. |
| B.1.4 | Contextual & Temporal Aggregation (Γ_ctx & Γ_time) | Stable | Keywords: temporal aggregation, time-series, order-sensitive, composition. Queries: "How does FPF handle time-series data?", "How to model processes where order matters?" | Builds on: B.1. |
| B.1.5 | Γ_method — Order-Sensitive Method Composition & Work Enactment | Stable | Keywords: method composition, workflow, sequential, concurrent, plan vs run. Queries: "How to combine methods or workflows?", "How does FPF model complex procedures?" | Builds on: B.1, B.1.4, A.3.1. |
| B.1.6 | Γ_work — Work as Spent Resource | Stable | Keywords: work, resource aggregation, cost, energy consumption, Resrc-CAL. Queries: "How to calculate the total cost of a process?", "How are resources aggregated in FPF?" | Builds on: B.1, A.15.1, C.5. |
| B.2 | Meta-Holon Transition (MHT): Recognizing Emergence and Re-identifying Wholes | Stable | Keywords: emergence, MHT, meta-system, new whole, synergy, system of systems. Queries: "How does FPF model emergence?", "What is a Meta-Holon Transition?", "When does a collection become more than the sum of its parts?" | Builds on: B.1, A.1. Prerequisite for: All B.2.x. |
| B.2.1 | BOSC Triggers | Planned | Keywords: BOSC, triggers for emergence, boundary, objective, supervisor, complexity. Queries: "What triggers an MHT?", "What are the BOSC criteria for emergence?" | Builds on: B.2. |
| B.2.2 | MST (Sys) — Meta-System Transition | Stable | Keywords: system emergence, super-system, physical emergence. Queries: "How do new systems emerge from parts?", "What is a Meta-System Transition?" | Builds on: B.2, B.2.1, A.1. |
| B.2.3 | MET (KD) — Meta-Epistemic Transition | Stable | Keywords: knowledge emergence, meta-theory, paradigm shift, scientific revolution. Queries: "How do new theories emerge?", "What is a Meta-Epistemic Transition?" | Builds on: B.2, B.2.1, A.1. |
| B.2.4 | MFT (Meta-Functional Transition) | Stable | Keywords: functional emergence, capability emergence, adaptive workflow, new process. Queries: "How do new capabilities or workflows emerge?", "What is a Meta-Functional Transition?" | Builds on: B.2, B.2.1, A.3.1. |
| B.2.5 | Supervisor–Subholon Feedback Loop | Stable | Keywords: control architecture, feedback loop, supervisor, stability, layered control. Queries: "How does FPF model control systems?", "What is the supervisor-subholon pattern?" | Builds on: B.2, A.1. |
| B.3 | Trust & Assurance Calculus (F–G–R with Congruence) | Stable | Keywords: trust, assurance, reliability, F-G-R, formality, scope, congruence, evidence, claim-support posture, authority-looking labels, dashboard tiles, probe/distributed/export/causal assurance. Queries: "How is trust calculated in FPF?", "When does an authority-looking label or dashboard tile fail to raise assurance?", "How does FPF handle evidence and confidence?" | Builds on: A.10. Coordinates with: A.6, A.15, E.17.EFP, A.20, A.21, C.26, C.26.1, C.26.2, C.26.3, C.16, C.28, F.9. Prerequisite for: All B.3.x, D.4. |
| B.3.1 | Components & Epistemic Spaces | Planned | Keywords: F-G-R components, measurement templates, epistemic space. Queries: "How are F, G, and R measured?", "What are epistemic spaces?" | Builds on: B.3. |
| B.3.2 | Evidence & Validation Logic (LOG-use) | Planned | Keywords: verification, validation, confidence, logic, proof. Queries: "What is the logic for validating claims in FPF?", "Difference between verification and validation." | Builds on: B.3, C.6. |
| B.3.3 | Assurance Subtypes & Levels | Stable | Keywords: assurance levels, L0-L2, TA, VA, LA, typing, verification, validation. Queries: "What are the assurance levels in FPF?", "How does an assurance record mature in FPF?" | Builds on: B.3. |
| B.3.4 | Evidence Decay & Epistemic Debt | Stable | Keywords: evidence aging, decay, freshness, epistemic debt, stale data. Queries: "How does FPF handle outdated evidence?", "What is epistemic debt?" | Builds on: B.3. |
| B.3.5 | CT2R-LOG — Working-Model Relations & Grounding | Stable | Keywords: grounding, constructive trace, working model, assurance layer, CT2R, Compose-CAL. Queries: "How are FPF models grounded in evidence?", "What is the CT2R-LOG?" | Builds on: B.3, E.14, C.13. |
| B.4 | Canonical Evolution Loop | Stable | Keywords: evolution loop, DesignRunTag feedback, observe-notice-stabilize-route, drift repair, open-ended evolution. Queries: "How does FPF evolve a system or episteme without design-reality drift?", "Where does pre-abductive routing sit in the canonical loop?" | Builds on: A.4, A.12. Prerequisite for: B.4.1-B.4.3. |
| B.4.1 | Observe -> Notice -> Stabilize -> Route | Stable | Keywords: routed cue set, route plurality, route selection, pre-abductive seam, task-family specialization route. Queries: "How do under-articulated cues become routed before endpoint claim publication?", "When should a cue become a routed cue set instead of an abductive prompt?" | Builds on: A.16, A.16.1, C.2.2a. Coordinates with: B.5.2.0, C.16.Q, A.6.A, C.22.1. |
| B.4.2 | Knowledge Instantiation | Planned | Keywords: theory refinement, knowledge evolution, scientific method. Queries: "How are scientific theories refined in FPF?" | Builds on: B.4, A.1. |
| B.4.3 | Method Instantiation | Planned | Keywords: adaptive workflow, process improvement, operational evolution. Queries: "How do workflows or methods evolve in FPF?" | Builds on: B.4, A.3.1. |
| B.5 | Canonical Reasoning Cycle | Stable | Keywords: reasoning, problem-solving, Abduction-Deduction-Induction, scientific method. Queries: "How does FPF model problem-solving?", "What is the canonical reasoning cycle?" | Builds on: A.10. Prerequisite for: All B.5.x. |
| B.5.1 | Explore → Shape → Evidence → Operate | Stable | Keywords: development state cycle, open-ended progression, state machine, Explore, Shape, Evidence, Operate. Queries: "What states can project work and its records pass through in FPF?" | Builds on: B.5. |
| B.5.2 | Abductive Loop | Stable | Keywords: abduction, explanatory prompt, candidate hypotheses, plausibility filters, origin trace, route-to-hypothesis. Queries: "How does FPF model abductive hypothesis generation?", "What is the abductive loop?" | Builds on: B.5, B.5.2.0, A.10, B.3.3. Coordinates with: B.4.1, A.16, A.6.P. |
| B.5.2.0 | U.AbductivePrompt | Stable | Keywords: abductive prompt, prompt species, rival-set discipline, threshold crossing, explanation-ready cue. Queries: "When is a routed cue ready to enter abduction?", "What prompt species does FPF distinguish before hypothesis work begins?" | Builds on: B.4.1, A.16, C.2.2a. Coordinates with: A.6.P, A.6.A, C.16.Q. Used by: B.5.2. |
| B.5.2.1 | Creative Abduction with NQD | Stable | Keywords: creative abduction, NQD binding, Γ_nqd.generate, Creativity-CHR, Q-front, declared Q components, retained exploration/archive evidence, Novelty@context, ΔDiversity_P, E/E-LOG, DecisionSubject note. Queries: "How do I make abductive idea generation instrumented instead of ad-hoc?", "How does B.5.2 delegate generation to C.18 and pool policy to C.19?", "Why does creative abduction return a front/evidence set rather than one bundled winner?" | Builds on: B.5.2, A.17, A.18, C.17, C.18, C.19. Coordinates with: B.4, C.11, G.5. |
| B.5.3 | Role-Projection Bridge | Stable | Keywords: domain-specific vocabulary, concept bridge, mapping, terminology. Queries: "How does FPF integrate domain-specific language?", "What is a Role-Projection Bridge?" | Builds on: A.2, C.3. |
| B.6 | Characterisation Families (CHR-use) | Planned | Keywords: characterization, templates, CHR patterns, measurement. Queries: "How to use CHR patterns?" | Builds on: Part C (CHR). |
| B.7 | Common Logic Suite (LOG-use) | Planned | Keywords: logic, inference, trust propagation, LOG-CAL. Queries: "How to apply formal logic in FPF?" | Builds on: Part C (LOG-CAL). |
Part C — Kernel Extension Specifications
| § | ID & Title | Status | Keywords & Search Queries | Dependencies |
|---|---|---|---|---|
| Cluster C.I – Core CALs / LOGs / CHRs | ||||
| C.1 | Sys‑CAL | Planned | Keywords: physical system, composition, conservation laws, energy, mass, resources, U.System. Queries: "How to model physical systems in FPF?", "What are conservation laws in FPF?", "Modeling a pump or engine." | Builds on: A.1 Holonic Foundation, A.14. Coordinates with: Resrc-CAL. Prerequisite for: M-Sys-CAL. |
| C.2 | KD‑CAL | Stable | Keywords: knowledge, epistemic, evidence, trust, assurance, F-G-R, Formality, ClaimScope, Reliability, provenance. Queries: "What is F-G-R?", "How does FPF handle evidence and trust?", "How to model a scientific theory?". | Builds on: A.1, A.10, B.3. Prerequisite for: All patterns using F-G-R, M-KD-CAL. |
| C.2.1 | U.Episteme - Epistemes and their slot relation | Stable | U.EpistemeSlotRelation organizes EntityOfConcern, GroundingHolon, ClaimGraph, Viewpoint, View, ReferenceScheme, RepresentationScheme, and related slots for claim-bearing epistemes across symbolic, diagrammatic, latent, and tool-mediated representations. | Builds on: C.2, A.1, A.6.5, A.7, E.10.D2. Used by: A.6.2-A.6.4, E.17.0-E.17.2, E.17, E.18, B.1.3, KD-CAL/LOG-CAL discipline packs. |
| C.2.P | Epistemic Precision Restoration | Stable | Restores precision for source expression, claim-bearing episteme, publication, view, face, carrier, PublicationUnit, EntityOfConcern, grounding relation, pattern-application wording, and FPF-governed use dispositions without turning files or names into claim objects. | Builds on: E.10, C.2.1, A.7, E.17.0, E.17, A.6.P, F.18. Coordinates with: E.8, E.12, E.17.AUD, E.17.EFP, E.17.ID.CR, A.10, A.15, A.20, A.21, B.3, C.11. |
| C.2.2 | Reliability R in the F–G–R triad | Stable | Keywords: Reliability (R), warrant, evidence-bound, F–G–R, ClaimScope (G), Bridge-only reuse, Congruence Level (CL / CL^k / CL^plane), weakest-link, pathwise justification (PathId), TA/VA/LA lanes, no implicit averaging. Queries: "What is R in F–G–R?", "How does FPF propagate reliability?", "How do CL penalties route under transport?", "Bridge-only reuse of claims in FPF". | Builds on: C.2, A.2.6, C.2.3, B.3, B.1.3, C.3, F.9. Coordinates with: G.6, G.7, E.14, E.18. Constrains: any cross-context claim reuse and any publication of R_eff. |
| C.2.2a | U.LanguageStateSpace — Language-state chart over U.CharacteristicSpace | Stable | Keywords: language-state chart, characteristic space, position claim, partial coordinates, thresholds, governed episteme publication. Queries: "What is the language-state space in FPF?", "How do I publish a position claim before endpoint claim publication?" | Builds on: A.19, E.10, F.18. Used by: C.2.LS, A.16, B.4.1, C.16.Q, A.6.A. |
| C.2.3 | Unified Formality Characteristic F | Stable | Keywords: Formality, F-scale, F0-F9, rigor, proof, specification, language-state separation. Queries: "What is Formality F in FPF?", "How does F differ from articulation, closure, or anchoring?" | Builds on: C.2. Constrains: all patterns referencing F-G-R or language-state facets. |
| C.2.LS | U.LanguageStateFacetProfile — Compact profile for language-state facets | Stable | Keywords: facet profile, articulation, closure, anchoring, representation factors, threshold package. Queries: "How are language-state facets named together in FPF?", "What is a LanguageStateFacetProfile?" | Builds on: C.2.2a, C.2.4-C.2.7. Coordinates with: A.16. |
| C.2.4 | U.ArticulationExplicitness | Stable | Keywords: articulation explicitness, semantic shape, under-articulated cue, explicitness, early repair readiness. Queries: "How explicit is a governed episteme already?", "What is ArticulationExplicitness in FPF?" | Builds on: C.2.2a. Coordinates with: C.2.LS, A.16. |
| C.2.5 | U.LanguageStateClosureDegree | Stable | Keywords: closure degree, candidate-space closure, reopen, rival routes, settledness. Queries: "How closed is the current candidate space?", "What is LanguageStateClosureDegree in FPF?" | Builds on: C.2.2a. Coordinates with: C.2.LS, A.16. |
| C.2.6 | U.LanguageStateAnchoringMode | Stable | Keywords: anchoring mode, embodiment, trace, model state, document, operator loop. Queries: "How is a language-state claim anchored in FPF?", "What is LanguageStateAnchoringMode?" | Builds on: C.2.2a. Coordinates with: C.2.LS, F.9.1. |
| C.2.7 | U.LanguageStateRepresentationFactorBundle | Stable | Keywords: representation factors, locality, sparsity, symbolicity, factor bundle, representation organization. Queries: "How does FPF describe representation factors in language-state work?", "What is the representation-factor bundle?" | Builds on: C.2.2a. Coordinates with: C.2.LS, C.2.6. |
| C.2.P.DR | Declarative Representation Precision Restoration | Stable | Repairs overread of graph paths, evidence paths, query paths, dashboards, schemas, formal substrates, method descriptions, publication faces, and pattern relations when a declarative representation is treated as method, work, gate, release, proof, or pattern application by shape alone. | Builds on: C.2.P, E.10, E.10.ARCH, F.19. Coordinates with: E.18, A.10, E.17, A.3.1, A.3.2, A.6.1, A.15.1, A.15.2, C.29. |
| C.3 | Kind‑CAL — Kinds, Intent/Extent, and Typed Reasoning | Stable | Keywords: kind, type, intension, extension, subkind, typed reasoning, classification, vocabulary. Queries: "How does FPF handle types?", "What is a 'Kind'?", "Difference between 'scope' and 'type'?". | Builds on: A.1, A.2.6 (USM). Prerequisite for: LOG-CAL, ADR-Kind-CAL, and any pattern needing typed guards. |
| C.3.1 | U.Kind & U.SubkindOf (Core) | Stable | Keywords: kind, subkind, partial order, type hierarchy. Queries: "What is U.Kind in FPF?", "How to model 'is-a' relationships?". | Builds on: A.1, A.2.6 (USM). Prerequisite for: C.3.2, C.3.3. |
| C.3.2 | KindSignature (+F) & Extension/MemberOf | Stable | Keywords: KindSignature, intension, extension, MemberOf, Formality F, determinism. Queries: "How to define the meaning of a Kind?", "What is the difference between intent and extent in FPF?". | Builds on: C.3.1. Prerequisite for: C.3.3, C.3.4. |
| C.3.3 | KindBridge & CL^k — Cross‑context Mapping of Kinds | Stable | Keywords: KindBridge, type-congruence, CL^k, cross-context mapping, R penalty. Queries: "How to map types between domains?", "What is a KindBridge?". | Builds on: C.3.1, C.3.2, A.2.6, C.2.2. |
| C.3.4 | RoleMask — Contextual Adaptation of Kinds (without cloning) | Stable | Keywords: RoleMask, context-local adaptation, constraints, subkind promotion. Queries: "How to adapt a Kind for a local context?", "What is a RoleMask in FPF?". | Builds on: C.3.1, C.3.2. |
| C.3.5 | KindAT — Intentional Abstraction Facet for Kinds (K0…K3) | Stable | Keywords: KindAT, abstraction tier, K0-K3, informative facet, planning. Queries: "What are the abstraction tiers for Kinds?", "How to plan formalization effort?". | Builds on: C.3.1. |
| C.3.A | Typed Guard Macros for Kinds + USM (Annex) | Stable | Keywords: Typed guard, ESG, Method-Work, USM, Kind-CAL, regulatory profile. Queries: "How to write a typed guard?", "How do Kinds and USM interact in gates?". | Builds on: All C.3.x, A.2.6. |
| C.4 | Method‑CAL | Planned | Keywords: method, recipe, procedure, workflow, SOP, MethodDescription, operator. Queries: "How to model a process or workflow?", "What is a MethodDescription in FPF?". | Builds on: A.3, A.15. Coordinates with: Γ_method (B.1.5). |
| C.5 | Resrc‑CAL | Planned | Keywords: resource, energy, material, information, cost, budget, consumption, Γ_work. Queries: "How does FPF model resource usage?", "How to track costs of a process?". | Builds on: A.15.1 (Work). Coordinates with: Sys-CAL. |
| C.6 | LOG‑CAL – Core Logic Calculus | Planned | Keywords: logic, inference, proof, modal logic, trust operators, reasoning. Queries: "What is the base logic of FPF?", "How does FPF handle formal proofs?". | Builds on: Kind-CAL. Is used by: B.7. |
| C.7 | CHR‑CAL – Characterisation Kit | Planned | Keywords: characteristic, property, measurement, metric, quality. Queries: "How to define a new measurable property in FPF?", "What is a CHR pattern?". | Builds on: A.17, A.18. Prerequisite for: Agency-CHR, Creativity-CHR. |
| Cluster C.II – Domain‑Specific Patterns | ||||
| C.9 | Agency‑CHR | Planned | Keywords: agency, agent, autonomy, decision-making, active inference. Queries: "How to measure autonomy?", "What defines an agent in FPF?". | Builds on: CHR-CAL, A.13. |
| C.10 | Norm‑CAL | Planned | Keywords: norm, constraint, ethics, obligation, permission, deontics. Queries: "How to model rules and constraints?", "Where are ethical principles defined in FPF?". | Builds on: A.10. Is used by: Part D. |
| C.11 | Decision Theory (Decsn-CAL) | Stable | Keywords: decision theory, DecisionSubject, OptionSet, comparison basis, ChoiceRule, ChoiceResult, question order, probe-worthiness, non-shared comparison frame, ValueOfInformation, ValueOfComputation, choose now, reject current set, probe again, reroute. Queries: "When should one choose now versus probe again?", "What must be explicit before a choice among already-available options is lawful?", "When do question order or incompatible frames require C.26 rather than ordinary choice?" | Builds on: A.6.P, A.6.5, A.13, C.9, A.18, A.19. Coordinates with: C.26, C.18, C.19, C.24, G.5. |
| Cluster C.III – Meta‑Infrastructure CALs | ||||
| C.12 | ADR‑Kind-CAL | Planned | Keywords: versioning, rationale, DRR, architecture decision record. Queries: "How are changes to kinds managed?". | Builds on: Kind-CAL, E.9. |
| C.13 | Compose‑CAL — Constructional Mereology | Stable | Keywords: mereology, part-whole, composition, sum, set, slice, extensional identity. Queries: "How does FPF formally construct parts and wholes?", "What is Compose-CAL?". | Builds on: A.14. Is used by: B.3.5 (CT2R-LOG). |
| Cluster C.IV – Composite & Macro‑Scale | ||||
| C.14 | M‑Sys‑CAL | Planned | Keywords: system-of-systems, infrastructure, large-scale systems, orchestration. Queries: "How to model a complex infrastructure like a power grid?". | Builds on: Sys-CAL, B.2.2. |
| C.15 | M‑KD‑CAL | Planned | Keywords: paradigm, scientific discipline, meta-analysis, knowledge ecosystem. Queries: "How to model an entire field of science?". | Builds on: KD-CAL, B.2.3. |
| C.16 | MM-CHR — Measurement & Metrics Characterization | Stable | Keywords: measurement, measurement template, U.DHCMethod(Ref), U.Measure, U.Unit, U.EvidenceStub, polarity, direct comparability, scoring method disclosure, probe-changing-state, shared-frame check, CSLC. Queries: "How do I define a measurement template in FPF?", "When is a metric a passive read and when does it change the state?", "How do EvidenceStubs support measurement claims?" | Builds on: A.17, A.18. Coordinates with: A.10, B.3, C.26, C.26.1. Is a prerequisite for: All CHR patterns and any pattern that issues typed measures/scores. |
| C.16.P | Characteristic and Scale Precision Restoration | Stable | Repairs overloaded characteristic, scale, coordinate, metric, score, indicator, threshold, comparison, and scalar-quality wording before C.16/A.17-A.19/C.25/C.29/E.21 or another governing pattern is applied. | Builds on: E.10, E.10.ARCH, A.17, A.18, C.16, A.19, C.25, C.29, E.21, F.18, A.6.P. Coordinates with: C.16.Q, A.19.ECS, evidence, assurance, gate, decision, causal-use, benchmark, and publication patterns governing those claims. |
| C.16.Q | Quality-Term Precision Restoration | Stable | Repairs overloaded quality and evaluative-characterization wording by selecting an endpoint-governed evaluative form or a bounded transitional quality-term repair form with declared bearer, evaluation frame, sense family, admissible normal form, and governing pattern. | Builds on: E.10, E.10.ARCH, C.16.P, C.16, C.25, E.21, A.17, A.18, A.19, A.7, C.2.1, E.8, F.9, F.18. Coordinates with: A.6.P, A.6.A, A.16, B.4.1, B.5.2.0, A.10, B.3, F.9.1. |
| C.17 | Creativity‑CHR — Characterising Generative Novelty & Value | Stable | Keywords: Creativity-CHR, Novelty@context, Use-Value and ValueGain, Surprise, ConstraintFit, Diversity_P, Originality, ResourceEfficiency, MM-CHR measurement templates, ReferenceBase, evidence, portfolio composition. Queries: "How do I make a creativity claim measurable and evidence-bound?", "Which characteristics distinguish novelty, value, surprise, constraint fit, diversity, originality, and resource efficiency?", "How do creative outputs compose from individuals to portfolios?" | Builds on: C.16, A.17, A.18, A.19. Coordinates with: B.5.2.1, C.18, C.19, C.9, B.3, B.4, F.5/F.18. |
| C.18 | NQD‑CAL — Open‑Ended Search Calculus | Stable | Keywords: NQD-CAL, Γ_nqd.generate, Γ_nqd.updateArchive, Γ_nqd.illuminate, Γ_nqd.selectFront, DescriptorMapRef, DistanceDefRef, NQDArchive, CandidateSet, Front vs ExplorationArchive, IlluminationSummary report-only telemetry, EmitterPolicyRef, InsertionPolicyRef, provenance editions. Queries: "How does FPF run open-ended search without illegal scalarization?", "What is the difference between a front and an exploration archive?", "What provenance must an NQD generation call publish?" | Builds on: C.16, C.2, A.17-A.19. Coordinates with: B.5.2.1, C.17, C.19, G.5, G.6, G.11. |
| C.18.1 | SLL — Scaling‑Law Lens (binding) | Stable | Keywords: scaling law, scale variables (S), compute‑elasticity, data‑elasticity, resolution‑elasticity, exponent class, knee, diminishing returns. Queries: "How to make search scale‑savvy?", "Where to declare scale variables and expected elasticities?" | Builds on: C.16, C.17, C.18. Coordinates with: C.19, G.5, G.9, G.10. |
| C.19 | Explore–Exploit Governor (E/E‑LOG) | Stable | Keywords: explore-exploit, live candidate pool, pool-policy result, widen, keep frontier, narrow to subset, sunset line, reroute, EmitterPolicy, InsertionPolicy, lens id, dominance default routing, DecisionSubject clarification. Queries: "How should one govern a still-live candidate pool?", "When do I widen, keep frontier, narrow, sunset, or reroute?", "How does pool policy stay separate from C.11 choice, C.24 planning, and G.5 publication?" | Builds on: C.18, C.17, C.11, B.3, Compose-CAL. Coordinates with: C.24, G.5, G.9. |
| C.19.1 | Bitter‑Lesson Preference (BLP) | Stable | BLP comparison and waiver discipline for scalable general methods versus bounded specialization, including E.23 method-family choice and cost/risk posture. | Builds on: C.19, C.24, B.3. Coordinates with: E.23, G.5, G.8, G.9, G.11, A.0. |
| C.20 | Discipline‑CAL — Composition of U.Discipline | Stable | Keywords: discipline, U.AppliedDiscipline, U.Transdiscipline, episteme corpus, standards, institutions, Γ_disc. Queries: "How to compose and assess a discipline in FPF?" | Builds on: C.2 KD‑CAL, G.0, Part F (Bridges/UTS). Coordinates with: C.21, C.23. |
| C.21 | Discipline‑CHR - Field Health & Structure | Stable | Keywords: discipline, field health, reproducibility, standardisation, alignment, disruption. Queries: "How to measure the health of a scientific field?", "What is reproducibility rate?". | Builds on: C.16, C.2, A.2.6, B.3. Coordinates with: C.20, G.2. |
| C.22 | Problem Typing & TaskSignature Assignment (Problem‑CHR) | Stable | Keywords: Problem‑CHR, TaskSignature, TaskKind, ScopeSlice(G), unknown handling, specialization anchor. Queries: "How does FPF bind a typed TaskSignature for lawful selection?", "How does TaskSignature stay separate from method choice and specialization claims?" | Builds on: C.16, G.0, G.5. Coordinates with: G.4, C.22.1, C.23. |
| C.22.1 | Task-family adaptation signature | Stable | Durable task-family specialization fields: threshold target, time-to-threshold, budget-to-threshold, prior exposure, transfer, retention, downside, and corridor entry. | Builds on: C.22, C.19.1, A.15, C.24, E.16. Coordinates with: E.23, G.5, G.9, G.11. |
| C.22.2 | ProblemCard@Context | Stable | Keywords: problem card, problem-side record, P2W-ready, Thin problem card, setContextRef, problem signal, support posture, validation boundary, first-principles cue, safe-probe-needed, freshness and unknown disposition. Queries: "How do I turn a messy signal into a reviewable problem before P2W?", "When is a problem card P2W-ready?", "How do problem cards keep evidence, gates, autonomy, archives, and method selection in neighboring patterns?" | Builds on: E.2, E.9, E.10, C.2.P, A.6.P, C.16.Q, C.16, A.19, C.22, C.25, C.29, G.5, G.9, A.6.3.RT, A.6.4. Coordinates with: C.11, C.18, C.19, C.22.1, C.24, C.27, C.28, A.15, A.21, E.16, G.6, G.11, A.10, B.3, E.17, E.17.ID.CR, A.6.3, F.9, E.18. |
| C.23 | Method‑SoS‑LOG — MethodFamily Evidence & Maturity | Stable | Keywords: MethodFamily, evidence, maturity, SoS-LOG, admit, degrade, abstain, selector. Queries: "How is method family maturity assessed?", "What is the SoS-LOG for selection?". | Builds on: G.5, G.4, C.22, B.3. |
| C.24 | Agentic Tool-Use and Call Planning (C.Agent-Tools-CAL) | Stable | Call-route and call-plan discipline for tool-using agents: plan/work separation, checkpoint return, tool-call budget, stop or replan condition, and overread boundaries. | Builds on: A.15, B.3, C.5, C.18, C.19. Coordinates with: E.23, C.11, C.28, G.5, G.6, G.9. |
| C.25 | Q-Bundle: Authoring "-ilities" as Structured Quality Bundles | Stable | Keywords: quality bundle, -ility, quality family, characteristic plus scope, mechanism/status slots, endpoint classification, viability envelope, proxy metric, admissible quality-family use, failure mode. Queries: "What is a Q-Bundle in FPF?", "When is an -ility one characteristic and when is it a bundle?", "When does a viability claim need C.26.3 rather than one metric?" | Builds on: A.2.6, A.6.1, C.16, B.3. Coordinates with: C.16.Q, A.15, C.26.3. |
| C.26 | Quantum-Like Modeling Lens | Stable | Keywords: quantum-like, QL-lite, QL-NQ, probe frame, order effect, incompatible probes, instrument update, state export, source-loss coarsening, minimal admissible output. Queries: "When is quantum-like useful as a mathematical lens in FPF?", "What representational mistake does QL-lite prevent?", "How do I use QL without making a physical quantum claim?" | Builds on: C.11, C.16, A.6, A.10, B.3, F.9, A.6.3.CSC, A.6.3.RT. Constrains: C.26.1-C.26.3. Coordinates with: A.15, C.25, C.18, C.19. |
| C.26.1 | Probe-Coupled Boundary Interaction | Stable | Keywords: probe-coupled boundary, passive read, dashboard as instrument, workshop as state-changing interaction, API read, survey, bridge result, export loss, evidence window. Queries: "When does a dashboard, workshop, metric, or API read change what it reports?", "How do I stop treating a boundary interaction as a passive read?", "When should a probe-coupled case apply evidence or assurance patterns?" | Builds on: C.26, A.6, A.6.B, A.10, B.3, C.16, F.9, A.15. Coordinates with: C.26.2, C.26.3, A.6.8. |
| C.26.2 | Enacted Distributed State Evidence | Stable | Keywords: distributed-state evidence, coordinated work, enacted state, minimal state reading, evidence carrier, window, rival explanation, no group mind, report/export loss. Queries: "When does coordinated work evidence a state no participant report carries?", "How do I bound a distributed-state reading?", "When is a survey or dashboard thinner than the enacted state?" | Builds on: C.26, A.15, A.10, B.3, F.9, C.16. Coordinates with: C.26.1, C.26.3. |
| C.26.3 | Viability-Envelope Boundary Regulation | Stable | Keywords: viability envelope, homeostasis, allostasis, boundary regulation, sensor/probe/actuator split, metric-induced distortion, service viability, quality bundle, failure mode. Queries: "When is viability more than one green metric?", "How do boundary probes or metrics change a viability envelope?", "When does a service split or support load need envelope regulation?" | Builds on: C.26, C.25, U.Dynamics, A.6, A.15, C.16, A.10, B.3, A.3, A.19, C.18, C.19. Coordinates with: C.26.1, C.26.2. |
| C.27 | Temporal Claim Adequacy: State Readings, Temporal Trends, and Intervention-Sensitive Temporal Change | Stable | Keywords: temporal claim adequacy, temporal claim, state reading, rate reading, temporal trend, rate-change, intervention-sensitive temporal change, effort window, resistance/inertia, rhythm/cadence, throughput, recovery, braking, coasting, stabilization, dynamic benchmark. Queries: "When does a speed, rhythm, throughput, or recovery claim need temporal adequacy?", "How do I separate state, rate, and intervention-sensitive rate-change?", "When is faster improvement not enough for benchmark, quality, viability, or QL claims?" | Builds on: C.16, A.3.3, B.1.4, B.1.6. Coordinates with: C.27.TA, A.3.4, C.18.1, C.19, C.22.1, C.24, C.25, C.26, C.26.3, G.9, A.10, B.3. |
| C.27.TA | Temporal Aspect: Time Windows, Rhythm, Cadence, and Currentness | Stable | Keywords: temporal aspect, time window, freshness, currentness, rhythm, cadence, validity window, recovery timing. Queries: "Which time relation matters for this claim or object?", "How do I state freshness, rhythm, latency, or validity window without turning it into evidence, work, or dynamics law?" | Builds on: A.3.4, A.3.3, C.27, E.24. Coordinates with: A.10, B.3, A.15.1, A.15.2, A.20, A.21, C.16, C.29, E.18, G.11. |
| C.28 | CausalUse-CAL: Causal-Use Questions, Causality-Ladder Rungs, Identification and Realizability | Stable | Keywords: causal-use question, causality ladder, association, intervention, counterfactual, Pearl Causal Hierarchy, Structural Causal Model, causal diagram, causal estimand, identification, counterfactual sampling realizability, causal evidence support basis, target trial, causal fairness, off-policy causal evaluation, causal-RL evaluation. Queries: "Can I say this caused that?", "Is this intervention claim supported?", "What evidence supports a counterfactual claim?", "When does a fairness metric need causal support?", "Is simulation enough for a counterfactual claim?", "Which pattern handles causal benchmark parity?", "When should causal language be downgraded to association, measurement, temporal, QL, or local prose?" | Builds on: A.10, B.3, C.11, C.19, C.24, C.26, C.27, D.5, G.5, G.9. Coordinates with: A.2.4, A.3.2, A.6, A.15, C.16, G.11. |
| C.29 | Mathematical Lens Use | Stable | Keywords: mathematical lens, structure-preserving representation, lens mapping mode, preserved structure, lost structure, invariants, stop condition, scale window, coarse-graining, rival lens, LensUseAdmissibilityValue, validation boundary, learned lens, ontology smuggling. Queries: "When does a mathematical analogy become an admissible FPF lens?", "What structure is preserved by this lens?", "Where must this math transfer stop?", "How do I use mathematical structure without importing ontology?" | Builds on: A.1.1, A.6.P, A.3.3, A.19, A.10, A.15, B.3, C.16, E.17.EFP, E.17.ID.CR, A.6.3.RT, A.6.3.CSC, F.9. Constrained by: E.8, E.10, C.2.P, E.19. Decision basis: E.9 and C.29:13a. Coordinates with: C.11, A.15.1, A.15.4, C.18.1, C.19.1, C.26, C.27, C.28, G.5, G.9, G.2, G.10. |
| C.30 | Grounded Architecture and Selected-Structure Adequacy | Stable | Keywords: grounded architecture, ArchitectureOf@Context, selected structure, architecture claim, architecture question card, architecture-description boundary, artifact-as-architecture guard. Queries: "How do I recover a grounded architecture claim?", "Which selected structure changes the architecture move?", "When is an architecture description only a conditional description use?" | Builds on: A.22, C.2.1, A.6.3, A.7, E.17.0, E.17, E.10.D2, F.18. Coordinates with: C.30.AD, C.30.ASV, A.6.F, C.30.TFS-REL, C.30.LCA, C.30.ILC, C.29, C.16, C.25, C.28, A.10, B.3, A.20, A.21, A.15, C.11. |
| C.30.AD | Architecture Description Adequacy | Stable | Keywords: architecture description, ArchitectureDescription@Context, architecture description use card, architecture structural view, viewpoint, correspondence, source return, specification-use boundary. Queries: "When is an architecture description the EntityOfConcern under repair?", "How do I keep views, viewpoints, selected structures, and publication boundaries distinct?", "When does an architecture description need C.30.AD rather than C.30?" | Builds on: C.30, C.30.ASV, A.22, A.7, A.6.3, E.17.0, E.17.1, E.17.2, E.17, C.2.P, E.10, E.10.ARCH. Coordinates with: C.30.P, C.30.TFS-REL, C.30.LCA, C.30.ILC, A.6.F, A.6.M, C.29, C.16, C.16.P, A.10, B.3, A.20, A.21, A.15, C.11, C.28, E.8, F.18. |
| C.30.P | Architecture and Structure Precision Restoration | Stable | Repairs architecture or structure wording whose EntityOfConcern or claim kind is hidden before A.22, C.30, C.30.AD, C.30.ASV, a selected C.30.* pattern | |
| , or another governing pattern is applied. | Builds on: E.10, E.10.ARCH, A.22, C.30, C.30.AD, C.30.ASV, C.2.P, A.6.P, A.6.F, C.29, C.16.P, C.16, C.25, E.17, E.8. Coordinates with: C.30.TFS-REL, C.30.LCA, C.30.ILC, A.10, B.3, A.20, A.21, C.11, C.28, A.15, E.11. | |||
| C.30.STRAT | Stratification Wording Precision Restoration | Stable | Repairs source-label uses such as layer, level, tier, stack, ladder, rung, block, expert, cache, router, and gate by recovering selected ontological neighborhood, primary EntityOfConcern kind, governing pattern, admissible use, and remaining reader move before FPF-governed use. | Builds on: E.10, E.10.ARCH, E.8, F.18, C.30.P, A.22, C.30. Coordinates with: C.30.ASV, C.30.LCA, C.30.TFS-REL, C.30.ILC, A.6.M, A.6.F, E.18, C.16.P, C.16, A.19.SPR, C.2.P, E.17, C.29, C.28, A.10, G.6, B.3, A.20, A.21, A.15, A.2, G.5, C.11, E.11, I.2. |
| C.30.ASV | Architecture Structural View Adequacy (ASV) | Stable | Keywords: architecture structural view, ArchitectureStructureKindRef, VF.ARCH.STRUCTURE, viewpoint bundle, structure kind, hidden/lost structure, correspondence, source return. Queries: "Which structure kind does this architecture view describe?", "How do viewpoint and structure kind stay distinct?", "When does a view hide or lose structure?" | Builds on: C.30, A.22, A.6.3, E.17.0, E.17.1, E.17.2, E.17, E.10.D2. Coordinates with: A.6.F, C.30.TFS-REL, C.30.LCA, C.30.ILC, E.18, C.29. |
| C.30.LCA | Control Structure View Adequacy (LCA) | Stable | Keywords: control-structure view, layered control architecture, supervisor loop, controller/plant, rate band, control layer, proof overread. Queries: "When is LCA a control-structure view rather than proof?", "How do layer, level, stack, and rate labels recover fields named by value?", "Where do stability, safety, evidence, and gate claims go?" | Builds on: C.30, C.30.ASV, B.2.5, A.22. Coordinates with: A.3.3, C.27, C.28, A.10, G.6, B.3, A.20, A.21, C.29. |
| C.30.ILC | Cross-Scope Architecture Residual Triage | Stable | Keywords: cross-scope residual, interlevel conflict, frustration, declared scope, structure kind, local repair, source return. Queries: "What is the first architecture move when a local fix creates a residual elsewhere?", "How do level, layer, scope, scale, and frustration wording recover exact carriers?", "When should the case exit to measurement, scale, evidence, decision, or synthesis patterns?" | Builds on: C.30, C.30.ASV, A.22. Coordinates with: C.16, C.29, G.5, C.11, C.28, A.10, B.3, G.6, D.3, D.4. |
| C.30.TFS-REL | Architecture Transformation-Flow Structure Relation | Stable | Keywords: architecture-to-transformation-flow relation, transformation-flow structure, functional behavior, selected structure, architecture structural view. Queries: "When can a transformation-flow structure inform a grounded architecture or structural view?", "How do architecture, function, and transformation flow stay distinct?" | Builds on: C.30, C.30.ASV, E.18, A.22. Coordinates with: A.6.F, E.18.2, C.29, C.16, C.28, A.10, B.3, A.20, A.21, A.15. |
| C.31 | Modularity and Reusable Structure Characteristics | Stable | Keywords: modularity characteristics, reusable-structure characteristics, coupling, cohesion, substitutability, interface variation, evidence reuse, bespoke residue, ModularityVectorLite. Queries: "Which modularity characteristic is under evaluation?" | |
| , "When is a modularity score report-only?", "How do I keep module, interface, reuse, and evidence-reuse claims distinct?" | Builds on: C.16, A.17, A.18, A.19, C.25, C.30, C.30.ASV. Coordinates with: A.6.M, C.31.RSA, C.31.ASAP, C.29, A.10, B.3, G.5, C.11. | |||
| C.31.RSA | Reusable Structure Accounting | Stable | Keywords: reusable-structure accounting, reusable share, bespoke residue, accounting basis, report-only share, source return, refactoring opportunity. Queries: "Where is reusable structure located?" | |
| , "When is a reusable share only report-only?", "What gets worse when we increase reuse?" | Builds on: C.31, C.30, C.30.ASV, C.16, A.19. Coordinates with: A.6.M, C.31.ASAP, C.29, A.10, B.3, G.6, C.27, C.28, G.5, C.11. | |||
| C.31.ASAP | Architecture Scale-Amenability Preference | Stable | Keywords: architecture scale preference, scale amenability, ScaleClaimTriage, scale variable, scale window, architecture alternatives, source-return condition, coarse-graining, RG, platform scale claim, waiver reason. Queries: "When does modularity or platform wording carry an architecture scale-preference claim?", "How do I compare architectures under a scale window?", "When is coarse-graining or RG-like language only a mathematical lens?" | Builds on: C.31, C.31.RSA, C.16, A.17, A.18, A.19, C.18.1, C.19.1, C.29. Coordinates with: A.6.M, C.30, C.30.ASV, C.30.LCA, C.30.ILC, A.10, B.3, G.6, G.5, G.9, C.11. |
Part D – Multi-scale Ethics & Conflict-Optimisation
| § | ID & Title | Status | Keywords & Search Queries | Dependencies |
|---|---|---|---|---|
| D.1 | Axiological Neutrality Principle | Planned | Keywords: axiology, values, ethics, neutrality, morals, preference lattice, objective function. Queries: "Does FPF have built-in ethics?", "How to model different value systems in FPF?", "What is axiological neutrality?" | Builds on: E.2 (Pillars). Enables: D.2, D.4. |
| D.2 | Multi-Scale Ethics Framework | Planned | Keywords: ethics, scale, levels, scope, responsibility, agent, team, ecosystem, planet. Queries: "How to apply ethics at different scales?", "FPF model for team ethics vs. individual ethics." | Builds on: D.1, A.9 (Cross-Scale Consistency). Constrains: D.2.1-D.2.4. |
| D.2.1 | Local-Agent Ethics | Planned | Keywords: individual ethics, duties, permissions, agent, system. Queries: "Modeling duties for a single agent." | Builds on: D.2. |
| D.2.2 | Group-Ethics Standards | Planned | Keywords: collective norms, team ethics, veto, subsidiarity. Queries: "How to define rules for a team in FPF?" | Builds on: D.2. |
| D.2.3 | Ecosystem Stewardship | Planned | Keywords: externalities, tragedy of the commons. Queries: "Modeling ethical impact on an ecosystem." | Builds on: D.2. |
| D.2.4 | Planetary-Scale Precaution | Planned | Keywords: catastrophic risk, long-termism, precautionary principle. Queries: "How does FPF handle long-term ethical risks?" | Builds on: D.2. |
| D.3 | Holonic Conflict Topology | Planned | Keywords: conflict, clash, disagreement, resolution, resource conflict, goal conflict, epistemic conflict. Queries: "How to model conflicts between systems in FPF?", "Types of conflicts in FPF." | Builds on: A.1 (Holon), B.1 (Aggregation). Enables: D.3.1, D.4. |
| D.3.1 | Conflict Detection Logic (LOG-use) | Planned | Keywords: conflict detection, logic, predicates, conflictsWith. Queries: "Formal logic for detecting conflicts." | Builds on: D.3. |
| D.3.2 | Conflict Routing Protocol | Planned | Keywords: routing, mediation, negotiation, DRR, appeals. Queries: "How does FPF route unresolved conflicts?" | Builds on: D.3. |
| D.4 | Trust-Aware Mediation Calculus | Planned | Keywords: mediation, negotiation, conflict resolution, trust score, assurance, algorithm. Queries: "How does FPF resolve conflicts using trust?", "What is the algorithm for mediation?", "Using B.3 scores for decision making." | Builds on: D.3, B.3 (Trust & Assurance Calculus). Uses: C.5 (Resrc-CAL). |
| D.4.1 | Fair-Share Negotiation Operator | Planned | Keywords: fair division, negotiation, Nash bargaining, bias correction. Queries: "Modeling fair negotiation between agents." | Builds on: D.4. |
| D.4.2 | Assurance-Driven Override | Planned | Keywords: safety override, assurance, utility, risk management. Queries: "When does safety override performance in FPF?" | Builds on: D.4. |
| D.5 | Bias-Audit & Ethical Assurance | Stable | Keywords: bias, audit, ethics, assurance, fairness, review cycle, taxonomy, AI ethics, responsible AI. Queries: "How does FPF handle bias?", "What is the Bias-Audit Cycle?", "How to ensure a model is fair?", "Ethical review process in FPF." | Builds on: E.5.4 (Cross-Disciplinary Bias Audit). Complements: B.3.3 (Assurance Levels). |
| D.5.1 | Taxonomy-Guided Audit Templates | Planned | Keywords: bias taxonomy, audit checklist, template. Queries: "Templates for conducting a bias audit." | Builds on: D.5. |
| D.5.2 | Assurance Metrics Roll-up | Planned | Keywords: ethical risk index, metrics, evidence, roll-up. Queries: "How to calculate an overall ethical risk score in FPF?" | Builds on: D.5, B.3. |
Part E – The FPF Constitution and Authoring Guides
| § | ID & Title | Status | Keywords & Search Queries | Dependencies |
|---|---|---|---|---|
| Cluster E.I — The FPF Constitution | ||||
| E.1 | Vision & Mission | Stable | Keywords: vision, mission, operating system for thought, purpose, scope, goals, non-goals. Queries: "What is FPF?", "What is the purpose of the First Principles Framework?", "What problem does FPF solve?". | Prerequisite for: All other patterns, especially E.2. |
| E.2 | The Eleven Pillars | Stable | Keywords: principles, constitution, pillars, invariants, core values, rules, P-1 to P-11. Queries: "What are the core principles of FPF?", "What are the eleven pillars?". | Builds on: E.1. Prerequisite for: E.3 and all normative patterns. |
| E.2.DA | FPF Pillar-Adequacy Evaluation CharacteristicSpace | Stable | FPF-level object-under-improvement evaluation derived from the E.2 Pillars for FPF as a whole, a corpus slice, release candidate, pattern family, projection set, or host set, including content-loss and excess-apparatus regressions. | Builds on: E.2, A.19.ECS. Coordinates with: E.21, E.9.DA, E.22, E.23, E.11, E.10, F.18, F.19. |
| E.3 | Principle Taxonomy & Precedence Model | Stable | Keywords: taxonomy, precedence, conflict resolution, hierarchy, principles, classification, Gov, Arch, Epist, Prag, Did. Queries: "How does FPF resolve conflicting principles?", "What is the hierarchy of FPF rules?". | Builds on: E.2. Constrains: All patterns and DRRs. |
| E.4 | FPF Ecosystem Family Architecture | Stable | Keywords: ecosystem families, Conceptual Core, Tooling Reference, Pedagogical Companion, canon, tutorial, linter. Queries: "How are FPF publications, tools, and learning companions structured?", "What is the difference between the core spec and tooling?". | Builds on: E.1. Constrained by: E.5.3. |
| E.5 | Four Guard-Rails of FPF | Stable | Keywords: guardrails, constraints, architecture, rules, safety, GR-1 to GR-4. Queries: "What are the main architectural constraints in FPF?". | Builds on: E.2, E.3. Prerequisite for: E.5.1, E.5.2, E.5.3, E.5.4. |
| E.5.1 | DevOps Lexical Firewall | Stable | Keywords: lexical firewall, jargon, tool-agnostic, conceptual purity, DevOps, CI/CD, yaml. Queries: "Can I use terms like 'CI/CD' in FPF core patterns?". | Refines: E.5. Constrains: All Core patterns. |
| E.5.2 | Notational Independence | Stable | Keywords: notation, syntax, semantics, tool-agnostic, diagram, UML, BPMN. Queries: "Does FPF require a specific diagram style?", "How is meaning defined in FPF?". | Refines: E.5. Constrains: All Core patterns. |
| E.5.3 | Unidirectional Dependency | Stable | Keywords: dependency, layers, architecture, modularity, acyclic, Core, Tooling, Pedagogy. Queries: "What are the dependency rules between FPF ecosystem families?". | Refines: E.5. Constrains: E.4. |
| E.5.4 | Cross-Disciplinary Bias Audit | Stable | Keywords: bias, audit, ethics, fairness, trans-disciplinary, neutrality, review. Queries: "How does FPF handle bias?", "Is there an ethics review process in FPF?". | Refines: E.5. Constrains: All Core patterns. Links to: Part D. |
| Cluster E.II — The Author’s Handbook | ||||
| E.6 | Didactic Architecture of the Spec | Stable | Keywords: didactic, pedagogy, structure, narrative flow, on-ramp, learning. Queries: "How is the FPF specification structured for learning?", "What is the 'On-Ramp first' principle?". | Builds on: E.2 (P-2 Didactic Primacy). |
| E.7 | Archetypal Grounding Principle | Stable | Keywords: grounding, examples, archetypes, U.System, U.Episteme, Tell-Show-Show. Queries: "How are FPF patterns explained?", "What are the standard examples in FPF?". | Builds on: E.6. Constrains: All architectural patterns. |
| E.8 | FPF Authoring Conventions and Style Guide | Stable | Pattern body as user-facing pattern body; recognition text and assurance text; working-reader boundary; positive subject/action spine; precision-restoration profile and phrase-apparatus cleanup; evaluation-characteristic-space pattern publication form is delegated to E.8.ECSPF. | E.6, E.7, E.8.ECSPF, E.9, E.10, E.19, E.21, F.18, F.19 |
| E.8.ECSPF | Evaluation CharacteristicSpace FPF Pattern Publication Form | Stable | Authoring form for publishing an accepted evaluation CharacteristicSpace as an FPF pattern while preserving working-reader recognition, value meanings, non-use boundaries, neighbour relations, governing-pattern references, and phrase-apparatus discipline. | Builds on: E.8, A.19.ECS. Coordinates with: E.21, E.9.DA, E.2.DA, E.22, E.23, F.18, F.19, C.25. |
| E.9 | Design-Rationale Record (DRR) Method | Stable | DRR as one bounded decision and rationale record: exact basis, selected answer, source and decision carry-through, positive content distribution to patterns and selected non-pattern FPF kind-reference pairs, kind-or-boilerplate diagnostic for draft wording, and decision-adequacy evaluations through E.9.DA. | E.2, E.8, E.9.DA, E.10, E.19, E.22, F.19 |
| E.9.DA | DRR Decision-Adequacy Evaluation CharacteristicSpace | Stable | Evaluates whether one DRR is decisive enough for its declared FPF authoring use: selected answer, source carry-through, selected-locus distribution, rejected alternatives, first drafting move, and phrase-apparatus or boilerplate debt before pattern drafting. | Builds on: E.9, A.19.ECS. Coordinates with: E.8, E.10, E.19, E.21, E.22, E.23, F.19. |
| E.10 | Unified Lexical Rules for FPF | Stable | Word, head, and use precision; register discipline; term formation; ontology guards; precision-restoration trigger registry; and closure rule: local wording accepted, rewritten to kind or relation named by value, or sent to the selected restoration or governing pattern. | Builds on: A.7, E.5, F.5, F.18. Coordinates with: E.10.ARCH, A.6.P, C.2.P, A.19.SPR, E.24.CD, E.24.PUB, F.19. |
| E.10.ARCH | Wording-Use Ontological Precision Restoration Architecture | Stable | Distributes wording-use precision restoration: E.10 catches overloaded wording, E.10.ARCH selects the applicability row, selected restoration or governing patterns recover ontology, F.19 handles phrase-level apparatus after kind recovery, and subject patterns keep thin local cues plus declarative relations. | Builds on: E.10, A.6.P, A.6.F, C.2.P, A.6.3.CSC, F.18, F.19, E.8, E.19, E.2. Coordinates with: C.30.P, C.16.P, C.16.Q, A.22, C.30, C.30.ASV, C.16, A.19, C.25, C.27, C.29, E.21, E.11, I.2. |
| E.10.P | Conceptual Prefixes (policy & registry) | Stable | Keywords: prefixes, U., Γ_, ut:, tv:, namespace, registry. Queries: "What do the prefixes like 'U.' mean in FPF?". | Depends on: E.9. Constrains: E.5.1, E.5.2. |
| E.10.D1 | Lexical Discipline for “Context” (D.CTX) | Stable | Keywords: context, U.BoundedContext, anchor, domain, frame. Queries: "What is the formal meaning of 'Context' in FPF?". | Builds on: A.7, A.4. Coordinates with: F.1, F.2, F.3, F.7, F.9. |
| E.10.D2 | EntityOfConcern, Description Episteme, and Specification-Use Discipline | Stable | Keywords: EntityOfConcern, Description episteme, specification use, DescriptionContext, testable, verifiable. Queries: "Difference between a description and a specification in FPF?". | Builds on: A.7, E.10.D1, C.2.1, C.2.3. Constrains: F.4, F.5, F.8, F.9, F.15. |
| E.11 | First-Practical Entry and Pattern-Use Discoverability Discipline | Stable | Public readme first-entry scenarios, Preface plain-engineering explanation of FPF ideas, ToC/retrieval cues, local Problem-frame recognition, expanded entry-disambiguation cases, and projection-boundary discipline. | Builds on: E.8, E.19, E.21, F.18. Coordinates with: I.2, E.10, E.10.ARCH, F.19. |
| E.12 | Didactic Primacy & Cognitive Ergonomics | Stable | Keywords: didactic, cognitive load, ergonomics, usability, Rationale Mandate, HF-Loop. Queries: "How does FPF ensure it's understandable?", "What is the 'So What?' test in FPF?". | Builds on: E.2 (P-2). Complements: E.13. |
| E.13 | Pragmatic Utility and Value Alignment | Stable | Keywords: pragmatic utility, proxy-to-value alignment, Goodhart, Campbell, surrogation, minimally viable value slice. Queries: "How does FPF keep measures from replacing value?", "What got worse when the score improved?". | Builds on: E.2 (P-7). Complements: E.12 and E.14; coordinates with E.8, E.19, E.21, E.22, E.23, E.9.DA, and E.2.DA. |
| E.14 | Human-Centric Working-Model | Stable | Keywords: working model, human-centric, publication surface, grounding, assurance layers. Queries: "What is the main interface for FPF users?", "How does FPF separate human-readable models from formal assurance?". | Builds on: E.7, E.8, C.2.3. Coordinates with: B.3.5, C.13, E.10. |
| E.15 | Lexical Authoring & Evolution Protocol (LEX-AUTH) | Stable | Keywords: lexical authoring, evolution protocol, LAT, delta-classes. Queries: "How are FPF patterns authored and evolved?", "What is a Lexical Authoring Trace (LAT)?". | Builds on: E.9, E.10, B.4, C.18, C.19, A.10, B.3, F.15. |
| E.16 | RoC‑Autonomy Budget & Enforcement | Stable | Keywords: autonomy budget, guarded enactment, autonomy ledger, override speech act, scout/probe/commit checkpoint. Queries: "How does FPF make autonomy enforceable and auditable?", "How do bounded specialization budgets stay separate from committed rollout?" | Builds on: A.13, A.15, A.21, B.3. Coordinates with: C.24, G.4, G.5, G.9. |
| E.17.0 | U.MultiViewDescribing - Viewpoints, Views & Correspondences | Stable | Multi-view describing for families of Description epistemes and specification-use Description epistemes indexed by EntityOfConcernClass, EntityOfConcernRef, bounded context, and viewpoint; keeps viewpoint, episteme-lane view, publication face/form, and carrier distinct. | Builds on: C.2.1, A.6.2, A.6.3, A.6.4, A.7, E.10.D1, E.10.D2. Used by: E.17, E.17.1, E.17.2, E.18, domain-specific description schemes. |
| E.17.1 | U.ViewpointBundleLibrary — Reusable Viewpoint Bundles | Stable | Keywords: viewpoint bundle, reusable viewpoint family, import discipline, alias discipline, governance, engineering/management/research bundles. Queries: "How do I define reusable viewpoint bundles in FPF?", "What is a ViewpointBundleLibrary?" | Builds on: E.17.0, A.6.2-A.6.4, A.7, E.7, E.10. Used by: E.17.2, E.18, domain-specific viewpoint-bundle libraries. |
| E.17.2 | TEVB - Typical Engineering Viewpoints Bundle | Stable | Archetypal engineering viewpoint bundle for holons, with Functional, Procedural, Role-Enactor or Device-Structure, and Module-Interface viewpoints over an EntityOfConcernClass = U.Holon; architecture-specific viewpoint bundles import TEVB rather than mutating it. | Builds on: E.17.0, E.17.1, C.2.1, A.1, A.6.2-A.6.4, A.7, E.10.D2. Used by: E.18, E.17, engineering Description-episteme and specification-use patterns, ISO-aligned architecture-description bundles. |
| E.17 | Multi-View Publication Kit | Stable | Publication discipline for generic publication faces and governed MVPK faces; U.View, publication form, carrier and front-end, source pins, admissible publication use, and no face becoming evidence, gate, decision, or work by presentation. | E.17.0, E.17.1, E.17.2, A.7, E.10, C.2.P; coordinates with E.17.EFP, E.17.ID.CR, E.17.AUD |
| E.17.EFP | ExplanationFaithfulnessProfile — explanation-use discipline over existing MVPK faces | Stable | Explanation-facing rendering classes; source-pinned rendering, source-linked reconstruction, didactic retelling, speculative retelling; admissible explanation use and boundary to evidence, gate, work, and source return. | E.17, A.7, A.6.B, F.9, F.18; coordinates with A.10, A.15, A.15.4, A.6.3.CSC, E.17.ID.CR |
| E.17.ID.CR | ComparativeReviewUnit - bounded comparison over comparative review units | Stable | Comparative review unit, source anchors, comparison basis, bounded lift, blocked downstream claim or effect, and boundary to decision, equivalence, bridge, coarsening, explanation, prompt, ontology, or gate work. | C.2.2a, A.16.0, F.9, E.14; coordinates with E.17.EFP, E.17.AUD.LHR, E.17.AUD.OOTD, A.6.3.*, A.15, A.20, A.21 |
| E.17.AUD | PublicationUnit Stability Discipline | Stable | One bounded publication unit as a readable unit; primary EntityOfConcern or subject named by value, carried publication move, and outside boundary to work, decision, gate, or reliance claim; choose local head restoration, whole-unit stabilization, bounded comparison, or neighboring pattern. | C.2.2a, A.16.0, A.7, E.10, F.18, E.14, E.19; coordinates with E.17.AUD.LHR, E.17.AUD.OOTD, E.17.ID.CR, E.17.EFP |
| E.17.AUD.LHR | PublicationUnit Stability Discipline and Local Head Restoration | Stable | Repair one overloaded local lexical head inside one publication unit before the whole publication unit inherits ambiguity; recover local head kind, active local reading, local head kind, carried move or question under repair, and outside-work boundary. | A.6.P, A.7, E.10, C.2.P, F.18, E.14; coordinates with E.17.AUD, E.17.AUD.OOTD, E.17.ID.CR, E.17.EFP |
| E.17.AUD.OOTD | PublicationUnit Stability Discipline and PublicationUnit Primary EntityOfConcern Discipline | Stable | Keep one publication unit explicit about one primary EntityOfConcern or subject named by value, one carried move over that entity, and one outside-work boundary; stop quiet shifts into another primary EntityOfConcern, concern, or wider process. | A.6.P, A.7, E.10, F.18, E.14, E.19, C.2.2a, A.16.0; coordinates with E.17.AUD.LHR, E.17.ID.CR, E.17.EFP |
| E.18 | Transformation Flow Structure | Stable | Keywords: transformation flow structure, selected transformations, flow valuation, crossings, guards, composition, P2W support. Queries: "How do transformations compose into a selected flow structure?", "When is a graph/path a selected structure, a mathematical description, or a publication?" | Builds on: A.3.4, E.17, E.8, E.10, A.7. Coordinates with: E.18.1, E.18.2, C.29, A.20, A.21, A.2.6, F.9, F.17, G.5, G.9, G.11, C.30.TFS-REL. |
| E.18.1 | Principles-to-Work Carry-Through | Stable | Keywords: P2W, principles-to-work, carry-through record, accepted ProblemCard@Context, formal substrate, mechanism realization, method-family selection, work planning, evaluation refresh. Queries: "How do accepted problem-side distinctions become a next admissible FPF use?", "How do first principles carry into work without selecting a method too early?", "How do I keep P2W separate from evidence, gates, decisions, work, and publication claims?" | Builds on: E.18, C.22.2, E.10, E.19. Coordinates with: C.29, A.6.0, A.6.1, A.15, A.15.1, A.15.2, A.15.3, A.15.4, A.10, B.3, A.20, A.21, E.17. |
| E.18.2 | Transformation Flow Mathematical Description | Stable | Keywords: mathematical description, transformation-flow math, graph expression, path expression, algebraic description, C.29 boundary. Queries: "When is a transformation-flow graph a mathematical description rather than the project structure?", "How do I use math for transformation flow without granting work, gate, evidence, or architecture authority?" | Builds on: E.18, C.29, A.3.4, E.17. Coordinates with: A.6.0, A.10, B.3, A.20, A.21, C.30.TFS-REL, E.18.1. |
| E.19 | Pattern Quality Gates: Review and Refresh Profiles | Stable | Pattern-quality review and refresh profiles; PCP-TERM, PCP-ENTRY, SoTA binding, terminology restoration, reader-role discipline, support-role parity, phrase-apparatus cleanup, semantic trust, profile-depth decisions, and quality-evaluation routing to E.21, E.9.DA, E.2.DA, or E.22 when those evaluations are being made. | |
E.8, E.9, E.10, E.21, E.22, E.23, C.2.P, F.18, F.19, A.6.P | ||||
| E.20 | Mechanism Introduction Protocol (MIP) | Stable | Keywords: mechanism introduction, authoring protocol, governing-definition assignment, MIP-run manifest, canonical card-first, no dangling …IntensionRef, suite boundary hygiene, P2W seam, SlotKind lexicon discipline, alias docking, typed RSCR triggers, regression envelope, PQG profiles. Queries: "How to introduce a new mechanism in FPF?", "How to avoid dangling IntensionRefs in suites?", "How to assign mechanism changes to their governing definitions?", "How to evolve mechanism suites without drift?" | Builds on: E.8, E.9, E.10, E.15, E.19. Coordinates with: A.6.1, A.6.7, A.15.3, F.18, E.18, G.Core, G.2, G.x:Ext.*. Constrains: Any change-set that introduces or revises mechanisms, suites, planned baselines, wiring modules, or citeable tokens. |
| E.21 | FPF Pattern-Quality Evaluation CharacteristicSpace | Stable | Evaluates one FPF pattern version for a declared reader, use, and scope with one required coordinate set, ordinal values with short rationales, protected trade-offs, precision-restoration profile, status, and stop or reopen conditions. | Builds on: E.8, E.19, C.25, C.16, A.17-A.19, F.18, A.19.ECS. Coordinates with: E.22, E.23, E.9.DA, E.2.DA, E.10, F.19, A.6.P, C.2.P, E.11, I.2. |
| E.22 | Improvement-Oriented Quality Evaluation Question Framing | Stable | Frames one improvement-oriented quality evaluation over an object version named by value under a declared object-under-improvement evaluation, including evaluation purpose, floor or improvement aim, protected trade-offs, evidence basis, mandatory result form, precision-restoration profile expectations, and next-admissible-move hypothesis. | Builds on: A.19.ECS, E.21, E.9.DA, E.2.DA. Coordinates with: E.23, E.19, E.10, F.19, C.25, C.17-C.19, G.5, G.9, G.11. |
| E.23 | Quality Improvement Loop Method | Stable | Repeated quality-improvement method parameterized by an object version named by value under improvement and object-under-improvement evaluation; governs change, re-evaluation, absorption, stop, continue, switch-method, open-new-frame, hold decisions, and kind-restoration checks for repairs. | Builds on: E.22, A.19.ECS. Coordinates with: E.21, E.9.DA, E.2.DA, F.19, C.19.1, C.22.1, C.24, C.17-C.19, G.5, G.9, G.11. |
| E.24 | U.Ontic and Ontic Introduction Discipline | Stable | Governs when a repeated FPF construct becomes a durable action-facing ontic with stable identity, typed slot relation, dependent-pattern obligations, local-use-frame alternatives, and publication boundary. | Builds on: E.8, E.10, E.10.ARCH, F.18, F.19, C.2.1, A.6.5. Coordinates with: E.24.CD, E.24.PUB, A.19.ECS, E.21, E.9.DA, E.2.DA. |
| E.24.CD | Ontic Candidate Detection | Stable | Detects when repeated FPF or project material may need a durable ontic rather than a local record, table, schema, card, publication form, or wording repair; names candidate signals, sufficiency rationale, hidden-form classifications, and non-use boundaries without turning frequency into proof. | Builds on: E.24, E.10, E.10.ARCH, F.19, A.19.ECS, C.2.1. Coordinates with: E.21, E.9.DA, E.2.DA, F.18. |
| E.24.PUB | Ontic Description and Publication Discipline | Stable | Keeps an ontic, its description episteme, its publication, and the publication form distinct; prevents cards, records, tables, schemas, diagrams, views, pattern hosts, or source packets from becoming the ontic by appearance. | Builds on: E.24, C.2.1, E.17, E.8, E.10, F.19. Coordinates with: E.24.CD, C.30.AD, E.21, E.9.DA. |
Part F — The Unification Suite (U‑Suite): Concept‑Sets, SenseCells & Contextual Role Assignment
| § | ID & Title | Status | Keywords & Search Queries | Dependencies |
|---|---|---|---|---|
| F.0.1 | Contextual Lexicon Principles | Stable | Keywords: local meaning, context, semantic boundary, bridge, congruence, lexicon, U.BoundedContext. Queries: "How does FPF handle ambiguity?", "What is the principle of local meaning?", "How do different contexts communicate?". | Builds on: A.1.1. Prerequisite for: All patterns in Part F. |
| Cluster F.I — Context of Meaning and Lexical Inputs | ||||
| F.1 | Domain‑Family Landscape Survey | Stable | Keywords: domain‑family survey, context map, canon, scope notes, versioning, authoritative source. | Builds on: E.10.D1, F.0.1, A.7. Prerequisite for: F.2, F.3, F.4, F.9. |
| F.2 | Term Harvesting & Normalisation | Stable | Keywords: term harvesting, lexical unit, normalization, provenance, source-text terms. Queries: "How to extract terminology from a standard?", "What is a local lexical unit?", "How to handle synonyms within one domain?". | Builds on: F.1. Prerequisite for: F.3. |
| F.3 | Intra‑Context Sense Clustering | Stable | Keywords: sense clustering, disambiguation, Local-Sense, SenseCell, counter-examples. Queries: "How to group similar terms within a single domain?", "What is a SenseCell?", "How to handle words with multiple meanings in one context?". | Builds on: F.2. Prerequisite for: F.4, F.7, F.9. |
| Cluster F.II — Concept-Sets & Role Assignment/Description (definition, naming, decision) | ||||
| F.4 | Role Description (RCS + RoleStateGraph + Checklists) | Stable | Keywords: role template, status template, invariants, RoleStateGraph (RSG), Role Characterisation Space (RCS). Queries: "How to define a role in FPF?", "What is a Role Description?", "How to specify the states of a role?". | Builds on: F.3, A.2.1. Prerequisite for: F.6, F.8. |
| F.5 | Naming Discipline for U.Types & Roles | Stable | Keywords: naming conventions, lexical rules, morphology, twin registers, U.Type naming. Queries: "What are the rules for naming roles in FPF?", "How to create clear and consistent names for concepts?". | Builds on: F.4, E.10. |
| F.6 | Role Assignment & Enactment Cycle (Six-Step) | Stable | Keywords: role assignment, enactment, conceptual moves, asserting status. Queries: "What is the process for assigning a role?", "How is a role enacted in FPF?", "What are the six steps of role assignment?". | Builds on: F.4, A.2.1, A.15. |
| F.7 | Concept‑Set Table Construction | Stable | Keywords: concept-set, table, row, columns, differences, comparisons. Queries: "How do I create a concept-set table?", "How do I compare concepts across contexts?". | Builds on: F.3, F.9. Coordinates with: A.6.9. Prerequisite for: F.8. |
| F.8 | Mint or Reuse? (U.Type vs Concept-Set vs Role Description vs Alias) | Stable | Keywords: decision lattice, type explosion, reuse, minting new types, parsimony. Queries: "When should I create a new U.Type?", "How to avoid creating too many roles?", "Decision guide for new concepts.". | Builds on: F.4, F.7. |
| Cluster F.III — Cross‑Context Alignment & Applied Bindings | ||||
| F.9 | Alignment & Bridge across Contexts | Stable | Keywords: bridge, cross-context alignment, CL, direction, loss notes, Bridge-supported use, bridge reading, weakest-link scope, state export. Queries: "How do I bridge concepts across contexts?", "How do I express alignment safely in FPF?", "When is an orientation note not enough for a bridge card?" | Builds on: E.10.D1, F.0.1, F.1, F.2/F.3, F.7, F.8. Coordinates with: C.26, C.26.1, A.6.3.CSC, A.6.9, E.17.ID.CR, F.9.1. Prerequisite for: F.7, F.10. |
| F.9.1 | Bridge Stance Overlay | Stable | Keywords: bridge stance, stance overlay, interpretive gloss, projection note, rename note, language-state comparisons, overlay annotation. Queries: "How do I add a stance gloss to a bridge card without changing bridge semantics?", "What is the Bridge Stance Overlay?", "When does a stance label still depend on the underlying F.9 bridge card?" | Builds on: F.9, C.2.2a, A.16.0. Coordinates with: A.6.3.CSC, E.17.ID.CR, E.17.1, C.16.Q, A.6.A. |
| F.10 | Status Families Mapping (Evidence • Standard • Requirement) | Stable | Keywords: status, evidence, standard, requirement, polarity, applicability windows. Queries: "How to map different types of status like 'evidence' and 'requirement'?", "How does FPF handle compliance?". | Builds on: F.9, B.3. |
| F.11 | Method Quartet Harmonisation | Stable | Keywords: Method, MethodDescription, Work, Actuation, Role–Method–Work alignment. Queries: "How to align the concepts of 'method' and 'work' across domains?", "What is the method quartet?". | Builds on: F.9, A.15. |
| F.12 | Service Acceptance Binding | Stable | Keywords: Service Level Objective (SLO), Service Level Agreement (SLA), acceptance criteria, binding, observation. Queries: "How to bind an SLO to actual work?", "How is service acceptance modeled in FPF?". | Builds on: F.9, A.2.3, KD-CAL. |
| Cluster F.IV — Lexical Development Cycle, Growth Control, Tests & Examples | ||||
| F.13 | Lexical Continuity & Deprecation | Stable | Keywords: evolution, deprecation, renaming, splitting terms, merging terms. Queries: "How to manage changes to terminology over time?", "What is the process for renaming a concept?". | Builds on: F.5. |
| F.14 | Anti‑Explosion Control (Roles & Statuses) | Stable | Keywords: vocabulary growth, guard-rails, separation-of-duties, bundles, reuse. Queries: "How to prevent having too many roles and statuses?", "What are the strategies for controlling vocabulary size?". | Builds on: F.4, F.8. |
| F.15 | SCR/RSCR Harness for Unification | Stable | Keywords: static checks, regression tests, acceptance tests, validation, SenseCell testing. Queries: "How is the unification process validated?", "What are SCR/RSCR tests in FPF?". | Builds on: All of F.1-F.14. |
| F.16 | Worked‑Example Template (Cross‑Domain) | Stable | Keywords: didactic template, example, pedagogy, cross-domain illustration. Queries: "What is the standard format for a worked example in FPF?", "How to show a concept applied across different fields?". | Builds on: All of F.1-F.12. |
| F.17 | Unified Term Sheet (UTS) | Stable | Keywords: Unified Term Sheet, UTS, summary table, glossary, publication, human-readable output. Queries: "What is the final output of the FPF unification process?", "Where can I find a summary of all unified terms?". | Builds on: F.1-F.12. |
| F.18 | Local-First Unification Naming Protocol | Stable | Local-first naming; Name Cards; guarded heads; NQD-front label candidates; context-bound semantic read-through; interpretive-view wording; stewardship context examples; FPF kind named by value and reference naming instead of topic-like or entity-interest wording. | F.0.1, F.1-F.17, E.10, C.2.P; coordinates with A.6.P, A.19.DECLARED-SUBSTRATE-INTERPRETIVE-VIEW, G.2, G.6, G.10 |
| F.19 | Ontology-First Plain Technical Rewriting | Stable | Ontology-first plain rewriting; phrase apparatus; boilerplate apparatus; negative catalogue; pattern-application drift; kind-preserving plain technical prose. | Builds on: E.8, E.10, E.10.ARCH, F.18, A.6.P, A.7, E.18, E.21. Coordinates with: E.19, E.22, E.23, A.19.SPR, C.2.P, C.16.P, C.30.P, E.11, I.2. |
Part G – Discipline SoTA Patterns Kit
| § | ID & Title | Status | Keywords & Search Queries | Dependencies |
|---|---|---|---|---|
| G.Core | Part G Core Invariants | Stable | Keywords: Part‑G invariants, delegation-first core, RSCR trigger kinds, Default Governing Definition Index, ID continuity, core linkage. Queries: "How to universalize Part G without drift?", "How to make RSCR triggers id-based?" | Builds on: E.8/E.10/E.19, A.6.7, A.15.3, A.19, G.0, A.19.CHR. Used by: all G.0…G.13. |
| G.0 | CG-Spec — Frame Standard & Comparability Governance | Stable | Keywords: CG-Spec, CG-Frame, legality gate, ComparatorSet, ScaleComplianceProfile (SCP), MinimalEvidence, Γ-fold, Φ(CL), Φ_plane, CL-routing, ReferencePlane, edition pins, RSCRTriggerKindId. Queries: "What is CG-Spec in FPF?", "How does CG-Spec constrain lawful comparison and aggregation?", "What must be pinned for CG-Spec reproducibility?" | Builds on: G.Core, A.19 (CN-Spec), A.10, A.17–A.19 / C.16 (MM-CHR legality), A.18 (CSLC), B.3, Part F (Bridges/UTS), E.10, E.5.2. Prerequisite for: G.1–G.6. |
| G.1 | CG-Frame-Ready Generator | Stable | Keywords: generator chassis, generator, selector, and set-result scaffold, six-card kit (M1-M6), CGKitId manifest, SoTA_SetId, VariantPoolId, ShortlistId, CGFrameLibraryId, RefreshReadinessCardId, set-return selection, set-result outcome, UTS/Name Cards, RSCR linkage surfaces, edition pins, shipping and refresh boundaries. Queries: "How do I author a reusable CG-Frame generator kit?", "What belongs in the six-card chassis M1-M6?", "How do G.2 harvesting, G.5 set-return selection, G.10 shipping, and G.11 refresh connect without becoming one method spec?" | Builds on: G.Core, E.8, E.10, E.19. Uses: A.10, A.15.3, A.19 (CN-Spec), G.0 (CG-Spec), G.2, G.3, G.4, G.5, G.10, G.11; (via Extensions) C.17, C.18, C.19. Produces: CGKitId plus reusable CG-Frame kit or chassis, set-result scaffold, and linkage surfaces (UTS and RSCR ready). |
| G.2 | SoTA Harvester & Synthesis | Stable | Keywords: SoTA harvest, synthesis, SoTA Synthesis Pack@CG-Frame, SoTAPaletteDescription, Tradition, TraditionAtlasView, DeclaredSubstrateAtlasView, TypedSetViews, BridgeMatrix, GammaEpistSynthId, FlowRecord, palette-first. Queries: "How does FPF harvest and synthesize SoTA for a CG-Frame?", "When is TraditionAtlasView lawful and when is palette-first or thinner interpretation enough?", "How do competing Traditions stay plural while bridgeable and refreshable?" | Builds on: G.Core, E.8, E.10, E.19, A.10, B.3, F.9, F.17, G.0. Used by: G.1, G.3-G.5, G.10, G.11. Coordinates with: A.19.DECLARED-SUBSTRATE-INTERPRETIVE-VIEW, A.6.P, G.13. |
| G.3 | CHR Authoring: Characteristics - Scales - Levels - Coordinates | Stable | Keywords: CHR authoring, characteristics, scales, levels, coordinates, CSLC legality, typed measurement, CHR Pack@CG-Frame, ReferencePlane, Φ/CL policy pins, edition pins, RSCRTriggerKindId. Queries: "How do I author CHR packs (typed characteristics and scales) for a CG-Frame?", "How to keep measurement lawful (CSLC) and refreshable (RSCR)?" | Builds on: G.Core, G.2, G.0, A.17–A.19, A.18 (CSLC), C.16 (MM-CHR), A.19.CHR, A.15.3, G.6, F.17. Prerequisite for: G.4. Used by: G.4, G.5, G.10, G.11. |
| G.4 | CAL Authoring: Calculi - Acceptance - Evidence | Stable | Keywords: CAL authoring, operators, acceptance clauses, evidence profiles, tri-state admissibility, Γ-fold hooks, Φ/Ψ/Φ_plane policy pins, legality gates, edition pins, RSCRTriggerKindId. Queries: "How to author CAL operators and acceptance clauses for CG-Frames?", "How to keep acceptance/evidence wiring auditable and refreshable?" | Builds on: G.Core, G.3, G.0, B.3 (Trust), A.18 (CSLC), G.6. Prerequisite for: G.5. Used by: G.5, G.8–G.10, G.11. |
| G.5 | Multi‑Method Dispatcher & MethodFamily Registry | Stable | Keywords: method-family registry, generator-family registry, dispatcher, SelectorOutcomeKind, selected-set publication, set-result outcome, Shortlist, RankedShortlist, ShortlistId, SpecialistHandoff, abstain/escalation result, basis pins, no hidden scalar winner. Queries: "How does FPF dispatch among rival method families without hidden scalarization?", "How do I publish a Shortlist or RankedShortlist honestly?", "When does G.5 begin after C.11 choice, C.19 pool policy, or C.24 planning?" | Builds on: G.Core, G.0, G.2-G.4, G.6. Coordinates with: C.11, C.19, C.24, G.9-G.11. |
| G.6 | Evidence Graph & Provenance Ledger | Stable | Keywords: EvidenceGraph, provenance, PathId, PathSliceId, lane tags (TA/VA/LA), SCR/RSCR, GateCrossing, CrossingBundle, UTS PathCard, TriggerAliasMap, Γ-fold pinning. Queries: "How does FPF trace claims to evidence?", "What is an EvidenceGraph?", "How do PathId/PathSliceId support audit and refresh?" | Builds on: G.Core, A.10, B.3, G.4, F.9, F.15, F.17, E.18, A.21, E.10, E.5.2. Used by: G.5, G.8, G.9, G.10, G.11. |
| G.7 | Cross-Tradition Bridge Calibration Kit (BridgeMatrix → BridgeCards + BCT/Sentinels) | Stable | Keywords: bridge calibration, BridgeCard, BridgeCalibrationTable (BCT), RegressionSet, SentinelSet, BridgeSentinel, Congruence Level (CL/CL^k/CL^plane), loss notes, waivers, ReferencePlane, Φ(CL)/Ψ(CL^k)/Φ_plane policy pins, PathSliceId, GateCrossing, UTS, RSCRTriggerKindId. Queries: "How to calibrate cross-Tradition bridges in Part G?", "What is BCT and how is it used?", "How do Bridge Sentinels trigger RSCR?" | Builds on: G.Core, G.2, F.9, F.3, F.7, B.3, G.6, E.18, A.21, E.10, C.21. Prerequisite for: G.5. Used by: G.9–G.11, G.10, G.12. |
| G.8 | SoS-LOG Bundles & Maturity Ladders | Stable | Keywords: SoS-LOG, rule ids, admissibility ledger, tri-state `{pass | degrade |
| G.9 | Parity / Benchmark Harness | Stable | Keywords: parity harness, benchmark plan, adaptation parity, freshness windows, comparator pins, selected-set outcomes. Queries: "How does FPF run reproducible parity with explicit pins and windows?", "How do adaptation-speed and specialization claims become lawful parity questions?" | Builds on: G.Core, G.5, G.6, G.4, F.15. Uses: G.0, A.19, C.22.1. Coordinates with: C.27 when parity compares rate-change, rhythm change, recovery speed, intervention effect, effort budget, or dynamic outcome. |
| G.10 | SoTA Pack Shipping (pack-boundary governing definition; SoTA-Pack(Core)) | Stable | Keywords: shipping, SoTA-Pack(Core), pack-boundary governing definition, selector-ready publication surface, AuditPins, MOOManifest, PortfolioRosterId, UTS publication, PathId/PathSliceId, CrossingBundle, edition pins, telemetry pins, RSCR wiring, parity pins, notation-independent pack, no semantic respecification. Queries: "How does FPF ship a SoTA pack without smuggling semantics?", "What is SoTA-Pack(Core) as a pack rather than a kit or suite?", "How do AuditPins, MOOManifest, path citations, and crossing bundles support replay and refresh?" | Builds on: G.Core, F.17-F.18, E.5.2, E.18, A.10, A.15.3. Consumes/cites: G.2-G.9, optional G.12-G.13. Used by: selector-facing consumers via G.5 and refresh orchestration via G.11. |
| G.11 | Telemetry-Driven Refresh & Decay Orchestrator | Stable | Keywords: telemetry, refresh, decay, RSCR, PathSlice, Bridge Sentinels, edition-aware, epistemic debt, deprecation, edition bumps, re-shipping. Queries: "How does FPF keep SoTA packs up-to-date?", "What triggers refresh / RSCR reruns?", "How are deprecations and edition bumps governed?". | Builds on: G.Core, G.6, G.7, G.5, G.8, G.9, G.10, B.3.4, E.18. Coordinates with: G.12, C.18 and C.19, C.23, F.15. |
| G.12 | DHC Dashboards — Discipline-Health Time-Series (admissible telemetry, generation-first) | Stable | Keywords: dashboard, DHC, discipline health, time-series, admissible telemetry, view-only slices, PathId/PathSliceId, edition pins, UTS twins, RSCR/refresh wiring. Queries: "How to build DHC dashboards in FPF?", "How to publish admissible DHC time-series with evidence and edition pins?", "How to wire dashboard telemetry into RSCR refresh?" | Builds on: G.Core, C.21, G.6, G.11, A.19, G.0, F.17/F.18, E.5.2, E.10. Coordinates with: G.5 (selector set-result outputs), G.7 (crossings/CL/Φ_plane pins), G.8 (maturity ladder panel), G.10 (shipping inclusion), C.18 and C.19 (QD/OEE telemetry), G.2 (SoTA palette hooks). |
| G.13 | External Interop Hooks for SoTA Discipline Packs (conceptual; normative when used) | Stable | Keywords: interop, external index, claim mapper, mapping policy, plane map, embedding spec, ExternalIndexCard@Context, ClaimMapperCard@Context, InteropSurface@Context, CHR-typed SoS features, edition pins, UTS twins, RSCRTriggerKindId, telemetry pin. Queries: "How does FPF integrate external scholarly indexes into Part G?", "What is an ExternalIndexCard / ClaimMapperCard / InteropSurface in FPF?", "How to make interop refreshable with RSCR trigger kinds and edition pins?" | Builds on: G.Core, G.2–G.7, G.9–G.12, A.19, A.18, G.0, F.17, E.5.2, E.18. |
Part H – Glossary & Definitional Pattern Index
| § | ID & Title | Status | Concise reminder |
|---|---|---|---|
| H.1 | Alphabetic Glossary | Planned | Every U.Type, relation & operator with four‑register naming. |
| H.2 | Definitional Pattern Catalogue | Planned | One‑page micro‑stubs of every definitional pattern for quick lookup. |
| H.3 | Cross‑Reference Maps | Planned | Bidirectional links: Part A ↔ Part C ↔ Part B terms. |
Part I – Annexes & Extended Tutorials
| § | ID & Title | Status | Concise reminder |
|---|---|---|---|
| I.1 | Deprecated Aliases | Planned | Deprecated names kept as alias labels for continuity; aliases do not carry current semantics. |
| I.2 | Expanded Entry Disambiguation Cases | Stable | Expanded entry-disambiguation cases for high-risk or compact-insufficient first-entry pattern comparison; compact-index-only is a complete admissible posture when enough. |
| I.3 | Change‑Log (auto‑generated) | Planned | Version history keyed to DRR ids. |
| I.4 | External Standards Mappings | Planned | Trace tables to ISO 15926, BORO, CCO, Constructor‑Theory terms. |
Part J – Indexes & Navigation Aids
| § | ID & Title | Status | Concise reminder |
|---|---|---|---|
| J.1 | Concept‑to‑Pattern Index | Planned | Quick jump from idea (“boundary”) to pattern (§, id). |
| J.2 | Pattern‑to‑Example Index | Planned | Table listing every archetypal grounding vignette. |
| J.3 | Principle‑Trace Index | Planned | Maps each Pillar / C‑rule / P‑rule to concrete clauses. |
Part K - Lexical Debt
| § | ID & Title | Status | Concise content reminder — “what belongs here” |
|---|---|---|---|
| K.1 | Mandatory Replacement of Measurement Terms | Planned | Retires "axis/dimension" in favor of "Characteristic" and aligns other measurement terms. |
| K.2 | Migration Debt from A.2.6 (USM) | Planned | Specifies the required edits across the FPF to align with the new Unified Scope Mechanism (USM). |
| K.3 | Temporal Claim Lexical Debt from C.27 | Planned | Retires untyped velocity, acceleration, cadence, agility, rhythm, inertia, and dynamics language when it is used outside a named C.27, C.16, or A.3.3 reading. |
Last Updated: 2026-06-17 — upstream FPF commit 646b0b9b (github.com/ailev/FPF)