@fundamental-engine/core 0.9.3 → 0.9.5

package/dist/world/adapters/field-runtime.js

@@ -0,0 +1,250 @@
+/**
+ * FieldRuntime adapter (F1.3/F1.4) — the ONE-WAY bridge, and the ONLY file in `world/` permitted to
+ * import the field runtime. Direction:
+ *
+ *     CompiledPattern  →(worldFromCompiledPattern)→  generic World declarations
+ *     World            →(fieldRuntimeDynamics)→      DynamicsContract over an OPAQUE field substrate
+ *
+ * The field runtime is an `opaque-native` execution substrate. It advertises ONLY what it genuinely
+ * supports (lossy snapshot ⇒ no restore/replay), never claims declarative equivalence, and records that
+ * behavioral interpretation is unresolved rather than asserting it. Evolution stays executable force
+ * code inside the field (the F1.1 finding).
+ */
+import { createField } from "../../engine/field.js";
+import { FIELD_VERSION } from "../../version.js";
+import { createWorldEnvelope } from "../envelope.js";
+const NUMERIC_ATTRS = {
+    'data-strength': 'strength',
+    'data-range': 'range',
+    'data-spin': 'spin',
+    'data-angle': 'angle',
+};
+function paramsFromAttributes(attrs) {
+    const out = {};
+    for (const [attr, value] of Object.entries(attrs)) {
+        if (attr === 'data-body')
+            continue;
+        const key = NUMERIC_ATTRS[attr];
+        if (key) {
+            const n = Number(value);
+            if (!Number.isNaN(n))
+                out[key] = n;
+        }
+        else if (value === '') {
+            out[attr.replace(/^data-/, '')] = true;
+        }
+        else {
+            out[attr.replace(/^data-/, '')] = value;
+        }
+    }
+    return out;
+}
+/** Translate a compiled pattern into a generic World, with an explicit preserved/transformed/omitted map. */
+export function worldFromCompiledPattern(compiled) {
+    const entities = compiled.bodies.map((b, i) => {
+        const attrs = b.attributes;
+        const id = attrs['data-id'] ?? `body-${i}`;
+        return {
+            identity: { id, kind: attrs['data-body'] },
+            tokens: b.tokens,
+            params: paramsFromAttributes(attrs),
+        };
+    });
+    const relations = compiled.relationships.map((r) => ({
+        from: r.from,
+        to: r.to,
+        type: r.type,
+        ...(r.strength != null ? { strength: r.strength } : {}),
+    }));
+    const invariants = [];
+    const expected = compiled.recipe.expected;
+    if (expected) {
+        if (expected.particleCount != null) {
+            invariants.push({ id: 'particle-count', kind: 'count', spec: { metric: 'particles', value: expected.particleCount } });
+        }
+        if (expected.entropyRange) {
+            invariants.push({ id: 'entropy-range', kind: 'range', spec: { metric: 'entropy', min: expected.entropyRange[0], max: expected.entropyRange[1] } });
+        }
+    }
+    const projections = [];
+    if (compiled.render.underlay)
+        projections.push({ id: 'underlay', surface: 'underlay', declares: [compiled.render.underlay] });
+    if (compiled.render.overlay.length)
+        projections.push({ id: 'overlay', surface: 'overlay', declares: compiled.render.overlay });
+    if (compiled.feedback.length)
+        projections.push({ id: 'feedback', surface: 'feedback', declares: compiled.feedback.map((f) => f.metric) });
+    const world = {
+        envelope: createWorldEnvelope(compiled.id, { worldSchema: '0.1.0' }),
+        entities,
+        relations,
+        invariants,
+        projections,
+    };
+    const mapping = {
+        preserved: ['entity.identity', 'entity.tokens', 'relations', 'invariants(expected)'],
+        transformed: ['data-* attribute bag → typed params', 'render/feedback → generic projections'],
+        omitted: [
+            'lawful evolution (force apply(b,p,env) code) — OPAQUE, stays in the field substrate',
+            'live velocities / particle ids / registry / grids (unreconstructible closure state)',
+        ],
+    };
+    return { world, mapping };
+}
+function headlessHost(width, height) {
+    let frame = null;
+    let t = 0;
+    const root = { querySelectorAll: () => [], querySelector: () => null, contains: () => false };
+    const host = {
+        root,
+        viewport: () => ({ width, height, dpr: 1 }),
+        scrollY: () => 0,
+        scrollHeight: () => height,
+        reducedMotion: () => false,
+        hidden: () => false,
+        raf: (cb) => {
+            frame = cb;
+            return 1;
+        },
+        cancelRaf: () => {
+            frame = null;
+        },
+        createCanvas: () => {
+            throw new Error('headless: no canvas');
+        },
+        onResize: () => () => { },
+        onScroll: () => () => { },
+        onVisibility: () => () => { },
+        onInput: () => () => { },
+        onBodyEvent: () => () => { },
+    };
+    return {
+        host,
+        tick: () => {
+            t += 1000 / 60;
+            const cb = frame;
+            frame = null;
+            cb?.(t);
+        },
+    };
+}
+const SOURCE = { kind: 'substrate', id: 'field-runtime' };
+function record(id, kind, observedAt, payload) {
+    return { id, kind, source: SOURCE, observedAt, payload };
+}
+function evidence(parts) {
+    return {
+        declaredInputs: parts.declaredInputs ?? [],
+        substrateResponses: parts.substrateResponses ?? [],
+        checkedInvariants: parts.checkedInvariants ?? [],
+        executionTrace: parts.executionTrace ?? [],
+        unresolvedInterpretations: parts.unresolvedInterpretations ?? [],
+    };
+}
+export const DEFAULT_FIELD_CONSTRUCTION = {
+    hostWidth: 400,
+    hostHeight: 300,
+    makeRng: () => {
+        let seed = 1;
+        return () => (seed = (seed * 1103515245 + 12345) & 0x7fffffff) / 0x7fffffff;
+    },
+    makeNow: () => {
+        let t = 0;
+        return () => (t += 1000 / 60);
+    },
+    placement: (i) => ({ left: 50 + (i % 5) * 60, top: 50 + Math.floor(i / 5) * 60, width: 40, height: 40 }),
+};
+/**
+ * A DynamicsContract backed by the OPAQUE Fundamental field runtime. It runs a declared World's entities
+ * through a headless field. `executionKind: 'opaque-native'`; it advertises only what the runtime
+ * supports (lossy snapshot, no restore/replay); it never claims to know the internal force laws, and it
+ * records that behavioral interpretation is unresolved rather than asserting it.
+ */
+export function fieldRuntimeDynamics(world, construction = DEFAULT_FIELD_CONSTRUCTION) {
+    return {
+        identity: { id: `field-runtime:${world.envelope.worldInstance}`, version: FIELD_VERSION },
+        executionKind: 'opaque-native',
+        capabilities: {
+            initialize: true,
+            advance: true,
+            snapshot: true,
+            restore: false, // snapshot is lossy — cannot reconstruct State
+            replay: false,
+            inspectInternalState: false, // the force laws are opaque code
+            declareTransitionLaw: false, // incompatible with opaque-native by design
+            deterministicReplay: false,
+        },
+        determinism: {
+            classification: 'conditionally-deterministic',
+            controlledInputs: ['injected-rng', 'clock'],
+            uncontrolledInputs: ['host-geometry', 'body-ordering'],
+            requirements: ['injected rng', 'dt===1 for cross-run equivalence'],
+        },
+        initialize(request) {
+            const declared = request.declaration;
+            const { host, tick } = headlessHost(construction.hostWidth, construction.hostHeight);
+            const field = createField(undefined, { host, render: 'none', rng: construction.makeRng(), now: construction.makeNow() });
+            declared.entities.forEach((e, i) => {
+                const rect = construction.placement(i);
+                const p = e.params;
+                field.addBody({
+                    identity: { id: e.identity.id },
+                    tokens: [...e.tokens],
+                    ...(typeof p.strength === 'number' ? { strength: p.strength } : {}),
+                    ...(typeof p.range === 'number' ? { range: p.range } : {}),
+                    rect: () => rect,
+                });
+            });
+            return {
+                ok: true,
+                value: { field, tick, step: 0, envelope: declared.envelope },
+                evidence: evidence({ declaredInputs: [record('init', 'declaration', 0, { entities: declared.entities.length })] }),
+            };
+        },
+        advance(state, input, context) {
+            const steps = input.steps ?? 1;
+            for (let i = 0; i < steps; i++)
+                state.tick();
+            const nextStep = state.step + steps;
+            return {
+                ok: true,
+                value: {
+                    state: { field: state.field, tick: state.tick, step: nextStep, envelope: state.envelope },
+                    output: { steps },
+                },
+                evidence: evidence({
+                    declaredInputs: [record('advance-input', 'steps', context.step, { steps })],
+                    substrateResponses: [record('advance-response', 'ticked', nextStep, { step: nextStep })],
+                    executionTrace: [{ id: `t-${nextStep}`, step: nextStep, source: SOURCE, summary: `advanced ${steps} step(s)` }],
+                    unresolvedInterpretations: [
+                        { id: 'behavior', claim: 'field motion interpreted as participant behavior', authority: 'empirical', status: 'unresolved' },
+                    ],
+                }),
+            };
+        },
+        snapshot(state, _context) {
+            const snap = state.field.snapshot();
+            const entities = snap.bodies.map((b) => ({
+                id: b.id,
+                ...(b.position ? { position: { x: b.position.x, y: b.position.y, z: b.position.z } } : {}),
+                metrics: { ...b.metrics },
+            }));
+            const reading = {
+                envelope: state.envelope,
+                step: state.step,
+                entities,
+                metrics: {
+                    particles: snap.metrics.particles ?? 0,
+                    bodies: snap.metrics.bodies ?? 0,
+                    meanDensity: snap.metrics.meanDensity ?? 0,
+                },
+            };
+            return {
+                ok: true,
+                value: { reading, restorable: false }, // lossy: no payload, cannot restore
+                evidence: evidence({ substrateResponses: [record('snapshot', 'field-snapshot', state.step, { bodies: reading.metrics.bodies })] }),
+            };
+        },
+        // no `restore` — capabilities.restore is false (a lossy snapshot cannot reconstruct State).
+    };
+}
+//# sourceMappingURL=field-runtime.js.map

