Part C - Kernel Extension Specifications

C.2 - Epistemic holon composition (KD-CAL)

Scope & exports. A substrate-neutral calculus for composing epistemic holons (U.Episteme) and reasoning about their change and equivalence. Exports: (i) three point-characteristics—Formality F, ClaimScope G, Reliability R—that locate one exact claim-bearing episteme for a stated use; (ii) a pairwise ladder of Congruence Levels (CL 0…3); (iii) four Δ-moves (Formalise, Generalise/Specialise, Calibrate/Validate, Congrue); (iv) composition rules (Γ_epist) for aggregates; and (v) propagation laws for CL through mappings and notation relations. C.2.1 identifies an episteme by its exact claim content, exact EntityOfConcern, and effective U.ReferenceScheme under EpistemeConstitutionRelation. Empirical grounding and edition are separate C.2.1 relations. Viewpoint selection and U.View conformance use E.17.0; mathematical or diagrammatic representation uses C.29 and A.6.3.RT; publication uses E.17/E.24.PUB; a carrier remains a distinct entity. Every F–G–R computation names the exact claim and its U.ClaimScope. If a path changes scope, notation, kind, reference plane, source-local meaning, model-use basis, or evidence basis, it names the actual relation traversed and applies only the loss that relation declares; no generic Context, slot umbrella, or Bridge stands in for those different relations.

Formality F is the rigor characteristic defined normatively in C.2.3. All KD‑CAL computations and guards SHALL use U.Formality (F0…F9) as specified there; no parallel “mode” ladders are allowed.

C.2:1 - Problem Frame

FPF fixes two archetypal sub-holons: U.System (physical/operational) and U.Episteme (knowledge holon). KD-CAL is the primary composition pattern for U.Episteme, giving engineers a compact, testable way to say (a) how strictly an episteme is written (F), (b) where its exact claim is asserted to apply (G), (c) how well that claim is warranted by evidence or severe tests (R), and (d) how closely two epistemes coincide (CL). C.2.1 supplies the constitution test: exact claim content, one exact EntityOfConcern, and one effective U.ReferenceScheme. Grounding, edition, viewpoint, view, representation, publication, form, and carrier remain neighboring objects or relations under their direct patterns.

C.2:2 - Problem

Teams routinely entangle programs, specifications, proofs, and datasets; a proof is treated as evidence that an actual system meets its assumptions, or a program as if it entailed a theorem. Warrant becomes opaque when support and its applicable currentness conditions are not explicit. Epistemes are anthropomorphised as actors (“the standard enforces…”), producing category errors at execution. Aggregation can hide a missing necessary premise, erase complementary support, or conceal contrary evidence behind an unjustified score. KD-CAL keeps constitution, input meanings, scales, and support dependencies explicit.

C.2:3 - Forces

• Universality vs domain idioms. One calculus must cover physics theories, legal codes, safety specs, algorithms, and formal proofs without flattening their differences.
• Meaning vs materiality. Meaning must be independent of carrier, yet accountable to it historically.
• Deductive vs empirical. Axiomatic certainty and empirical trust have different evidence-continuity profiles; both must compose.
• Abstraction vs enactment. Epistemes constrain action; systems act. The calculus must keep the roles distinct.

C.2:4 - Solution

C.2:4.1 - Coordinates, constitution, and neighboring relations

KD‑CAL characteristics (single‑episteme, point‑values).

• Formality F. From free prose to machine‑checkable proof/specification. Litmus: would a machine reject it if wrong?
• Claim scope (G), a set‑valued applicability over U.ContextSlice, with ∩/SpanUnion/translate algebra; CL penalties apply to R, not to F/G. Litmus: how wide is the declared scope, and under what minimal assumptions does the claim hold?
• Reliability R. Warrant for this exact claim and receiving use. Litmus: what supports this conclusion, under which assumptions, and what limits it? R-claims MUST bind to their actual formal or empirical support. A numerical R requires the B.3/C.2.2 meaning, scale, and model; otherwise retain separate support and a bounded reasoned conclusion. A proof under axioms needs no empirical score, and F cannot be substituted for R. Relevance windows and B.3.4 currentness rules apply where the relied-on support consumes them.

Congruence Level (CL), pairwise ladder. CL‑0 Opposed/Disjoint (contrastive; no substitution); CL‑1 Comparable / Naming‑only (label similarity; no substitution); CL‑2 Translatable (structure‑preserving correspondence in a declared fragment with stated loss); CL‑3 Near‑identity (the declared invariants match). CL is a characteristic of a relation between two epistemes; it is not a fourth member of the F–G–R assurance tuple and it is not a characteristic space of its own. KD-CAL substitution constraint: plane preservation and CL ≥ 2 are necessary for a substitution under this calculus; substituting type‑structure additionally requires CL = 3. These conditions do not establish suitability for the proposed use. State the exact substitution, direction, correspondence rule, and tolerated loss under the direct receiving pattern, and establish reliance separately. When local meanings cross semantic contexts, first test the F.9 Bridge predicate on exact F.17 cells; keep the obtaining Bridge, bounded-use claim, and reliance result distinct. A CL value establishes no local system-role-kind membership or assignment.

Constitution and neighboring relations. When stating or using a KD-CAL epistemic location, recover F, G, and R for one exact claim and use of one C.2.1 episteme. The episteme’s exact claim content, EntityOfConcern, and effective U.ReferenceScheme identify the episteme through EpistemeConstitutionRelation. F characterizes the claim’s form; G is the separate U.ClaimScope; R relies on exact evaluation, evidence-use, and assurance relations. Empirical grounding and edition remain separate C.2.1 relations. Viewpoint selection and view conformance remain under E.17.0; notation and other representation structure remain under C.29/A.6.3.RT; publication occurrence, form, and carrier remain under E.17/E.24.PUB. Multiple notations are allowed only when their exact representation or notation relation is explicit and any declared loss is applied to R rather than hidden in an omnibus episteme field.

C.2:4.2 - Four Δ‑moves (epistemic motion)

• ΔF — Formalise. Rewrite for stricter calculi/grammars; raise proof obligations.
• ΔG — Generalise / Specialise. Widen or narrow the claim scope (assumptions & scope). Changes to decomposition granularity are an orthogonal view and do not change G unless they alter the envelope.
• ΔR — Calibrate / Validate. Revise warrant through support that actually bears on the claim: proof or reasoning, calibration, severe tests, or monitoring as applicable. State what the contribution changes. A formalization alone is ΔF, not an R increase; choosing new inquiry is a separate decision.
• ΔCL — Congrue. Establish and record the sameness relation between two epistemes (ladder 0→3). Moves compose into paths. A CL chain minimum retains only the ordered congruence meaning justified by the relation family; it is not a numerical reliability loss.

C.2:4.3 - Composition (Γ_epist) and propagation

Let Γ_epist compose exact epistemes {Eᵢ} for one declared claim and use. B.1.3 supplies the synthesis/compilation Method; B.3 and C.2.2 govern warrant and scale discipline.

• R (Reliability). First distinguish indispensable premises, alternative sufficient arguments, complementary evidence, different scope slices, and counterevidence. Identify duplicated data and shared assumptions or bias. A numerical fold requires warranted input meanings, compatible scales, dependencies, and a receiving model. Neither series nor parallel syntax supplies a default minimum or maximum, and there is no universal cap at the best support line. Where no common model is justified, retain separate contributions and limitations in a bounded reasoned synthesis.
• F (Formality). F(Γ) = minᵢ F(Eᵢ) over the essential formal constituents of the claim. This is an ordinal formality statement, not an R calculation. Raise F by the actual ΔF move; neither an axiomatic mode nor a line=formal tag converts F into empirical warrant.
• G (ClaimScope). Required premises compose only on their overlapping scope. Distinct supported slices may form SpanUnion({G_path}) under A.2.6 and C.2.2’s type-before-scope rule; retain their support separately and drop unsupported regions. A new source does not by itself generalise the claim. Scope change remains an explicit ΔG± move.
• CL (Congruence). Keep each traversed mapping and the ordered meaning of its declared CL visible. A chain minimum is usable where that relation’s congruence rule justifies it. A notation, scope-translation, kind, plane, source-local, model-use, or evidence-reuse relation contributes only its own warranted loss. A numerical Φ needs its receiving model; a monotone table or clipped output does not supply one.

For example, two necessary independent conditions with probabilities 0.9 each have conjunction probability 0.81, not minimum 0.9. Conversely, a limited complementary source need not reduce the support already available. A credible contrary result changes the affected conclusion. A theorem A ⇒ P remains valid as a formal result while evidence violating A can defeat its use as assurance of an actual system.

Γ remains defined on holons and respects the core’s identity and boundary discipline. Its support account establishes neither a new action permission nor the worth of acquiring further evidence.

C.2:4.4 - What must not be conflated (normative guards)

• Representation structure ≠ carrier. Files, PDFs, or repositories are carriers outside the episteme; they never count as parts of U.Episteme (see C.2.1 EP‑1; CC‑EPI‑2/3).
• Epistemes do not act. Only systems perform Work. Epistemes carry claim content and can participate in constitution, grounding, edition, description, evidence-use, reliance, viewing, representation, and publication relations under their direct patterns.
• CL is not a score. It is a qualitative ladder of preservation classes; do not average it.

C.2:5 - ✱ Archetypal Grounding (Tell–Show–Show)

Universal rule (tell). Compose knowledge by Γ_epist with explicit support roles, dependence, scope, and justified input scales. Use the receiving model for any R calculation, or return a bounded non-aggregate synthesis. Identify the episteme by exact claim content, EntityOfConcern, and effective reference scheme; keep empirical grounding, edition, viewpoint selection, view conformance, representation, publication form, publication occurrence, and carrier in their own direct relations.

System (show, current physical-system lens). Consider a battery-pack thermal subsystem integrating a physics model of heat flow and an operating envelope for fast-charge. As a system, it composes pumps, sensors, and controllers through the system, composition, boundary, state, and dynamics guidance in A.1, A.14, A.22, and A.3.4, with conservation constraints made explicit; B.1.6 and C.16 govern resource and measurement claims as applicable. Planned C.1 (Sys-CAL) may later consolidate that guidance, but it supplies no current governing semantics. The assurance story depends on epistemes about the model and envelope; the system acts, epistemes constrain. (Archetypes and boundary discipline per core.)

Episteme (show, KD-CAL lens). Consider a CMIP-class climate projection episteme (post-2015 generation): its exact claim content covers PDEs and parameterisations; its EntityOfConcern identifies what the projection claims concern; and its effective reference scheme supplies the interpretation rules. A separate U.ClaimScope names historical forcings, resolution, and assumptions. Any empirical-grounding occurrence names the grounding holon and covered claim subgraph separately. Its representation may include domain equations and a tabular schema linked by an explicit notation or representation relation with stated loss. When composing radiation, cloud, and ocean-mixing contributions, identify which assumptions the particular projection requires and what each hindcast actually tests. Shared models or data do not establish independent confirmation. An aggregate R needs the domain quantity and dependency model; otherwise retain the separate tests, assumptions, scope limits, and any disagreements. F remains an ordinal account of the essential formal constituents.

C.2:6 - Bias‑Annotation

• Metric worship. Treating [F,G,R] as ends rather than means; mitigation: require evidence bindings and narrative of limits in the claim scope and grounding envelope.
• Category slip. Equating a notation, view, publication form, or carrier with claim content, EntityOfConcern, effective reference scheme, or an empirical-grounding participant; mitigation: apply C.2.1 constitution and then the direct neighboring relation pattern.
• Analogy inflation. Presenting CL‑0/1 as identity; mitigation: always name the CL rung for cross‑mappings.

C.2:7 - Conformance Checklist

1. C2-1 (Episteme constitution and neighbors). Every U.Episteme MUST satisfy C.2.1 constitution through exact claim content, one exact EntityOfConcern, and one effective U.ReferenceScheme. Empirical grounding and edition are stated through their separate C.2.1 relations. Viewpoint selection and U.View conformance use E.17.0; representation uses C.29/A.6.3.RT; publication occurrence, form, and carrier use E.17/E.24.PUB. None is treated as an episteme slot or identity component merely because a record or notation places it beside the constitution values.
2. C2‑2 (Coordinates). When a KD-CAL epistemic location is stated or used, [F,G,R] SHALL be recoverable for one exact claim and use, with a brief rationale. Identifying or publishing an episteme does not by itself require this location; C.2.3 separately requires an F declaration for normative epistemes. Where R has no justified numerical model, retain its unquantified support and bounded conclusion. Formal validity needs no empirical score; F is U.Formality ∈ {F0…F9} per C.2.3, exactly one episteme‑level F computed as the min over essential parts. CL is declared for pairs only. A named notation scheme MAY use sub‑anchors (e.g., F4[OCL], F7[HOL]), which MUST preserve the global order and map to their parent anchor from C.2.3.
3. C2‑3 (Composition). Authors SHALL identify support roles and dependencies under B.1.3/C.2.2 before combining inputs. Any numerical R or loss MUST have justified meanings, scales, assumptions, and a receiving model under B.3; no universal min/max or F-to-R conversion applies. Otherwise return separate support and a bounded synthesis. F uses the minimum over essential formal constituents; G uses applicable path intersections and supported SpanUnion under A.2.6. Every reuse MUST name the actual direct relation and retain its warranted limitation; do not hide contrary evidence or unsupported scope.
4. C2‑4 (NotationBridge). Multi‑notation representation components SHOULD register NotationBridge edges with CL and loss note; any cross‑notation reasoning MUST cite the bridge’s CL.
5. C2‑5 (No action). Epistemes MUST NOT be assigned actions; work is executed by systems in role.

C.2:8 - Consequences

Benefits. A compact map for knowledge epistemes; visible support dependencies and limitations; useful formal and qualitative results alongside justified calculations; disciplined reuse across domains with explicit CL; consistent separation of meaning from material carriers. Trade-offs. Authors must identify the support relation and any calculation model; multi-notation work keeps its relation-specific basis. Some useful syntheses have no common scalar. Mitigation: the C.2.1 constitution test and direct neighboring patterns keep the ordinary entry brief while preserving recoverable precision.

C.2:9 - Rationale

KD-CAL turns the coarse legacy semiotic picture into holonic composition over exact C.2.1 epistemes and their claims. Exact claim content, EntityOfConcern, and effective reference scheme keep episteme identity stable; formal structure and claim scope (F,G), evidence (R), and pairwise congruence (CL) remain visible and composable without an omnibus slot relation. Direct grounding, edition, view, representation, publication, and carrier patterns prevent category collapse. The resulting characteristics remain manager-readable and formalisation-ready, with G grounded in scope/envelope rather than part count.

C.2:10 - Relations

• Depends on: C.2.1 U.Episteme: Constitution, Empirical Grounding, and Edition Relations for episteme identity, the constitution relation, and the separate grounding and edition relations; E.17.0 for viewpoint selection and U.View conformance; C.29 and A.6.3.RT for representation; and E.17/E.24.PUB for publication occurrence, form, and carrier.
• Peers: planned Sys-CAL (C.1) may later consolidate physical-system guidance; current system composition, boundary, state, conservation, resource, and measurement claims use A.1, A.14, A.22, A.3.4, B.1.6, and C.16 as applicable. KD-CAL composes epistemes and feeds assurance lenses in Part B.
• Constrained by authoring: Architectural patterns must include Tell–Show–Show with Archetypal Grounding (this section).

C.2:11 - Worked mini‑examples (post‑2015 flavours)

• Formal lift (ΔF). Recasting a 2019 variational free‑energy narrative into a typed calculus raises F, clarifies scope, and enables CL‑2 bridges between biological and ML formulations—without claiming empirical gain (R unchanged).
• Complementary hindcast evidence. Two hindcast lines supporting a climate projection may address different errors, reuse data, or cover different conditions. Identify those relations before combining them; a maximum may select one attested argument only under that declared meaning, not measure their combined corroboration. Keep disagreement and unsupported scope visible. This illustration supplies no climate-specific reliability model.
• Notation bridge (CL drop). A 2021 type‑theoretic specification rendered in a semi‑formal DSL requires a NotationBridge with a CL<3 note; any theorem transported across must respect the bridge’s declared preservation.

(No tooling is implied; these are conceptual moves within the calculus.)

C.2:End

C.2.1 - U.Episteme: Constitution, Empirical Grounding, and Edition Relations

Type: Pattern Status: Stable Normativity: Normative except where a section is explicitly marked informative

Plain name. Episteme constitution.

Use this pattern when. You need to identify or compare a body of knowledge: what it claims, the exact entity those claims concern, and the rules under which they are interpreted. A pump specification with a changed pressure threshold carries different claims. Publishing the same claims about the same pump under the same interpretation in another file preserves the episteme.

First useful move. Ask: what is claimed; what exact entity are the claims about; and what designation and interpretation rules make those claims readable about that entity? Include measurement, comparison or evaluation rules where the claims use them. If identity is all the task needs, stop after those answers. Otherwise name the concrete receiving use and open only the corresponding branch in :4.0. An unresolved uncertainty or choice is needed only when the use involves a real inquiry or decision.

One-line summary. A U.Episteme is a knowledge holon identified by exact claim content, one exact EntityOfConcern, and the effective U.ReferenceScheme that makes the claims interpretable about that entity. Changing any of these three discriminators identifies another episteme.

Primary working reader and viewpoint. The engineer or researcher comparing, revising, teaching, grounding or publishing that knowledge object. The working concern is to reidentify it through those uses and locate a change when it occurs.

Primary governed object and architecture. One U.Episteme and its EpistemeConstitutionRelation, EpistemeEmpiricalGroundingRelation and EpistemeEditionRelation. The EntityOfConcern of the episteme is the entity its claims concern; for a pump specification, it is the pump, while C.2.1 governs the specification’s identity.

What goes wrong if missed. A shared filename hides changed claims, subject or interpretation; or a changed display is reported as a changed model. What this buys. The practitioner can identify the changed knowledge object or update only the relation affected by a new grounding, view or publication use.

A theory, model, specification, proof or diagnosis can be an episteme when the selected object is that claim-bearing whole. A diagram can carry such claims too. When the task concerns its layout or the calculations available through its notation, use the publication or representation branch in :4.0.

Not this pattern when. To inspect or change the pump, perform work, or apply a method, use that subject’s direct pattern. Open C.2.1 when the identity of the claims describing it matters. A separately inspected classification assertion has its own claim content, subject and scheme; its governing criterion remains under A.1 or C.3.2, with E.24.UK used for public U-kind admission.

C.2.1:1 - Problem Frame

FPF treats an episteme as a holon, not as a document class or a filled record. It is a claim-bearing whole about an exact EntityOfConcern under an effective reference scheme. Carriers, notations, and admissible operations can differ; the identity question is what makes this one episteme and what changes it.

The core constructive question is whether an exact U.ClaimGraph, exact U.Entity, and effective U.ReferenceScheme stand in the relation that makes the claim content interpretable and evaluable as claims about that entity. When they do, their selected organization yields a whole-level epistemic characteristic: the resulting holon can be used as one defeasible or deductive body of knowledge. That characteristic is not supplied by any one participant alone.

Any exact U.Entity can participate as the EntityOfConcern. An episteme can therefore concern another episteme or itself without changing the constitution relation.

Different representation regimes can support different operations. Make the representation and its admitted operations explicit when the current use needs them. Identify the episteme by its claim content, EntityOfConcern, and effective ReferenceScheme.

C.2.1:2 - Problem

Without one direct episteme ontology, several practical failures recur.

1. Carrier and episteme collapse. A PDF, database row, proof script, dashboard, or neural-model file is treated as the knowledge holon. File replacement is then reported as epistemic change even when claim content, EntityOfConcern, and interpretation are unchanged.
2. Subject drift. A specification or model keeps one label while the entity it concerns changes. Comparison and evidence use then combine claims about different entities.
3. Interpretation drift. The same tokens or graph are read under different designation, measurement, or evaluation rules while users assume one unchanged episteme.
4. Neighboring-relation collapse. Grounding holon, viewpoint, view, claim scope, model-use structure, evidence, edition, and publication become optional fields of one omnibus record. Their different obtaining and identity rules disappear.
5. Representation-first ontology. Tuple components, graph nodes, schema fields, and database keys are treated as actual relation participants or subject identity discriminators merely because a tool exposes them.
6. Agency leakage. A standard, model, method description, or claim graph is said to perform work. Systems perform work; epistemes participate in use, description, evidence, decision, and publication relations.
7. Dependent-kind identity fork. A method description or view is assigned another identity merely because its direct pattern supplies a membership condition. The same episteme can then appear twice, and a viewpoint or method-description use can be mistaken for a change of knowledge object.

The familiar Symbol-Concept-Object triangle can still introduce the difference among expression, meaning, and subject. It cannot serve as the ontology because it suppresses reference scheme, grounding, viewpoint, evidence, and the distinction between a relation and a representation of that relation.

C.2.1:3 - Forces

C.2.1:4 - Solution

Identify each U.Episteme through EpistemeConstitutionRelation: first state what it says, what exact entity it concerns, and the scheme under which those claims are read. Then name what the reader will do with that episteme. Add a neighboring relation only when the reader’s next sentence or action requires it. The conditional branches below supply the relevant direct relation and its test.

Local episteme mantra. Name the claims, what they concern, and the scheme that gives those claims their reference. Stop if identity is all the task needs. Otherwise name the concrete receiving use and add only the neighboring object or relation needed for its next sentence or action. Ask for an unresolved question only in a real inquiry or decision. Update episteme identity only when claim content, EntityOfConcern, or effective reference scheme changes; otherwise update the affected relation or object under its direct pattern.

The mantra is a recall aid, not a work plan. The application method and stop conditions are carried by sections 4.1-4.9; section 4.10 is a later reference for relation and neighboring-object distinctions.

C.2.1:4.0 - First-use completeness questions

Begin with the three questions that identify the episteme. They are identity questions, not fields to fill.

If the task needs only the episteme’s identity, stop after the three answers. Otherwise state the concrete receiving use. Ask for an unresolved uncertainty or choice only when that use is a real inquiry or decision.

Open a row below only when its first column names the reader’s next sentence or action. Each positive answer adds an independently governed object or direct relation; none adds another slot or identity discriminator to the episteme.

Stop when no row describes the next sentence or action. A readable sentence naming the claims, EntityOfConcern, and effective reference scheme is then enough. Do not complete the table as a record. Use section 4.10 only when a later sentence or action actually needs the full relation and neighboring-object reference.

C.2.1:4.1 - Identify the episteme by its constitution

The shared C.2.1 identity of one U.Episteme is:

<claim content, exact EntityOfConcern, effective ReferenceScheme>

claim content is the identity-bearing U.ClaimGraph carried as the episteme’s constitutive claim structure. Each episteme selects one exact U.Entity as the EntityOfConcern of the current claim-bearing whole. Its ClaimGraph may also designate other independently governed entities as participants in relational, comparative, negative, counterfactual, or modal claims.

When the subject really is an admitted relation kind, an already individuated obtaining relation occurrence, an admitted collection-as-whole, or another independently identified joint entity, that object may be the EntityOfConcern. Several participant designations do not by themselves constitute such an object. A negative or counterfactual relation claim can designate the relation kind and its participants in the ClaimGraph without requiring an obtaining world-side occurrence.

Split the ClaimGraph only when it combines independent subjects in a way that makes the selected EntityOfConcern untruthful or breaks the intended identity or comparison use; do not split merely because one predicate connects several participants. The reusable predicate-definition boundary is stricter: before publication, name one truthful exact EntityOfConcern and state what the definition claims about it. If no such single concern can be selected, remain at local compound-claim level.

The effective U.ReferenceScheme supplies the designation and interpretation rules needed to read this ClaimGraph as claims about this EntityOfConcern. Add measurement, comparison, or evaluation rules only when the claims’ meaning uses them. The corresponding measurement or evaluation entities and relation occurrences remain under their direct patterns.

Formal near-miss: a theorem read under a formal vocabulary and calculus needs designation and interpretation rules, but it does not acquire ceremonial measurement or evaluation rules. Empirical contrast: a pump-tolerance episteme uses the applicable units, measurement procedure, and pass/fail criterion to make its claim meaningful; the actual measurement and evaluation occurrences remain neighboring objects rather than episteme constituents.

Changing any identity discriminator yields another episteme. Changing a carrier, layout, rendering, publication occurrence, evidence item, viewpoint assignment, or model-use setting does not by itself yield another episteme. A direct pattern may recognize the same individual as a dependent episteme kind through its stable membership condition, but it does not add another identity discriminator. A.3.2 governs U.MethodDescription membership; E.17.0 governs U.Viewpoint and U.View membership through fixed predicates over already identified epistemes. A.6.3 governs an optional viewing construction between source and receiving epistemes, not view membership. If any work or construction changes claim content, EntityOfConcern, or effective reference scheme, those changed C.2.1 discriminators identify the resulting episteme, not the dependent-kind label.

This identity is constructive. The claim graph and reference scheme are epistemic constituents; the EntityOfConcern remains an independently governed entity related through aboutness and reference. When EpistemeConstitutionRelation obtains, their organization yields the whole-level characteristic of being one interpretable claim-bearing whole. The relation occurrence and the resulting episteme are distinct but reidentified from the same three discriminators.

C.2.1:4.2 - Govern the core direct relation

Tech name: EpistemeConstitutionRelation.

Plain reading: these claims, under this reference scheme, are claims about this exact entity and together constitute one episteme.

C.2.1:4.2.1 - Participants and the shared reusable-declaration rule

Before using any signature-local table, identify the declaration itself. Each of EpistemeConstitutionRelationSignature, EpistemeEmpiricalGroundingRelationSignature, and EpistemeEditionRelationSignature is first one exact C.2.1 episteme: its own U.ClaimGraph carries the declaration claims, its exact EntityOfConcern is the direct relation kind, and its effective U.ReferenceScheme makes those claims interpretable. For each of these three declarations the fixed A.6.0 membership predicate obtains, so A.6.0 independently recognizes that same episteme individual as a U.Signature. RelationSignature names the relation-facing use of that same individual; it is neither another U-kind nor another identity.

A complete declaration claim names the direct relation-kind designator, the exact A.6.5 SlotSpecs needed by reusable typed uses, the obtaining predicate, the occurrence-identity rule, applicability, and only the dependencies and provided names that are actually current. The direct relation kind, its actual participants, an obtaining occurrence, an assertion about it, a relation-occurrence description episteme, the declaration episteme, its publication, and a representation of any of these remain distinct. A receiving need may justify typed reuse but does not identify the declaration. One readable assertion needs no signature or manifest. An A.6.0 manifest is optional and is used only when actual dependencies or provided names must be exposed; a manifest row, list, citation, identifier, or edition marker creates neither episteme identity nor dependency.

Applying that shared rule locally, typed reuse of EpistemeConstitutionRelation uses the one declaration episteme EpistemeConstitutionRelationSignature, whose exact EntityOfConcern is EpistemeConstitutionRelation and whose declaration includes these SlotSpecs:

The SlotKinds belong only to this declaration. An actual claim graph, EntityOfConcern, or reference scheme is an actual relation participant under its independently governed kind. A card field or assertion designation corresponds to a SlotKind but does not become the participant.

C.2.1:4.2.2 - Obtaining and occurrence identity

EpistemeConstitutionRelation obtains exactly when the effective reference scheme supplies a coherent designation and interpretation of the claim graph as claims about the exact EntityOfConcern, and the three participants are constitutively organized as one claim-bearing whole whose claims can in principle be evaluated under that scheme. Merely placing three designations in a card does not make the relation obtain.

The relation occurrence is participant-determined by the exact <ClaimGraph, EntityOfConcern, ReferenceScheme> triple. The same triple cannot constitute two distinct U.Episteme instances under the shared C.2.1 identity rule. Recognition of that individual as a dependent episteme kind adds a membership judgment under the dependent kind’s subject pattern, not another constitution occurrence or discriminator. A tuple may represent the triple, but tuple order and storage keys contribute nothing to identity.

The episteme and the relation occurrence are not identical. The relation is the obtaining organization among the three participants. The episteme is the knowledge holon constructively identified through that organization and its whole-level claim-bearing characteristic.

C.2.1:4.2.3 - Ordinary assertion, classification assertion, and explicit occurrence use

An ordinary assertion can state that claim content concerns an entity under a scheme without explicitly naming a relation occurrence. For every direct predicate, keep four jobs separate: the direct pattern defines participant meanings, the obtaining predicate, applicability, and the occurrence-identity rule; the current case supplies the facts that satisfy or fail that predicate; the assertion carries affirmative or negative polarity; and a separately governed evaluation or evidence-use relation states supported, refuted, or unresolved reliance when the receiving use needs it. When a receiving relation or claim needs the exact constitution occurrence, inspect the current ClaimGraph, EntityOfConcern, and ReferenceScheme facts against C.2.1’s predicate. Only after those facts satisfy the predicate may the participant-determined identity rule individuate the occurrence for designation. The assertion, designation, occurrence, case facts, and reliance judgment remain different objects.

Each classification judgment has one pattern governing its criterion. A.1 governs constructive recognition of a candidate as an instance of an already admitted holon kind. C.3.2 governs a local-kind membership judgment. E.24.UK governs the ontology-level decision that admits a public U-kind; it does not classify a project candidate. None of these judgments is a direct admission relation created by C.2.1.

When project work needs a classification judgment as a separately reviewable claim, identify one claim-bearing episteme whose exact EntityOfConcern is the candidate entity. For an admitted holon kind, its claim content states affirmative or negative polarity for the exact classification predicate, names the kind, cites the A.1 constructive criterion and any kind-specific criterion, designates the direct part-relation occurrences used in the assessment, and cites any evidence-use relations that make supported, refuted, or unresolved reliance inspectable for the declared use. For a local kind, its claim content states the same polarity distinction for the candidate, local kind, selected KindSignature edition, context slice, and judgment governed by C.3.2; its reliance posture remains separate. A value classification inside another claim can remain claim content of that episteme instead of fabricating a value-shaped EntityOfConcern.

The assertion does not create the candidate, admit a U-kind, or make the candidate change kind when an FPF host is renamed or republished. For example, the assertion that Pump #37 satisfies the constructive U.System criterion may be revised when evidence changes, while Pump #37 and the criterion it satisfies retain their independently governed identities.

A card that calls a listed collection a holon is still only a classification assertion episteme. Its assertion polarity is affirmative, but the card alone leaves reliance unresolved for any use that requires A.1 to recover the exact constituents and grounded part relations, their constructive assembly, the whole’s reidentification rule, actual compatibility with a governed larger-assembly construction, a composition-grounded whole-level characteristic, and the already admitted holon kind with its kind-specific criterion. The card form supplies none of those facts and does not make the classification predicate true.

The same constitution rule applies when a reader proposes to use an obtaining F.9 Bridge. Say first in ordinary words what the reader proposes to compare, substitute, translate, publish, or otherwise do; name the direction d, use-specific correspondence rule r, tolerated semantic loss t, and affirmative or negative polarity for named use u. Identify that statement as one ordinary C.2.1 assertion episteme: the exact Bridge b is its EntityOfConcern, its ClaimGraph designates <u,d,r,t> and polarity, and its effective ReferenceScheme makes those designations, the rule, and the tolerance interpretable. The exact <ClaimGraph, b, effective ReferenceScheme> triple identifies the assertion. Changing u, d, r, t, or polarity changes the claim content and therefore the assertion episteme, not fixed Bridge b. Keep this local claim form in ordinary wording: it introduces no public U-kind, universal use relation, or durable CamelCase claim name. Reopen F.18 only if an independent later use actually needs a reusable name.

An affirmative bounded-use assertion is one premise for that use; it is neither permission nor proof that the use occurred. A negative assertion leaves an otherwise obtaining Bridge in place. Use A.10 to classify ordinary bounded reliance on the exact evidence-provenance path: pass supports only the named use, degrade supports only its named narrower use, and another disposition supplies no support for the attempted use.

Use B.3 only when an actual named assurance claim about this bounded use is current. That assurance result remains separate from the Bridge-use assertion and adds assessment Work, System, Method, assignment, bindings, witnesses, or a reusable note only when the assurance use depends on those identities. A direct domain rule may require an assurance claim for a consequential use, but neither consequence nor a display creates the claim. Neither the A.10 nor B.3 branch authorizes the use. If the use actually happened, recover the actual Work under A.15.1, assertion episteme under C.2.1, publication occurrence under E.17, direct relation under its domain predicate, operation application under A.6.1, or another result under its own pattern.

C.2.1:4.2.4 - State rule-content and subject assertions without pattern ownership

In ordinary prose, cite the PatternID and state the concrete contribution: what the cited content defines, constrains, tests, distinguishes, or helps the practitioner do. This readable branch is normally sufficient. A pattern is neither an owner nor an actor, and no governance relation is implied by an instrumental sentence such as “use A.1 to test constructive holon recognition.”

Open an exact defining or constraining episteme edition or ClaimGraph only when its identity changes interpretation, migration, conflict analysis, publication, dependency repair, or reuse. Then identify the subject, predicate or constraint, polarity, exact defining content, case facts, and only the scope, time, scheme, or bounded-use qualifications that change the assertion. Do not fabricate an assertion episteme merely to avoid an ordinary pattern citation.

Definition or constraint is not actual rule-content use. State derivedUsingRuleContent(dependentContent, baseContent) only when one identified derivation claim used the exact nonempty base subgraph as a formal premise under a declared inference rule. State evaluatedAgainstRuleContent(dependentContent, baseContent) only when one identified criterion-selection claim selected that base for one exact bounded evaluation. Consultation, influence, quotation, provenance, evidence, evaluation Work, and later sufficiency establish neither predicate.

An E.4.PFR row is optional and opens only for a named framework-maintenance, edition-impact, comparison, publication/dependency-repair, or refresh receiver. It represents an already identified assertion; it creates neither the assertion nor a pattern-owner fact.

C.2.1:4.2.5 - Address one claim inside an exact episteme edition

U.EpistemeRef is the admitted RefKind for designating one already identified U.Episteme. Under the effective reference scheme of the receiving assertion or description, its resolution method returns exactly one episteme satisfying the C.2.1 identity rule. A value that resolves to none or more than one is unresolved. The reference, its token or serialization, the resolution act, and the episteme remain different objects. Retargeting the reference designates another already identified episteme; it does not revise either episteme.

Use the reusable C.2.1 value ClaimAddress only when a receiving claim or work item needs one exact claim inside a larger ClaimGraph:

C.2.1 ClaimAddress ::= <
  exactEpistemeEditionRef: U.EpistemeRef,
  intrinsicClaimIdentity: identity declared by that exact ClaimGraph
>

The second component is not a printed node label interpreted by the episteme’s general ReferenceScheme. It is a claim identity that the exact ClaimGraph itself declares and preserves across its admissible representations. Resolve the edition first, then require that its ClaimGraph contains exactly one claim with that intrinsic identity. Resolution fails when the edition is unresolved, the identity is absent or non-unique, or the token belongs only to one rendering or serialization.

Two ClaimAddress values are equal only when they resolve the same exact episteme edition and the same intrinsic claim identity in that edition. Reusing the same visible token in another edition does not preserve the address. An EpistemeEditionRelation also does not preserve it by itself; a receiving migration rule must state any claim-to-claim correspondence it uses.

When a ClaimGraph declares no stable intrinsic identity for the needed claim, cite the whole episteme or constitute the claim as its own C.2.1 episteme. Do not invent an address from a heading, row number, file location, or display token.

C.2.1 ClaimAddress designates claim content carried by the exact edition. It is neither a U-kind nor a RefKind, turns no claim content into a U.Entity or another U.Episteme, and carries none of the claim content itself. Use U.EpistemeRef for the whole episteme and the admitted reference kind for an independently identified entity or relation occurrence.

C.2.1:4.3 - Add empirical grounding through its own relation

Tech name: EpistemeEmpiricalGroundingRelation.

Plain reading: these designated empirical claims of this episteme are inspectable through exact observation, intervention, measurement, or test relations involving this grounding holon.

