@fundamental-engine/core 0.9.3 → 0.9.5

package/dist/world/projection/projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection.js","sourceRoot":"","sources":["../../../src/world/projection/projection.ts"],"names":[],"mappings":"AA6KA,SAAS,UAAU,CAAC,CAAiB;IACnC,OAAO,CAAC,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,eAAe,KAAK,SAAS,CAAC;AACzE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,OAAO,CAAC,UAAgC,EAAE,MAAwB;IAChF,MAAM,SAAS,GAAwB,EAAE,CAAC;IAC1C,MAAM,WAAW,GAA2B,EAAE,CAAC;IAE/C,IAAI,UAAU,CAAC,cAAc,CAAC,aAAa,KAAK,MAAM,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;QAC9E,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE;YAC/B,MAAM,EAAE,sBAAsB,UAAU,CAAC,cAAc,CAAC,aAAa,eAAe,MAAM,CAAC,QAAQ,CAAC,aAAa,EAAE;SACpH,CAAC,CAAC;IACL,CAAC;IAED,6FAA6F;IAC7F,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,aAAa,GAA2B,EAAE,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;QACpD,IAAI,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC,EAAE,CAAC;YAC3B,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mCAAmC,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,sDAAsD,EAAE,CAAC,CAAC;YAC5I,SAAS;QACX,CAAC;QACD,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,yCAAyC,EAAE,CAAC,CAAC;YACzH,SAAS;QACX,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,GAAG,CAAE,CAAC;IAC1C,CAAC;IAED,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAE5D,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,qCAAqC,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,4DAA4D,EAAE,CAAC,CAAC;QACrJ,CAAC;QACD,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,4CAA4C,EAAE,CAAC,CAAC;QAC7H,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,uDAAuD,EAAE,CAAC,CAAC;QACtI,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,QAAQ,EAAE,GAAG,UAAU,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IAC3E,MAAM,UAAU,GAA8B,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAC1E,MAAM,QAAQ,GAA2B,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxD,CAAC,CAAC,aAAa,CAAC,uDAAuD;YACvE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjB,CAAC,CAAC,QAAQ,CAAC,wCAAwC;gBACnD,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBAClB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,QAAQ,CAAC,CAAC,4DAA4D;QAC9E,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,uFAAuF;IACvF,MAAM,qBAAqB,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACtC,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,EAAE;gBACX,MAAM,EAAE,8FAA8F;aACvG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mGAAmG;IACnG,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAChE,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAClF,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;QAChD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,EAAE;gBACX,MAAM,EAAE,mGAAmG;aAC5G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,kBAAkB,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5H,mGAAmG;IACnG,IAAI,WAAW,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACzB,WAAW,CAAC,IAAI,CAAC;YACf,EAAE,EAAE,cAAc,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE;YAC1C,KAAK,EAAE,4EAA4E;YACnF,SAAS,EAAE,WAAW;YACtB,MAAM,EAAE,YAAY;SACrB,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,OAAO,EAAE;YACP,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,cAAc,EAAE,MAAM,CAAC,QAAQ;YAC/B,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,aAAa;YACb,eAAe,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,YAAY,CAAC;YAChE,UAAU;YACV,qBAAqB;YACrB,kBAAkB;YAClB,kBAAkB,EAAE,UAAU,CAAC,SAAS,CAAC,SAAS;YAClD,kBAAkB;YAClB,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,UAAU,EAAE,UAAU,CAAC,UAAU;SAClC;QACD,SAAS;QACT,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,uBAAuB,CAAC,OAA0B;IAChE,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE;QACvB,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3F,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;KAC/E,CAAC;AACJ,CAAC;AAUD;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,OAA0B,EAC1B,SAA8E;IAE9E,OAAO,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACpC,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;QACvE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO;gBACL,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,6BAAsC;gBAC9C,MAAM,EAAE,SAAS,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,gCAAgC;aACpE,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC;YAC7C,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,WAAoB,EAAE,MAAM,EAAE,sCAAsC,EAAE;YAC9F,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,UAAmB,EAAE,MAAM,EAAE,sCAAsC,EAAE,CAAC;IAClG,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/world/properties/properties.d.ts