package/dist/world/adapters/field-runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-runtime.js","sourceRoot":"","sources":["../../../src/world/adapters/field-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAIjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AA4BrD,MAAM,aAAa,GAA2B;IAC5C,eAAe,EAAE,UAAU;IAC3B,YAAY,EAAE,OAAO;IACrB,WAAW,EAAE,MAAM;IACnB,YAAY,EAAE,OAAO;CACtB,CAAC;AAEF,SAAS,oBAAoB,CAAC,KAA6B;IACzD,MAAM,GAAG,GAA+B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,IAAI,IAAI,KAAK,WAAW;YAAE,SAAS;QACnC,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,GAAG,EAAE,CAAC;YACR,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YACxB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;YACxB,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC;QACzC,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6GAA6G;AAC7G,MAAM,UAAU,wBAAwB,CACtC,QAAyB;IAEzB,MAAM,QAAQ,GAAkB,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC3D,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC;QAC3B,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC;QAC3C,OAAO;YACL,QAAQ,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,WAAW,CAAC,EAAE;YAC1C,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,MAAM,EAAE,oBAAoB,CAAC,KAAK,CAAC;SACpC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAoB,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpE,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC,CAAC,CAAC;IAEJ,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC;IAC1C,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,QAAQ,CAAC,aAAa,IAAI,IAAI,EAAE,CAAC;YACnC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QACzH,CAAC;QACD,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;YAC1B,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrJ,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAsB,EAAE,CAAC;IAC1C,IAAI,QAAQ,CAAC,MAAM,CAAC,QAAQ;QAAE,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC9H,IAAI,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM;QAAE,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/H,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM;QAAE,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAE1I,MAAM,KAAK,GAAU;QACnB,QAAQ,EAAE,mBAAmB,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;QACpE,QAAQ;QACR,SAAS;QACT,UAAU;QACV,WAAW;KACZ,CAAC;IAEF,MAAM,OAAO,GAA8B;QACzC,SAAS,EAAE,CAAC,iBAAiB,EAAE,eAAe,EAAE,WAAW,EAAE,sBAAsB,CAAC;QACpF,WAAW,EAAE,CAAC,qCAAqC,EAAE,uCAAuC,CAAC;QAC7F,OAAO,EAAE;YACP,qFAAqF;YACrF,qFAAqF;SACtF;KACF,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,KAAa,EAAE,MAAc;IACjD,IAAI,KAAK,GAAiC,IAAI,CAAC;IAC/C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,IAAI,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,EAA2B,CAAC;IACvH,MAAM,IAAI,GAAc;QACtB,IAAI;QACJ,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;QAChB,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM;QAC1B,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK;QAC1B,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;QACnB,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE;YACV,KAAK,GAAG,EAAE,CAAC;YACX,OAAO,CAAC,CAAC;QACX,CAAC;QACD,SAAS,EAAE,GAAG,EAAE;YACd,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QACD,YAAY,EAAE,GAAG,EAAE;YACjB,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;QACzC,CAAC;QACD,QAAQ,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAE,CAAC;QACxB,QAAQ,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAE,CAAC;QACxB,YAAY,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAE,CAAC;QAC5B,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAE,CAAC;QACvB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAE,CAAC;KAC5B,CAAC;IACF,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,GAAG,EAAE;YACT,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;YACf,MAAM,EAAE,GAAG,KAAK,CAAC;YACjB,KAAK,GAAG,IAAI,CAAC;YACb,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACV,CAAC;KACF,CAAC;AACJ,CAAC;AAiBD,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,eAAe,EAAW,CAAC;AAEnE,SAAS,MAAM,CAAC,EAAU,EAAE,IAAY,EAAE,UAAkB,EAAE,OAAgB;IAC5E,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,QAAQ,CAAC,KAAgC;IAChD,OAAO;QACL,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,EAAE;QAC1C,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,IAAI,EAAE;QAClD,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,IAAI,EAAE;QAChD,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,EAAE;QAC1C,yBAAyB,EAAE,KAAK,CAAC,yBAAyB,IAAI,EAAE;KACjE,CAAC;AACJ,CAAC;AAiBD,MAAM,CAAC,MAAM,0BAA0B,GAAsB;IAC3D,SAAS,EAAE,GAAG;IACd,UAAU,EAAE,GAAG;IACf,OAAO,EAAE,GAAG,EAAE;QACZ,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,OAAO,GAAG,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,UAAU,GAAG,KAAK,CAAC,GAAG,UAAU,CAAC,GAAG,UAAU,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,GAAG,EAAE;QACZ,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;IAChC,CAAC;IACD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;CACzG,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAY,EACZ,eAAkC,0BAA0B;IAE5D,OAAO;QACL,QAAQ,EAAE,EAAE,EAAE,EAAE,iBAAiB,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE;QACzF,aAAa,EAAE,eAAe;QAC9B,YAAY,EAAE;YACZ,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,KAAK,EAAE,+CAA+C;YAC/D,MAAM,EAAE,KAAK;YACb,oBAAoB,EAAE,KAAK,EAAE,iCAAiC;YAC9D,oBAAoB,EAAE,KAAK,EAAE,4CAA4C;YACzE,mBAAmB,EAAE,KAAK;SAC3B;QACD,WAAW,EAAE;YACX,cAAc,EAAE,6BAA6B;YAC7C,gBAAgB,EAAE,CAAC,cAAc,EAAE,OAAO,CAAC;YAC3C,kBAAkB,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;YACtD,YAAY,EAAE,CAAC,cAAc,EAAE,kCAAkC,CAAC;SACnE;QAED,UAAU,CAAC,OAAO;YAChB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAoB,CAAC;YAC9C,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC;YACrF,MAAM,KAAK,GAAG,WAAW,CAAC,SAAkB,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAClI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACjC,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBACvC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;gBACnB,KAAK,CAAC,OAAO,CAAC;oBACZ,QAAQ,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE;oBAC/B,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;oBACrB,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnE,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1D,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;iBACjB,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;YACH,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;gBAC5D,QAAQ,EAAE,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;aACnH,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO;YAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;YAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;gBAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC;YACpC,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE;oBACL,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;oBACzF,MAAM,EAAE,EAAE,KAAK,EAAE;iBAClB;gBACD,QAAQ,EAAE,QAAQ,CAAC;oBACjB,cAAc,EAAE,CAAC,MAAM,CAAC,eAAe,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;oBAC3E,kBAAkB,EAAE,CAAC,MAAM,CAAC,kBAAkB,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;oBACxF,cAAc,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,KAAK,UAAU,EAAE,CAAC;oBAC/G,yBAAyB,EAAE;wBACzB,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,kDAAkD,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE;qBAC5H;iBACF,CAAC;aACH,CAAC;QACJ,CAAC;QAED,QAAQ,CAAC,KAAK,EAAE,QAAQ;YACtB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAmB,CAAC;YACrD,MAAM,QAAQ,GAAyB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7D,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1F,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE;aAC1B,CAAC,CAAC,CAAC;YACJ,MAAM,OAAO,GAAuB;gBAClC,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ;gBACR,OAAO,EAAE;oBACP,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC;oBACtC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC;oBAChC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,CAAC;iBAC3C;aACF,CAAC;YACF,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,oCAAoC;gBAC3E,QAAQ,EAAE,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,gBAAgB,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;aACnI,CAAC;QACJ,CAAC;QACD,4FAA4F;KAC7F,CAAC;AACJ,CAAC"}