C.2.1 uses explicitly designated partial coverage. For one candidate grounding occurrence, select one exact nonempty claim subgraph C from the episteme’s already constitutive ClaimGraph. The occurrence says that every empirical claim in C is grounded; it says nothing about empirical claims outside C. To claim full empirical grounding for the episteme, C must contain every empirical claim in that episteme. Purely formal epistemes need no grounding occurrence merely to fill a record.

For every claim in C, state a concrete claim-to-world mapping under the episteme’s effective ReferenceScheme to independently governed direct observation, intervention, measurement, or test relation occurrences involving the exact grounding holon. The mapping names what observation, intervention outcome, measured characteristic, or test result bears on that claim. One measurement involving the same holon cannot ground an unrelated claim.

The selected claim subgraph is by-value predicate content drawn from the episteme’s ClaimGraph; it is not a third world-side relation participant, another episteme constituent, or a new U-kind. An assertion about grounding designates that subgraph and the claim-to-world mappings but creates none of the mapped occurrences.

Applying the shared declaration rule in 4.2.1, EpistemeEmpiricalGroundingRelationSignature is one declaration episteme whose exact EntityOfConcern is EpistemeEmpiricalGroundingRelation; the same individual has U.Signature membership and relation-facing RelationSignature use only under A.6.0. Its complete declaration includes the covered-claim-subgraph rule, obtaining predicate, maximal-continuous-interval identity rule, applicability, actual dependencies and provided names, and these participant SlotSpecs:

EpistemeEmpiricalGroundingRelation over participants (E,H), with covered=C, obtains exactly while every empirical claim in exact covered claim subgraph C has a current claim-to-world mapping to the required independently governed direct observation, intervention, measurement, or test relation structure involving H under E’s effective ReferenceScheme. Every mapped relation required by that coverage must obtain. An exact direct evaluation relation counts as part of the empirical test only when the mapping states its concrete use in that test; otherwise evaluation and evidence can support or challenge an assertion about grounding but are not its world-side base.

One occurrence is identified by <episteme, exact covered claim subgraph, grounding holon, maximal continuous interval during which the complete coverage predicate is true>. Closing the open end of that interval refines the description of the same occurrence. Demonstrated failure of any required mapping followed by restored complete coverage yields another occurrence. Evidence or evaluation availability alone establishes neither obtaining nor nonobtaining and proves no temporal gap. If the complete coverage predicate is known to obtain, grounding continues without a stored report or work log. If it is known not to obtain, the relation does not obtain. If its truth is unknown, an affirmative grounding assertion has unresolved reliance for the declared use; that posture is not a third world-side grounding state.

The grounding holon need not be identical to the EntityOfConcern. One method-description episteme may have one grounding occurrence for a claim subgraph mapped to exact enactment work and another for a different claim subgraph mapped to the system whose behavior was observed. Each occurrence names its own C, H, and mappings. Sharing one grounding holon makes comparison inspectable but proves neither the same subject, the same claim content, nor coverage of any unlisted claim.

C.2.1:4.4 - Keep neighboring uses under their direct relations

Names ending in Slot are admissible here only as SlotKinds inside the exact RelationSignature governed by the neighboring direct relation pattern. A card or other episteme form carries participant designations in ordinary fields; it does not acquire SlotKinds by using similar field labels. None of those neighboring SlotSpecs belongs to EpistemeConstitutionRelationSignature.

C.2.1:4.5 - Relate distinct episteme editions explicitly

Tech name: EpistemeEditionRelation.

Plain reading: this later episteme continues this earlier episteme as an edition under one applicable continuity rule.

EpistemeEditionRelation has exactly two direct participants. Applying the shared declaration rule in 4.2.1, EpistemeEditionRelationSignature is one declaration episteme whose exact EntityOfConcern is EpistemeEditionRelation; the same individual has U.Signature membership and relation-facing RelationSignature use only under A.6.0. Its complete declaration includes the direct predicate, participant-determined identity, applicability, actual dependencies and provided names, and these SlotSpecs:

The relation obtains only when all of these conditions hold:

1. the two epistemes have different C.2.1 identities;
2. the later episteme actually uses the earlier episteme as the source for the claimed revision, refinement, or supersession;
3. one applicable edition-continuity policy or rule states which claim, EntityOfConcern, and effective-reference-scheme features must be preserved, which may deliberately change, and what counts as continuation for this episteme family;
4. the exact preserved and deliberately changed features satisfy that rule;
5. no failure condition in that rule classifies the case as a fork, translation, retargeting, or independent reconstruction instead.

Work, an enacted Method, provenance, and change results supply case facts. Their labels do not make continuity true. C.2.P may recover the source expression and source-to-revision use; the direct change patterns supply exact changed features. If the continuity claim separately consumes a first-existence fact, apply the shared boundary in 4.9. A missing required rule or fact blocks only that positive edition claim.

One occurrence is identified by the exact <earlier episteme, later episteme> pair. Two revision Work occurrences do not create two edition occurrences for the same pair. The relation is acyclic in its earlier-to-later direction. A renamed file, later publication, shared title, bare provenance edge, or Method named “revision” establishes no occurrence.

Several edition occurrences form a lineage structure only when a receiving use depends on their organization. A separately identified edition collection remains under A.14; collection membership does not establish continuity. PhaseOf may describe one unchanged episteme over a proper interval but does not connect two different C.2.1 identities.

When claim content, EntityOfConcern, or effective reference scheme changes, the later object is another episteme. Apply A.6.4 separately when the current claim is effect-free retargeting between epistemes with different EntitiesOfConcern; retargeting alone does not establish edition continuity. A changed publication form alone identifies neither another episteme nor an edition relation.

C.2.1:4.6 - Keep descriptions, cards, publications, and representations downstream

A claim-bearing filled card can itself be an episteme when its claim content, EntityOfConcern, and effective reference scheme are recoverable. The reusable arrangement of that card can instead be a publication form, and a selected graphical or tabular element can participate in a C.29 representation. Identify each object through its own constitution and the direct relation in which it participates; visible shape does not determine its kind.

When a card or other form designates the participants of one direct relation, its field labels may correspond to SlotKinds in that relation’s RelationSignature, and its field values may be by-value designations or references of the declared refModes. The form is not a filled direct relation occurrence; supplying fields does not make the predicate obtain or provide occurrence identity.

In a relational assertion, the claim graph designates the actual participants and states affirmative or negative polarity for the direct predicate. The direct pattern defines that predicate and the occurrence-identity rule; current case facts determine whether the predicate is satisfied or failed. A forecast, scenario, counterfactual, permission, or another claim family names its exact direct governor rather than using one common catch-all field. Only when an explicit reliance judgment is current for the declared use does A.10 or the receiving evaluation separately state supported, refuted, or unresolved reliance. An affirmative assertion may designate an occurrence only after the case facts satisfy the predicate and the direct identity rule individuates that occurrence; a negative assertion creates no failed world-side occurrence. In a relation-occurrence description episteme, the EntityOfConcern is that exact already individuated occurrence. The assertion and description retain their own C.2.1 identities. Their forms do not by themselves supply case facts or the occurrence-identity rule, or establish obtaining; evidence supporting the case conclusion and any constitutive contribution are governed separately by the relevant evidence and direct-relation rules.

A designator designates an already recoverable referent. A governed reference resolves to that referent under an effective reference scheme.

For publication, E.17 and E.24.PUB govern the occurrence that makes a selected edition available to a declared audience for a bounded use, the form that expresses it, and the U.PresentationCarrier that bears the form. Plain published episteme names the episteme’s contingent participation in that occurrence. Its C.2.1 identity stays fixed before, during and after that availability relation.

One completed inspection card shows why the distinctions matter. Its filled claims can identify one episteme; its reusable layout can be a publication form; its paper sheet or file can be a presentation carrier; and a publication occurrence can make the selected card episteme edition available to the maintenance team. None of those uses makes the others identical.

Republishing the same claims about the same subject under the same effective scheme with another form or carrier preserves the episteme. Changed claim content, subject or effective scheme identifies another episteme. If the account also needs the rendering Work, use the conditional Work branch in :4.0.

A tuple can represent the identity triple and a graph or hypergraph can represent claim, justification, dependency, or relation structure. Use C.29 for an unresolved mathematical-lens choice, transfer or reliance question. U.ClaimGraph and JustificationGraph remain graph-valued epistemic structures. Their nodes and edges remain representation elements. An explicit correspondence can relate one selected representation element to an independently recovered object, but it neither identifies the two nor makes the representation element a participant of the represented direct relation.

C.2.1:4.7 - Preserve description and meta-description recursion

If episteme E1 describes pump P, P is the EntityOfConcern participant in the constitution relation that identifies E1. If review episteme E2 describes E1, then E1 is the EntityOfConcern participant for E2. The two relations have different triples and therefore identify different epistemes.

An episteme may describe itself when its own identity remains recoverable. Self-reference never closes an assurance argument by itself. Each justification or evaluation path terminates in independently governed evidence, observation, or formal derivation rather than in a cycle of claims that cite one another.

Description and specification use remain distinct. A Description episteme is admitted for specification use only when the E.10.D2 conditions are satisfied: checkable claims and a named harness or validation relation. If the relying use selects a viewpoint, name that describing use and preserve or update its exact selection only when the selection affects reliance. Formal notation alone does not grant specification use or change the episteme’s kind.

C.2.1:4.8 - Locate the change before updating episteme identity

C.2.1:4.9 - Hand episteme transformations to their subject patterns

Shared identity-inception boundary. Work or transformation can explain how an entity came about, but C.2.1 by itself establishes neither when that entity first existed nor that the work caused its inception. Open this boundary only when a current receiving claim asks whether a new entity began. Then use the subject’s direct inception rule: its pattern defines the predicate and identity rule, and current case facts must satisfy them. If no such rule is recoverable, return one missing-governor blocker naming the entity, work and change facts, required inception predicate, and receiving use. When the current question is only changed episteme identity, form, representation, view, or publication, do not open this boundary.

A.6.2-A.6.4 define episteme-to-episteme morphing, source-to-receiving viewing construction, and retargeting. Identify every source and receiving episteme independently under C.2.1 before testing the exact transformation relation. Each transformation pattern states which identity discriminator is preserved or changed and names the exact correspondence, reinterpretation, or retargeting relation on which it relies. When a possible Bridge between exact F.17 cells is current, use F.9 to test whether that relation obtains. If the morphism relies on that Bridge for a proposed use, state a separate C.2.1 assertion with the Bridge as EntityOfConcern and <u,d,r,t> plus polarity in its ClaimGraph, then use A.10 for ordinary evidence reliance or B.3 only when an actual named assurance claim is current; none of those facts makes the morphism application occur. Categorical function, mapping, or tuple notation creates no direct relation occurrence.

For an A.6.3 source-to-receiving viewing construction, the two identified epistemes may retain the same EntityOfConcern while claim content or effective scheme is restricted. E.17.0 alone judges whether the receiving episteme conforms to an exact viewpoint and therefore has dependent U.View membership. Direct authoring or query generation can yield a candidate episteme without an A.6.3 construction, and neither route creates a multi-view family. For retargeting, the EntityOfConcern changes and the case names the exact domain correspondence, retargeting rule, or relation on which it relies. An F.9 Bridge is additional only when the case separately asserts a semantic relation between exact F.17 local senses from different semantic contexts and the F.9 predicate obtains. For a same-EntityOfConcern representation transition, use A.6.3.RT; the represented episteme may remain unchanged while the representation scheme and admitted operations change.

C.2.1:4.10 - Relation and neighboring-object reference

This reference table keeps the neighboring objects and relations visible after the application method. Ordinary prose names only the current object and its direct relation. A sentence such as “Model M concerns Pump P under Scheme S” is sufficient until another use needs explicit empirical grounding, a classification assertion, occurrence identity, edition continuity, publication, or representation correspondence.

C.2.1:5 - Semantic triangle as a didactic projection (informative)

The Symbol-Concept-Object triangle is a teaching projection, not the episteme ontology.

A triangle diagram may be used to introduce expression, meaning, and subject if its caption says that it compresses the C.2.1 episteme ontic. Its corners and arrows are representation elements. They supply no SlotKinds, direct relation occurrences, or identity rules.

This limitation matters in practice. A proof-assistant term, wiring diagram, clinical chart, learned embedding, or verbal explanation can all occupy the Symbol corner while supporting different operations and different losses. Those questions belong to the representation-scheme and transition patterns; one geometric picture does not answer them.

C.2.1:6 - Description and specification-use boundary (normative)

A Description episteme is a U.Episteme whose exact EntityOfConcern is the entity being described. Description does not create a second kind beside ordinary epistemes; it names the current relation and use of one episteme.

For a description use, keep these values recoverable:

Use E.10.D2 to keep the EntityOfConcern, its Description episteme, and specification use distinct. A Description episteme is admitted for specification use only when its claims are checkable and a named harness or validation relation can test them. Preserve or update a selected viewpoint only for the named describing use whose reliance depends on it. The suffix Spec, formal notation, approval appearance, or publication in a repository does not grant that use.

Self-description uses the same rule. If an episteme describes itself, its EntityOfConcern designation resolves to that episteme. If a review episteme describes it, the review episteme has the first episteme as EntityOfConcern and its own claim content and reference scheme.

C.2.1:7 - Episteme morphing, viewing, and retargeting (normative)

C.2.1 governs episteme identity discriminators and neighboring relations. A.6.2-A.6.4 govern transformations between epistemes.

C.2.1:7.1 - Effect-free episteme morphing

For a morphism from episteme X to episteme Y, state by value:

1. which of claim content, EntityOfConcern, and effective reference scheme are preserved, restricted, bridged, or changed;
2. which exact viewpoint selection the use names, which exact empirical-grounding, claim-scope, model-use, evidence, or representation occurrences the arrow rule reads, and which endpoint facts it compares; the arrow changes none of those occurrences and makes none obtain or cease;
3. which claims in Y are preserved from or supported by X under the named morphism, the exact correspondence or retargeting relation governed by that morphism pattern, and any F.9 Bridge that governs cross-context sense use when current;
4. whether a separate operation application or Work actually produced or changed an episteme, and which direct pattern governs that occurrence.

The morphism declaration and its mathematical arrows are different objects. The declaration is a C.2.1 episteme, normally an A.6.0 FormalSubstrate signature, whose EntityOfConcern is the local mathematical family and whose claim content declares vocabulary, laws, and applicability. One arrow f : X -> Y is a local mathematical object identified inside that substrate by its exact endpoints, arrow rule or designator, and declared formal equivalence.

The mathematical statement f : X -> Y names no execution. When an exact operation application is current, A.6.1 separately identifies its argument and result bindings. For any precise performed-Work claim, use A.13 to identify the actual performer and A.15.1 to admit the dated Work independently. If that claim must also identify the assignment under which the Work was performed, check that relation separately through F.6. Identify the affected or newly constituted episteme, its C.2.1 discriminators, and any production or change relation under their direct governors. The same arrow may be used in several applications, and an arrow may relate already existing epistemes. No bare result, generic Work result, or universal production relation follows from an arrow or declaration.

A claim that one arrow is suitable for one exact use is another C.2.1 assertion. Its complete claim content names the arrow, use, conditions, and polarity. Evidence and reliance qualify that assertion; they do not identify the arrow or operation application.

C.2.1:7.2 - Epistemic viewing

A.6.3 governs an exact source-to-receiving viewing construction when one separately identified receiving episteme is constructed from one separately identified source episteme. That construction may preserve the exact EntityOfConcern while restricting claim content or specializing the effective reference scheme. It neither grants U.View membership nor performs work. Direct authoring and query generation can identify receiving epistemes without this construction relation.

E.17.0 independently asks whether one fixed receiving episteme E conforms to one fixed viewpoint episteme P; formally, whether EpistemeViewpointConformanceRelation(E,P) obtains. Only an obtaining relation gives the same E dependent U.View membership. A system may perform viewing, query, authoring, or rendering work, but neither that work nor an A.6.1 result position grants U.View membership or supplies C.2.1 identity.

Empirical grounding continues only while every mapped direct relation required by the receiving episteme’s exact covered claim subgraph obtains. Changing publication, current use, evaluator, or evidence alone changes neither the conformance of fixed E to fixed P nor grounding. Several source or receiving epistemes do not automatically form a multi-view family; identify any current collection under C.13 and any selected organization under A.22.

C.2.1:7.3 - Epistemic retargeting

A.6.4 governs a local class of effect-free arrows r : X -> Y whose exact endpoint epistemes concern different exact entities. It does not admit a durable U.EpistemicRetargeting kind. The A.6.0 FormalSubstrate signature that declares the class, one arrow r, a bounded-use assertion q, a current-case judgement, and any actual operation application remain different objects.

For one receiving use, q states one proposition with affirmative or negative polarity: whether r preserves the named invariant and makes the stated loss acceptable under named conditions. A separate current-case judgement compares exact current facts with that proposition and reports satisfies, fails, or cannot decide. The same r can have different q assertions and case results for different uses without changing arrow identity. A missing deciding fact yields cannot decide, names that fact, and states what would reopen the question; it does not create unresolved assertion polarity or require an assurance record.

Use A.20 only when the proposition is an internal constraint, A.10 only when an evidence-use claim is current, and B.3 only when an actual named assurance claim is current. Otherwise the named predicate and direct facts supply the case judgement. If the case also asserts a semantic relation between exact F.17 local senses, F.9 defines that separate Bridge and its bounded-use claim.

A system may perform exact retargeting work. Identify its enacted method, any exact A.6.1 operation application and binding, affected or newly constituted episteme, and actual change facts separately. The arrow itself performs no work, and the mathematical statement r : X -> Y infers no bare result or universal production relation.

Examples include retargeting from an episteme about a physical cabinet to one about a selected functional U.Structure, or from observations to a learned model, when the independently identified source and receiving entities really differ. For Cab-7 as the cabinet and Route-A as the selected functional structure, an independently stated behaviour-test result can supply q’s current-case basis; the judgement is satisfies only when that result meets q’s named conditions. The source expression Realises(Cab-7, Route-A) has no current direct relation governor here and therefore stops at A.6.RCD missing-governor; it contributes nothing to that judgement. For a Fourier representation change, identify the endpoint subjects under C.2.1. If the same signal remains the EntityOfConcern, use A.6.3.RT or the applicable representation-transition pattern. Use C.29 when a mathematical-lens choice, transfer or reliance question remains.

C.2.1:8 - Multi-view description and publication (normative)

C.2.1 identifies each candidate episteme E and each viewpoint episteme P separately. E.17.0 then asks whether E conforms to P; its formal name for that relation is EpistemeViewpointConformanceRelation(E,P). Only when the relation obtains is the same E a U.View under P. For one named describing use, say that the use selects P. Keep E, its EntityOfConcern, the use, and P distinct. Selection changes neither episteme identity nor conformance and does not make E a view. If another receiving use selects an already identified view, name that use and the pattern that defines or constrains it separately.

Several conforming views remain a plurality. Recover an exact C.13 collection only when a receiving use depends on that plurality as a collection. Recover an exact A.22 U.Structure only when the use additionally depends on organization among those views, and state the exact direct organizing relations. A shared EntityOfConcern, package, table, heading set, diagram, or carrier creates neither a view family, a collection, nor that structure.

A.6.3 governs only an obtaining source-to-receiving viewing construction when that history is current; direct authoring and query generation require no such relation. A system performs any viewing, authoring, query, comparison, or repair work. Neither that work route nor an A.6.1 result position grants U.View membership or identifies a multi-view family.

E.17 governs multi-view publication forms and uses, while E.24.PUB governs publication occurrences, forms, and carriers. The same recognized view can participate as the selected episteme in several publication occurrences without changing identity or conformance. Publication establishes no view membership and no cross-view subject relation.

When cross-view correspondence, consistency, realization, trace, or change impact matters, name the exact participants and apply the exact direct subject-relation governor. A C.2.1 assertion or description episteme may carry that claim; it does not make the relation obtain. If no direct governor is recoverable, return an exact missing-relation blocker naming the participants, required predicate and use, and missing governor; do not invent a relation. E.17, a matching heading, graph edge, diagram position, or shared carrier invents no correspondence relation.

C.2.1:9 - Archetypal Grounding — Worked Cases

These cases ground the pattern in practice; only a case that names an obtaining EpistemeEmpiricalGroundingRelation asserts empirical grounding.

C.2.1:9.1 - Physical engineering

A pump-maintenance specification has a claim graph about exact pump P under a reference scheme that resolves part names, states, units, and measurement procedures. Those three participants identify the episteme. For test bench B, exact covered claim subgraph C_B contains the discharge-pressure-tolerance and leakage claims. Its claim-to-world mapping names the direct pressure-measurement and leakage-inspection relations involving B; a maintenance-interval claim outside C_B is not grounded by those measurements. The grounding relation over (E,B), with covered=C_B, continues for the maximal interval during which every required mapping obtains. If that coverage continues while an evidence archive or inspection-work log becomes unavailable, only a separately governed support, warrant, confidence, or evidence-use assertion may change. A publication occurrence makes the episteme available through a rendered checklist form borne by an exact carrier. When checklist marks assert particular maintenance or inspection Work, use :4.0’s Work branch; assignment attribution is added only when the checklist account requires it. A separately current assertion that P satisfies the constructive U.System criterion is another episteme about P; renaming or republishing the governing FPF pattern does not change P or create its systemhood.

The classification assertion changes only when its own claim content or reference scheme changes. Pump continuity is judged instead under the A.1 reidentification rule; a changed or unchanged assertion does not establish that continuity.

C.2.1:9.2 - Medicine

A diagnostic model concerns one patient-state entity or one admitted patient cohort under a scheme that defines observations, measurements, and diagnostic interpretations. Each EpistemeEmpiricalGroundingRelation identifies the exact covered diagnostic-claim subgraph, grounding holon, mapping to the required current observation, measurement, or test relations, and maximal continuous interval of complete coverage; it grounds no unlisted claim. If a threshold revision changes claim content or the effective reference scheme, that changed discriminator identifies another episteme; moving the unchanged model to another screen changes only the exact publication or representation object that actually changed.

C.2.1:9.3 - Competence claims, teaching Work, and learner-facing views

A curriculum model concerns an exact competence structure under a scheme that relates assessment or performance evidence to competence claims. If taught or learned wording leaves the changed subject or result unclear, use E.10.LRN to recover the claim first: receiving an intervention and acquiring a capability call for different evidence.

A learner-facing episteme is a U.View when it conforms to an exact learner-facing viewpoint under E.17.0. If its construction from the source curriculum model matters to the account, A.6.3 supplies that viewing relation. Changing the selected competence claims changes the receiving episteme; changing only its display preserves it.

If empirical grounding is needed, name the covered competence claims and their mappings to the relevant assessment or performance relations involving an exact admitted course-cohort or learning-environment holon, as required by :4.3. A later capability, transfer or retention claim uses A.10 for its bounded reliance on the relevant result. If particular teaching, assessment or construction Work must be asserted, open :4.0’s Work branch. The identity-only use finishes with the model’s claims, exact subject and effective scheme.

C.2.1:9.4 - Episteme about an episteme

Simulation model M is one episteme. Review R concerns M, so the EntityOfConcern in R is the episteme M, not the physical system modeled by M. Claims in either episteme may cite separately governed evidence-use relations concerning the simulated or physical system. Publishing R does not revise M.

A theory episteme is recognized through its claim-bearing constitution and whole-level inferential characteristics. A textbook publication can make one edition of that theory available, but the publication occurrence, form, and carrier are not constituents of the theory and do not establish its holonhood.

C.2.1:9.5 - Edition succession

Episteme E1 is the exact source used to produce candidate edition E2. The applicable continuity policy says that the EntityOfConcern remains the same, specified core claims must remain traceable, listed claims may be corrected, and a translation into another reference scheme counts as a derivative rather than an edition. The current case identifies the preserved core claims, deliberately corrected claims, unchanged EntityOfConcern, and source-to-revision use. Those facts satisfy the policy, so the positive EpistemeEditionRelation(E1,E2) assertion is available.

If the same Work instead retargets the claims to another EntityOfConcern, translates them under a rule that the policy classifies as a derivative, or reconstructs similar content without using E1 as source, the edition predicate fails even when the Method is named “revision.” Work, Method, provenance, change facts, evaluation, and evidence remain outside the two-participant relation. Later repackaging or publication establishes neither another episteme nor edition continuity.

C.2.1:9.6 - Grounded identity across two observations

A morning-observation episteme concerns an object designated M; an evening-observation episteme concerns an object designated E under another reference scheme. A.1.RI supplies the Method for deciding whether these observations concern the same continuing object: recover its continuation criterion, construct connections under the subject and observation rules, and compare the alternatives. Carry the identification with its supporting premises; retain ambiguity when the observations leave materially different connections possible.

The two observation epistemes can retain different identities after the object is identified: they can make different time-indexed claims or use different reference schemes. C.2.1:4.2.3 permits the identifying claim in ordinary language. If a later use needs a separately designated relation occurrence, apply A.6.REL with the direct relation pattern’s obtaining predicate and occurrence-identity rule. A missing relation definition then blocks that occurrence-dependent use. It does not erase a conditional identification already established under stated premises; an unspecified object-continuation criterion, by contrast, leaves the identification itself unresolved.

Construct a bounded identifying result. A.1.RI:5.1 develops the complete two-object case: independent persistent point objects at 0 and 10 cm are observed one second later at 1 and 9 cm, with exact positions in one frame and crossing permitted. With one observation of each object at each end of the interval and a 2 cm/s speed bound, only the association requiring 1 cm per object is admissible. Raising the bound to 10 cm/s also permits the crossed association requiring 9 cm per object. The observation claims retain their different occasions after an identification; the changed premise instead leaves the object correspondence unresolved. The receiving use determines whether a discriminator is worth obtaining.

In Rodin’s astronomical reconstruction, the connecting trajectory is supplied through theory and observations. In the HoTT reconstruction, MS and ES are represented as terms of a point-object type Pt; p : MS =_Pt ES expresses the identifying construction as a term of their identity type.

C.2.1:9.7 - Readable wiring diagram as a proxy

Wiring-model episteme E1 concerns exact harness H under reference scheme S1, which resolves connector designators, pin identities, and connection predicates. If only layout changes in a wiring-diagram representation, identify the exact representation transition and preserved connector, pin, and connection correspondence; E1 remains the same. If instead only an exact publication form, carrier, or rendering changes, identify that E.17/E.24.PUB object and relation; E1 again remains the same. If a connection claim is removed from E1’s ClaimGraph or the legend changes the effective reference scheme, the changed claim content or scheme identifies episteme E2.

The wiring-diagram representation under its stated diagram scheme represents the connectivity of H; its mapping resolves connector marks and pin marks to the independently identified connectors and pins. A layout-only transition preserves connector identity, pin identity, and connection predicates. If the diagram omits a connection that remains in E1’s ClaimGraph, that representation loses one connection predicate. If a revised legend no longer resolves an earlier mark to its connector, that mark-to-connector reference is lost. The diagram remains admissible for maintenance diagnosis only while the connections on which that diagnosis depends are preserved and recoverable; stop that use or return to the source relation structure when they are not.

A readability score can improve while the diagram makes the connections needed for diagnosis harder to recover. When that score is used as the practical value, apply E.13: name the intended diagnostic value, the readability proxy, and what became worse. Use the representation branch in :4.0 for the transition and its preserved or lost structure.

C.2.1:9.8 - Trained or probe-derived representation and tool-using inference

A distributed activation pattern observed during inference is a system-side phenomenon. A trained probe or decoded rendering can represent it for a declared use under C.29 and A.6.3.RT. To identify a probe report as an episteme, recover what it claims about that exact phenomenon and the interpretation scheme that gives those claims meaning. Decodability or a readable label alone leaves that identity question unanswered. Use E.10.LRN when learned representation still leaves the subject or result unclear.

For a claim about particular inference or tool-call Work, open :4.0’s Work branch. If a trace participates at an exact A.6.1 result position, state that binding. When the trace carries claims about the call, identify its episteme through those claims, that Work as subject, and the effective scheme. A question about when the trace first existed separately opens :4.9.

An answer may carry a proposed solution, while an evaluation report states whether it passes a named test. To rely on the solution, inspect the support relevant to its claim; to assert empirical grounding, test :4.3’s exact covered-claim mappings. A successful call or score does not supply those mappings.

When a changed tool regime changes inference behavior, locate the changed method, Work or representation and the evidence used to assess it. Update the grounding occurrence if its coverage predicate changes. Reidentify an episteme only when claim content, EntityOfConcern or effective reference scheme changes.

C.2.1:10 - Bias-Annotation (informative)

C.2.1 deliberately favors explicit aboutness and interpretation because claims without an exact EntityOfConcern and effective reference scheme are difficult to compare or test. The mitigation is the A.6.REL minimum-current-object rule: ordinary use adds another object only when the reader’s next sentence or action requires it, and states that object’s direct relation to an already recoverable object.

The pattern also resists representation bias. Formal calculi, diagrams, learned representations, and interactive tools can materially change available reasoning operations, but their convenience or geometry cannot establish subject identity. State those differences under the exact C.29 lens-use or selected transition predicate and use the corresponding pattern descriptions only as locators.

Finally, the pattern has a claim-bearing-holon bias. Decodability alone does not make the decoded entity an episteme. The decoded entity is admitted as an episteme only when claim content, an exact EntityOfConcern, and an effective reference scheme are recoverable and together satisfy the constitution relation.

C.2.1:11 - Conformance Checklist (normative)

1. Episteme identity. Claim content, exact EntityOfConcern, and effective U.ReferenceScheme are recoverable, and the text states what changes each discriminator. A dependent episteme kind such as U.MethodDescription or U.View adds a governed membership judgment for the same individual, not another identity discriminator.
2. Direct constitution and case judgment. EpistemeConstitutionRelation has its three identified participants, obtaining predicate, and participant-determined occurrence-identity rule. C.2.1 defines that rule; current case facts satisfy or fail the predicate; an assertion states affirmative or negative polarity; and evaluation or evidence use states reliance only when needed. Designate an occurrence only after positive case facts and the identity rule individuate it.
3. Declaration identity and Slot discipline. Each of the three named relation declarations is first a C.2.1 episteme whose exact EntityOfConcern is its direct relation kind; the fixed A.6.0 predicate gives that same individual U.Signature membership and RelationSignature is its relation-facing use. Its complete declaration carries the direct predicate, occurrence identity, applicability, exact A.6.5 SlotSpecs, and only actual dependencies and provided names. Signature-local SlotKinds never become participants, and a one-off assertion needs no signature or manifest.
4. Classification discipline. A.1 governs recognition under an admitted holon kind, C.3.2 governs local-kind membership, and E.24.UK governs public U-kind admission. A separately current classification assertion is a C.2.1 episteme about the exact candidate; it states affirmative or negative polarity for the exact classification predicate and keeps supported, refuted, or unresolved reliance separately governed. It neither creates the candidate nor changes the kind’s admission.
5. Empirical-grounding discipline. GroundingHolonSlot occurs only inside EpistemeEmpiricalGroundingRelationSignature. Each occurrence names one exact nonempty covered claim subgraph and maps every empirical claim in it to the required current direct observation, intervention, measurement, or test relations involving the grounding holon. Unlisted claims receive no grounding from that occurrence. One occurrence is reidentified from the episteme, covered claim subgraph, grounding holon, and maximal continuous interval during which the complete coverage predicate is true; demonstrated coverage failure followed by restoration yields another occurrence. Evaluation counts in the empirical base only when its exact direct relation and use in the test are stated; otherwise evaluation and evidence support or challenge an assertion. Availability or loss of a report, store, or Work log alone neither makes nor unmakes grounding.
6. Edition discipline. EpistemeEditionRelation has exactly the earlier and later epistemes as participants and is acyclic in that direction. Positive continuity requires exact source use, an applicable edition policy or rule, and preserved and deliberately changed claim, EntityOfConcern, and scheme features satisfying that rule. Fork, translation, retargeting, and independent reconstruction are explicit failure branches. Work, Method, provenance, and change facts supply case facts but no label makes continuity true.
7. View and neighboring-relation discipline. C.2.1 identifies epistemes; E.17.0 alone tests the conformance of fixed E to fixed P and the resulting same-individual U.View membership. One named describing use may select one exact viewpoint P, but that selection creates no context value, selects no view, and remains separate from A.6.3 source-to-receiving construction. Several views remain a plurality. Recover a C.13 collection only when the use depends on that plurality as a collection, and an A.22 structure only when it depends on their organization. Cross-view claims use the pattern for their direct subject relation or return an exact blocker naming the participants, required predicate, use, and missing defining or constraining pattern. Use E.17 for view or publication form and E.24.PUB for publication occurrence, form, and carrier, not for view membership or correspondence.
8. Description boundary. Recover the EntityOfConcern and description episteme under their C.2.1 identities. Different constitution triples identify different epistemes. In permitted self-description, the EntityOfConcern designation resolves to that same episteme; self-reference supplies no assurance by itself.
9. Specification use. Specification force is admitted only when the E.10.D2 conditions obtain: checkable claims and a named harness or validation relation. A selected viewpoint is preserved or updated only for the named describing use whose reliance depends on it. Naming and appearance do not grant specification force.
10. Agency, work-result, and identity-inception boundary. Only systems perform authoring, evaluation, revision, publication, viewing, query, redrawing, and use work. A.6.1 declares typed argument and result positions; neither a position nor its binding says when the bound entity first existed. When a current claim asks that question, the subject’s direct inception pattern must define the predicate and identity rule, and the exact work and change facts must satisfy them. If no such governor exists, return one missing-governor blocker naming the entity, facts, required predicate, and receiving use. Otherwise do not open the inception boundary. No morphism, heading, representation, form, bare A.6.1 result, generic work result, or universal production relation supplies that fact.
11. Publication boundary. Episteme, publication occurrence, publication form, view, and carrier keep separate identities. Plain published episteme names a contingent relation use, not another durable kind.
12. Representation boundary. Tuple components, graph elements, schema fields, and notation tokens remain representation elements. An explicit correspondence may relate one to an independently recovered object without identifying the two or changing the represented direct relation’s participants.
13. Transformation and Bridge-use boundary. A morphing, viewing, or retargeting declaration states which C.2.1 identity discriminators are preserved or changed and names the exact correspondence or retargeting relation used. For cross-context sense use, F.9 separately establishes the exact Bridge; one C.2.1 assertion about that Bridge carries <u,d,r,t> and polarity; A.10 handles ordinary evidence reliance; B.3 adds a result only when an actual named assurance claim is current; and the direct receiver defines or tests any actual Work, assertion, publication, relation, or operation application. The mathematical morphism performs no work, and none of these objects authorizes another.
14. Recursive assurance. Self-reference and meta-description do not form a minimal justification cycle; assurance terminates in independently governed evidence, observation, or formal derivation.
15. Minimum current object. Readable prose adds no object beyond the current use’s dependency and states the direct relation to an already recoverable object.

C.2.1:12 - Common Anti-Patterns and How to Avoid Them

C.2.1:13 - Consequences (informative)

Benefits. Episteme identity becomes stable across carrier and publication changes. Description, empirical grounding, viewing, edition, and representation questions can be repaired locally because each has a direct relation. Self-description and multi-view use need no second ontology. The same pattern works for physical engineering, medicine, learning, formal work, and computational modeling.

Costs. A load-bearing episteme use has a recoverable exact EntityOfConcern and effective reference scheme rather than relying on a title or file. Empirical-grounding and edition claims depend on their own obtaining and identity evidence. Existing record-shaped schemas sometimes need to distinguish their fields from actual relation participants.

Limits. C.2.1 does not decide whether an epistemic claim is true, sufficient, current, or authoritative. It does not prescribe a file format, graph database, proof calculus, or publication layout. Those questions remain with evidence, evaluation, temporal, representation, and publication patterns.

C.2.1:14 - Rationale

Adding empirical grounding, viewpoint, scope, edition, and publication to every identity would instead collapse distinct relations and make ordinary use needlessly heavy.

