@fundamental-engine/core 0.9.3 → 0.9.5

package/dist/world/ablation/ablation.d.ts

@@ -0,0 +1,39 @@
+import type { Transition } from '../episodes/episodes.ts';
+import type { WorldRelation } from '../world.ts';
+export type AblationForm = 'removal' | 'collapse' | 'substitution' | 'reconstruction';
+export type AblationClass = 'necessary-primitive' | 'necessary-component' | 'derived-complete' | 'derived-conditional' | 'collapsible-without-loss' | 'collapsible-with-loss' | 'substitutable' | 'non-substitutable' | 'representation-dependent' | 'execution-boundary-only' | 'unresolved';
+export interface AblationRecord {
+    readonly element: string;
+    readonly form: AblationForm;
+    readonly hypothesis: string;
+    readonly transformation: string;
+    readonly fixture: string;
+    readonly expectedDistinguishingCase: string;
+    readonly observed: string;
+    readonly failedCapability?: string;
+    readonly preservedBehavior?: string;
+    readonly evidence: string;
+    readonly classification: AblationClass;
+    readonly implication: string;
+}
+/** Derive relation edges from observed transitions only (no declared relation structure). */
+export declare function relationsFromTransitions(trace: readonly Transition[]): WorldRelation[];
+/** Derive the operation vocabulary from observed transitions only. */
+export declare function operationsFromTransitions(trace: readonly Transition[]): string[];
+export declare function runAblations(): AblationRecord[];
+export interface KernelComparisonRow {
+    readonly element: string;
+    readonly roleInK: string;
+    readonly ablationResult: AblationClass;
+    readonly retainedInK0: boolean;
+    readonly reason: string;
+    readonly derivationOrCounterexample: string;
+    readonly confidence: 'high' | 'medium' | 'low';
+    readonly remainingUncertainty: string;
+}
+/** K  = ⟨Entities, State, Relations, Operations, Dynamics, Projection, Invariants⟩ */
+export declare const K_ELEMENTS: readonly ["Entities", "State", "Relations", "Operations", "Dynamics", "Projection", "Invariants"];
+/** K₀ = ⟨X, Θ, Π, V⟩ — X carries typed entity/relation/operation structure. */
+export declare const K0_ELEMENTS: readonly ["X (state incl. typed entities/relations/operations)", "Θ (lawful evolution + admissible operations)", "Π (projection)", "V (validity/invariants)"];
+export declare function kernelComparison(): KernelComparisonRow[];
+//# sourceMappingURL=ablation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ablation.d.ts","sourceRoot":"","sources":["../../../src/world/ablation/ablation.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAqB,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,UAAU,GAAG,cAAc,GAAG,gBAAgB,CAAC;AAEtF,MAAM,MAAM,aAAa,GACrB,qBAAqB,GACrB,qBAAqB,GACrB,kBAAkB,GAClB,qBAAqB,GACrB,0BAA0B,GAC1B,uBAAuB,GACvB,eAAe,GACf,mBAAmB,GACnB,0BAA0B,GAC1B,yBAAyB,GACzB,YAAY,CAAC;AAEjB,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AA+BD,6FAA6F;AAC7F,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,aAAa,EAAE,CAWtF;AAED,sEAAsE;AACtE,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,MAAM,EAAE,CAEhF;AAkHD,wBAAgB,YAAY,IAAI,cAAc,EAAE,CAuN/C;AAID,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IAC/C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACvC;AAED,sFAAsF;AACtF,eAAO,MAAM,UAAU,mGAAoG,CAAC;AAC5H,+EAA+E;AAC/E,eAAO,MAAM,WAAW,+JAAgK,CAAC;AAEzL,wBAAgB,gBAAgB,IAAI,mBAAmB,EAAE,CAqExD"}

package/dist/world/ablation/ablation.js