package/dist/world/adapters/fsm-runtime.d.ts

@@ -0,0 +1,18 @@
+import type { WorldVersionEnvelope } from '../envelope.ts';
+import type { World } from '../world.ts';
+import type { DynamicsContract } from '../dynamics.ts';
+import type { FsmDefinition, FsmOutcome, FsmState } from '../substrates/fsm.ts';
+export interface FsmSubstrateState {
+    readonly fsm: FsmState;
+    readonly envelope: WorldVersionEnvelope;
+    readonly step: number;
+}
+export interface FsmAdvanceInput {
+    readonly event: string;
+}
+export interface FsmAdvanceOutput {
+    readonly state: string;
+    readonly outcome: FsmOutcome;
+}
+export declare function fsmDynamics(world: World, def: FsmDefinition): DynamicsContract<FsmSubstrateState, FsmAdvanceInput, FsmAdvanceOutput>;
+//# sourceMappingURL=fsm-runtime.d.ts.map

package/dist/world/adapters/fsm-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fsm-runtime.d.ts","sourceRoot":"","sources":["../../../src/world/adapters/fsm-runtime.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,KAAK,EAAE,KAAK,EAAsB,MAAM,aAAa,CAAC;AAC7D,OAAO,KAAK,EACV,gBAAgB,EAQjB,MAAM,gBAAgB,CAAC;AAExB,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAEhF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;CAC9B;AAiCD,wBAAgB,WAAW,CACzB,KAAK,EAAE,KAAK,EACZ,GAAG,EAAE,aAAa,GACjB,gBAAgB,CAAC,iBAAiB,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAmHxE"}

