@fundamental-engine/core 0.9.4 → 0.9.5

package/dist/world/experiments/declarative-dynamics.d.ts

@@ -0,0 +1,87 @@
+/**
+ * F1.5 — Declarative FieldDynamics experiment (BOUNDED). Tests whether force laws can be represented as
+ * DATA (a typed expression IR) rather than executable code. This is a scientific experiment: a partial or
+ * negative result is valid. The IR is deliberately minimal — NO callbacks, script strings, eval,
+ * Function, or general-purpose language encoded as data. If a law needs any of those, it is classified
+ * `opaque-only`; the IR is NOT expanded to force success.
+ *
+ * Corpus: representative laws modeled on the engine's real force categories (attract/gravity =
+ * distance-dependent, cohesion = relation-dependent, gravity constant = environment-dependent, sink =
+ * stateful, etc. — see `forces/`). This experiment characterizes CATEGORY representability, not the exact
+ * 36 force functions. Field-free; internal; not exported from the package entry.
+ */
+export type Expr = {
+    readonly op: 'const';
+    readonly value: number;
+} | {
+    readonly op: 'var';
+    readonly name: string;
+} | {
+    readonly op: 'add' | 'sub' | 'mul' | 'div' | 'min' | 'max';
+    readonly a: Expr;
+    readonly b: Expr;
+} | {
+    readonly op: 'neg';
+    readonly a: Expr;
+} | {
+    readonly op: 'clamp';
+    readonly x: Expr;
+    readonly lo: Expr;
+    readonly hi: Expr;
+} | {
+    readonly op: 'ifGte';
+    readonly x: Expr;
+    readonly threshold: Expr;
+    readonly then: Expr;
+    readonly otherwise: Expr;
+};
+export type ExprContext = Readonly<Record<string, number>>;
+export declare function evalExpr(e: Expr, ctx: ExprContext): number;
+export type ForceClass = 'declarative-expression' | 'declarative-stateful' | 'declarative-with-opaque-extension' | 'opaque-only';
+export type OpaqueReason = 'unsupported-input' | 'hidden-mutable-state' | 'host-dependence' | 'callback-dependence' | 'dynamic-dispatch' | 'unbounded-computation' | 'semantic-mismatch' | 'excessive-representation-cost';
+/** Fully-defined inputs for the imperative laws (avoids indexed-access `undefined`). */
+export interface SampleInputs {
+    readonly strength: number;
+    readonly dist: number;
+    readonly range: number;
+    readonly relationStrength: number;
+    readonly envG: number;
+    readonly mass: number;
+    readonly t: number;
+}
+export interface ForceCase {
+    readonly id: string;
+    readonly category: string;
+    readonly modeledOn: string;
+    /** The "original apply(...)" analog — imperative core computation. `state` present only for stateful laws. */
+    readonly imperative: (ctx: SampleInputs, state: {
+        acc: number;
+    } | undefined) => number;
+    /** The declarative encoding, or null when the law is NOT representable in the pure IR. */
+    readonly declarative: Expr | null;
+    readonly classification: ForceClass;
+    readonly reason?: OpaqueReason;
+    /** For stateful laws: the input var that surfaces the prior state (declarative-stateful). */
+    readonly statePriorVar?: string;
+}
+export declare const FORCE_CORPUS: readonly ForceCase[];
+export interface ForceCharacterization {
+    readonly id: string;
+    readonly category: string;
+    readonly classification: ForceClass;
+    readonly reason?: OpaqueReason;
+    /** For declarative laws: max abs difference imperative-vs-declarative over the samples. null if opaque. */
+    readonly maxDelta: number | null;
+    readonly matchesUnderTolerance: boolean | null;
+}
+export declare function characterize(force: ForceCase, tolerance: number): ForceCharacterization;
+export interface ExperimentResult {
+    readonly outcome: 'complete-declarative' | 'partial-with-opaque-extensions' | 'negative';
+    readonly total: number;
+    readonly byClass: Readonly<Record<ForceClass, number>>;
+    readonly nonTrivialDeclarative: number;
+    readonly boundary: string;
+    readonly characterizations: readonly ForceCharacterization[];
+}
+export declare function runExperiment(tolerance: number): ExperimentResult;
+//# sourceMappingURL=declarative-dynamics.d.ts.map

package/dist/world/experiments/declarative-dynamics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarative-dynamics.d.ts","sourceRoot":"","sources":["../../../src/world/experiments/declarative-dynamics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,MAAM,MAAM,IAAI,GACZ;IAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,GAClG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,GAChF;IAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;CAAE,CAAC;AAExH,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE3D,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,CAkB1D;AAcD,MAAM,MAAM,UAAU,GAClB,wBAAwB,GACxB,sBAAsB,GACtB,mCAAmC,GACnC,aAAa,CAAC;AAElB,MAAM,MAAM,YAAY,GACpB,mBAAmB,GACnB,sBAAsB,GACtB,iBAAiB,GACjB,qBAAqB,GACrB,kBAAkB,GAClB,uBAAuB,GACvB,mBAAmB,GACnB,+BAA+B,CAAC;AAEpC,wFAAwF;AACxF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8GAA8G;IAC9G,QAAQ,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE;QAAE,GAAG,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,KAAK,MAAM,CAAC;IACvF,0FAA0F;IAC1F,QAAQ,CAAC,WAAW,EAAE,IAAI,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,UAAU,CAAC;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;IAC/B,6FAA6F;IAC7F,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAiBD,eAAO,MAAM,YAAY,EAAE,SAAS,SAAS,EAwD5C,CAAC;AAIF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,UAAU,CAAC;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;IAC/B,2GAA2G;IAC3G,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,qBAAqB,EAAE,OAAO,GAAG,IAAI,CAAC;CAChD;AAQD,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,GAAG,qBAAqB,CAgBvF;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,GAAG,gCAAgC,GAAG,UAAU,CAAC;IACzF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,SAAS,qBAAqB,EAAE,CAAC;CAC9D;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,gBAAgB,CAkBjE"}

