@fundamental-engine/core 0.9.4 → 0.9.5

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

@@ -0,0 +1,185 @@
+/**
+ * G3.1 — second-substrate adapter: the quality-governor rule set behind `DynamicsContract`.
+ *
+ * The contract was NOT changed to make this substrate fit. Everything is declared truthfully, and the
+ * declarations differ sharply from the field adapter — which is the point of the experiment:
+ *
+ *   field      → opaque-native · conditionally-deterministic · snapshot-only (lossy, non-restorable)
+ *   governor   → interpreted   · deterministic               · snapshot + restore + replay (complete)
+ *
+ * The generic `World` never holds a substrate instance; the kernel threads opaque `State`. Native error
+ * causes are retained INTERNALLY on `DynamicsFailure.cause` (typed `unknown`) and never leak a native
+ * type into `World`. Internal/experimental; not exported from the package entry.
+ */
+import { createWorldEnvelope } from "../envelope.js";
+import { ESCALATE_RULES, RECOVER_STREAK, DEFAULT_BUDGET_MS, feedGovernor, initialGovernorState, isGovernorState, } from "../substrates/governor.js";
+const SOURCE = { kind: 'substrate', id: 'quality-governor' };
+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 ?? [],
+    };
+}
+function reading(state) {
+    return {
+        envelope: state.envelope,
+        step: state.step,
+        entities: [
+            {
+                id: 'governor',
+                metrics: {
+                    tier: state.governor.tier,
+                    overrunStreak: state.governor.overrunStreak,
+                    cleanStreak: state.governor.cleanStreak,
+                },
+            },
+        ],
+        metrics: {
+            tier: state.governor.tier,
+            overrunStreak: state.governor.overrunStreak,
+            cleanStreak: state.governor.cleanStreak,
+            budgetMs: state.governor.budgetMs,
+        },
+    };
+}
+/**
+ * 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 function governorDynamics(world, budgetMs = DEFAULT_BUDGET_MS) {
+    return {
+        identity: { id: `quality-governor:${world.envelope.worldInstance}`, version: '0.1.0' },
+        executionKind: 'interpreted',
+        capabilities: {
+            initialize: true,
+            advance: true,
+            snapshot: true,
+            restore: true, // state is plain data — a snapshot fully reconstructs it
+            replay: true,
+            inspectInternalState: true, // streak counters are surfaced, not hidden
+            declareTransitionLaw: true, // the escalation table IS the law
+            deterministicReplay: true,
+        },
+        determinism: {
+            classification: 'deterministic',
+            controlledInputs: ['frame-duration-sequence', 'budgetMs'],
+            uncontrolledInputs: [], // no clock, no RNG, no host geometry
+            requirements: ['identical input sequence', 'identical initial state'],
+        },
+        initialize(request) {
+            const declared = request.declaration;
+            const state = {
+                governor: initialGovernorState(budgetMs),
+                envelope: declared?.envelope ?? createWorldEnvelope('governor-world'),
+                step: 0,
+            };
+            return {
+                ok: true,
+                value: state,
+                evidence: evidence({
+                    declaredInputs: [record('init', 'declaration', 0, { budgetMs, rules: ESCALATE_RULES.length, recoverStreak: RECOVER_STREAK })],
+                }),
+            };
+        },
+        advance(state, input, context) {
+            const duration = input.durationMs;
+            if (!Number.isFinite(duration) || duration < 0) {
+                // native cause retained internally; no native type leaks onto the generic surface
+                return {
+                    ok: false,
+                    error: {
+                        code: 'invalid-state',
+                        message: `governor: frame duration must be a finite, non-negative number (got ${String(duration)})`,
+                        cause: { received: duration, expected: 'finite >= 0' },
+                    },
+                    evidence: evidence({ declaredInputs: [record('advance-input', 'duration', context.step, { durationMs: duration })] }),
+                };
+            }
+            const stepResult = feedGovernor(state.governor, duration);
+            const nextStep = state.step + 1;
+            const next = { governor: stepResult.state, envelope: state.envelope, step: nextStep };
+            return {
+                ok: true,
+                value: { state: next, output: { tier: stepResult.state.tier, changed: stepResult.changed !== undefined } },
+                evidence: evidence({
+                    declaredInputs: [record('advance-input', 'duration', context.step, { durationMs: duration })],
+                    substrateResponses: [record('advance-response', 'tier', nextStep, { tier: stepResult.state.tier, changed: stepResult.changed })],
+                    executionTrace: [
+                        {
+                            id: `g-${nextStep}`,
+                            step: nextStep,
+                            source: SOURCE,
+                            summary: `duration=${duration} → tier ${stepResult.state.tier}` + (stepResult.changed !== undefined ? ' (changed)' : ''),
+                        },
+                    ],
+                    unresolvedInterpretations: [
+                        // the runtime reports a tier; it must NOT assert what a participant perceives
+                        { id: 'perceived-quality', claim: 'tier interpreted as participant-perceived quality', authority: 'empirical', status: 'unresolved' },
+                    ],
+                }),
+            };
+        },
+        snapshot(state, _context) {
+            return {
+                ok: true,
+                value: {
+                    reading: reading(state),
+                    restorable: true, // complete — the payload reconstructs State exactly
+                    payload: { ...state.governor },
+                },
+                evidence: evidence({ substrateResponses: [record('snapshot', 'governor-state', state.step, { tier: state.governor.tier })] }),
+            };
+        },
+        restore(snapshot, _context) {
+            if (!snapshot.restorable || !isGovernorState(snapshot.payload)) {
+                return {
+                    ok: false,
+                    error: {
+                        code: 'invalid-state',
+                        message: 'governor: snapshot payload is not a governor state (cannot restore)',
+                        cause: { restorable: snapshot.restorable },
+                    },
+                    evidence: evidence({ substrateResponses: [record('restore', 'rejected', snapshot.reading.step, { restorable: snapshot.restorable })] }),
+                };
+            }
+            const restored = {
+                governor: snapshot.payload,
+                envelope: snapshot.reading.envelope,
+                step: snapshot.reading.step,
+            };
+            return {
+                ok: true,
+                value: restored,
+                evidence: evidence({ substrateResponses: [record('restore', 'governor-state', restored.step, { tier: restored.governor.tier })] }),
+            };
+        },
+        /**
+         * G3.3 refinement. Present because `declareTransitionLaw` is true: the law IS data, so it can be
+         * returned as data. The field adapter has no counterpart — it declares the capability false.
+         */
+        describeTransitionLaw() {
+            const rules = [
+                ...ESCALATE_RULES.map((r) => ({ kind: 'escalate', aboveMs: r.aboveMs, streak: r.streak, tier: r.tier })),
+                { kind: 'recover', cleanStreak: RECOVER_STREAK, tierDelta: -1 },
+                { kind: 'overrun-test', factor: 1.3, budgetMs },
+            ];
+            return {
+                ok: true,
+                value: {
+                    kind: 'threshold-table',
+                    rules,
+                    notes: 'first matching escalate rule wins; recovery drops exactly one tier (asymmetric hysteresis)',
+                },
+                evidence: evidence({ substrateResponses: [record('describe-law', 'transition-law', 0, { ruleCount: rules.length })] }),
+            };
+        },
+    };
+}
+//# sourceMappingURL=governor-runtime.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"governor-runtime.js","sourceRoot":"","sources":["../../../src/world/adapters/governor-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAcrD,OAAO,EACL,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,YAAY,EACZ,oBAAoB,EACpB,eAAe,GAChB,MAAM,2BAA2B,CAAC;AAkBnC,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,kBAAkB,EAAW,CAAC;AAEtE,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,SAAS,OAAO,CAAC,KAA6B;IAC5C,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE;YACR;gBACE,EAAE,EAAE,UAAU;gBACd,OAAO,EAAE;oBACP,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI;oBACzB,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,aAAa;oBAC3C,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW;iBACxC;aACF;SACF;QACD,OAAO,EAAE;YACP,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI;YACzB,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,aAAa;YAC3C,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW;YACvC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ;SAClC;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAY,EACZ,WAAmB,iBAAiB;IAEpC,OAAO;QACL,QAAQ,EAAE,EAAE,EAAE,EAAE,oBAAoB,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;QACtF,aAAa,EAAE,aAAa;QAC5B,YAAY,EAAE;YACZ,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,IAAI,EAAE,yDAAyD;YACxE,MAAM,EAAE,IAAI;YACZ,oBAAoB,EAAE,IAAI,EAAE,2CAA2C;YACvE,oBAAoB,EAAE,IAAI,EAAE,kCAAkC;YAC9D,mBAAmB,EAAE,IAAI;SAC1B;QACD,WAAW,EAAE;YACX,cAAc,EAAE,eAAe;YAC/B,gBAAgB,EAAE,CAAC,yBAAyB,EAAE,UAAU,CAAC;YACzD,kBAAkB,EAAE,EAAE,EAAE,qCAAqC;YAC7D,YAAY,EAAE,CAAC,0BAA0B,EAAE,yBAAyB,CAAC;SACtE;QAED,UAAU,CAAC,OAAO;YAChB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAoB,CAAC;YAC9C,MAAM,KAAK,GAA2B;gBACpC,QAAQ,EAAE,oBAAoB,CAAC,QAAQ,CAAC;gBACxC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,IAAI,mBAAmB,CAAC,gBAAgB,CAAC;gBACrE,IAAI,EAAE,CAAC;aACR,CAAC;YACF,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,KAAK;gBACZ,QAAQ,EAAE,QAAQ,CAAC;oBACjB,cAAc,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,CAAC;iBAC9H,CAAC;aACH,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO;YAC3B,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;gBAC/C,kFAAkF;gBAClF,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE;wBACL,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,uEAAuE,MAAM,CAAC,QAAQ,CAAC,GAAG;wBACnG,KAAK,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE;qBACvD;oBACD,QAAQ,EAAE,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC,MAAM,CAAC,eAAe,EAAE,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC;iBACtH,CAAC;YACJ,CAAC;YAED,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC1D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;YAChC,MAAM,IAAI,GAA2B,EAAE,QAAQ,EAAE,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAE9G,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,KAAK,SAAS,EAAE,EAAE;gBAC1G,QAAQ,EAAE,QAAQ,CAAC;oBACjB,cAAc,EAAE,CAAC,MAAM,CAAC,eAAe,EAAE,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;oBAC7F,kBAAkB,EAAE,CAAC,MAAM,CAAC,kBAAkB,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;oBAChI,cAAc,EAAE;wBACd;4BACE,EAAE,EAAE,KAAK,QAAQ,EAAE;4BACnB,IAAI,EAAE,QAAQ;4BACd,MAAM,EAAE,MAAM;4BACd,OAAO,EAAE,YAAY,QAAQ,WAAW,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;yBACzH;qBACF;oBACD,yBAAyB,EAAE;wBACzB,8EAA8E;wBAC9E,EAAE,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,mDAAmD,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE;qBACtI;iBACF,CAAC;aACH,CAAC;QACJ,CAAC;QAED,QAAQ,CAAC,KAAK,EAAE,QAAQ;YACtB,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE;oBACL,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC;oBACvB,UAAU,EAAE,IAAI,EAAE,oDAAoD;oBACtE,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE;iBAC/B;gBACD,QAAQ,EAAE,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,gBAAgB,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;aAC9H,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,QAAQ,EAAE,QAAQ;YACxB,IAAI,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC/D,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE;wBACL,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,qEAAqE;wBAC9E,KAAK,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE;qBAC3C;oBACD,QAAQ,EAAE,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC;iBACxI,CAAC;YACJ,CAAC;YACD,MAAM,QAAQ,GAA2B;gBACvC,QAAQ,EAAE,QAAQ,CAAC,OAAO;gBAC1B,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ;gBACnC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;aAC5B,CAAC;YACF,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,QAAQ;gBACf,QAAQ,EAAE,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,gBAAgB,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;aACnI,CAAC;QACJ,CAAC;QAED;;;WAGG;QACH,qBAAqB;YACnB,MAAM,KAAK,GAAwB;gBACjC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACxG,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE;gBAC/D,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE;aAChD,CAAC;YACF,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE;oBACL,IAAI,EAAE,iBAAiB;oBACvB,KAAK;oBACL,KAAK,EAAE,4FAA4F;iBACpG;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/planner-runtime.d.ts