package/dist/world/adapters/fsm-runtime.js

@@ -0,0 +1,153 @@
+/**
+ * Corpus adapter: the finite state machine behind `DynamicsContract` (EXPERIMENTAL, internal).
+ *
+ * The FSM is the corpus **control** — the most contract-shaped substrate imaginable. It was
+ * pre-registered as expected to require **zero** contract change.
+ *
+ * That prediction was FALSIFIED, and the falsification is the point: an FSM has accepting states, so it
+ * is the first corpus substrate that FINISHES, and the contract had no generic way to say so. See
+ * `TransitionLifecycle` in `../dynamics.ts`. Everything else adapted unchanged.
+ *
+ * `executionKind: 'declarative'` — the entire law, guards included, is data with no computed part. This
+ * is the first substrate to exercise that variant (the field is `opaque-native`, the governor
+ * `interpreted`).
+ */
+import { createWorldEnvelope } from "../envelope.js";
+import { fireFsm, initialFsmState, isAccepting, isFsmState } from "../substrates/fsm.js";
+const SOURCE = { kind: 'substrate', id: 'finite-state-machine' };
+function record(id, kind, observedAt, payload) {
+    return { id, kind, source: SOURCE, observedAt, payload };
+}
+function evidence(parts) {
+    return {
+        declaredInputs: parts.declaredInputs ?? [],
+        substrateResponses: parts.substrateResponses ?? [],
+        checkedInvariants: parts.checkedInvariants ?? [],
+        executionTrace: parts.executionTrace ?? [],
+        unresolvedInterpretations: parts.unresolvedInterpretations ?? [],
+    };
+}
+/** Numeric-only, per `WorldStateSnapshot`; the symbolic state rides on the entity id. */
+function reading(def, state) {
+    const index = def.states.indexOf(state.fsm.current);
+    return {
+        envelope: state.envelope,
+        step: state.step,
+        entities: [{ id: `fsm:${state.fsm.current}`, metrics: { stateIndex: index, steps: state.fsm.steps } }],
+        metrics: {
+            stateIndex: index,
+            steps: state.fsm.steps,
+            accepting: isAccepting(def, state.fsm) ? 1 : 0,
+        },
+    };
+}
+export function fsmDynamics(world, def) {
+    return {
+        identity: { id: `fsm:${def.id}:${world.envelope.worldInstance}`, version: '0.1.0' },
+        executionKind: 'declarative',
+        capabilities: {
+            initialize: true,
+            advance: true,
+            snapshot: true,
+            restore: true,
+            replay: true,
+            inspectInternalState: true,
+            declareTransitionLaw: true, // the table IS the whole law
+            deterministicReplay: true,
+        },
+        determinism: {
+            classification: 'deterministic',
+            controlledInputs: ['event-sequence', 'initial-context'],
+            uncontrolledInputs: [],
+            requirements: ['identical event sequence', 'identical initial context'],
+        },
+        initialize(request) {
+            const declared = request.declaration;
+            return {
+                ok: true,
+                value: {
+                    fsm: initialFsmState(def),
+                    envelope: declared?.envelope ?? createWorldEnvelope('fsm-world'),
+                    step: 0,
+                },
+                evidence: evidence({
+                    declaredInputs: [record('init', 'declaration', 0, { id: def.id, states: def.states.length, transitions: def.transitions.length })],
+                }),
+            };
+        },
+        advance(state, input, context) {
+            if (typeof input.event !== 'string' || input.event.length === 0) {
+                return {
+                    ok: false,
+                    error: { code: 'invalid-state', message: 'fsm: event must be a non-empty string', cause: { received: input.event } },
+                    evidence: evidence({ declaredInputs: [record('advance-input', 'event', context.step, input)] }),
+                };
+            }
+            const fired = fireFsm(def, state.fsm, input.event);
+            const nextStep = state.step + 1;
+            const next = { fsm: fired.state, envelope: state.envelope, step: nextStep };
+            // the falsifying case: an accepting state has no further defined transitions
+            const lifecycle = isAccepting(def, fired.state) ? 'terminal' : 'continuing';
+            return {
+                ok: true,
+                value: {
+                    state: next,
+                    output: { state: fired.state.current, outcome: fired.outcome },
+                    lifecycle,
+                },
+                evidence: evidence({
+                    declaredInputs: [record('advance-input', 'event', context.step, input)],
+                    substrateResponses: [record('advance-response', 'outcome', nextStep, { outcome: fired.outcome, to: fired.state.current })],
+                    executionTrace: [
+                        {
+                            id: `f-${nextStep}`,
+                            step: nextStep,
+                            source: SOURCE,
+                            summary: `${input.event} → ${fired.outcome} (${fired.state.current})`,
+                        },
+                    ],
+                }),
+            };
+        },
+        snapshot(state, _context) {
+            return {
+                ok: true,
+                value: { reading: reading(def, state), restorable: true, payload: { ...state.fsm } },
+                evidence: evidence({ substrateResponses: [record('snapshot', 'fsm-state', state.step, { current: state.fsm.current })] }),
+            };
+        },
+        restore(snapshot, _context) {
+            if (!snapshot.restorable || !isFsmState(snapshot.payload)) {
+                return {
+                    ok: false,
+                    error: { code: 'invalid-state', message: 'fsm: snapshot payload is not an fsm state', cause: { restorable: snapshot.restorable } },
+                    evidence: evidence({ substrateResponses: [record('restore', 'rejected', snapshot.reading.step, {})] }),
+                };
+            }
+            return {
+                ok: true,
+                value: { fsm: snapshot.payload, envelope: snapshot.reading.envelope, step: snapshot.reading.step },
+                evidence: evidence({ substrateResponses: [record('restore', 'fsm-state', snapshot.reading.step, { current: snapshot.payload.current })] }),
+            };
+        },
+        describeTransitionLaw() {
+            const rules = def.transitions.map((t) => ({
+                kind: 'transition',
+                from: t.from,
+                on: t.on,
+                to: t.to,
+                guard: t.guard ? `${t.guard.key}=${String(t.guard.equals)}` : '',
+            }));
+            return {
+                ok: true,
+                value: {
+                    kind: 'transition-table',
+                    rules,
+                    notes: `accepting: ${def.accepting.join(', ') || 'none'}; first matching guarded transition wins`,
+                },
+                evidence: evidence({ substrateResponses: [record('describe-law', 'transition-law', 0, { ruleCount: rules.length })] }),
+            };
+        },
+    };
+}
+//# sourceMappingURL=fsm-runtime.js.map