package/dist/world/experiments/declarative-dynamics.js

@@ -0,0 +1,153 @@
+/**
+ * F1.5 — Declarative FieldDynamics experiment (BOUNDED). Tests whether force laws can be represented as
+ * DATA (a typed expression IR) rather than executable code. This is a scientific experiment: a partial or
+ * negative result is valid. The IR is deliberately minimal — NO callbacks, script strings, eval,
+ * Function, or general-purpose language encoded as data. If a law needs any of those, it is classified
+ * `opaque-only`; the IR is NOT expanded to force success.
+ *
+ * Corpus: representative laws modeled on the engine's real force categories (attract/gravity =
+ * distance-dependent, cohesion = relation-dependent, gravity constant = environment-dependent, sink =
+ * stateful, etc. — see `forces/`). This experiment characterizes CATEGORY representability, not the exact
+ * 36 force functions. Field-free; internal; not exported from the package entry.
+ */
+export function evalExpr(e, ctx) {
+    switch (e.op) {
+        case 'const': return e.value;
+        case 'var': {
+            const v = ctx[e.name];
+            if (v === undefined)
+                throw new Error(`declarative-dynamics: unbound var "${e.name}"`);
+            return v;
+        }
+        case 'add': return evalExpr(e.a, ctx) + evalExpr(e.b, ctx);
+        case 'sub': return evalExpr(e.a, ctx) - evalExpr(e.b, ctx);
+        case 'mul': return evalExpr(e.a, ctx) * evalExpr(e.b, ctx);
+        case 'div': return evalExpr(e.a, ctx) / evalExpr(e.b, ctx);
+        case 'min': return Math.min(evalExpr(e.a, ctx), evalExpr(e.b, ctx));
+        case 'max': return Math.max(evalExpr(e.a, ctx), evalExpr(e.b, ctx));
+        case 'neg': return -evalExpr(e.a, ctx);
+        case 'clamp': return Math.min(Math.max(evalExpr(e.x, ctx), evalExpr(e.lo, ctx)), evalExpr(e.hi, ctx));
+        case 'ifGte': return evalExpr(e.x, ctx) >= evalExpr(e.threshold, ctx) ? evalExpr(e.then, ctx) : evalExpr(e.otherwise, ctx);
+    }
+}
+// small expression builders (readability)
+const k = (value) => ({ op: 'const', value });
+const v = (name) => ({ op: 'var', name });
+const mul = (a, b) => ({ op: 'mul', a, b });
+const sub = (a, b) => ({ op: 'sub', a, b });
+const div = (a, b) => ({ op: 'div', a, b });
+const add = (a, b) => ({ op: 'add', a, b });
+const max = (a, b) => ({ op: 'max', a, b });
+const ifGte = (x, threshold, then, otherwise) => ({ op: 'ifGte', x, threshold, then, otherwise });
+// a closure-captured hidden accumulator — NOT surfaceable → opaque-only
+function makeClosureStatefulLaw() {
+    let hidden = 0;
+    return (ctx) => {
+        hidden += ctx.strength;
+        return hidden;
+    };
+}
+const closureLaw = makeClosureStatefulLaw();
+// a host callback the IR cannot represent as data
+function hostCallback() {
+    return 42; // stands in for host geometry / external query
+}
+export const FORCE_CORPUS = [
+    {
+        id: 'parameterized-constant', category: 'constant/parameterized', modeledOn: 'strength scalar',
+        imperative: (c) => c.strength, declarative: v('strength'), classification: 'declarative-expression',
+    },
+    {
+        id: 'distance-falloff', category: 'distance-dependent', modeledOn: 'attract / gravity',
+        imperative: (c) => c.strength * Math.max(0, 1 - c.dist / c.range),
+        declarative: mul(v('strength'), max(k(0), sub(k(1), div(v('dist'), v('range'))))),
+        classification: 'declarative-expression',
+    },
+    {
+        id: 'relation-scaled', category: 'relation-dependent', modeledOn: 'cohesion',
+        imperative: (c) => c.relationStrength * c.strength,
+        declarative: mul(v('relationStrength'), v('strength')), classification: 'declarative-expression',
+    },
+    {
+        id: 'environment-constant', category: 'environment-dependent', modeledOn: 'gravity G',
+        imperative: (c) => c.envG * c.mass, declarative: mul(v('envG'), v('mass')), classification: 'declarative-expression',
+    },
+    {
+        id: 'range-threshold', category: 'threshold/conditional', modeledOn: 'screen / cutoff',
+        imperative: (c) => (c.range >= c.dist ? c.strength : 0),
+        declarative: ifGte(v('range'), v('dist'), v('strength'), k(0)), classification: 'declarative-expression',
+    },
+    {
+        id: 'composed', category: 'composition', modeledOn: 'attract + cohesion',
+        imperative: (c) => c.strength * Math.max(0, 1 - c.dist / c.range) + c.relationStrength * c.strength,
+        declarative: add(mul(v('strength'), max(k(0), sub(k(1), div(v('dist'), v('range'))))), mul(v('relationStrength'), v('strength'))),
+        classification: 'declarative-expression',
+    },
+    {
+        id: 'time-linear', category: 'time-dependent (linear)', modeledOn: 'linear decay',
+        imperative: (c) => c.strength * c.t, declarative: mul(v('strength'), v('t')), classification: 'declarative-expression',
+    },
+    {
+        id: 'state-surfaced', category: 'mutable state (surfaced)', modeledOn: 'sink accretion (--load)',
+        imperative: (c, s) => { s.acc += c.strength; return s.acc; },
+        // surfaces prior state as an input var; output IS the next state: acc' = accPrior + strength
+        declarative: add(v('accPrior'), v('strength')), classification: 'declarative-stateful', statePriorVar: 'accPrior',
+    },
+    {
+        id: 'time-sinusoidal', category: 'time-dependent (nonlinear)', modeledOn: 'oscillatory drift',
+        imperative: (c) => c.strength * Math.sin(c.t), declarative: null,
+        classification: 'opaque-only', reason: 'unsupported-input',
+    },
+    {
+        id: 'closure-state', category: 'mutable state (closure-captured)', modeledOn: 'induced charge accumulation',
+        imperative: (c) => closureLaw(c), declarative: null,
+        classification: 'opaque-only', reason: 'hidden-mutable-state',
+    },
+    {
+        id: 'host-callback', category: 'host/callback dependence', modeledOn: 'host geometry / external query',
+        imperative: () => hostCallback(), declarative: null,
+        classification: 'opaque-only', reason: 'callback-dependence',
+    },
+];
+const SAMPLE_CONTEXTS = [
+    { strength: 1, dist: 10, range: 200, relationStrength: 0.5, envG: 9.8, mass: 2, t: 0 },
+    { strength: 0.5, dist: 150, range: 200, relationStrength: 0.8, envG: 9.8, mass: 1, t: 1 },
+    { strength: 2, dist: 250, range: 200, relationStrength: 0.2, envG: 9.8, mass: 3, t: 2.5 },
+];
+export function characterize(force, tolerance) {
+    if (force.declarative === null) {
+        return { id: force.id, category: force.category, classification: force.classification, reason: force.reason, maxDelta: null, matchesUnderTolerance: null };
+    }
+    let maxDelta = 0;
+    // stateful laws thread prior-state through both paths so the comparison is per-step
+    const impState = { acc: 0 };
+    let declPriorAcc = 0;
+    for (const ctx of SAMPLE_CONTEXTS) {
+        const impOut = force.imperative(ctx, impState);
+        const declCtx = force.statePriorVar ? { ...ctx, [force.statePriorVar]: declPriorAcc } : { ...ctx };
+        const declOut = evalExpr(force.declarative, declCtx);
+        if (force.statePriorVar)
+            declPriorAcc = declOut; // thread the surfaced state forward
+        maxDelta = Math.max(maxDelta, Math.abs(impOut - declOut));
+    }
+    return { id: force.id, category: force.category, classification: force.classification, reason: force.reason, maxDelta, matchesUnderTolerance: maxDelta <= tolerance };
+}
+export function runExperiment(tolerance) {
+    const characterizations = FORCE_CORPUS.map((f) => characterize(f, tolerance));
+    const byClass = {
+        'declarative-expression': 0, 'declarative-stateful': 0, 'declarative-with-opaque-extension': 0, 'opaque-only': 0,
+    };
+    for (const f of FORCE_CORPUS)
+        byClass[f.classification] += 1;
+    const declarativeTotal = byClass['declarative-expression'] + byClass['declarative-stateful'] + byClass['declarative-with-opaque-extension'];
+    const nonTrivialDeclarative = FORCE_CORPUS.filter((f) => f.declarative !== null && f.category !== 'constant/parameterized').length;
+    const outcome = byClass['opaque-only'] === 0 ? 'complete-declarative'
+        : declarativeTotal === 0 || nonTrivialDeclarative === 0 ? 'negative'
+            : 'partial-with-opaque-extensions';
+    const boundary = 'Pure algebraic / threshold / composition / parameterized / distance / relation / environment / ' +
+        'linear-time laws, plus explicitly-surfaced state, are declarative. Nonlinear-time (needs functions ' +
+        'the IR does not carry), closure-captured hidden state, and host/callback dependence are opaque-only. ' +
+        'The IR was NOT expanded (no trig, callbacks, eval, or Function) to force representation.';
+    return { outcome, total: FORCE_CORPUS.length, byClass, nonTrivialDeclarative, boundary, characterizations };
+}
+//# sourceMappingURL=declarative-dynamics.js.map

