@fundamental-engine/core 0.9.4 → 0.10.0

package/dist/world/conformance/corpus.js

@@ -0,0 +1,195 @@
+/**
+ * Substrate conformance corpus (EXPERIMENTAL, internal).
+ *
+ * The corpus answers one measured question, pre-registered in
+ * `docs/planning/world-substrate/substrate-conformance-corpus.md`:
+ *
+ *     How little does DynamicsContract change as independently-written substrates are adapted to it?
+ *
+ * Two pieces live here: a **churn ledger** (what each substrate cost the contract, and whether the cost
+ * was a missing general concept or a rejected convenience) and a **substrate-agnostic conformance
+ * battery** that exercises any contract through the generic surface only — if the battery ever needs to
+ * know which substrate it is driving, the abstraction has failed.
+ */
+import { hostWorld } from "../kernel.js";
+import { validateDynamicsContract } from "../dynamics.js";
+/** Weights fixed by the pre-registration; not tunable after the fact. */
+export const CHURN_WEIGHTS = {
+    'required-member': 3,
+    'optional-member': 1,
+    'union-variant': 1,
+    'consistency-rule': 1,
+    'changed-semantics': 3,
+};
+export function churnOf(changes) {
+    return changes.reduce((sum, c) => sum + CHURN_WEIGHTS[c.churnClass], 0);
+}
+/**
+ * The corpus as it actually stands. Adapted entries record what each substrate cost; pending entries
+ * record what is not yet evidence. `pending` rows must never be read as support for generality.
+ */
+export function corpus() {
+    return [
+        {
+            substrate: 'FieldRuntime',
+            role: 'continuous, opaque, non-terminating',
+            status: 'adapted',
+            executionKind: 'opaque-native',
+            outcome: 'generalized-with-refinement',
+            changes: [],
+            rejectedChanges: [],
+            note: 'the substrate the contract was extracted from; establishes nothing about generality on its own',
+        },
+        {
+            substrate: 'QualityGovernor',
+            role: 'discrete thresholds, declared law, non-terminating',
+            status: 'adapted',
+            executionKind: 'interpreted',
+            outcome: 'generalized-with-refinement',
+            changes: [
+                {
+                    member: 'describeTransitionLaw()',
+                    churnClass: 'optional-member',
+                    classification: 'structural',
+                    rationale: 'declareTransitionLaw could be claimed truthfully with no way to obtain the law — a capability that cannot be exercised is incoherent',
+                },
+                {
+                    member: 'declareTransitionLaw ⇔ describeTransitionLaw',
+                    churnClass: 'consistency-rule',
+                    classification: 'structural',
+                    rationale: 'the capability and the accessor must agree in both directions',
+                },
+            ],
+            rejectedChanges: [],
+        },
+        {
+            substrate: 'FiniteStateMachine',
+            role: 'control — expected to require zero change',
+            status: 'adapted',
+            executionKind: 'declarative',
+            outcome: 'generalized-with-refinement',
+            predictedChurn: 0,
+            changes: [
+                {
+                    member: 'Transition.lifecycle',
+                    churnClass: 'optional-member',
+                    classification: 'structural',
+                    rationale: 'accepting states finish; without a generic terminal signal a kernel must read substrate-specific output to know whether to keep advancing',
+                },
+            ],
+            rejectedChanges: [],
+            note: 'PREDICTION FALSIFIED (predicted 0, actual 1). The control exposing the gap is the stronger result: termination is general, not search-specific.',
+        },
+        {
+            substrate: 'SearchPlanner',
+            role: 'falsification candidate — terminates, partially declarable law',
+            status: 'adapted',
+            executionKind: 'hybrid',
+            outcome: 'generalized',
+            predictedChurn: 1,
+            changes: [], // the FSM had already paid for termination
+            rejectedChanges: [
+                {
+                    member: 'TransitionLawDescription.completeness',
+                    classification: 'convenience',
+                    rationale: 'declareTransitionLaw:false already answers truthfully — this substrate cannot declare THE law; publishing part of it is a feature request, not a missing concept',
+                },
+            ],
+            note: 'first substrate to exercise executionKind "hybrid", declared in F1.3 but never used until now',
+        },
+        { substrate: 'EventSourcedAggregate', role: 'replay-semantics probe', status: 'pending', outcome: 'not-yet-run', predictedChurn: 0, changes: [], rejectedChanges: [] },
+        { substrate: 'WorkflowEngine', role: 'external/async effects', status: 'pending', outcome: 'not-yet-run', changes: [], rejectedChanges: [] },
+        { substrate: 'RuleEngine', role: 'declarative law, conflict resolution', status: 'pending', outcome: 'not-yet-run', changes: [], rejectedChanges: [] },
+        { substrate: 'GameTurnSystem', role: 'multi-participant turn order', status: 'pending', outcome: 'not-yet-run', changes: [], rejectedChanges: [] },
+    ];
+}
+export function corpusLedger() {
+    const entries = corpus();
+    const adapted = entries.filter((e) => e.status === 'adapted');
+    const last = adapted[adapted.length - 1];
+    return {
+        adapted: adapted.length,
+        pending: entries.length - adapted.length,
+        totalChurn: adapted.reduce((sum, e) => sum + churnOf(e.changes), 0),
+        churnBySubstrate: adapted.map((e) => ({ substrate: e.substrate, churn: churnOf(e.changes), ...(e.predictedChurn !== undefined ? { predicted: e.predictedChurn } : {}) })),
+        executionKindsExercised: [...new Set(adapted.map((e) => e.executionKind).filter((k) => k !== undefined))],
+        convergingOnLastAdapted: last !== undefined && churnOf(last.changes) === 0,
+        structuralAccepted: adapted.reduce((n, e) => n + e.changes.filter((c) => c.classification === 'structural').length, 0),
+        representationalAccepted: adapted.reduce((n, e) => n + e.changes.filter((c) => c.classification === 'representational').length, 0),
+        conveniencesAccepted: adapted.reduce((n, e) => n + e.changes.filter((c) => c.classification === 'convenience').length, 0),
+        conveniencesRejected: adapted.reduce((n, e) => n + e.rejectedChanges.length, 0),
+    };
+}
+function finding(check, passed, detail) {
+    return { check, passed, detail };
+}
+/**
+ * Drive any contract through the GENERIC surface only and report what it does. Deliberately knows
+ * nothing about any substrate: it reads capabilities and behaves accordingly, so a substrate cannot
+ * pass by being recognized.
+ */
+export function runConformance(makeWorld, makeContract, inputs) {
+    const findings = [];
+    const world = makeWorld();
+    const contract = makeContract(world);
+    const problems = validateDynamicsContract(contract);
+    findings.push(finding('declarations self-consistent', problems.length === 0, problems.map((p) => p.rule).join(', ') || 'no problems'));
+    const host = hostWorld(world, contract);
+    let transitions = 0;
+    let terminated = false;
+    let lifecycleSeen = false;
+    for (const input of inputs) {
+        const r = host.advance(input);
+        if (!r.ok) {
+            findings.push(finding('advance succeeded', false, `failed at ${transitions}: ${r.error.code}`));
+            break;
+        }
+        transitions++;
+        if (host.lastLifecycle === 'terminal') {
+            terminated = true;
+            lifecycleSeen = true;
+            break;
+        }
+    }
+    findings.push(finding('advance succeeded', true, `${transitions} transition(s)`));
+    // terminal substrates must be IDEMPOTENT: asking again is neither progress nor an error
+    if (terminated) {
+        const again = host.advance(inputs[inputs.length - 1]);
+        findings.push(finding('terminal is idempotent', again.ok && host.lastLifecycle === 'terminal', again.ok ? `still ${host.lastLifecycle}` : `errored: ${again.error.code}`));
+    }
+    // snapshot / restore, driven purely by declared capability
+    if (contract.capabilities.snapshot) {
+        const snap = host.readState();
+        findings.push(finding('snapshot available', snap.ok, snap.ok ? `restorable=${snap.value.restorable}` : 'failed'));
+        if (snap.ok && contract.capabilities.restore) {
+            const restored = contract.restore(snap.value, { step: 0 });
+            findings.push(finding('restore round-trips', restored.ok, restored.ok ? 'state reconstructed' : 'restore failed'));
+            findings.push(finding('restore matches snapshot claim', snap.value.restorable === true, 'a restorable capability requires a restorable snapshot'));
+        }
+    }
+    // determinism: a contract declaring `deterministic` must produce identical readings twice
+    if (contract.determinism.classification === 'deterministic') {
+        const w2 = makeWorld();
+        const h2 = hostWorld(w2, makeContract(w2));
+        for (const input of inputs.slice(0, transitions))
+            h2.advance(input);
+        const a = host.readState();
+        const b = h2.readState();
+        const same = a.ok && b.ok && JSON.stringify(a.value.reading.metrics) === JSON.stringify(b.value.reading.metrics);
+        findings.push(finding('declared determinism holds', same, same ? 'identical readings' : 'readings diverged'));
+    }
+    if (contract.capabilities.declareTransitionLaw) {
+        const law = contract.describeTransitionLaw();
+        findings.push(finding('declared law retrievable', law.ok, law.ok ? `${law.value.rules.length} rule(s)` : 'failed'));
+    }
+    host.dispose();
+    return {
+        contract: contract.identity.id,
+        executionKind: contract.executionKind,
+        findings,
+        conformant: findings.every((f) => f.passed),
+        terminated: terminated || lifecycleSeen,
+        transitions,
+    };
+}
+//# sourceMappingURL=corpus.js.map