package/dist/world/adapters/fsm-runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fsm-runtime.js","sourceRoot":"","sources":["../../../src/world/adapters/fsm-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAarD,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAkBzF,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,sBAAsB,EAAW,CAAC;AAE1E,SAAS,MAAM,CAAC,EAAU,EAAE,IAAY,EAAE,UAAkB,EAAE,OAAgB;IAC5E,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,QAAQ,CAAC,KAAgC;IAChD,OAAO;QACL,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,EAAE;QAC1C,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,IAAI,EAAE;QAClD,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,IAAI,EAAE;QAChD,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,EAAE;QAC1C,yBAAyB,EAAE,KAAK,CAAC,yBAAyB,IAAI,EAAE;KACjE,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,SAAS,OAAO,CAAC,GAAkB,EAAE,KAAwB;IAC3D,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpD,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC;QACtG,OAAO,EAAE;YACP,UAAU,EAAE,KAAK;YACjB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK;YACtB,SAAS,EAAE,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC/C;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,KAAY,EACZ,GAAkB;IAElB,OAAO;QACL,QAAQ,EAAE,EAAE,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;QACnF,aAAa,EAAE,aAAa;QAC5B,YAAY,EAAE;YACZ,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,IAAI;YACZ,oBAAoB,EAAE,IAAI;YAC1B,oBAAoB,EAAE,IAAI,EAAE,6BAA6B;YACzD,mBAAmB,EAAE,IAAI;SAC1B;QACD,WAAW,EAAE;YACX,cAAc,EAAE,eAAe;YAC/B,gBAAgB,EAAE,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;YACvD,kBAAkB,EAAE,EAAE;YACtB,YAAY,EAAE,CAAC,0BAA0B,EAAE,2BAA2B,CAAC;SACxE;QAED,UAAU,CAAC,OAAO;YAChB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAoB,CAAC;YAC9C,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE;oBACL,GAAG,EAAE,eAAe,CAAC,GAAG,CAAC;oBACzB,QAAQ,EAAE,QAAQ,EAAE,QAAQ,IAAI,mBAAmB,CAAC,WAAW,CAAC;oBAChE,IAAI,EAAE,CAAC;iBACR;gBACD,QAAQ,EAAE,QAAQ,CAAC;oBACjB,cAAc,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;iBACnI,CAAC;aACH,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO;YAC3B,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAChE,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,uCAAuC,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE;oBACpH,QAAQ,EAAE,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC,MAAM,CAAC,eAAe,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;iBAChG,CAAC;YACJ,CAAC;YAED,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;YAChC,MAAM,IAAI,GAAsB,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC/F,6EAA6E;YAC7E,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,UAAoB,CAAC,CAAC,CAAE,YAAsB,CAAC;YAElG,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE;oBACL,KAAK,EAAE,IAAI;oBACX,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;oBAC9D,SAAS;iBACV;gBACD,QAAQ,EAAE,QAAQ,CAAC;oBACjB,cAAc,EAAE,CAAC,MAAM,CAAC,eAAe,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBACvE,kBAAkB,EAAE,CAAC,MAAM,CAAC,kBAAkB,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;oBAC1H,cAAc,EAAE;wBACd;4BACE,EAAE,EAAE,KAAK,QAAQ,EAAE;4BACnB,IAAI,EAAE,QAAQ;4BACd,MAAM,EAAE,MAAM;4BACd,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,MAAM,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,KAAK,CAAC,OAAO,GAAG;yBACtE;qBACF;iBACF,CAAC;aACH,CAAC;QACJ,CAAC;QAED,QAAQ,CAAC,KAAK,EAAE,QAAQ;YACtB,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE;gBACpF,QAAQ,EAAE,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC;aAC1H,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,QAAQ,EAAE,QAAQ;YACxB,IAAI,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1D,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,2CAA2C,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,EAAE;oBAClI,QAAQ,EAAE,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;iBACvG,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,EAAE,GAAG,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE;gBAClG,QAAQ,EAAE,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC;aAC3I,CAAC;QACJ,CAAC;QAED,qBAAqB;YACnB,MAAM,KAAK,GAAwB,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7D,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;aACjE,CAAC,CAAC,CAAC;YACJ,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB;oBACxB,KAAK;oBACL,KAAK,EAAE,cAAc,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,0CAA0C;iBAClG;gBACD,QAAQ,EAAE,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,cAAc,EAAE,gBAAgB,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;aACvH,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/world/adapters/governor-runtime.d.ts