@@ -0,0 +1,87 @@
+/**
+ * F2 foundation — property classification (EXPERIMENTAL, internal, not exported from the package entry).
+ *
+ * Stage-2 needs to say what KIND of claim a property is before it can say whether the claim holds. Three
+ * classes, with genuinely different evaluation authorities:
+ *
+ *   mechanically-decidable — decidable from the declaration/state by the runtime itself
+ *   model-checkable        — requires exploring a space of executions, not observing one
+ *   empirically-testable   — requires evidence about people, which this runtime cannot produce
+ *
+ * The rule that makes this honest: **an empirical property can never be marked `satisfied` here.** The
+ * internal validator may only return `unresolved`, `insufficient-evidence`, or a deferral carrying a
+ * reference to external empirical evidence. It must never infer belief, interpretation, usability,
+ * understanding, expectation, or experience from runtime state (M1.5-01).
+ *
+ * The second rule: **one observed execution is not a model check.** A model-checkable claim backed only
+ * by an observed run returns `insufficient-evidence`, never `satisfied` — that conflation is precisely
+ * how a runtime talks itself into believing it proved something.
+ */
+import type { ProjectionSurface } from '../projection/projection.ts';
+export type PropertyClass = 'mechanically-decidable' | 'model-checkable' | 'empirically-testable';
+export type EvaluationAuthority = 'runtime' | 'model-checker' | 'external-empirical';
+export type PropertyStatus = 'satisfied' | 'violated' | 'unresolved' | 'not-applicable' | 'insufficient-evidence';
+export type PropertyEvidenceKind = 'declaration' | 'projection-surface' | 'observed-execution' | 'bounded-model-check' | 'exhaustive-exploration' | 'external-empirical-study';
+export interface PropertyEvidence {
+    readonly kind: PropertyEvidenceKind;
+    readonly id: string;
+    readonly detail?: string;
+    /** For model-checking evidence: what portion of the space was covered. */
+    readonly coverage?: string;
+}
+export interface PropertyProvenance {
+    readonly declaredBy: string;
+    readonly declaredIn: string;
+}
+export interface PropertyDeclaration {
+    readonly id: string;
+    readonly statement: string;
+    readonly propertyClass: PropertyClass;
+    readonly requiredEvidence: readonly PropertyEvidenceKind[];
+    readonly provenance: PropertyProvenance;
+    /** Surface keys the claim reads, when it is projection-relative. */
+    readonly reads?: readonly string[];
+    /** Evidence ids the claim depends on, when it is projection-relative. */
+    readonly requiresEvidenceIds?: readonly string[];
+}
+export interface PropertyResult {
+    readonly id: string;
+    readonly propertyClass: PropertyClass;
+    readonly evaluationAuthority: EvaluationAuthority;
+    readonly requiredEvidence: readonly PropertyEvidenceKind[];
+    readonly status: PropertyStatus;
+    readonly reason: string;
+    readonly provenance: PropertyProvenance;
+    readonly usedEvidence: readonly PropertyEvidence[];
+    /** Set only when deferring to an outside authority; never a claim that the property holds. */
+    readonly externalReference?: string;
+}
+export declare function authorityFor(propertyClass: PropertyClass): EvaluationAuthority;
+export declare function requiresParticipantInference(statement: string): boolean;
+export interface PropertyDeclarationProblem {
+    readonly rule: string;
+    readonly detail: string;
+}
+/** Static checks on the declaration itself, independent of any evidence offered. */
+export declare function validatePropertyDeclaration(decl: PropertyDeclaration): PropertyDeclarationProblem[];
+export interface PropertyEvaluationInput {
+    readonly declaration: PropertyDeclaration;
+    readonly offered: readonly PropertyEvidence[];
+    /**
+     * The runtime's mechanical verdict, when it has one. Supplied ONLY for mechanically-decidable
+     * properties; it is ignored for the other classes by construction.
+     */
+    readonly mechanicalVerdict?: boolean;
+}
+/**
+ * Evaluate one property declaration. The class dictates what conclusions are reachable — the evidence
+ * cannot buy a stronger status than the class allows.
+ */
+export declare function evaluateProperty(input: PropertyEvaluationInput): PropertyResult;
+/**
+ * Evaluate a projection-relative property against a SURFACE. Two hard limits, both enforced here rather
+ * than left to the caller: a claim may not read state that is off-surface, and it may not be discharged
+ * with evidence the surface does not make accessible.
+ */
+export declare function evaluateProjectionProperty(declaration: PropertyDeclaration, surface: ProjectionSurface, predicate?: (observed: Readonly<Record<string, number>>) => boolean): PropertyResult;
+//# sourceMappingURL=properties.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../../src/world/properties/properties.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAErE,MAAM,MAAM,aAAa,GAAG,wBAAwB,GAAG,iBAAiB,GAAG,sBAAsB,CAAC;AAElG,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,eAAe,GAAG,oBAAoB,CAAC;AAErF,MAAM,MAAM,cAAc,GACtB,WAAW,GACX,UAAU,GACV,YAAY,GACZ,gBAAgB,GAChB,uBAAuB,CAAC;AAE5B,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,oBAAoB,GACpB,oBAAoB,GACpB,qBAAqB,GACrB,wBAAwB,GACxB,0BAA0B,CAAC;AAE/B,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,0EAA0E;IAC1E,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC3D,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,oEAAoE;IACpE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,yEAAyE;IACzE,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,gBAAgB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC3D,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,8FAA8F;IAC9F,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CACrC;AAED,wBAAgB,YAAY,CAAC,aAAa,EAAE,aAAa,GAAG,mBAAmB,CAS9E;AAYD,wBAAgB,4BAA4B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAGvE;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,oFAAoF;AACpF,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,mBAAmB,GAAG,0BAA0B,EAAE,CA4BnG;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;CACtC;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,uBAAuB,GAAG,cAAc,CAkF/E;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,mBAAmB,EAChC,OAAO,EAAE,iBAAiB,EAC1B,SAAS,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,OAAO,GAClE,cAAc,CAkChB"}

package/dist/world/properties/properties.js