Separating the episteme from its constitution relation is equally important. The direct relation explains how the identity-bearing participants are organized. The episteme is the resulting holon with a whole-level capacity to carry interpretable claims. A relation declaration is first its own C.2.1 episteme; A.6.0 independently recognizes that same individual as a U.Signature, and RelationSignature names its relation-facing use. Its claims declare the direct relation for typed reuse; an assertion claims that the relation obtains, and a publication occurrence makes a selected episteme edition available. None replaces another.

C.2.1:14.1 - SoTA-Echoing

When does grounding cease? For the pump case in :9.1, a compact record with one evidence-status flag is useful for finding the latest available report. If that flag also defines grounding, an unavailable archive would end the grounding occurrence even while the required measurements continue; an available pressure report could also be mistaken for coverage of the unrelated maintenance-interval claim. The questions about current empirical coverage and its continuity require more information.

Sections :4.3 and :4.8 therefore select explicit covered claims, their mappings and the maximal continuous interval of complete coverage. This costs claim-to-world mapping and continuity evidence when that relation is asserted. It allows the practitioner to keep grounding continuous through an archive outage, withhold reliance when coverage is unknown, and recognize another occurrence after a demonstrated break and restoration. The cheaper evidence-status record remains sufficient for the question of report availability. Reopen the grounding account when a required mapping fails, its covered claims change, or the purported evidence no longer establishes continuity.

When is a revision an edition of this knowledge object? PROV-O, 2013 Recommendation, wasRevisionOf, provides a usable provenance assertion: derivation as a revised version retaining substantial original content. It is economical for exchanging a producer’s revision assertion. C.2.1’s :9.5 asks the additional domain question of which changes count as continuation of this episteme family. A translation can retain substantial content while that family’s policy classifies it as a derivative.

Section :4.5 therefore uses provenance as a case fact and tests an explicit continuity policy over the two episteme identities, source use, preserved features, permitted changes and failure conditions. The cost is recovering the policy and the changed features; the gain is a decision that distinguishes the accepted correction from translation, retargeting or independent reconstruction under the same policy. A trusted revision assertion can be consumed for a use that accepts its producer’s criterion. A use requiring the local edition judgment must test the local criterion. Reopen that judgment when the source-use facts, policy or required preserved features change.

When may observations be identified as concerning the same object? Rodin’s reconstruction, §§2–7, makes a theoretically supported connection between observations part of the identifying construction. Section :9.6 retains the episteme/object distinction and directs the identifying construction to A.1.RI:5.1. The two association candidates require displacements of either 1 cm or 9 cm. The 2 cm/s premise selects one; the 10 cm/s premise admits both.

For this ordinary conditional identification, :4.2.3/:9.6 retain an ordinary identifying claim supported by A.1.RI’s domain criterion, motion premises and comparison of associations. Requiring a separately governed relation occurrence first would add a declaration dependency without changing that calculation. The occurrence account is worth its additional cost when a later assertion must designate that exact occurrence; then A.6.REL supplies its predicate and identity requirements. A changed speed bound reopens the identification itself, whereas a missing occurrence rule blocks only the occurrence-dependent use.

These comparisons select different information for different questions. The three identity answers suffice for identifying the episteme; empirical coverage, edition continuity and occurrence designation are added for the respective uses above.

Material interaction and grounding. Malafouris, People Are STRANGE (2026), develops the material-engagement account of how experienced self-boundaries change with tools, surroundings and ways of engaging with them. This motivates a question for :4.3 and :9.3: has a change of material interaction changed what can be observed or inferred about the subject? Reconsider the covered claims and grounding holon where that change affects their empirical support.

Internal representation and reasoning. Anthropic’s A global workspace in language models (2026) reports interventions in which changing an internally represented intermediate concept changes a later answer in the studied reasoning tasks. This supports a causal contribution of those representations in those tasks. Use :9.8 to distinguish the changed activation, the probe’s rendering and the answer when interpreting the result.

Tool availability and inference quality. Cheng et al. (2026) report degraded reasoning under tool-enabled evaluation even when the studied models made almost no tool calls, and develop training methods that preserve reasoning while adding tool use. For an inference-quality claim, use evidence from the applicable tool regime and distinguish availability, actual calls and evaluated performance through :9.8.

C.2.1:15 - Relations (overview)

• A.1.RI constructs observation-based reidentification of the subject while C.2.1 retains the identities and claims of the observation epistemes.

• Builds on: A.1 for holon recognition, A.6.REL for direct relation occurrences, A.6.0 for independent same-individual U.Signature membership and relation-facing RelationSignature use, A.6.5 for declaration-local SlotSpecs and participant designations, A.7 for entity-description distinction, and C.29 for mathematical-lens use.

• Coordinates with: A.3.2 for U.MethodDescription membership without a second episteme identity; C.3.2 for local-kind membership judgments; E.24.UK for ontology-level U-kind admission; E.10.D2 for Description and specification-use discipline, including selection that creates neither conformance nor membership; A.6.1 for typed operation positions and exact current application bindings; A.6.2, A.6.3, and A.6.4 for morphing, source-to-receiving viewing construction, and retargeting; A.6.3.RT for representation transitions; E.17.0 for conformance of fixed E to fixed P and U.View membership; C.13 and A.22 for separately current multi-view collections and structures; the pattern for the exact direct subject relation, or an exact missing-relation blocker naming the participants, required predicate, use, and missing defining or constraining pattern; F.9 for exact Bridge semantics when a claim concerns a bounded cross-context use; E.13 when a visible representation-quality proxy is used as practical epistemic value; A.2.6 for claim scope; A.1.1 for bounded model-use structure; A.10 and B.3 for evidence and assurance; A.14 only when a phase or separately selected edition collection is current; C.2.P, A.3.1, and A.3.4 when source use, revision method, or actual change is current in edition-continuity evaluation; C.2.1:4.9 only when a local claim separately asks when a new entity began; E.17 for multi-view publication forms and uses; E.24.PUB for publication occurrences, forms, and carriers; and G.11 for currentness.

• Used by: every pattern that identifies, describes, classifies through an explicit assertion, compares, grounds, transforms, views, publishes, or refers to a U.Episteme.

C.2.1:End

C.2.P - Clarify Episteme, Publication, and Source Wording (Epistemic Precision Restoration)

Type: C.2 precision-restoration pattern for episteme, publication, source wording, and source-relation wording Status: Stable Normativity: Normative unless a section is explicitly informative

C.2.P:0 - Use this when

Use C.2.P only when one unresolved distinction still prevents the reader from selecting or safely using the direct pattern. The unresolved point must concern a source expression, claim-bearing episteme, publication, publication unit, view, carrier relation, source-to-use relation, or use disposition.

Recognizable situation. A sentence is readable, but it leaves the reader unable to tell whether it refers to claim content, a publication or bounded unit, a carrier or display, a source-bearing relation, or a project-side use of one of those objects.

First useful move.

1. Say what the sentence is doing: defining, claiming, instructing, comparing, locating a source, describing a publication, or supporting a project use.
2. Recover the one unresolved episteme, publication, source-to-use, carrier, or use-disposition distinction.
3. Rewrite the sentence, or hand the remaining claim to the exact pattern that defines, constrains, or tests it. Then stop.

Not this pattern when. If the exact receiving pattern and its current field are already recoverable, apply that pattern directly. A clear ordinary phrase needs no C.2.P record. Use A.6.P for a relation problem whose publication or source-expression side is already clear, F.18 for a stable reusable name, A.7 for EntityOfConcern-description-carrier separation, E.17 for reader-facing publication of an accepted account, and E.24.PUB for publication-occurrence, form, or carrier distinctions.

Smallest outputs.

• Direct repair: the repaired sentence plus one plain reason or non-use boundary. No record.
• Compact row: the exact sentence, its function, one recovered kind or relation, the selected wording or disposition, and the reader’s remaining use.
• Full check: only when several recovery fields interact, a source-to-FPF use is contested, or a reusable ontological or naming decision is being made.
• Non-use result: reduced-use cue, blocked use, incomplete rewrite, or not triggered.

Changing an FPF pattern is not by itself a reason to use the full check. Use the cheapest product that preserves the live distinction.

Source-expression boundary. External or ordinary prose may be clarified without forcing all of its vocabulary into FPF. If no FPF-governed use is recoverable, keep the phrase as source-local wording, a source-finding cue, or a blocked claim-bearing use.

Source-to-use continuity. Do not close a repair merely by replacing the word source. Name the source expression or selected source episteme, the publication occurrence only when availability matters, the relation or path that carries it into the current use, the permitted use, and the condition that requires return to the source. Keep physical raw material with its constituent, resource-use, supply, transfer, or transformation relation.

Ordinary-language survival. Words such as source, view, support, route, and display may stay ordinary when they make no FPF kind, relation, authority, evidence, gate, work, decision, or reliance claim. Repair by sentence function and consequence, not by trigger word.

What this buys. The practitioner recovers the one distinction that matters without building a second ontology or a second review procedure. The final wording still tells a cold reader what to do and where to stop.

C.2.P:0.1 - What goes wrong if missed

Episteme-publication-heavy text starts to build a parallel ontology. A generic publication face becomes a U.View, a file becomes an episteme, a dashboard tile becomes evidence, a pattern name becomes a procedure, or a slash list becomes a group kind. A broad word such as source is especially dangerous because it can hide several different recovery fields: an FPF pattern or DRR; a publication field; a document named for source, evidence, architecture, or review use; a reviewed publication, review packet, review record, or review state; a project-side FPF kind and reference named by value; or a relation.

The immediate cost is not only ugly terminology. Engineers and FPF authors start making action, evidence, gate, decision, or engineering-justification claims from the wrong entity, publication, record, relation, or carrier.

C.2.P:0.2 - What this buys

C.2.P gives one small epistemic precision-restoration move: recover the FPF kind and relation set first, then write wording that preserves the needed distinction without adding another claim. It prevents string-replacement cleanup, keeps FPF-side and project-side episteme and publication work separate, and blocks unclear wording from having FPF-governed use by guesswork.

Successful repair condition. Type-correct wording is not enough. A repair must satisfy the E.2 Pillars, especially P-2 Didactic Primacy, together with E.12 and the register rule in E.10:6.2. It closes only when the text preserves or restores a usable action, a recognition reason that tells the working reader why the distinction matters, or a named FPF pattern application that carries the claim. When Tech and Plain registers are both current, the Tech interpretation remains recoverable and the Plain or didactic line maps back to it. An ordinary or metaphorical Plain line may stay light when it carries no FPF-governed use; if it carries an ontological, evidence, causal, assurance, bridge, gate, work, decision, or use-boundary claim, that claim must be recoverable through the Tech fields, named FPF kind, recovered relation, project-side reference, or disposition. A repair to a Problem frame, recognition text, example, or worked slice is incomplete if it improves typing but hides the working situation, why it matters, or the first useful action; name the applicable FPF pattern when that pattern carries the claim. Overread removal is only half of the repair; the other half is remaining action guidance under the Pillars.

Recovery focus in plain terms. The use being made is one episteme-publication-heavy wording use inside conformant text: the word or phrase, the sentence function it carries, the FPF kind or relation it must recover, and the remaining declared use boundary after recovery.

Primary working user. The first user is a practitioner maintaining conformant FPF-style or project text: an author, reviewer, or engineer-manager who must repair wording without losing ontology. The downstream user is the practitioner who will rely on the repaired pattern or project text in a working situation.

Anti-overread payoff question. A repair is useful only if the text can say in ordinary prose what false downstream interpretation is blocked, what useful action remains, and when the reader must apply another named FPF pattern because evidence, gate, decision, work, assurance, bridge, release, or reliance is current. If the repair blocks an overclaim but leaves no useful action, it is probably becoming ceremony rather than guidance.

C.2.P:1 - Problem frame

FPF already has episteme, publication, view, carrier, presentation, relation, naming, and pattern-application concepts. FPF-governed project, review, draft, pattern, and architecture prose, plus source prose being unpacked for possible FPF use, can still introduce convenient intermediate words that survive into final guidance without their kind and relation set recovered.

The recurring situation is simple: a sentence is understandable enough to feel worth keeping, but its head kind is not recovered. If it is repaired by replacing one broad word with another broad word, the ontology gets worse while the text looks cleaner.

C.2.P:1.1 - Purpose and Scope

This pattern gives the current glossary and rewrite rules for terms around epistemes, publications, views, publication forms, generic publication faces, MVPK faces under E.17 constraints, carriers, records, and bounded publication units.

It exists because episteme-publication-heavy texts can use locally convenient heads that collapse EntityOfConcern, publication unit, publication face, carrier, record, source relation, and project-side FPF kind and reference. Those words may be useful recognition handles, but they are not safe FPF heads when they carry ontology, authority, or authority-changing meaning.

The rewrite discipline here is ontological and use-facing, not lexical; in this pattern the repair is bounded to episteme, publication, source wording, and source-relation precision:

• do not replace one broad token with one new broad token by string substitution;
• first recover the FPF kind and relation set, whether the wording carries a claim, the publication, view, carrier, or relation construction, and any work, action, or authority crossing;
• then choose the smallest wording that preserves the FPF-governed distinction without creating a second ontology.

For FPF-governed wording, use the E.10 cues and routes within the connected F.19 reading. C.2.P works in the C.2.1, E.17, and E.24.PUB epistemic-publication ontology rather than in a lexical registry.

C.2.P:2 - Problem

Without an epistemic precision-restoration discipline for episteme-publication-heavy wording:

1. broad publication words hide which field family is current: episteme or view, publication form or face, bounded publication unit, carrier relation, named document use, review-state use, or project-side FPF reference;
2. FPF pattern-application claims and project-side fields for work occurrence, work plan, decision, action invitation, method, record, carrier relation, or front-end relation get mixed in one sentence;
3. slash lists and heterogeneous rows become false group kinds;
4. unclear source meaning is guessed into FPF-governed wording rather than blocked or assigned to an accepted FPF extension;
5. authors copy the same loose wording into DRRs, patterns, source-relation notes, source-ref target notes, or project texts.

C.2.P:3 - Forces

C.2.P:4 - Solution

Repair episteme-publication-heavy wording by epistemic precision restoration, not by dictionary replacement.

A successful rewrite satisfies these field-validity constraints:

1. the head kind and sentence function are recoverable under E.10;
2. a stable reusable name has an F.18 naming result;
3. a relation, comparison, dependency, support, sameness, grounding, mapping, or endpoint claim has A.6.P relation precision, with use-boundary and project-side reliance questions split into their own fields;
4. a claim-bearing episteme, episteme species named by value, episteme-lane view, or project-side FPF kind and reference named by value has the needed C.2.1 typing or named FPF claim or declared-use boundary named by value;
5. publication, view, face, and carrier distinctions satisfy the applicable E.17.0 view-conformance, E.17/MVPK publication-face, and E.24.PUB publication-occurrence, form, and carrier rules;
6. the repaired text satisfies E.2 Pillars, especially P-2 Didactic Primacy, by preserving or restoring one remaining reader use: a usable action, a recognition reason that tells the working reader why the distinction matters, or a named FPF pattern application that carries the claim being made; when both Tech and Plain registers are current, the Plain or didactic line maps back to the recovered Tech kind, relation, or FPF pattern application under E.10:6.2; ordinary Plain wording and intentional didactic metaphor stay light when they carry no FPF-governed use, but ontological, evidence, causal, assurance, bridge, gate, work, decision, or use-boundary claim in a more expressive Plain line must be recoverable through the repaired Tech fields; FPF-governed Problem frames, Problem sections, recognition texts, examples, and worked slices must still show the broad working situation and first useful move, or the rewrite is incomplete;
7. the final phrase preserves the distinction without adding another claim;
8. unrecoverable meaning, kind, register mapping, or remaining reader use fails closed.

C.2.P:4.0a - Progressive recovery products

An ordinary application ends with the repaired sentence and one plain reason or non-use boundary. It creates no record.

Use a compact row only when another reader must later inspect the recovery:

Compact epistemic precision-restoration row:
  exactSpanOrSentence:
  sentenceFunction:
  recoveredKindOrRelation:
  selectedWordingOrDisposition:
  remainingReaderUse:

Add a source identity, publication occurrence, carrier relation, declared-use boundary, project-side reference, naming decision, evidence relation, or assurance reference only when that exact claim is live. Optional fields do not become a common schema.

Use a full check only when several unresolved fields interact, the source-to-FPF use is contested, or a reusable ontological or naming decision is being made. A full check records the original sentence, the competing interpretations, the selected kinds and relations, the exact neighboring-pattern contributions, rejected overreads, selected wording, remaining reader use, and reopen condition. It does not repeat empty trigger flags or every possible downstream field.

When the wording exposes a field defined elsewhere, name the contributingPattern and the concrete definition, constraint, or test it supplies.

Carrier-specific recovery. Words such as carrier, file, dashboard, screen, front-end, and rendering are recognition cues. First say what the carrier is being used for. If the next pattern is not already clear, use the compact category-to-contribution route in §4.1.3 for publication, evidence or currentness, generated results, framework packages, Work or reliance, architecture or structure, and base or support questions. Do not close on the word carrier alone.

C.2.P:4.1 - General Recovery Check

Run this check only while one C.2.P distinction remains unresolved.

1. Name the sentence function. State what the sentence would let a reader claim or do.
2. Recover one blocking distinction. Separate source expression, episteme, publication, bounded publication unit, carrier relation, source-to-use relation, or project-side use. Use A.6.P as a separate step only when the remaining problem is relation precision.
3. Select the next result. Rewrite directly, write the compact row, perform the full check under its material conditions, or return a non-use result. If another pattern now supplies the needed definition, constraint, or test, name that contribution and stop C.2.P.

Fail closed when the kind, relation, use, or remaining reader action cannot be recovered. A type-correct sentence that no longer shows the working situation or useful action is an incomplete rewrite.

C.2.P:4.1.1 - Slash Discipline

In conventional abbreviations, source titles, mathematical notations, standards, URLs, file paths, and ordinary notations, a slash can be part of an accepted designation rather than a hidden FPF kind. In FPF-facing episteme and publication ontology, a slash is still a recovery trigger before it is a synonym marker unless the mark is part of such accepted notation, carrier syntax, or conventional designation.

Before leaving a slash expression in current prose, classify the expression as one of these cases:

• accepted notation or conventional designation: a standard name, source name, discipline abbreviation, established compound name, formula, ratio, fraction, unit, path-like quoted source token, title, product name, file path, URL, or quoted source wording where the slash is part of the accepted designation or carrier syntax; keep ISO/IEC, ISO/IEC/IEEE, 1/2, URLs, conventional abbreviations, and similar forms when the sentence uses them as notation;
• a plain-language synonym pair with no ontology, authority, evidence, or use-boundary claim;
• a lazy and/or-style join that must be split or recovered before FPF-governed use;
• a composite-kind candidate that needs F.18 and A.6.P recovery;
• a relation claim that needs a RelationKind, a QualifiedRelationRecord, or a multi-term relation phrase with typed endpoints, slots, qualifiers, scope, time, and viewpoint;
• a tuple-like record that needs a named record kind and named slot semantics;
• a failed ontology signal where the sentence lists unlike values because the FPF kind under repair, relation record, relation phrase, tuple-like record, alternative-case disposition, or not-triggered disposition has not yet been recovered.

If the expression is not one of the safe notation, conventional-designation, carrier-syntax, quoted-source, or plain-language cases, do not keep the slash as final wording. Do not repair it by replacing the slash with one equally vague grouped word. Write the recovered FPF kind, relation record, relation phrase, tuple-like record, alternative-case disposition, or not-triggered disposition by value.

C.2.P:4.1.2 - Unclear Source Meaning and FPF Extension Candidates

Sometimes the problem is not a bad word but one of two different cases:

• the intended claim cannot be determined from the surrounding source, current FPF kinds, or current FPF episteme and publication ontology;
• the claim is understandable, but current FPF does not yet contain the kind, pattern, relation record, or method guidance needed to carry it.

Do not merge those cases. An unclear claim is not current architecture truth merely because deleting it feels risky, and it must not be rewritten by guessing a likely author intention. An understandable uncovered claim may be retained as a candidate FPF extension only when the problem situation, tempting overread, rejected current uses, current FPF gap, and the first user action that would improve are stated by value.

Classify the case explicitly:

• recovered by value: the text now names the current U.Episteme, selected EntityOfConcern, U.View, publication form, generic publication face, MVPK face under E.17 constraints, PublicationUnit, carrier relation, relation record, relation phrase, tuple-like record, FPF pattern, document named for source, evidence, architecture, or review use, reviewed publication, review packet, review record, or review state, project-side FPF kind and reference named by value when projectSideFPFRef is current. The selected value is one current value, not the list: C.11 ChoiceResult; C.11 decision record; A.6.A action invitation; A.15 U.WorkPlan; A.15.1 dated U.Work occurrence; U.Method; U.MethodDescription; A.20 constraint or adjudication decision record; A.21 GateDecision; A.21 DecisionLogRef; A.10 evidence path; typed evidence record; B.3 AssuranceResult; an engineering-justification result under its direct pattern; typed status record whose FPF status pattern is named; carrier relation; front-end relation; or not-triggered alternative;
• understandable FPF extension candidate: the thought is clear enough to state as a candidate new or amended FPF kind, pattern, relation record, method guidance, accepted DRR content decision, or campaign-scoped content question, but it does not carry current authority, evidence, or use-boundary claim until an accepted architecture decision, accepted DRR, or accepted FPF pattern supplies that authority;
• source wording without FPF-governed use: the phrase has no current authority, evidence, or use-boundary claim;
• reduced-use cue: the phrase is kept only as a recognition cue or anti-case, not as a claim-bearing architecture decision;
• blocked use: the phrase is blocked for claim-bearing architecture, pattern, or project text while the needed meaning, kind, or relation is missing.
• rewrite incomplete: the repaired wording may be kind-correct, but it does not yet state a remaining reader use, recognition reason, Tech-to-Plain mapping when both registers are current, or FPF pattern application, or a Plain or didactic line carries ontological, evidence, causal, assurance, bridge, gate, work, decision, or use-boundary claim that cannot be recovered from the Tech interpretation; continue repair or demote to a non-use disposition before the text has FPF-governed use.

These dispositions are recovery results, not a meta-governance authority over all of FPF. When recovery names another FPF kind, use the pattern that defines or constrains that kind, its declared use boundary, and its conformance checks. C.2.P may identify that A.10, A.15, A.15.4, A.20, A.21, B.3, C.11, F.9, E.17.EFP, E.17.ID.CR, or another FPF pattern applies. After that identification, C.2.P no longer defines or constrains the recovered kind. C.2.P only makes the kind under repair, relation, and use boundary explicit enough to apply the appropriate pattern.

No other disposition is closed. In particular, “seems to mean”, “probably about”, a cleaner paraphrase, or a broad umbrella replacement is not a successful recovery.

C.2.P:4.1.3 - Keep source, return, work, and next-pattern questions separate

When source data or source material is epistemic, identify the source expression and selected source episteme. Add a publication occurrence only when availability matters. Then name the relation or path that carries the source into the current use.

Treat source-use as a cue, not as a relation name. Do not call an endpoint value unless the direct pattern actually declares a value slot.

If the wording also makes a claim about a Method, Work, transformation, evaluation, transfer, or receiving use, use its direct pattern. Use A.6.P.WMR only while the work-side relation or what is being claimed about it remains hidden. Physical raw material stays with its constituent, resource-use, supply, transfer, or transformation relation.

Use source-return only for a reverse or escalation move from a derivative, coarsened, extracted, compressed, rendered, or reused object to a named source. Such a move is current when a stronger use, dispute, freshness change, hidden loss, or missing distinction requires the source again. For ordinary movement from a source into current use, say source-to-use path or name the actual relation. Name a rule-bearing ClaimGraph only when later comparison or reuse depends on the identity of that rule.

C.2.P does not decide whether Work may proceed. Use A.15.4 only after the wording repair shows that a publication, display, or other appearance is being relied on as a reason for intended Work and the exact project-side object or relation is still unresolved. If the direct pattern is already known, use it without an intermediate reliance-repair branch.

Once the remaining question is clear, stop C.2.P and choose the direct branch:

• A.6.P for relation precision;
• F.18 for a reusable name;
• C.30.P for a hidden architecture or structure distinction;
• C.16.P or C.16.Q for a hidden characteristic, scale, or evaluative-quality distinction;
• the applicable episteme or publication pattern for an already identified episteme or publication question.

These are alternatives, not a mandatory sequence. C.2.P may expose a naming or authority question, but it neither renames an accepted FPF pattern nor admits a reusable head; use F.18 and the applicable accepted decision source for that change.

Carrier-like words are only recognition cues. Once the category is clear, use one row below and stop C.2.P as soon as that contribution closes the question.

C.2.P:4.2 - Core Glossary

C.2.P:4.2.0 - Cross-Side Fields That Must Stay Split

These fields are current episteme-publication precision vocabulary for DRR, architecture, and pattern-drafting work. They exist to prevent one sentence from mixing FPF-side use-boundary, project-side records, actual work or action, method selection, carrier access, and authority records. They are local recovery aids, not FPF kinds, not record kinds, and not a universal record ontology. Each field closes only by naming the FPF kind named by value, relation record, relation phrase, project-side FPF kind and reference named by value, or explicit non-use disposition that is current in the sentence. The same local-aid rule applies to neighboring field names such as sourceRelationClass, explanationSourceRelationClass, comparativeRelationClass, representationValidityUseBoundaryValue, allowedUse, misuseRisk, and worldContactPolicy: they help record a local recovery or reader-use boundary, but they do not become kinds. These local fields do not instantiate evidence, gate, assurance, work, commitment, speech act, decision, release, authority, representation kind, world-contact kind, or policy kind. Read allowedUse as a local reader-fit field under declaredUseBoundary, not as permission, evidence relation, or authority.

C.2.P:4.2.1 - Episteme, Publication, and Carrier Distinctions

C.2.P:4.2.2 - Trigger Boundary

For FPF-governed wording, use E.10:0.2, E.10:0.2a, E.10:0.2b, E.10:0.2c, and E.10:0.2d for lexical cues within the connected F.19 reading and for selection of an already known applicable pattern.

This pattern is applicable only when one C.2.P-specific source-expression, episteme, publication, carrier, source-to-use, or use-disposition distinction is still needed to select or safely use the direct receiving pattern. When the exact pattern and current field are already recoverable, apply it directly.

When this pattern is applicable, do not restart from word taste. Keep any E.10 cue or routing result as input and recover source-expression clarification, FPF-governed use, current episteme-publication relation set, use disposition, and remaining reader use.

C.2.P:4.3 - Current Preferred Vocabulary

Use PublicationUnit when the intended entity is a bounded, human-inspected unit inside a publication. Do not use it for UI behavior, carrier behavior, front-end behavior, file identity, dashboard behavior, or export behavior; use A.7, specific carrier or front-end wording, or the applicable named FPF pattern instead.

Use the current cluster names directly: PublicationUnit Stability Discipline, Local Head Restoration, and PublicationUnit Primary-Subject Discipline. When the current entity is a bounded unit inside a publication, use PublicationUnit; when the current entity is authoring or editing work, name that work directly.

Use EntityOfConcern and its applicable EntityOfConcernRef when local wording names the participant of a claim-bearing episteme or episteme-lane view. publicationUnitPrimaryEntityOfConcern has the union meaning defined in C.2.P:4.2.1 and used by E.17.AUD: the carried EntityOfConcern or the non-claim-bearing kind, topic, or subject value. For E.17.AUD.OOTD’s separate primary-subject question, use its local publicationUnitPrimarySubject; the two fields are not aliases.

For describedEntity, DescribedEntityRef, primary described entity, EntityOfInterest, or EoIClass, use the exact EntityOfConcern participant, its applicable entityOfConcernRef or EntityOfConcernRef, EntityOfConcernChangeMode, EntityOfConcernClass, publicationUnitPrimaryEntityOfConcern, or the local FPF kind named by value. Use EntityOfConcernSlot only while inspecting the exact reusable C.2.1 constitution RelationSignature; it is not an episteme field. If no claim-bearing episteme or same-individual U.View is current, use a non-claim-bearing kind named by value or plain topic or subject instead of inventing an EntityOfConcernRef. When the use is E.17.AUD.OOTD’s primary-subject question, recover its local publicationUnitPrimarySubject; apply the EntityOfConcern projection only when that pattern’s equality condition holds.

Use ordinary topic, subject, or local referent only in non-normative explanatory prose where no episteme constitution or neighboring direct relation, publication construction, or authority relation is being asserted.

Do not mint any other reusable FPF name from this pattern alone. The E.17.AUD cluster PublicationUnit Stability Discipline defines and constrains PublicationUnit; this pattern only recovers bounded-publication-unit wording into that head and points to the cluster for its tests. FPF-governed uses keep the nearby definition or explicit publication relation set.

C.2.P:4.3.1 - PublicationUnit use and non-use boundary

PublicationUnit means one named, bounded unit inside a publication that a person inspects as one unit: for example, one pattern body, section, table, note, card, sheet, or screen block inside that publication.

Use it when the unit boundary matters to authoring, review, navigation, or a claim about what that bounded unit exposes. Do not use it for the underlying episteme, a view, publication form, whole publication, carrier, file, interface behavior, dashboard behavior, authoring Work, or review process. Name those objects and relations directly.

The bounded unit may carry or expose claim-bearing content, but it is not identical with that content. PublicationUnit keeps the inspected publication-side boundary visible without mixing the unit with authoring action or reader action.

C.2.P:4.4 - Epistemic Precision Restoration After E.10

Keep any E.10 cue or routing result as input. Apply C.2.P only while a source-expression, episteme, publication, carrier, or use-disposition distinction is still needed to select or safely use the direct receiving pattern. If the exact pattern and field are already known, apply them directly.

C.2.P:4.5 - Rewrite execution modes

C.2.P:4.5.1 - Direct repair

Use this mode for the ordinary case. Rewrite the sentence and state one plain reason or non-use boundary. No row or note is required.

Example result: “The note helps the reader find section 4.2.” Reason: this is navigation, not evidence or assurance. Stop.

C.2.P:4.5.2 - Compact row

Use the five-field row in 4.0a when the recovered distinction must remain inspectable. Add only the optional fact that changes the current claim.

C.2.P:4.5.3 - Full check

Use a full check only when:

• several unresolved fields interact;
• the source-to-FPF use is contested; or
• a reusable ontological or naming decision is being made.

The full check records the exact span and function, competing readings, selected kinds and relations, direct pattern contributions, rejected overreads, final wording, remaining reader use, and reopen condition. It is not required because the text is an FPF pattern or because a source is cited.

C.2.P:4.5.4 - Publishing the compact row as a local note

When the five-field compact row must remain beside the repaired text, publish that same row as a local note. This changes only its presentation: it adds no fourth execution mode, no extra required field, and no durable FPF record kind.

C.2.P:4.6 - Completion and reopen boundary

The application is complete when the smallest selected product:

1. preserves any E.10 cue or routing result rather than restarting from word taste;
2. names the recovered kind, relation, or non-use disposition;
3. hands any remaining relation, naming, publication, evidence, work, decision, or assurance claim to its exact pattern;
4. leaves the reader a clear action or stop condition.

Reopen when a replacement head hides another umbrella, a later use adds a material field, the direct receiving pattern changes, or the repair becomes technically exact but hard to use.

Also reopen when an entry cue, summary, dashboard, retrieval snippet, or source note still carries the pre-repair reading. Do not reopen merely because a larger form could be filled.

C.2.P:5 - Archetypal Grounding

C.2.P:5.0.1 - Cheap case: ordinary reader help

Starting sentence: “The note supports the reader.”

Questions: What does the note let the reader do? Does the sentence claim evidence, authority, gate passage, work permission, or assurance?

Result: It only helps navigation. Rewrite: “The note helps the reader find section 4.2.” The recovered function is ordinary reader help. No FPF kind, relation, compact row, or full check is needed. Stop after the sentence.

C.2.P:5.0.2 - Mixed case: display and decision

Starting sentence: “The dashboard approves launch.”

Questions: Is the dashboard the decision, or does it display one? Which exact project object carries the approval claim?

Result when a decision exists: “The dashboard shows GateDecision GD-17 for release candidate R; the decision, not the display, records that the gate passed.” E.24.PUB separates publication form, carrier, and occurrence; use E.17 when publishing a reader-facing account of the accepted decision. A.21 supplies the gate-decision meaning. The reader may find and cite GD-17, but must use the direct release or permission rule for launch. Stop.

Result when no decision resolves: “The dashboard is only a cue; launch approval is unresolved.” Block approval-bearing use until the exact decision exists.

C.2.P:5.1 - Boundary and Anti-Cases

C.2.P:5.2 - Transfer Coverage

C.2.P is intentionally narrow but must transfer across three recurrent publication situations:

• FPF-side drafting: pattern text, DRR text, source-relation notes, review-use notes, and pattern draft prose;
• project-side publication: dashboards, explanations, cards, documents, front-ends, rendered files, and generated summaries used around evidence, work, gates, decisions, assurance, or methods;
• external source-expression clarification: seminar fragments, papers, reviews, standards, and tool outputs being clarified before possible FPF use.

In all three situations the same invariant holds: before accepting the wording as current FPF text, recover the distinction between source wording and current FPF wording, claim-bearing episteme, publication construction, carrier-relation construction, relation-like slice, the applicable neighboring pattern for any non-C.2.P field, and remaining reader use.

C.2.P:6 - Bias-Annotation

C.2.P:7 - Conformance Checklist

C.2.P:7.1 - Current Scan Boundary

For FPF-governed wording, use E.10:0.2, E.10:0.2a, E.10:0.2b, E.10:0.2c, and E.10:0.2d for lexical cues within the connected F.19 reading.

C.2.P conformance begins only when one C.2.P distinction remains unresolved under §0’s entry condition. This same condition covers non-FPF source text being unpacked before possible FPF transfer; source status creates no separate entry branch.

Do not copy the E.10 trigger list into this pattern as a second registry. Keep any E.10 cue or routing result as input and recover source-expression unpacking mode, FPF-governed use mode, current episteme-publication relation set, use disposition, and remaining reader use. When the relation-bearing slice is current, A.6.P remains a separate required precision-restoration pattern.

C.2.P:8 - Common Anti-Patterns and How to Avoid Them

C.2.P:9 - Consequences

C.2.P:9.1 - Operating consequence

For each repair:

1. start from the sentence’s function and practical consequence, not from a word list;
2. preserve any E.10 cue or routing result and recover only the one still-hidden episteme, publication, carrier, source-to-use, or use-disposition distinction;
3. use the direct pattern as soon as it is known;
4. choose direct repair before a compact row, and a compact row before a full check;
5. keep the final sentence readable to a cold practitioner and state what action or non-use remains;
6. reopen only when a material field or use changes.

Do not perform global lexical replacement. Do not treat every FPF pattern edit as a full epistemic-restoration case. Do not retain a compatibility field whose only function is to remember a previous internal schema.

C.2.P:10 - Rationale

FPF already contains the relevant ontology. The recurring defect was not lack of concepts but ad hoc wording that bypassed them: source, target, display, object, host, route, supported use, and similar trigger terms packed several FPF kinds and relations into one convenient phrase; they are examples of wording to unpack, not current replacement vocabulary.

For FPF-governed wording, use F.19 with the E.10 cues, then use only the pattern whose field remains unresolved: F.18 for a reusable name, A.6.P for relation precision, and A.7, C.2.1, E.17.0, E.17, MVPK, or E.24.PUB for the relevant EntityOfConcern, episteme, view, publication, or carrier distinction. C.2.P stops as soon as the direct pattern and field are known.

Because every normative FPF pattern must satisfy E.2, epistemic precision is not a value apart from P-2 Didactic Primacy. A stricter repair is incomplete if it turns reader-facing problem text into a kind inventory with no working situation or first useful move. The remedy is recognition wording whose claim remains recoverable through the Tech interpretation or a named FPF pattern application, with a declared-use boundary when that boundary matters.