@@ -0,0 +1,23 @@
+import type { WorldVersionEnvelope } from '../envelope.ts';
+import type { World } from '../world.ts';
+import type { DynamicsContract } from '../dynamics.ts';
+import type { GovernorState, QualityTier } from '../substrates/governor.ts';
+export interface GovernorSubstrateState {
+    readonly governor: GovernorState;
+    readonly envelope: WorldVersionEnvelope;
+    readonly step: number;
+}
+export interface GovernorAdvanceInput {
+    readonly durationMs: number;
+}
+export interface GovernorAdvanceOutput {
+    readonly tier: QualityTier;
+    readonly changed: boolean;
+}
+/**
+ * A `DynamicsContract` over the governor rule set. `executionKind: 'interpreted'` — the transition law
+ * is a DECLARED TABLE (`ESCALATE_RULES` + `RECOVER_STREAK`) interpreted per input, so unlike the field
+ * substrate this one may honestly set `declareTransitionLaw: true` and `inspectInternalState: true`.
+ */
+export declare function governorDynamics(world: World, budgetMs?: number): DynamicsContract<GovernorSubstrateState, GovernorAdvanceInput, GovernorAdvanceOutput>;
+//# sourceMappingURL=governor-runtime.d.ts.map

package/dist/world/adapters/governor-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"governor-runtime.d.ts","sourceRoot":"","sources":["../../../src/world/adapters/governor-runtime.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,KAAK,EAAE,KAAK,EAAsB,MAAM,aAAa,CAAC;AAC7D,OAAO,KAAK,EACV,gBAAgB,EASjB,MAAM,gBAAgB,CAAC;AASxB,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAE5E,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAyCD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,KAAK,EACZ,QAAQ,GAAE,MAA0B,GACnC,gBAAgB,CAAC,sBAAsB,EAAE,oBAAoB,EAAE,qBAAqB,CAAC,CAuIvF"}