@@ -0,0 +1,172 @@
+export function authorityFor(propertyClass) {
+    switch (propertyClass) {
+        case 'mechanically-decidable':
+            return 'runtime';
+        case 'model-checkable':
+            return 'model-checker';
+        case 'empirically-testable':
+            return 'external-empirical';
+    }
+}
+/**
+ * Terms whose truth lives in a person, not in state. A claim using them cannot be mechanically decided
+ * or model-checked no matter how it was labelled.
+ */
+const PARTICIPANT_INFERENCE_TERMS = [
+    'believe', 'belief', 'perceive', 'perception', 'understand', 'understanding',
+    'expect', 'expectation', 'experience', 'usable', 'usability', 'intuitive',
+    'confusing', 'confused', 'prefer', 'satisfaction', 'trust', 'notice',
+];
+export function requiresParticipantInference(statement) {
+    const s = statement.toLowerCase();
+    return PARTICIPANT_INFERENCE_TERMS.some((t) => s.includes(t));
+}
+/** Static checks on the declaration itself, independent of any evidence offered. */
+export function validatePropertyDeclaration(decl) {
+    const problems = [];
+    if (decl.propertyClass !== 'empirically-testable' && requiresParticipantInference(decl.statement)) {
+        problems.push({
+            rule: 'participant-inference⇒empirical',
+            detail: `"${decl.statement}" refers to participant state; it cannot be ${decl.propertyClass}`,
+        });
+    }
+    if (decl.propertyClass === 'mechanically-decidable' && decl.requiredEvidence.includes('external-empirical-study')) {
+        problems.push({
+            rule: 'mechanical∦empirical-evidence',
+            detail: 'a mechanically-decidable property must not require empirical evidence',
+        });
+    }
+    if (decl.propertyClass === 'model-checkable' && decl.requiredEvidence.every((k) => k === 'observed-execution')) {
+        problems.push({
+            rule: 'model-check∦single-execution',
+            detail: 'observed executions alone cannot discharge a model-checkable property',
+        });
+    }
+    if (decl.propertyClass === 'empirically-testable' && !decl.requiredEvidence.includes('external-empirical-study')) {
+        problems.push({
+            rule: 'empirical⇒external-study',
+            detail: 'an empirically-testable property must require external empirical evidence',
+        });
+    }
+    return problems;
+}
+/**
+ * Evaluate one property declaration. The class dictates what conclusions are reachable — the evidence
+ * cannot buy a stronger status than the class allows.
+ */
+export function evaluateProperty(input) {
+    const decl = input.declaration;
+    const authority = authorityFor(decl.propertyClass);
+    const base = {
+        id: decl.id,
+        propertyClass: decl.propertyClass,
+        evaluationAuthority: authority,
+        requiredEvidence: decl.requiredEvidence,
+        provenance: decl.provenance,
+    };
+    const problems = validatePropertyDeclaration(decl);
+    if (problems.length > 0) {
+        return {
+            ...base,
+            status: 'not-applicable',
+            reason: `misclassified declaration: ${problems.map((p) => p.rule).join(', ')}`,
+            usedEvidence: [],
+        };
+    }
+    // --- empirical: the runtime may defer, and nothing else. It never concludes satisfied.
+    if (decl.propertyClass === 'empirically-testable') {
+        const study = input.offered.find((e) => e.kind === 'external-empirical-study');
+        if (study) {
+            return {
+                ...base,
+                status: 'unresolved',
+                reason: 'deferred to external empirical authority; the runtime does not adjudicate empirical claims',
+                usedEvidence: [study],
+                externalReference: study.id,
+            };
+        }
+        const internalOnly = input.offered.filter((e) => e.kind !== 'external-empirical-study');
+        return {
+            ...base,
+            status: 'insufficient-evidence',
+            reason: internalOnly.length > 0
+                ? `only internal evidence offered (${internalOnly.map((e) => e.kind).join(', ')}); an empirical claim cannot be settled from runtime state`
+                : 'no empirical evidence offered',
+            usedEvidence: internalOnly,
+        };
+    }
+    // --- model-checkable: exploring a space, not witnessing a run
+    if (decl.propertyClass === 'model-checkable') {
+        const checks = input.offered.filter((e) => e.kind === 'bounded-model-check' || e.kind === 'exhaustive-exploration');
+        if (checks.length === 0) {
+            const runs = input.offered.filter((e) => e.kind === 'observed-execution');
+            return {
+                ...base,
+                status: 'insufficient-evidence',
+                reason: runs.length > 0
+                    ? `${runs.length} observed execution(s) cannot generalize over the state space`
+                    : 'no model-checking evidence offered',
+                usedEvidence: runs,
+            };
+        }
+        const exhaustive = checks.find((e) => e.kind === 'exhaustive-exploration');
+        return {
+            ...base,
+            status: exhaustive ? 'satisfied' : 'unresolved',
+            reason: exhaustive
+                ? `exhaustive exploration (${exhaustive.coverage ?? 'full space'})`
+                : `bounded check only (${checks[0].coverage ?? 'bound unstated'}); holds within the bound, unresolved beyond it`,
+            usedEvidence: checks,
+        };
+    }
+    // --- mechanically-decidable: the runtime decides, from the declaration/surface alone
+    const usable = input.offered.filter((e) => e.kind === 'declaration' || e.kind === 'projection-surface');
+    if (input.mechanicalVerdict === undefined) {
+        return { ...base, status: 'unresolved', reason: 'no mechanical verdict was produced', usedEvidence: usable };
+    }
+    return {
+        ...base,
+        status: input.mechanicalVerdict ? 'satisfied' : 'violated',
+        reason: input.mechanicalVerdict ? 'decided mechanically from the declaration' : 'mechanically refuted',
+        usedEvidence: usable,
+    };
+}
+/**
+ * Evaluate a projection-relative property against a SURFACE. Two hard limits, both enforced here rather
+ * than left to the caller: a claim may not read state that is off-surface, and it may not be discharged
+ * with evidence the surface does not make accessible.
+ */
+export function evaluateProjectionProperty(declaration, surface, predicate) {
+    const offSurface = (declaration.reads ?? []).filter((k) => !(k in surface.observedState));
+    if (offSurface.length > 0) {
+        return {
+            id: declaration.id,
+            propertyClass: declaration.propertyClass,
+            evaluationAuthority: authorityFor(declaration.propertyClass),
+            requiredEvidence: declaration.requiredEvidence,
+            status: 'unresolved',
+            reason: `reads ${offSurface.join(', ')} which this projection does not expose; hidden world state must not be consulted`,
+            provenance: declaration.provenance,
+            usedEvidence: [],
+        };
+    }
+    const inaccessible = (declaration.requiresEvidenceIds ?? []).filter((id) => !surface.accessibleEvidence.includes(id));
+    if (inaccessible.length > 0) {
+        return {
+            id: declaration.id,
+            propertyClass: declaration.propertyClass,
+            evaluationAuthority: authorityFor(declaration.propertyClass),
+            requiredEvidence: declaration.requiredEvidence,
+            status: 'insufficient-evidence',
+            reason: `requires evidence not accessible on this surface: ${inaccessible.join(', ')}`,
+            provenance: declaration.provenance,
+            usedEvidence: [],
+        };
+    }
+    return evaluateProperty({
+        declaration,
+        offered: [{ kind: 'projection-surface', id: surface.identity.id }],
+        mechanicalVerdict: predicate ? predicate(surface.observedState) : undefined,
+    });
+}
+//# sourceMappingURL=properties.js.map