package/dist/world/conformance/corpus.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus.js","sourceRoot":"","sources":["../../../src/world/conformance/corpus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAa1D,yEAAyE;AACzE,MAAM,CAAC,MAAM,aAAa,GAAyC;IACjE,iBAAiB,EAAE,CAAC;IACpB,iBAAiB,EAAE,CAAC;IACpB,eAAe,EAAE,CAAC;IAClB,kBAAkB,EAAE,CAAC;IACrB,mBAAmB,EAAE,CAAC;CACvB,CAAC;AAgDF,MAAM,UAAU,OAAO,CAAC,OAAkC;IACxD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM;IACpB,OAAO;QACL;YACE,SAAS,EAAE,cAAc;YACzB,IAAI,EAAE,qCAAqC;YAC3C,MAAM,EAAE,SAAS;YACjB,aAAa,EAAE,eAAe;YAC9B,OAAO,EAAE,6BAA6B;YACtC,OAAO,EAAE,EAAE;YACX,eAAe,EAAE,EAAE;YACnB,IAAI,EAAE,gGAAgG;SACvG;QACD;YACE,SAAS,EAAE,iBAAiB;YAC5B,IAAI,EAAE,oDAAoD;YAC1D,MAAM,EAAE,SAAS;YACjB,aAAa,EAAE,aAAa;YAC5B,OAAO,EAAE,6BAA6B;YACtC,OAAO,EAAE;gBACP;oBACE,MAAM,EAAE,yBAAyB;oBACjC,UAAU,EAAE,iBAAiB;oBAC7B,cAAc,EAAE,YAAY;oBAC5B,SAAS,EAAE,sIAAsI;iBAClJ;gBACD;oBACE,MAAM,EAAE,8CAA8C;oBACtD,UAAU,EAAE,kBAAkB;oBAC9B,cAAc,EAAE,YAAY;oBAC5B,SAAS,EAAE,+DAA+D;iBAC3E;aACF;YACD,eAAe,EAAE,EAAE;SACpB;QACD;YACE,SAAS,EAAE,oBAAoB;YAC/B,IAAI,EAAE,2CAA2C;YACjD,MAAM,EAAE,SAAS;YACjB,aAAa,EAAE,aAAa;YAC5B,OAAO,EAAE,6BAA6B;YACtC,cAAc,EAAE,CAAC;YACjB,OAAO,EAAE;gBACP;oBACE,MAAM,EAAE,sBAAsB;oBAC9B,UAAU,EAAE,iBAAiB;oBAC7B,cAAc,EAAE,YAAY;oBAC5B,SAAS,EAAE,2IAA2I;iBACvJ;aACF;YACD,eAAe,EAAE,EAAE;YACnB,IAAI,EAAE,iJAAiJ;SACxJ;QACD;YACE,SAAS,EAAE,eAAe;YAC1B,IAAI,EAAE,gEAAgE;YACtE,MAAM,EAAE,SAAS;YACjB,aAAa,EAAE,QAAQ;YACvB,OAAO,EAAE,aAAa;YACtB,cAAc,EAAE,CAAC;YACjB,OAAO,EAAE,EAAE,EAAE,2CAA2C;YACxD,eAAe,EAAE;gBACf;oBACE,MAAM,EAAE,uCAAuC;oBAC/C,cAAc,EAAE,aAAa;oBAC7B,SAAS,EAAE,kKAAkK;iBAC9K;aACF;YACD,IAAI,EAAE,+FAA+F;SACtG;QACD,EAAE,SAAS,EAAE,uBAAuB,EAAE,IAAI,EAAE,wBAAwB,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE;QACtK,EAAE,SAAS,EAAE,gBAAgB,EAAE,IAAI,EAAE,wBAAwB,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE;QAC5I,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,sCAAsC,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE;QACtJ,EAAE,SAAS,EAAE,gBAAgB,EAAE,IAAI,EAAE,8BAA8B,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE;KACnJ,CAAC;AACJ,CAAC;AAqBD,MAAM,UAAU,YAAY;IAC1B,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;IACzB,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;QACxC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnE,gBAAgB,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACzK,uBAAuB,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAA8B,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;QACrI,uBAAuB,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QAC1E,kBAAkB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,YAAY,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACtH,wBAAwB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,kBAAkB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAClI,oBAAoB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,aAAa,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACzH,oBAAoB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC;KAChF,CAAC;AACJ,CAAC;AAmBD,SAAS,OAAO,CAAC,KAAa,EAAE,MAAe,EAAE,MAAc;IAC7D,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACnC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,SAAsB,EACtB,YAAqD,EACrD,MAAoB;IAEpB,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;IAC1B,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAErC,MAAM,QAAQ,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IACpD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,8BAA8B,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC;IAEvI,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxC,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,aAAa,GAAG,KAAK,CAAC;IAE1B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACV,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,KAAK,EAAE,aAAa,WAAW,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAChG,MAAM;QACR,CAAC;QACD,WAAW,EAAE,CAAC;QACd,IAAI,IAAI,CAAC,aAAa,KAAK,UAAU,EAAE,CAAC;YAAC,UAAU,GAAG,IAAI,CAAC;YAAC,aAAa,GAAG,IAAI,CAAC;YAAC,MAAM;QAAC,CAAC;IAC5F,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,IAAI,EAAE,GAAG,WAAW,gBAAgB,CAAC,CAAC,CAAC;IAElF,wFAAwF;IACxF,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC;QACvD,QAAQ,CAAC,IAAI,CAAC,OAAO,CACnB,wBAAwB,EACxB,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,aAAa,KAAK,UAAU,EAC7C,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAC1E,CAAC,CAAC;IACL,CAAC;IAED,2DAA2D;IAC3D,IAAI,QAAQ,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClH,IAAI,IAAI,CAAC,EAAE,IAAI,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;YAC7C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5D,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;YACnH,QAAQ,CAAC,IAAI,CAAC,OAAO,CACnB,gCAAgC,EAChC,IAAI,CAAC,KAAK,CAAC,UAAU,KAAK,IAAI,EAC9B,wDAAwD,CACzD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,0FAA0F;IAC1F,IAAI,QAAQ,CAAC,WAAW,CAAC,cAAc,KAAK,eAAe,EAAE,CAAC;QAC5D,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC;YAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACjH,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,4BAA4B,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAChH,CAAC;IAED,IAAI,QAAQ,CAAC,YAAY,CAAC,oBAAoB,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,QAAQ,CAAC,qBAAsB,EAAE,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,0BAA0B,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtH,CAAC;IAED,IAAI,CAAC,OAAO,EAAE,CAAC;IAEf,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAC9B,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,QAAQ;QACR,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3C,UAAU,EAAE,UAAU,IAAI,aAAa;QACvC,WAAW;KACZ,CAAC;AACJ,CAAC"}