package/dist/world/experiments/declarative-dynamics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarative-dynamics.js","sourceRoot":"","sources":["../../../src/world/experiments/declarative-dynamics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAcH,MAAM,UAAU,QAAQ,CAAC,CAAO,EAAE,GAAgB;IAChD,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC;QAC7B,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtB,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YACtF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC3D,KAAK,KAAK,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC3D,KAAK,KAAK,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC3D,KAAK,KAAK,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC3D,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACpE,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACpE,KAAK,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACvC,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;QACtG,KAAK,OAAO,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAC7H,CAAC;AACH,CAAC;AAED,0CAA0C;AAC1C,MAAM,CAAC,GAAG,CAAC,KAAa,EAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5D,MAAM,CAAC,GAAG,CAAC,IAAY,EAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACxD,MAAM,GAAG,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC9D,MAAM,GAAG,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC9D,MAAM,GAAG,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC9D,MAAM,GAAG,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC9D,MAAM,GAAG,GAAG,CAAC,CAAO,EAAE,CAAO,EAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC9D,MAAM,KAAK,GAAG,CAAC,CAAO,EAAE,SAAe,EAAE,IAAU,EAAE,SAAe,EAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;AA6ChI,wEAAwE;AACxE,SAAS,sBAAsB;IAC7B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,CAAC,GAAG,EAAE,EAAE;QACb,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC;QACvB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,GAAG,sBAAsB,EAAE,CAAC;AAE5C,kDAAkD;AAClD,SAAS,YAAY;IACnB,OAAO,EAAE,CAAC,CAAC,+CAA+C;AAC5D,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAyB;IAChD;QACE,EAAE,EAAE,wBAAwB,EAAE,QAAQ,EAAE,wBAAwB,EAAE,SAAS,EAAE,iBAAiB;QAC9F,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,cAAc,EAAE,wBAAwB;KACpG;IACD;QACE,EAAE,EAAE,kBAAkB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,SAAS,EAAE,mBAAmB;QACtF,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC;QACjE,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,cAAc,EAAE,wBAAwB;KACzC;IACD;QACE,EAAE,EAAE,iBAAiB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,SAAS,EAAE,UAAU;QAC5E,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,GAAG,CAAC,CAAC,QAAQ;QAClD,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,cAAc,EAAE,wBAAwB;KACjG;IACD;QACE,EAAE,EAAE,sBAAsB,EAAE,QAAQ,EAAE,uBAAuB,EAAE,SAAS,EAAE,WAAW;QACrF,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,cAAc,EAAE,wBAAwB;KACrH;IACD;QACE,EAAE,EAAE,iBAAiB,EAAE,QAAQ,EAAE,uBAAuB,EAAE,SAAS,EAAE,iBAAiB;QACtF,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,wBAAwB;KACzG;IACD;QACE,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,oBAAoB;QACxE,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,gBAAgB,GAAG,CAAC,CAAC,QAAQ;QACnG,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QACjI,cAAc,EAAE,wBAAwB;KACzC;IACD;QACE,EAAE,EAAE,aAAa,EAAE,QAAQ,EAAE,yBAAyB,EAAE,SAAS,EAAE,cAAc;QACjF,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,EAAE,wBAAwB;KACvH;IACD;QACE,EAAE,EAAE,gBAAgB,EAAE,QAAQ,EAAE,0BAA0B,EAAE,SAAS,EAAE,yBAAyB;QAChG,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAE,CAAC,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,6FAA6F;QAC7F,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,cAAc,EAAE,sBAAsB,EAAE,aAAa,EAAE,UAAU;KAClH;IACD;QACE,EAAE,EAAE,iBAAiB,EAAE,QAAQ,EAAE,4BAA4B,EAAE,SAAS,EAAE,mBAAmB;QAC7F,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI;QAChE,cAAc,EAAE,aAAa,EAAE,MAAM,EAAE,mBAAmB;KAC3D;IACD;QACE,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,kCAAkC,EAAE,SAAS,EAAE,6BAA6B;QAC3G,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI;QACnD,cAAc,EAAE,aAAa,EAAE,MAAM,EAAE,sBAAsB;KAC9D;IACD;QACE,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,0BAA0B,EAAE,SAAS,EAAE,gCAAgC;QACtG,UAAU,EAAE,GAAG,EAAE,CAAC,YAAY,EAAE,EAAE,WAAW,EAAE,IAAI;QACnD,cAAc,EAAE,aAAa,EAAE,MAAM,EAAE,qBAAqB;KAC7D;CACF,CAAC;AAcF,MAAM,eAAe,GAA4B;IAC/C,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IACtF,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IACzF,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE;CAC1F,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,KAAgB,EAAE,SAAiB;IAC9D,IAAI,KAAK,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAC/B,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC;IAC7J,CAAC;IACD,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,oFAAoF;IACpF,MAAM,QAAQ,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC5B,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAgB,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC;QAChH,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,KAAK,CAAC,aAAa;YAAE,YAAY,GAAG,OAAO,CAAC,CAAC,oCAAoC;QACrF,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,qBAAqB,EAAE,QAAQ,IAAI,SAAS,EAAE,CAAC;AACxK,CAAC;AAWD,MAAM,UAAU,aAAa,CAAC,SAAiB;IAC7C,MAAM,iBAAiB,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IAC9E,MAAM,OAAO,GAA+B;QAC1C,wBAAwB,EAAE,CAAC,EAAE,sBAAsB,EAAE,CAAC,EAAE,mCAAmC,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC;KACjH,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,YAAY;QAAE,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,gBAAgB,GAAG,OAAO,CAAC,wBAAwB,CAAC,GAAG,OAAO,CAAC,sBAAsB,CAAC,GAAG,OAAO,CAAC,mCAAmC,CAAC,CAAC;IAC5I,MAAM,qBAAqB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,wBAAwB,CAAC,CAAC,MAAM,CAAC;IACnI,MAAM,OAAO,GACX,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,sBAAsB;QACnD,CAAC,CAAC,gBAAgB,KAAK,CAAC,IAAI,qBAAqB,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU;YAClE,CAAC,CAAC,gCAAgC,CAAC;IACzC,MAAM,QAAQ,GACZ,iGAAiG;QACjG,qGAAqG;QACrG,uGAAuG;QACvG,0FAA0F,CAAC;IAC7F,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,qBAAqB,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC;AAC9G,CAAC"}