package/dist/world/properties/properties.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../../src/world/properties/properties.ts"],"names":[],"mappings":"AA8EA,MAAM,UAAU,YAAY,CAAC,aAA4B;IACvD,QAAQ,aAAa,EAAE,CAAC;QACtB,KAAK,wBAAwB;YAC3B,OAAO,SAAS,CAAC;QACnB,KAAK,iBAAiB;YACpB,OAAO,eAAe,CAAC;QACzB,KAAK,sBAAsB;YACzB,OAAO,oBAAoB,CAAC;IAChC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,2BAA2B,GAAG;IAClC,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,eAAe;IAC5E,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW;IACzE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ;CACrE,CAAC;AAEF,MAAM,UAAU,4BAA4B,CAAC,SAAiB;IAC5D,MAAM,CAAC,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IAClC,OAAO,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAOD,oFAAoF;AACpF,MAAM,UAAU,2BAA2B,CAAC,IAAyB;IACnE,MAAM,QAAQ,GAAiC,EAAE,CAAC;IAElD,IAAI,IAAI,CAAC,aAAa,KAAK,sBAAsB,IAAI,4BAA4B,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAClG,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iCAAiC;YACvC,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS,+CAA+C,IAAI,CAAC,aAAa,EAAE;SAC9F,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,aAAa,KAAK,wBAAwB,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,CAAC;QAClH,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,+BAA+B;YACrC,MAAM,EAAE,uEAAuE;SAChF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,aAAa,KAAK,iBAAiB,IAAI,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,oBAAoB,CAAC,EAAE,CAAC;QAC/G,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,8BAA8B;YACpC,MAAM,EAAE,uEAAuE;SAChF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,aAAa,KAAK,sBAAsB,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,CAAC;QACjH,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,0BAA0B;YAChC,MAAM,EAAE,2EAA2E;SACpF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAA8B;IAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC;IAC/B,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,mBAAmB,EAAE,SAAS;QAC9B,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;QACvC,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC;IAEF,MAAM,QAAQ,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,gBAAgB;YACxB,MAAM,EAAE,8BAA8B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC9E,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IAED,wFAAwF;IACxF,IAAI,IAAI,CAAC,aAAa,KAAK,sBAAsB,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC;QAC/E,IAAI,KAAK,EAAE,CAAC;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,YAAY;gBACpB,MAAM,EAAE,4FAA4F;gBACpG,YAAY,EAAE,CAAC,KAAK,CAAC;gBACrB,iBAAiB,EAAE,KAAK,CAAC,EAAE;aAC5B,CAAC;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC;QACxF,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,uBAAuB;YAC/B,MAAM,EACJ,YAAY,CAAC,MAAM,GAAG,CAAC;gBACrB,CAAC,CAAC,mCAAmC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4DAA4D;gBAC3I,CAAC,CAAC,+BAA+B;YACrC,YAAY,EAAE,YAAY;SAC3B,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,IAAI,IAAI,CAAC,aAAa,KAAK,iBAAiB,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC;QACpH,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC;YAC1E,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,uBAAuB;gBAC/B,MAAM,EACJ,IAAI,CAAC,MAAM,GAAG,CAAC;oBACb,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,+DAA+D;oBAC/E,CAAC,CAAC,oCAAoC;gBAC1C,YAAY,EAAE,IAAI;aACnB,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC;QAC3E,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY;YAC/C,MAAM,EAAE,UAAU;gBAChB,CAAC,CAAC,2BAA2B,UAAU,CAAC,QAAQ,IAAI,YAAY,GAAG;gBACnE,CAAC,CAAC,uBAAuB,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,IAAI,gBAAgB,iDAAiD;YACnH,YAAY,EAAE,MAAM;SACrB,CAAC;IACJ,CAAC;IAED,sFAAsF;IACtF,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC;IACxG,IAAI,KAAK,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QAC1C,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,oCAAoC,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;IAC/G,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU;QAC1D,MAAM,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC,CAAC,sBAAsB;QACtG,YAAY,EAAE,MAAM;KACrB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,WAAgC,EAChC,OAA0B,EAC1B,SAAmE;IAEnE,MAAM,UAAU,GAAG,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;IAC1F,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,EAAE,EAAE,WAAW,CAAC,EAAE;YAClB,aAAa,EAAE,WAAW,CAAC,aAAa;YACxC,mBAAmB,EAAE,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC;YAC5D,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;YAC9C,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,SAAS,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,kFAAkF;YACxH,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,WAAW,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACtH,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,EAAE,EAAE,WAAW,CAAC,EAAE;YAClB,aAAa,EAAE,WAAW,CAAC,aAAa;YACxC,mBAAmB,EAAE,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC;YAC5D,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;YAC9C,MAAM,EAAE,uBAAuB;YAC/B,MAAM,EAAE,qDAAqD,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACtF,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IAED,OAAO,gBAAgB,CAAC;QACtB,WAAW;QACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QAClE,iBAAiB,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;KAC5E,CAAC,CAAC;AACL,CAAC"}