C.2.P:11 - SoTA-Echoing

When rewriting episteme-publication-heavy conformant text, the practitioner must recover accepted FPF kinds and relations, so that episteme, publication, view, carrier, naming, relation, and project-side records are not replaced by ad hoc words.

A full external SoTA comparison is not needed for this bounded architectural precision-restoration pattern. A reduced external practice set is still required to check terminology drift and epistemic precision restoration. It sharpens only the recovery discipline, creates no new ontology, and does not outrank the FPF patterns named below.

In this section, SoTA-Echoing means compatibility with current FPF ontology and selected external practice anchors, not that those anchors are sufficient SoTA for every field. ISO terminology entries are standards anchors for designation practice; SHACL-style validation is only a fail-closed constraint analogy; word-sense and ambiguity-resolution practice is used only for context-sensitive sense recovery. If one of those domains becomes the object of a future claim, use its current SoTA pattern or source review.

External-practice boundary. External traditions enter only through the local FPF invariant named by value they sharpen. Object-oriented modeling and OWL-style ontology modeling do not become the default repair for vague FPF wording. Architecture-description standards help keep views, viewpoints, concerns, and descriptions explicit. Explainability and NLP faithfulness work helps prevent explanation laundering. RAG evaluation helps separate retrieval evidence, source availability, and answer trust. Quality-diversity and multi-objective search help avoid premature scalarization in candidate selection. None of these traditions becomes FPF ontology, FPF authority, or a universal pattern-quality benchmark.

C.2.P:11.1 - Relevant FPF Patterns

The current FPF corpus already has patterns that contribute to this discipline:

• E.10 supplies word/head, morphology, register, and naming cues and routes within the connected F.19 reading.
• E.10.D2 gives the “thing vs words vs rules” discipline and the carrier humility rule.
• F.18 gives the local-first naming protocol: governed value and kind; the pattern and contribution that define or constrain them; by-value scheme; local-sense claim; intended use; candidate comparison; and any separately obtaining relation.
• A.6.P gives the relation-precision restoration method: restore generic head kind, build candidate sets for endpoint kinds and relation kinds, select kind-explicit slots and qualifiers, then allow guardrailed wording.
• C.2.1 gives episteme identity through exact claim content, EntityOfConcern, and effective ReferenceScheme and keeps empirical grounding and edition continuity as distinct direct relations.
• A.7 keeps EntityOfConcern, Description episteme, and publication carrier distinct.
• E.17.0 tests view conformance to a viewpoint; E.17 governs reader-facing publication forms for an accepted account; E.24.PUB distinguishes publication occurrence, form, and carrier.
• A.15.4 shows how to keep an encountered publication, display, or low-articulation cue distinct from the project-side FPF kind and reference used for work or reliance.
• A.16 coordinates language-state moves; A.16.0 supplies an optional trajectory account when their history matters; A.19 defines the CharacteristicSpace and its reusable predicates; B.2.5 governs supervisor-subholon feedback; C.27 distinguishes state or rate readings from intervention-sensitive temporal claims; A.3.3 defines the reusable state-space and transition-law episteme.
• E.19 already treats terminology and sentence-level precision restoration as required review checks, not editorial polish.
• A.6.A carries action-invitation discipline when a publication, representation, or cue invites an action without itself becoming authority, evidence, gate passage, or work completion.
• C.11 carries decision-making and decision-record discipline when the question under repair is a decision rather than generic action.
• A.15 and A.15.4 split system-role kind and assignment, Method, WorkPlan, and actual-Work alignment from appearance-based reliance repair; do not use A.15 as a universal repair for episteme-publication wording.
• E.9 is the campaign DRR pattern for campaign-level content decisions; E.11 is only for entry-discoverability situations and must not organize an episteme and publication repair by default.

These internal FPF patterns remain primary:

This reduced external-practice set changes the Solution in one practical way: epistemic precision restoration cannot close merely because the replacement sounds cleaner. The FPF kind, relation, declared use boundary, and any needed pattern application must be recoverable by value; otherwise the wording is blocked or becomes a candidate for a separate FPF-kind decision.

C.2.P:11.2 - E.19 Review Profile Carry-Through

Run PCP-TERM when the repair changes episteme-publication-heavy naming, umbrella words, slash compounds, trigger-word replacements, or relation wording.

Run PCP-BRIDGE when the repair imports terms, claims, norms, or authority expectations between named sources, practices, disciplines, reference schemes, publication forms, or project record kinds.

Run PCP-ENTRY only when the repair changes which FPF pattern a working reader should apply in a problem situation. Do not use PCP-ENTRY as a substitute for the epistemic precision restoration itself.

Run PCP-PRAG when the repair changes reader action, practical payoff, or what the working reader can safely do next. A type-correct but inert repair fails this line even when every recovered kind is technically right.

When the repair changes evidence, proof, witness, grounding, explanation, gate, release, or engineering-justification claims, apply the relevant FPF pattern (A.10, E.17.EFP, A.20, A.21, B.3, or another applicable pattern) and select the current E.19 profile by the changed claim. Do not mint a local evidence-review profile inside C.2.P.

C.2.P:12 - Relations

• Builds on: E.2 Pillars, especially P-2 Didactic Primacy; F.19, E.10, E.10.ARCH, A.7, F.18, A.6.P, C.2.1, E.17.0, E.17, MVPK, E.24.PUB, and A.6.A.
• Coordinates with: E.6, E.7, E.8, E.9, E.12, E.19, A.10, A.15, A.15.4, B.3, A.20, A.21, A.6.F, A.6.P.WMR, A.6.3.CSC, A.6.3.CR, A.6.3.RT, C.30.P, C.16.P, C.16.Q, E.17.EFP, and E.17.ID.CR.
• Does not replace: E.10 general lexical rules, F.18 naming protocol, A.6.P relation precision, or local episteme and publication patterns. It says when those patterns must be applied to episteme-publication-heavy wording.

C.2.P:End

C.2.2 - Reliability R in the F–G–R triad

Reliability (R) concerns the warrant for one typed claim under an explicit claim scope (G). Keep the support useful and its limitations visible. A numerical R needs a receiving model for its meaning, scale, inputs, and dependencies; no universal fold is supplied. On reuse, name the actual relation and apply only its warranted loss to R, not to F or G.

Type: Architectural (A) Status: Stable

C.2.2:1 - Problem frame

KD‑CAL asks a simple operational question: “Where can I safely use this claim?” FPF answers with a minimal “epistemic location” built from three coordinates. Any relations traversed by a justification path are named separately:

• F (Formality) describes how the claim is expressed and how strongly it supports verification workflows (C.2.3).

• G (Claim scope) describes where the claim is asserted to apply as a set-like object (A.2.6).

• R (Reliability) describes how strongly the claim is warranted by linked evidence under that scope.

• CL / CL^k / CL^plane (Congruence Levels) describe fit or loss for the relation families that define them—for example, a semantic relation, kind relation, or reference-plane relation (B.3, C.3, F.9). A CL value belongs to the declared relation or traversal used by the path, not to the claim as a fourth coordinate. Shared wording about a “context” creates no relation and no loss value. In practice, the triad is frequently used before it is made explicit:

• Authors implicitly “average” disparate evidence and report a single confidence.

• Teams treat higher formality (F) as if it automatically implies higher warrant (R).

• Scope growth is smuggled in through phrasing instead of explicit scope operators (A.2.6).

• A claim or its evidence is reused after a change of scope, kind, plane, notation, source-local meaning, model-use basis, or evidence basis without naming the actual relation and routing its declared loss into R.

This pattern makes R explicit in KD‑CAL and fixes the triad discipline required by Kind‑CAL (C.3) and the Trust & Assurance calculus (B.3).

C.2.2:2 - Problem

FPF needs a reliability coordinate that is:

1. Auditable. A reader can trace the supported conclusion to its formal or empirical basis and see the effect of actual reuse limitations.
2. Composable. Support can be combined under its warranted meanings and dependencies without illegal scale arithmetic; where no aggregate is justified, the separate contributions remain usable.
3. Orthogonal. R is not conflated with F (expression) or G (scope).
4. Relation-aware. Any loss declared by an actual scope-translation, kind, plane, notation, source-local, model-use, or evidence-reuse relation is explicit and affects R only.
5. Minimal. The solution does not introduce new core types or new face-kinds.

C.2.2:3 - Forces

C.2.2:4 - Solution

C.2.2:4.1 - Canonical triad relation

Definition DEF‑C2.2‑1 (Epistemic location). An epistemic location for a claim c is the tuple:

Loc(c) = ⟨F(c), G(c), R_eff(c)⟩

where:

• F(c) is Formality (C.2.3), treated as an ordinal.
• G(c) is Claim scope (A.2.6), treated as a set-like scope object.
• R_eff(c) names the effective warrant for this claim and use. Its meaning and scale come from the B.3 receiving model, not from the letter R. A probability-like or ratio-scale value in [0,1] needs that model; an ordinal proxy keeps its declared ordinal meaning. If no common quantitative model is justified, report R as unquantified with the separate support and bounded conclusion, rather than substitute zero or invent a score. When a guard consumes a path-specific value, identify the actual PathId and its model (§4.8.A / G.6); a declared policy name alone does not warrant collapsing paths into one scalar.

A location always concerns one exact claim. G carries its U.ClaimScope; any stance, reference plane, effective scheme, model-use basis, working situation, evidence basis, or validity window is stated separately when it changes interpretation or use:

• No generic K or Context value is part of epistemic-location identity; the exact subject-specific values above remain independently governed.
• S ∈ {design, run} is the claim’s stance value; keep design-time and run-time assurance separate.
• ReferencePlane is declared where applicable; plane crossings apply CL^plane and penalize R only.
• When the claim is published on the Working‑Model surface, the author also declares validationMode ∈ {postulate, inferential, axiomatic} (E.14 / B.3).

Mode-to-lane hint (informative). validationMode sets the default expectation for which assurance lane carries the initial support load (B.3.3 or B.3.5). It does not add a new characteristic and does not change the meaning of R:

• axiomatic → VA-dominant (constructive grounding or proof carriers); if ReferencePlane=world, LA may still be required.
• inferential → VA+TA-dominant (reasoned chain + typing/alignment assurance); LA is optional and scope-bound.
• postulate → LA-dominant (empirical validation with freshness/decay); VA is optional. In all modes, R remains warrant, not ontological truth; “proof ⇒ R=1 in the world” is a category error.

Formal-input rule. Empirical R may be N/A for a strictly axiomatic claim. Preserve the proof and its conclusion under the stated axioms; do not set R_proxy := F for an R fold. The tag line=formal, a postulative mode, or rescaling F into [0,1] supplies no conversion model. A declared F-derived ordinal proxy is valid only for its own ordinal meaning. Any F-derived value used as another quantity needs a receiving model establishing its meaning, scale, conversion, assumptions, and warranted application; in particular, checkability alone does not establish a probability about a real system.

⟨F,G,R⟩ is an assurance tuple, not a U.CharacteristicSpace; do not draw “trajectories” in ⟨F,G,R⟩.

C.2.2:4.2 - What Reliability R means in KD‑CAL

Definition DEF‑C2.2‑2 (Reliability as warrant). R is a conservative, evidence-bound indicator of how strongly the claim “holds as stated” under its declared U.ClaimScope and the separately named evidence and use conditions. It is interpreted as warrant strength, not as truth.

Prophylactic clarification.

• A higher R means stronger warrant only within the same declared quantity, scale, claim, and receiving model. A number from another model is not automatically comparable.
• A higher F means “the claim’s form is amenable to higher-formality checking and wider reuse,” but does not itself imply the claim is warranted.
• A larger G means “the claim applies to more cases,” but does not itself imply the claim is warranted in those cases.

C.2.2:4.3 - Dependence-sensitive support composition

Definition DEF‑C2.2‑3 (Support composition). For claim c, identify the support actually needed by its receiving use. Distinguish indispensable premises, alternative sufficient arguments, complementary evidence for the same question, support for different scope slices, and counterevidence. A source’s presence in the graph does not make it an indispensable premise. B.1.3 supplies the synthesis Method and its guidance and controller examples.

Let SpineClaims(P) name premises and lemmas actually required by argument P; SpineRelations(P) names the actual scope, kind, plane, notation, source-local, model-use, and evidence-reuse relations it traverses. Satellite citations are not required premises. Retain each contribution’s source, assumptions, scope, and limitations, including shared datasets, duplicated evidence, and common bias.

Choose the operation from the model. B.3 requires the target quantity, compatible scales, dependency assumptions, and warranted operation before an aggregate is calculated. An indispensable weak premise can limit an inference, but min is not a universal probability or warrant fold. Two necessary independent conditions with probabilities 0.9 each give 0.81 for their conjunction; minimum 0.9 overstates it. Without independence, use the warranted conditional model or leave the joint probability unresolved. Monotonicity and boundedness of a proposed rule are insufficient.

Alternative and complementary support. An actually sufficient argument may be usable without the others. A maximum can select the best attested argument value under a model whose result has that meaning; it does not measure combined corroboration. Complementary evidence may strengthen or qualify a conclusion by addressing different rival explanations or limitations, even when neither source is sufficient alone. Count neither publications nor method names as independent confirmation. A shared bias may leave apparent agreement uninformative. There is no universal “never exceed the best source” cap and no entangled-source fallback to minimum.

Scope and conflict. Retain different G_path slices under A.2.6; do not use maximum to hide unsupported regions. For overlapping-scope p and ¬p, preserve credible contrary evidence. Separate claims only by distinctions established by the sources; otherwise narrow, qualify, or withhold the affected conclusion. An uninformative study, a lack of decisive support, and evidence against the claim are not interchangeable.

Useful non-aggregate result. If there is no warranted common model, retain separate support and limitations and give a bounded reasoned synthesis. This may finish the receiving question without a score, penalty table, extra study, or a record merely certifying their omission. The feasibility and worth of further inquiry are separate C.11/C.19.2 questions; their cost does not alter what the current evidence supports.

C.2.2:4.4 - Relation-specific congruence penalties route to R only

A reused claim may traverse more than one independently governed relation. Before calculating R_eff, state what actually changed and use the rule for that change. A.2.6 owns claim-scope operations; C.3/C.3.3 owns kind relations; F.9 owns a semantic Bridge between exact local-sense cells; notation, reference-plane, model-use, and evidence-reuse relations keep their own definitions. None is a universal crossing relation.

Invariant INV-C2.2-1 (R-only penalty routing). For each traversed relation r whose rule declares a congruence loss:

F_out = F_in G_out = translate(r, G_in) only when r is an applicable A.2.6 scope translation; otherwise G_out = G_in R_out ≤ R_in on the named ordered warrant scale for a loss-only transformation, with any numerical penalty justified by that relation’s receiving model

A scope translation may narrow or re-express G; it never widens the claim silently. A change in formality is a new episteme or explicit ΔF move, not a transport penalty. A semantic Bridge changes neither kind nor scope by itself. A kind or plane relation supplies no semantic correspondence unless that separate relation also obtains. Evidence reuse changes warrant only through its own evidence-use or reliance claim.

There is no implicit crossing. If a reuse depends on a changed value and its required relation or operation is absent, unresolved, or outside its applicability, the reuse is non-conformant. This keeps guard macros simple: each path records the relations it actually traverses and routes their declared losses to R, while every other coordinate changes only under its own rule.

C.2.2:4.4.A - Worked micro-example: scope revision and evidence reuse

A materials-lab claim says:

c_lab: “Adhesive X retains ≥85% tensile strength on Al6061 for 2 h at 120–150 °C.”

Its declared scope is G_lab := {substrate=Al6061, temp∈[120,150]°C, dwell≤2h, evidenceWindow=1y, rig=Calib-v3}. A plant engineer proposes a narrower claim for Plant B. Two different moves are required.

1. State the plant claim and its scope. Here temp in G_lab is actual adhesive temperature. For this illustration, assume the plant calibration rule supplies a worst-case error bound |T_actual − T_reported| ≤ 2 °C throughout the declared use (C.16). Under A.2.6 the engineer retains G_lab and adds the condition T_reported∈[122,148]°C: under that bound, actual temperature is within [120,150]°C. This changes G; it is not an F.9 semantic Bridge and is not inferred from the words “lab” and “plant”.
2. Judge reuse of the lab evidence. The exact A.10 or B.3 evidence-use and reliance claim names the lab evidence, plant claim, calibration edition, validity window, and intended use. A declared fit CL=2 records the relation’s fit, not a probability decrement. State the actual reuse limitation. Calculate a numerical R_eff only if a receiving model establishes the R quantity and this loss; otherwise keep the separate support and qualified plant conclusion. This judgement does not perform the scope edit.

If lab and plant use distinct local meanings for a material term, F.9 separately tests a Bridge between their exact F.17 cells. Its semantic loss is not the calibration correction or the evidence-reuse result. A further safety narrowing of that reported-temperature interval to [125,145]°C is another explicit A.2.6 ΔG− decision.

The example therefore preserves one simple rule: name each changed value and relation once, change G only through the scope rule, and reduce R only through the loss rule that actually applies.

C.2.2:4.5 - Effective reliability under reuse: a justified loss model

Definition DEF‑C2.2‑4 (Effective reliability under reuse). A relied-on relation may introduce loss in the support for the receiving claim. Name that relation and its scope, semantic, notation, model-use, evidence-reuse, kind, or reference-plane rule. The corresponding CL, CL^k, or CL^plane is an ordinal summary belonging to that relation family; the ranks are not amounts to subtract from R.

A quantitative loss model names the receiving quantity and scale, input meanings, dependencies, loss interpretation, derivation or calibration, and applicability assumptions under B.3. If the model uses functions Φ, Ψ, Φ_plane, and a combining operation Π, cite their actual definitions and versions. A policy identifier, table, monotonicity, boundedness, or clipping to [0,1] does not by itself justify any of them.

For a loss-only interpretation on an ordered scale, worsening fit cannot by itself count as an improvement in warrant. The model must justify any pathwise CL minimum, repeated-loss treatment, or neutral term for an absent relation. Preserve separately justified ordinal chain-congruence operations in C.3.3; they do not provide a numerical R penalty.

Positive quantitative illustration, not a default. Suppose a receiving claim requires events A and B. An applicable model and evidence establish P(A) ≥ 0.82 and P(¬B) ≤ 0.15 for the same use. The probability bound P(A ∩ B) ≥ max(0, 0.82 − 0.15) = 0.67 follows without an independence assumption. Here 0.67 is a lower bound, not a point estimate or a generic confidence score. The 0.15 term comes from the stated bound on failure of B, not a CL rank. If those event meanings or bounds are unavailable, the calculation is unavailable.

Reuse conditions. Apply a relation’s justified admissibility or protection condition to the named use before relying on it; neither this pattern nor a bare CL rung creates a universal waiver obligation. If the condition is unsupported, limit or stop that reliance while retaining any independently supported source conclusion.

C.2.2:4.5.A - Formality and scale discipline

• Ordinal F, CL, and ordinal R proxies permit only operations justified for their ordered meanings, not arithmetic pretending they are ratio-scale measurements.
• A numerical R requires a justified receiving model even at high formality. A complete formal proof remains useful with empirical R marked N/A; a missing empirical score does not demote the theorem.
• When support has no common numerical model, publish its separate contributions, limitations, and the bounded conclusion. Use validity windows, empirical reproducibility information, and B.3.4 decay only where the claim actually consumes them.

C.2.2:4.6 - Evidence lanes are not new characteristics

KD‑CAL does not add new global coordinates beyond F–G–R. Instead, it requires that reliability be explainable via assurance lanes (B.3.3):

• TA (Typing assurance): semantic/type alignment sufficient for transport and composition.
• VA (Verification assurance): logical/algorithmic checking, proof, model checking, static guarantees.
• LA (Validation assurance): empirical adequacy under declared conditions, tests, benchmarks, telemetry.

Lane reporting is how KD-CAL supports the common research distinction between logical soundness and empirical adequacy without introducing new global characteristics. Lanes remain separable in SCR/Notes; they are not averaged into a “single tradition score”.

C.2.2:4.7 - Scope operations are kind-safe (and use the ClaimScope algebra)

Reliability is meaningless if scope operations are applied to ill-typed entities.

Well-formedness constraint WFC‑C2.2‑1 (Type before scope). Let G1 and G2 be claim scopes for claims about entities of kinds K1 and K2. A scope operation that combines them—such as G1 ∩ G2 for serial intersection or SpanUnion({G_i}) for parallel coverage—is defined only if:

• K1 = K2; or
• an exact C.3/C.3.3 kind relation or cast makes the operation well typed for these participants and this direction.

An A.2.6 scope translation changes G only under its own rule. A kind relation does not translate scope. If distinct source-local meanings also matter, an actual F.9 Bridge and its bounded-use claim are separate; neither repairs an ill-typed scope operation. This constraint prevents “type-by-scope” anti-patterns where scope manipulation is used to hide type mismatch.

C.2.2:4.8 - Minimal authoring recipe

A minimal, conforming KD‑CAL authoring flow for reliability is:

1. Fix the typed claim. State the claim as a typed proposition about an EntityOfConcern (Kind‑CAL, C.3).
2. Declare claim scope. Write G explicitly using A.2.6 operators; avoid scope-by-wording.
3. Declare interpretation conditions. State design or run stance, ReferencePlane, effective scheme, model-use basis, working situation, and validationMode ∈ {postulate, inferential, axiomatic} only where each changes this claim or its use. G already carries claim scope; do not add a generic Context identifier.
4. Bind evidence. Attach evidence stubs and lane tags (TA/VA/LA) and validity windows / decay policy where applicable (B.3.3, B.3.4).
5. Identify support roles and dependence. Distinguish required premises, sufficient alternatives, complementary support, scope slices, and counterevidence. Identify duplicated data, shared assumptions, and plausible common biases.
6. Choose a justified calculation or a non-aggregate synthesis. Name the receiving quantity, compatible scales, assumptions, and model before any numerical fold. Otherwise retain separate support and a reasoned bounded conclusion; do not substitute a universal min or max.
7. Name actual relations on reuse. Use A.2.6 for an applicable scope translation, C.3/C.3.3 for a kind relation, F.9 for a semantic relation between exact local-sense cells, and the direct pattern for notation, plane, model-use, or evidence reuse. Record the fit or loss declared by each traversed relation. If a required relation is absent or unresolved, stop that reuse; a generic cross-context Bridge cannot substitute for it.
8. Return the usable result. State F, G, and the supported conclusion with its warrant and limitations. Publish R numerically only under the justified receiving model, with the actual calculation and relied-on loss definitions. A formal conclusion does not require an empirical score. Inquiry or action choice, if needed, remains separate.

C.2.2:4.8.A - Authoring template: claim-local support summary

When publishing a path-specific R for a guard or decision, include enough of the support summary to identify its actual quantity, model, inputs, and use. G.6 PathId references can carry this information; no new Core type or mandatory table is introduced.

Retain actual CL summaries where their relation uses them; any chain minimum needs that relation’s ordinal meaning. Empirical time limits and the fixed theory version of a proof remain different conditions. If several paths are consumed, retain their distinct scopes and models and cite the actual PathId(s). A non-aggregate synthesis may instead give its separate contributions and limitations in ordinary prose.

C.2.2:5 - Archetypal Grounding

Informative; non-binding.

C.2.2:5.1 - System illustration

System. A brake controller S has a claim:

c1: “For road friction μ ∈ [0.2, 0.9] and vehicle mass m ∈ [900, 2200] kg, wheel slip stays in [0.05, 0.25] under ABS control.”

• F(c1)=F5 because the controller and constraints are expressed as a machine-checkable model plus executable test harness (C.2.3).

• G(c1) has the stated μ/m bounds, but this illustration leaves the speed domain and admissible tire set unspecified. Under A.2.6, those domains and any coupled restrictions are needed to decide membership of a slice satisfying the stated bounds; that membership remains unresolved here. A product set in (μ, m, speed, tire) space is justified only if its scope predicate admits every combination of the selected domains.

• Evidence:

  • VA: model-checking of a simplified plant/controller model (strong, but only for the simplified plant).
  • LA: HIL simulation + track tests under sampled conditions with recorded telemetry windows (freshness required).
  • TA: typed alignment between “μ” in simulations, “μ” in the estimation pipeline, and “μ” inferred from real-world sensors.

If track telemetry is used as evidence for the road claim, establish the exact A.10 or B.3 evidence-use and reliance claim, including the road claim, telemetry edition, operating scope, validity window, and intended use. Apply only the fit or loss declared for that evidence reuse; G(c1) changes only through a separate A.2.6 scope revision.

C.2.2:5.2 - Episteme illustration

Episteme. A paper asserts two claims about an algorithm A:

• c2: “A terminates for all inputs in domain D.” (axiomatic / proof-carrying)
• c3: “A achieves ≥ 0.92 F1 on dataset family F under deployment preprocessing P.” (empirical)

c2 can achieve high VA with a proof carrier; its LA lane may be N/A, but its TA lane remains relevant because the intended meaning of “domain D” must align with the implementation’s input model. c3 requires LA evidence and a freshness or shift policy because dataset and preprocessing drift can change both scope and warrant. For production use, state the exact dataset/preprocessing relation and the A.10 or B.3 evidence-reuse claim, then apply its declared loss to R_eff; change G separately if the production claim has another scope.

C.2.2:6 - Bias-Annotation

Informative; non-binding.

• Onto/Epist bias: High formality is often mistaken for high warrant (“proof therefore true in the world”). This pattern mitigates by forcing LA/TA visibility and by routing transport loss into R rather than mutating the claim.
• Prag bias: Teams may Goodhart R by narrowing scope or selecting easy tests. This pattern mitigates by requiring explicit scope declaration and by making scope changes first-class (A.2.6).
• Gov bias: Overconfident reuse after a changed scope, scheme, model use, evidence basis, kind, or plane is a recurring failure. This pattern requires the actual relation and its declared loss instead of one generic crossing label.
• Did bias: A single scalar is seductive; it hides what kind of warrant exists. Lane reporting keeps the scalar honest.

C.2.2:7 - Conformance Checklist

Normative.

C.2.2:8 - Common Anti-Patterns and How to Avoid Them

Informative; non-binding.

C.2.2:9 - Consequences

Informative; non-binding.

C.2.2:10 - Rationale

A triad only works if each coordinate has a single job.

• G states applicability. It states where the claim is asserted to apply. If G is implicit, teams argue about “what was meant” instead of updating scope.
• F carries checkability. It states how much the claim’s form supports mechanised scrutiny and reuse. If F is conflated with R, formalisation becomes a rhetorical weapon.
• R carries warrant. It describes support for this exact claim and use under a named meaning and scale. Its inputs must not erase the distinction between a necessary premise, complementary evidence, and a credible contrary result.

Routing a traversed relation’s declared congruence loss into R only prevents a subtle failure: a change of scope, kind, plane, notation, source-local meaning, model-use basis, or evidence basis cannot silently rewrite the claim or carry its old warrant forward.

No universal fold is conservative for every support model. Minimum can overstate a conjunctive probability and can also suppress useful complementary evidence. The small common rule is to establish input meanings and dependencies, calculate only what they warrant, and otherwise preserve a useful bounded synthesis.

C.2.2:11 - SoTA-Echoing

Normative.

SoTA pack binding note. If a G.2 SoTA Synthesis Pack has sources that bear on reliability under the exact changed claim scope, kind, reference plane, notation, source-local meaning, model use, or evidence basis in this case, cite the relevant ClaimSheet IDs and CorpusLedger entries. Cite a BridgeMatrix row only when the current path actually uses an F.9 cross-local semantic Bridge represented by that row. Where no such pack supplies a relied-on result, retain the directly identified sources and support as applicable; no empty pack record is required. Neither a generic Context nor a generic transport package is required.

The current methodological comparison is Gutierrez, Glymour and Davey Smith, Evidence triangulation in health research (2025): compare target questions, design assumptions and possible shared biases; use qualitative synthesis where quantitative combination is unwarranted. Adapt those distinctions for heterogeneous support. The paper supplies neither a universal R scale nor a requirement to commission another study for every useful conclusion.

C.2.2:12 - Relations

Builds on: C.2 (KD-CAL overview), A.2.6 (claim scope and scope revision), C.2.3 (Formality F), B.3 and B.3.3/B.3.4 (assurance, evidence lanes, and refresh), B.1.3 (Γ-fold patterns), C.3.3 (cross-kind use), G.6 (EvidenceGraph PathId discipline), C.29/A.6.3.RT (notation and representation relations), A.1.1 (selected model-use structure), and A.10/B.3 for exact evidence-use and reliance relations. F.9 is used only when an obtaining relation between distinct local meanings, reference schemes, or reference planes is part of the path. Coordinates with: C.16 for measurement claims, E.14 for working-model assertions, F.17 for optional local-meaning addresses, and E.18/E.17/A.21 when their own transfer, publication, or gate objects are current. G.2 supplies relevant source-pack entries; G.7 remains the conditional calibration path for its declared cross-Tradition/F.9 Bridge use, not a universal calibration owner. Used by: C.3.3 for cross-kind reuse discipline, guard macro bundles in C.3.A and C.21, and acceptance or gating logic that consumes R_eff while preserving F and G. Clarifies: the KD-CAL meaning of reliability implicit in C.2:4.1 and the relation-specific reuse claims referenced across B.3 and C.3; it does not create a universal transport relation.

C.2.2:End

C.2.2a - U.LanguageStateSpace - Language-state chart over U.CharacteristicSpace

Type: Architectural (A) Status: Stable Normativity: Normative unless marked informative

Plain-name. Language-state space.

Builds on. A.19, E.10, F.18.

Used by. C.2.LS, C.2.3, C.2.4, C.2.5, C.2.6, C.2.7, A.16.0, A.16, A.16.1, A.16.2, B.4.1, B.5.2.0, F.9.1, A.6.P, C.16.Q, A.6.A.

Use this pattern when. A team is about to route, compare, or publish a note by calling it early, ready, or settled, and the next action depends on what is actually known.

First question. What is known or uncertain about each of these five aspects, which readings clear the local threshold, and what may happen next: formality, articulation, closure, anchoring, and representation?

What goes wrong if missed. Teams flatten those five aspects, the grounds for judging them, and the publication lane into one maturity adjective. A polished document can then look ready although the claim is still open, or a useful early cue can be rejected because it is not yet polished.

What this buys. One small chart row that shows only the distinctions needed by the next action while keeping the episteme publication separate from its grounds, form, face, and carrier.

C.2.2a:0 - First useful chart

Start with the smallest row that can change the next action:

• the exact episteme publication being positioned;
• only the currently relevant facet values or intervals; mark a decision-relevant unknown as unknown;
• the grounds for those readings;
• the local threshold used by the named next action and the action now allowed, blocked, or still undecided;
• publication form, face, or carrier only when that distinction changes interpretation, preservation, or the next action.

Filled example. Pump-alert-17 is the alerting episteme publication being positioned. Its affected asset and discrepant reading are visible, but the claim structure is not yet complete; rival diagnostic routes remain open; the alert is anchored in the operator loop; and its representation mixes text with telemetry. Formality is omitted because the present routing decision does not depend on it. The grounds are trace T-17 and operator note N-4. The local rule permits routing to the diagnostic-question seam once the affected asset and discrepant reading are explicit; it does not yet permit treating the alert as a Work record. Form, face, and carrier are omitted because none changes that decision.

Non-use. If a pinned inherited chart already supplies the current values and threshold for the same next action, cite it instead of publishing another row. If early or ready is only ordinary prose and no routing, comparison, publication, or threshold decision depends on it, leave it as ordinary prose rather than creating a governed position.

Practical result. The row tells the practitioner whether to continue, stop, or route the publication to the pattern that governs the next question; it does not itself authorize that action.

C.2.2a:1 - Problem frame

In engineering, inquiry, operator, and management practice, teams often need to say where a governed U.Episteme publication currently stands before it has reached an endpoint subject pattern. That governed publication may appear through several cue-bearing, route-bearing, or endpoint-bound publication forms, but the chart claim remains about the governed U.Episteme publication rather than about a local alias or a carrier lane.

Cue packs, routed cue sets, abductive prompts, typed route-bounded projection publications, partial normal forms, and endpoint-bound records are not rival positioned items in the space. They are publication forms through which a current position claim is made visible. MVPK faces may render those forms, but faces are not themselves the forms. By contrast, a service disturbance, a model-vs-observation discrepancy, a bodily tension, a telemetry trace, a model output, or a carrier document may trigger, witness, or carry that episteme, but none of those is itself a coordinate in the space.

Practitioners, including engineers, operators, researchers, managers, and engineer-managers, still have to decide where such an episteme currently stands, which thresholds matter next, which publication form is admissible, and what must not yet be claimed. If this domain is described only with folk labels such as raw, early, settled, or ready, the real geometry disappears.

C.2.2a:2 - Problem

Without an explicit language-state chart:

1. teams collapse several facets into one maturity story;
2. F is silently misused as a surrogate for articulation, closure, anchoring, and representation factors;
3. thresholds are published as vague readiness statements instead of explicit facet conditions;
4. source phenomena, governed epistemes, publication forms, publication faces, and carriers are conflated;
5. bridge and endpoint work inherit under-described upstream states.

C.2.2a:3 - Forces

C.2.2a:4 - Solution

U.LanguageStateSpace is the cluster-local name for the declared language-state chart over U.CharacteristicSpace as disciplined by A.19.

It is not a second kernel state-space apparatus beside A.19. It is the particular declared U.CharacteristicSpace whose basis slots are the language-state facets used in this cluster.

C.2.2a:4.0a - Kind and chart boundary

U.LanguageStateSpace is a dependent durable chart value under U.CharacteristicSpace and the episteme language-state boundary, not a new root state-space U-kind. Its identity is the declared characteristic-space chart for governed episteme publication positions. Practitioners can publish or use the chart through score tables, publication forms, local route maps, and carriers, which remain distinct from the chart.

C.2.2a:4.1 - Core use

U.LanguageStateSpace gives FPF one explicit declared chart for answering five questions:

• which basis slots define where the governed episteme stands;
• what a position claim in that chart means;
• which thresholds are locally declared over those slots;
• what comparisons are admissible without cross-facet collapse;
• and how the same position claim stays distinct from the publication form currently expressing it.

C.2.2a:4.2 - Position reading under A.19

A language-state position is a partial, slot-explicit coordinate claim in the declared language-state U.CharacteristicSpace.

Publish each basis-slot reading as a ValueSet(slot), interval, or other admissible set-valued claim. Early seam publications may leave some slots unknown or wide, but that uncertainty must be declared rather than hidden inside one stage word.

position language is therefore admissible here only as shorthand for such slot-explicit A.19 coordinate claims. It does not authorize a rival process-sequence or feature-vector story.

C.2.2a:4.3 - Facet basis

The language-state chart is coordinated by explicit facet subject patterns rather than by an informal master progression. In the current cluster the basis is formed by:

• C.2.3 for F;
• C.2.4 for articulation explicitness;
• C.2.5 for language-state closure degree;
• C.2.6 for language-state anchoring mode;
• C.2.7 for the language-state representation-factor bundle.

C.2.2a states that these basis slots together define the chart. It does not govern the internal scale semantics of the individual facets.

C.2.2a:4.4 - Ontological slot groups

Within this cluster, keep five slot groups distinct:

• positioned episteme publication - the governed U.Episteme publication whose current position is being claimed;
• grounds / witnesses - disturbances, discrepancies, traces, model outputs, bodily tensions, exemplars, or contrasts that justify the current reading;
• publication forms - cue packs, routed cue sets, prompt forms, typed route-bounded projection publications, partial normal forms, and endpoint-bound records through which the episteme is published;
• publication faces - the existing MVPK faces on which those publication forms are rendered when face typing matters;
• carriers - documents, console notes, cards, trace files, or model carriers that hold or render a publication.

U.LanguageStateSpace governs only the coordinate reading of the position claim. It does not collapse that claim into the grounds, publication form, publication face, or carrier.