package/dist/world/conformance/discoveries.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Discovery registry (EXPERIMENTAL, internal).
+ *
+ * A **discovery** is a concept the contract was missing, found because a substrate could not be
+ * expressed without it. Discoveries get permanent identifiers because they are the empirical record of
+ * how this theory changed — and unlike a changelog entry, an identifier survives refactoring, renaming
+ * and rewriting.
+ *
+ * The registry exists to make one property auditable: **the contract is only ever allowed to change
+ * because reality demanded it.** There is deliberately no procedure anywhere in this program called
+ * "design a better contract". A discovery must name the substrate that forced it and the reason the
+ * prior contract was incoherent or incomplete — not merely improvable.
+ *
+ * A `representational` refinement is NOT a discovery. It expresses an existing concept better; it finds
+ * nothing. Recording it separately keeps the discovery count honest.
+ */
+import type { ContractChange } from './corpus.ts';
+import type { EvidenceProvenance } from './evidence.ts';
+export type DiscoveryId = `D-${string}`;
+export interface Discovery {
+    readonly id: DiscoveryId;
+    readonly concept: string;
+    /** The substrate whose adaptation made the gap visible. */
+    readonly discoveredBy: string;
+    /** Why the PRIOR contract was wrong — incoherent or incomplete, not merely improvable. */
+    readonly reason: string;
+    /** Why no existing substrate could have revealed it. This is what makes it a discovery. */
+    readonly invisibleBecause: string;
+    readonly accepted: string;
+    /** Where the evidence came from. A discovery must not rest on an architectural argument. */
+    readonly provenance: EvidenceProvenance;
+    /** The contract changes this discovery cost. A discovery may cost more than one change. */
+    readonly changes: readonly ContractChange[];
+    /** Concepts deliberately NOT added at the same time, and why. Guards against over-generalizing. */
+    readonly deliberatelyExcluded?: readonly string[];
+}
+/**
+ * Every accepted structural refinement, in discovery order. Identifiers are permanent: an entry may be
+ * superseded or corrected, never renumbered or removed.
+ */
+export declare function discoveries(): Discovery[];
+export interface DiscoveryLedger {
+    readonly count: number;
+    readonly bySubstrate: Readonly<Record<string, number>>;
+    readonly totalChanges: number;
+    readonly exclusionsRecorded: number;
+}
+export declare function discoveryLedger(): DiscoveryLedger;
+export declare function discoveryById(id: DiscoveryId): Discovery | undefined;
+//# sourceMappingURL=discoveries.d.ts.map