@@ -0,0 +1,20 @@
+import type { WorldVersionEnvelope } from '../envelope.ts';
+import type { World } from '../world.ts';
+import type { DynamicsContract } from '../dynamics.ts';
+import type { PlannerProblem, PlannerState, PlannerStatus } from '../substrates/planner.ts';
+export interface PlannerSubstrateState {
+    readonly planner: PlannerState;
+    readonly envelope: WorldVersionEnvelope;
+    readonly step: number;
+}
+/** A search has nothing to feed it — each transition is simply "expand once". */
+export interface PlannerAdvanceInput {
+    readonly expand?: 1;
+}
+export interface PlannerAdvanceOutput {
+    readonly status: PlannerStatus;
+    readonly expanded?: string;
+    readonly plan?: readonly string[];
+}
+export declare function plannerDynamics(world: World, problem: PlannerProblem): DynamicsContract<PlannerSubstrateState, PlannerAdvanceInput, PlannerAdvanceOutput>;
+//# sourceMappingURL=planner-runtime.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"planner-runtime.d.ts","sourceRoot":"","sources":["../../../src/world/adapters/planner-runtime.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,KAAK,EAAE,KAAK,EAAsB,MAAM,aAAa,CAAC;AAC7D,OAAO,KAAK,EACV,gBAAgB,EAMjB,MAAM,gBAAgB,CAAC;AAExB,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAE5F,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,iFAAiF;AACjF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;CACrB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAmCD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,cAAc,GACtB,gBAAgB,CAAC,qBAAqB,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,CAiGpF"}

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