@@ -0,0 +1,449 @@
+/**
+ * F1.8 — kernel ablation harness (EXPERIMENTAL, internal).
+ *
+ * Runs the four ratified ablation forms (removal · collapse · substitution · reconstruction, M1.5-08)
+ * against the current kernel model, EXECUTING the real F1.5–F1.7 derivations with ablated inputs rather
+ * than asserting outcomes. Each record carries hypothesis, transformation, fixture, expected
+ * distinguishing case, observed result, failed capability / preserved behavior, evidence, classification,
+ * and the implication for K and K₀.
+ *
+ * Field-free (it drives generic derivations only). Not exported from the package entry.
+ */
+import { createWorldEnvelope } from "../envelope.js";
+import { evaluateOpportunity } from "../opportunity/opportunity.js";
+import { detectEpisodes } from "../episodes/episodes.js";
+import { FORCE_CORPUS } from "../experiments/declarative-dynamics.js";
+// ── fixtures ─────────────────────────────────────────────────────────────────
+function opportunityBase(overrides = {}) {
+    return {
+        world: { envelope: createWorldEnvelope('ablation-world'), operations: [{ id: 'act', reversible: true, recoveryPaths: [] }] },
+        participant: 'p',
+        state: { enabled: ['act'], reachableOutcomes: ['act'] },
+        projection: { id: 'full', exposed: ['act'], signaled: ['act'] },
+        history: [],
+        capabilities: ['act'],
+        authority: [{ operation: 'act', scope: 's', authoritySource: 'role:x' }],
+        ...overrides,
+    };
+}
+function episodeContract(o = {}) {
+    return {
+        boundary: { participants: ['A', 'B', 'C'], start: 0, end: 100 },
+        timescale: 1,
+        coupling: { kind: 'direct-influence', minInfluence: 1 },
+        recurrenceWindow: 5,
+        minimumInfluence: 1,
+        ...o,
+    };
+}
+const tx = (step, from, to, influence = 5) => ({ step, from, to, operation: 'op', influence });
+// ── reconstruction helpers (the "remaining kernel" attempting to derive an element) ──
+/** Derive relation edges from observed transitions only (no declared relation structure). */
+export function relationsFromTransitions(trace) {
+    const seen = new Set();
+    const out = [];
+    for (const t of trace) {
+        if (t.to === undefined)
+            continue;
+        const key = `${t.from}->${t.to}`;
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        out.push({ from: t.from, to: t.to, type: 'observed-edge' });
+    }
+    return out;
+}
+/** Derive the operation vocabulary from observed transitions only. */
+export function operationsFromTransitions(trace) {
+    return [...new Set(trace.map((t) => t.operation))].sort();
+}
+// ── executable probes ────────────────────────────────────────────────────────
+/** Ω_sys removal probe: drop one lower input and report which predicate becomes underivable. */
+function probeOpportunityRemoval(input) {
+    const base = evaluateOpportunity(opportunityBase(), 'act');
+    let ablated;
+    switch (input) {
+        case 'capability':
+            ablated = evaluateOpportunity(opportunityBase({ capabilities: [] }), 'act');
+            break;
+        case 'authority':
+            ablated = evaluateOpportunity(opportunityBase({ authority: [] }), 'act');
+            break;
+        case 'projection':
+            ablated = evaluateOpportunity(opportunityBase({ projection: { id: 'none', exposed: [], signaled: [] } }), 'act');
+            break;
+        case 'reachability':
+            ablated = evaluateOpportunity(opportunityBase({ state: { enabled: ['act'], reachableOutcomes: [] } }), 'act');
+            break;
+        case 'history': {
+            const enabled = (h) => (h.includes('unlock') ? ['act'] : []);
+            ablated = evaluateOpportunity(opportunityBase({ history: [], state: { enabled: enabled([]), reachableOutcomes: ['act'] } }), 'act');
+            break;
+        }
+    }
+    const changed = base.available !== ablated.available || base.signaled !== ablated.signaled;
+    const failed = ablated.failedPredicates.map((f) => f.predicate).join(',') || 'none';
+    return { observed: `baseline available=${base.available}; ablated available=${ablated.available}; changed=${changed}`, failed };
+}
+/** Collapse capability and permission into one boolean; show the distinction is lost. */
+function probeCapabilityPermissionCollapse() {
+    const capableNotPermitted = evaluateOpportunity(opportunityBase({ authority: [] }), 'act');
+    const permittedNotCapable = evaluateOpportunity(opportunityBase({ capabilities: [] }), 'act');
+    // the real (uncollapsed) model distinguishes them by which predicate failed
+    const realDistinct = capableNotPermitted.failedPredicates.some((f) => f.predicate === 'permitted') &&
+        permittedNotCapable.failedPredicates.some((f) => f.predicate === 'capable');
+    // the collapsed model exposes only `allowed = capable && permitted`
+    const collapsedA = capableNotPermitted.capable && capableNotPermitted.permitted;
+    const collapsedB = permittedNotCapable.capable && permittedNotCapable.permitted;
+    const collapsedIndistinguishable = collapsedA === collapsedB;
+    return {
+        observed: `uncollapsed distinguishes=${realDistinct}; collapsed allowed A=${collapsedA} B=${collapsedB} indistinguishable=${collapsedIndistinguishable}`,
+        lost: realDistinct && collapsedIndistinguishable,
+    };
+}
+/** Projection collapse probe: does projection materially change the derivation? */
+function probeProjectionMateriality() {
+    const full = evaluateOpportunity(opportunityBase(), 'act');
+    const hidden = evaluateOpportunity(opportunityBase({ projection: { id: 'reduced', exposed: [], signaled: [] } }), 'act');
+    const material = full.available !== hidden.available;
+    return { observed: `same state, two projections → available ${full.available} vs ${hidden.available}`, material };
+}
+/** Relations reconstruction probe: latent/persistent relations vs observed edges. */
+function probeRelationReconstruction() {
+    const declared = [
+        { from: 'A', to: 'B', type: 'owns' }, // latent/persistent — never exercised
+        { from: 'A', to: 'C', type: 'binds' }, // exercised below
+    ];
+    const trace = [tx(1, 'A', 'C')];
+    const reconstructed = relationsFromTransitions(trace);
+    const latentLost = !reconstructed.some((r) => r.from === 'A' && r.to === 'B');
+    const typeLost = !reconstructed.some((r) => r.type === 'binds');
+    return {
+        observed: `declared ${declared.length} relations; reconstructed ${reconstructed.length} from transitions; latent A→B recovered=${!latentLost}; relation type recovered=${!typeLost}`,
+        latentLost,
+    };
+}
+/** Operations reconstruction probe: latent (never-invoked) operations vs observed transitions. */
+function probeOperationReconstruction() {
+    const declared = ['act', 'latent'];
+    const trace = [{ step: 1, from: 'A', to: 'B', operation: 'act', influence: 5 }];
+    const reconstructed = operationsFromTransitions(trace);
+    const latentLost = !reconstructed.includes('latent');
+    return { observed: `declared ${declared.join(',')}; reconstructed ${reconstructed.join(',')}; latent recovered=${!latentLost}`, latentLost };
+}
+/** Dynamics substitution probe: replace with declarative IR only (F1.5 corpus). */
+function probeDynamicsSubstitution() {
+    const opaque = FORCE_CORPUS.filter((f) => f.declarative === null);
+    const declarative = FORCE_CORPUS.filter((f) => f.declarative !== null);
+    return {
+        observed: `declarative-only substitution covers ${declarative.length}/${FORCE_CORPUS.length}; ${opaque.length} laws unrepresentable (${opaque.map((o) => o.reason).join(', ')})`,
+        opaqueCount: opaque.length,
+        declarativeCount: declarative.length,
+    };
+}
+/** Episode contract removal probe: drop the recurrence window; does the finding change? */
+function probeEpisodeWindowRemoval() {
+    const trace = [tx(1, 'A', 'B'), tx(20, 'B', 'A')]; // timeout fixture
+    const withWindow = detectEpisodes(trace, episodeContract({ recurrenceWindow: 5 }), ['A', 'B']);
+    const withoutWindow = detectEpisodes(trace, episodeContract({ recurrenceWindow: Number.MAX_SAFE_INTEGER }), ['A', 'B']);
+    const changed = withWindow.episodes.length !== withoutWindow.episodes.length;
+    return { observed: `window=5 → ${withWindow.episodes.length} episode(s); window=∞ → ${withoutWindow.episodes.length}`, changed };
+}
+/** Coupling vs shared cause: is the distinction structural (threshold-independent)? */
+function probeCouplingVsSharedCause() {
+    const sharedCause = [tx(1, 'C', 'A'), tx(1, 'C', 'B')];
+    const permissive = detectEpisodes(sharedCause, episodeContract({ minimumInfluence: 0, coupling: { kind: 'direct-influence', minInfluence: 0 } }), ['A', 'B', 'C']);
+    const coupled = detectEpisodes([tx(1, 'A', 'B'), tx(2, 'B', 'A')], episodeContract(), ['A', 'B']);
+    const structural = permissive.episodes.length === 0 && coupled.episodes.length === 1;
+    return { observed: `shared-cause under the most permissive thresholds → ${permissive.episodes.length} episode(s); true coupling → ${coupled.episodes.length}`, structural };
+}
+/** Entity identity removal probe: anonymize participants; is attribution lost? */
+function probeEntityIdentityRemoval() {
+    const named = detectEpisodes([tx(1, 'A', 'B'), tx(2, 'B', 'A')], episodeContract(), ['A', 'B']);
+    const anon = detectEpisodes([tx(1, '', ''), tx(2, '', '')], episodeContract({ boundary: { participants: [''], start: 0, end: 100 } }), ['']);
+    const attributionLost = named.episodeParticipants.length === 2 && anon.episodeParticipants.length < 2;
+    return { observed: `named → participants [${named.episodeParticipants.join(',')}]; anonymized → [${anon.episodeParticipants.join(',')}]`, attributionLost };
+}
+// ── the ablation battery ─────────────────────────────────────────────────────
+export function runAblations() {
+    const records = [];
+    // A. Dynamics
+    const dyn = probeDynamicsSubstitution();
+    records.push({
+        element: 'Dynamics', form: 'substitution',
+        hypothesis: 'Dynamics cannot be collapsed entirely into declarative State.',
+        transformation: 'Replace lawful evolution with the declarative expression IR only (F1.5).',
+        fixture: 'F1.5 force corpus (9 categories)',
+        expectedDistinguishingCase: 'A law with hidden mutable state or host/callback dependence.',
+        observed: dyn.observed,
+        failedCapability: `${dyn.opaqueCount} laws have no declarative representation`,
+        preservedBehavior: `${dyn.declarativeCount} laws are fully representable as data`,
+        evidence: 'FORCE_CORPUS declarative===null partition',
+        classification: 'non-substitutable',
+        implication: 'Dynamics is NOT wholly substitutable by declarative State. Reducible only under restricted (declarative-region) worlds.',
+    });
+    records.push({
+        element: 'Dynamics', form: 'removal',
+        hypothesis: 'Removing Dynamics removes all lawful evolution.',
+        transformation: 'Delete the evolution element; retain State + Operations.',
+        fixture: 'World with entities and operations but no dynamics realization',
+        expectedDistinguishingCase: 'Any request to advance the world.',
+        observed: 'No transition can be produced; advance() has no realization to invoke.',
+        failedCapability: 'lawful evolution / advance',
+        evidence: 'DynamicsContract.advance is the only evolution path in the kernel',
+        classification: 'necessary-component',
+        implication: 'Dynamics is a necessary component of Θ — but its realization sits behind the contract boundary.',
+    });
+    records.push({
+        element: 'DynamicsContract', form: 'reconstruction',
+        hypothesis: 'The contract is an execution boundary, not a kernel primitive.',
+        transformation: 'Attempt to reconstruct the boundary from State + Operations alone.',
+        fixture: 'opaque-native field substrate + interpreted counter substrate (F1.3)',
+        expectedDistinguishingCase: 'Two substrates with different executionKind under one kernel.',
+        observed: 'The same kernel executes an opaque-native and an interpreted substrate without change; the boundary is what makes substrates interchangeable.',
+        preservedBehavior: 'substrate interchange',
+        evidence: 'F1.3 substrate-agnostic test (field + non-field contracts)',
+        classification: 'execution-boundary-only',
+        implication: 'DynamicsContract is retained as a runtime interface, NOT added to K as an eighth primitive.',
+    });
+    // B. Opportunity
+    for (const input of ['capability', 'authority', 'projection', 'reachability', 'history']) {
+        const p = probeOpportunityRemoval(input);
+        records.push({
+            element: `Ω_sys ← ${input}`, form: 'removal',
+            hypothesis: `Ω_sys requires ${input} as a lower input.`,
+            transformation: `Remove ${input} from the opportunity context.`,
+            fixture: 'opportunityBase all-pass fixture',
+            expectedDistinguishingCase: `A case where only ${input} determines the outcome.`,
+            observed: p.observed,
+            failedCapability: `failed predicates: ${p.failed}`,
+            evidence: 'evaluateOpportunity executed with and without the input',
+            classification: 'necessary-component',
+            implication: `${input} is a necessary lower structure for the Ω_sys derivation.`,
+        });
+    }
+    records.push({
+        element: 'Opportunity (Ω_sys)', form: 'reconstruction',
+        hypothesis: 'Ω_sys is derived, not primitive.',
+        transformation: 'Reconstruct Ω_sys from state, operations, capability, authority, projection, reachability, history.',
+        fixture: 'F1.6 fixture battery (10 negatives + all-pass)',
+        expectedDistinguishingCase: 'Any predicate that changes with a lower input.',
+        observed: 'Every predicate is computed from the listed lower structures; no residual is required.',
+        preservedBehavior: 'complete predicate set + evidence',
+        evidence: 'F1.6 evaluateOpportunity',
+        classification: 'derived-complete',
+        implication: 'Opportunity is removed from K₀ — fully replaced by its derivation.',
+    });
+    // C. Interaction / episode
+    const win = probeEpisodeWindowRemoval();
+    records.push({
+        element: 'Episode ← recurrence window', form: 'removal',
+        hypothesis: 'Episode findings are parameter-relative.',
+        transformation: 'Remove the recurrence window (set to unbounded).',
+        fixture: 'timeout fixture A→B@1, B→A@20',
+        expectedDistinguishingCase: 'A reply outside the declared window.',
+        observed: win.observed,
+        failedCapability: win.changed ? 'boundary-relative determinacy' : undefined,
+        evidence: 'detectEpisodes with window=5 vs window=∞',
+        classification: 'necessary-component',
+        implication: 'The detection contract is constitutive of the finding; episodes are conditional, never self-evident.',
+    });
+    const cvs = probeCouplingVsSharedCause();
+    records.push({
+        element: 'Coupling vs shared cause', form: 'substitution',
+        hypothesis: 'Coupling is structural, not a threshold artifact.',
+        transformation: 'Weaken thresholds to the most permissive setting and retest shared cause.',
+        fixture: 'C→A, C→B (shared cause) vs A→B, B→A (coupling)',
+        expectedDistinguishingCase: 'Shared cause under zero thresholds.',
+        observed: cvs.observed,
+        preservedBehavior: 'shared cause never becomes an episode',
+        evidence: 'detectEpisodes at minInfluence=0',
+        classification: 'non-substitutable',
+        implication: 'Directed from→to structure is required; thresholds alone cannot separate coupling from shared cause.',
+    });
+    records.push({
+        element: 'Interaction episode', form: 'reconstruction',
+        hypothesis: 'Candidate episodes are derived, not primitive.',
+        transformation: 'Reconstruct episodes from transitions + world participants + ⟨B,T,C,R,I⟩.',
+        fixture: 'F1.7 14-case adversarial battery',
+        expectedDistinguishingCase: 'Mediated and overlapping episodes.',
+        observed: 'All 14 adversarial cases reproduce their preregistered verdicts from transitions + contract alone.',
+        preservedBehavior: 'episode set, participants, bases, alternates',
+        evidence: 'F1.7 detectEpisodes',
+        classification: 'derived-conditional',
+        implication: 'Interaction is removed from K₀ — derived, but only relative to a declared detection contract.',
+    });
+    // D. Relations vs Operations
+    const rel = probeRelationReconstruction();
+    records.push({
+        element: 'Relations', form: 'collapse',
+        hypothesis: 'Relation structure may collapse into directed operations/transitions.',
+        transformation: 'Reconstruct relations from observed transition edges only.',
+        fixture: 'declared latent relation A→B (never exercised) + exercised A→C',
+        expectedDistinguishingCase: 'A persistent relation with no current transition.',
+        observed: rel.observed,
+        failedCapability: rel.latentLost ? 'latent/persistent relation semantics + relation type' : undefined,
+        preservedBehavior: 'observed interaction edges are reconstructible',
+        evidence: 'relationsFromTransitions over a trace lacking the latent edge',
+        classification: 'collapsible-with-loss',
+        implication: 'Relations are NOT eliminable: observed edges reconstruct, latent/typed relation semantics do not.',
+    });
+    const ops = probeOperationReconstruction();
+    records.push({
+        element: 'Operations', form: 'reconstruction',
+        hypothesis: 'Operations may be reconstructible from State + Dynamics + transitions.',
+        transformation: 'Derive the operation vocabulary from observed transitions only.',
+        fixture: 'declared operations {act, latent}; only act is invoked',
+        expectedDistinguishingCase: 'A latent operation never exercised.',
+        observed: ops.observed,
+        failedCapability: ops.latentLost ? 'available / invocable / latent operation vocabulary' : undefined,
+        preservedBehavior: 'invoked operations are reconstructible',
+        evidence: 'operationsFromTransitions over a trace lacking the latent op',
+        classification: 'non-substitutable',
+        implication: 'Operations are required to represent available and authorized change, not merely observed change.',
+    });
+    // E. Authority and Capability
+    const cap = probeCapabilityPermissionCollapse();
+    records.push({
+        element: 'Capability / Authority', form: 'collapse',
+        hypothesis: 'Capability and permission may collapse into one allowance flag.',
+        transformation: 'Replace the two predicates with allowed = capable && permitted.',
+        fixture: 'capable-not-permitted and permitted-not-capable',
+        expectedDistinguishingCase: 'Two worlds that differ only in which predicate fails.',
+        observed: cap.observed,
+        failedCapability: cap.lost ? 'which predicate failed (diagnosis + governance provenance)' : undefined,
+        evidence: 'evaluateOpportunity failedPredicates vs the collapsed conjunction',
+        classification: 'collapsible-with-loss',
+        implication: 'Kept distinct as typed constraints (ratified M1.5-04); neither becomes a kernel primitive.',
+    });
+    records.push({
+        element: 'Capability / Authority', form: 'removal',
+        hypothesis: 'They are typed constraints consumed by derivations, not standalone primitives.',
+        transformation: 'Remove each independently from the opportunity context.',
+        fixture: 'F1.6 removal probes',
+        expectedDistinguishingCase: 'capable unaffected when authority is removed, and vice versa.',
+        observed: 'Removing authority leaves capable intact; removing capability leaves permitted intact — the predicates are independent.',
+        preservedBehavior: 'independence of can vs may',
+        evidence: 'probeOpportunityRemoval(capability) and (authority)',
+        classification: 'necessary-component',
+        implication: 'Retained as operation constraints (typed predicates), not as K elements.',
+    });
+    // F. Projection
+    const proj = probeProjectionMateriality();
+    records.push({
+        element: 'Projection', form: 'collapse',
+        hypothesis: 'Projection may collapse into observation alone.',
+        transformation: 'Hold state constant; vary only the projection.',
+        fixture: 'same state, projection full vs reduced',
+        expectedDistinguishingCase: 'An operation exposed by one projection and hidden by another.',
+        observed: proj.observed,
+        failedCapability: proj.material ? 'exposure / signaling / operation availability under a projection' : undefined,
+        evidence: 'evaluateOpportunity under two projections over identical state',
+        classification: 'non-substitutable',
+        implication: 'Projection materially changes derivation results; it does NOT collapse into observation. Retained in K₀ as Π.',
+    });
+    // G. Entities / identity
+    const ent = probeEntityIdentityRemoval();
+    records.push({
+        element: 'Entities (identity)', form: 'removal',
+        hypothesis: 'Identity is required for attribution in every downstream derivation.',
+        transformation: 'Anonymize participant identity in the trace.',
+        fixture: 'A↔B reciprocal episode with identities erased',
+        expectedDistinguishingCase: 'Two participants that become indistinguishable.',
+        observed: ent.observed,
+        failedCapability: ent.attributionLost ? 'participant attribution (episode + opportunity)' : undefined,
+        evidence: 'detectEpisodes with named vs anonymized participants',
+        classification: 'representation-dependent',
+        implication: 'Identity is necessary; whether it is a separate element or a typed structure inside X is a representation choice.',
+    });
+    // Invariants
+    records.push({
+        element: 'Invariants', form: 'collapse',
+        hypothesis: 'Invariants may be collapsed into transition guards inside Dynamics.',
+        transformation: 'Install invariants as guards within the dynamics realization.',
+        fixture: 'opaque-native field substrate',
+        expectedDistinguishingCase: 'An opaque substrate that exposes no guard-installation point.',
+        observed: 'The field substrate declares inspectInternalState=false and declareTransitionLaw=false — the kernel cannot install guards inside it; invariants are checked OUTSIDE the substrate over a readable projection.',
+        failedCapability: 'guard installation inside an opaque substrate',
+        preservedBehavior: 'kernel-side invariant checking over a snapshot reading',
+        evidence: 'field contract capabilities + checkInvariantsAgainst',
+        classification: 'necessary-component',
+        implication: 'Invariants must remain kernel-side (V); they cannot be guards over Dynamics for opaque substrates.',
+    });
+    return records;
+}
+/** K  = ⟨Entities, State, Relations, Operations, Dynamics, Projection, Invariants⟩ */
+export const K_ELEMENTS = ['Entities', 'State', 'Relations', 'Operations', 'Dynamics', 'Projection', 'Invariants'];
+/** K₀ = ⟨X, Θ, Π, V⟩ — X carries typed entity/relation/operation structure. */
+export const K0_ELEMENTS = ['X (state incl. typed entities/relations/operations)', 'Θ (lawful evolution + admissible operations)', 'Π (projection)', 'V (validity/invariants)'];
+export function kernelComparison() {
+    return [
+        {
+            element: 'Entities', roleInK: 'identity-bearing participants', ablationResult: 'representation-dependent',
+            retainedInK0: true, reason: 'Identity is required for attribution in Ω_sys and episode detection; anonymization destroys it.',
+            derivationOrCounterexample: 'Anonymized trace loses participant attribution (probeEntityIdentityRemoval).',
+            confidence: 'high', remainingUncertainty: 'Hosting as a typed structure inside X vs a separate element is untested for large worlds.',
+        },
+        {
+            element: 'State', roleInK: 'world configuration', ablationResult: 'necessary-primitive',
+            retainedInK0: true, reason: 'Every derivation reads state; nothing reconstructs it.',
+            derivationOrCounterexample: 'No candidate derivation exists; removal disables all probes.',
+            confidence: 'high', remainingUncertainty: 'None within the tested domain.',
+        },
+        {
+            element: 'Relations', roleInK: 'typed structure between participants', ablationResult: 'collapsible-with-loss',
+            retainedInK0: true, reason: 'Observed edges reconstruct from transitions, but latent/persistent relations and relation TYPE do not.',
+            derivationOrCounterexample: 'Declared latent A→B never appears in any transition (probeRelationReconstruction).',
+            confidence: 'high', remainingUncertainty: 'Whether relation type can be carried as operation metadata instead of relation structure.',
+        },
+        {
+            element: 'Operations', roleInK: 'admissible/invocable change', ablationResult: 'non-substitutable',
+            retainedInK0: true, reason: 'Transitions record only invoked change; available, permitted, and latent operations are not recoverable.',
+            derivationOrCounterexample: 'Latent operation never invoked is absent from operationsFromTransitions.',
+            confidence: 'high', remainingUncertainty: 'Whether Operations fold into Θ as labeled transitions without loss (folded in K₀, untested at scale).',
+        },
+        {
+            element: 'Dynamics', roleInK: 'lawful evolution', ablationResult: 'non-substitutable',
+            retainedInK0: true, reason: 'Declarative substitution covers only part of the corpus; opaque laws remain (F1.5).',
+            derivationOrCounterexample: '3 of 11 corpus laws have no declarative representation (hidden state, host/callback, nonlinear time).',
+            confidence: 'high', remainingUncertainty: 'Whether a richer IR could absorb the opaque region without becoming JavaScript-as-data.',
+        },
+        {
+            element: 'Projection', roleInK: 'participant-relative access', ablationResult: 'non-substitutable',
+            retainedInK0: true, reason: 'Projection materially changes Ω_sys over identical state; it is not reducible to observation.',
+            derivationOrCounterexample: 'Same state, two projections → different availability (probeProjectionMateriality).',
+            confidence: 'high', remainingUncertainty: 'Whether the sub-roles (exposure vs signaling vs evidence access) need separate elements.',
+        },
+        {
+            element: 'Invariants', roleInK: 'validity predicates', ablationResult: 'necessary-component',
+            retainedInK0: true, reason: 'Cannot be installed as guards inside an opaque substrate; must be checked kernel-side.',
+            derivationOrCounterexample: 'Field substrate declares inspectInternalState=false, declareTransitionLaw=false.',
+            confidence: 'medium', remainingUncertainty: 'For fully declarative substrates, invariants MIGHT reduce to transition guards — untested.',
+        },
+        {
+            element: 'Opportunity (Ω_sys)', roleInK: 'candidate element (never ratified)', ablationResult: 'derived-complete',
+            retainedInK0: false, reason: 'Fully reconstructed from state, operations, capability, authority, projection, reachability, history.',
+            derivationOrCounterexample: 'Ω_sys = f(X, 𝒪, Cap, Auth, Reach, Π, H) — F1.6 executable derivation.',
+            confidence: 'high', remainingUncertainty: 'Participant-believed opportunity remains empirical and out of scope.',
+        },
+        {
+            element: 'Interaction episode', roleInK: 'candidate element (never ratified)', ablationResult: 'derived-conditional',
+            retainedInK0: false, reason: 'Derived from transitions + world participants under a declared detection contract.',
+            derivationOrCounterexample: 'F1.7 reproduces all 14 adversarial verdicts from transitions + ⟨B,T,C,R,I⟩.',
+            confidence: 'high', remainingUncertainty: 'Boundary justification is analytic/empirical, not runtime-decidable.',
+        },
+        {
+            element: 'Capability / Authority', roleInK: 'typed constraints (M1.5-04)', ablationResult: 'collapsible-with-loss',
+            retainedInK0: false, reason: 'Not kernel elements; typed predicates consumed by derivations. Collapsing the two loses diagnosis.',
+            derivationOrCounterexample: 'capable-not-permitted and permitted-not-capable are indistinguishable under a single allowance flag.',
+            confidence: 'high', remainingUncertainty: 'Delegated authority chains not modeled.',
+        },
+        {
+            element: 'DynamicsContract', roleInK: 'experimental runtime boundary', ablationResult: 'execution-boundary-only',
+            retainedInK0: false, reason: 'A runtime interface enabling substrate interchange, not a formal kernel element.',
+            derivationOrCounterexample: 'One kernel executes opaque-native and interpreted substrates unchanged (F1.3).',
+            confidence: 'high', remainingUncertainty: 'Whether opaque and declarative dynamics ultimately need separate contract types.',
+        },
+    ];
+}
+//# sourceMappingURL=ablation.js.map