package/dist/world/conformance/discoveries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"discoveries.d.ts","sourceRoot":"","sources":["../../../src/world/conformance/discoveries.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAExD,MAAM,MAAM,WAAW,GAAG,KAAK,MAAM,EAAE,CAAC;AAExC,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,2DAA2D;IAC3D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,0FAA0F;IAC1F,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,2FAA2F;IAC3F,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,4FAA4F;IAC5F,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,2FAA2F;IAC3F,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,mGAAmG;IACnG,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnD;AAED;;;GAGG;AACH,wBAAgB,WAAW,IAAI,SAAS,EAAE,CAsDzC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED,wBAAgB,eAAe,IAAI,eAAe,CAUjD;AAED,wBAAgB,aAAa,CAAC,EAAE,EAAE,WAAW,GAAG,SAAS,GAAG,SAAS,CAEpE"}

package/dist/world/conformance/discoveries.js

@@ -0,0 +1,71 @@
+/**
+ * Every accepted structural refinement, in discovery order. Identifiers are permanent: an entry may be
+ * superseded or corrected, never renumbered or removed.
+ */
+export function discoveries() {
+    return [
+        {
+            id: 'D-001',
+            concept: 'transition-law retrieval',
+            discoveredBy: 'QualityGovernor',
+            reason: 'a capability that cannot be exercised is incoherent: `declareTransitionLaw` could be set truthfully while the contract offered no way to obtain the law',
+            invisibleBecause: 'the only prior substrate (FieldRuntime) is opaque-native and declares the capability false, so the unusable branch was never taken',
+            accepted: '2026-07-19',
+            provenance: 'revealed-by-independent-substrate',
+            changes: [
+                {
+                    member: 'describeTransitionLaw()',
+                    churnClass: 'optional-member',
+                    classification: 'structural',
+                    rationale: 'the capability must be exercisable, or it asserts something the contract cannot honour',
+                },
+                {
+                    member: 'declareTransitionLaw <-> describeTransitionLaw',
+                    churnClass: 'consistency-rule',
+                    classification: 'structural',
+                    rationale: 'capability and accessor must agree in both directions, so neither can be claimed silently',
+                },
+            ],
+            deliberatelyExcluded: [
+                'TransitionLawDescription.completeness — rejected as a convenience when the planner wanted to publish a partial law',
+            ],
+        },
+        {
+            id: 'D-002',
+            concept: 'termination',
+            discoveredBy: 'FiniteStateMachine',
+            reason: 'the contract could not express termination without leaking substrate semantics: a kernel could only learn a substrate was finished by reading substrate-specific output, which is the abstraction leak the contract exists to prevent',
+            invisibleBecause: 'neither prior substrate ever finishes — a field simulates indefinitely and a governor consumes frames indefinitely — so termination was not absent from the contract, it was unobservable',
+            accepted: '2026-07-19',
+            provenance: 'revealed-by-independent-substrate',
+            changes: [
+                {
+                    member: 'Transition.lifecycle',
+                    churnClass: 'optional-member',
+                    classification: 'structural',
+                    rationale: 'a substrate must be able to say that no further transition is defined, generically',
+                },
+            ],
+            deliberatelyExcluded: [
+                'the finished-with-result vs finished-without split (goal-reached vs exhausted) — both corpus substrates exhibit it, but the evidence only forces "must the kernel keep going?"',
+                'folding lifecycle into advance\'s result shape — better long-term design, deferred to avoid perturbing the F1.4 equivalence authority mid-program',
+            ],
+        },
+    ];
+}
+export function discoveryLedger() {
+    const all = discoveries();
+    const bySubstrate = {};
+    for (const d of all)
+        bySubstrate[d.discoveredBy] = (bySubstrate[d.discoveredBy] ?? 0) + 1;
+    return {
+        count: all.length,
+        bySubstrate,
+        totalChanges: all.reduce((n, d) => n + d.changes.length, 0),
+        exclusionsRecorded: all.reduce((n, d) => n + (d.deliberatelyExcluded?.length ?? 0), 0),
+    };
+}
+export function discoveryById(id) {
+    return discoveries().find((d) => d.id === id);
+}
+//# sourceMappingURL=discoveries.js.map