C.2.2a:4.5 - Position publication rule

A published position states the exact episteme publication, the facet readings that matter to the present use, and the grounds for those readings. A decision-relevant unknown is stated as unknown; unrelated facets need not be filled merely to complete a form.

Add the local threshold and named next action only when the row is used for movement, routing, comparison, or endpoint entry. Add publication form, MVPK face, carrier, or SCR/RSCR lane only when that distinction affects interpretation, preservation, distribution, or the next action.

The position is reviewable when the named or inherited episteme publication, relevant readings, grounds, and any relied-on threshold are recoverable, and when any form, face, or carrier actually mentioned remains distinct from the positioned episteme publication. A polished note or better carrier does not by itself prove a new chart position.

C.2.2a:4.6 - Non-substitution of F

F remains one basis slot in the chart, not the whole chart.

A conforming account shall not infer:

• closure from formality alone;
• anchoring from publication-face format alone;
• representation factors from articulation alone;
• or routing admissibility from a lone F statement.

Where operationally meaningful thresholds exist, they must be published on the relevant slots rather than being disguised as informal F sublevels.

C.2.2a:4.7 - Position versus publication form

A position claim in U.LanguageStateSpace is distinct from:

• the underlying governed U.Episteme,
• the source disturbance, discrepancy, or witness,
• the current publication form,
• the MVPK face that renders that publication,
• the carrier that stores or displays it,
• or the endpoint-subject-qualified publication that may result from it.

These objects are coupled but distinct. U.LanguageStateSpace keeps the position claim readable without conflating it with any of them.

C.2.2a:4.8 - Threshold publication discipline

If a threshold is used to justify a move or endpoint entry, that threshold shall be stated on explicit basis slots in the chart. Statements such as this is now ready, this has matured, or this is still too early are non-conformant when they substitute for undeclared slot conditions.

C.2.2a:4.9 - Comparison and bridge note

Positions may be compared directly only under one shared chart meaning and the applicable local comparison rule. For cross-context use, first recover the two exact F.17 local senses and test the direct F.9 predicate. Cite a Bridge only when that predicate obtains. State the proposed bounded use and any reliance separately; a loss note is optional and belongs to that use, not to the fact that the contexts differ.

If no Bridge obtains, preserve both local positions. Name the actual comparison or translation relation needed by the receiving use, or return the applicable missing-governor result instead of inventing correspondence.

C.2.2a:4.10 - What changes after the row exists

Compare the relevant readings with the local threshold named by the next action. Use the result to decide whether to keep the publication where it is, route it through a seam or prompt pattern, open a facet or endpoint question, or stop because a required reading is unknown. The receiving pattern governs the actual route, comparison, or publication decision; the chart row supplies only the position facts that decision uses.

C.2.2a:5 - Archetypal Grounding

Tell. One note can have high operator-loop anchoring yet still low closure. Another can be document-mediated and symbol-heavy while still open on route choice. Both notes have positions in one language-state chart, but not on one maturity progression.

Show (System). A service disturbance is a system-side phenomenon. The positioned governed U.Episteme publication is the alerting episteme published from that disturbance; its position claim may report moderate formality, low closure, high operator-loop anchoring, and mixed representation because terse codes and natural-language hints coexist.

Show (Episteme). A model-vs-observation discrepancy is a witness-level tension, not the positioned episteme publication itself. Once preserved as a cue pack, the resulting governed U.Episteme may be low in articulation, low in closure, trace-anchored, and only partly symbolic even when rendered into prose.

C.2.2a:6 - Bias-Annotation

The pattern deliberately biases authors toward decomposable coordinate claims and away from folk stage vocabularies. That costs some brevity, but it prevents collapse of genuinely different state facets into one adjective.

C.2.2a:7 - Conformance Checklist

• CC-C.2.2a-1 U.LanguageStateSpace SHALL be treated as the declared language-state chart over U.CharacteristicSpace, not as a rival kernel space and not as a disguised F progression.
• CC-C.2.2a-2 Published positions SHALL cite explicit facet subject patterns when those positions matter for movement, routing, or endpoint entry.
• CC-C.2.2a-3 Position claims SHALL use slot-explicit values, ValueSet claims, or intervals; uncertainty SHALL NOT be hidden inside stage words such as ready, early, or mature.
• CC-C.2.2a-4 A position claim in the chart MUST NOT be conflated with the current ground, witness, publication form, publication face, or carrier.
• CC-C.2.2a-5 Cross-context use SHALL recover the two exact F.17 local senses and test the direct F.9 predicate. Cite a Bridge only when it obtains; keep the bounded-use claim, reliance, and any optional loss note separate. If it does not obtain, keep the local positions distinct and name the missing comparison or translation governor.
• CC-C.2.2a-6 Corridor and navigation notes MUST NOT be read as relocation of facet, seam, bridge, or downstream subject-pattern semantics into the chart subject-pattern set.
• CC-C.2.2a-7 If a position claim is used for routing, endpoint entry, or gate-adjacent reasoning, the threshold note and the bearer-lane distinction between positioned episteme publication, publication form, face, and carrier SHALL remain explicit or explicitly inherited from a pinned upstream publication.

C.2.2a:8 - Common Anti-Patterns and How to Avoid Them

• Maturity monism. Replace five facets with one stage word. Repair by publishing explicit slot placement.
• Formality capture. Use F to stand in for articulation, closure, or anchoring. Repair by naming the actual facet subject pattern.
• Carrier collapse. Treat a document, cue pack, or routed note as if it were the position itself. Repair by separating carrier lane, publication form, publication face, and position claim.
• Threshold folklore. Speak of readiness without any explicit threshold declaration. Repair by publishing relevant local threshold notes on explicit slots.
• Bridge by vibe. Similar stage language is treated as equivalence. Recover the two exact F.17 local senses and test F.9; cite a Bridge only when its predicate obtains. Otherwise keep both positions local and route the actual comparison or translation question.
• Corridor inflation. Treat the navigation cluster or corridor map as if it were the subject-pattern set for all downstream semantics. Repair by naming the pattern that governs the current chart, seam, or downstream claim; identify any seam publication form separately.

C.2.2a:9 - Consequences

The benefit is that practitioners, including engineers, operators, researchers, managers, and engineer-managers, can speak about where a governed U.Episteme stands without hiding the reasons inside vague maturity language. The trade-off is that publication must carry explicit slot and threshold information when decisions depend on it.

C.2.2a:10 - Rationale

Language-state work needs one explicit statement of what this chart is before individual facet, move, and endpoint patterns start using it. Without that statement, readers have to reconstruct the same geometry from scattered local rules and examples.

C.2.2a:11 - SoTA-Echoing

SoTA note. This section does not mint a second rule source. It is a load-bearing alignment statement: the Solution, Conformance Checklist, and bearer-lane discipline of this pattern must match the stance stated here or explicitly justify divergence.

Traditions covered. This pattern binds itself to architecture-description governance, model-based systems engineering, and risk/governance profiling practice.

Architecture-description governance. C.2.2a adopts the discipline that positions, publication forms, faces, and carriers stay explicitly distinct, even when one local rendering makes them look aligned.

Characteristic-space and profile discipline. The multi-facet chart is grounded in FPF A.19 and the current C.2.3–C.2.7 facet patterns; it is not imported from an external modeling language. Current governance practice contributes the narrower discipline of publishing scoped profiles and thresholds.

Local stance. The load-bearing architecture decision is FPF-native: governed language-state is a multi-facet chart with explicit thresholds and bearer-lane distinctions, not one maturity progression or one polished publication face. The external rows support the narrower view, publication, profile, and threshold disciplines stated above.

C.2.2a:12 - Relations

• Builds on: A.19, E.10, F.18.
• Coordinates with: C.2.LS, C.2.3, C.2.4, C.2.5, C.2.6, C.2.7, A.16.0, A.16, F.9, F.9.1, E.17.1.
• Constrains: threshold publication, positional claims, and anti-collapse discipline across the language-state cluster.

C.2.2a:13 - Worked Examples

C.2.2a:13.1 - Inquiry cue before endpoint capture

A position claim for a research cue note may state:

• moderate F,
• low articulation explicitness,
• low closure,
• strong embodied or trace-based anchoring,
• and mixed representation factors.

Keep these readings explicit when testing entry into A.6.P or C.25; the note should remain upstream while the relevant receiving pattern’s entry conditions remain unmet, even if its prose happens to look polished.

C.2.2a:13.2 - Routed operator alert note

A routed operational alert may have:

• moderate formality,
• medium articulation,
• low closure because several responses remain live,
• high operator-loop anchoring,
• and mixed symbolic and natural-language representation.

Keep the live responses explicit in the route-bearing seam publication. Before publishing an endpoint-subject-qualified work record or reliance record, test the applicable downstream pattern’s conditions; these chart readings do not decide that result.

C.2.2a:13.3 - Viewpoint-bound adequacy note

A document-mediated adequacy note about an architecture description may be relatively high in formality and articulation, mid-level in closure, document-mediated in anchoring, and symbolic in representation. That position remains within the same language-state chart even though its carrier lane differs from an embodied inquiry cue.

C.2.2a:13.4 - Polished prose is not closure

A prose rewrite may look cleaner, more compact, or more manager-readable than the source cue and still remain low in closure or articulation explicitness. If the underlying slot values, uncertainty, and route plurality remain unchanged, then publication polish changes the rendering or carrier lane, not the chart position by itself.

C.2.2a:14 - Position Publication Package Discipline

A publishable row contains the exact episteme publication, the decision-relevant facet readings or intervals, their grounds, and any local threshold used by the named next action. Add form, face, carrier, freshness, or inherited pins only when the receiving use relies on them.

Minimum self-check:

1. Does the row name the positioned episteme publication rather than a ground, form, face, or carrier?
2. Does it state every facet that can change the named next action and mark a relevant unknown honestly?
3. Are the grounds and any relied-on local threshold recoverable?
4. Does the row say what action is allowed, blocked, or still undecided without pretending to authorize it?
5. For cross-context use, was F.9 tested on two exact local senses rather than inferred from similar wording?

C.2.2a:15 - Extended corridor map

After the first useful row is understood, the wider Language-State & Semantic Routing Corridor can be read as a distributed overlay over C.2.2a, C.2.LS, C.2.4–C.2.7, A.16, A.16.0–A.16.2, B.4.1, and B.5.2.0.

A.16.1 / PreArticulationCuePack is the earliest durable seam publication form in that corridor. B.4.1 is the explicit route-bearing seam after cue preservation, and B.5.2.0 is typed prompt entry. C.16.Q, A.6.A, A.6.P, B.5.2, A.15, and C.25 are downstream subject patterns, not members of the language-state chart. The map explains navigation only; it relocates none of their semantics into C.2.2a.

C.2.2a:End

C.2.3 - Unified Formality Characteristic F

Type: Definitional (D) Status: Stable Normativity: Normative unless marked informative

Plain-name. Formality characteristic.

One-line summary. C.2.3 defines Formality (F) as one ordinal U.Characteristic with polarity up, anchored by the default ladder F0...F9, and declared for normative epistemes. An assurance argument consumes F only when its named use needs rigor of expression.

C.2.3:1 - Problem frame

Transdisciplinary work needs one shared way to speak about rigor of expression. A research hypothesis in constrained natural language, a software interface specification with explicit invariants, a controller model checked against hybrid obligations, and a proof-bearing formal development are not comparable by domain lore alone. They are comparable by how strictly the content is expressed.

Historically, that distinction drifts. Teams mix editorial maturity, organizational status, notation choice, proof support, and scope narrowness into one vague story about something being more formal. C.2.3 removes that drift by giving FPF one explicit U.Characteristic for rigor of expression.

C.2.3:2 - Problem

Without one unified F characteristic:

1. Rigor is narrated inconsistently. Different contexts invent local mode/tier language with no shared comparability.
2. Status and rigor collapse. Something accepted, published, or approved is mistaken for something precisely expressed.
3. Expression changes are hidden. A move from sketch to predicates or from executable model to proof is not recorded as a distinct content change.
4. Composition becomes unsound. A composite episteme is treated as highly formal because one segment is highly formal, even when essential support still depends on less formal parts.
5. Other characteristics are misused as surrogates. Authors quietly use scope, evidence, or language-state facets as if they were part of one master formality characteristic.

C.2.3:3 - Forces

C.2.3:4 - Solution - U.Formality as one ordinal characteristic

C.2.3 defines U.Formality as the single governing characteristic for rigor of expression in FPF.

C.2.3:4.1 - Identity and typing

• Name: U.Formality (abbreviated F)
• Type: U.Characteristic
• Scale kind: ordinal
• Polarity: up
• Carrier: any U.Episteme
• Default value family: F0...F9

F states how strictly the content is expressed. It does not state whether the content is true, well evidenced, widely applicable, or organizationally accepted.

C.2.3:4.2 - Place in the typed F-G-R tuple

A named assurance argument may consume F alongside G or R under B.3. Declaring F for a normative episteme does not itself select an assurance argument or require the current use to consume a universal tuple. The characteristics remain distinct:

• F is not G; scope remains governed by U.ClaimScope and other USM structures.
• F is not R; evidence, warrant strength, and decay remain assurance concerns.
• Mapping loss is assessed for the actual receiving use. Any effect on R needs its B.3/C.2.2 basis; an ordinal CL value supplies no automatic penalty and does not change F.
• Changes in notation, carrier, or rendering form do not change F if the formal content is preserved.

C.2.3:4.3 - Extensibility and local anchors

FPF provides the default anchor ladder F0...F9. A context may define sub-anchors or intermediate anchors such as F4[OCL] or F6.5, but only if:

• global order is preserved,
• the local anchor is explicitly docked to a parent anchor,
• the context does not invent a rival ladder or proxy scale.

C.2.3:4.4 - Usage obligations

• Every normative episteme shall declare one F value.
• Thresholds that depend on rigor should be written explicitly as F >= Fk conditions.
• Any actual raise or lowering of expression rigor is a content change, not a status-only change. Correcting an erroneous F attribution changes the assessment, not necessarily the assessed episteme.
• F remains declaration and reasoning infrastructure; it is not itself a governance process.

C.2.3:5 - Archetypal Grounding

Tell. F does not ask whether a claim is correct. It asks how strictly the claim is expressed.

Show (System). A system requirement written as controlled natural language with unambiguous acceptance conditions may be F3; the same requirement rewritten as explicit typed invariants may become F4; a machine-checked proof of a critical invariant may raise the relevant claim core to F7 or above.

Show (Episteme). A research conjecture can begin at F1-F3, then gain explicit predicates at F4, executable semantics at F5, and proof-bearing core content at F7-F8, while remaining recognizably the same evolving claim family.

C.2.3:6 - Bias-Annotation

The pattern biases FPF toward one explicit rigor characteristic and against stories that mix formality with status, publication quality, scope width, or evidence support. That bias is intentional. The price of explicit declaration is smaller than the cost of comparing rigor through folklore.

C.2.3:7 - Conformance Checklist

• CC-F-1 Every normative U.Episteme SHALL declare exactly one U.Formality value, either a default anchor or a local sub-anchor explicitly docked to one.
• CC-F-2 F SHALL be treated as an ordinal characteristic; arithmetic over F values is invalid.
• CC-F-3 Higher F SHALL mean greater or equal strictness of expression, not greater truth, trust, or scope.
• CC-F-4 Contexts MUST NOT publish alternative “formality modes” or “tiers” as surrogates for F.
• CC-F-5 Local sub-anchors SHALL preserve the global ordering and the parent anchor meaning.
• CC-F-6 For a composite episteme assessed as one expressed claim or argument, its F SHALL be bounded by its least-formal essential content or inference on the declared compositional support path. Identify that assessed bearer and support relation. This expression-wide cap does not extend automatically to external evidence cited as warrant.
• CC-F-7 Implementations MUST NOT average F values numerically.
• CC-F-8 Changes in G, R, or CL SHALL NOT change F unless the expression form itself changes.
• CC-F-9 Cross-context transport SHALL preserve the attributed F when formal content is preserved. If the receiving rewrite changes claim content, EntityOfConcern, or the effective reference scheme under C.2.1, the result is a new episteme with its own F.
• CC-F-10 Translation loss, bridge loss and plane crossings SHALL retain their actual receiving-use limitations. Evaluate any assurance effect under its governing model; do not hide it as an F change when the expressed content is preserved.
• CC-F-11 Assigned F values SHALL be justifiable by observable content such as explicit predicates, executable semantics, or machine-checked proofs.
• CC-F-12 Declaring a tool or notation SHALL NOT by itself justify a higher F unless the content satisfies the target anchor semantics.
• CC-F-13 Status labels such as Draft, Approved, or Published MUST NOT substitute for F.
• CC-F-14 A context that uses F in gates or policies SHALL write those thresholds explicitly.
• CC-F-15 Language-state facets such as articulation or closure MUST NOT be hidden as pseudo-levels of F.

C.2.3:8 - Common Anti-Patterns and How to Avoid Them

C.2.3:9 - Consequences

C.2.3:10 - Rationale

FPF needs a rigor characteristic that is portable across mathematics, software, systems, policy, and research. The smallest stable answer is one ordinal characteristic with clear anchors and explicit composition rules. Anything more fragmented breaks comparability; anything more compressed hides the substantive differences between sketch, predicate, executable model, and machine-checked proof.

C.2.3:11 - SoTA-Echoing

Post-2015 practice across formal methods, software architecture, safety engineering, verification, computational science, and typed proof environments converges on one broad lesson: rigor is not binary. It rises through explicit structuring, predicate expression, executable semantics, and machine-checked obligations. C.2.3 adopts that gradient while keeping the characteristic notation-agnostic and transdisciplinary.

C.2.3:12 - Relations

• Defines: U.Formality for epistemes, including the F result consumed by an assurance argument when its use requires that characteristic.
• Builds on: characteristic machinery from A.18 / A.19 and episteme-level characteristic assignment from Part C.
• Coordinates with: C.2.2, B.3, F.9, C.2.LS, A.16, C.2.4, C.2.5, C.2.6, and C.2.7.
• Coordinates with: C.19.2 when a declared use asks whether increasing rigor of expression or selecting/configuring a formal apparatus repays application work. F measures expression rigor; it does not select the apparatus, plan the work, or establish the problem-facing result.
• Constrains: any pattern, gate, or editorial rule that speaks about rigor of expression.

C.2.3:13 - Canonical Anchors F0...F9

Reading rule. Anchors are ordinal. They say what is minimally true of the expression form, not what is true of the world.

C.2.3:13.1 - F0 - Unstructured prose

Free natural language with unstable vocabulary, implicit assumptions, and no stable internal structure.

C.2.3:13.2 - F1 - Scoped notes

Still informal, but with stable topic focus and more consistent terminology. Scope is named even though criteria are not yet operationalized.

C.2.3:13.3 - F2 - Structured outline

A recognizable template or full section shape exists. The expression is coherent end-to-end, but acceptance criteria are still largely placeholders or informal.

C.2.3:13.4 - F3 - Controlled narrative

Claims are expressed in constrained prose with stable interpretation. Acceptance or refusal conditions are visible in language, even if not yet fully predicate-like.

C.2.3:13.5 - F4 - First-order constraints

Critical claims can be rendered as explicit predicates or invariants over typed entities. Consistency and conflict are at least checkable in principle.

C.2.3:13.6 - F5 - Executable math / algorithmics

The expression has declared executable semantics. Running the model, algorithm, or simulation is part of its meaning.

C.2.3:13.7 - F6 - Hybrid formalism

Several formal layers are coordinated explicitly, typically discrete plus continuous or several tightly coupled formal subsystems, with declared obligations between them.

C.2.3:13.8 - F7 - Higher-order verified

Core claims are encoded in a proof-capable higher-order setting and machine-checked against that logic kernel.

C.2.3:13.9 - F8 - Dependent / constructive proofs

Programs-as-proofs or dependent-type expressions carry the relevant property in their types or proof terms.

C.2.3:13.10 - F9 - Univalent / higher foundations

Higher-equality foundations are load-bearing. The expression relies on a frontier-grade setting where equivalence is handled as structure-level identity.

C.2.3:13.11 - Cross-anchor cautions

• Execution is not proof.
• Surface structure is not yet semantics.
• Publishing or approval is not an anchor.
• A local sub-anchor does not erase its parent anchor’s meaning.

C.2.3:14 - Assigning F in Practice

C.2.3:14.1 - First-pass questions

1. Can a competent reader misread the claim materially? If yes, the expression is likely at F0-F2; if not, it may be F3 or above.
2. Are the critical claims visible as explicit predicates or invariants? If yes, the expression is at least F4.
3. Does the expression have declared executable semantics? If yes, it is likely in the F5-F6 region.
4. Are proofs of the core claims checked by a logic kernel or a dependent type checker? If yes, the expression is likely F7-F8, or F9 if higher-equality machinery is essential.

C.2.3:14.2 - Quick rubric

• No full structure -> F0-F1
• Full structure but mostly placeholder criteria -> F2
• Controlled prose with one stable reading -> F3
• Explicit predicates / invariants -> F4
• Declared executable semantics -> F5
• Hybrid / layered formal obligations -> F6
• Machine-checked proof core -> F7
• Dependent proof-carrying core -> F8
• Higher-equality foundations are essential -> F9

C.2.3:14.3 - Typical delta-F moves

• F2 -> F3: replace loose prose with controlled phrasing and explicit acceptance statements.
• F3 -> F4: recast acceptance into typed predicates or invariants.
• F4 -> F5: give the expression declared executable semantics.
• F5 -> F6: make multi-layer obligations explicit.
• F6 -> F7/F8: move critical claims into machine-checked proof or dependent-type form.

C.2.3:15 - Composition and Interaction

C.2.3:15.1 - Weakest-essential-support rule

Identify the assessed episteme’s expressed claim or argument and the compositional support relation it actually uses. Its F is bounded by the least-formal essential content or inference within that assessed expression. A machine-checked annex does not make an informal connecting inference machine-checked.

External evidence has a different role. A typed claim supported by an informal observation can remain F4 because its predicates and types are explicit, while its warrant remains weak or unresolved under B.3. If the assessed bearer is instead the whole argument, an essential inference expressed only as controlled prose caps that argument at F3 despite an F7 annex. Name that bearer and inference; do not take a minimum over every external source in an evidence chain.

C.2.3:15.2 - Relation to G

F concerns expression form; G concerns applicability or claim scope. Tightening scope may accompany a raise in F, but it is a separate change and must remain visible as such.

C.2.3:15.3 - Relation to R

Higher F often makes evidence easier to formulate, test, or prove, but it does not create warrant strength by itself. Empirical freshness, corroboration, and bridge penalties remain R concerns.

C.2.3:15.4 - Relation to CL and Bridges

A bridge may expose loss or mismatch across contexts. Preserve that limitation for the actual receiving use and assess any R effect under its justified model; the loss does not silently lower or raise the attributed F. A receiving rewrite that changes claim content, EntityOfConcern, or the effective reference scheme identifies a new episteme under C.2.1; that episteme should be published with its own F.

C.2.3:16 - Worked Examples

C.2.3:16.1 - Research hypothesis

A short note proposing a new scaling law with one stable reading and explicit acceptance conditions in prose is typically F3. Rewriting the acceptance conditions as typed predicates would move it toward F4.

C.2.3:16.2 - Interface specification

An interface specification with explicit preconditions, postconditions, and invariants is typically F4. Adding declared executable semantics in a faithful reference model may move it toward F5.

C.2.3:16.3 - Safety controller

A controller coupled to a plant model with explicit hybrid obligations is typically F6. If key invariants are then machine-checked in a higher-order proof environment, those claims move toward F7.

C.2.3:16.4 - Decision policy

A normative policy stating in controlled prose that requests exceeding a thirty-minute planned-duration ceiling fail that budget condition may declare F3 without any B.3 assurance result. An expression with a typed Plan variable p, plannedMinutes(p) in nonnegative real minutes, and meetsBudget(p) iff plannedMinutes(p) ≤ 30 satisfies the F4 predicate/type basis for this condition. The rating follows those observable expression properties, not a software tool or a readability claim. Meeting the expressed budget condition alone supplies neither other eligibility conditions nor permission.

C.2.3:16.5 - Proof-bearing algorithm

A dependent-typed algorithm whose central property is carried by the type itself is typically F8.

C.2.3:16.6 - Executable ML recipe

A fully explicit training-and-evaluation recipe with declared execution semantics is typically F5. It does not become F7 merely because the surrounding execution machinery is sophisticated.

C.2.3:17 - Authoring and Review Guidance

C.2.3:17.1 - For authors

Declare F honestly and early. A low F declaration is not a defect; it is often the correct statement about an early expression. Raise F by changing the expression form itself, not by applying prestige language or by pointing to surrounding machinery.

C.2.3:17.2 - For reviewers

Review the assessed claim or argument and its actual expression. Check the target anchor’s observable predicates, types, semantics and proof terms, and any less-formal essential constituent of that same assessed bearer. A missing proof term required by the claimed anchor matters to F; missing external evidence or lower R is a separate warrant question. Check that status, readability and assurance have not replaced the expression test.

C.2.3:17.3 - For integrators and assurance leads

Use F explicitly in gates and composition analysis, but do not let it absorb work that belongs to G, R, CL, or C.2.LS. Large F gaps across collaborating epistemes are signals for explicit formalization work, not excuses for wishful leveling.

C.2.3:18 - Glossary and Notation

• U.Formality / F. The rigor-of-expression characteristic governed by this pattern.
• Anchor. A named ordinal milestone on the F ladder.
• Sub-anchor. A context-local refinement docked to one parent anchor.
• Delta-F. A content change that alters expression rigor.
• Essential support for composite F. Content or inference required by the assessed composite expression under its named compositional support relation; external evidential warrant is assessed separately.
• Example notation. F = F4, F = F7[HOL], requires F >= F6.

C.2.3:19 - Change Log and Patch Notes

C.2.3:19.1 - Supersession of legacy ladder language

This pattern supersedes deprecated wording that speaks about alternate formality modes, tiers, or editorial ladders. Forward-looking use should speak in F directly.

C.2.3:19.2 - Migration guidance

When refreshing legacy material, assign an initial F from observable content, replace local maturity labels used as rigor surrogates with explicit F declarations, and keep provenance notes only as historical annotations rather than live rigor surrogates.

C.2.3:19.3 - Boundary to language-state facets

For the language-space extension, F does not govern U.ArticulationExplicitness, U.LanguageStateClosureDegree, U.LanguageStateAnchoringMode, or U.LanguageStateRepresentationFactorBundle. Contexts MUST NOT hide thresholds for those facets as pseudo-levels or submodes of F; those facets remain explicitly governed by C.2.LS and its subordinate patterns.

C.2.3:End

C.2.LS - U.LanguageStateFacetProfile - Thin profile bundle for language-state facets

Type: Definitional (D) Status: Stable Normativity: Normative unless marked informative

Plain-name. Language-state facet profile.

Use this pattern when. Use C.2.LS when a U.Episteme publication needs one explicit profile that keeps formality, articulation, closure, anchoring, representation factors, and local thresholds visible together.

What goes wrong if missed. Teams replace the facet profile with a maturity adjective such as ready, raw, or stable, then use that label to choose routes, decide whether to reopen, interpret Bridges, or make publication decisions. The label hides the actual facet values.

What this buys. A thin, decomposable profile bundle: each facet keeps the definition and tests supplied by its own pattern, while the profile gives authors, assurance readers, and integrators one place to publish a threshold-relevant language-state position.

C.2.LS:1 - Problem frame

Once position claims in the declared language-state chart over U.CharacteristicSpace must be published and compared, teams need one thin profile bundle that keeps the relevant facets visible as one explicit facet profile without turning that profile into a second characteristic calculus or a surrogate maturity progression.

C.2.LS:2 - Problem

Without a dedicated profile bundle, authors blur articulation, closure, anchoring, and representation into one vague maturity story, or they silently reuse F as a surrogate. That blocks admissible threshold publication, undercuts A.16 move guards, and makes school-to-school bridge work harder than it needs to be.

C.2.LS:3 - Forces

C.2.LS:4 - Solution

U.LanguageStateFacetProfile is a typed profile bundle that names the facets by which position claims in the declared language-state chart over U.CharacteristicSpace are published and interpreted:

• formalityRef -> U.Formality from C.2.3
• articulationExplicitnessRef -> U.ArticulationExplicitness from C.2.4
• languageStateClosureDegreeRef -> U.LanguageStateClosureDegree from C.2.5
• languageStateAnchoringModeRef -> U.LanguageStateAnchoringMode from C.2.6
• languageStateRepresentationFactorBundleRef -> U.LanguageStateRepresentationFactorBundle from C.2.7
• thresholdRefs? -> context-local threshold declarations over the named facets
• routeNotes? -> informative notes that help interpret routing or reopening decisions

C.2.LS therefore defines only the profile bundle; it defines neither an individual characteristic nor a trajectory. A.18/A.19 supply characteristic semantics, A.16 defines admissible moves, and E.18 governs an independently selected TransformationFlowStructure.

C.2.LS:4.0a - Kind and profile-bundle boundary

U.LanguageStateFacetProfile is a dependent durable profile-bundle value under the declared U.LanguageStateSpace and U.CharacteristicSpace boundary, not a root U-kind. Its identity is the explicit bundle of language-state facet refs used for position reading and threshold publication. A local dashboard, table, route note, or maturity label is a publication or interpretation over the bundle, not the bundle itself.

C.2.LS:4.1 - Contribution boundary

C.2.LS defines only profile composition and requires the language-state facets to remain explicit and non-collapsed. It does not:

• redefine F;
• invent a second formality progression;
• redefine the scale semantics of AE, CD, LanguageStateAnchoringMode, or U.LanguageStateRepresentationFactorBundle;
• define reopen/backoff moves;
• define endpoint classification or bridge kinds.

C.2.LS:4.2 - Threshold publication discipline

Any threshold used to choose a next question, constrain an admissible move, or begin A.6.P recovery shall be published on explicit named facets in the profile. Do not describe hidden sub-levels of F when the real issue is articulation, closure, anchoring, or the representation-factor bundle.

C.2.LS:4.2.a - Local profile-reading witness

For this pattern, a published facet profile is reviewable when:

• the facet refs are explicit or explicitly inherited from an already pinned upstream publication;
• any threshold-bearing use names the facet whose threshold is being invoked;
• route notes or local overlays remain informative and visibly docked to the explicit facet bundle;
• and the profile does not smuggle move rules, bridge rules, gate state, or downstream definitions and tests into the bundle record.

A polished label, one strong facet, or one memorable route note does not by itself yield an admissible profile reading. The profile remains conformant only when the named facets stay explicit and decomposable.

C.2.LS:4.3 - Composite readings

A language-state judgement may be composite, but the composite shall be decomposable. For example, a cue may be:

• low AE,
• medium CD,
• AM.TraceAnchored,
• and representation-wise mixed rather than purely symbolic.

A conforming profile makes this decomposition visible rather than hiding it under one poetic label such as “early” or “raw”.

C.2.LS:4.4 - Corridor map note

C.2.LS participates in the current Language-State & Semantic Routing Corridor, but contributes only the thin facet-profile bundle. Readers who need one map of the full language-state pattern set should read the corridor note in C.2.2a.

That map does not change this boundary: C.2.LS still does not define cue preservation, route-bearing publication, prompt entry, or downstream endpoint use.

C.2.LS:5 - Archetypal Grounding

Tell. A team may say a draft is “still forming” for different reasons. U.LanguageStateFacetProfile forces the team to say whether the issue is low articulation, low candidate-space closure, an anchoring mismatch, or an unresolved representation-factor bundle.

Show (System). An operator alert note can be AM.OperatorLoop anchored and low-closure without being low-formality in every respect.

Show (Episteme). An inquiry note can be low articulation yet already tightly anchored to exemplars and traces.

C.2.LS:6 - Bias-Annotation

The pattern biases authors toward keeping facets explicit and away from master-scale stories. That cost is intentional: the goal is to prevent surrogate progressions from entering the Core.

C.2.LS:7 - Conformance Checklist

• CC-C.2.LS-1 A language-state facet profile SHALL reference the patterns that define its facets rather than invent local unnamed factors.
• CC-C.2.LS-2 C.2.LS MUST NOT redefine F or create a second formality progression.
• CC-C.2.LS-3 Thresholds that matter for routing, reopening, or lexical repair SHALL be published on explicit facets.
• CC-C.2.LS-4 Trajectory accounts that rely on facet profiles SHOULD reuse A.16 move kinds. Apply E.18 only to an independently selected TransformationFlowStructure; use E.18.2 when its mathematical description is needed.
• CC-C.2.LS-5 Composite labels such as early, settled, or ready SHALL NOT stand in for the explicit facet bundle when those states matter operationally.
• CC-C.2.LS-6 Composite readings, overlays, and route notes SHALL remain decomposable into named facets and MUST NOT behave as hidden master factors.
• CC-C.2.LS-7 A profile bundle MUST NOT smuggle move rules, bridge rules, gate state, or downstream definitions and tests into what should remain a thin facet-profile record.

C.2.LS:8 - Common Anti-Patterns and How to Avoid Them

• Shadow progression. Treating early/late as a master scale. Split the judgement into the named facets.
• Formality capture. Letting F stand in for closure or articulation. Publish those facets explicitly.
• Bundle inflation. Turning U.LanguageStateFacetProfile into a second A.19. Keep it thin and referential.
• Opaque readiness. Using words such as ready or mature without naming which facet justifies the claim.
• Route-note capture. Letting an informative route note act as a move rule, gate state, or endpoint rule. Keep route notes informative. Use A.16 for admissible moves, the applicable pattern for a downstream definition or test, the applicable gate or Work pattern for those claims, and an authoritySourceRef only when an external authority actually supplies the rule.

C.2.LS:9 - Consequences

The benefit is clearer source and rule references: early cue work, bridge annotations, and reopen moves can all refer to one explicit facet profile. The trade-off is more explicit profile authoring and threshold publication.

C.2.LS:10 - Rationale

The pattern gives the declared language-state chart over U.CharacteristicSpace one stable record through which its facet bundle can be published together, without taking over definitions and tests supplied elsewhere in FPF.

C.2.LS:11 - SoTA-Echoing

SoTA note. This section does not mint a second rule source. It is a load-bearing alignment statement: the Solution, Conformance Checklist, and boundary discipline of this pattern must match the stance stated here or explicitly justify divergence.

Source boundary. The exact facet meanings and profile rules come from A.18/A.19 and the neighboring FPF patterns. External sources are used only when they change a rule or case.

SysML v2 is deliberately excluded from the positive SoTA basis and from useful lineage for this question. Search prominence and official status do not show that it solves the facet-profile problem, and no demonstrated use here changes a rule or worked case. Treat it as a historical dead end for this comparison. Do not add a replacement citation merely to fill the removed row.

Local stance. The useful bounded result is a small explicit facet profile with local thresholds and decomposable readings, not one maturity adjective or one route-coloured bundle label.

C.2.LS:12 - Relations

• Builds on: A.18, A.19, C.2.2a, C.2.3.
• Coordinates with: C.2.4, C.2.5, C.2.6, C.2.7, A.16.0, A.16, A.16.1, A.16.2, B.4.1, B.5.2.0, E.18, F.9 for any Bridge and bounded-use claim, and F.9.1 only for an optional stance note about that claim.
• Constrains: language-state threshold publication and profile composition.

C.2.LS:13 - Worked Examples and Composition Notes

C.2.LS:13.1 - Operator-facing early alert

A console alert note may be published with a language-state facet profile such as:

• F = F2/F3 because the note is structurally controlled but still lightweight;
• AE = AE2 because candidate anchors are visible but the direct semantic branch or its required structure remains partial;
• CD = CD1 because several routes remain live;
• LanguageStateAnchoringMode = AM.OperatorLoop because the note is directly anchored to operator intervention/work;
• RepresentationFactorBundle = {local, sparse, mixed-symbolic} because alert text and compact codes coexist.

This example shows why no one facet can replace the others. The note is not simply early; it is early in a specific, decomposable way.