package/dist/world/governor-equivalence.d.ts

@@ -0,0 +1,51 @@
+import type { QualityTier } from './substrates/governor.ts';
+import type { CoverageEntry, SnapshotFidelity } from './equivalence.ts';
+export interface GovernorSemanticStep {
+    readonly step: number;
+    readonly tier: QualityTier;
+    readonly overrunStreak: number;
+    readonly cleanStreak: number;
+    readonly changed: boolean;
+    readonly failure?: string;
+}
+/** Only the controls that exist for THIS substrate; the rest are recorded not-applicable. */
+export interface GovernorEquivalenceConditions {
+    readonly initialStateControlled: boolean;
+    readonly operationOrderControlled: boolean;
+    readonly inputValuesControlled: boolean;
+    readonly transitionCountControlled: boolean;
+    readonly notApplicable: readonly string[];
+}
+export declare const GOVERNOR_CONDITIONS: GovernorEquivalenceConditions;
+/** Complete: the payload reconstructs State exactly (contrast: the field is `partial-observable`). */
+export declare const GOVERNOR_SNAPSHOT_FIDELITY: SnapshotFidelity;
+/** Every construct is represented — nothing is substrate-owned, lossy, or unavailable. */
+export declare function governorStructuralCoverage(): CoverageEntry[];
+export interface GovernorFixture {
+    readonly durations: readonly number[];
+    readonly budgetMs: number;
+    readonly conditions: GovernorEquivalenceConditions;
+}
+export declare function governorFixture(durations: readonly number[], budgetMs?: number): GovernorFixture;
+/** RAW path — the authority. Drives the substrate directly; never through the adapter. */
+export declare function runRawGovernorPath(fixture: GovernorFixture): GovernorSemanticStep[];
+/** ADAPTED path — identical fixture, routed through DynamicsContract + hostWorld. */
+export declare function runAdaptedGovernorPath(fixture: GovernorFixture): GovernorSemanticStep[];
+export interface GovernorDivergence {
+    readonly step: number;
+    readonly field: string;
+    readonly detail: string;
+}
+export interface GovernorEquivalenceResult {
+    readonly equivalent: boolean;
+    readonly divergences: readonly GovernorDivergence[];
+    readonly transitionsCompared: number;
+    readonly conditions: GovernorEquivalenceConditions;
+    readonly coverage: readonly CoverageEntry[];
+    readonly snapshotFidelity: SnapshotFidelity;
+}
+/** Compare at EVERY transition. All values are discrete → exact equality, no tolerance needed. */
+export declare function compareGovernorTraces(raw: readonly GovernorSemanticStep[], adapted: readonly GovernorSemanticStep[], fixture: GovernorFixture): GovernorEquivalenceResult;
+/** Final-state-only comparison — used ONLY to demonstrate it can false-pass. */
+export declare function compareGovernorFinalOnly(raw: readonly GovernorSemanticStep[], adapted: readonly GovernorSemanticStep[], fixture: GovernorFixture): boolean;
+//# sourceMappingURL=governor-equivalence.d.ts.map