package/dist/world/conformance/discoveries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discoveries.js","sourceRoot":"","sources":["../../../src/world/conformance/discoveries.ts"],"names":[],"mappings":"AAuCA;;;GAGG;AACH,MAAM,UAAU,WAAW;IACzB,OAAO;QACL;YACE,EAAE,EAAE,OAAO;YACX,OAAO,EAAE,0BAA0B;YACnC,YAAY,EAAE,iBAAiB;YAC/B,MAAM,EACJ,yJAAyJ;YAC3J,gBAAgB,EACd,oIAAoI;YACtI,QAAQ,EAAE,YAAY;YACtB,UAAU,EAAE,mCAAmC;YAC/C,OAAO,EAAE;gBACP;oBACE,MAAM,EAAE,yBAAyB;oBACjC,UAAU,EAAE,iBAAiB;oBAC7B,cAAc,EAAE,YAAY;oBAC5B,SAAS,EAAE,wFAAwF;iBACpG;gBACD;oBACE,MAAM,EAAE,gDAAgD;oBACxD,UAAU,EAAE,kBAAkB;oBAC9B,cAAc,EAAE,YAAY;oBAC5B,SAAS,EAAE,2FAA2F;iBACvG;aACF;YACD,oBAAoB,EAAE;gBACpB,oHAAoH;aACrH;SACF;QACD;YACE,EAAE,EAAE,OAAO;YACX,OAAO,EAAE,aAAa;YACtB,YAAY,EAAE,oBAAoB;YAClC,MAAM,EACJ,uOAAuO;YACzO,gBAAgB,EACd,2LAA2L;YAC7L,QAAQ,EAAE,YAAY;YACtB,UAAU,EAAE,mCAAmC;YAC/C,OAAO,EAAE;gBACP;oBACE,MAAM,EAAE,sBAAsB;oBAC9B,UAAU,EAAE,iBAAiB;oBAC7B,cAAc,EAAE,YAAY;oBAC5B,SAAS,EAAE,oFAAoF;iBAChG;aACF;YACD,oBAAoB,EAAE;gBACpB,gLAAgL;gBAChL,mJAAmJ;aACpJ;SACF;KACF,CAAC;AACJ,CAAC;AASD,MAAM,UAAU,eAAe;IAC7B,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;IAC1B,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC1F,OAAO;QACL,KAAK,EAAE,GAAG,CAAC,MAAM;QACjB,WAAW;QACX,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3D,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,oBAAoB,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;KACvF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAAe;IAC3C,OAAO,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAChD,CAAC"}