C.2.LS:13.2 - Research cue before lexical repair

A felt or trace-anchored mismatch cue in an inquiry note may be:

• low AE,
• very low CD,
• AM.EmbodiedFelt,
• and representation-wise mixed because the cue is partly verbal, partly kinesthetic, partly exemplar-based.

That profile explains why the cue should remain in A.16.1 rather than being forced into A.6.P or B.5.2 immediately.

C.2.LS:13.3 - Architecture-description case

A viewpoint-bound note about the adequacy of an architecture description may be moderately high in F, moderately high in AE, still mid-level in CD, document-mediated in AM, and symbolic in its representation-factor bundle. The profile keeps description-side adequacy distinct from system-side engineering quality.

C.2.LS:13.4 - Same F, different profile

Two notes may share the same rough F band and still differ sharply in articulation, closure, anchoring, and representation factors. One may be operator-loop anchored and low-closure; another may be document-mediated and comparatively closed. The profile bundle keeps that difference visible instead of letting F behave like a master factor.

C.2.LS:14 - Authoring and Review Guidance

C.2.LS:14.1 - For authors

When publishing a language-state facet profile:

1. start from the local authoring problem rather than from a memorized progression;
2. name the facet refs explicitly;
3. add threshold refs only when a threshold changes routing, repair, or another operative decision;
4. avoid global labels such as “mature”, “raw”, or “ready” unless the profile decomposition is already visible.

C.2.LS:14.2 - For assurance readers

An assurance reader should ask:

• is any facet silently replaced by F?
• is a threshold published on an explicit facet rather than on a poetic surrogate?
• do route or reopen claims actually match the published facet bundle?
• are profile notes genuinely informative, or are they smuggling definitions or tests from elsewhere?

C.2.LS:14.3 - For integrators

Integrators should preserve profile references rather than rephrasing them into local slang. A local alias is acceptable only if the underlying facet docking remains explicit and stable.

C.2.LS:15 - Extension and Migration Notes

C.2.LS:15.1 - Local extension rule

Contexts may extend the profile with local threshold refs, route notes, or additional descriptive aids, but they shall not add a new master facet that collapses the named facet set into one summary factor.

C.2.LS:15.2 - Migration from surrogate prose

Older prose often says:

• “the episteme is still early”,
• “the issue is not mature enough”,
• “the note is ready”,
• “the cue is still raw”.

A conforming migration rewrites such statements into explicit facet talk: which facet is low, which is high, which threshold is or is not met, and which move that fact justifies.

C.2.LS:15.3 - Boundary reminder

U.LanguageStateFacetProfile is a coordination record. If authors put move rules, bridge rules, scale rules, or bundle semantics into the profile itself, that content belongs with the pattern that defines the move, Bridge, scale, or bundle.

C.2.LS:16 - Profile Publication Package Discipline

C.2.LS:16.1 - Minimal publishable profile package

A publishable U.LanguageStateFacetProfile should normally carry:

• the declared facet refs for AE, CD, LanguageStateAnchoringMode, and LanguageStateRepresentationFactorBundle;
• any threshold refs that substantively affect routing, repair, bridge interpretation, or review load;
• the local relation to F when readers might otherwise treat F as a surrogate;
• any omission note when a facet is intentionally unpublished, unknown, or locally irrelevant.

One-line publication is admissible only if the facet definitions and tests remain legible.

C.2.LS:16.2 - Partial-profile rule

A partial profile is admissible only when omission is explicit. Publishing AE and CD while deferring LanguageStateAnchoringMode is acceptable; silently omitting it and then speaking in scalar prose such as “early” or “ready” is not.

If only one facet is published, either explain why the others are not included in the current note or point to the note where they are already published.

C.2.LS:16.3 - Overlay discipline

Local overlays such as “explicit-but-open”, “trace-heavy”, or “operator-tight” are admissible only when they dock to explicit facet refs. Overlays remain secondary to the declared profile and must not replace the facet bundle.

C.2.LS:17 - Cross-Facet Reading Rule

C.2.LS:17.1 - No master-facet reading

Do not infer the whole language-state profile from one facet. High AE does not entail high CD; strong AM.OperatorLoop does not fix AE or CD; symbolic representation does not entail high F; low CD does not imply low operational consequence.

C.2.LS:17.2 - Threshold interaction rule

When a threshold is expressed over one facet, say whether the other facets are merely informative or also constraining. A Context may allow entry into B.5.2.0 once AE suffices for an explicit open question while still capping CD so rival answers remain live; it may allow entry into A.6.P at AE3+ while still capping CD so the move remains exploratory rather than endpoint-binding.

C.2.LS:17.3 - Transition reading rule

Read profile transitions facetwise. A note may become more explicit without becoming more closed, more document-mediated without changing closure, or more symbolic without becoming more formal. A.16, A.16.1, A.16.2, B.4.1, and B.5.2.0 should therefore cite the facet transition that actually justifies the move.

C.2.LS:18 - Review Matrix and Migration Tests

C.2.LS:18.1 - Review matrix

An assurance reader should ask:

• does each published facet keep the definition and test supplied by its own pattern rather than by surrogate prose;
• does any overlay smuggle a hidden scalar or gate decision;
• are threshold claims tied to the facet that really bears them;
• do cited moves in A.16, A.16.1, A.16.2, B.4.1, or B.5.2.0 actually match the facet bundle;
• if the profile crosses a Bridge or viewpoint boundary, did the author use F.9 for the Bridge, bounded-use claim, and loss account, and keep any optional F.9.1 stance note separate rather than importing it as a fake facet?

C.2.LS:18.2 - Migration test for source prose

Source phrases such as “still immature”, “not ready yet”, or “already stable enough” should be unpacked into: which facet is claimed, which anchor or bundle member justifies it, which threshold or route consequence follows, and which cited rule or external authoritySourceRef justifies that consequence.

C.2.LS:18.3 - Comparative profile use

Compare profiles facetwise unless a Context has published an explicit local aggregation for reporting. Such an aggregation remains secondary and must not replace the profile in norms, thresholds, or bridge claims.

C.2.LS:End

C.2.4 - U.ArticulationExplicitness — How Explicit Is an Episteme’s Meaning for Its Use?

Type: Definitional (D) Status: Stable Normativity: Normative unless marked informative

Plain-name. Articulation explicitness.

Use this pattern when. Use C.2.4 when the next move depends on how explicitly a governed episteme’s meaning is articulated for its semantic branch and receiving use.

What goes wrong if missed. A formal-looking sentence is treated as semantically ready, a real early cue is discarded as too vague, or every partly explicit note is forced through relation repair even when it is a plan, MethodDescription, Work claim, representation, question, characteristic, or ordinary domain statement.

What this buys. One branch-neutral ordinal characteristic: a stable cue can acquire recoverable governed structure and a complete form for its actual semantic branch, with meaning that remains stable in a receiving use, without confusing articulation with formality, closure, truth, trust, or endpoint authority.

C.2.4:1 - Problem frame

A governed U.Episteme can matter while its semantic shape is only partly explicit. The declared language-state chart over U.CharacteristicSpace therefore needs one basis-slot pattern for the degree to which that shape is explicitly articulated, without assuming in advance whether the direct branch is relational, planning, method, Work, representation, prompt, characteristic, or ordinary domain content.

C.2.4:2 - Problem

When articulation explicitness stays implicit, authors either overstate readiness for a receiving pattern or hide useful early structure. Reusing F for this judgement creates a category error: formality concerns rigor of expression, while articulation concerns whether the meaning needed by the actual receiving use is explicit. A relation-shaped ladder creates a second error by scoring other well-formed claim kinds as immature merely because they are not relations.

C.2.4:3 - Forces

C.2.4:4 - Solution

U.ArticulationExplicitness is an ordinal characteristic of the degree to which a governed episteme’s semantic structure is explicitly articulated for its branch and receiving use. It orders progression from a cue to a complete branch-appropriate expression whose meaning remains stable in a named receiving use. The common direction is independent of the semantic branch.

C.2.4:4.0a - Kind and characteristic boundary

U.ArticulationExplicitness is a dependent durable characteristic value under the declared U.LanguageStateSpace / U.CharacteristicSpace boundary, not a root U-kind. Its identity is the articulation-explicitness basis slot and ordinal scale discipline for governed episteme publication positions. Local thresholds, route labels, and score-table columns may reference it, but they do not create a separate U-kind.

C.2.4:4.1 - Characteristic specification

• Kind: CHR characteristic.
• Scale discipline: ordinal.
• What rises: semantic shape becomes more explicit.
• What does not follow automatically: truth, trust, closure, admissibility, or formality.

AE is therefore independent from F, from LanguageStateClosureDegree, and from endpoint authority.

Use C.2.8 to compare how much selected structure a reader can correctly extract under stated preparation, access and budget, including when both expressions already meet the same AE threshold. Reader recovery supports an AE judgment about explicit articulation; it does not turn the AE0–AE5 progression into a scale of extractable structural amount.

C.2.4:4.2 - Starter anchor set

The anchors are a starter set. A local use may refine them, but it shall keep the common direction and the distinction from F intact. A refined anchor may be branch-relative; it may not make relation structure the universal measure of articulation.

C.2.4:4.3 - Use discipline

• An entry threshold may be stated in AE for the direct semantic branch named by the current use.
• A.6.P is only the relational branch. A note does not enter it merely because a table, arrow, or sentence looks relation-shaped.
• AE may justify why an episteme remains in A.16.1 or B.4.1 while its branch or required structure is still unresolved.
• A local threshold shall name both the intended receiving pattern and the branch-appropriate structure it requires.
• AE shall not stand in for closure, confidence, truth, trust, or authorization. High F does not imply high AE, and high AE does not imply high F.

C.2.4:4.4 - Change discipline

Raising AE requires additional recoverable anchors, participants, actions, conditions, bounds, or stable receiving-use structure appropriate to the current branch. Lowering AE is admissible under A.16.2 when a prior articulation proves over-committed, misleading, or routed to the wrong branch.

C.2.4:5 - Archetypal Grounding

Tell. “Something is off” may be a real cue even before its relation participant, field meaning, representation position, bearer, intended activity or plan, actual Work occurrence, reliance use, evaluator, or ordinary domain meaning is explicit. If the cue says only “role,” route it through E.10.ROLE; do not presume a work-facing kind or assignment.

Show (System). An operator alert cue grounded in a disturbance trace may be stabilized as a candidate intervention cue before a full work relation or reliance relation specification exists.

Show (Episteme). A research note may name a contrast and exemplars before it has a clean proposition.

C.2.4:6 - Bias-Annotation

The pattern legitimizes early cues. The counter-bias is explicit: low AE never licenses hidden semantics or unreviewable leaps.

C.2.4:7 - Conformance Checklist

• CC-C.2.4-1 AE SHALL NOT be treated as a synonym for F.
• CC-C.2.4-2 A route change SHOULD require the local articulation threshold declared for that receiving branch; A.6.P applies only to a current relational branch.
• CC-C.2.4-3 AE judgements that drive routing or use SHALL cite the anchors, participants, actions, conditions, bounds, or other branch-appropriate structure that justifies the chosen level.
• CC-C.2.4-4 Raising AE SHALL NOT be described as if it automatically settled closure, truth, trust, authority, or admissibility.
• CC-C.2.4-5 Relation-shaped notation SHALL NOT raise the level or select A.6.P when the actual claim belongs to another branch.

C.2.4:8 - Common Anti-Patterns and How to Avoid Them

• Formal-looking but semantically thin. High F, low AE. Declare both.
• Mystical cue immunity. Low AE is presented as exempt from authoring discipline. Preserve it, but state what remains unresolved.
• Ready-by-tone. A sentence sounds precise, so authors assume AE3+. Publish the actual recoverable structure.
• Relation-shaped shortcut. Arrows, columns, or grammatical subjects and objects are treated as proof that the claim is relational. Recover the actual claim kind and route its branch before assigning the higher level.

C.2.4:9 - Consequences

The benefit is admissible publication of early cues and branch-aware threshold setting. The trade-off is that authors must distinguish not yet explicit from already formal and must name the receiving branch rather than treating relation repair as the universal destination.

C.2.4:10 - Rationale

AE is one basis slot in the declared language-state chart over U.CharacteristicSpace. Without it, A.16.0, A.16.1, and B.4.1 cannot state crisp entry, seam, and completion conditions.

C.2.4:11 - SoTA-Echoing

The distinction echoes work on sketching, focusing/TAE, embodied cue capture, and representation probing: a cue can be real and operationally relevant before it becomes fully explicit.

C.2.4:12 - Relations

• Builds on: A.18, C.2.2a, C.2.LS.
• Coordinates with: C.2.1, C.2.5, C.2.8, A.16.0, A.16, A.16.1, A.16.2, A.3.1, A.6.P, A.6.3.RT, A.15, A.15.1, B.4.1, B.5.2.0, C.2.P.DR, and C.16.P.
• Constrains: articulation thresholds for routing and repair.

C.2.4:13 - Worked Examples and Edge Cases

C.2.4:13.1 - High formality, low articulation

A template may be syntactically precise and high in F, yet still low in AE because the actual participants, field meanings, bearer, planned action, admitted Work occurrence, reliance move, evaluator, or ordinary domain meaning remains unclear. A local system-role kind, classification, or assignment is selected only after evidence supports that branch. Formal-looking language does not make its semantic route recoverable.

C.2.4:13.2 - Plain plan, high articulation

The note At 14:00, Maintenance Team 2 will isolate Pump P-17, replace Seal S-4, and restore service only after Leak Test LT-9 passes uses ordinary language and little formal notation. It can still reach AE4: the planned actor, affected entity, ordered actions, time, and completion condition are explicit enough for the planning branch. It routes to A.15; the note describes planned actions, while A.15.1 governs any admitted Work occurrence. The note needs no relation repair merely to count as explicit.

C.2.4:13.3 - Relation-looking but wrongly routed

A row Maintenance Team 2 | Pump P-17 | isolate | 14:00 looks slot-shaped. If it records intended action, however, it is a compact plan row rather than proof of a durable relation. Its layout does not raise AE until the planning meaning and conditions are recoverable, and it does not select A.6.P.

C.2.4:13.4 - Threshold edge case

A cue with a stable trigger and candidate anchors may still sit between AE2 and AE3 because its direct branch is unresolved. Keep it in B.4.1 or A.16.1, state what is missing, and apply the threshold of the branch eventually selected rather than a universal relation threshold.

C.2.4:14 - Authoring and Review Guidance

C.2.4:14.1 - Author prompt

To assign AE, ask:

• is a stable cue, question, or contrast nameable;
• which anchors, participants, actions, fields, or meanings are visible;
• is the direct semantic branch recoverable;
• is a complete form for that branch publishable;
• can the named receiving use interpret it without reconstructing the meaning from the source?

C.2.4:14.2 - Review prompt

A reviewer should reject an AE claim based only on rhetorical confidence or relation-shaped presentation. The claimed level should be supported by the branch-appropriate anchors, participants, actions, fields, meanings, conditions, bounds, or stable receiving-use structure.

C.2.4:14.3 - Threshold publication reminder

If AE determines whether an episteme stays in A.16.1, passes through B.4.1, or enters a direct receiving pattern, publish the local threshold and name that branch. Use A.6.P only for the relational branch; do not borrow its threshold for plans, methods, Work, representations, prompts, characteristics, or ordinary domain claims.

C.2.4:15 - Extension and Migration Notes

C.2.4:15.1 - Local anchor refinement

Contexts may refine the starter anchor set with subanchors, but the refinement must preserve the ordinal direction and the distinction from F and CD.

C.2.4:15.2 - Migration from vague articulation prose

When routing or use depends on articulation, statements such as “still vague”, “more explicit now”, or “ready for formalization” should be migrated into explicit AE claims plus the corresponding move or routing claim.

C.2.4:15.3 - Boundary reminder

AE does not govern closure, confidence, or warrant. If authors want those meanings, they must publish them through their own governing patterns.

C.2.4:16 - Articulation Publication Package Discipline

C.2.4:16.1 - Minimal articulation package

An AE claim that changes routing or use should be published with more than a level token. State:

• the exact episteme publication being judged;
• the stable cue, question, or contrast;
• the candidate anchors, participants, actions, fields, or meanings relevant to the current branch;
• the branch-appropriate structure already recoverable and any decision-relevant gap;
• the grounds for the level;
• the named next use and its local threshold when the level is used to change route.

Unresolved claim-bearing role wording goes first to E.10.ROLE. A bare AE3 label is insufficient when the supporting structure and intended receiving branch are absent.

C.2.4:16.2 - Threshold package for route change

When AE controls a route change, publish the intended receiving pattern, its semantic branch, the minimum recoverable structure it requires, and the current evidence that the publication meets or misses that threshold. A relational route may name A.6.P; another branch names its own receiving pattern.

C.2.4:16.3 - Evidence-limited rise rule

AE may rise only as far as the published branch-appropriate structure—including any relevant anchors, slots, or contrasts—warrants. Stylistic polish, templates, or rhetorical confidence do not raise AE on their own.

C.2.4:17 - Threshold Crossing and Split Handling

C.2.4:17.1 - Branch-aware high-articulation exits

At AE3+, use the local threshold of the direct branch rather than one universal destination:

• for an actual relation claim, restore precision through A.6.P when needed, then use its direct relation pattern;
• for a plan or intended activity, use A.15;
• for a Method, use A.3.1, while its MethodDescription remains an episteme under C.2.1;
• for a dated Work-occurrence claim, use A.15.1 to test or recover admission;
• for a representation claim, use its direct subject pattern; use C.2.P.DR when declarative form is being overread, adding A.6.3.RT only when a representation transition is current;
• for an abductive prompt or explicit open question, use B.5.2.0 or the direct question pattern;
• for a Characteristic or Scale claim, use A.17 and A.18, with C.16.P when its scalar wording hides the construction;
• for an ordinary domain claim, keep the episteme publication under C.2.1 and use the direct domain pattern that governs its subject.

If the branch or threshold is unresolved, keep the episteme in B.4.1 or A.16.1 and state what is still missing. AE reports recoverable articulation; it does not itself choose the branch or authorize the receiving use.

C.2.4:17.2 - High-articulation, low-closure cases

A note may reach AE4+ while remaining low or mid in CD. In such cases state that articulation is sufficient for precise handling while closure still leaves rival routes or frames live.

C.2.4:17.3 - Articulation claims for separate fragments

Scope each fragment’s articulation claim to its receiving use; do not assign one averaged level that hides the actual route structure. The fragments may remain in the same note or publication when their scopes are clear.

C.2.4:18 - Review Matrix and Endpoint Boundary Tests

C.2.4:18.1 - Review matrix

A reviewer should ask:

• are the named anchors genuinely present rather than presupposed;
• does the level rest on recoverable meaning rather than tone, formatting, arrows, or columns;
• is the direct semantic branch explicit, or is a relation route being inferred from presentation alone;
• are the participants, actions, fields, meanings, conditions, bounds, or ordinary wording required by that branch still hidden;
• has an intended activity or plan been mislabeled as Tech Work before an occurrence is admitted;
• if AE justifies a route change, does the publication meet the named receiving pattern’s entry conditions?

C.2.4:18.2 - Endpoint-boundary test

High AE does not by itself authorize endpoint claims, gate claims, or quality ascriptions. If such consequences appear, show which downstream governing pattern takes over.

C.2.4:18.3 - Migration note for false precision

Rigid templates, capitalized labels, or tidy sentence rhythm can simulate articulation. Migration should therefore test whether the claimed branch-appropriate structure, including any required anchors or slots, is really recoverable; if not, the articulation level should drop.

C.2.4:End

C.2.5 - U.LanguageStateClosureDegree — How Fixed Is the Current Candidate Space?

Type: Definitional (D) Status: Stable Normativity: Normative unless marked informative

Plain-name. Language-state closure degree.

Use this pattern when. Use C.2.5 when a governed U.Episteme publication must say how fixed its candidate space, route space, or frame space has become before endpoint use, reopening, or retreat.

What goes wrong if missed. A confident tone is mistaken for closure, closure is mistaken for truth or gate authority, or a closure drop leaves endpoint expectations and route commitments silently hanging.

What this buys. A separate ordinal characteristic for closure degree, so teams can distinguish exploration, stabilization, selected route, guarded fixation, and admissible retreat without collapsing closure into formality, articulation, warrant, or obligation.

C.2.5:1 - Problem frame

A governed U.Episteme may already be explicit enough for publication while its declared position claim remains intentionally open to rival routes or frames. The declared language-state chart over U.CharacteristicSpace therefore needs a separate pattern defining the closure-degree basis slot: how fixed or closed the current candidate space has become.

C.2.5:2 - Problem

Closure is often hidden inside vague words such as “ready”, “settled”, or “open”. When closure is not explicit, teams cannot reason cleanly about reopen, sketch-backoff, or the admissibility of endpoint docking.

C.2.5:3 - Forces

C.2.5:4 - Solution

U.LanguageStateClosureDegree is an ordinal characteristic over how fixed the current candidate set, framing, and admissible next moves are in a published position claim in the declared language-state chart over U.CharacteristicSpace.

C.2.5:4.0a - Kind and characteristic boundary

U.LanguageStateClosureDegree is a dependent durable characteristic value under the declared U.LanguageStateSpace / U.CharacteristicSpace boundary, not a root U-kind. Its identity is the closure-degree basis slot and ordinal scale discipline for governed episteme publication positions. Claims about local route commitments, gates, or authority states remain separate from the closure-degree claim. When one matters to the current use, test it against its applicable rule and current case facts.

C.2.5:4.1 - Characteristic specification

• Kind: CHR characteristic.
• Scale discipline: ordinal.
• What rises: the local state becomes more fixed or more binding.
• What does not follow automatically: truth, trust, formality, or quality.

C.2.5:4.2 - Starter anchor set

C.2.5:4.3 - Non-collapse rules

LanguageStateClosureDegree is not:

• F;
• articulation explicitness;
• gate decision;
• evaluator confidence;
• warrant strength.

A text may be highly explicit but low-closure, or low-explicitness but already high-closure by policy. Those states shall not be collapsed.

C.2.5:4.4 - Change discipline

Increasing CD requires narrowing candidate space, route space, or frame space explicitly. Lowering CD is admissible only through a named move such as reopen, sketchBackoff, or respecify, with a retained-witness and discarded-assumption note.

An ordinary PatternID in governingPatternRef locates the FPF rule relevant to the closure claim. Use a separate relationFunctionClaimRef for its exact defining or constraining ClaimGraph only when admissible interpretation, comparison, migration, publication, or reuse depends on that exact rule identity (E.10, E.4.PFR). Use authoritySourceRef when a non-pattern source carries the relevant authority.

C.2.5:5 - Archetypal Grounding

Tell. Two notes may look equally explicit, but one is still intentionally open while the other is already committed to a single route.

Show (System). An incident cue can be routed to rollback while remaining reopenable if new evidence arrives.

Show (Episteme). A hypothesis sketch can be highly articulated but still low closure because rival explanations remain live.

C.2.5:6 - Bias-Annotation

The pattern makes closure explicit, which resists hidden overconfidence but may feel heavy to authors who prefer implicit consensus.

C.2.5:7 - Conformance Checklist

• CC-C.2.5-1 Closure SHALL be declared independently from F and AE when it matters for routing, docking, or reopening.
• CC-C.2.5-2 Reopen/backoff moves SHALL cite the prior closure state they are relaxing.
• CC-C.2.5-3 Strong-closure states SHOULD name the guard, governingPatternRef, or authoritySourceRef that makes the closure binding.
• CC-C.2.5-4 A closure drop SHALL NOT silently preserve an endpoint-use claim when the supporting route or publication form no longer supports it.

C.2.5:8 - Common Anti-Patterns and How to Avoid Them

• Closure by mood. A sentence sounds decisive, so teams assume high closure. Publish CD explicitly.
• Irreversible drift. Closure rises informally but no reopening condition exists. Use A.16.2.
• Authority smuggling. High closure is treated as if it were automatically a gate or obligation. Check the applicable gate condition for a gate claim; use A.2.8 to check whether the claimed obligation obtains.

C.2.5:9 - Consequences

The benefit is admissible handling of stabilization, commitment, and reopening. The trade-off is more explicit state declaration and more explicit retreat records.

C.2.5:10 - Rationale

Closure is the route-governance basis slot that complements articulation within the declared language-state chart over U.CharacteristicSpace. A.16.0 and its seam species need both.

C.2.5:11 - SoTA-Echoing

The facet aligns with iterative design, open-world reasoning, and exploratory search practices where closure is a governance choice rather than a hidden by-product.

C.2.5:12 - Relations

• Builds on: A.18, C.2.2a, C.2.LS.
• Coordinates with: C.2.4, A.16.0, A.16, A.16.1, A.16.2, B.4.1, B.5.2.0.
• Constrains: reopen, backoff, and endpoint docking guards.

C.2.5:13 - Worked Examples and Retreat Cases

C.2.5:13.1 - Explicit but still open

A note may sit at AE4 yet only CD1 because rival explanatory frames are still live. The important lesson is that explicit publication does not imply settled closure.

C.2.5:13.2 - Strong closure under policy guard

An operator rule may be only moderate in AE but high in CD because policy already fixes the next step under the current horizon. This shows why closure is governance-facing, not merely stylistic.

C.2.5:13.3 - Reopen case

A route may move from CD4 back to CD2 when counter-evidence appears. A conforming publication does not hide this as embarrassment; it records the retreat as an admissible A.16.2 move.

C.2.5:14 - Authoring and Review Guidance

C.2.5:14.1 - Author prompt

To assign CD, ask:

• how many rivals remain live?
• is one route merely preferred, or actually fixed?
• what guard, governingPatternRef, or authoritySourceRef makes the closure binding?
• what would count as an admissible reopen trigger?

C.2.5:14.2 - Review prompt

An assurance reader should ask whether closure is being inferred from tone, from hierarchy, or from social force rather than from an explicit narrowing of route or frame space.

C.2.5:14.3 - Governance note

Whenever a claim about a gate, commitment, or endpoint use depends on CD, the supporting guard, governingPatternRef, or authoritySourceRef should be visible.

C.2.5:15 - Extension and Migration Notes

C.2.5:15.1 - Local anchor refinement

Contexts may refine the starter closure anchors, but shall keep the ordinal progression and the explicit link to reopen/backoff discipline.

C.2.5:15.2 - Migration from readiness language

Words such as “settled”, “closed”, “final”, or “open” should be treated as migration prompts into explicit CD claims and, where needed, into named A.16.2 moves.

C.2.5:15.3 - Boundary reminder

CD is not warrant strength and not a gate decision. It speaks only about the local fixity of the current episteme or publication position and its candidate space.

C.2.5:16 - Closure Publication Package Discipline

C.2.5:16.1 - Minimal closure package

A publishable CD claim should name what has narrowed:

• the rival routes or frames that remain live;
• the route, frame, or interpretation that is currently privileged or fixed;
• the guard, governingPatternRef, authoritySourceRef, or policy that makes the narrowing binding;
• the condition under which an admissible reopen or backoff would occur.

A bare claim such as “now settled” is insufficient when closure affects routing or authority.

C.2.5:16.2 - Narrowing-source rule

Closure may rise because evidence eliminates rivals, governance temporarily binds a route, or protocol requires fixation under time pressure. State the source of narrowing because different sources imply different reopen expectations.

C.2.5:16.3 - Partial-closure rule

Closure may be local rather than global. A note can be closed enough for one route while remaining open about broader explanation or classification; a prompt may be fixed enough to hold one question steady while still open enough that rival answers remain live. Publish that locality explicitly.

C.2.5:17 - Continuing and Withdrawn Authority Handling

C.2.5:17.1 - Authority retention rule

If higher CD carried endpoint expectations, guard claims, or route commitments, a closure drop must say which consequences remain and which are withdrawn. Treat any actual authority-relation change separately under its direct pattern, as required by A.16.2.

C.2.5:17.2 - Admissible retreat record

An admissible retreat through reopen, sketchBackoff, or respecify should retain:

• the prior closure state;
• the reason the prior fixation no longer holds;
• the assumption or route being relaxed;
• the still-binding remainder, if any.

This prevents false continuity after retreat.

C.2.5:17.3 - Closure versus obligation boundary

High CD may coexist with obligations. When prose treats “closed” as “must now be done”, use A.2.8 to identify the duty bearer, duty, and instituting rule and basis; retain the applicable governingPatternRef or authoritySourceRef for that obligation claim.

C.2.5:18 - Review Matrix and Reopen Tests

C.2.5:18.1 - Review matrix

An assurance reader should ask:

• what was narrowed;
• by what governingPatternRef, authoritySourceRef, or guard it was narrowed;
• what would reopen it;
• which gate, release, work, evidence-use, assurance, policy, or adjudication claims depend on the stated closure conditions and remain supported;
• whether the publication distinguishes local closure from whole-context finality.

C.2.5:18.2 - False-finality test

Words such as “final”, “settled”, or “decided” should be challenged unless the route-governance and guard package is explicit. Final-sounding rhetoric often overstates actual closure.

C.2.5:18.3 - Cross-facet reminder

Low CD does not imply low articulation, low anchoring, or poor representation. Reviewers should not treat openness as low seriousness.

C.2.5:18.4 - Split-closure review case

A publication may be closed enough for immediate local work use or reliance use while remaining open about broader explanation, long-horizon consequences, or alternative classification. Allow the split when locality is explicit; reject prose that advertises whole-case finality when only one language-state segment is fixed.

C.2.5:End

C.2.6 - U.LanguageStateAnchoringMode — How Is the Episteme Anchored?

Type: Definitional (D) Status: Stable Normativity: Normative unless marked informative

Plain-name. Language-state anchoring mode.

Use this pattern when. Use C.2.6 when a U.Episteme publication needs to say whether its current position is anchored in bodily enactment, traces, model state, document mediation, operator loop, or an explicit mixed regime.

What goes wrong if missed. A prose note hides an embodied, trace-based, model-latent, or operator-loop cue; bridge-loss notes disappear; and the final publication face is mistaken for the original anchoring regime.

What this buys. A nominal anchoring-mode characteristic that keeps source anchoring, publication face, carrier, bridge loss, evidence, and reliance claims separate while still letting teams compare language-state positions.

C.2.6:1 - Problem frame

Published position claims in the declared language-state chart over U.CharacteristicSpace differ not only by articulation and closure, but by how the U.Episteme named in that claim is anchored to bodies, traces, model states, documents, or operator loops.

C.2.6:2 - Problem

Without an explicit anchoring-mode declaration, embodiment and source anchoring are smuggled into informal prose or folded into representation terms. That makes cues harder to compare, hides bridge-loss notes, and leaves operator-facing language-state work without an explicit anchoring rule.

C.2.6:3 - Forces

C.2.6:4 - Solution

U.LanguageStateAnchoringMode is a nominal characteristic that states the primary anchoring regime of the U.Episteme named by the current position claim: bodily enactment, trace, model state, document, operator loop, or an explicit mixed regime. If source anchoring and current publication-face anchoring differ, both shall be distinguished rather than collapsed.

C.2.6:4.0a - Kind and characteristic boundary

U.LanguageStateAnchoringMode is a dependent durable characteristic value under the declared U.LanguageStateSpace / U.CharacteristicSpace boundary, not a root U-kind. Its identity is the anchoring-mode basis slot and nominal family for episteme publication positions. This characteristic does not decide evidence, source-currentness, publication-face, carrier, Work, gate, or reliance claims; those claims retain their own definitions and tests.

C.2.6:4.1 - Starter family

C.2.6:4.2 - Contribution boundary

U.LanguageStateAnchoringMode is an anchoring-mode characteristic for one U.Episteme position claim. It is not a representation factor bundle, closure state, truth status, evidence relation, source-currentness relation, Work claim, gate claim, or reliance permission by itself. Model-latent, operator-loop, embodied, trace, and document-mediated cases name where the episteme is anchored for the current claim. A publication-face, carrier, source-currentness, bridge-loss, Work, evidence, or gate claim needs its applicable definition or test; anchoring mode alone does not decide it.

If embodiment matters, it shall be declared here or immediately beside this characteristic rather than being hidden inside representation talk.

C.2.6:4.3 - Mixed-mode rule

AM.Mixed is admissible only when the component modes are named explicitly. “Mixed” shall not stand in for an undetermined anchoring mode.

C.2.6:4.4 - Bridge implications

An anchoring shift can matter when a receiving use needs a semantic relation between local senses from different semantic contexts. A shift from AM.EmbodiedFelt or AM.ModelLatent source anchoring to AM.DocumentMediated publication-face anchoring may provide evidence about an F.9 Bridge or bounded-use claim. Use F.9 to state and test the Bridge and the separate bounded-use claim, with its evidence and loss account. Use F.9.1 only for a separate optional stance note about that claim.

C.2.6:5 - Archetypal Grounding

Tell. A felt cue, a controller-side probe score, and a textual design note may all be early cues, but they are anchored differently.

Show (System). An alert episteme directly tied to operator intervention or console control has mode AM.OperatorLoop, even when displayed as text.

Show (Episteme). An episteme published from a model-probe cue grounded in latent state has mode AM.ModelLatent even when rendered into prose.

C.2.6:6 - Bias-Annotation

The pattern prompts authors to declare anchoring when wording such as “the system wants” or “the note suggests” leaves the anchor unclear.

C.2.6:7 - Conformance Checklist

• CC-C.2.6-1 Anchoring mode SHALL NOT be inferred from publication phrasing alone when it matters for source use, reliance, or bridge interpretation.
• CC-C.2.6-2 Embodiment-sensitive or operator-loop cases SHOULD declare the embodiment or operator anchor explicitly.
• CC-C.2.6-3 U.LanguageStateAnchoringMode MUST NOT be collapsed into U.LanguageStateRepresentationFactorBundle.
• CC-C.2.6-4 Mixed-mode declarations SHALL list their component modes explicitly.

C.2.6:8 - Common Anti-Patterns and How to Avoid Them

• Text-only illusion. Treating every cue as document-mediated because it has been written down.
• Representation capture. Using symbolic/distributed labels to hide world-anchoring distinctions.
• Embodiment mystification. Treating bodily or operator-loop cues as beyond explicit publication.

C.2.6:9 - Consequences

The benefit is cleaner reasoning about embodied, operator-facing, trace-based, and model-latent cues. The trade-off is more explicit declaration work and, for shifts involved in semantic Bridges, more explicit bridge loss notes.

C.2.6:10 - Rationale

The declared language-state chart over U.CharacteristicSpace needs one explicit anchoring basis slot so that A.16.0, A.16.1, B.4.1, and F.9.1 can refer to anchoring regime without redefining it.

C.2.6:11 - SoTA-Echoing

The facet is motivated by embodied cognition, operator-facing interaction practice, active inference, and modern model-probing practice, all of which distinguish cue content from anchoring regime.

C.2.6:12 - Relations

• Builds on: A.18, C.2.2a, C.2.LS.
• Coordinates with: A.7, A.16.0, A.16, A.16.1, B.4.1, B.5.2.0, C.2.7, F.9 for any Bridge and bounded-use claim, and F.9.1 only for an optional stance note about that claim.
• Constrains: cue publication and bridge loss notes.

C.2.6:13 - Worked Examples and Bridge-Loss Cases

C.2.6:13.1 - Embodied-to-document shift

A prose publication of an episteme grounded in a bodily felt cue may retain AM.EmbodiedFelt as source mode while using AM.DocumentMediated as publication-face mode. Such a shift may introduce bridge loss, which should be assessed when cross-context equivalence is claimed.

C.2.6:13.2 - Model-latent to operator-loop case

An episteme recording a latent probe score may first be AM.ModelLatent, then be published as an operator-facing alert with AM.OperatorLoop publication-face anchoring when the alert is directly tied to operator intervention or console control. A conforming account should keep both the model-side source mode and the operator-loop publication-face mode visible.

C.2.6:13.3 - Mixed-mode publication