package/dist/world/substrates/fsm.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Conformance-corpus substrate: a finite state machine (EXPERIMENTAL, internal).
+ *
+ * Written from FSM semantics, with the API an FSM library would naturally have — declared states, a
+ * declared transition table, data guards, accepting (final) states, and an outcome per fired event.
+ * It has NO knowledge of `DynamicsContract`; per the corpus protocol it is committed before its adapter
+ * exists and may not be edited to make that adapter cleaner.
+ *
+ * Its role in the corpus is the **control**: an FSM is the most contract-shaped substrate imaginable
+ * (explicit states, declared law, complete observable state, exact determinism, trivial restore), so it
+ * was pre-registered as expected to require zero contract change.
+ *
+ * Pure functions: state in → state out. Guards are data, never predicates-as-callbacks.
+ */
+export type FsmValue = number | string | boolean;
+/** A guard is a declared equality on context — expressible as data, so the law stays inspectable. */
+export interface FsmGuard {
+    readonly key: string;
+    readonly equals: FsmValue;
+}
+export interface FsmTransition {
+    readonly from: string;
+    readonly on: string;
+    readonly to: string;
+    readonly guard?: FsmGuard;
+    /** Context writes applied when this transition is taken. */
+    readonly assign?: Readonly<Record<string, FsmValue>>;
+}
+export interface FsmDefinition {
+    readonly id: string;
+    readonly initial: string;
+    readonly states: readonly string[];
+    /** Accepting states. Reaching one means the machine is DONE — not merely idle. */
+    readonly accepting: readonly string[];
+    readonly transitions: readonly FsmTransition[];
+    readonly context?: Readonly<Record<string, FsmValue>>;
+}
+export interface FsmState {
+    readonly current: string;
+    readonly context: Readonly<Record<string, FsmValue>>;
+    readonly steps: number;
+}
+/**
+ * Why an event did or did not move the machine. `accepted` is distinct from `no-transition`: an
+ * accepting state is finished, whereas a non-accepting state with no matching transition is merely
+ * idle and will still respond to a different event.
+ */
+export type FsmOutcome = 'transitioned' | 'no-transition' | 'guard-blocked' | 'unknown-event' | 'accepted';
+export interface FsmFireResult {
+    readonly state: FsmState;
+    readonly outcome: FsmOutcome;
+    readonly taken?: FsmTransition;
+}
+export declare function initialFsmState(def: FsmDefinition): FsmState;
+export declare function isAccepting(def: FsmDefinition, state: FsmState): boolean;
+export declare function isFsmState(v: unknown): v is FsmState;
+/** Fire one event. An accepting state consumes nothing further — the machine is done. */
+export declare function fireFsm(def: FsmDefinition, state: FsmState, event: string): FsmFireResult;
+//# sourceMappingURL=fsm.d.ts.map

package/dist/world/substrates/fsm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fsm.d.ts","sourceRoot":"","sources":["../../../src/world/substrates/fsm.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAEjD,qGAAqG;AACrG,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;CAC3B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;IAC1B,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CACtD;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,kFAAkF;IAClF,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,cAAc,GAAG,eAAe,GAAG,eAAe,GAAG,eAAe,GAAG,UAAU,CAAC;AAE3G,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,aAAa,GAAG,QAAQ,CAE5D;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,GAAG,OAAO,CAExE;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,QAAQ,CAIpD;AAOD,yFAAyF;AACzF,wBAAgB,OAAO,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,aAAa,CAyBzF"}

package/dist/world/substrates/fsm.js

