#Table of Content
Preface node
heading:table-of-content:7
#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, what kinds of artefacts/patterns it defines, how Parts A–K fit together, and where to start for different reader roles. |
| 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 graphs, engineering views as projections, and MVPK as typed publication surfaces that keep dashboards lawfully tethered to work and evidence. |
| Boundary Statements: Where Language Becomes a System Boundary | full text | Introduces the A.6 boundary cluster: why certain sentences behave like contracts, and how routing (laws vs gates vs duties vs evidence) keeps them evolvable and multi-view safe. |
| Raising Semantic Precision: From Triggers to Math‑Backed Ontics | full text | Describes the precision-upgrade workflow behind A.6.P: detect umbrella 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-layer 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), portfolio (set), illumination map (report‑only telemetry), parity run, comparability, ReferencePlane, CL^plane, ParetoOnly default. Queries: "What is NQD in FPF?", "How does FPF handle creative generation?", "What is an explore-exploit policy in FPF?" | Builds on: E.2, A.5, C.17–C.19. Coordinates with: E.7, E.8, E.10; F.17; G.5, G.9–G.12. Constrains: Any pattern/UTS row that describes a generator, selector, or portfolio. |
| Cluster A.I - Foundational Ontology | ||||
| A.1 | Holonic Foundation: Entity → Holon | Stable | Keywords: part-whole composition, system boundary, entity, holon, U.System, U.Episteme. Queries: "How does FPF model a system and its parts?", "What is a holon?", "Difference between entity and system." | Builds on: P-8 Cross-Scale Consistency. Prerequisite for: A.1.1, A.2, A.14, B.1. |
| A.1.1 | U.BoundedContext: The Semantic Frame | Stable | Keywords: local meaning, context, semantic boundary, domain, invariants, glossary, DDD. Queries: "How does FPF handle ambiguity?", "What is a Bounded Context in FPF?", "How to define rules for a specific project?" | Builds on: A.1. Prerequisite for: A.2.1, F.0.1. |
| 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, lifecycle. 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, epistemic artifact. Queries: "How to document a procedure?", "What is a MethodDescription?" | Refines: A.3. Informs: A.15. |
| A.3.3 | U.Dynamics: The Law of Change | Stable | Keywords: state evolution, model, simulation, state space. Queries: "How to model state transitions or system dynamics?", "Difference between a Method and Dynamics." | Builds on: A.19. Informs: B.4. |
| Cluster A.III - Time & Evolution | ||||
| A.4 | Temporal Duality & Open-Ended Evolution Principle | Stable | Keywords: design-time, run-time, evolution, versioning, lifecycle, 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 | Transitional stub | 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, routing, laws, admissibility, deontics, evidence, claim register, MVPK, view/viewpoint, surface. Queries: "What is the Signature Stack in FPF?", "How do I route boundary statements (laws vs gates vs duties vs evidence)?", "How to avoid contract-soup drift in boundary descriptions?" | 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/L-SURF. Coordinates with: A.6.5, A.6.6, A.6.7, E.19. |
| A.6.B | Boundary Norm Square (Laws / Admissibility / Deontics / Work-Effects) | Stable | Keywords: boundary norm square, atomic claims, L/A/D/E routing, laws vs gates, commitments, evidence carriers, no upward dependencies, claim IDs, triangle decomposition. Queries: "What is the Boundary Norm Square in FPF?", "How to decompose a mixed sentence into gate/duty/evidence claims?", "Where do RFC keywords 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/L-SURF. Used by: A.6 (cluster overview). |
| A.6.C | Contract Unpacking for Boundaries | Stable | Keywords: contract bundle unpacking, SLA/guarantee routing, 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 | Keywords: episteme, effect-free, morphism, functoriality, describedEntity, lenses, reproducibility. Queries: "How to transform descriptions/specs without mechanisms?", "What are conservative episteme-to-episteme transforms in FPF?", "How do Describe_ID / Specify_DS fit into a general morphism class?" | Builds on: A.1 (Holon), A.7 (Strict Distinction, Object≠Description≠Carrier), A.6.0 (U.Signature), A.6.5 (U.RelationSlotDiscipline), E.10.D2 (I/D/S discipline), C.2.1 (U.EpistemeSlotGraph). Used by: A.6.3 (U.EpistemicViewing), A.6.4 (U.EpistemicRetargeting), E.17.0 (U.MultiViewDescribing), E.17 (MVPK), E.18 (E.TGA StructuralReinterpretation), KD-CAL mapping rules. |
| A.6.3 | U.EpistemicViewing — describedEntity-Preserving Morphism | Stable | Keywords: episteme, view, EpistemicViewing, describedEntity preservation, ClaimGraph, Viewpoint, RepresentationScheme, CorrespondenceModel, Direct vs Correspondence Viewing, optics, displayed fibration. Queries: "How to define a view of an artefact without adding new claims?", "What is an EpistemicViewing in FPF terms?", "How do ISO 42010 views and SysML v2 views-as-queries sit in FPF?" | Builds on: A.6.0 (U.Signature), A.6.2 (U.EffectFreeEpistemicMorphing), A.6.5 (U.RelationSlotDiscipline), A.7 (Strict Distinction; I/D/S vs Surface), E.10.D2 (I/D/S discipline), C.2.1 (U.EpistemeSlotGraph), C.2 (KD-CAL: describedEntity & ReferencePlane). Used by: E.17.0 (U.MultiViewDescribing), E.17 (MVPK), E.17.1/E.17.2 (ViewpointBundleLibrary & TEVB), E.18 (E.TGA viewpoint families), B.5.3 (Role-Projection Bridge), KD-CAL view operators. |
| A.6.3.CR | ConservativeRetextualization — same-described-entity textual re-expression | Stable | Keywords: retextualization, summary, report rewrite, translation, filtering, same-described-entity textual re-expression, direct vs correspondence-mediated rewrite. Queries: "When is a summary still a conservative same-entity view?", "How does FPF treat same-entity translation or report rewriting?", "What is ConservativeRetextualization?" | 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: ExplanationFaithfulnessProfile, RepresentationTransduction, E.17.ID.CR ComparativeReading, A.6.4, B.5.2, A.15. |
| A.6.3.RT | RepresentationTransduction — same-described-entity representation-scheme transition | Stable | Keywords: representation transduction, table, diagram, notation shift, reasoning medium, recoverability, non-latent, same-described-entity representation change. Queries: "When is a table or diagram still a same-entity view?", "What is RepresentationTransduction in FPF?", "How does FPF handle same-entity representation-scheme shifts?" | 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: ConservativeRetextualization, ExplanationFaithfulnessProfile, E.17.ID.CR ComparativeReading, A.6.4, A.15, A.20, A.21, DecodingAccessProfile. |
| A.6.4 | U.EpistemicRetargeting — describedEntity-Retargeting Morphism | Stable | Keywords: retargeting, subject retargeting, describedEntity shift, KindBridge, SquareLaw-retargeting, StructuralReinterpretation. Queries: "How to change the object-of-talk without losing truth?", "What is StructuralReinterpretation in FPF terms?", "When is a Fourier-like transform a retargeting rather than a new Γ-construction?" | Builds on: A.6.2 (effect-free episteme morphisms), A.1 (Holon: System/Episteme split), F.9 (Bridges & CL, including CL^plane and KindBridge), C.2.1 (U.EpistemeSlotGraph; DescribedEntity/GroundingHolon), C.2 (KD-CAL: ReferencePlane & CL propagation), E.18:5.9/E.18:5.12 (E.TGA crossings & StructuralReinterpretation rules). Used by: E.18 (StructuralReinterpretation node in E.TGA as species of U.EpistemicRetargeting), KD-CAL/LOG-CAL retargeting rules, Fourier-style transforms and data↔model re-targetings in discipline packs. |
| A.6.P | U.RelationalPrecisionRestorationSuite — Relational Precision Restoration (RPR) — Kind-Explicit Qualified Relation Discipline | Stable | Keywords: relation precision restoration, under-specified relations, RelationKind, QualifiedRelationRecord, lexical guardrails, endpoint restoration, language-state seam. Queries: "What is A.6.P in FPF?", "How do I repair under-specified relation language?", "How do A.6.Q and A.6.A relate to the RPR family?", "When does a trigger word justify its own A.6.P specialization?" | 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.6, A.10, C.3.3, E.17, F.9. Specialised by: A.6.Q, A.6.A, A.6.5, A.6.6, A.6.8, A.6.9, A.6.H. |
| A.6.Q | U.QualityTermPrecisionRestoration — Quality Term Precision Restoration (Q-TERM) | Stable | Keywords: quality-term precision restoration, evaluative ascription, quality senses, endpoint routing, bridge reading, language-state seam. Queries: "How do I repair overloaded quality language in FPF?", "When does quality talk become an evaluative ascription?", "How does A.6.Q hand off to C.25 or later owners?" | Builds on: A.6.P, C.25, C.2.2a, A.16, B.4.1, F.9. Coordinates with: A.6.A, B.5.2.0. |
| A.6.A | U.ActionInvitationPrecisionRestoration — Affordance / Action-Invitation Precision Restoration (ACT-INV) | Stable | Keywords: affordance, action invitation, action-first language, post-threshold routing, 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: A.6.Q, B.5.2.0. |
| 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 I/D/S 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.EpistemeSlotGraph), 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, rebase, retime, rescope. Queries: "What is U.BaseDeclarationDiscipline?", "How to model base-dependence without anchoring?", "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* 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, contract 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, facet unpacking, serviceSituation QRR, promise content vs access point, provider principal, SLA/SLO, server/service provider rewrite. Queries: "How to unpack service talk in FPF?", "serviceSituation lens", "promise content vs service access point", "RPR-SERV rules". | 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, 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 workflow?" | 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, artefact–referent level, 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 route order/time vs 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, Object ≠ Description, 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, audit, provenance, SCR/RSCR. Queries: "How are claims supported by evidence?", "How to ensure auditability?" | Builds on: A.1. Prerequisite for: B.3. |
| 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 split, U.WorkPlan vs U.Work, contextual enactment, checkpoint return, bounded specialization scouting. Queries: "How do role, method, plan, and work stay distinct in FPF?", "How does bounded specialization scouting return a checkpoint instead of a silent rollout?" | Integrates: A.2, A.4, A.12. Prerequisite for: A.15.1-A.15.3, 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 owner, 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 contract pins), Part G universalization, suite-specific and kit-specific planned baselines. |
| A.16 | Language-State Transduction Coordination | Stable | Keywords: language-state, transduction, lawful moves, reopen, sketch-backoff, respecify, retire, handoff. Queries: "How do governed epistemes move across the language-state chart?", "What are the lawful 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.LanguageStateTransductionTrajectory — 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, route pressure. Queries: "What is a PreArticulationCuePack?", "How do I preserve early cues before route 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 lawfully 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, scale, level, coordinate, measurement Standard. Queries: "What is the CSLC Standard?", "How to ensure measurements are comparable?" | Builds on: A.17. Prerequisite for: all metric-based patterns. |
| A.19 | A.CHR-SPACE — CharacteristicSpace & Dynamics hook | Stable | Keywords: state space, CharacteristicSpace, dynamics, state model, RSG. Queries: "How to define a system's state space?", "How does FPF model change over time?" | Builds on: A.17, A.18, A.2.5. Prerequisite for: A.3.3. |
| 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, portfolio set, SelectEligibility, tri-state guard (`pass | degrade |
| A.20 | U.Flow.ConstraintValidity — Eulerian | Stable | Keywords: flow, ConstraintValidity, Eulerian, TransductionFlow, GateFit, MVPK, SquareLaw, Sentinel, PathSlice. Queries: "What is ConstraintValidity in FPF?", "What is the Eulerian stance in FPF flows?", "How does E.TGA relate to flows?" | Builds on: E.18 (E.TGA). Coordinates with: A.21, A.22, A.25, A.27, A.28, A.31, A.45. |
| 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.TGA), E.17 (MVPK), A.7. Coordinates with: A.20, A.23, A.24, A.25, A.26, A.27, A.41. |
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 knowledge artifacts?", "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 | Draft | 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. Queries: "How is trust calculated in FPF?", "What is the F-G-R model?", "How does FPF handle evidence and confidence?" | Builds on: A.10. Prerequisite for: All B.3.x, D.4. |
| B.3.1 | Components & Epistemic Spaces | Draft | 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) | Draft | 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 artifact 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, design/run 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 | Draft | Keywords: routed cue set, route plurality, route selection, pre-abductive seam, task-family specialization route. Queries: "How do weak cues become routed before endpoint ownership?", "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, A.6.Q, A.6.A, C.22.1. |
| B.4.2 | Knowledge Instantiation | Stub | 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 | Stub | 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 cycle, lifecycle, state machine, Explore, Shape, Evidence, Operate. Queries: "What are the development stages of an artifact 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 | Draft | 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, A.6.Q. Used by: B.5.2. |
| B.5.2.1 | Creative Abduction with NQD | Stable | Keywords: NQD, novelty, quality, diversity, open-ended search, Pareto front, E/E-LOG. Queries: "How to systematically generate creative ideas?", "What is NQD in FPF?" | Builds on: B.5.2, C.17, C.18, C.19. |
| 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) | Draft | Keywords: characterization, templates, CHR patterns, measurement. Queries: "How to use CHR patterns?" | Builds on: Part C (CHR). |
| B.7 | Common Logic Suite (LOG-use) | Draft | 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 | Draft | 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 graph | Stable | Keywords: episteme, EpistemeSlotGraph, DescribedEntitySlot, GroundingHolonSlot, ClaimGraphSlot, ViewpointSlot, ReferenceScheme, RepresentationScheme, View/Viewpoint. Queries: "What is an episteme in FPF?", "How are DescribedEntity, ClaimGraph, GroundingHolon and Viewpoint organised as slots?", "How do KD-CAL epistemes connect to views/viewpoints and multi-view descriptions?" | Builds on: C.2 (KD-CAL), A.1 (Holonic Foundation), A.6.5 (U.RelationSlotDiscipline), E.10.D2 (I/D/S discipline). Used by: A.6.2–A.6.4 (U.EffectFreeEpistemicMorphing / U.EpistemicViewing / U.EpistemicRetargeting), E.17.0–E.17.2 (U.MultiViewDescribing, Viewpoint bundles, TEVB), E.17 (MVPK), B.1.3 (Γ_epist), discipline-packs that define or consume epistemes. |
| 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 ownership?" | Builds on: A.19, E.10, F.18. Used by: C.2.LS, A.16, B.4.1, A.6.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 — Thin owner 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 | Draft | Keywords: articulation explicitness, semantic shape, weak 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 | Draft | 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 | Draft | 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 | Draft | 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.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 | Draft | 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 | Draft | 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 | Draft | 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 | Draft | 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 | Draft | 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 | Draft | 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, choice, option set, decision subject, choice rule, probe-worthiness. Queries: "When should one choose now versus probe again?", "How does FPF govern choice among already-available options?" | Builds on: A.6.P, A.6.5, A.13, C.9, A.18, A.19. Coordinates with: C.18, C.19, C.24, G.5. |
| Cluster C.III – Meta‑Infrastructure CALs | ||||
| C.12 | ADR‑Kind-CAL | Draft | 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 | Draft | 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 | Draft | 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 (same-template), scoring method (𝒢) disclosure, CSLC. Queries: "How do I define a measurement template in FPF?", "What is direct comparability in MM-CHR?", "How do EvidenceStubs support measurement claims?" | Builds on: A.17, A.18. Is a prerequisite for: All CHR patterns (and any pattern that issues typed measures/scores). |
| C.17 | Creativity‑CHR — Characterising Generative Novelty & Value | Stable | Keywords: creativity, novelty, value, surprise, innovation, ideation. Queries: "How does FPF measure creativity?", "What defines a novel idea?". | Builds on: CHR-CAL, MM-CHR. Coordinates with: NQD-CAL, E/E-LOG. |
| C.18 | NQD‑CAL — Open‑Ended Search Calculus | Stable | Keywords: search, exploration, hypothesis generation, novelty, quality, diversity (NQD). Queries: "How does FPF support structured brainstorming?", "What is NQD search?". | Builds on: KD-CAL. Coordinates with: B.5.2.1, Creativity-CHR, E/E-LOG. |
| 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, pool policy, frontier, narrowing, sunset, EmitterPolicy. Queries: "How should one govern a still-live candidate pool?", "When should one keep frontier versus narrow to subset?" | Builds on: C.18, C.17, Decsn-CAL, B.3. Coordinates with: C.11, C.24, G.5. |
| C.19.1 | Bitter‑Lesson Preference (BLP) | Stable | Keywords: Bitter Lesson, scale-audit, BLP-waiver, α/δ tolerances, task-family specialization. Queries: "When may a narrower method beat a scalable one in FPF?", "How does BLP stay compatible with bounded task-family specialization?" | Builds on: C.19, C.24, B.3. Coordinates with: 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 | Keywords: adaptation signature, time-to-threshold, budget-to-threshold, prior exposure, corridor entry, stepping stone. Queries: "How do I publish a specialization claim on one task family honestly?", "What fields make task-family adaptation comparable in G.5 and G.9?" | Builds on: C.22. Coordinates with: C.19.1, G.5, G.9. |
| 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 & Call‑Planning (C.Agent‑Tools‑CAL) | Stable | Keywords: agential tool use, call planning, call route, checkpoint return, enactment budget, replanning. Queries: "How does FPF plan lawful tool calls under budget and assurance?", "When should one checkpoint instead of rolling out?" | Builds on: A.15, B.3, E.3, E.5, C.5, C.18, C.19. Coordinates with: C.11, G.5, G.9. |
| C.25 | Q-Bundle — Structured Treatment of "-ilities" (Quality Families) | Stable | Keywords: quality bundle, -ility, quality family, characteristic plus scope, mechanism/status slots, endpoint routing. Queries: "What is a Q-Bundle in FPF?", "When is an -ility one characteristic and when is it a bundle?" | Builds on: A.2.6, A.6.1, C.16, B.3. Coordinates with: A.6.Q, A.15. |
Part D – Multi-scale Ethics & Conflict-Optimisation
| § | ID & Title | Status | Keywords & Search Queries | Dependencies |
|---|---|---|---|---|
| D.1 | Axiological Neutrality Principle | Stub | 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 | Stub | 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 | Stub | Keywords: individual ethics, duties, permissions, agent, system. Queries: "Modeling duties for a single agent." | Builds on: D.2. |
| D.2.2 | Group-Ethics Standards | Stub | 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 | Stub | Keywords: externalities, tragedy of the commons. Queries: "Modeling ethical impact on an ecosystem." | Builds on: D.2. |
| D.2.4 | Planetary-Scale Precaution | Stub | 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 | Stub | 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) | Stub | Keywords: conflict detection, logic, predicates, conflictsWith. Queries: "Formal logic for detecting conflicts." | Builds on: D.3. |
| D.3.2 | Conflict Routing Protocol | Stub | Keywords: routing, mediation, negotiation, DRR, appeals. Queries: "How does FPF route unresolved conflicts?" | Builds on: D.3. |
| D.4 | Trust-Aware Mediation Calculus | Stub | 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 | Stub | Keywords: fair division, negotiation, Nash bargaining, bias correction. Queries: "Modeling fair negotiation between agents." | Builds on: D.4. |
| D.4.2 | Assurance-Driven Override | Stub | 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 | Stub | Keywords: bias taxonomy, audit checklist, template. Queries: "Templates for conducting a bias audit." | Builds on: D.5. |
| D.5.2 | Assurance Metrics Roll-up | Stub | 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.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 Artefact Architecture | Stable | Keywords: artifact, families, architecture, conceptual core, tooling, pedagogy, canon, tutorial, linter. Queries: "How are FPF documents 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 artifact 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 & Style Guide | Stable | Keywords: authoring, style guide, conventions, template, S-rules, narrative flow. Queries: "How to write a new FPF pattern?", "What is the FPF style guide?". | Builds on: E.6, E.7. Constrains: All new patterns. |
| E.9 | Design-Rationale Record (DRR) Method | Stable | Keywords: DRR, design rationale, change management, decision record, context, consequences. Queries: "How are changes to FPF managed?", "What is a DRR?". | Builds on: E.2 (P-10 Open-Ended Evolution). Constrains: All normative changes. |
| E.10 | LEX-BUNDLE: Unified Lexical Rules for FPF | Stable | Keywords: lexical rules, naming, registers, rewrite rules, process, function, service. Queries: "What is the complete set of FPF naming rules?". | Builds on: A.7, E.5, F.5. Coordinates with: A.2, A.10, A.15, B.1, B.3, Part F. |
| 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 | Intension–Description–Specification Discipline (I/D/S) | Stable | Keywords: intension, description, specification, I/D/S, 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.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 & Value Alignment | Stable | Keywords: pragmatic, utility, value, Goodhart's Law, Proxy-Audit Loop, MVE. Queries: "How does FPF ensure solutions are useful, not just correct?", "What is a Minimally Viable Example (MVE)?". | Builds on: E.2 (P-7). Complements: E.12. |
| 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 | New | Keywords: multi-view describing, viewpoint, view, entity-of-interest, description families, correspondence model, ISO 42010 alignment, view vs viewpoint, engineering vs publication viewpoints. Queries: “How to organise multiple descriptions of one object-of-talk?”, “How are viewpoints, views and correspondences structured in FPF?”, “How do viewpoint libraries generalise ISO 42010 for non-architectural descriptions?” | Builds on: C.2.1 (U.EpistemeSlotGraph; DescribedEntity/Viewpoint/View slots), A.6.2 (U.EffectFreeEpistemicMorphing), A.6.3 (U.EpistemicViewing), A.6.4 (U.EpistemicRetargeting), A.7 (Strict Distinction; I/D/S vs Surface), E.10.D1 (Context), E.10.D2 (I/D/S discipline). Used by: E.17 (MVPK — publication as a specialisation of multi-view describing for morphisms), E.17.1 (U.ViewpointBundleLibrary), E.17.2 (TEVB), E.18:5.12 (E.TGA engineering viewpoint families), domain-specific description schemes (architecture, safety cases, governance, research). |
| 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 | Keywords: engineering viewpoints, holon, Functional/Procedural/Role-Enactor/Module-Interface views, EoIClass = U.Holon, ISO 42010 mapping, E.TGA bindings. Queries: “What are canonical engineering viewpoints over a holon?”, “How does TEVB relate to E.TGA and MVPK?”, “How do ISO 42010 architecture viewpoints map onto FPF engineering viewpoints?” | Builds on: E.17.0 (U.MultiViewDescribing), E.17.1 (U.ViewpointBundleLibrary), C.2.1 (U.EpistemeSlotGraph; DescribedEntity/Viewpoint/View slots), A.1 (Holon; U.System/U.Episteme as typical EoI), A.6.2–A.6.4 (episteme morphisms), A.7/E.10.D2 (Strict Distinction & I/D/S discipline). Used by: E.18:5.12 (E.TGA engineering viewpoint families), E.17 (MVPK — publication of engineering morphisms via EngineeringVPId/PublicationVPId correspondences), engineering description/spec patterns and future ISO-aligned architecture description species. |
| E.17 | Multi‑View Publication Kit (for Morphisms) | Stable | Keywords: publication, U.View/U.EpistemeView, multi-view, viewpoints, PublicationScope (USM), PlainView/TechCard/InteropCard/AssuranceLane, functorial views, reindexing (PromoteView[s→t]), Publication characteristics (PC.Number, PC.EvidenceBinding, PC.ComparatorSetRef, PC.CharacteristicSpaceRef), CHR/UNM/CG-Spec anchoring, UTS, pin discipline, D/S→Surface (no I→D/D→S). Queries: “How to publish any morphism across Plain/Tech/Interop/Assurance views without changing semantics?”, “How do MVPK faces relate to U.View/U.EpistemeView and U.Viewpoint/PublicationVPId?”, “How to pin numeric claims and evidence lanes on publication faces so they stay functorial and audit-ready?” | Builds on: A.7/E.10.D2 (Strict Distinction & I/D/S discipline; Surface orthogonality), A.6.2–A.6.3 (U.EffectFreeEpistemicMorphing, U.EpistemicViewing), C.2.1 (U.EpistemeSlotGraph; View/Viewpoint slots), E.17.0 (U.MultiViewDescribing), E.17.1 (U.ViewpointBundleLibrary), E.17.2 (TEVB), E.8 (Authoring conventions), E.10 (LEX-BUNDLE incl. L-SURF), Part F/G (UTS, CG-Spec, CHR pins, UNM). Used by / Coordinates with: E.18 (E.TGA — publication of morphisms via MVPK faces), Part G (SoTA pack shipping surfaces, EvidenceGraph views), tooling that emits human-readable cards/lanes over D/S-epistemes about morphisms. |
| E.17.EFP | ExplanationFaithfulnessProfile — explanation classification over existing MVPK faces | Stable | Keywords: explanation, rendering, source-pinned, reconstruction, didactic retelling, speculative retelling, evidence binding, admissible faces. Queries: "How does FPF classify explanation-facing renderings?", "What is ExplanationFaithfulnessProfile?", "How do explanation renderings stay on existing MVPK faces without becoming a second semantic rule track?" | Builds on: E.17.0, E.17, A.7, E.10.D2, A.6.B, F.9, F.18. Coordinates with: ConservativeRetextualization, RepresentationTransduction, E.17.ID.CR ComparativeReading, A.6.4, A.15, A.20, A.21. |
| E.17.ID.CR | InterpretationDiscipline / ComparativeReading — bounded comparative reading over comparative review units | Stable | Keywords: comparative reading, comparative review unit, bounded comparison, source-pinned material, same object of talk, bounded lift, forbidden stronger uptake. Queries: "What is ComparativeReading in FPF?", "How does FPF govern a comparative review unit?", "When does a comparative review note stay bounded rather than becoming bridge, explanation, prompt, ontology, or gate work?" | Builds on: C.2.2a, A.16.0, F.9, E.14. Coordinates with: A.6.3, A.6.3.CR, A.6.3.RT, F.9.1, E.17.EFP, E.17.AUD.LHR, E.17.AUD.OOTD, B.5.2.0, B.5.2, A.6.4, A.15, A.20, A.21. |
| E.17.AUD | AuthoredUnitDiscipline — umbrella routing for one authored unit that is starting to drift | Stable | Keywords: authored unit, primary object of talk, carried move, outside-work boundary, umbrella routing, authored-unit stability. Queries: "How do I keep one note or memo honest as one readable unit?", "What is AuthoredUnitDiscipline in FPF?", "When is the real burden local head repair, whole-unit stabilization, bounded comparison, or another neighboring pattern?" | Builds on: 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, A.6.3, A.6.3.CR, A.6.3.RT, A.15, A.20, A.21. |
| E.17.AUD.LHR | AuthoredUnitDiscipline / Local Head Restoration — repair the pressured local head before the authored unit inherits it | Stable | Keywords: pressured head, head kind, active lane, local repair, governed object, outside-work boundary, local wording repair. Queries: "How do I repair one vague local head before the whole note drifts?", "What is Local Head Restoration in FPF?", "When do I need local head repair rather than authored-unit stabilization?" | Builds on: A.6.P, A.7, E.10, F.18, E.14. Coordinates with: E.17.ID.CR, E.17.AUD.OOTD, E.17.EFP, A.6.3, A.6.3.CR, A.6.3.RT, A.15, A.20, A.21. |
| E.17.AUD.OOTD | AuthoredUnitDiscipline / AuthoredUnit Object-of-Talk Discipline — authored-unit stability over one primary object of talk | Stable | Keywords: authored unit, object of talk, authored-unit drift, carried move, outside-work boundary, explicit transition. Queries: "How do I keep one note about one thing at a time?", "What is AuthoredUnit Object-of-Talk Discipline in FPF?", "When do I need authored-unit stabilization rather than only local wording repair?" | Builds on: 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, A.6.3, A.6.3.CR, A.6.3.RT, A.15, A.20, A.21. |
| E.18 | Transduction Graph Architecture (E.TGA) | Stable | Keywords: transduction graph, nodes=morphisms, edge=U.Transfer (single-edge kind), OperationalGate(profile), CV⇒GF (ConstraintValidity → GateFit), MVPK faces, SquareLaw, UNM single-writer, CSLC normalize-then-compare, Set-return selection, PathSlice/Sentinel refresh, DesignRunTag. Queries: “What is E.TGA?”, “How do gates/bridges publish crossings?”, “How to model flows of morphisms?” | Builds on: E.17 (MVPK), E.8, E.10, A.7. Coordinates with: A.20–A.26 (Flow/GateProfilization/Profiles/Sentinels), F.9 (Bridges & CL), G.11 (Refresh). |
| E.19 | Pattern Quality Gates: Review & Refresh Profiles | Stable | Keywords: pattern review, quality gates, admission, refresh, staleness, profile-based checks, PQG, PCP, suite-level review (PCP‑SUITE), planned baseline & P2W seam (PCP‑P2W), SlotFillingsPlanItem, MVPK projections, guard vs gate separation. Queries: "How to review a new FPF pattern before admitting it?", "How to refresh stale patterns in FPF?", "What are PQG/PCP in FPF?", "How to review a MechSuiteDescription (suite obligations, contract pins, protocols)?", "How to review SlotFillingsPlanItem / planned slot filling and its MVPK projections?" | Builds on: E.8, E.10, E.9, E.15. Coordinates with: F.8 (Mint/Reuse), F.18 (Naming protocol), F.9 (Bridges & CL), F.15 (Harness), E.17 (MVPK), A.6.7 (MechSuiteDescription), A.15.3 (SlotFillingsPlanItem), G.11 (Refresh). Constrains: Admission/refresh decisions for patterns intended for the canonical corpus. |
| E.20 | Mechanism Introduction Protocol (MIP) | Draft | Keywords: mechanism introduction, authoring protocol, owner routing, 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 route mechanism changes by semantic owner?", "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. |
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 & Raw Material | ||||
| 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, surface 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, substitution licence, bridge reading. Queries: "How do I bridge concepts across contexts?", "How do I express alignment safely in FPF?" | Builds on: F.3. Coordinates with: A.6.9, F.9.1. Prerequisite for: F.7, F.10. |
| F.9.1 | Bridge Stance Overlay | Draft | Keywords: bridge stance, stance overlay, interpretive gloss, projection note, rename note, language-state comparisons. Queries: "How do I add a stance gloss to a bridge card without changing bridge semantics?", "What is the Bridge Stance Overlay?" | Builds on: F.9, C.2.2a, A.16.0. Coordinates with: E.17.1, A.6.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 | Keywords: naming protocol, Name Card, local meaning, context-anchored naming. Queries: "What is the formal protocol for naming concepts?", "What is a Name Card in FPF?". | Builds on: F.1-F.5. |
Part G – Discipline SoTA Patterns Kit
| § | ID & Title | Status | Keywords & Search Queries | Dependencies |
|---|---|---|---|---|
| G.Core | Part G Core Invariants | Draft | Keywords: Part‑G invariants, delegation-first core, RSCR trigger kinds, default ownership 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, six-card kit (M1–M6), CGKitId manifest, SoTA_SetId, VariantPoolId, ShortlistId, CGFrameLibraryId, RefreshReadinessCardId, UTS/Name Cards, RSCR wiring (typed trigger ids), edition pins, set-return portfolios, shipping/refresh boundaries. Queries: "How to author a CG-Frame generator kit?", "What is the six-card chassis M1–M6 in Part G?", "How to wire harvesting (G.2), selection (G.5), and refresh (G.11) without shadow specs?" | 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 (Creativity-CHR), C.18 (NQD-CAL), C.19 (E/E-LOG). Produces: CGKitId + reusable CG-Frame kit surfaces and wiring stubs (UTS/RSCR-ready). |
| G.2 | SoTA Harvester & Synthesis | Stable | Keywords: SoTA harvest, synthesis, SoTA Synthesis Pack@CG-Frame, SoTA_Set@CG-Frame, SoTAPaletteDescription, Tradition, ClaimSheets, CorpusLedger, PRISMA Flow Record, BridgeMatrix, describedEntity, micro-examples, hand-off manifests, RSCRTriggerKindId. Queries: "How does FPF harvest and synthesize SoTA for a CG-Frame?", "What is a SoTA Synthesis Pack@CG-Frame?", "How to keep competing Traditions plural but comparable via bridges?", "How to make SoTA harvest refreshable with pinned editions and typed RSCR causes?" | Builds on: G.Core, E.8, E.10, E.19, A.10, B.3, F.9, F.17, G.0, G.6. Used by: G.1, G.3–G.5, G.10, G.11. Relates to: 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, selected-set publication, shortlist, ranked shortlist, dispatcher, specialist portfolio. Queries: "How does FPF dispatch among rival method families without hidden scalarization?", "How are shortlist-family results published honestly?" | 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, portfolio outcomes. Queries: "How does FPF run reproducible parity with explicit pins and windows?", "How do adaptation-speed and specialization claims become lawful parity burden?" | Builds on: G.Core, G.5, G.6, G.4, F.15. Uses: G.0, A.19, C.22.1. |
| G.10 | SoTA Pack Shipping (pack-boundary owner; SoTA-Pack(Core)) | Stable | Keywords: shipping, SoTA-Pack(Core), pack boundary, publication surface, AuditPins, MOOManifest, UTS publication, PathId/PathSliceId, CrossingBundle, edition pins, telemetry pins, RSCR wiring, parity pins, notation-independent pack. Queries: "How does FPF ship a SoTA pack?", "What is SoTA-Pack(Core) in Part G?", "How do AuditPins and MOOManifest support replay and audit?", "How are crossing bundles exposed during shipping?" | 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), refresh orchestration (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/C.19, C.23, F.15. |
| G.12 | DHC Dashboards — Discipline-Health Time-Series (lawful telemetry, generation-first) | Stable | Keywords: dashboard, DHC, discipline health, time-series, lawful telemetry, view-only slices, PathId/PathSliceId, edition pins, UTS twins, RSCR/refresh wiring. Queries: "How to build DHC dashboards in FPF?", "How to publish lawful 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 (portfolio/set outputs), G.7 (crossings/CL/Φ_plane pins), G.8 (maturity ladder panel), G.10 (shipping inclusion), C.18/C.19 (QD/OEE telemetry), G.2 (SoTA palette hooks). |
| G.13 | External Interop Hooks for SoTA Discipline Packs (conceptual; normative when used) | Draft | 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 | stub | Every U.Type, relation & operator with four‑register naming. |
| H.2 | Definitional Pattern Catalogue | stub | One‑page micro‑stubs of every definitional pattern for quick lookup. |
| H.3 | Cross‑Reference Maps | stub | Bidirectional links: Part A ↔ Part C ↔ Part B terms. |
Part I – Annexes & Extended Tutorials
| § | ID & Title | Status | Concise reminder |
|---|---|---|---|
| I.1 | Deprecated Aliases | stub | Legacy names kept for backward compatibility. |
| I.2 | Detailed Walk‑throughs | stub | Route-indexed walkthroughs for the main first-practical entry routes: project alignment, partly-said discovery, boundary unpacking, lawful comparison/selection, generator/SoTA kit authoring, and same-entity rewrite/explanation/comparative reading. |
| I.3 | Change‑Log (auto‑generated) | stub | Version history keyed to DRR ids. |
| I.4 | External Standards Mappings | stub | 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 | stub | Quick jump from idea (“boundary”) to pattern (§, id). |
| J.2 | Pattern‑to‑Example Index | stub | Table listing every archetypal grounding vignette. |
| J.3 | Principle‑Trace Index | Stub | Maps each Pillar / C‑rule / P‑rule to concrete clauses. |
| J.4 | First Practical Entry Route Index | full text | Cross-links the main first-practical entry routes to their first honest burden, current route-bearing surfaces, first working outputs, typical next owners, and common reroutes. |
Part K - Lexical Debt
| § | ID & Title | Status | Concise content reminder — “what belongs here” |
|---|---|---|---|
| K.1 | Mandatory Replacement of Measurement Terms | Stub | Retires "axis/dimension" in favor of "Characteristic" and aligns other measurement terms. |
| K.2 | Migration Debt from A.2.6 (USM) | Stub | Specifies the required edits across the FPF to align with the new Unified Scope Mechanism (USM). |