package/dist/world/governor-equivalence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"governor-equivalence.d.ts","sourceRoot":"","sources":["../../src/world/governor-equivalence.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAiB,aAAa,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEvF,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,6FAA6F;AAC7F,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;IACzC,QAAQ,CAAC,wBAAwB,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C;AAED,eAAO,MAAM,mBAAmB,EAAE,6BAMjC,CAAC;AAEF,sGAAsG;AACtG,eAAO,MAAM,0BAA0B,EAAE,gBAAwC,CAAC;AAElF,0FAA0F;AAC1F,wBAAgB,0BAA0B,IAAI,aAAa,EAAE,CAY5D;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAC;CACpD;AAED,wBAAgB,eAAe,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,EAAE,QAAQ,GAAE,MAA0B,GAAG,eAAe,CAEnH;AAMD,0FAA0F;AAC1F,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,eAAe,GAAG,oBAAoB,EAAE,CAenF;AAED,qFAAqF;AACrF,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,eAAe,GAAG,oBAAoB,EAAE,CAuBvF;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACpD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;CAC7C;AAED,kGAAkG;AAClG,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,SAAS,oBAAoB,EAAE,EACpC,OAAO,EAAE,SAAS,oBAAoB,EAAE,EACxC,OAAO,EAAE,eAAe,GACvB,yBAAyB,CAuB3B;AAED,gFAAgF;AAChF,wBAAgB,wBAAwB,CACtC,GAAG,EAAE,SAAS,oBAAoB,EAAE,EACpC,OAAO,EAAE,SAAS,oBAAoB,EAAE,EACxC,OAAO,EAAE,eAAe,GACvB,OAAO,CAKT"}

package/dist/world/governor-equivalence.js