An alert note may admissibly be AM.Mixed when it combines operator-loop anchoring, trace anchoring, and document mediation. The declaration must name each component mode explicitly.

C.2.6:14 - Authoring and Review Guidance

C.2.6:14.1 - Author prompt

When declaring anchoring mode, ask:

• what is the primary anchor kind?
• does bodily or operator participation matter directly?
• is the key anchor trace-based, model-internal, or document-based?
• if multiple modes matter, which ones and why?

C.2.6:14.2 - Review prompt

An assurance reader should watch for the common mistake where prose formatting tricks authors into forgetting the original anchoring mode.

C.2.6:14.3 - Bridge note

If anchoring changes across publication or translation and the receiving use needs a semantic relation between local senses from different contexts, use F.9 for the Bridge, bounded-use claim, and its evidence and loss account. Use F.9.1 only when a separate stance note about that claim helps replace silent equivalence language with a bounded reading.

C.2.6:15 - Extension and Migration Notes

C.2.6:15.1 - Local extension rule

Contexts may add local anchoring modes, but they should do so by extension of the starter family rather than by collapsing the family into a text-vs-world binary.

C.2.6:15.2 - Migration from metaphorical prose

When wording such as “the system wants”, “the note suggests”, or “the operator-facing publication says” leaves anchoring unclear, it should be repaired by naming the anchoring mode and any detector, enactor, or witness needed to explain it.

C.2.6:15.3 - Boundary reminder

U.LanguageStateAnchoringMode does not decide representation, articulation, closure, or trust by itself. It only names how the episteme is anchored.

C.2.6:16 - Anchoring Publication Package Discipline

C.2.6:16.1 - Minimal anchoring package

A publishable U.LanguageStateAnchoringMode claim should normally identify:

• the primary anchor kind;
• any directly relevant embodiment, operator, trace, model, or document witness;
• the transformation chain if the current note is not at the original anchoring site;
• any secondary modes that remain load-bearing.

This is especially important when the final wording is prose, because prose often hides the anchoring regime.

C.2.6:16.2 - Source-versus-face rule

Distinguish the anchoring mode of the source cue from the anchoring mode of the current publication face. A bodily cue written into a document may still require AM.EmbodiedFelt as source mode and AM.DocumentMediated as publication face.

C.2.6:16.3 - Mixed-mode decomposition rule

AM.Mixed is admissible only when its component modes are named and the reason for the mixture is operationally real. The component modes must be determined before the mixed-mode declaration is used.

C.2.6:17 - Anchoring Shift and Transport Discipline

C.2.6:17.1 - Shift declaration rule

When an episteme crosses from one anchoring mode to another, state whether the shift is merely publication-level or whether it changes what can be preserved, compared, or trusted. A move from operator-loop enactment to report prose, for example, often drops timing, bodily load, and enactment friction.

C.2.6:17.2 - Bridge-loss rule

If an anchoring shift raises a semantic-correspondence question between local senses from different contexts, use F.9 to state and test the Bridge and its bounded-use claim, with the loss account; add an F.9.1 stance note only when it helps explain that claim. C.2.6 only requires the shift to be noticed and not misrepresented as lossless.

C.2.6:17.3 - Same-content illusion test

Two cues may be paraphrased into the same sentence while remaining differently anchored. If the anchoring regime differs, the cues are not automatically substitutable.

C.2.6:18 - Review Matrix and Extension Tests

C.2.6:18.1 - Review matrix

An assurance reader should ask:

• what the original anchoring regime was;
• what the current publication regime is;
• whether the transformation chain is explicit;
• whether any bridge loss or stance note is missing;
• whether a declared mixed mode is genuinely decomposed.

C.2.6:18.2 - Local extension test

A new local anchoring mode is justified only when it answers a distinct anchoring question that the starter family cannot express without distortion.

C.2.6:18.3 - Cross-facet reminder

Anchoring mode often correlates with representation and articulation changes, but it does not define or test them. Reject prose that uses AM.ModelLatent, AM.EmbodiedFelt, or AM.OperatorLoop as shorthand for being vague, early, trustworthy, or closed.

C.2.6:End

C.2.7 - U.LanguageStateRepresentationFactorBundle — How Is the Representation Organized?

Type: Definitional (D) Status: Stable Normativity: Normative unless marked informative

Plain-name. Language-state representation-factor bundle.

Use this pattern when. Use C.2.7 when a governed U.Episteme publication needs to describe how its representation is organized through locality/distribution, sparsity/density, symbolicity/subsymbolicity, or an explicit local factor bundle.

What goes wrong if missed. One representation label such as symbolic, distributed, or encoding basis starts doing too much work: it hides articulation, closure, anchoring, bridge loss, or comparison assumptions.

What this buys. A factor-bundle account of representation that keeps representation organization separate from anchoring, articulation, closure, evidence, carrier, and admissible-use claims.

C.2.7:1 - Problem frame

Published position claims in the declared language-state chart over U.CharacteristicSpace must keep representation factors such as locality, sparsity, and symbolicity distinct.

C.2.7:2 - Problem

Using EncodingBasis without its underlying factors collapses several independent choices. That makes comparison brittle and encourages one-factor stories such as distributed = informal or local = precise.

C.2.7:3 - Forces

C.2.7:4 - Solution

U.LanguageStateRepresentationFactorBundle is a factor bundle, not one scalar characteristic. The minimal core starter set is:

• U.LocalityDistribution
• U.Sparsity
• U.Symbolicity

Authors may publish a local alias such as EncodingBasis, but it shall dock back to the underlying factor bundle instead of replacing it.

C.2.7:4.0a - Kind and factor-bundle boundary

U.LanguageStateRepresentationFactorBundle is a dependent durable factor-bundle value under the declared U.LanguageStateSpace / U.CharacteristicSpace boundary, not a root U-kind. Its identity is the bundle of representation factors used for governed episteme publication positions. Individual factors, aliases, dashboards, model probes, or publication forms do not become separate U-kinds unless another governing pattern admits them.

C.2.7:4.1 - Minimal factor readings

Before comparing factors, identify the representation and the units being described. A model-side code and its written summary need not have the same factors.

For example, one scheme represents four states by four distinct units, with one unit active at a time. Another represents 28 states by the unordered pairs of eight units, with two units active at a time. An individual unit identifies the state in the first scheme; a pair identifies it in the second. The active-unit fractions are equal, 1/4 = 2/8, although locality differs. These fractions do not define a universal sparse/dense threshold.

In the second scheme, [0,1,0,0,0,0,1,0] and the list of active positions {2,7} express the same code: positions 2 and 7 are active and the other six are inactive. Suppose decoder D1 assigns that pair to state S. Both inscriptions then denote S. If decoder D2 assigns the same pair to state T, the interpretation has changed despite the unchanged list. The shorter inscription alone changes neither the underlying code nor its factors.

When the list travels separately, supply the unit order and decoding rule needed for its next use, directly or through an accessible return to the exact source content. Counting written marks instead of active units requires a different comparison basis.

C.2.7:4.2 - Non-collapse rules

LanguageStateRepresentationFactorBundle is not:

• LanguageStateAnchoringMode;
• ArticulationExplicitness;
• LanguageStateClosureDegree;
• evidence, source-currentness, publication authority, work permission, or gate readiness.

A representation may be distributed yet have high trace anchoring; symbolic yet low-articulation; sparse yet low-closure. Those combinations shall remain visible. A model-state, embedding, vector-store relation, or operator-facing publication face may fill one or more representation factors, but the factor bundle does not decide the episteme, carrier, evidence, bridge, work, or gate relation by itself.

C.2.7:4.3 - Extension rule

Authors may add extra local representation factors only if the extension is published as a factor addition rather than as a new master factor that erases the core factor bundle.

C.2.7:5 - Archetypal Grounding

Tell. A model-state cue can be highly distributed but still trace-anchored; a symbolic note can be low articulation if its semantics are still vague.

Show (System). An operator decision aid may mix sparse alert codes and symbolic method-description text.

Show (Episteme). A research probe can move from distributed activation patterns to sparse symbolic hypotheses without any one-step formality story.

C.2.7:6 - Bias-Annotation

The pattern resists folk theories that try to line up one representation factor with one stage or progression story.

C.2.7:7 - Conformance Checklist

• CC-C.2.7-1 LanguageStateRepresentationFactorBundle SHALL be published as a factor bundle, not as a hidden scalar.
• CC-C.2.7-2 Local aliases such as EncodingBasis MAY exist only with an explicit docking to the governed factors.
• CC-C.2.7-3 Representation factors MUST NOT silently replace LanguageStateAnchoringMode or LanguageStateClosureDegree.
• CC-C.2.7-4 New local factors SHALL preserve the factor-bundle discipline.

C.2.7:8 - Common Anti-Patterns and How to Avoid Them

• One-factor myth. Treating distributed/local or symbolic/subsymbolic as the whole story.
• Progression collapse. Equating representation shifts with formalization or closure.
• Alias capture. Letting EncodingBasis or a similar local alias erase the factor bundle.

C.2.7:9 - Consequences

The benefit is cleaner comparison across schools, substrates, and publication forms. The trade-off is the effort needed to make the relevant factor readings explicit.

C.2.7:10 - Rationale

The factor-bundle design keeps the representation basis-slot family in the declared language-state chart over U.CharacteristicSpace orthogonal to articulation, closure, and anchoring.

C.2.7:11 - SoTA-Echoing

This factorization fits current work on sparse distributed representations, hybrid symbolic/neuro-symbolic representation practices, and interpretability practice.

C.2.7:12 - Relations

• Builds on: A.18, C.2.2a, C.2.LS.
• Coordinates with: C.2.6, A.16.0, A.16, A.16.1, B.4.1, B.5.2.0, F.9 for any Bridge and bounded-use claim, and F.9.1 only for an optional stance note about that claim.
• Constrains: language-state position publication and bridge loss notes around representation shifts.

C.2.7:13 - Worked Examples and Factor Interaction Notes

C.2.7:13.1 - Distributed but explicit

A model-side summary may be representation-wise distributed and still highly explicit once published into a stable symbolic wrapper. This case matters because it blocks the folk myth that distributed implies vague.

C.2.7:13.2 - Symbolic but still low-articulation

A glossary-like note may be fully symbolic while still low in AE because the meaning needed by its receiving use remains unclear. This blocks the opposite myth: symbolic therefore explicit.

C.2.7:13.3 - Mixed representation publication

An operator-facing publication face may combine sparse alert codes, symbolic method-description text, and distributed back-end model summaries. The representation-factor bundle should make that mixture visible instead of compressing it into one label.

C.2.7:14 - Authoring and Review Guidance

C.2.7:14.1 - Author prompt

To publish a representation-factor bundle, ask separately:

• how local or distributed is the representation?
• how sparse or dense is it?
• how symbolic or subsymbolic is it?
• which additional factor, if any, genuinely matters enough to publish?

C.2.7:14.2 - Review prompt

An assurance reader should reject any attempt to use one factor as if it summarized the rest. The factor bundle exists precisely to block that reduction.

C.2.7:14.3 - Cross-facet reminder

Assurance readers should also watch for silent replacement of LanguageStateAnchoringMode, AE, or CD by representation talk.

C.2.7:15 - Extension and Migration Notes

C.2.7:15.1 - Local extension rule

Authors may add extra local factors, but each added factor should answer a distinct question rather than duplicating locality, sparsity, or symbolicity under another label.

C.2.7:15.2 - Migration from alias-heavy prose

Aliases such as EncodingBasis or similar should be unfolded into explicit factor dockings before they are relied upon for comparison, bridge claims, or downstream use.

C.2.7:15.3 - Boundary reminder

U.LanguageStateRepresentationFactorBundle describes representational organization only. It does not determine admissible use, closure, or anchoring by itself.

C.2.7:16 - Factor-Bundle Publication Discipline

C.2.7:16.1 - Minimal representation package

A publishable U.LanguageStateRepresentationFactorBundle should normally show the current factor settings for locality/distribution, sparsity/density, and symbolicity/subsymbolicity, together with any declared extra factor. If a factor is intentionally omitted, say so rather than hiding the omission under a compact alias.

C.2.7:16.2 - No hidden scalar rule

Compact overlays such as “sparse-symbolic” are admissible only when they dock to the underlying factor bundle. No compact label may behave as a hidden master score for comparison, bridge comparison, or stage/progression talk.

C.2.7:16.3 - Alias docking rule

Local aliases such as EncodingBasis are admissible only when their docking to the governed factors is explicit and stable. If an alias compresses several factors, the compression should remain visible.

C.2.7:17 - Factor Interaction and Cross-Facet Reading Rule

C.2.7:17.1 - Interaction rule

Representation factors may correlate, but they do not determine one another. Highly distributed cues can still be sparse; symbolic publications can still be locally dense; mixed symbolicity can coexist with either strong or weak articulation. Publish the actual factor bundle rather than narrating one factor as if it predicted the rest.

C.2.7:17.2 - Cross-facet non-substitution

Representation talk must not silently replace AE, CD, or LanguageStateAnchoringMode. A shift from distributed to symbolic publication may change readability while leaving articulation low, closure open, or anchoring heavily operator-bound.

C.2.7:17.3 - Bridge reminder

If a representation shift matters in transport across contexts, note that the shift may alter what is preserved or salient. Use F.9 for the Bridge and its bounded-use claim when the receiving use needs a semantic relation between local senses from different contexts; use F.9.1 only for a separate optional stance note about that claim.

C.2.7:18 - Review Matrix and Extension Tests

C.2.7:18.1 - Review matrix

An assurance reader should ask:

• are all claimed factors visible in the publication or cited source;
• does any alias hide the factor bundle;
• is one factor being used as if it summarized the whole representation state;
• has representation talk started to replace articulation, closure, or anchoring claims.

C.2.7:18.2 - Local extension test

An additional factor is justified only if it captures a distinct representational question that cannot be reduced to locality, sparsity, or symbolicity. The extra factor should extend the bundle, not become a rival master factor.

C.2.7:18.3 - Migration test for source terminology

Source vocabularies often use “symbolic”, “distributed”, or “encoding basis” as if one term solved the whole classification problem. A conforming migration unpacks the term into explicit factor dockings and then checks whether any cross-facet claims were smuggled into the source label.

C.2.7:18.4 - Bundle-comparison reminder

Representation bundles may be compared across contexts only after the compared factors are explicit. If one context uses a compact local alias and another publishes the full factor bundle, require explicit docking before treating the two descriptions as commensurable.

C.2.7:End

C.2.8 - U.ExtractableStructuralInformation — Structure This Reader Can Recover

Type: Definitional (D) Status: Stable Normativity: Normative unless explicitly marked informative.

C.2.8:1 - Problem frame

Use this pattern when an explanation, pattern text, architecture account or another expressed description must make selected structure recoverable by a particular reader or computational observer. You may be comparing two forms of the same account, deciding whether an added explanation exposes a missing dependency, or checking what an observer can extract with the available preparation and time.

First useful move. Name the relation or distinction the reader needs, identify the available account and its form, and state the preparation, source access and budget that can change recovery. Compare what the reader can correctly recover under those conditions. A useful result can be two sentences: “Both accounts expose the dependency on a durable write. Only the second account exposes why the reporting replica was chosen; this is an author estimate for readers familiar with replication, with the same source access and three-minute budget.”

The primary subject is extractable structural information: how much selected structure this reader or observer can correctly extract from this episteme through this form under the stated conditions. Here an episteme is the claim-bearing account; its form is how those claims are expressed. Prose, a diagram and a combined presentation may express the same claims differently.

What goes wrong if missed. Complete sentences or a shorter explanation can hide a needed condition. An expert may supply it from memory, so a correct answer can conceal what the account failed to explain. Comparing readers with different preparation or assistance can then make one text appear to expose more structure.

What this buys. One common structural question across forms and readers. The author can identify an additional recoverable dependency, preserve a sufficient explanation, or name the precise missing source or prerequisite.

Use an ordinary reading correction directly when the missing relation is already clear and no structural comparison is needed. Use the applicable task or learning evaluation when the live question is performance, burden, retention or transfer. This pattern supplies the structural-information characteristic those evaluations may consume; it does not select an explanation-design method or a universal quality score.

C.2.8:2 - Problem

How can an author or evaluator compare structural recovery while distinguishing the account, its expression, the reader and the conditions of extraction?

A diagram may make dependencies visible without changing the described system. An added prerequisite explanation may change the claims as well as their expression. Two complete accounts may expose different structures within a short reading budget. A successful response can also depend on help that was unavailable for another response. The comparison needs to preserve these differences while retaining one meaning for structural amount.

C.2.8:3 - Forces

C.2.8:4 - Solution

C.2.8:4.1 - Recover the structural question

Begin with the reader’s needed understanding or action. Select the structure that matters to it: for example, a distinction between two alternatives, the dependency that orders two actions, or the reason a design choice changes under a new condition. A study of structural information may instead select a structure family for that research question. Selection need not assign task utility.

Identify the account and form being used. State only the conditions that could change the comparison: relevant concepts and notation the reader can use, available inference or inspection operations, accessible sources and help, and the effort or computation budget. A qualification or course title may locate evidence of preparation; it does not specify the usable knowledge by itself.

Then recover or estimate the selected structure and compare it with the relevant source or correctness criterion. Retain what each expression contributes, what remains missing and what a source return or prerequisite supplies. Reuse a sufficient current result. A new reading trial is useful when its possible outcomes could change the explanation or receiving decision.

Stop when that structural comparison answers the current question. If the selected structure or correctness basis is unresolved, return that gap before assigning an amount. If the practical question is whether a proposed change is worthwhile, use C.11.CRC and C.11 with extraction effort and task value stated separately.

C.2.8:4.2 - Characteristic and arity

Tech name: U.ExtractableStructuralInformation. Plain name: structure this reader or observer can extract. ESI is an abbreviation after the full name has been introduced.

This is an A.17 U.RelationCharacteristic, with arity three over the ordered tuple:

(expressed episteme E, expressing publication form P, reader or observer O)

Its aspect is the amount of selected structure correctly extractable from E through P by O under stated comparison conditions. The characteristic is a dependent characteristic, not a root U-kind.

E retains its C.2.1 identity. P is the entity expressing that episteme in the applicable E.24.PUB publication-form relation and retains the more specific kind supplied by its form pattern. O is the specified human or computational observer. An estimate about a reader class states the relevant preparation and variation among its members; it does not treat the class as another individual reader.

Where exact notation helps, write ESI_C(E, P, O). C fixes the selected structure, correctness criterion, relevant prior knowledge, usable operations, available assistance and tools, access conditions, budget and any other qualification that changes interpretation. These conditions qualify the characteristic of the tuple; they are not an additional bearer or a universal record kind.

Changing only expression can retain E. Adding, omitting or changing substantive claims can identify another episteme; use C.2.1 and the applicable source-to-target rule for that claim. In an explanation use, E.17.EFP’s first screen distinguishes those branches when the difference matters. A comparison of forms alone holds the expressed claims constant.

The presentation carrier belongs in the access conditions when rendering, resolution, searchability or availability affects extraction. Changing access can change the qualified result while E and P remain the same. Attribute that difference to the changed access conditions. Ordinary references to a page, diagram or file are sufficient when they identify the required account and expression without ambiguity.

C.2.8:4.3 - Correct recovery and the expression’s contribution

Correct recovery preserves the selected relation’s participants, predicate, polarity, modality and action-changing conditions under the declared source or criterion. State the unit of structure only as precisely as the comparison needs. A qualitative result can name additional and missing dependencies directly; a count must also define its granularity.

Repeated expression of the same relation does not add structural amount merely by increasing words, boxes or arrows. A count of edges in a representation needs a correspondence to the selected semantic relations before it can count those relations.

Keep two questions distinct when the source contains a false or unsupported claim. A reader may correctly recover that the account asserts that claim. Establishing the claim about the described world requires its subject and evidence criteria. For recovery of warranted source structure, an unsupported relation does not count as a correct member. Recovering the assertion and endorsing its content are different results.

Prior knowledge may supply vocabulary, notation and inference used to decode the expression. A reader who independently corrects false text from memory has supplied a correction; the text does not receive credit for that corrected relation. When attribution matters, preserve the initial response and identify actual assistance and source returns before interpreting the observed difference. An explanation can expose already familiar structure: ESI is not restricted to newly learned information.

C.2.8:4.4 - Positive direction and scale choice

More selected structure correctly extractable under comparable conditions is the positive direction of ESI. If one result includes every correctly recoverable selected relation of another and adds selected relations, it has the positive structural direction. If each exposes something the other does not, retain that trade-off unless a justified scale resolves it.

A scale can be ordinal, a count, a fraction, a nonnegative structural weighting or a bit estimate. Its meaning and method must fit the declared use. A fraction has a fixed denominator; a weighted amount has an explicit structural interpretation. Changing the selected structure, granularity, denominator or weights changes the comparison basis. A task-utility weighting defines a separate score rather than silently becoming structural amount.

An ordered ESI scale declares the positive direction under A.17/A.18. A numeric comparison uses only operations legal for that scale. C.16 supplies the measurement chain when a measurement is claimed: the tuple and measurand, scale, method and model, obtained result and relevant uncertainty. Qualitative comparisons and conditional design estimates remain available without a validated human bit estimator.

A missing observation, unspecified denominator or unresolved criterion is missing basis for a value. It is not an observed zero. A zero has meaning only under a defined scale and a result that supports it.

C.2.8:4.5 - Reading results, estimates and robustness

A design walkthrough, an actual reading and a formal-model estimate can concern the same characteristic. State which grounds the assertion and the conditions at which it applies.

An observed response establishes the structure recovered in that trial and can ground an estimate of what is extractable. One success does not establish a maximum or reliability for a population; one failure does not establish impossibility. A computational procedure can support an exact bounded result when its operation and selected structure make that result derivable.

Repeat or perturb a reading when the receiving use needs a claim about robustness or transfer. Preserve the first response before giving a changed condition or further help. Success under the new condition strengthens the corresponding changed-condition claim; it does not add structure to the original result by itself.

For a cold-reader check, obtain the instruction from the publication, its declared prerequisites and the knowledge presupposed for the intended reader. The task may supply case facts. If it supplies the missing explanation of the instruction, the response shows use of that added explanation. Use F.19 to repair the publication before claiming that the publication itself supplied the action.

Absence of human validation restricts empirical claims about people. It does not restrict ESI to computational observers or prevent a conditional author estimate about a human reading situation.

C.2.8:4.6 - Relation to epiplexity and MDL

A formal structural-information estimate is useful when a mathematical model can represent the selected account, observer and extraction question. Use C.29 for that correspondence and its preserved and lost structure.

Finzi et al.’s computational epiplexity selects a time-bounded probabilistic program by a two-part coding criterion:

P* = argmin over P in P_T of ( |P| + E[-log2 P(X)] )
S_T(X) = |P*|
H_T(X) = E[-log2 P*(X)]

Ties select the shorter program. The model term describes structural information; the residual is time-bounded entropy. Conditional versions allow side information, and practical estimators have their own assumptions. The execution bound and the effort of finding or estimating a model are distinct costs. Finzi et al., v2, §3–4

For an ESI estimate, explain how the episteme and expression map to X, how the model class represents the observer’s available operations, and which selected structure the model term estimates. State how prior knowledge is represented. Conditional model description given side information need not count all familiar structure a reader can recover.

Use epiplexity as a formal specialization where that correspondence holds. Otherwise it motivates the structural-information question without supplying its value. Total code length, text length and arbitrary model size are not interchangeable ESI measures. Ordinary description comparisons may use an adequate domain method without a coding model.

C.2.8:4.7 - Articulation, effort and useful change

C.2.4 U.ArticulationExplicitness orders progression from a cue to explicit branch-appropriate meaning and stable receiving use. ESI compares the selected structure extractable by an observer under a budget. Two complete descriptions at the same AE level can have different ESI; a reader’s difficulty alone does not establish that the semantic branch was left unarticulated.

Measure or compare extraction effort separately. Two expressions may expose the same structure at different cost. Additional selected structure may also be irrelevant to the next task or displace more valuable work. C.11.CRC/C.11 make the marginal choice using the structural result, cost, protected results and receiving value. The chosen result may be the current sufficient explanation.

Use the method appropriate to the proposed change: C.37 for selecting representations, A.6.3.NAR for narrative ordering and source carry-through, or the applicable domain description or instructional method. ESI states the aspect being compared; it does not prescribe adding a diagram, example or lesson.

When the account describes a Method, carry the recovered operations and relations into A.2.2:2.1 if the next question is which of them the holder can use. Keep the extraction result about the episteme, form and observer: correctly explaining a rule supplies different evidence from performing it with specified support. E.23.CDI:4.2.1 uses the Method-relative profile to choose learning or provision and to revise an acquisition arrangement when its feedback and receiving result disagree. Stop at the ESI result when structural recovery alone answers the question.

C.2.8:5 - Archetypal Grounding

C.2.8:5.1 - Architecture account in prose and a diagram

A service account states:

The API returns “stored” only after the Store confirms a durable write. Reports read a Replica updated from Store and may lag by five minutes. A synchronous report query to Store was rejected because report bursts must not delay request writes. If required report freshness becomes one second, reconsider the replica update design.

A second expression adds this diagram while retaining those four sentences:

API --write--> Store --update--> Replica --read by--> Reports
API <--durable-write confirmation-- Store

The reader is an engineer familiar with durable writes and replicas. Select the acknowledgment dependency, report-source/lag relation, rejected alternative with its reason, and reconsideration condition. Both forms expose the same claims; the described architecture is unchanged. Compare recovery with the same three-minute budget and source access. The diagram’s presence alone establishes no advantage.

Suppose a reading trial recovers three selected relations from the prose and all four from the combined expression. Report that bounded observed difference and identify the additional relation. If a source paragraph was supplied only before the second reading, the comparison also changed assistance. If the same reader encountered both forms, previous reading may contribute. These conditions prevent attributing the whole difference to form alone.

A reader unfamiliar with replication may need a prerequisite explanation. Adding its substantive claims changes the account as well as its expression. If the design requirement changes to one-second freshness, the account supplies reconsideration of the replica update design. It does not supply a replacement architecture. C.33 can record this captured structure and the source return needed for the next design question.

C.2.8:5.2 - A technical pattern’s explicit plan

The plan in C.2.4:13.2 names Maintenance Team 2, Pump P-17, isolation, seal replacement and restoration only after LT-9 passes. For its planning use, the actor, action order and condition are explicit enough for AE4. A maintainer can recover the restore-after-pass dependency even when the note does not explain the LT-9 procedure.

If the selected use is carrying out that test, the applicable procedure must be available as a prerequisite or source return. The plan’s articulation result does not teach the missing procedure. The useful ESI comparison names which required test relations the reader can recover with the available source access; it does not replace the planning judgment with a larger or smaller AE number.

C.2.8:5.3 - An observer with a two-statement budget

Let E describe edges A→B, B→C, A→D and D→C. Form P1 lists them in that order. Form P2 lists A→B, A→D, B→C, D→C. Observer O reads the first two edge statements and returns every two-edge path supported by those edges. Select the paths A→B→C and A→D→C as the structural denominator.

P1 gives O the edges needed for A→B→C; P2 gives two edges leaving A and no complete selected path. Under the declared count, the results are 1 and 0 out of two selected paths. With four statement reads, the same procedure recovers both paths from both forms.

This result follows from the stated algorithm and budget. It is neither a human-comprehension observation nor a Finzi estimate. It shows one characteristic applied to the same expressed claims under a precisely bounded computational observation.

C.2.8:5.4 - A whole-framework architectural rationale

A framework maintainer has several individual pattern-quality results and needs to decide what they establish about the framework as a whole. E.4.FPF:3–4 explains the different questions: E.21 evaluates a pattern; E.2.DA evaluates whole-FPF Pillar adequacy. The selected structure is this relation between the two scopes and the corresponding return.

For a reader who can already use those evaluation questions, the existing rationale and direct links may be sufficient. A less prepared reader may need the questions explained before the links are useful. An ESI comparison checks recovery of that scope distinction and next return under stated preparation and access. Counting the account’s headings would not answer it.

C.2.8:6 - Bias-Annotation

Selecting only easy or already familiar relations can make an account look strong while excluding what the receiving use needs. Derive the selection from that use or a declared research question before comparing expressions, and retain consequential losses.

Author familiarity can hide a prerequisite or make a correct expert response seem attributable to the text. Preserve actual help and source use when that distinction affects the conclusion. For a reader class, state relevant variation rather than treating one prepared reader as representative of everyone.

A coding model can privilege structure useful to its model class. Keep that selection and its correspondence visible when applying the estimate elsewhere.

C.2.8:7 - Conformance Checklist

Use this checklist when a characteristic claim or comparison must be relied on or carried to another use. An ordinary local comparison may keep the same information in prose.

C.2.8:8 - Common Anti-Patterns and How to Avoid Them

C.2.8:9 - Consequences

A shared characteristic lets an author compare forms without confusing them with the account’s identity or the described architecture. It also lets a domain evaluation consume structural recovery while keeping its other results intact.

The practical cost is making material preparation, selection and access conditions explicit. That cost is small when the working situation already supplies them. Exact measurement or a causal claim about an explanation’s effect requires more evidence because it answers a stronger question.

An additional example, prerequisite, diagram or changed order is useful when it exposes worthwhile structure under the actual conditions. Sometimes the current expression already supplies the needed structure. Both outcomes are compatible with this characteristic.

Reconsider the qualified result when the account, form, selected structure, observer preparation, available operations, help, carrier access, budget or correctness basis changes. Reuse an unchanged result for a matching use.

C.2.8:10 - Architectural Rationale

The three-bearer definition explains why the same account can support different structural recoveries. The episteme distinguishes a content change, the form distinguishes expression, and the observer distinguishes who or what can extract the structure. Qualification conditions make comparison possible without inventing a new bearer for every resource limit.

Articulation explicitness, structural amount and task adequacy answer different questions. A plan can state its action condition completely while its reader lacks the prerequisite procedure. A diagram can expose additional relations while remaining insufficient for a design decision. Keeping these results separate preserves both the useful gain and the precise next question.

A common definition also allows unlike estimators without claiming universal commensurability. A path count and a justified coding estimate can address structural-information questions; their values are comparable only under an adequate scale and correspondence. The source studies therefore inform the aspect and its conditions while domain methods establish the particular result.

C.2.8:11 - SoTA-Echoing

The computational line in Finzi et al. supplies a bounded-observer structural-information model. Adopt its observer dependence and separation of structural amount from downstream task relevance; adapt its formal use through the correspondence in :4.6. A computational estimate does not by itself establish human reading or learning effects. Finzi et al., v2

MDL supplies the historical model-selection background: compare a model’s description with the data description it permits. A small adequate model may explain rich structure, so minimizing total code length and comparing extractable structural amount must retain their different questions. Grünwald’s MDL account

For human explanation, current preparation-sensitive research supplies a different constraint. The 2025 expertise-reversal meta-analysis supports treating assistance and prior knowledge jointly, with variation by population and domain. Adapt that result as a requirement to qualify a relevant reader comparison, not as an ESI scale. Tetzlaff et al.

The two 2025 biochemistry populations showed different near-transfer sequencing effects and no significant sequence effect on far transfer. The useful implication is to identify the knowledge and task conditions actually tested rather than infer a universal instructional sequence from a general expertise label. He, Fiorella and Lemons

At comparable effort, ordinary source-based reconstruction often answers which needed relation became available. Use it for that question. Select a coding estimate, repeated reading or transfer observation only when its distinct possible results can change the claim or next action. Reopen a model correspondence or empirical generalization when new evidence contradicts the qualified use.

C.2.8:12 - Relations

• A.17/A.18 and C.16: arity, characteristic/scale legality and the measurement chain for an actual measurement claim.
• C.2.1 and E.24.PUB: identity of the expressed episteme, publication form and presentation carrier.
• C.2.4: degree of explicit articulation and its receiving-use thresholds.
• C.29: mathematical-lens correspondence for a formal structural-information estimate.
• A.2.2:2.1 and E.23.CDI:4.2.1: Method-relative capability and the acquisition or provision choice that can consume a recovered Method structure.
• C.33: captured and missing structure, sufficiency and source return for an architecture use.
• A.6.3.NAR and E.17.EFP: narrative construction and explanation-faithfulness uses that consume structural recovery.
• C.11.CRC/C.11 and C.37: marginal comparison and choice, and selection of useful representations.
• F.19 and A.19.ECS: precise recoverable instruction, and construction of a domain evaluation that may use this characteristic.

C.2.8:End

C.2.P.DR - Repair Claims Based on Declarative Form Alone (Declarative Representation Precision Restoration)

Type: C.2.P precision-restoration child pattern for declarative-representation overread Status: Stable Normativity: Normative unless a section is explicitly informative

C.2.P.DR:0 - Use this when

Use this pattern when a declarative representation is about to guide action, reliance, gate, release, evidence, method, mechanism, work, or pattern-application claims by its shape alone.

First useful move. Recover the visible expression or artifact; exact current direct object or relation; any current representation or correspondence use; current source or publication relation; tempting stronger action claim; recovered subject pattern; retained use; blocked stronger action claim; and stop or reopen condition. Return the repaired wording and needed stop or subject-pattern return. Use a DeclarativeRepresentationRepair note only when the receiving use needs the repair to remain inspectable.

Quick example. A heat-flow graph in a reactor-cooling review can show preserved and lost flow relations. It does not authorize a valve change by graph shape. The repair keeps the graph path as graph structure, returns release or gate reliance to the gate, source, and evidence patterns, and blocks the hidden work-permission claim.

Use this pattern especially when:

• a graph path, PathSlice, flow valuation, transformation-flow structure line, or graph expression over such a structure is overread as a prescribed work route or workflow;
• an A.10 evidence path is overread as approval, permission, release, gate passage, or assurance;
• a query, access path, query plan, table, dashboard, schema, checklist predicate, or API description is overread as method, work plan, performed work, gate, permission, or proof;
• a publication face, source-chain relation, carrier file path, mathematical representation, method-description representation, or FPF pattern relation is overread as call, dispatch, invocation, send, receive, route, or pattern application;
• method-like wording hides whether the current claim concerns U.Method, U.MethodDescription, formal substrate, mathematical-lens use, U.Mechanism, U.WorkPlan, dated U.Work, evidence relation, source relation, or quote-only source wording.

What goes wrong if missed. The representation appears to do work it cannot do. A path “routes” a decision, a query “calls” a pattern, a dashboard “authorizes” release, a checklist predicate “runs” a process, an evidence path “permits” action, or a program-looking text becomes “the method” without recovering method semantics, method description, formal substrate, mechanism, work plan, work, evidence, or source-use relation.

What this buys. The working reader keeps a visible expression useful without making it magical or hiding its subject pattern. Graph paths and structures, evidence or provenance relations, queries and formal objects, publication faces, and pattern relations keep their own kinds. When a graph, file, tile, table, or face represents one of them, the exact representation or correspondence use is stated separately. For method-like wording, the reader identifies the direct object or relation, any represented object or claim, and the exact relation that gives the expression its current use before selecting method, method description, formal substrate, mechanism, plan, work, evidence, source, gate, or release guidance.

Not this pattern when.

• If the graph path, PathSlice, or flow valuation is already current as graph structure, use E.18 directly.
• If the evidence relation or provenance relation for a claim is already current, use A.10 directly.
• If the publication face or source-use relation is already current, use E.17, E.17.EFP, C.2.P, or the direct publication pattern.
• If the current claim concerns a semantic way of doing, use A.3.1; if it concerns the description of that way, use A.3.2.
• If the current claim concerns operation algebra, laws, admissibility predicates, transport, audit, or governing-definition assignment, use A.6.1 or E.20.
• If the current claim concerns planned work or dated work, use A.15.2 or A.15.1.
• If the word is only quoted source wording or ordinary navigation prose with no FPF-governed claim, keep it quote-only or ordinary.

C.2.P.DR:1 - Problem frame