@@ -0,0 +1,144 @@
+/**
+ * Corpus adapter: the search planner behind `DynamicsContract` (EXPERIMENTAL, internal).
+ *
+ * The planner is the corpus **falsification candidate**. Two pre-registered predictions, and what
+ * actually happened:
+ *
+ *   P2a "it will expose a missing termination concept" — CONFIRMED, but not first. The FSM control
+ *        exposed it too, which makes termination a general property of lawful evolution rather than a
+ *        search idiosyncrasy. See `TransitionLifecycle`.
+ *   P2b "its partial law will force `executionKind: 'hybrid'`" — CONFIRMED. This is the first substrate
+ *        in the corpus to use that variant, which until now was declared but never exercised.
+ *
+ * **A contract change that was considered and REJECTED.** The planner's law is partially declarable —
+ * expansion order and edge costs are a table, the euclidean heuristic is computed. It is tempting to add
+ * a `completeness: 'complete' | 'partial'` field to `TransitionLawDescription` so the planner could
+ * publish the declarable half. That was rejected as a **substrate convenience**, not a missing general
+ * concept: `declareTransitionLaw` already answers the question truthfully by being **false** — this
+ * substrate cannot declare *the* transition law. Wanting to share part of it is a feature request, and
+ * the corpus rule is that convenience is a rejection, not a justification.
+ */
+import { createWorldEnvelope } from "../envelope.js";
+import { expandPlanner, initialPlannerState, isTerminal, isPlannerState, extractPlan } from "../substrates/planner.js";
+const SOURCE = { kind: 'substrate', id: 'search-planner' };
+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 ?? [],
+    };
+}
+const STATUS_INDEX = { searching: 0, 'goal-reached': 1, exhausted: 2 };
+function reading(state) {
+    return {
+        envelope: state.envelope,
+        step: state.step,
+        entities: state.planner.explored.map((id) => ({ id, metrics: { cost: state.planner.costSoFar[id] ?? 0 } })),
+        metrics: {
+            frontier: state.planner.frontier.length,
+            explored: state.planner.explored.length,
+            expansions: state.planner.expansions,
+            status: STATUS_INDEX[state.planner.status],
+            terminal: isTerminal(state.planner.status) ? 1 : 0,
+        },
+    };
+}
+export function plannerDynamics(world, problem) {
+    return {
+        identity: { id: `planner:${problem.id}:${world.envelope.worldInstance}`, version: '0.1.0' },
+        // partly a declared table (edges, costs, expansion order), partly computed (the heuristic)
+        executionKind: 'hybrid',
+        capabilities: {
+            initialize: true,
+            advance: true,
+            snapshot: true,
+            restore: true,
+            replay: true,
+            inspectInternalState: true,
+            declareTransitionLaw: false, // cannot declare THE law — the heuristic is not expressible as data
+            deterministicReplay: true,
+        },
+        determinism: {
+            classification: 'deterministic',
+            controlledInputs: ['problem-graph', 'heuristic', 'frontier-tie-break'],
+            uncontrolledInputs: [], // no clock, no RNG; ties break by node id
+            requirements: ['identical problem', 'identical expansion count'],
+        },
+        initialize(request) {
+            const declared = request.declaration;
+            return {
+                ok: true,
+                value: {
+                    planner: initialPlannerState(problem),
+                    envelope: declared?.envelope ?? createWorldEnvelope('planner-world'),
+                    step: 0,
+                },
+                evidence: evidence({
+                    declaredInputs: [record('init', 'declaration', 0, { problem: problem.id, nodes: problem.nodes.length, edges: problem.edges.length, heuristic: problem.heuristic.kind })],
+                }),
+            };
+        },
+        advance(state, _input, context) {
+            const step = expandPlanner(problem, state.planner);
+            const terminal = isTerminal(step.status);
+            // a finished search does not advance its step counter — asking again is neither progress nor error
+            const nextStep = terminal && step.expanded === undefined ? state.step : state.step + 1;
+            const next = { planner: step.state, envelope: state.envelope, step: nextStep };
+            return {
+                ok: true,
+                value: {
+                    state: next,
+                    output: {
+                        status: step.status,
+                        ...(step.expanded !== undefined ? { expanded: step.expanded } : {}),
+                        ...(step.status === 'goal-reached' ? { plan: extractPlan(problem, step.state) } : {}),
+                    },
+                    lifecycle: terminal ? 'terminal' : 'continuing',
+                },
+                evidence: evidence({
+                    declaredInputs: [record('advance-input', 'expand', context.step, {})],
+                    substrateResponses: [record('advance-response', 'status', nextStep, { status: step.status, expanded: step.expanded })],
+                    executionTrace: [
+                        {
+                            id: `p-${nextStep}`,
+                            step: nextStep,
+                            source: SOURCE,
+                            summary: step.expanded ? `expanded ${step.expanded} → ${step.status}` : `already ${step.status}`,
+                        },
+                    ],
+                    unresolvedInterpretations: [
+                        // the runtime found a cheapest path under the declared costs; it must not claim it is "best"
+                        { id: 'plan-quality', claim: 'the returned plan is the one a participant would prefer', authority: 'empirical', status: 'unresolved' },
+                    ],
+                }),
+            };
+        },
+        snapshot(state, _context) {
+            return {
+                ok: true,
+                value: { reading: reading(state), restorable: true, payload: { ...state.planner } },
+                evidence: evidence({ substrateResponses: [record('snapshot', 'planner-state', state.step, { status: state.planner.status })] }),
+            };
+        },
+        restore(snapshot, _context) {
+            if (!snapshot.restorable || !isPlannerState(snapshot.payload)) {
+                return {
+                    ok: false,
+                    error: { code: 'invalid-state', message: 'planner: snapshot payload is not a planner state', cause: { restorable: snapshot.restorable } },
+                    evidence: evidence({ substrateResponses: [record('restore', 'rejected', snapshot.reading.step, {})] }),
+                };
+            }
+            return {
+                ok: true,
+                value: { planner: snapshot.payload, envelope: snapshot.reading.envelope, step: snapshot.reading.step },
+                evidence: evidence({ substrateResponses: [record('restore', 'planner-state', snapshot.reading.step, { status: snapshot.payload.status })] }),
+            };
+        },
+    };
+}
+//# sourceMappingURL=planner-runtime.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"planner-runtime.js","sourceRoot":"","sources":["../../../src/world/adapters/planner-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAWrD,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,UAAU,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAoBvH,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,gBAAgB,EAAW,CAAC;AAEpE,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,MAAM,YAAY,GAA4C,EAAE,SAAS,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;AAEhH,SAAS,OAAO,CAAC,KAA4B;IAC3C,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3G,OAAO,EAAE;YACP,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM;YACvC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM;YACvC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU;YACpC,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAC1C,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACnD;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,KAAY,EACZ,OAAuB;IAEvB,OAAO;QACL,QAAQ,EAAE,EAAE,EAAE,EAAE,WAAW,OAAO,CAAC,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;QAC3F,2FAA2F;QAC3F,aAAa,EAAE,QAAQ;QACvB,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,KAAK,EAAE,oEAAoE;YACjG,mBAAmB,EAAE,IAAI;SAC1B;QACD,WAAW,EAAE;YACX,cAAc,EAAE,eAAe;YAC/B,gBAAgB,EAAE,CAAC,eAAe,EAAE,WAAW,EAAE,oBAAoB,CAAC;YACtE,kBAAkB,EAAE,EAAE,EAAE,0CAA0C;YAClE,YAAY,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;SACjE;QAED,UAAU,CAAC,OAAO;YAChB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAoB,CAAC;YAC9C,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE;oBACL,OAAO,EAAE,mBAAmB,CAAC,OAAO,CAAC;oBACrC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,IAAI,mBAAmB,CAAC,eAAe,CAAC;oBACpE,IAAI,EAAE,CAAC;iBACR;gBACD,QAAQ,EAAE,QAAQ,CAAC;oBACjB,cAAc,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;iBACzK,CAAC;aACH,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO;YAC5B,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACnD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzC,mGAAmG;YACnG,MAAM,QAAQ,GAAG,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;YACvF,MAAM,IAAI,GAA0B,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAEtG,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE;oBACL,KAAK,EAAE,IAAI;oBACX,MAAM,EAAE;wBACN,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACnE,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBACtF;oBACD,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;iBAChD;gBACD,QAAQ,EAAE,QAAQ,CAAC;oBACjB,cAAc,EAAE,CAAC,MAAM,CAAC,eAAe,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBACrE,kBAAkB,EAAE,CAAC,MAAM,CAAC,kBAAkB,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;oBACtH,cAAc,EAAE;wBACd;4BACE,EAAE,EAAE,KAAK,QAAQ,EAAE;4BACnB,IAAI,EAAE,QAAQ;4BACd,MAAM,EAAE,MAAM;4BACd,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,QAAQ,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,MAAM,EAAE;yBACjG;qBACF;oBACD,yBAAyB,EAAE;wBACzB,6FAA6F;wBAC7F,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,yDAAyD,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE;qBACvI;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,KAAK,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,EAAE;gBACnF,QAAQ,EAAE,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,eAAe,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;aAChI,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,QAAQ,EAAE,QAAQ;YACxB,IAAI,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC9D,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,kDAAkD,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,EAAE;oBACzI,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,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE;gBACtG,QAAQ,EAAE,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,eAAe,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;aAC7I,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,89 @@
+import type { DynamicsContract, DynamicsExecutionKind } from '../dynamics.ts';
+import type { World } from '../world.ts';
+export type ChurnClass = 'required-member' | 'optional-member' | 'union-variant' | 'consistency-rule' | 'changed-semantics';
+/** Weights fixed by the pre-registration; not tunable after the fact. */
+export declare const CHURN_WEIGHTS: Readonly<Record<ChurnClass, number>>;
+/**
+ * Three kinds of refinement, not two. The earlier binary silently folded `representational` into
+ * whichever neighbour was convenient, which is exactly the ambiguity that lets a contract drift.
+ *
+ *   structural       - the contract LACKED a concept (D-001 accessor, D-002 lifecycle)
+ *   representational - the concept existed; this expresses it better. Allowed, but not a discovery
+ *   convenience      - makes adaptation easier, adds no explanatory power. NEVER accepted.
+ */
+export type ChangeClassification = 'structural' | 'representational' | 'convenience';
+export interface ContractChange {
+    readonly member: string;
+    readonly churnClass: ChurnClass;
+    readonly classification: ChangeClassification;
+    readonly rationale: string;
+}
+/** A change that was considered and REJECTED — recorded so the rejection is auditable. */
+export interface RejectedChange {
+    readonly member: string;
+    readonly classification: 'convenience';
+    readonly rationale: string;
+}
+export type CorpusStatus = 'adapted' | 'pending';
+export type CorpusOutcome = 'generalized' | 'generalized-with-refinement' | 'field-fitted' | 'inconclusive' | 'not-yet-run';
+export interface CorpusEntry {
+    readonly substrate: string;
+    readonly role: string;
+    readonly status: CorpusStatus;
+    readonly executionKind?: DynamicsExecutionKind;
+    readonly outcome: CorpusOutcome;
+    /** Churn predicted BEFORE adapting (pre-registration). */
+    readonly predictedChurn?: number;
+    readonly changes: readonly ContractChange[];
+    readonly rejectedChanges: readonly RejectedChange[];
+    readonly note?: string;
+}
+export declare function churnOf(changes: readonly ContractChange[]): number;
+/**
+ * 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 declare function corpus(): CorpusEntry[];
+export interface CorpusLedger {
+    readonly adapted: number;
+    readonly pending: number;
+    readonly totalChurn: number;
+    readonly churnBySubstrate: readonly {
+        readonly substrate: string;
+        readonly churn: number;
+        readonly predicted?: number;
+    }[];
+    readonly executionKindsExercised: readonly DynamicsExecutionKind[];
+    /** True only when the MOST RECENTLY adapted substrate cost nothing — never an average. */
+    readonly convergingOnLastAdapted: boolean;
+    readonly structuralAccepted: number;
+    readonly representationalAccepted: number;
+    /** Must always be 0. A convenience is a rejection, not a justification. */
+    readonly conveniencesAccepted: number;
+    /**
+     * Only rejections that were WRITTEN DOWN. Rejections made while writing an adapter and never
+     * recorded are not counted - the number is a floor, not a total.
+     */
+    readonly conveniencesRejected: number;
+}
+export declare function corpusLedger(): CorpusLedger;
+export interface ConformanceFinding {
+    readonly check: string;
+    readonly passed: boolean;
+    readonly detail: string;
+}
+export interface ConformanceReport {
+    readonly contract: string;
+    readonly executionKind: DynamicsExecutionKind;
+    readonly findings: readonly ConformanceFinding[];
+    readonly conformant: boolean;
+    readonly terminated: boolean;
+    readonly transitions: number;
+}
+/**
+ * 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 declare function runConformance<S, I, O>(makeWorld: () => World, makeContract: (w: World) => DynamicsContract<S, I, O>, inputs: readonly I[]): ConformanceReport;
+//# sourceMappingURL=corpus.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"corpus.d.ts","sourceRoot":"","sources":["../../../src/world/conformance/corpus.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAC9E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAIzC,MAAM,MAAM,UAAU,GAClB,iBAAiB,GACjB,iBAAiB,GACjB,eAAe,GACf,kBAAkB,GAClB,mBAAmB,CAAC;AAExB,yEAAyE;AACzE,eAAO,MAAM,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAM9D,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,GAAG,YAAY,GAAG,kBAAkB,GAAG,aAAa,CAAC;AAErF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,oBAAoB,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,0FAA0F;AAC1F,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,SAAS,CAAC;AAEjD,MAAM,MAAM,aAAa,GACrB,aAAa,GACb,6BAA6B,GAC7B,cAAc,GACd,cAAc,GACd,aAAa,CAAC;AAElB,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,qBAAqB,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,0DAA0D;IAC1D,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,eAAe,EAAE,SAAS,cAAc,EAAE,CAAC;IACpD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,wBAAgB,OAAO,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,GAAG,MAAM,CAElE;AAED;;;GAGG;AACH,wBAAgB,MAAM,IAAI,WAAW,EAAE,CA0EtC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,SAAS;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1H,QAAQ,CAAC,uBAAuB,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACnE,0FAA0F;IAC1F,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,2EAA2E;IAC3E,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC;;;OAGG;IACH,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACvC;AAED,wBAAgB,YAAY,IAAI,YAAY,CAgB3C;AAID,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,qBAAqB,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAMD;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACpC,SAAS,EAAE,MAAM,KAAK,EACtB,YAAY,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACrD,MAAM,EAAE,SAAS,CAAC,EAAE,GACnB,iBAAiB,CA2EnB"}