@@ -0,0 +1,126 @@
+/**
+ * G3.2 — raw-vs-adapted equivalence for the SECOND substrate (the governor rule set).
+ *
+ * Same discipline as F1.4: the RAW substrate is the baseline authority (driven directly via
+ * `feedGovernor`), the adapted path routes the identical fixture through `DynamicsContract` +
+ * `hostWorld`, and equivalence is compared at EVERY transition — never final state alone.
+ *
+ * The controls differ from the field, and that difference is itself evidence: this substrate has no
+ * clock, no randomness, no queue, no environment, no retry policy and no external I/O, so those
+ * controls are recorded as NOT-APPLICABLE rather than silently claimed. Field-free at runtime (the
+ * shared vocabulary is imported type-only). Internal/experimental.
+ */
+import { hostWorld } from "./kernel.js";
+import { createWorldEnvelope } from "./envelope.js";
+import { governorDynamics } from "./adapters/governor-runtime.js";
+import { feedGovernor, initialGovernorState, DEFAULT_BUDGET_MS } from "./substrates/governor.js";
+export const GOVERNOR_CONDITIONS = {
+    initialStateControlled: true,
+    operationOrderControlled: true,
+    inputValuesControlled: true,
+    transitionCountControlled: true,
+    notApplicable: ['clock', 'randomness', 'queue-order', 'environment', 'retry-policy', 'external-response', 'host-geometry'],
+};
+/** Complete: the payload reconstructs State exactly (contrast: the field is `partial-observable`). */
+export const GOVERNOR_SNAPSHOT_FIDELITY = 'complete-restorable';
+/** Every construct is represented — nothing is substrate-owned, lossy, or unavailable. */
+export function governorStructuralCoverage() {
+    const rep = (construct) => ({ construct, classification: 'represented' });
+    return [
+        rep('tier'),
+        rep('overrun streak'),
+        rep('clean streak'),
+        rep('budget'),
+        rep('transition law (declared escalation table)'),
+        rep('tier-change events'),
+        rep('snapshot state'),
+        rep('failure state'),
+    ];
+}
+export function governorFixture(durations, budgetMs = DEFAULT_BUDGET_MS) {
+    return { durations, budgetMs, conditions: GOVERNOR_CONDITIONS };
+}
+function world() {
+    return { envelope: createWorldEnvelope('governor-world'), entities: [], relations: [], invariants: [], projections: [] };
+}
+/** RAW path — the authority. Drives the substrate directly; never through the adapter. */
+export function runRawGovernorPath(fixture) {
+    let state = initialGovernorState(fixture.budgetMs);
+    const trace = [
+        { step: 0, tier: state.tier, overrunStreak: state.overrunStreak, cleanStreak: state.cleanStreak, changed: false },
+    ];
+    fixture.durations.forEach((d, i) => {
+        if (!Number.isFinite(d) || d < 0) {
+            trace.push({ step: i + 1, tier: state.tier, overrunStreak: state.overrunStreak, cleanStreak: state.cleanStreak, changed: false, failure: 'invalid-state' });
+            return;
+        }
+        const r = feedGovernor(state, d);
+        state = r.state;
+        trace.push({ step: i + 1, tier: state.tier, overrunStreak: state.overrunStreak, cleanStreak: state.cleanStreak, changed: r.changed !== undefined });
+    });
+    return trace;
+}
+/** ADAPTED path — identical fixture, routed through DynamicsContract + hostWorld. */
+export function runAdaptedGovernorPath(fixture) {
+    const w = world();
+    const host = hostWorld(w, governorDynamics(w, fixture.budgetMs));
+    const trace = [];
+    const s0 = host.readState();
+    if (s0.ok) {
+        const m = s0.value.reading.metrics;
+        trace.push({ step: 0, tier: m.tier, overrunStreak: m.overrunStreak, cleanStreak: m.cleanStreak, changed: false });
+    }
+    fixture.durations.forEach((d, i) => {
+        const adv = host.advance({ durationMs: d });
+        if (!adv.ok) {
+            const rs = host.readState();
+            const m = rs.ok ? rs.value.reading.metrics : { tier: 0, overrunStreak: 0, cleanStreak: 0 };
+            trace.push({ step: i + 1, tier: m.tier, overrunStreak: m.overrunStreak, cleanStreak: m.cleanStreak, changed: false, failure: adv.error.code });
+            return;
+        }
+        const rs = host.readState();
+        const m = rs.ok ? rs.value.reading.metrics : { tier: 0, overrunStreak: 0, cleanStreak: 0 };
+        trace.push({ step: i + 1, tier: m.tier, overrunStreak: m.overrunStreak, cleanStreak: m.cleanStreak, changed: adv.value.changed });
+    });
+    host.dispose();
+    return trace;
+}
+/** Compare at EVERY transition. All values are discrete → exact equality, no tolerance needed. */
+export function compareGovernorTraces(raw, adapted, fixture) {
+    const divergences = [];
+    if (raw.length !== adapted.length) {
+        divergences.push({ step: -1, field: 'step-count', detail: `raw ${raw.length} vs adapted ${adapted.length}` });
+    }
+    const n = Math.min(raw.length, adapted.length);
+    for (let i = 0; i < n; i++) {
+        const r = raw[i];
+        const a = adapted[i];
+        if (r.tier !== a.tier)
+            divergences.push({ step: i, field: 'tier', detail: `${r.tier} vs ${a.tier}` });
+        if (r.overrunStreak !== a.overrunStreak)
+            divergences.push({ step: i, field: 'overrunStreak', detail: `${r.overrunStreak} vs ${a.overrunStreak}` });
+        if (r.cleanStreak !== a.cleanStreak)
+            divergences.push({ step: i, field: 'cleanStreak', detail: `${r.cleanStreak} vs ${a.cleanStreak}` });
+        if (r.changed !== a.changed)
+            divergences.push({ step: i, field: 'changed(event)', detail: `${r.changed} vs ${a.changed}` });
+        if (r.failure !== a.failure)
+            divergences.push({ step: i, field: 'failure', detail: `${r.failure ?? 'none'} vs ${a.failure ?? 'none'}` });
+    }
+    return {
+        equivalent: divergences.length === 0,
+        divergences,
+        transitionsCompared: n,
+        conditions: fixture.conditions,
+        coverage: governorStructuralCoverage(),
+        snapshotFidelity: GOVERNOR_SNAPSHOT_FIDELITY,
+    };
+}
+/** Final-state-only comparison — used ONLY to demonstrate it can false-pass. */
+export function compareGovernorFinalOnly(raw, adapted, fixture) {
+    const r = raw[raw.length - 1];
+    const a = adapted[adapted.length - 1];
+    if (!r || !a)
+        return false;
+    return compareGovernorTraces([r], [a], fixture).equivalent;
+}
+//# sourceMappingURL=governor-equivalence.js.map