@@ -0,0 +1,57 @@
+/**
+ * Conformance-corpus substrate: a finite state machine (EXPERIMENTAL, internal).
+ *
+ * Written from FSM semantics, with the API an FSM library would naturally have — declared states, a
+ * declared transition table, data guards, accepting (final) states, and an outcome per fired event.
+ * It has NO knowledge of `DynamicsContract`; per the corpus protocol it is committed before its adapter
+ * exists and may not be edited to make that adapter cleaner.
+ *
+ * Its role in the corpus is the **control**: an FSM is the most contract-shaped substrate imaginable
+ * (explicit states, declared law, complete observable state, exact determinism, trivial restore), so it
+ * was pre-registered as expected to require zero contract change.
+ *
+ * Pure functions: state in → state out. Guards are data, never predicates-as-callbacks.
+ */
+export function initialFsmState(def) {
+    return { current: def.initial, context: { ...(def.context ?? {}) }, steps: 0 };
+}
+export function isAccepting(def, state) {
+    return def.accepting.includes(state.current);
+}
+export function isFsmState(v) {
+    if (typeof v !== 'object' || v === null)
+        return false;
+    const s = v;
+    return typeof s.current === 'string' && typeof s.steps === 'number' && typeof s.context === 'object' && s.context !== null;
+}
+function guardHolds(guard, context) {
+    if (!guard)
+        return true;
+    return context[guard.key] === guard.equals;
+}
+/** Fire one event. An accepting state consumes nothing further — the machine is done. */
+export function fireFsm(def, state, event) {
+    if (isAccepting(def, state)) {
+        return { state, outcome: 'accepted' };
+    }
+    const fromHere = def.transitions.filter((t) => t.from === state.current);
+    const onEvent = fromHere.filter((t) => t.on === event);
+    if (onEvent.length === 0) {
+        // distinguish "this machine has no such event anywhere" from "not from this state"
+        const knownEvent = def.transitions.some((t) => t.on === event);
+        return { state, outcome: knownEvent ? 'no-transition' : 'unknown-event' };
+    }
+    const taken = onEvent.find((t) => guardHolds(t.guard, state.context));
+    if (!taken)
+        return { state, outcome: 'guard-blocked' };
+    return {
+        state: {
+            current: taken.to,
+            context: taken.assign ? { ...state.context, ...taken.assign } : state.context,
+            steps: state.steps + 1,
+        },
+        outcome: 'transitioned',
+        taken,
+    };
+}
+//# sourceMappingURL=fsm.js.map

package/dist/world/substrates/fsm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fsm.js","sourceRoot":"","sources":["../../../src/world/substrates/fsm.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAgDH,MAAM,UAAU,eAAe,CAAC,GAAkB;IAChD,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAkB,EAAE,KAAe;IAC7D,OAAO,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,CAAU;IACnC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,CAAC,GAAG,CAA4B,CAAC;IACvC,OAAO,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC;AAC7H,CAAC;AAED,SAAS,UAAU,CAAC,KAA2B,EAAE,OAA2C;IAC1F,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC;AAC7C,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,OAAO,CAAC,GAAkB,EAAE,KAAe,EAAE,KAAa;IACxE,IAAI,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IACxC,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,mFAAmF;QACnF,MAAM,UAAU,GAAG,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;QAC/D,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC;IAC5E,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;IAEvD,OAAO;QACL,KAAK,EAAE;YACL,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO;YAC7E,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC;SACvB;QACD,OAAO,EAAE,cAAc;QACvB,KAAK;KACN,CAAC;AACJ,CAAC"}

package/dist/world/substrates/governor.d.ts

@@ -0,0 +1,53 @@
+/**
+ * G3 — second substrate: the quality-governor rule set (EXPERIMENTAL, internal).
+ *
+ * PROVENANCE (stated plainly): this is a faithful core-local re-expression of the **shipped**
+ * `QualityGovernor` in `@fundamental-engine/dom` — same declared escalation table, same recovery
+ * streak, same overrun test (`duration > budget × 1.3`), same asymmetric hysteresis. It is a port, not
+ * the shipped module, because `core` must never import `dom` (strict dependency direction) and core's
+ * package `exports` map is closed, so the shipped class is unreachable from here. The port exists so the
+ * second substrate can be adapted to `DynamicsContract` **inside core**, alongside the field adapter,
+ * without exporting any new public surface. Its limitation is recorded in the phase findings.
+ *
+ * Why this substrate: it contrasts with the field on every axis the contract measures —
+ *   discrete threshold transitions (not continuous integration),
+ *   history-dependent streak state with ASYMMETRIC hysteresis (escalate fast, recover slow),
+ *   a transition law that is a DECLARED TABLE rather than opaque code,
+ *   fully surfaced, fully restorable state,
+ *   exact determinism with no clock and no RNG.
+ *
+ * Expressed as pure functions: state in → state out. No class, no hidden mutable capture.
+ */
+export type QualityTier = 0 | 1 | 2 | 3;
+export interface GovernorRule {
+    readonly aboveMs: number;
+    readonly streak: number;
+    readonly tier: QualityTier;
+}
+/** The declared transition law (mirrors the shipped ESCALATE table). */
+export declare const ESCALATE_RULES: readonly GovernorRule[];
+/** Clean frames required before dropping one tier (asymmetric recovery). */
+export declare const RECOVER_STREAK = 30;
+export declare const DEFAULT_BUDGET_MS = 16.67;
+export interface GovernorState {
+    readonly tier: QualityTier;
+    readonly overrunStreak: number;
+    readonly cleanStreak: number;
+    readonly budgetMs: number;
+}
+export declare function initialGovernorState(budgetMs?: number): GovernorState;
+export interface GovernorStep {
+    readonly state: GovernorState;
+    /** The new tier when it changed this step; `undefined` when stable. */
+    readonly changed: QualityTier | undefined;
+}
+/** Structural check used by `restore` — a snapshot payload must be a real governor state. */
+export declare function isGovernorState(v: unknown): v is GovernorState;
+/**
+ * Advance one frame. Pure: returns the next state and whether the tier changed.
+ * Mirrors the shipped governor exactly — escalation checks rules in order and takes the first that
+ * both exceeds its threshold and has met its streak; recovery drops ONE tier after RECOVER_STREAK
+ * clean frames.
+ */
+export declare function feedGovernor(state: GovernorState, durationMs: number): GovernorStep;
+//# sourceMappingURL=governor.d.ts.map