package/dist/world/conformance/evidence.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Evidence provenance (EXPERIMENTAL, internal).
+ *
+ * Maturity and provenance are different dimensions and were previously conflated. Two claims can both
+ * be "fixture-supported" while differing completely in what backs them: one may exercise a mechanism
+ * that already existed and could have behaved otherwise, the other may only exercise an API introduced
+ * in the same commit as the test. The first can fail; the second is a tautology with assertions.
+ *
+ * So every claim and every discovery carries BOTH a maturity level and a provenance, and provenance
+ * carries an independence rating that is a property of the source, not of the author's confidence.
+ */
+export type EvidenceProvenance = 
+/** Fell out of a mechanism built earlier for another purpose — it could have come out otherwise. */
+'emerged-from-prior-mechanism'
+/** A substrate written without knowledge of the thing it ended up testing. */
+ | 'revealed-by-independent-substrate'
+/** A test written to break the design, by someone or something not working from its internals. */
+ | 'independent-adversarial-test'
+/** A test written against the API it was designed alongside. Cannot falsify its own design. */
+ | 'fixture-against-same-implementation'
+/** Asserted by the design. No observation involved. */
+ | 'architectural-argument';
+export type Independence = 'high' | 'medium' | 'low' | 'none';
+export declare function independenceOf(provenance: EvidenceProvenance): Independence;
+/** Maturity of a claim — how settled it is, independent of what backs it. */
+export type EvidenceGrade = 'experimentally-grounded' | 'fixture-supported' | 'architectural-hypothesis';
+export interface ProvenanceProblem {
+    readonly rule: string;
+    readonly detail: string;
+}
+/**
+ * Maturity may not outrun provenance. A claim cannot be `experimentally-grounded` on the strength of a
+ * fixture written against its own implementation, and a claim resting on an architectural argument
+ * cannot be anything but a hypothesis.
+ */
+export declare function gradeProvenanceProblems(grade: EvidenceGrade, provenance: EvidenceProvenance): ProvenanceProblem[];
+//# sourceMappingURL=evidence.d.ts.map

package/dist/world/conformance/evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../../src/world/conformance/evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,MAAM,MAAM,kBAAkB;AAC5B,oGAAoG;AAClG,8BAA8B;AAChC,8EAA8E;GAC5E,mCAAmC;AACrC,kGAAkG;GAChG,8BAA8B;AAChC,+FAA+F;GAC7F,qCAAqC;AACvC,uDAAuD;GACrD,wBAAwB,CAAC;AAE7B,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAC;AAE9D,wBAAgB,cAAc,CAAC,UAAU,EAAE,kBAAkB,GAAG,YAAY,CAY3E;AAED,6EAA6E;AAC7E,MAAM,MAAM,aAAa,GAAG,yBAAyB,GAAG,mBAAmB,GAAG,0BAA0B,CAAC;AAEzG,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,kBAAkB,GAAG,iBAAiB,EAAE,CAuBjH"}

package/dist/world/conformance/evidence.js

@@ -0,0 +1,53 @@
+/**
+ * Evidence provenance (EXPERIMENTAL, internal).
+ *
+ * Maturity and provenance are different dimensions and were previously conflated. Two claims can both
+ * be "fixture-supported" while differing completely in what backs them: one may exercise a mechanism
+ * that already existed and could have behaved otherwise, the other may only exercise an API introduced
+ * in the same commit as the test. The first can fail; the second is a tautology with assertions.
+ *
+ * So every claim and every discovery carries BOTH a maturity level and a provenance, and provenance
+ * carries an independence rating that is a property of the source, not of the author's confidence.
+ */
+export function independenceOf(provenance) {
+    switch (provenance) {
+        case 'emerged-from-prior-mechanism':
+        case 'revealed-by-independent-substrate':
+            return 'high';
+        case 'independent-adversarial-test':
+            return 'medium';
+        case 'fixture-against-same-implementation':
+            return 'low';
+        case 'architectural-argument':
+            return 'none';
+    }
+}
+/**
+ * Maturity may not outrun provenance. A claim cannot be `experimentally-grounded` on the strength of a
+ * fixture written against its own implementation, and a claim resting on an architectural argument
+ * cannot be anything but a hypothesis.
+ */
+export function gradeProvenanceProblems(grade, provenance) {
+    const independence = independenceOf(provenance);
+    const problems = [];
+    if (grade === 'experimentally-grounded' && (independence === 'low' || independence === 'none')) {
+        problems.push({
+            rule: 'grounded-requires-independence',
+            detail: `experimentally-grounded requires high or medium independence, got ${independence} (${provenance})`,
+        });
+    }
+    if (grade === 'fixture-supported' && independence === 'none') {
+        problems.push({
+            rule: 'fixture-requires-observation',
+            detail: 'an architectural argument is not a fixture — this is a hypothesis',
+        });
+    }
+    if (grade === 'architectural-hypothesis' && independence !== 'none') {
+        problems.push({
+            rule: 'hypothesis-understates-evidence',
+            detail: `${provenance} is real evidence; grading it a hypothesis understates what is known`,
+        });
+    }
+    return problems;
+}
+//# sourceMappingURL=evidence.js.map

