@primmel/primmel 1.20.0 → 1.21.1

package/dist/src/check.js

@@ -360,22 +360,6 @@
 //      part_annex register's declaration shape — letters unique per
 //      package, the source provenance required; the obligation
 //      vocabulary is parse-enforced upstream
-//   C129 storyline-shape (smart TODO.roadmap/40 batch 4): the demo-seed
-//      shapes — the id_prefix pattern (register-free), party →
-//      demo_world participant seeds (gated), record stores → entity-
-//      class stores (gated), in-construct record cross-references
-//      (ungated); field-level discipline stays app-side
-//   C144–C146 the license facets (smart TODO.external-refs/04; the
-//      entitlement facet + catalog): the catalog-key shape
-//      (^std:[a-z0-9-]+$), at most one license_key per package (the
-//      parser's earlier declarations surface here), and the
-//      license_holder required with the key — a package without a key
-//      is public content and every leg keys on the key's presence
-//   C147–C148 the executable test programs (smart TODO.twin-demo/03;
-//      the model-drive bindings): the preparation/stimulus entry-order
-//      and step/point shape, and the hold/fresh_within duration
-//      discipline (a stimulus point declares fresh_within — §14.12's
-//      no-stale-semantics doctrine)
 //
 // Levels (TODO.roadmap/17): the DEFAULT level runs the normal-level
 // rules at their catalog severities. --audit additionally runs the
@@ -402,6 +386,10 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.checkPackage = checkPackage;
 exports.checkManifestResolution = checkManifestResolution;
+exports.checkArtifactContracts = checkArtifactContracts;
+exports.checkTypedPayloads = checkTypedPayloads;
+exports.checkAttestations = checkAttestations;
+exports.checkClosedDerivations = checkClosedDerivations;
 exports.checkSpellingCodes = checkSpellingCodes;
 exports.checkDeclaredPredicates = checkDeclaredPredicates;
 exports.checkTermAliases = checkTermAliases;
@@ -426,6 +414,7 @@ const FormulasUsed_1 = require("./types/FormulasUsed");
 const tokenize_1 = require("./ser-des/tokenize");
 const operational_state_1 = require("./operational-state");
 const check_rules_1 = require("./check-rules");
+const instance_resolution_1 = require("./instance-resolution");
 const check_allowlist_1 = require("./check-allowlist");
 const text_coverage_1 = require("./text-coverage");
 const spelling_1 = require("./spelling");