FPF work meets many declarative-looking expressions and many direct objects or relations: graph and table artifacts; paths and selected structures; state predicates and values; dashboard and publication faces; evidence, provenance, source, and pattern relations; formal substrates; and method descriptions. Some visible expressions represent a separately governed object or claim; other named items are themselves the current direct object or relation. Their common declarative appearance does not make them peers in one kind.

The recurring failure is a category shift. Because some representations look like paths, pipelines, calls, dispatches, states, gates, or control programs, the prose starts granting them operational effects. A representation then seems to authorize work, pass a gate, enact a method, prove a result, release a system, or select a pattern by its shape alone.

This pattern repairs that shift. It does not build a general theory of representation. It only restores the exact FPF-governed object, relation, or claim and its subject pattern when declarative-looking wording is overread as imperative or operational.

C.2.P.DR:2 - Problem

Without this repair:

1. Graph path becomes work route. A path or path slice in E.18 is treated as an ordered work narrative, even when no work occurrence, work plan, or method description is current.
2. Evidence path becomes permission. An evidence relation or provenance relation is treated as approval, gate passage, release, safety, or authority rather than as evidence for a named claim or effect.
3. Query becomes method. A query, access path, query plan, or dashboard is treated as the semantic way of doing, rather than as a representation, method description, evidence relation, source relation, or ordinary source wording.
4. Pattern relation overread as dispatch. Pattern application prose starts saying that one pattern exits to, routes to, calls, invokes, receives, owns, or dispatches another, hiding declarative pattern relations and subject pattern selection.
5. Programming-paradigm label becomes ontology. Imperative, functional, logical, constraint, object-centric event, effect-handler, pipeline, orchestration, or workflow wording is treated as the FPF kind rather than as one representation style or source label.
6. Mechanism, method, and work collapse. A method-like expression is repaired to method or mechanism by vocabulary rather than by the current claim: way of doing, description, formal substrate, law-governed mechanism, plan, occurrence, evidence, or quote-only wording.

C.2.P.DR:3 - Forces

C.2.P.DR:4 - Solution

Repair declarative-representation overread by separating the visible expression, the direct object or relation, and any representation use before naming the subject pattern for the current claim.

The repair order is:

1. Name the visible expression or artifact. Quote or identify the graph highlight, file, query text, predicate display, dashboard tile, table, publication face, path diagram, carrier path, mathematical expression, method-description expression, or pattern sentence that prompted the overread.
2. Recover the exact current direct object or relation. Name the graph structure, PathSlice, flow valuation, evidence or provenance relation, state predicate or value, query or formal object, publication face or occurrence, formal substrate, claim-bearing episteme, source relation, carrier-side object, pattern relation, or other direct outcome under its own governor. This is a list of alternative recovery outcomes, not representation kinds in one ontology.
3. Distinguish the direct object from any representation or correspondence use. When the visible expression represents a separately identified object or claim, name the exact relation and target. When the direct object or relation itself is current and no separate representation claim is needed, keep that direct use; do not relabel the direct object as a representation kind. Record none only when the receiving use needs an inspectable account of that distinction.
4. Recover source or publication relation when current. If a face, source chain, generated explanation, copied text, dashboard, file path, or publication unit is current, use the publication pattern or source-use pattern governing that relation.
5. Name the tempting stronger action claim. Say what the visible expression is being asked to do by resemblance: route, call, dispatch, invoke, run, flow, send, receive, authorize, release, prove, prescribe, execute, select, pass a gate, or record work.
6. Select the subject pattern. Use the direct pattern when the object or relation is already recovered; otherwise use this pattern only long enough to recover the direct outcome, any representation use, and the blocked stronger claim.
7. State retained use. Keep the weaker useful use: graph structure, evidence relation, source-finding, state predicate, publication face, exact representation use, formal-substrate input, candidate method reading, or pattern relation.
8. State the blocked stronger action claim. Block only the stronger claim that is not recoverable.
9. Stop or reopen. Stop when the subject pattern can carry the next claim. Before stopping, ask what claim, evidence relation, gate relation, safety relation, method relation, work relation, or source relation would become less reviewable if the visible expression were accepted as the stronger claim. Reopen if a later source changes the visible expression, direct object or relation, representation relation or target, source currentness, subject pattern, or intended use.

C.2.P.DR:4.1 - DeclarativeRepresentationRepair note

Use this compact note only when the receiving use needs an inspectable repair of FPF-governed wording:

DeclarativeRepresentationRepair:
  VisibleExpressionOrArtifact:
  CurrentDirectObjectOrRelation:
  RepresentationOrCorrespondenceUse: <exact relation and represented target> | none
  SourceOrPublicationRelation:
  TemptingStrongerActionClaim:
  RecoveredGoverningPattern:
  RetainedUse:
  BlockedStrongerActionClaim:
  StopOrReopenCondition:

The ordinary result is the repaired wording, exact direct outcome, any current representation use, retained use, blocked stronger claim, and needed stop or reopen condition. The optional note records these values when the receiving use needs them to remain inspectable. If the subject pattern already supplies a suitable record, use it without duplicating the repair note here.

Use four plain questions before the claim-and-pattern table: What visible thing am I looking at? What direct object or relation is current? What, if anything, does it represent? What stronger action claim must remain blocked?

C.2.P.DR:4.2 - Subject pattern selection

C.2.P.DR:4.3 - Legitimate path and route settlement

path is not banned.

A.10 evidence path for <claim, effect, or use> is legitimate when the evidence relation or provenance relation for the named claim, effect, or reliance use is current. E.18 graph path and PathSlice are legitimate when the graph object, path, slice, crossing, or flow valuation is current. Carrier file paths, URLs, mathematical paths, and quoted source paths are legitimate when their notation, source-use function, or use relation is current.

The defect is not the word. The defect is hidden ontology: the sentence treats a representation as if something literally ran, flowed, executed, authorized, released, proved, selected, or prescribed action without first naming the exact direct object or relation and its subject pattern.

When the representation is route-shaped, loop-shaped, graph-shaped, diffusion-like, or workflow-like, ask first which object is current:

Do not repair route-shaped wording by replacing it with another route-shaped word. Always recover the visible expression, exact direct object or relation, representation or correspondence use or none, retained use, blocked stronger action claim, subject pattern, and stop or reopen condition. When the representation use is none, do not require a represented target, preserved and lost structure, or a mathematical-lens admissible-use account. When an exact representation, mathematical-lens, or selected-structure use is current, also name its target, the preserved and lost structure, and the admitted and blocked uses required by C.29 or that structure’s subject pattern.

C.2.P.DR:4.4 - Method, algorithm, mechanism, plan, and work settlement

Do not repair algorithm, program, solver, proof, recipe, method, workflow, process, procedure, access path, query plan, or control strategy by choosing one fashionable replacement.

Method-description membership guard. A code file, SOP, proof script, solver model, process model, protocol, recipe, diagram, or query plan is only a representation clue. First identify the claim-bearing episteme under C.2.1. Apply A.3.2 only when that same episteme has one admitted U.Method as its exact EntityOfConcern and at least one claim says how that method is done, such as its transformation or enactment concern, applicability, precondition, intended effect or preserved condition, bound, generic participant meaning, or internal method composition. A name, author, citation, approval, file form, runnable configuration, or representation correspondence alone is a near-miss. If the test fails, do not assign U.MethodDescription; keep the representation, publication, plan, dated work, result, formal substrate, mechanism declaration, evidence, or source use with its subject pattern. A representation or publication change does not decide membership. If claim content, exact method, or effective reference scheme changes, C.2.1 first identifies the resulting episteme; then apply A.3.2 to that individual.

Recover what the source is actually about and what it asserts:

Cooling contrast. A reusable cooling procedure can be U.Method only after the context-local way of doing, its transformation or enactment kind, transformed referent or structure, preconditions, and intended effects are recovered. “Required cooling effect” alone is claim content, not a method. If a later cooling episode actually changes the governed loop state, that occurrence remains a separate A.3.4 U.Transformation and needs its own changed referent, boundary, conditions, actual facts, and continuity or reidentification basis.

When the source label hides method, mechanism, formal-substrate, work, evidence, gate, result, or temporal claims, use E.10.ARCH:3.1 to state the project concern in ordinary words, then identify each exact object and claim separately. Use this pattern to repair only the representation overread and name the subject pattern for the current claim; linked values remain under their own subject patterns rather than becoming one representation-repair claim.

C.2.P.DR:4.5 - Programming-paradigm and process-model settlement

Imperative, functional, logical, constraint, object-centric event, effect-handler, pipeline, orchestration, Declare-style, SQL-like, e-graph, hypergraph, or process-mining wording is a clue to identify the visible expression, direct object or relation, any representation use, and current claim. It is not a decision procedure by itself.

Current practice makes the old contrast between imperative and declarative labels too weak as a final ontology:

• constructor and process-theory lines keep computation, information, dynamics, and procedure close to possible or impossible transformations and compositional realization;
• scoped effects and handlers separate operation syntax, semantic handling, scopes, resources, equations, type information, and effect information;
• Declare-style process models and object-centric event logs distinguish constraints, events, objects, relations, ingestion, transformation, storage, and analysis;
• e-graph and monoidal-rewriting work shows that computation or process representation may be equivalence or composition structure rather than instruction order.

Use those lines as guardrails: recover the exact FPF-governed object, relation, claim, or representation use and its subject pattern instead of replacing one programming-paradigm label with another.

C.2.P.DR:5 - Worked slices

C.2.P.DR:5.1 - Graph path in a transformation-flow structure

Wording: “The P2W path routes the team from principle to work.”

Repair:

DeclarativeRepresentationRepair:
  VisibleExpressionOrArtifact: P2W graph expression with a highlighted path or path slice
  CurrentDirectObjectOrRelation: exact E.18 `PathSlice` and E.18.1 carry-through relation among the named records when those objects are current
  RepresentationOrCorrespondenceUse: proposed correspondence from this P2W graph expression to the exact E.18 `PathSlice`; C.29 lens-use account not yet supplied
  SourceOrPublicationRelation: none
  TemptingStrongerActionClaim: ordered work route for the team
  RecoveredGoverningPattern: E.18.1, with A.15.2 or A.15.1 only if planned or dated work is current
  RetainedUse: selected graph path and carry-through relation for inspection
  BlockedStrongerActionClaim: no work route or prescribed workflow by path shape alone
  StopOrReopenCondition: recover or cite a C.29 lens-use account that states the preserved and lost structure and bounds the intended use; until then this representation branch is an incomplete rewrite, and claim-bearing use of the proposed correspondence is blocked; reopen when path, source currentness, graph edition, or intended work relation changes

A graph publication or pattern publication remains a separately governed publication object. If one is current, state its exact source or publication relation and participants in the neighbouring claim; neither publication object belongs in SourceOrPublicationRelation by mention alone.

C.2.P.DR:5.2 - Evidence path near release

Wording: “The evidence path authorizes release.”

Repair: name the claim or bounded use and recover the descriptive evidence-provenance path through A.10, with each cited direct relation established under its own subject pattern. Release, permission, or gate passage requires the authority, gate, or release pattern that defines or constrains that claim. This pattern is used only if path wording itself is causing the representation to be overread as a permission route.

C.2.P.DR:5.3 - Query plan and access path

Wording: “The query plan calls the production work sequence.”

Repair: recover whether the query plan represents optimizer choices, expresses claims about an exact method, presents a formal substrate, supplies a source cue or evidence relation, states a work plan, or records an actual query run. If it only represents query-evaluation choices, stop at the representation. Use A.3.1 for a reusable semantic way-of-doing claim. Use A.3.2 only when the claim-bearing episteme passes the MethodDescription membership guard in 4.4. Use A.15.1 for a performed query run, together with the exact evidence or source-use relation when that later claim is current.

C.2.P.DR:5.4 - Dashboard predicate

Wording: “The dashboard green path lets the release move.”

Repair: recover dashboard face, source relation, status or state bearer, value frame, source currentness, and gate or release claim. The dashboard may be a publication face and source cue. Recover release permission through the applicable gate decision (A.21) or authority relation, including any source contribution required by its governing rule.

C.2.P.DR:5.5 - Pattern relation

Wording: “This pattern exits to A.10.”

Repair: if the current relation is “use A.10 when an evidence relation or provenance relation is current”, write that declarative boundary. Keep ordinary ownership or navigation wording when its relation and participants are clear. Use exit, receiver, route, owner, home, dispatch, or call language to assert action or control only when the pattern is actually about an action occurrence, work plan, control mechanism, or communication relation that has those semantics.

C.2.P.DR:5.6 - Solver algorithm

Wording: “The solver algorithm is the mechanism.”

Repair: first identify the direct object or relation, any representation use, and which claim is current. A solver configuration may represent claims carried by an episteme that qualifies as U.MethodDescription only after the 4.4 membership guard; the configuration is not that episteme by file form or executability. The reusable semantic way of solving may be U.Method; the MILP formulation may expose a formal substrate and mathematical-lens use; a reusable operation algebra with laws and admissibility predicates may be U.Mechanism; a solver run may be U.Work; and a run result may support another claim through its direct evidence relation. Select A.6.1 and E.20 only when their mechanism fields are present in the current claim.

C.2.P.DR:5.7 - Reactor-cooling flow graph

Wording: “The preserved heat-flow path authorizes the valve change.”

Repair:

DeclarativeRepresentationRepair:
  VisibleExpressionOrArtifact: reactor-cooling heat-flow graph with one highlighted preserved path
  CurrentDirectObjectOrRelation: exact E.18 heat-flow path or `PathSlice`; keep boundary conditions and any flow valuation under their subject patterns
  RepresentationOrCorrespondenceUse: proposed correspondence from this reactor-cooling graph rendering to the exact selected E.18 heat-flow `PathSlice`; C.29 lens-use account not yet supplied
  SourceOrPublicationRelation: none
  TemptingStrongerActionClaim: graph path authorizes physical valve-change work
  RecoveredGoverningPattern: E.18 and C.29 for graph and lens use; A.21, A.10, A.15.2, and A.15.1 only if gate, evidence, work plan, or dated work is current
  RetainedUse: graph structure for comparison, model review, and source-finding
  BlockedStrongerActionClaim: no release, gate passage, physical intervention, or work occurrence by highlighted path alone
  StopOrReopenCondition: recover or cite a C.29 lens-use account that states the preserved and lost structure and bounds the intended use; until then this representation branch is an incomplete rewrite, and claim-bearing use of the proposed correspondence is blocked; reopen when gate decision, source currentness, measurement boundary, or work plan becomes current

An engineering-review publication and a gate record remain separate objects. State any exact source or publication relation with its participants, and keep any gate relation under its subject pattern; neither object belongs in SourceOrPublicationRelation.

C.2.P.DR:5.8 - CRISPR guide-selection table

Wording: “The guide-selection table approves the edit.”

Repair:

DeclarativeRepresentationRepair:
  VisibleExpressionOrArtifact: CRISPR guide-selection table with off-target scores and candidate ranking
  CurrentDirectObjectOrRelation: candidate-guide comparison and exact characteristic values under C.16 or A.19; use A.10 to recover any independently established direct support relation needed for reliance
  RepresentationOrCorrespondenceUse: proposed correspondence from this table's candidate and off-target-score representation elements to the exact candidate-guide comparison and exact characteristic values named above; C.29 lens-use account not yet supplied
  SourceOrPublicationRelation: none
  TemptingStrongerActionClaim: ranked row approves biological intervention
  RecoveredGoverningPattern: C.16 or A.19 for characteristics when current; A.10 for evidence; A.15.2 for experimental work plan; A.21 or authority pattern only if approval or gate claim is current
  RetainedUse: source-finding, candidate comparison, and constraint review
  BlockedStrongerActionClaim: no edit approval, work occurrence, safety claim, or gate passage from table rank alone
  StopOrReopenCondition: recover or cite a C.29 lens-use account that states the preserved and lost structure and bounds the intended use; until then this representation branch is an incomplete rewrite, and claim-bearing use of the proposed correspondence is blocked; reopen when protocol, gate decision, evidence path, lab classification or assignment, exact GrantedPermissionRelation@Context or direct authority result, or dated lab Work becomes current; unresolved “role authorization” goes to E.10.ROLE, and an unsupported stronger permission or authority claim returns missing-governor

A lab notebook, protocol publication, source episteme, and review record remain separate objects. State an exact source or publication relation and its participants only when it obtains; none of these objects belongs in SourceOrPublicationRelation by mention alone.

C.2.P.DR:6 - Conformance checklist

C.2.P.DR:7 - Common anti-patterns

C.2.P.DR:8 - Relations

• Builds on: E.10, E.10.ARCH, C.2.P, A.7, E.17, E.8, and F.19.
• Coordinates with: E.18, E.18.1, A.10, A.19.SPR, A.3.1, A.3.2, A.6.0, C.29, A.6.1, E.20, A.15.2, A.15.1, A.15.4, A.20, A.21, B.3, and direct publication, gate, authority, release, evidence, method, work, and assurance patterns when those claims are being made.
• Specializes: C.2.P for one recurring case: declarative representation and imperative-metaphor overread.
• Used by: E.10.ARCH applicability-row distribution and full-pattern text precision restoration when route, path, workflow, call, or dispatch wording hides representation use.

C.2.P.DR:9 - Consequences

• FPF can keep useful graph, path, query, table, dashboard, publication, and pattern-relation vocabulary without banning ordinary words.
• The repair blocks hidden authority, release, gate, evidence, method, mechanism, work, and pattern-dispatch claims by requiring the subject pattern named by value.
• Method and mechanism claims become easier to compose because E.10.ARCH:3.1 keeps separately recovered values connected only by the exact direct relations and participant meanings supplied by their subject patterns, without treating source labels as alternate ontology.
• The cost is this recovery, with a small note only when the receiving use needs an inspectable repair. Ordinary navigation, source quotation, and already-governed graph or evidence paths do not need the note.

C.2.P.DR:10 - SoTA-Echoing

This pattern uses external sources only for the representation-overread repair question. They do not replace FPF ontology, and older famous sources are lineage or contrast unless a current source below supplies the contemporary payload.

C.2.P.DR:End

C.3 - Kinds, Intent and Extent, and Typed Reasoning

Type: Typed reasoning discipline pattern Status: Stable Normativity: Normative unless a section is explicitly informative

C.3:0 - Use This When

Use this pattern when a claim needs a reusable kind, a subkind comparison, a judgment about whether one exact candidate satisfies one kind, or an optional representation of the candidates that satisfy it in one exact context slice. A kind may be used locally without receiving its own public U.* name; “local” describes the bounded use, not an identity component.

What goes wrong if missed. A source type, practice label, programming class, schema label, mathematical set, or public U.* name starts doing several jobs at once. A source boundary splits one unchanged kind; several kinds inside one source collapse; the kind is confused with its declaration; evidence is treated as membership; a non-applicable request becomes unknown; or a current extension becomes ontology.

What this buys. A practitioner can recover the kind’s membership distinction, the declaration used to classify, an admissibility result, one three-valued judgment when admissible, and any optional extension representation while leaving source provenance, direct world-side conditions, evidence, scope, Work, and public naming with their own patterns.

Primary EntityOfConcern. One typed-reasoning question: the exact U.Kind individual, its intended candidate domain and membership distinction, any U.SubkindOf comparison needed by the claim, and the C.3.2 candidate question the use actually asks. The exact KindSignature edition carries the effective U.ReferenceScheme in its claim content; the scheme and practice/source provenance are not stored on the kind.

First useful move. Write the ordinary conclusion first. For example: Pump #14 counts as a cooling pump in this plant slice because it satisfies the declared cooling-pump condition. Add a reusable declaration, admissibility detail, explicit judgment, support reference, or extension representation only when a named receiving use needs it.

Not this pattern when. Use E.24.UK when the question is admission of another durable public FPF U-kind. Use the direct subject pattern when the question is whether a physical quality, relation, registration, certification, publication occurrence, Work, or other governed condition obtains. Use A.2.6 for claim, work, or publication scope and C.29 for a claim-bearing mathematical representation.

C.3:1 - Problem Frame

U.Kind is the admitted meta-kind whose individuals are reusable intensional classification distinctions. One kind individual is recovered by its declared candidate domain, the membership condition that distinguishes intended members from non-members, and the continuity rule for a material declaration change. A KindSignature states that content for repeated use but is not the kind itself. A current extension can change while the kind continues, and two different intensional kinds can happen to classify the same current candidates.

A practice, source, team, or locality tells a reviewer where meaning may have changed. It does not decide kind identity. When a typed use moves, compare the exact membership distinctions. Reuse the same kind when the candidate domain and operative distinction continue. If they differ, identify two kinds; only then can C.3.3 ask whether an exact directional KindBridge obtains. When local wording or interpretation also differs, F.9 may relate the corresponding F.17 cells, but it neither creates the kinds nor maps a U.ReferenceScheme as a whole. A change to the declaration’s effective U.ReferenceScheme identifies another episteme under C.2.1. Judge its U.Signature membership under A.6.0 and its KindSignature qualification under C.3.2 separately; call it another edition only when the C.2.1 EpistemeEditionRelation obtains. C.3.1 separately decides kind continuity. A changed U.ContextSlice alone creates neither a kind nor a bridge.

C.3:2 - Problem

A project often needs classification before it needs another public ontology name. If the kind, its definition, the classified candidate, a record about the candidate, and a displayed set of current members are treated as one object, a label classifies by itself, evidence availability is mistaken for criterion satisfaction, missing information proves non-membership, a table becomes an entity set, or a plan row becomes actual Work. If locality is made an identity key, the same kind also fragments across teams and sources. C.3 keeps each conclusion at its direct pattern.

C.3:3 - Forces

C.3:4 - Four Objects and a Pre-judgment Check

Keep these four objects separately recoverable:

Before the judgment, C.3.2 returns admissible or not-applicable. Candidate mismatch with the declared ValueKind, or a slice outside declared applicability, is not-applicable and no three-valued judgment is formed. Missing support or an unavailable dependency for an admissible candidate instead yields unknown.

Scope is not a fifth part of the kind. A KindSignature episteme may carry its own U.ClaimScope, and a separate classification assertion carries the scope of that assertion. The U.ContextSlice is an evaluation input.

C.3:5 - Solution

Use the lightest object that answers the current typed-reasoning question.

1. Recover the kind. Name the candidate domain and the operative membership distinction: what an intended member must satisfy and what separates a relevant non-member. Record the continuity rule used when that distinction changes. Keep practice/source provenance as a cue to compare definitions, not as an automatic identity key. Do not store the current use, ClaimScope, context slice, or reference scheme on the kind.
2. Use C.3.1 for subkind and continuity. A U.SubkindOf fact obtains through exact criterion entailment under an aligned interpretation or through exhaustive evaluation over a deliberately closed finite domain. The facts form a preorder. Opposite facts between distinct kinds may express classification equivalence for that applicability; a consumer may order the resulting equivalence groups without identifying the kinds.
3. Use C.3.2 for declaration and admissible judgment. A repeated condition may justify a KindSignature. First check candidate ValueKind and applicability. Only an admissible application returns true, false, or unknown.
4. Let the governed criterion condition decide. A direct quality, relation, construction, episteme, registration, certification, publication occurrence, legal status, or other governed condition makes the criterion hold when the criterion actually names it. An observation, record, or source used merely as evidence does not constitute an independently governed condition. Use each condition’s direct pattern.
5. Keep four outcomes distinct. not-applicable means the judgment should not be formed. For an admissible candidate, a satisfied criterion gives true, a known failed criterion gives false, and missing support or an unavailable required dependency gives unknown. A guard may decline use without rewriting any of these results.
6. Materialize an extension only for use. A query, quantification, comparison, or review may need KindExtension(k, slice). It represents admissible candidates judged true; notation, rows, or set membership do not create an ontic collection or classification relation.
7. Keep scope, formality, Work, and publication separate. Formality characterizes the declaration episteme. Scope belongs to claims or capabilities. U.Work is a kind and W : U.Work is one independently grounded dated work occurrence. Plans, logs, cards, field bundles, carriers, and rows remain their own objects.

Typed reasoning composes with F-G-R and USM in this order: recover kind compatibility; check classification admissibility and, when admissible, the exact judgment; separately check claim-scope coverage; then apply support, assurance, freshness, and any justified bridge consequence required by the receiver.

C.3:6 - Decision Split

When typed reasoning is part of a structural construction-to-representation passage from a constructive representation or working model to a target kind or logical representation, cite StructuralCT2RTypingGroundingUnfoldingStructureBlock from B.3.5. C.3 contributes only the kind, admissibility and judgment, subkind, and bridge loci inside that B.3.5-governed local A.22.CGUS specialization. It does not create separate unfolding-structure authority and does not make a constructive trace, working-model relation, proof, evidence relation, or classification true by label. For general diagnostic recovery from an inadequate working account to the exact subject construction, use A.7.1; classification remains one possible locus rather than a general ontology-return method.

The unfolding is admitted only when the block names the starting representation, target kind or logical representation, current bridge when one is used, preserved structure, lost or collapsed structure, CL or CL^k, admissible reuse, blocked substitution, and the proof or evidence subject pattern when that stronger claim is current.

C.3:7 - Archetypal Grounding

C.3:8 - Bias-Annotation

C.3 counters lexical, locality, document, and ontology-growth bias. A familiar word, source label, or practice boundary supplies neither kind identity nor membership. A record used as evidence does not create an independently governed condition, while an episteme, status, or relation directly named by the criterion keeps its own governor. The kind/declaration/admissibility/judgment/extension split and the readable first move keep the remedy usable.

C.3:9 - Conformance Checklist

C.3:10 - Common Anti-Patterns and How to Avoid Them

• Treating a programming type, schema class, source ontology class, regulatory category, or ordinary noun as a durable public FPF U-kind.
• Treating a KindSignature as the kind, or attaching its formality and claim scope to the kind.
• Using a world-side belongs-to predicate or minting a classification relation merely to state one judgment.
• Treating evidence availability, a schema row, or a publication form as sufficient for classification when the criterion requires a different governed condition.
• Returning false when the criterion cannot be evaluated.
• Treating KindExtension or mathematical set notation as ontology.
• Repairing a subkind counterexample by silently changing an extension table.
• Treating a plan or work record as a dated work occurrence.

C.3:11 - Consequences

Benefits. C.3 supports local typed claims, subkind reasoning, classification, and queryable extensions without premature ontology growth or evidence-created membership.

Costs. Reliance-bearing uses must recover the kind distinction, pin the declaration and slice, check admissibility, and keep not-applicable, false, and unknown distinct.

Risks avoided. False sameness, implicit time, scope-on-kind, record ontology, accidental relation minting, kind/individual substitution, and mathematical-set overread are blocked at the first use.

C.3:12 - Rationale

The kind, its declaration, pre-judgment admissibility, one classification judgment when admissible, and a representation of current true members answer different engineering questions and change for different reasons. Keeping them separate lets a kind continue across compatible declaration revisions, lets candidate state change an extension without changing the kind, and lets evidence or a guard change reliance without changing what makes the criterion hold.

C.3:13 - SoTA-Echoing

Model theory, type systems, ontology engineering, and schema practice distinguish intensional declarations, candidate evaluation, extensions, and assertion scope. C.3 adapts that separation to FPF’s object discipline: declaration epistemes follow A.6.0 and C.2.1, context slices and claim scope follow A.2.6, mathematical representations follow C.29, and durable kind admission follows E.24.UK.

C.3:14 - Detail Map

C.3 is the head pattern for typed reasoning. It leaves each detailed mechanism at its direct neighboring pattern while preserving a discoverable route to that mechanism.

Do not treat this compact head pattern as the whole C.3 discipline when a case needs declaration, classification, extension, Bridge, kind-use adaptation, abstraction, or applied-guard detail. Use the neighboring C.3 pattern that defines or constrains the live detail.

C.3:15 - Relations

• Builds on: A.2.6 context-slice and scope discipline, A.6.0 reusable declaration discipline, C.2.1 episteme identity, F-G-R, and direct subject patterns for candidate features.
• Coordinates with: C.3.1 through C.3.5, C.3.A, C.29, E.24.UK, A.8, A.11, F.8, F.18, and generic A.22.CGUS when typed reasoning is one locus in an admitted unfolding structure; coordinates with StructuralCT2RTypingGroundingUnfoldingStructureBlock only when C.3 supplies local-kind, judgment, subkind, and bridge loci inside a structural construction-to-typed or logical projection, with any cross-local bridge remaining a bridge within that projection rather than an alternative trigger; coordinates with A.7.1 for a general diagnostic return.
• Does not replace: direct candidate-feature ontology, A.14 collection membership, A.2.6 scope, C.29 representation use, ontic settlement in E.24, U-kind admission in E.24.UK, or naming in Part F.

C.3:End

C.3.1 - Kind Identity and Subkind Relations (U.Kind and U.SubkindOf)

Type: Kind identity, subkind relation, and continuity pattern Status: Stable Normativity: Normative unless a section is explicitly informative

C.3.1:0 - Use This When

Use this pattern when work must recover one reusable kind, decide whether one kind is a subkind of another, or decide whether the same kind continues across a changed KindSignature edition.

What goes wrong if missed. A source or practice label becomes an identity key, U.SubkindOf carries dependency or construction, a finite sample is mistaken for a universal order, mutually classifying kinds are silently merged, or a changed declaration is treated as automatically new or automatically harmless.

What this buys. The user gets an operational kind-continuity test, a replayable subkind test, and a small preorder that remains distinct from declaration identity, current extension, evidence, bridging, and public naming.

Primary EntityOfConcern. One U.Kind individual recovered through its candidate domain, operative membership condition, intended member/non-member distinction, and continuity rule; or one proposed U.SubkindOf relation between exact kind participants within declared applicability.

First useful move. Write the ordinary claim first: CoolingPumpKind is a subkind of PumpKind because every candidate that satisfies the declared cooling-pump condition also satisfies the pump condition. Then name the exact criteria and applicability that make that statement true. Introduce an occurrence designator or formal equivalence grouping only when a receiver uses it.

Not this pattern when. Use C.3.2 for a declaration, admissibility result, candidate classification, or extension; C.3.3 only for a claimed correspondence between independently identified distinct kinds; and E.24.UK when admitting another durable public kind rather than using an already admitted U.Kind individual.

C.3.1:1 - Problem Frame

A practice/source boundary is provenance and a comparison cue. It affects the continuity decision only when comparison exposes a real difference in the candidate domain or membership distinction.

U.SubkindOf is separately admitted by E24UK-AR-USUBKINDOF-R5-01 as a same-individual dependent kind under U.Relation. Its participants are an exact narrower kind and broader kind. An effective reference scheme and aligned KindSignature editions make the criteria interpretable and qualify applicability; they are not relation participants or occurrence-identity discriminators. Candidate state, context slice, declaration edition, kind identity, and one obtaining subkind relation can therefore change for different reasons.

C.3.1:2 - Problem

The sentence cooling pump is a pump is useful only when the membership conditions justify it. A current extension table can hide a bad proposal, and different intensional kinds can happen to classify the same candidates. Conversely, a unit rewrite, source move, or clearer declaration need not create another kind. The core needs an obtaining test for the relation and a before/after test for kind continuity without treating a signature, sample, locality, or extension as the kind.

C.3.1:3 - Forces

C.3.1:4 - Core Objects

C.3.1:4.1 - Direct U.SubkindOf Relation Boundary

A readable sentence such as CoolingPumpKind is a subkind of PumpKind for this declared plant use states that the direct relation obtains. It needs no occurrence identifier when no receiver distinguishes or refers to the occurrence.

The relation obtains under the criterion-entailment branch when the exact narrower membership condition entails the broader one under the aligned interpretation and applicability. Under the closed-domain branch, it obtains only when the candidate domain is deliberately finite and closed, every candidate’s admissibility has been checked, and exhaustive evaluation leaves no narrower true without a broader true. A counterexample refutes either proposal. A missing dependency or unknown judgment cannot establish either branch; a not-applicable request is outside the comparison.

When a receiver needs one occurrence, R_sub is participant-determined by the ordered pair of kind identities. The effective scheme, aligned signatures, and applicability qualify how obtaining is tested and asserted. A scheme-edition change therefore prompts an alignment and renewed test; it does not create another relation occurrence. If the same participants still satisfy the condition, the same relation continues to obtain. If they no longer do, the prior obtaining claim is no longer current; another assertion may record that change without inventing a scheme-keyed occurrence.

C.3.1:5 - Solution

1. Recover each kind before comparing it. For each kind, state the candidate domain, membership condition, intended member/non-member contrast, and continuity rule. Use practice/source provenance to locate the declaration, not to decide identity.
2. Check admissibility first. Compare only candidates admissible under both aligned declarations and the stated applicability. not-applicable forms no C.3.2 judgment.
3. Select one obtaining branch. Use exact criterion entailment when the membership rules can be compared directly. Use exhaustive evaluation only for a deliberately closed finite domain. State which branch and where it applies.
4. Keep observations in their proper role. A non-exhaustive sample, test run, or extension can support the subkind assertion and expose a counterexample. It cannot close an open-domain obtaining claim.
5. Keep a preorder over obtaining facts. Reflexivity and transitivity apply. Mutual facts between distinct kinds record classification equivalence for that alignment; they do not imply kind identity. Use the equivalence groups only when a receiver needs a partial order.
6. Separate relation, predicate, and assertion. Use the readable relation sentence first. Add R_sub, a C.2.1 assertion, evidence, or publication only when a named receiver consumes that object.
7. Diagnose counterexamples at the rule. Repair a false relation proposal, incompatible declaration alignment, or missing distinct-kind bridge. Do not edit an extension row to make the order appear true.
8. Decide kind continuity independently. Apply the before/after test in section 6 whenever criterion, candidate domain, assumptions, dependencies, effective scheme, or locality changes. Another KindSignature edition neither proves nor denies kind continuity.
9. Keep scope and Work outside the kind. A kind carries no claim scope. An exact W : U.Work remains a dated work occurrence under its direct pattern; keep it distinct from a plan, log, label, classification record, or episteme about W.

C.3.1:6 - Continuity Decision

Compare the old and proposed declarations in this order:

Preserving change. CoolingPumpSignature-3 replaces litres-per-second with an exactly aligned SI expression, preserves the pump candidate domain, cooling-performance discriminator, intended member and non-member probes, and maintenance use. The same CoolingPumpKind continues; new judgments cite edition 3.

Identity-breaking change. A proposed edition replaces physical cooling performance with the presence of schema label CoolingPump. A physical pump without the row changes from member to non-member and a labelled non-performing row can appear to qualify. The operative distinction and candidate domain changed; identify another kind rather than continuing CoolingPumpKind.

Locality change. Journal and grant teams may reuse one exact ReviewerSystemRole when candidate Systems, required contribution, and acceptance condition remain aligned. If grant review requires a different contribution or admits a materially different candidate boundary, identify another kind. The two labels decide neither case.

C.3.1:7 - Archetypal Grounding

C.3.1:8 - Bias-Annotation

C.3.1 counters hierarchy, sample-as-law, assertion-as-world, locality, and table-repair bias. A stronger-looking edge is not automatically an obtaining relation; a sample does not close an open domain; mutual classification does not identify two intensional kinds; a changed source does not split one; and an extension remains an output representation rather than the place to repair the rule.

C.3.1:9 - Conformance Checklist

C.3.1:10 - Common Anti-Patterns and How to Avoid Them

• Encoding dependency, part-whole, slot filling, construction, system-role assignment, or admission as U.SubkindOf, or treating a predicate expression, assertion, diagram edge, or table row as the obtaining relation occurrence.
• Treating a source hierarchy or public-looking spelling as durable FPF ontology.
• Treating KindSignature as the kind or its formality as a property of the kind.
• Assuming every signature edit makes a new kind, or that no signature edit can make one.
• Comparing extensions across incompatible editions and repairing a counterexample by changing rows.
• Storing claim scope on a kind.
• Treating a work label or record as an individual work occurrence.

C.3.1:11 - Consequences

Benefits. Local typed compatibility remains small while its consequences for actual candidate judgments are testable.

Costs. A declaration change that matters to later classification needs an explicit edition and a separate continuity decision.