package/dist/world/substrates/governor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"governor.d.ts","sourceRoot":"","sources":["../../../src/world/substrates/governor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,MAAM,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAExC,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B;AAED,wEAAwE;AACxE,eAAO,MAAM,cAAc,EAAE,SAAS,YAAY,EAIjD,CAAC;AAEF,4EAA4E;AAC5E,eAAO,MAAM,cAAc,KAAK,CAAC;AAEjC,eAAO,MAAM,iBAAiB,QAAQ,CAAC;AAEvC,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,GAAE,MAA0B,GAAG,aAAa,CAExF;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,SAAS,CAAC;CAC3C;AAED,6FAA6F;AAC7F,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,aAAa,CAS9D;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,GAAG,YAAY,CA0BnF"}

package/dist/world/substrates/governor.js

@@ -0,0 +1,73 @@
+/**
+ * G3 — second substrate: the quality-governor rule set (EXPERIMENTAL, internal).
+ *
+ * PROVENANCE (stated plainly): this is a faithful core-local re-expression of the **shipped**
+ * `QualityGovernor` in `@fundamental-engine/dom` — same declared escalation table, same recovery
+ * streak, same overrun test (`duration > budget × 1.3`), same asymmetric hysteresis. It is a port, not
+ * the shipped module, because `core` must never import `dom` (strict dependency direction) and core's
+ * package `exports` map is closed, so the shipped class is unreachable from here. The port exists so the
+ * second substrate can be adapted to `DynamicsContract` **inside core**, alongside the field adapter,
+ * without exporting any new public surface. Its limitation is recorded in the phase findings.
+ *
+ * Why this substrate: it contrasts with the field on every axis the contract measures —
+ *   discrete threshold transitions (not continuous integration),
+ *   history-dependent streak state with ASYMMETRIC hysteresis (escalate fast, recover slow),
+ *   a transition law that is a DECLARED TABLE rather than opaque code,
+ *   fully surfaced, fully restorable state,
+ *   exact determinism with no clock and no RNG.
+ *
+ * Expressed as pure functions: state in → state out. No class, no hidden mutable capture.
+ */
+/** The declared transition law (mirrors the shipped ESCALATE table). */
+export const ESCALATE_RULES = [
+    { aboveMs: 20, streak: 10, tier: 1 },
+    { aboveMs: 33, streak: 5, tier: 2 },
+    { aboveMs: 50, streak: 3, tier: 3 },
+];
+/** Clean frames required before dropping one tier (asymmetric recovery). */
+export const RECOVER_STREAK = 30;
+export const DEFAULT_BUDGET_MS = 16.67;
+export function initialGovernorState(budgetMs = DEFAULT_BUDGET_MS) {
+    return { tier: 0, overrunStreak: 0, cleanStreak: 0, budgetMs };
+}
+/** Structural check used by `restore` — a snapshot payload must be a real governor state. */
+export function isGovernorState(v) {
+    if (typeof v !== 'object' || v === null)
+        return false;
+    const s = v;
+    return ((s.tier === 0 || s.tier === 1 || s.tier === 2 || s.tier === 3) &&
+        typeof s.overrunStreak === 'number' &&
+        typeof s.cleanStreak === 'number' &&
+        typeof s.budgetMs === 'number');
+}
+/**
+ * Advance one frame. Pure: returns the next state and whether the tier changed.
+ * Mirrors the shipped governor exactly — escalation checks rules in order and takes the first that
+ * both exceeds its threshold and has met its streak; recovery drops ONE tier after RECOVER_STREAK
+ * clean frames.
+ */
+export function feedGovernor(state, durationMs) {
+    const overrun = durationMs > state.budgetMs * 1.3;
+    if (overrun) {
+        const overrunStreak = state.overrunStreak + 1;
+        for (const rule of ESCALATE_RULES) {
+            if (durationMs > rule.aboveMs && overrunStreak >= rule.streak && state.tier < rule.tier) {
+                return {
+                    state: { ...state, tier: rule.tier, overrunStreak, cleanStreak: 0 },
+                    changed: rule.tier,
+                };
+            }
+        }
+        return { state: { ...state, overrunStreak, cleanStreak: 0 }, changed: undefined };
+    }
+    if (state.tier > 0) {
+        const cleanStreak = state.cleanStreak + 1;
+        if (cleanStreak >= RECOVER_STREAK) {
+            const tier = Math.max(0, state.tier - 1);
+            return { state: { ...state, tier, overrunStreak: 0, cleanStreak: 0 }, changed: tier };
+        }
+        return { state: { ...state, overrunStreak: 0, cleanStreak }, changed: undefined };
+    }
+    return { state: { ...state, overrunStreak: 0, cleanStreak: 0 }, changed: undefined };
+}
+//# sourceMappingURL=governor.js.map