package/dist/world/governor-equivalence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"governor-equivalence.js","sourceRoot":"","sources":["../../src/world/governor-equivalence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAsBjG,MAAM,CAAC,MAAM,mBAAmB,GAAkC;IAChE,sBAAsB,EAAE,IAAI;IAC5B,wBAAwB,EAAE,IAAI;IAC9B,qBAAqB,EAAE,IAAI;IAC3B,yBAAyB,EAAE,IAAI;IAC/B,aAAa,EAAE,CAAC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,EAAE,mBAAmB,EAAE,eAAe,CAAC;CAC3H,CAAC;AAEF,sGAAsG;AACtG,MAAM,CAAC,MAAM,0BAA0B,GAAqB,qBAAqB,CAAC;AAElF,0FAA0F;AAC1F,MAAM,UAAU,0BAA0B;IACxC,MAAM,GAAG,GAAG,CAAC,SAAiB,EAAiB,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,cAAc,EAAE,aAA8B,EAAE,CAAC,CAAC;IAClH,OAAO;QACL,GAAG,CAAC,MAAM,CAAC;QACX,GAAG,CAAC,gBAAgB,CAAC;QACrB,GAAG,CAAC,cAAc,CAAC;QACnB,GAAG,CAAC,QAAQ,CAAC;QACb,GAAG,CAAC,4CAA4C,CAAC;QACjD,GAAG,CAAC,oBAAoB,CAAC;QACzB,GAAG,CAAC,gBAAgB,CAAC;QACrB,GAAG,CAAC,eAAe,CAAC;KACrB,CAAC;AACJ,CAAC;AAQD,MAAM,UAAU,eAAe,CAAC,SAA4B,EAAE,WAAmB,iBAAiB;IAChG,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,KAAK;IACZ,OAAO,EAAE,QAAQ,EAAE,mBAAmB,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;AAC3H,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,kBAAkB,CAAC,OAAwB;IACzD,IAAI,KAAK,GAAG,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnD,MAAM,KAAK,GAA2B;QACpC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE;KAClH,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;YAC5J,OAAO;QACT,CAAC;QACD,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACjC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC,CAAC;IACtJ,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,sBAAsB,CAAC,OAAwB;IAC7D,MAAM,CAAC,GAAG,KAAK,EAAE,CAAC;IAClB,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjE,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAC5B,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QACV,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAmB,EAAE,aAAa,EAAE,CAAC,CAAC,aAAc,EAAE,WAAW,EAAE,CAAC,CAAC,WAAY,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACrI,CAAC;IACD,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;YACZ,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;YAC3F,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAmB,EAAE,aAAa,EAAE,CAAC,CAAC,aAAc,EAAE,WAAW,EAAE,CAAC,CAAC,WAAY,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAChK,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;QAC3F,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAmB,EAAE,aAAa,EAAE,CAAC,CAAC,aAAc,EAAE,WAAW,EAAE,CAAC,CAAC,WAAY,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACrJ,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,OAAO,EAAE,CAAC;IACf,OAAO,KAAK,CAAC;AACf,CAAC;AAiBD,kGAAkG;AAClG,MAAM,UAAU,qBAAqB,CACnC,GAAoC,EACpC,OAAwC,EACxC,OAAwB;IAExB,MAAM,WAAW,GAAyB,EAAE,CAAC;IAC7C,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QAClC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,GAAG,CAAC,MAAM,eAAe,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QAClB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACtG,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QACnJ,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACzI,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC5H,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,IAAI,MAAM,OAAO,CAAC,CAAC,OAAO,IAAI,MAAM,EAAE,EAAE,CAAC,CAAC;IAC3I,CAAC;IACD,OAAO;QACL,UAAU,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;QACpC,WAAW;QACX,mBAAmB,EAAE,CAAC;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ,EAAE,0BAA0B,EAAE;QACtC,gBAAgB,EAAE,0BAA0B;KAC7C,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,wBAAwB,CACtC,GAAoC,EACpC,OAAwC,EACxC,OAAwB;IAExB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3B,OAAO,qBAAqB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,UAAU,CAAC;AAC7D,CAAC"}

package/dist/world/kernel.d.ts

@@ -0,0 +1,49 @@
+/**
+ * The world kernel host (F1.3). Hosts a declared {@link World} with a {@link DynamicsContract} and
+ * ORCHESTRATES its execution: it initializes the contract, threads the opaque `State` through
+ * `advance`, and reads state through `snapshot` — WITHOUT understanding the dynamics and WITHOUT holding
+ * any substrate-specific reference (the field instance, if any, lives inside `State`, which the substrate
+ * created; the kernel treats `State` as opaque). OS/VM position: the kernel defines the contract under
+ * which substrates run; it does not encode any substrate's instruction set.
+ *
+ * EXPERIMENTAL, field-free (enforced by `world/architecture.test.ts`).
+ */
+import type { World, WorldInvariant, WorldStateSnapshot } from './world.ts';
+import type { DynamicsContract, DynamicsEvidence, DynamicsResult, DynamicsSnapshot, TransitionLifecycle } from './dynamics.ts';
+export interface InvariantResult {
+    readonly invariant: WorldInvariant;
+    readonly held: boolean;
+    readonly detail: string;
+}
+export interface KernelHost<State, Input, Output, Evidence = DynamicsEvidence> {
+    readonly world: World;
+    readonly dynamics: DynamicsContract<State, Input, Output, Evidence>;
+    /** True once `initialize` succeeded. */
+    readonly initialized: boolean;
+    /** Execute the contract once. The kernel threads `State`; it does not inspect it. */
+    advance(input: Input): DynamicsResult<Output, Evidence>;
+    /**
+     * Lifecycle reported by the most recent successful `advance` (corpus finding C1) — the generic signal
+     * that tells a kernel whether to keep advancing, without reading substrate-specific output.
+     * `'continuing'` before any transition, and for substrates that predate the concept.
+     *
+     * Deliberately a host reading rather than a field on `advance`'s result: carrying it in the result
+     * would change the shape every existing call site destructures, including the F1.4 equivalence
+     * harness that serves as the raw-vs-adapted authority. Perturbing that authority to improve an API
+     * shape is a bad trade mid-program. Folding it into the result is the better long-term design and is
+     * the natural move the next time this API is revised.
+     */
+    readonly lastLifecycle: TransitionLifecycle;
+    /** Read state via the contract's snapshot (if the substrate advertises the capability). */
+    readState(): DynamicsResult<DynamicsSnapshot, Evidence> | {
+        readonly ok: false;
+        readonly reason: string;
+    };
+    /** Generic invariant check over a readable projection — no substrate knowledge. */
+    checkInvariants(reading: WorldStateSnapshot): InvariantResult[];
+    dispose(): void;
+}
+export declare function hostWorld<State, Input, Output, Evidence = DynamicsEvidence>(world: World, dynamics: DynamicsContract<State, Input, Output, Evidence>): KernelHost<State, Input, Output, Evidence>;
+/** Generic invariant checking over a readable projection — NO substrate knowledge. */
+export declare function checkInvariantsAgainst(world: World, reading: WorldStateSnapshot): InvariantResult[];
+//# sourceMappingURL=kernel.d.ts.map