package/dist/world/ablation/ablation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ablation.js","sourceRoot":"","sources":["../../../src/world/ablation/ablation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEpE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AAiCtE,gFAAgF;AAEhF,SAAS,eAAe,CAAC,YAAyC,EAAE;IAClE,OAAO;QACL,KAAK,EAAE,EAAE,QAAQ,EAAE,mBAAmB,CAAC,gBAAgB,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,EAAE;QAC5H,WAAW,EAAE,GAAG;QAChB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,iBAAiB,EAAE,CAAC,KAAK,CAAC,EAAE;QACvD,UAAU,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE;QAC/D,OAAO,EAAE,EAAE;QACX,YAAY,EAAE,CAAC,KAAK,CAAC;QACrB,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;QACxE,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,IAAgC,EAAE;IACzD,OAAO;QACL,QAAQ,EAAE,EAAE,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;QAC/D,SAAS,EAAE,CAAC;QACZ,QAAQ,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,YAAY,EAAE,CAAC,EAAE;QACvD,gBAAgB,EAAE,CAAC;QACnB,gBAAgB,EAAE,CAAC;QACnB,GAAG,CAAC;KACL,CAAC;AACJ,CAAC;AACD,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,EAAU,EAAE,SAAS,GAAG,CAAC,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;AAEnI,wFAAwF;AAExF,6FAA6F;AAC7F,MAAM,UAAU,wBAAwB,CAAC,KAA4B;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,yBAAyB,CAAC,KAA4B;IACpE,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5D,CAAC;AAED,gFAAgF;AAEhF,gGAAgG;AAChG,SAAS,uBAAuB,CAAC,KAA6E;IAC5G,MAAM,IAAI,GAAG,mBAAmB,CAAC,eAAe,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC;IACZ,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,YAAY;YAAE,OAAO,GAAG,mBAAmB,CAAC,eAAe,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAAC,MAAM;QACtG,KAAK,WAAW;YAAE,OAAO,GAAG,mBAAmB,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAAC,MAAM;QAClG,KAAK,YAAY;YAAE,OAAO,GAAG,mBAAmB,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAAC,MAAM;QAC3I,KAAK,cAAc;YAAE,OAAO,GAAG,mBAAmB,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,iBAAiB,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAAC,MAAM;QAC1I,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,CAAC,CAAoB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAChF,OAAO,GAAG,mBAAmB,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,iBAAiB,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YACpI,MAAM;QACR,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC;IAC3F,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC;IACpF,OAAO,EAAE,QAAQ,EAAE,sBAAsB,IAAI,CAAC,SAAS,uBAAuB,OAAO,CAAC,SAAS,aAAa,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC;AAClI,CAAC;AAED,yFAAyF;AACzF,SAAS,iCAAiC;IACxC,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3F,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,eAAe,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC9F,4EAA4E;IAC5E,MAAM,YAAY,GAChB,mBAAmB,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,WAAW,CAAC;QAC7E,mBAAmB,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IAC9E,oEAAoE;IACpE,MAAM,UAAU,GAAG,mBAAmB,CAAC,OAAO,IAAI,mBAAmB,CAAC,SAAS,CAAC;IAChF,MAAM,UAAU,GAAG,mBAAmB,CAAC,OAAO,IAAI,mBAAmB,CAAC,SAAS,CAAC;IAChF,MAAM,0BAA0B,GAAG,UAAU,KAAK,UAAU,CAAC;IAC7D,OAAO;QACL,QAAQ,EAAE,6BAA6B,YAAY,yBAAyB,UAAU,MAAM,UAAU,sBAAsB,0BAA0B,EAAE;QACxJ,IAAI,EAAE,YAAY,IAAI,0BAA0B;KACjD,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,SAAS,0BAA0B;IACjC,MAAM,IAAI,GAAG,mBAAmB,CAAC,eAAe,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,mBAAmB,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACzH,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,CAAC;IACrD,OAAO,EAAE,QAAQ,EAAE,2CAA2C,IAAI,CAAC,SAAS,OAAO,MAAM,CAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC;AACpH,CAAC;AAED,qFAAqF;AACrF,SAAS,2BAA2B;IAClC,MAAM,QAAQ,GAAoB;QAChC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,sCAAsC;QAC5E,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,kBAAkB;KAC1D,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAChC,MAAM,aAAa,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAChE,OAAO;QACL,QAAQ,EAAE,YAAY,QAAQ,CAAC,MAAM,6BAA6B,aAAa,CAAC,MAAM,2CAA2C,CAAC,UAAU,6BAA6B,CAAC,QAAQ,EAAE;QACpL,UAAU;KACX,CAAC;AACJ,CAAC;AAED,kGAAkG;AAClG,SAAS,4BAA4B;IACnC,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACnC,MAAM,KAAK,GAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9F,MAAM,aAAa,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACrD,OAAO,EAAE,QAAQ,EAAE,YAAY,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,mBAAmB,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,CAAC;AAC/I,CAAC;AAED,mFAAmF;AACnF,SAAS,yBAAyB;IAChC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;IACvE,OAAO;QACL,QAAQ,EAAE,wCAAwC,WAAW,CAAC,MAAM,IAAI,YAAY,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,0BAA0B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAChL,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,gBAAgB,EAAE,WAAW,CAAC,MAAM;KACrC,CAAC;AACJ,CAAC;AAED,2FAA2F;AAC3F,SAAS,yBAAyB;IAChC,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB;IACrE,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,eAAe,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/F,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,EAAE,eAAe,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACxH,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,KAAK,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC7E,OAAO,EAAE,QAAQ,EAAE,cAAc,UAAU,CAAC,QAAQ,CAAC,MAAM,2BAA2B,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC;AACnI,CAAC;AAED,uFAAuF;AACvF,SAAS,0BAA0B;IACjC,MAAM,WAAW,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,EAAE,eAAe,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACnK,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAClG,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;IACrF,OAAO,EAAE,QAAQ,EAAE,uDAAuD,UAAU,CAAC,QAAQ,CAAC,MAAM,gCAAgC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC;AAC9K,CAAC;AAED,kFAAkF;AAClF,SAAS,0BAA0B;IACjC,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,eAAe,CAAC,EAAE,QAAQ,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7I,MAAM,eAAe,GAAG,KAAK,CAAC,mBAAmB,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC;IACtG,OAAO,EAAE,QAAQ,EAAE,yBAAyB,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,eAAe,EAAE,CAAC;AAC9J,CAAC;AAED,gFAAgF;AAEhF,MAAM,UAAU,YAAY;IAC1B,MAAM,OAAO,GAAqB,EAAE,CAAC;IAErC,cAAc;IACd,MAAM,GAAG,GAAG,yBAAyB,EAAE,CAAC;IACxC,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc;QACzC,UAAU,EAAE,+DAA+D;QAC3E,cAAc,EAAE,0EAA0E;QAC1F,OAAO,EAAE,kCAAkC;QAC3C,0BAA0B,EAAE,8DAA8D;QAC1F,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,gBAAgB,EAAE,GAAG,GAAG,CAAC,WAAW,0CAA0C;QAC9E,iBAAiB,EAAE,GAAG,GAAG,CAAC,gBAAgB,uCAAuC;QACjF,QAAQ,EAAE,2CAA2C;QACrD,cAAc,EAAE,mBAAmB;QACnC,WAAW,EAAE,yHAAyH;KACvI,CAAC,CAAC;IACH,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS;QACpC,UAAU,EAAE,iDAAiD;QAC7D,cAAc,EAAE,0DAA0D;QAC1E,OAAO,EAAE,gEAAgE;QACzE,0BAA0B,EAAE,mCAAmC;QAC/D,QAAQ,EAAE,wEAAwE;QAClF,gBAAgB,EAAE,4BAA4B;QAC9C,QAAQ,EAAE,mEAAmE;QAC7E,cAAc,EAAE,qBAAqB;QACrC,WAAW,EAAE,iGAAiG;KAC/G,CAAC,CAAC;IACH,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,gBAAgB;QACnD,UAAU,EAAE,gEAAgE;QAC5E,cAAc,EAAE,oEAAoE;QACpF,OAAO,EAAE,sEAAsE;QAC/E,0BAA0B,EAAE,+DAA+D;QAC3F,QAAQ,EAAE,+IAA+I;QACzJ,iBAAiB,EAAE,uBAAuB;QAC1C,QAAQ,EAAE,4DAA4D;QACtE,cAAc,EAAE,yBAAyB;QACzC,WAAW,EAAE,6FAA6F;KAC3G,CAAC,CAAC;IAEH,iBAAiB;IACjB,KAAK,MAAM,KAAK,IAAI,CAAC,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc,EAAE,SAAS,CAAU,EAAE,CAAC;QAClG,MAAM,CAAC,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;QACzC,OAAO,CAAC,IAAI,CAAC;YACX,OAAO,EAAE,WAAW,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS;YAC5C,UAAU,EAAE,kBAAkB,KAAK,oBAAoB;YACvD,cAAc,EAAE,UAAU,KAAK,gCAAgC;YAC/D,OAAO,EAAE,kCAAkC;YAC3C,0BAA0B,EAAE,qBAAqB,KAAK,0BAA0B;YAChF,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,gBAAgB,EAAE,sBAAsB,CAAC,CAAC,MAAM,EAAE;YAClD,QAAQ,EAAE,yDAAyD;YACnE,cAAc,EAAE,qBAAqB;YACrC,WAAW,EAAE,GAAG,KAAK,2DAA2D;SACjF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,qBAAqB,EAAE,IAAI,EAAE,gBAAgB;QACtD,UAAU,EAAE,kCAAkC;QAC9C,cAAc,EAAE,qGAAqG;QACrH,OAAO,EAAE,gDAAgD;QACzD,0BAA0B,EAAE,gDAAgD;QAC5E,QAAQ,EAAE,wFAAwF;QAClG,iBAAiB,EAAE,mCAAmC;QACtD,QAAQ,EAAE,0BAA0B;QACpC,cAAc,EAAE,kBAAkB;QAClC,WAAW,EAAE,oEAAoE;KAClF,CAAC,CAAC;IAEH,2BAA2B;IAC3B,MAAM,GAAG,GAAG,yBAAyB,EAAE,CAAC;IACxC,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,6BAA6B,EAAE,IAAI,EAAE,SAAS;QACvD,UAAU,EAAE,0CAA0C;QACtD,cAAc,EAAE,kDAAkD;QAClE,OAAO,EAAE,+BAA+B;QACxC,0BAA0B,EAAE,sCAAsC;QAClE,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,gBAAgB,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,SAAS;QAC3E,QAAQ,EAAE,0CAA0C;QACpD,cAAc,EAAE,qBAAqB;QACrC,WAAW,EAAE,sGAAsG;KACpH,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,0BAA0B,EAAE,CAAC;IACzC,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,0BAA0B,EAAE,IAAI,EAAE,cAAc;QACzD,UAAU,EAAE,mDAAmD;QAC/D,cAAc,EAAE,2EAA2E;QAC3F,OAAO,EAAE,gDAAgD;QACzD,0BAA0B,EAAE,qCAAqC;QACjE,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,iBAAiB,EAAE,uCAAuC;QAC1D,QAAQ,EAAE,kCAAkC;QAC5C,cAAc,EAAE,mBAAmB;QACnC,WAAW,EAAE,sGAAsG;KACpH,CAAC,CAAC;IACH,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,qBAAqB,EAAE,IAAI,EAAE,gBAAgB;QACtD,UAAU,EAAE,gDAAgD;QAC5D,cAAc,EAAE,2EAA2E;QAC3F,OAAO,EAAE,kCAAkC;QAC3C,0BAA0B,EAAE,oCAAoC;QAChE,QAAQ,EAAE,oGAAoG;QAC9G,iBAAiB,EAAE,8CAA8C;QACjE,QAAQ,EAAE,qBAAqB;QAC/B,cAAc,EAAE,qBAAqB;QACrC,WAAW,EAAE,+FAA+F;KAC7G,CAAC,CAAC;IAEH,6BAA6B;IAC7B,MAAM,GAAG,GAAG,2BAA2B,EAAE,CAAC;IAC1C,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU;QACtC,UAAU,EAAE,uEAAuE;QACnF,cAAc,EAAE,4DAA4D;QAC5E,OAAO,EAAE,gEAAgE;QACzE,0BAA0B,EAAE,mDAAmD;QAC/E,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,sDAAsD,CAAC,CAAC,CAAC,SAAS;QACrG,iBAAiB,EAAE,gDAAgD;QACnE,QAAQ,EAAE,+DAA+D;QACzE,cAAc,EAAE,uBAAuB;QACvC,WAAW,EAAE,mGAAmG;KACjH,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,4BAA4B,EAAE,CAAC;IAC3C,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB;QAC7C,UAAU,EAAE,wEAAwE;QACpF,cAAc,EAAE,iEAAiE;QACjF,OAAO,EAAE,wDAAwD;QACjE,0BAA0B,EAAE,qCAAqC;QACjE,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,qDAAqD,CAAC,CAAC,CAAC,SAAS;QACpG,iBAAiB,EAAE,wCAAwC;QAC3D,QAAQ,EAAE,8DAA8D;QACxE,cAAc,EAAE,mBAAmB;QACnC,WAAW,EAAE,mGAAmG;KACjH,CAAC,CAAC;IAEH,8BAA8B;IAC9B,MAAM,GAAG,GAAG,iCAAiC,EAAE,CAAC;IAChD,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,wBAAwB,EAAE,IAAI,EAAE,UAAU;QACnD,UAAU,EAAE,iEAAiE;QAC7E,cAAc,EAAE,iEAAiE;QACjF,OAAO,EAAE,iDAAiD;QAC1D,0BAA0B,EAAE,uDAAuD;QACnF,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,4DAA4D,CAAC,CAAC,CAAC,SAAS;QACrG,QAAQ,EAAE,mEAAmE;QAC7E,cAAc,EAAE,uBAAuB;QACvC,WAAW,EAAE,4FAA4F;KAC1G,CAAC,CAAC;IACH,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,wBAAwB,EAAE,IAAI,EAAE,SAAS;QAClD,UAAU,EAAE,gFAAgF;QAC5F,cAAc,EAAE,yDAAyD;QACzE,OAAO,EAAE,qBAAqB;QAC9B,0BAA0B,EAAE,+DAA+D;QAC3F,QAAQ,EAAE,yHAAyH;QACnI,iBAAiB,EAAE,4BAA4B;QAC/C,QAAQ,EAAE,qDAAqD;QAC/D,cAAc,EAAE,qBAAqB;QACrC,WAAW,EAAE,0EAA0E;KACxF,CAAC,CAAC;IAEH,gBAAgB;IAChB,MAAM,IAAI,GAAG,0BAA0B,EAAE,CAAC;IAC1C,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU;QACvC,UAAU,EAAE,iDAAiD;QAC7D,cAAc,EAAE,gDAAgD;QAChE,OAAO,EAAE,wCAAwC;QACjD,0BAA0B,EAAE,+DAA+D;QAC3F,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,kEAAkE,CAAC,CAAC,CAAC,SAAS;QAChH,QAAQ,EAAE,gEAAgE;QAC1E,cAAc,EAAE,mBAAmB;QACnC,WAAW,EAAE,+GAA+G;KAC7H,CAAC,CAAC;IAEH,yBAAyB;IACzB,MAAM,GAAG,GAAG,0BAA0B,EAAE,CAAC;IACzC,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,qBAAqB,EAAE,IAAI,EAAE,SAAS;QAC/C,UAAU,EAAE,sEAAsE;QAClF,cAAc,EAAE,8CAA8C;QAC9D,OAAO,EAAE,+CAA+C;QACxD,0BAA0B,EAAE,iDAAiD;QAC7E,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,gBAAgB,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,iDAAiD,CAAC,CAAC,CAAC,SAAS;QACrG,QAAQ,EAAE,sDAAsD;QAChE,cAAc,EAAE,0BAA0B;QAC1C,WAAW,EAAE,mHAAmH;KACjI,CAAC,CAAC;IAEH,aAAa;IACb,OAAO,CAAC,IAAI,CAAC;QACX,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU;QACvC,UAAU,EAAE,qEAAqE;QACjF,cAAc,EAAE,+DAA+D;QAC/E,OAAO,EAAE,+BAA+B;QACxC,0BAA0B,EAAE,+DAA+D;QAC3F,QAAQ,EAAE,+MAA+M;QACzN,gBAAgB,EAAE,+CAA+C;QACjE,iBAAiB,EAAE,wDAAwD;QAC3E,QAAQ,EAAE,sDAAsD;QAChE,cAAc,EAAE,qBAAqB;QACrC,WAAW,EAAE,oGAAoG;KAClH,CAAC,CAAC;IAEH,OAAO,OAAO,CAAC;AACjB,CAAC;AAeD,sFAAsF;AACtF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,CAAU,CAAC;AAC5H,+EAA+E;AAC/E,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,qDAAqD,EAAE,8CAA8C,EAAE,gBAAgB,EAAE,yBAAyB,CAAU,CAAC;AAEzL,MAAM,UAAU,gBAAgB;IAC9B,OAAO;QACL;YACE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,+BAA+B,EAAE,cAAc,EAAE,0BAA0B;YACzG,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,iGAAiG;YAC7H,0BAA0B,EAAE,8EAA8E;YAC1G,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,2FAA2F;SACtI;QACD;YACE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,qBAAqB;YACvF,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,wDAAwD;YACpF,0BAA0B,EAAE,8DAA8D;YAC1F,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,gCAAgC;SAC3E;QACD;YACE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,sCAAsC,EAAE,cAAc,EAAE,uBAAuB;YAC9G,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,wGAAwG;YACpI,0BAA0B,EAAE,oFAAoF;YAChH,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,2FAA2F;SACtI;QACD;YACE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,6BAA6B,EAAE,cAAc,EAAE,mBAAmB;YAClG,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,0GAA0G;YACtI,0BAA0B,EAAE,0EAA0E;YACtG,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,uGAAuG;SAClJ;QACD;YACE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,mBAAmB;YACrF,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,qFAAqF;YACjH,0BAA0B,EAAE,uGAAuG;YACnI,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,yFAAyF;SACpI;QACD;YACE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,6BAA6B,EAAE,cAAc,EAAE,mBAAmB;YAClG,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,+FAA+F;YAC3H,0BAA0B,EAAE,oFAAoF;YAChH,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,0FAA0F;SACrI;QACD;YACE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,qBAAqB;YAC5F,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,wFAAwF;YACpH,0BAA0B,EAAE,kFAAkF;YAC9G,UAAU,EAAE,QAAQ,EAAE,oBAAoB,EAAE,4FAA4F;SACzI;QACD;YACE,OAAO,EAAE,qBAAqB,EAAE,OAAO,EAAE,oCAAoC,EAAE,cAAc,EAAE,kBAAkB;YACjH,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,uGAAuG;YACpI,0BAA0B,EAAE,wEAAwE;YACpG,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,sEAAsE;SACjH;QACD;YACE,OAAO,EAAE,qBAAqB,EAAE,OAAO,EAAE,oCAAoC,EAAE,cAAc,EAAE,qBAAqB;YACpH,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,oFAAoF;YACjH,0BAA0B,EAAE,6EAA6E;YACzG,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,sEAAsE;SACjH;QACD;YACE,OAAO,EAAE,wBAAwB,EAAE,OAAO,EAAE,6BAA6B,EAAE,cAAc,EAAE,uBAAuB;YAClH,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,oGAAoG;YACjI,0BAA0B,EAAE,sGAAsG;YAClI,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,yCAAyC;SACpF;QACD;YACE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,+BAA+B,EAAE,cAAc,EAAE,yBAAyB;YAChH,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,kFAAkF;YAC/G,0BAA0B,EAAE,gFAAgF;YAC5G,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,kFAAkF;SAC7H;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,56 @@
+import type { CompiledPattern } from '../../recipes/compile.ts';
+import type { FieldHandle } from '../../engine/types.ts';
+import type { WorldVersionEnvelope } from '../envelope.ts';
+import type { World } from '../world.ts';
+import type { DynamicsContract } from '../dynamics.ts';
+export interface FieldRuntimeMappingReport {
+    readonly preserved: readonly string[];
+    readonly transformed: readonly string[];
+    readonly omitted: readonly string[];
+}
+/** Translate a compiled pattern into a generic World, with an explicit preserved/transformed/omitted map. */
+export declare function worldFromCompiledPattern(compiled: CompiledPattern): {
+    world: World;
+    mapping: FieldRuntimeMappingReport;
+};
+interface FieldState {
+    readonly field: FieldHandle;
+    readonly tick: () => void;
+    readonly step: number;
+    readonly envelope: WorldVersionEnvelope;
+}
+export interface FieldAdvanceInput {
+    readonly steps?: number;
+}
+export interface FieldAdvanceOutput {
+    readonly steps: number;
+}
+/**
+ * Controlled construction inputs for the field substrate. Owned by the FIXTURE (F1.4), NOT the adapter,
+ * so a raw baseline and the adapted path can be built from identical inputs. The adapter is under test;
+ * it must not define or regenerate the baseline.
+ */
+export interface FieldConstruction {
+    readonly hostWidth: number;
+    readonly hostHeight: number;
+    /** Produces a FRESH identical PRNG stream on each call (raw and adapted paths must not share state). */
+    readonly makeRng: () => () => number;
+    /** Produces a FRESH identical clock on each call (controls `now`, so the wall clock is not an input). */
+    readonly makeNow: () => () => number;
+    readonly placement: (index: number) => {
+        readonly left: number;
+        readonly top: number;
+        readonly width: number;
+        readonly height: number;
+    };
+}
+export declare const DEFAULT_FIELD_CONSTRUCTION: FieldConstruction;
+/**
+ * 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 declare function fieldRuntimeDynamics(world: World, construction?: FieldConstruction): DynamicsContract<FieldState, FieldAdvanceInput, FieldAdvanceOutput>;
+export {};
+//# sourceMappingURL=field-runtime.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"field-runtime.d.ts","sourceRoot":"","sources":["../../../src/world/adapters/field-runtime.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,KAAK,EAAE,WAAW,EAAiB,MAAM,uBAAuB,CAAC;AAGxE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,KAAK,EAGV,KAAK,EAMN,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EACV,gBAAgB,EAOjB,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AA0BD,6GAA6G;AAC7G,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,eAAe,GACxB;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,yBAAyB,CAAA;CAAE,CAmDtD;AAwCD,UAAU,UAAU;IAClB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;CACzC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAkBD;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,wGAAwG;IACxG,QAAQ,CAAC,OAAO,EAAE,MAAM,MAAM,MAAM,CAAC;IACrC,yGAAyG;IACzG,QAAQ,CAAC,OAAO,EAAE,MAAM,MAAM,MAAM,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACzI;AAED,eAAO,MAAM,0BAA0B,EAAE,iBAYxC,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,KAAK,EACZ,YAAY,GAAE,iBAA8C,GAC3D,gBAAgB,CAAC,UAAU,EAAE,iBAAiB,EAAE,kBAAkB,CAAC,CAyFrE"}