package/dist/world/substrates/governor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"governor.js","sourceRoot":"","sources":["../../../src/world/substrates/governor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAUH,wEAAwE;AACxE,MAAM,CAAC,MAAM,cAAc,GAA4B;IACrD,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE;IACpC,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE;IACnC,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE;CACpC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,CAAC,MAAM,cAAc,GAAG,EAAE,CAAC;AAEjC,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,CAAC;AASvC,MAAM,UAAU,oBAAoB,CAAC,WAAmB,iBAAiB;IACvE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;AACjE,CAAC;AAQD,6FAA6F;AAC7F,MAAM,UAAU,eAAe,CAAC,CAAU;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,CAAC,GAAG,CAA4B,CAAC;IACvC,OAAO,CACL,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC;QAC9D,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ;QACnC,OAAO,CAAC,CAAC,WAAW,KAAK,QAAQ;QACjC,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAC/B,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,KAAoB,EAAE,UAAkB;IACnE,MAAM,OAAO,GAAG,UAAU,GAAG,KAAK,CAAC,QAAQ,GAAG,GAAG,CAAC;IAElD,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;YAClC,IAAI,UAAU,GAAG,IAAI,CAAC,OAAO,IAAI,aAAa,IAAI,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxF,OAAO;oBACL,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC,EAAE;oBACnE,OAAO,EAAE,IAAI,CAAC,IAAI;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACpF,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC;QAC1C,IAAI,WAAW,IAAI,cAAc,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,CAAgB,CAAC;YACxD,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACxF,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACpF,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AACvF,CAAC"}

package/dist/world/substrates/planner.d.ts

@@ -0,0 +1,82 @@
+/**
+ * Conformance-corpus substrate: a best-first search planner (EXPERIMENTAL, internal).
+ *
+ * Written from search semantics, with the API a planner library would naturally have — a weighted
+ * graph, a frontier, an explored set, one expansion per step, and a plan extracted at the end. It has
+ * NO knowledge of `DynamicsContract`; per the corpus protocol it is committed before its adapter exists
+ * and may not be edited to make that adapter cleaner.
+ *
+ * Its role in the corpus is the **falsification candidate**, for two reasons:
+ *
+ *   1. It is the first corpus substrate that FINISHES. The field simulates indefinitely and the governor
+ *      consumes frames indefinitely; neither ever reaches a state where asking for another transition is
+ *      meaningless. A search does: the frontier empties, or the goal is found.
+ *   2. Its transition law is only PARTIALLY declarable. Expansion order and edge costs are a table; the
+ *      `euclidean` heuristic is computed in code and cannot be written down as rules.
+ *
+ * Determinism is exact: the frontier is ordered by (priority, node id), so ties break by name rather
+ * than by insertion accident. No clock, no RNG.
+ */
+export interface PlannerNode {
+    readonly id: string;
+    readonly x?: number;
+    readonly y?: number;
+}
+export interface PlannerEdge {
+    readonly from: string;
+    readonly to: string;
+    readonly cost: number;
+}
+/**
+ * A closed union — no callbacks. `zero` and `table` are expressible as data; `euclidean` is computed
+ * from coordinates in code and is NOT expressible as a rule table. That asymmetry is deliberate: it is
+ * what makes this substrate's law genuinely partial rather than merely large.
+ */
+export type PlannerHeuristic = {
+    readonly kind: 'zero';
+} | {
+    readonly kind: 'table';
+    readonly values: Readonly<Record<string, number>>;
+} | {
+    readonly kind: 'euclidean';
+};
+export interface PlannerProblem {
+    readonly id: string;
+    readonly nodes: readonly PlannerNode[];
+    readonly edges: readonly PlannerEdge[];
+    readonly start: string;
+    readonly goal: string;
+    readonly heuristic: PlannerHeuristic;
+}
+export interface FrontierEntry {
+    readonly node: string;
+    readonly cost: number;
+    readonly priority: number;
+}
+/** `searching` is not a resting state — it means work remains. The other two are terminal. */
+export type PlannerStatus = 'searching' | 'goal-reached' | 'exhausted';
+export interface PlannerState {
+    readonly frontier: readonly FrontierEntry[];
+    readonly explored: readonly string[];
+    readonly cameFrom: Readonly<Record<string, string>>;
+    readonly costSoFar: Readonly<Record<string, number>>;
+    readonly status: PlannerStatus;
+    readonly expansions: number;
+}
+export interface PlannerStep {
+    readonly state: PlannerState;
+    /** The node expanded this step, absent when the search was already finished. */
+    readonly expanded?: string;
+    readonly status: PlannerStatus;
+}
+export declare function isTerminal(status: PlannerStatus): boolean;
+export declare function initialPlannerState(problem: PlannerProblem): PlannerState;
+export declare function isPlannerState(v: unknown): v is PlannerState;
+/**
+ * Expand exactly one node. Asking a finished search to expand is not an error and not progress — the
+ * state is returned unchanged with its terminal status, and no node is reported as expanded.
+ */
+export declare function expandPlanner(problem: PlannerProblem, state: PlannerState): PlannerStep;
+/** The plan, once the goal was reached. `undefined` while searching or when exhausted. */
+export declare function extractPlan(problem: PlannerProblem, state: PlannerState): readonly string[] | undefined;
+//# sourceMappingURL=planner.d.ts.map