package/dist/world/kernel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel.d.ts","sourceRoot":"","sources":["../../src/world/kernel.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC5E,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,gBAAgB,EAChB,mBAAmB,EACpB,MAAM,eAAe,CAAC;AAEvB,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,GAAG,gBAAgB;IAC3E,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACpE,wCAAwC;IACxC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,qFAAqF;IACrF,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxD;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,aAAa,EAAE,mBAAmB,CAAC;IAC5C,2FAA2F;IAC3F,SAAS,IAAI,cAAc,CAAC,gBAAgB,EAAE,QAAQ,CAAC,GAAG;QAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1G,mFAAmF;IACnF,eAAe,CAAC,OAAO,EAAE,kBAAkB,GAAG,eAAe,EAAE,CAAC;IAChE,OAAO,IAAI,IAAI,CAAC;CACjB;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,GAAG,gBAAgB,EACzE,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,GACzD,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CA2C5C;AAED,sFAAsF;AACtF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,GAAG,eAAe,EAAE,CAiBnG"}

package/dist/world/kernel.js

@@ -0,0 +1,64 @@
+export function hostWorld(world, dynamics) {
+    const init = dynamics.initialize({ declaration: world });
+    let state = init.ok ? init.value : undefined;
+    let step = 0;
+    let lifecycle = 'continuing';
+    return {
+        world,
+        dynamics,
+        get initialized() {
+            return state !== undefined;
+        },
+        get lastLifecycle() {
+            return lifecycle;
+        },
+        advance(input) {
+            if (state === undefined) {
+                return { ok: false, error: { code: 'invalid-state', message: 'contract not initialized' }, evidence: init.evidence };
+            }
+            const result = dynamics.advance(state, input, { step });
+            if (result.ok) {
+                state = result.value.state;
+                step += 1;
+                // absent is read as continuing — substrates predating the concept are unaffected
+                lifecycle = result.value.lifecycle ?? 'continuing';
+                return { ok: true, value: result.value.output, evidence: result.evidence };
+            }
+            return { ok: false, error: result.error, evidence: result.evidence };
+        },
+        readState() {
+            if (state === undefined)
+                return { ok: false, reason: 'contract not initialized' };
+            if (!dynamics.capabilities.snapshot || !dynamics.snapshot) {
+                return { ok: false, reason: 'substrate does not advertise snapshot' };
+            }
+            return dynamics.snapshot(state, { step });
+        },
+        checkInvariants(reading) {
+            return checkInvariantsAgainst(world, reading);
+        },
+        dispose() {
+            state = undefined;
+        },
+    };
+}
+/** Generic invariant checking over a readable projection — NO substrate knowledge. */
+export function checkInvariantsAgainst(world, reading) {
+    return world.invariants.map((invariant) => {
+        if (invariant.kind === 'count') {
+            const metric = String(invariant.spec.metric ?? 'entities');
+            const expected = Number(invariant.spec.value);
+            const actual = metric === 'entities' ? reading.entities.length : (reading.metrics[metric] ?? Number.NaN);
+            return { invariant, held: actual === expected, detail: `${metric}=${actual}, expected ${expected}` };
+        }
+        if (invariant.kind === 'range') {
+            const metric = String(invariant.spec.metric);
+            const value = reading.metrics[metric] ?? Number.NaN;
+            const min = Number(invariant.spec.min);
+            const max = Number(invariant.spec.max);
+            return { invariant, held: value >= min && value <= max, detail: `${metric}=${value} in [${min},${max}]` };
+        }
+        return { invariant, held: true, detail: `unchecked kind "${invariant.kind}"` };
+    });
+}
+//# sourceMappingURL=kernel.js.map

package/dist/world/kernel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel.js","sourceRoot":"","sources":["../../src/world/kernel.ts"],"names":[],"mappings":"AAmDA,MAAM,UAAU,SAAS,CACvB,KAAY,EACZ,QAA0D;IAE1D,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;IACzD,IAAI,KAAK,GAAsB,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAChE,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,SAAS,GAAwB,YAAY,CAAC;IAElD,OAAO;QACL,KAAK;QACL,QAAQ;QACR,IAAI,WAAW;YACb,OAAO,KAAK,KAAK,SAAS,CAAC;QAC7B,CAAC;QACD,IAAI,aAAa;YACf,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,KAAY;YAClB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,0BAA0B,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACvH,CAAC;YACD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YACxD,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;gBAC3B,IAAI,IAAI,CAAC,CAAC;gBACV,iFAAiF;gBACjF,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,YAAY,CAAC;gBACnD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC7E,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QACvE,CAAC;QACD,SAAS;YACP,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC;YAClF,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC1D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,uCAAuC,EAAE,CAAC;YACxE,CAAC;YACD,OAAO,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5C,CAAC;QACD,eAAe,CAAC,OAA2B;YACzC,OAAO,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChD,CAAC;QACD,OAAO;YACL,KAAK,GAAG,SAAS,CAAC;QACpB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,sBAAsB,CAAC,KAAY,EAAE,OAA2B;IAC9E,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;QACxC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,CAAC;YAC3D,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;YACzG,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,KAAK,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,IAAI,MAAM,cAAc,QAAQ,EAAE,EAAE,CAAC;QACvG,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC;YACpD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvC,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,EAAE,MAAM,EAAE,GAAG,MAAM,IAAI,KAAK,QAAQ,GAAG,IAAI,GAAG,GAAG,EAAE,CAAC;QAC5G,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC;IACjF,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/world/observatory/capture.d.ts

@@ -0,0 +1,10 @@
+import { type ObservatoryBundle } from './evidence-log.ts';
+/**
+ * Assemble the whole bundle. Registry sections are passed through VERBATIM — a test asserts they
+ * deep-equal the live registries, so the Observatory cannot show a discovery the runtime does not hold.
+ */
+export declare function captureBundle(revision: {
+    commit: string;
+    coreVersion: string;
+}): ObservatoryBundle;
+//# sourceMappingURL=capture.d.ts.map

package/dist/world/observatory/capture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture.d.ts","sourceRoot":"","sources":["../../../src/world/observatory/capture.ts"],"names":[],"mappings":"AAqCA,OAAO,EAIL,KAAK,iBAAiB,EAMvB,MAAM,mBAAmB,CAAC;AA2S3B;;;GAGG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG,iBAAiB,CAkFlG"}