@@ -490,7 +479,12 @@ function checkPackage(dir, options = {}) {
         });
         standard = loaded.standard;
         for (const i of loaded.issues) {
-            if (i.code === 'provides-unconsumed') {
+            // The deprecation report (phase 2): the parse-time issue maps to
+            // its rule.
+            if (i.code === 'construct-deprecated') {
+                warn('C154', i.message);
+            }
+            else if (i.code === 'provides-unconsumed') {
                 warn('C30', i.message);
             }
             else if (i.code === 'extends-deprecated') {
@@ -545,11 +539,20 @@ function checkPackage(dir, options = {}) {
     issues.push(...checkReferences(standard));
     // ── C116/C117: the verdict chain (MN 114 v3.2, clause 11.3) ────────
     issues.push(...checkVerdictChains(standard));
+    // ── C149: the closed-derivation rule (the typed kernel, R3) ────────
+    issues.push(...checkClosedDerivations(standard));
+    // ── C150/C151: the attestation's references and claim lineage ──────
+    issues.push(...checkAttestations(standard));
+    // ── C152: the typed payload rule (the typed kernel, R2) ────────────
+    issues.push(...checkTypedPayloads(standard));
+    // ── C153: the contract-derivation facet (the typed kernel, clause 10)
+    issues.push(...checkArtifactContracts(standard));
     const reqIds = new Set((standard.requirements ?? []).map((r) => r.id));
     const testIds = new Set((standard.conformanceTests ?? []).map((t) => t.id));
     const attrIds = new Set((standard.attributeDefinitions ?? []).map((a) => a.id));
+    const roleIds = new Set((standard.roles ?? []).map(r => r.id));
     const behaviorIds = new Set((standard.behaviors ?? []).map((b) => b.id));
-    const subjectIds = new Set((standard.subjects ?? []).map((s) => s.id));
+    const subjectIds = new Set((standard.subjects ?? []).map(s => s.id));
     // Observables live in the symbols registry, not the attribute layer —
     // binds_to / limit.uses may reference them (e.g. sample.test_context
     // quantities that are measured test outputs).
@@ -1162,7 +1165,9 @@ function checkPackage(dir, options = {}) {
     // C45 — artifact-def-contract: the content contract is well-formed.
     for (const d of standard.artifactDefinitions ?? []) {
         const c = d.contentContract;
-        if (c.fields.length === 0) {
+        // A derived contract (contract_from, C153) is the referenced
+        // promise set's projection — its fields are the set's.
+        if (!d.contractFrom && c.fields.length === 0) {
             err('C45', `artifact definition ${d.id}: content contract declares no fields — a definition must contract SOME content (artifact-def-contract)`);
         }
         const seenFields = new Set();
@@ -1697,15 +1702,6 @@ function checkPackage(dir, options = {}) {
                 }
             }
         }
-        for (const m of standard.processModels ?? []) {
-            const where = `process_model ${m.id}`;
-            for (const s of m.sequence ?? []) {
-                resolveProcessRef(where, 'sequence', s);
-            }
-            for (const r of m.registers ?? []) {
-                resolveOrganAp(`${where} register ${r.id}`, 'maintainer', r.maintainer);
-            }
-        }
     }
     // ── C84: constraint-shape (TODO.roadmap/51 — BUG.R60-SSOT gap 7) ─────
     // The subject-intrinsic constraint's DECLARATION shape — the kernel
@@ -2039,7 +2035,6 @@ function checkPackage(dir, options = {}) {
     // escalation ACTIONS are runtime — the smart app's monitor service owns
     // them; these rules guarantee the declarations the runtime needs.
     {
-        const roleIds = new Set((standard.roles ?? []).map(r => r.id));
         const KNOWN_OUTCOMES = new Set(Monitor_1.MONITOR_OUTCOMES);
         const KNOWN_ACTIONS = new Set(Monitor_1.MONITOR_ESCALATION_ACTIONS);
         const KNOWN_STREAMS = new Set(Monitor_1.MONITOR_STREAMS);
@@ -2343,6 +2338,12 @@ function checkPackage(dir, options = {}) {
     };
     const instrumentIds = new Set((standard.instruments ?? []).map(i => i.id));
     const instanceIds = new Set((standard.instances ?? []).map(i => i.id));
+    const dataclassIds = new Set((standard.dataclasses ?? []).map(c => c.id));
+    // The BARE-PREFIX link spelling: a class's extends may name a class
+    // without its plane segment (Organization for Organization#data —
+    // the language's own link spelling; the pre-1.21.0 checker and the
+    // platform linker resolve it). C156 resolves both spellings.
+    const dataclassBareIds = new Set((standard.dataclasses ?? []).map(c => c.id.split('#')[0]));
     const attrScopes = new Map((standard.attributeDefinitions ?? []).map(a => [a.id, a.scope]));
     // Classification-dimension scopes, by every spelling a classification
     // map may use: the instrument dimension id, the is_dimension attribute
@@ -2436,9 +2437,54 @@ function checkPackage(dir, options = {}) {
             }
         }
         // C20 — instance-of-resolves: the `of` reference names a declared
-        // subject (v3) or instrument (v2) definition.
-        if (!subjectIds.has(inst.of) && !instrumentIds.has(inst.of)) {
-            err('C20', `instance ${inst.id}: of "${inst.of}" is not a declared subject or instrument (instance-of-resolves)`);
+        // subject (v3), instrument (v2), or ANOTHER INSTANCE (the power-type
+        // discipline — every instance can serve as the definition of further
+        // instantiation).
+        if (!subjectIds.has(inst.of) &&
+            !instrumentIds.has(inst.of) &&
+            !instanceIds.has(inst.of) &&
+            !dataclassIds.has(inst.of)) {
+            err('C20', `instance ${inst.id}: of "${inst.of}" is not a declared subject, instrument, class, or instance (instance-of-resolves)`);
+        }
+        // C155 — power-type-chain (coherence leg): an instance whose `of`
+        // names another instance carries NO upward subject-chain link — the
+        // two are one pattern's two spellings, and mixing them makes the
+        // delegation walk ambiguous.
+        if (instanceIds.has(inst.of)) {
+            const links = ['model', 'group', 'family'].filter(k => inst[k]);
+            if (links.length > 0) {
+                err('C155', `instance ${inst.id}: of "${inst.of}" names an instance and the instance carries an upward ${links.join('/')} link — the power-type chain and the subject-chain profile do not mix (power-type-chain)`);
+            }
+        }
+    }
+    // C155 — power-type-chain (acyclicity leg): the MIXED delegation
+    // graph — of-chains to instances AND the prototype hop (an `of` to a
+    // class whose extends names an instance) — is acyclic: a cycle over
+    // these edges would make the delegation walk non-terminating, and a
+    // class instantiating its own prototype (`instance x of C` while
+    // `C extends { x }`) is the shapes' own mutual recursion.
+    const delegation = (0, instance_resolution_1.delegationSuccessors)(standard);
+    const ofAdj = new Map();
+    for (const [from, to] of delegation) {
+        if (instanceIds.has(to)) {
+            ofAdj.set(from, [to]);
+        }
+    }
+    const ofCycle = findCycle(ofAdj);
+    if (ofCycle) {
+        err('C155', `the power-type of-chain is cyclic: ${ofCycle.join(' → ')} (power-type-chain)`);
+    }
+    // C156 — class-extends-resolves: a class's extends names a declared
+    // class or a declared INSTANCE (the definition side of the power-type
+    // discipline — a class extending an instance specializes that
+    // individual). Successfully merged links clear at resolve time, so a
+    // surviving link is exactly an unresolved one.
+    for (const c of standard.dataclasses ?? []) {
+        if (c.extends &&
+            !dataclassIds.has(c.extends) &&
+            !dataclassBareIds.has(c.extends) &&
+            !instanceIds.has(c.extends)) {
+            warn('C156', `class ${c.id}: extends "${c.extends}" is not a declared class or instance (class-extends-resolves)`);
         }
     }
     // C19 — chain-acyclic (integrity part 2): the resolved link graph is
@@ -3321,6 +3367,13 @@ function checkPackage(dir, options = {}) {
     }
     const unitToKind = new Map(); // unit id|symbol → kind id
     const unitHome = new Map(); // unit id|symbol → register id
+    // The full entry behind each key: a redeclaration that is
+    // IDENTICAL (same kind, factor, symbol) is idempotent under
+    // composition — the sibling IEC packages each declare kV/degC for
+    // standalone self-containment, and the merged register set carries
+    // one shared entry, not a conflict. Only a CONFLICTING entry (the
+    // same key, different meaning) is a redefinition.
+    const unitEntry = new Map(); // key → kind|factor|symbol
     const registersExist = (standard.quantityRegisters ?? []).length > 0;
     for (const reg of standard.quantityRegisters ?? []) {
         for (const u of reg.units) {
@@ -3330,13 +3383,17 @@ function checkPackage(dir, options = {}) {
             }
             // C33 — no cross-register redefinition: a rec EXTENDS the register
             // with domain units; it never redefines an existing entry.
+            const entry = `${u.kind}|${u.factorToSI}|${u.offsetToSI ?? ''}|${u.symbol}`;
             for (const key of new Set([u.id, u.symbol].filter(s => s))) {
                 const prior = unitHome.get(key);
                 if (prior !== undefined) {
-                    err('C33', `quantity_register ${reg.id}: unit "${u.id}" ("${key}") redefines a unit already declared by register "${prior}" — a package extends the register, it never redefines entries (quantity-coherence)`);
+                    if (unitEntry.get(key) !== entry) {
+                        err('C33', `quantity_register ${reg.id}: unit "${u.id}" ("${key}") redefines a unit already declared by register "${prior}" — a package extends the register, it never redefines entries (quantity-coherence)`);
+                    }
                 }
                 else {
                     unitHome.set(key, reg.id);
+                    unitEntry.set(key, entry);
                     unitToKind.set(key, u.kind);
                 }
             }
@@ -3694,68 +3751,6 @@ function checkPackage(dir, options = {}) {
             }
         }
     }
-    // ── C129: storyline-shape (smart TODO.roadmap/40 batch 4; the ──────
-    // packages-as-SSOT epic) ────────────────────────────────────────────
-    // The demo-seed shapes: the id_prefix pattern (the register-free shape
-    // leg); the party laboratory/authority resolve against the package's
-    // participant seeds WHEN a demo_world with participants is in scope
-    // (per-register gating, the C58 doctrine); the record stores resolve
-    // against the declared entity-class stores WHEN that register is in
-    // scope; and the in-construct cross-references resolve — a record
-    // field keyed by a sibling record's store names a sibling record of
-    // that store (in-construct, ungated). The field-level discipline (the
-    // schema's per-slot required fields) stays app-side.
-    {
-        const participantSeeds = new Set();
-        for (const w of standard.demoWorlds ?? []) {
-            for (const section of w.participants ?? []) {
-                for (const e of section.entries ?? []) {
-                    participantSeeds.add(e.id);
-                }
-            }
-        }
-        const entityStores = new Set((standard.dataclasses ?? [])
-            .map(c => c.store)
-            .filter((s) => !!s));
-        for (const s of standard.storylines ?? []) {
-            const where = `storyline ${s.id}`;
-            if (s.idPrefix && !/^[a-z0-9-]+$/.test(s.idPrefix)) {
-                err('C129', `${where}: id_prefix "${s.idPrefix}" does not match ^[a-z0-9-]+$ — the id-minting prefix is a lowercase slug (storyline-shape)`);
-            }
-            if (participantSeeds.size > 0) {
-                for (const [slot, ref] of [
-                    ['laboratory', s.party.laboratory],
-                    ['authority', s.party.authority],
-                ]) {
-                    if (ref && !participantSeeds.has(ref)) {
-                        err('C129', `${where}: party ${slot} "${ref}" is not a declared participant seed (storyline-shape)`);
-                    }
-                }
-            }
-            const siblingStores = new Map();
-            for (const r of s.records ?? []) {
-                if (entityStores.size > 0 && !entityStores.has(r.store)) {
-                    err('C129', `${where}: record store "${r.store}" is not a declared entity-class store (storyline-shape)`);
-                }
-                let ids = siblingStores.get(r.store);
-                if (!ids) {
-                    ids = new Set();
-                    siblingStores.set(r.store, ids);
-                }
-                ids.add(r.id);
-            }
-            for (const r of s.records ?? []) {
-                for (const [key, value] of Object.entries(r.fields)) {
-                    const targets = siblingStores.get(key);
-                    if (targets !== undefined &&
-                        !Array.isArray(value) &&
-                        !targets.has(String(value))) {
-                        err('C129', `${where}: record ${r.store} ${r.id}: ${key} "${String(value)}" is not a sibling ${key} record of this storyline (storyline-shape)`);
-                    }
-                }
-            }
-        }
-    }
     // ── C130: identity-and-aspect-references (smart TODO.roadmap/40 ─────
     // batch 3; the packages-as-SSOT epic) ────────────────────────────────
     // The documentary identity slots + the qualitative aspect register
@@ -4126,7 +4121,6 @@ function checkPackage(dir, options = {}) {
     // (the R26 field-resolution precedent). The phase vocabulary is
     // parse-enforced upstream (no check leg).
     {
-        const roleIds = new Set((standard.roles ?? []).map(r => r.id));
         // Class ids may carry a namespace suffix (`Application#data`) while
         // the workflow's inputs/outputs spell the bare entity name — index
         // both spellings (the semantic-status leg's precedent).
@@ -4137,28 +4131,6 @@ function checkPackage(dir, options = {}) {
                 dataclassIds.add(c.id.slice(0, c.id.indexOf('#')));
             }
         }
-        const CLEAN_TOKEN = /^[A-Za-z_][A-Za-z0-9_]*$/;
-        for (const w of standard.workflowConfigs ?? []) {
-            for (const s of w.steps ?? []) {
-                const where = `workflow_config ${w.id}: step ${s.id}`;
-                if (s.actor && roleIds.size > 0 && !roleIds.has(s.actor)) {
-                    err('C137', `${where}: actor "${s.actor}" is not a declared role (workflow-config-references)`);
-                }
-                for (const [facet, list] of [
-                    ['inputs', s.inputs],
-                    ['outputs', s.outputs],
-                ]) {
-                    for (const entry of list) {
-                        if (!CLEAN_TOKEN.test(entry)) {
-                            continue; // a composite documentary string — never resolved
-                        }
-                        if (dataclassIds.size > 0 && !dataclassIds.has(entry)) {
-                            err('C137', `${where}: ${facet} entry "${entry}" is not a declared data class (workflow-config-references)`);
-                        }
-                    }
-                }
-            }
-        }
     }
     // ── C138: verification-pathway-references (smart TODO.roadmap/40 ───
     // batch 3; the packages-as-SSOT epic) ────────────────────────────────
@@ -4405,26 +4377,6 @@ function checkPackage(dir, options = {}) {
         }
         // The workflow_stage members-resolve legs (step 5d) — the events
         // stay documentary, never resolved.
-        const stageApprovalIds = new Set((standard.approvals ?? []).map(a => a.id));
-        const stageGatewayIds = new Set((standard.gateways ?? []).map(g => g.id));
-        for (const s of standard.workflowStages ?? []) {
-            const where = `workflow_stage ${s.id}`;
-            for (const el of s.elements ?? []) {
-                if (gwProcessIds.size > 0 && !gwProcessIds.has(el)) {
-                    err('C142', `${where}: element "${el}" is not a declared process (gateway-edges-resolve)`);
-                }
-            }
-            for (const a of s.approvals ?? []) {
-                if (stageApprovalIds.size > 0 && !stageApprovalIds.has(a)) {
-                    err('C142', `${where}: approval "${a}" is not a declared approval (gateway-edges-resolve)`);
-                }
-            }
-            for (const g of s.gateways ?? []) {
-                if (stageGatewayIds.size > 0 && !stageGatewayIds.has(g)) {
-                    err('C142', `${where}: gateway "${g}" is not a declared gateway (gateway-edges-resolve)`);
-                }
-            }
-        }
     }
     // ── C143: approval-references-resolve (smart TODO.roadmap/40 batch ──
     // 5; the packages-as-SSOT epic) ─────────────────────────────────────
@@ -5678,6 +5630,362 @@ function textAddressKey(item, segment) {
  *     (titular:source:target:identifying); a `zz-` user-assigned code
  *     validates with a warning (user-assigned codes are not portable).
  */
+// ── C153: artifact-contract-derivation (the typed kernel, clause 10) ─
+// An artifact definition whose content is the projection of declared
+// claims declares contract_from; the referenced set resolves, and a
+// definition that restates inline fields while deriving its contract
+// is the restatement the rule exists to prevent.
+function checkArtifactContracts(standard) {
+    const issues = [];
+    const err = (check, message) => issues.push({ check, severity: 'error', message });
+    const setIds = new Set();
+    for (const ps of standard.promiseSets ?? []) {
+        setIds.add(ps.id);
+        setIds.add(`${ps.id}.promise_set`);
+    }
+    for (const s of standard.subjects ?? []) {
+        if ((s.is?.promises ?? []).length > 0) {
+            setIds.add(s.id);
+            setIds.add(`${s.id}.promise_set`);
+        }
+    }
+    for (const d of standard.artifactDefinitions ?? []) {
+        if (!d.contractFrom) {
+            continue;
+        }
+        if (!setIds.has(d.contractFrom)) {
+            err('C153', `artifact_definition ${d.id}: contract_from "${d.contractFrom}" does not resolve to a declared promise set (artifact-contract-derivation)`);
+        }
+        const c = d.contentContract;
+        if (c.fields.length > 0 || c.structure || c.media.length > 0) {
+            err('C153', `artifact_definition ${d.id}: declares both contract_from and inline contract fields — the derived contract is the referenced set's projection, never a restatement (artifact-contract-derivation)`);
+        }
+    }
+    return issues;
+}
+// ── C152: payload-typed-by-class (the typed kernel R2, clause 10) ────
+// A dimension that declares payload_class types every value's
+// definition: the class resolves, every payload field is a field of
+// that class, and every value carries its definition — a value IS its
+// definition, not a symbol pointing at a table. The attribute-side
+// bridge resolves too: an attribute_definition's class reference names
+// a declared class.
+function checkTypedPayloads(standard) {
+    const issues = [];
+    const err = (check, message) => issues.push({ check, severity: 'error', message });
+    const classFields = new Map();
+    for (const c of standard.dataclasses ?? []) {
+        classFields.set(c.id, new Set(c.attributes.map(a => a.id)));
+    }
+    // The power-type discipline reaches the typing bridge: an INSTANCE
+    // is a class, and its shape is the fields of the class its `of`
+    // chain terminates at (the prototype hop's mirror — an individual
+    // typed by its definition's fields).
+    const instanceShape = (id) => {
+        const inst = (standard.instances ?? []).find(i => i.id === id);
+        if (!inst) {
+            return undefined;
+        }
+        let cur = inst;
+        const seen = new Set([cur.id]);
+        while (cur.of) {
+            const next = (standard.instances ?? []).find(i => i.id === cur.of);
+            if (!next || seen.has(next.id)) {
+                break;
+            }
+            seen.add(next.id);
+            cur = next;
+        }
+        return cur.of !== '' ? classFields.get(cur.of) : undefined;
+    };
+    const typedFields = (id) => classFields.get(id) ?? instanceShape(id);
+    const checkDim = (owner, d) => {
+        if (!d.payloadClass) {
+            return;
+        }
+        const fields = typedFields(d.payloadClass);
+        if (!fields) {
+            err('C152', `${owner} dimension ${d.id}: payload_class "${d.payloadClass}" is not a declared class (payload-typed-by-class)`);
+            return;
+        }
+        for (const v of d.values) {
+            const keys = Object.keys(v.payload ?? {});
+            if (keys.length === 0) {
+                err('C152', `${owner} dimension ${d.id}: value ${v.id} carries no payload — a value of a payload_class dimension IS its definition (payload-typed-by-class)`);
+                continue;
+            }
+            for (const key of keys) {
+                if (!fields.has(key)) {
+                    err('C152', `${owner} dimension ${d.id}: value ${v.id} payload field "${key}" is not a field of class "${d.payloadClass}" (payload-typed-by-class)`);
+                }
+            }
+        }
+    };
+    for (const inst of standard.instruments ?? []) {
+        for (const d of inst.dimensions ?? []) {
+            checkDim(`instrument ${inst.id}`, d);
+        }
+    }
+    for (const d of standard.dimensions ?? []) {
+        checkDim('top-level', d);
+    }
+    for (const a of standard.attributeDefinitions ?? []) {
+        if (a.classRef && !typedFields(a.classRef)) {
+            err('C152', `attribute_definition ${a.id}: class "${a.classRef}" is not a declared class (payload-typed-by-class)`);
+        }
+    }
+    return issues;
+}
+// ── C150/C151: the attestation's references and claim lineage ───────
+// C150 attestation-references-resolve: the subject is a declared
+// instance, the promise set resolves in `Subject.promise_set_id` form,
+// every basis entry carries kind and id, and every claim's declaration
+// and verdict references are stated. C151
+// attestation-claim-lineage: every promise the certificate prints as
+// mandatory must be carried by a claim — a mandatory characteristic is
+// carried by lineage, never restated (clause 19).
+function checkAttestations(standard) {
+    const issues = [];
+    const err = (check, message) => issues.push({ check, severity: 'error', message });
+    const roleIds = new Set((standard.roles ?? []).map(r => r.id));
+    const instanceIds = new Set((standard.instances ?? []).map(i => i.id));
+    const verdictIds = new Set((standard.verdicts ?? []).map(v => v.id));
+    const setViews = new Map();
+    for (const ps of standard.promiseSets ?? []) {
+        setViews.set(ps.id, { promises: ps.promises });
+        setViews.set(`${ps.id}.promise_set`, { promises: ps.promises });
+    }
+    for (const s of standard.subjects ?? []) {
+        if ((s.is?.promises ?? []).length > 0) {
+            setViews.set(s.id, { promises: s.is.promises });
+        }
+    }
+    const resolveSet = (ref) => setViews.get(ref) ??
+        setViews.get(ref.split('.').slice(1).join('.')) ??
+        null;
+    const mandatoryOf = (view) => {
+        const out = new Set();
+        for (const p of view.promises) {
+            if (p.certificate?.obligation === 'mandatory') {
+                out.add(p.id);
+            }
+        }
+        return out;
+    };
+    for (const a of standard.attestations ?? []) {
+        if (!a.subject) {
+            err('C150', `attestation ${a.id}: no subject facet (attestation-references-resolve)`);
+        }
+        else if (!instanceIds.has(a.subject)) {
+            err('C150', `attestation ${a.id}: subject "${a.subject}" is not a declared instance (attestation-references-resolve)`);
+        }
+        if (!a.promises) {
+            err('C150', `attestation ${a.id}: no promises facet (attestation-references-resolve)`);
+        }
+        const set = a.promises ? resolveSet(a.promises) : null;
+        if (a.promises && !set) {
+            err('C150', `attestation ${a.id}: promises "${a.promises}" does not resolve to a declared promise set (attestation-references-resolve)`);
+        }
+        for (const b of a.basis) {
+            if (!b.kind || !b.id) {
+                err('C150', `attestation ${a.id}: a basis entry needs an evidence kind and an id (attestation-references-resolve)`);
+            }
+        }
+        if (a.authority.role &&
+            roleIds.size > 0 &&
+            !roleIds.has(a.authority.role)) {
+            err('C150', `attestation ${a.id}: authority role "${a.authority.role}" is not a declared role (attestation-references-resolve)`);
+        }
+        const carried = new Set(a.claims.map(c => c.promise));
+        for (const c of a.claims) {
+            if (set && !set.promises.some(p => p.id === c.promise)) {
+                err('C150', `attestation ${a.id}: claim "${c.promise}" is not a promise of "${a.promises}" (attestation-references-resolve)`);
+            }
+            if (!c.declared) {
+                err('C151', `attestation ${a.id}: claim "${c.promise}" carries no declaration reference (attestation-claim-lineage)`);
+            }
+            if (!c.validatedBy) {
+                err('C151', `attestation ${a.id}: claim "${c.promise}" carries no verdict reference (attestation-claim-lineage)`);
+            }
+            else if (verdictIds.size > 0 &&
+                !c.validatedBy.startsWith('/') &&
+                !verdictIds.has(c.validatedBy)) {
+                // Bare ids resolve inside the package; slash ids are the
+                // requirement-anatomy path form and resolve in the linker.
+                err('C150', `attestation ${a.id}: claim "${c.promise}" names verdict "${c.validatedBy}", which is not declared (attestation-references-resolve)`);
+            }
+        }
+        if (set) {
+            for (const pid of mandatoryOf(set)) {
+                if (!carried.has(pid)) {
+                    err('C151', `attestation ${a.id}: the mandatory promise "${pid}" of "${a.promises}" is carried by no claim — a mandatory characteristic is carried by lineage, never restated (attestation-claim-lineage)`);
+                }
+            }
+        }
+    }
+    return issues;
+}
+// ── C149: closed-derivation-references-declared ─────────────────────
+// The typed kernel's rule R3: a derivation expression names only
+// declared definitions — declared calculations, tables, symbols,
+// measurements/variables, data classes, enums, and attributes of the
+// model. The checker rejects an expression that references anything
+// else and names the missing declaration, so the undefined-reference
+// defect class cannot be authored.
+const CLOSED_DERIVATION_STOP = new Set([
+    'self',
+    'p',
+    'ocl',
+    'true',
+    'false',
+    'null',
+    'undefined',
+    // OCL navigation and collection operators
+    'and',
+    'or',
+    'not',
+    'implies',
+    'if',
+    'then',
+    'else',
+    'endif',
+    'xor',
+    'let',
+    'in',
+    'exists',
+    'forAll',
+    'select',
+    'reject',
+    'collect',
+    'isEmpty',
+    'size',
+    'sum',
+    'min',
+    'max',
+    'abs',
+    'round',
+    'floor',
+    'sqrt',
+    'includes',
+    'excludes',
+    'includesAll',
+    'excludesAll',
+    'count',
+    'first',
+    'last',
+    'asSet',
+    'asOrderedSet',
+    'asSequence',
+    'asBag',
+    'sortedBy',
+    'iterate',
+    'oclIsUndefined',
+    'oclIsKindOf',
+    'oclIsTypeOf',
+    'allInstances',
+    // table-lookup engine vocabulary (the lookup facet names these)
+    'lookup',
+    'profile',
+    // OCL collection statistics and arithmetic
+    'average',
+    'mean',
+    'size',
+    'div',
+    'mod',
+    'collect',
+]);
+// Attribute navigation: `head.field…` resolves when the HEAD is a
+// declared name (an input, a calculation, an attribute, a class-typed
+// value); the tail is navigation over that head's type, judged by the
+// class layer (C152), not by the closed-derivation rule.
+const CLOSED_DERIVATION_PATH_RE = /\b[A-Za-z_][A-Za-z0-9_]*(?:\.[A-Za-z_][A-Za-z0-9_]*)+/g;
+const CLOSED_DERIVATION_IDENT_RE = /[A-Za-z_][A-Za-z0-9_]*/g;
+function checkClosedDerivations(standard) {
+    const issues = [];
+    const err = (check, message) => issues.push({ check, severity: 'error', message });
+    // The declared universe every derivation may reference.
+    const declared = new Set();
+    for (const c of standard.calculations ?? []) {
+        declared.add(c.id);
+        declared.add(c.name);
+    }
+    for (const tb of standard.tables ?? []) {
+        declared.add(tb.id);
+    }
+    for (const s of standard.symbols ?? []) {
+        declared.add(s.id);
+    }
+    for (const v of standard.variables ?? []) {
+        declared.add(v.id);
+    }
+    for (const a of standard.attributeDefinitions ?? []) {
+        declared.add(a.id);
+    }
+    for (const e of standard.enums ?? []) {
+        declared.add(e.id);
+    }
+    for (const d of standard.dataclasses ?? []) {
+        declared.add(d.id);
+    }
+    for (const inst of standard.instruments ?? []) {
+        for (const d of inst.dimensions ?? []) {
+            declared.add(d.id);
+        }
+    }
+    for (const d of standard.dimensions ?? []) {
+        declared.add(d.id);
+    }
+    // A calculation's own output name is declared too (requirements bind
+    // it), and so is every input of every calculation.
+    for (const c of standard.calculations ?? []) {
+        if (c.output?.name) {
+            declared.add(c.output.name);
+        }
+        for (const i of c.inputs ?? []) {
+            declared.add(i.name);
+        }
+    }
+    const localsOf = (extra) => new Set([...declared, ...extra]);
+    const checkExpression = (expr, locals, where) => {
+        if (!expr) {
+            return;
+        }
+        // Values and lambdas are not references: single-quoted literals are
+        // values; an identifier before `|` is a lambda parameter.
+        const noLiterals = expr.replace(/'[^']*'/g, ' ');
+        const noLambdas = noLiterals.replace(/\b([A-Za-z_][A-Za-z0-9_]*)\s*\|/g, ' ');
+        const stripped = noLambdas.replace(CLOSED_DERIVATION_PATH_RE, ' ');
+        const seen = new Set();
+        for (const raw of stripped.match(CLOSED_DERIVATION_IDENT_RE) ?? []) {
+            if (CLOSED_DERIVATION_STOP.has(raw) ||
+                locals.has(raw) ||
+                seen.has(raw) ||
+                /^[a-z][0-9]?$/.test(raw)) {
+                continue;
+            }
+            seen.add(raw);
+            err('C149', `${where}: expression references "${raw}", which no declared calculation, table, symbol, measurement, or attribute defines (closed-derivation-references-declared)`);
+        }
+    };
+    for (const a of standard.attributeDefinitions ?? []) {
+        checkExpression(a.derived, localsOf([]), `attribute_definition ${a.id}`);
+    }
+    for (const c of standard.calculations ?? []) {
+        // The normative body is the declared expression; engine variants
+        // are consumer code and outside the language's semantics.
+        const inputs = (c.inputs ?? []).map(i => i.name);
+        checkExpression(c.expression, localsOf(inputs), `calculation ${c.id}`);
+    }
+    for (const s of standard.symbols ?? []) {
+        if (s.formula?.expression) {
+            checkExpression(s.formula.expression, localsOf(s.formula.inputs ?? []), `symbol ${s.id}`);
+        }
+    }
+    for (const v of standard.verdicts ?? []) {
+        checkExpression(v.derive, localsOf(v.inputs ?? []), `verdict ${v.id}`);
+    }
+    return issues;
+}
 function checkSpellingCodes(standard) {
     const issues = [];
     const err = (check, message) => issues.push({ check, severity: 'error', message });