package/dist/world/conformance/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../../src/world/conformance/evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAgBH,MAAM,UAAU,cAAc,CAAC,UAA8B;IAC3D,QAAQ,UAAU,EAAE,CAAC;QACnB,KAAK,8BAA8B,CAAC;QACpC,KAAK,mCAAmC;YACtC,OAAO,MAAM,CAAC;QAChB,KAAK,8BAA8B;YACjC,OAAO,QAAQ,CAAC;QAClB,KAAK,qCAAqC;YACxC,OAAO,KAAK,CAAC;QACf,KAAK,wBAAwB;YAC3B,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC;AAUD;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAoB,EAAE,UAA8B;IAC1F,MAAM,YAAY,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAwB,EAAE,CAAC;IAEzC,IAAI,KAAK,KAAK,yBAAyB,IAAI,CAAC,YAAY,KAAK,KAAK,IAAI,YAAY,KAAK,MAAM,CAAC,EAAE,CAAC;QAC/F,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,gCAAgC;YACtC,MAAM,EAAE,qEAAqE,YAAY,KAAK,UAAU,GAAG;SAC5G,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,KAAK,mBAAmB,IAAI,YAAY,KAAK,MAAM,EAAE,CAAC;QAC7D,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,8BAA8B;YACpC,MAAM,EAAE,mEAAmE;SAC5E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,KAAK,0BAA0B,IAAI,YAAY,KAAK,MAAM,EAAE,CAAC;QACpE,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iCAAiC;YACvC,MAAM,EAAE,GAAG,UAAU,sEAAsE;SAC5F,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/world/conformance/negative-results.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Negative results registry (EXPERIMENTAL, internal).
+ *
+ * A negative result is a hypothesis that **survived pre-registration and adaptation and was then
+ * disproven**. It is not a rejected convenience (those are refinements the contract declined) and not
+ * merely a regraded prediction — when a prediction is regraded, the intuition behind it disappears from
+ * the record unless it is captured here.
+ *
+ * The history of what a research program stopped believing is often more informative than the list of
+ * what it accepted, because the abandoned intuitions are the ones a later reader is most likely to
+ * re-propose. Entries are therefore **permanent**: never deleted, never renumbered, never rewritten into
+ * a prediction update. A superseded entry is marked, not removed.
+ *
+ * Several entries below predate the registry and were reconstructed from Stage-1 findings that are
+ * documented elsewhere in the repository. That is noted per entry — a reconstructed entry is weaker
+ * evidence of protocol discipline than one recorded at the time, and should not be presented otherwise.
+ */
+import type { PredictionId } from './predictions.ts';
+export type NegativeResultId = `N-${string}`;
+export type NegativeStatus = 
+/** Held as a working assumption, then disproven by evidence. */
+'falsified'
+/** Registered, not yet tested. */
+ | 'pending'
+/** Falsified earlier, then replaced by a better-stated hypothesis (which gets its own id). */
+ | 'superseded';
+export interface NegativeResult {
+    readonly id: NegativeResultId;
+    /** The belief, stated as it was actually held — not softened in hindsight. */
+    readonly hypothesis: string;
+    readonly status: NegativeStatus;
+    /** What disproved it. Required once falsified. */
+    readonly falsifiedBy?: string;
+    readonly reason?: string;
+    /** True when the entry was reconstructed after the fact rather than recorded when abandoned. */
+    readonly reconstructed?: boolean;
+    readonly prediction?: PredictionId;
+    readonly supersededBy?: NegativeResultId;
+}
+export declare function negativeResults(): NegativeResult[];
+export interface NegativeResultProblem {
+    readonly id: NegativeResultId;
+    readonly rule: string;
+    readonly detail: string;
+}
+export declare function negativeResultProblems(): NegativeResultProblem[];
+export interface NegativeLedger {
+    readonly total: number;
+    readonly falsified: number;
+    readonly pending: number;
+    readonly superseded: number;
+    /** Entries reconstructed after the fact — weaker evidence of discipline than contemporaneous ones. */
+    readonly reconstructed: number;
+    readonly auditable: boolean;
+}
+export declare function negativeLedger(): NegativeLedger;
+//# sourceMappingURL=negative-results.d.ts.map

package/dist/world/conformance/negative-results.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"negative-results.d.ts","sourceRoot":"","sources":["../../../src/world/conformance/negative-results.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErD,MAAM,MAAM,gBAAgB,GAAG,KAAK,MAAM,EAAE,CAAC;AAE7C,MAAM,MAAM,cAAc;AACxB,gEAAgE;AAC9D,WAAW;AACb,kCAAkC;GAChC,SAAS;AACX,8FAA8F;GAC5F,YAAY,CAAC;AAEjB,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,gBAAgB,CAAC;IAC9B,8EAA8E;IAC9E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,kDAAkD;IAClD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,gGAAgG;IAChG,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC;IACnC,QAAQ,CAAC,YAAY,CAAC,EAAE,gBAAgB,CAAC;CAC1C;AAED,wBAAgB,eAAe,IAAI,cAAc,EAAE,CA4ClD;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,EAAE,gBAAgB,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,wBAAgB,sBAAsB,IAAI,qBAAqB,EAAE,CAiBhE;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,sGAAsG;IACtG,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,wBAAgB,cAAc,IAAI,cAAc,CAW/C"}

package/dist/world/conformance/negative-results.js

@@ -0,0 +1,73 @@
+export function negativeResults() {
+    return [
+        {
+            id: 'N-001',
+            hypothesis: 'Termination is specific to search and planning substrates.',
+            status: 'falsified',
+            falsifiedBy: 'FiniteStateMachine',
+            reason: 'the FSM control reached termination first via accepting states, showing it is a general property of lawful evolution rather than a search idiosyncrasy. The contract had not merely omitted it — no prior substrate could exhibit it, because neither the field nor the governor ever finishes',
+            prediction: 'P-002',
+        },
+        {
+            id: 'N-002',
+            hypothesis: 'Projection composition preserves subtractive power: projecting a projection cannot launder what the first layer withheld.',
+            status: 'pending',
+            prediction: 'P-006',
+        },
+        {
+            id: 'N-003',
+            hypothesis: 'A CompiledPattern is a complete world declaration, so the kernel can host field evolution directly.',
+            status: 'falsified',
+            falsifiedBy: 'F1.1 field-integration audit',
+            reason: 'lawful evolution exists only as executable force code, not as data. This falsification reframed the whole of Stage 1: the field became one execution substrate behind a contract rather than the world itself',
+            reconstructed: true,
+        },
+        {
+            id: 'N-004',
+            hypothesis: 'Field dynamics is fully expressible as declarative data given a sufficient expression IR.',
+            status: 'falsified',
+            falsifiedBy: 'F1.5 declarative-dynamics experiment',
+            reason: '8 of 11 corpus laws were expressible; 3 remained opaque (hidden mutable state, host/callback dependence, nonlinear time). The IR was deliberately not expanded to force success, so the result stands as partial-with-opaque-extensions',
+            reconstructed: true,
+        },
+        {
+            id: 'N-005',
+            hypothesis: 'DynamicsExecutionContext.now is needed by real substrates.',
+            status: 'pending',
+            reason: 'four of four adapted substrates have now declined to use it — the field injects its own clock, the governor, FSM and planner have none. Evidence against is accumulating but the concept was deliberately kept rather than removed, since absence of use across four substrates is not proof of uselessness',
+            reconstructed: true,
+        },
+    ];
+}
+export function negativeResultProblems() {
+    const problems = [];
+    for (const n of negativeResults()) {
+        if (n.status === 'falsified') {
+            if (!n.falsifiedBy)
+                problems.push({ id: n.id, rule: 'falsified-requires-source', detail: 'must name what disproved it' });
+            if (!n.reason || n.reason.length < 40) {
+                problems.push({ id: n.id, rule: 'falsified-requires-reason', detail: 'must record why, at enough length to be useful later' });
+            }
+        }
+        if (n.status === 'superseded' && !n.supersededBy) {
+            problems.push({ id: n.id, rule: 'superseded-requires-successor', detail: 'a superseded entry must name its successor, never simply vanish' });
+        }
+        if (n.status === 'pending' && n.falsifiedBy) {
+            problems.push({ id: n.id, rule: 'pending-has-no-source', detail: 'a pending hypothesis cannot already have been falsified' });
+        }
+    }
+    return problems;
+}
+export function negativeLedger() {
+    const all = negativeResults();
+    const count = (s) => all.filter((n) => n.status === s).length;
+    return {
+        total: all.length,
+        falsified: count('falsified'),
+        pending: count('pending'),
+        superseded: count('superseded'),
+        reconstructed: all.filter((n) => n.reconstructed).length,
+        auditable: negativeResultProblems().length === 0,
+    };
+}
+//# sourceMappingURL=negative-results.js.map

package/dist/world/conformance/negative-results.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"negative-results.js","sourceRoot":"","sources":["../../../src/world/conformance/negative-results.ts"],"names":[],"mappings":"AA2CA,MAAM,UAAU,eAAe;IAC7B,OAAO;QACL;YACE,EAAE,EAAE,OAAO;YACX,UAAU,EAAE,4DAA4D;YACxE,MAAM,EAAE,WAAW;YACnB,WAAW,EAAE,oBAAoB;YACjC,MAAM,EACJ,gSAAgS;YAClS,UAAU,EAAE,OAAO;SACpB;QACD;YACE,EAAE,EAAE,OAAO;YACX,UAAU,EAAE,2HAA2H;YACvI,MAAM,EAAE,SAAS;YACjB,UAAU,EAAE,OAAO;SACpB;QACD;YACE,EAAE,EAAE,OAAO;YACX,UAAU,EAAE,qGAAqG;YACjH,MAAM,EAAE,WAAW;YACnB,WAAW,EAAE,8BAA8B;YAC3C,MAAM,EACJ,+MAA+M;YACjN,aAAa,EAAE,IAAI;SACpB;QACD;YACE,EAAE,EAAE,OAAO;YACX,UAAU,EAAE,2FAA2F;YACvG,MAAM,EAAE,WAAW;YACnB,WAAW,EAAE,sCAAsC;YACnD,MAAM,EACJ,yOAAyO;YAC3O,aAAa,EAAE,IAAI;SACpB;QACD;YACE,EAAE,EAAE,OAAO;YACX,UAAU,EAAE,4DAA4D;YACxE,MAAM,EAAE,SAAS;YACjB,MAAM,EACJ,6SAA6S;YAC/S,aAAa,EAAE,IAAI;SACpB;KACF,CAAC;AACJ,CAAC;AAQD,MAAM,UAAU,sBAAsB;IACpC,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,CAAC,WAAW;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC,CAAC;YAC1H,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;gBACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,EAAE,sDAAsD,EAAE,CAAC,CAAC;YACjI,CAAC;QACH,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC;YACjD,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,+BAA+B,EAAE,MAAM,EAAE,iEAAiE,EAAE,CAAC,CAAC;QAChJ,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE,MAAM,EAAE,yDAAyD,EAAE,CAAC,CAAC;QAChI,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAYD,MAAM,UAAU,cAAc;IAC5B,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,CAAiB,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9E,OAAO;QACL,KAAK,EAAE,GAAG,CAAC,MAAM;QACjB,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC;QAC7B,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC;QACzB,UAAU,EAAE,KAAK,CAAC,YAAY,CAAC;QAC/B,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM;QACxD,SAAS,EAAE,sBAAsB,EAAE,CAAC,MAAM,KAAK,CAAC;KACjD,CAAC;AACJ,CAAC"}