@sensigo/realm-testing 0.38.0 → 0.40.0

package/dist/store/per-run-artifact-store-contract.js.map

@@ -1 +1 @@
-{"version":3,"file":"per-run-artifact-store-contract.js","sourceRoot":"","sources":["../../src/store/per-run-artifact-store-contract.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,oDAAoD;AACpD,EAAE;AACF,+FAA+F;AAC/F,4FAA4F;AAC5F,4FAA4F;AAC5F,wFAAwF;AACxF,2CAA2C;AAC3C,EAAE;AACF,+FAA+F;AAC/F,kGAAkG;AAClG,iGAAiG;AACjG,+FAA+F;AAC/F,iGAAiG;AACjG,+FAA+F;AAC/F,kGAAkG;AAClG,gGAAgG;AAChG,sBAAsB;AACtB,EAAE;AACF,sGAAsG;AACtG,8FAA8F;AAC9F,6FAA6F;AAC7F,mFAAmF;AACnF,EAAE;AACF,8DAA8D;AAC9D,6BAA6B;AAC7B,8CAA8C;AAC9C,wFAAwF;AACxF,8DAA8D;AAC9D,UAAU;AACV,MAAM;AACN,OAAO,EAAE,aAAa,EAA4B,MAAM,gBAAgB,CAAC;AAsCzE,MAAM,UAAU,2BAA2B,CACzC,OAA2C;IAE3C,OAAO;QACL;YACE,GAAG,EAAE,qBAAqB;YAC1B,IAAI,EAAE,0EAA0E;YAChF,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAC3D,CAAC;SACF;QACD;YACE,GAAG,EAAE,eAAe;YACpB,IAAI,EAAE,wFAAwF;YAC9F,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBAC/D,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,gCAAgC;YAClG,CAAC;SACF;QACD;YACE,GAAG,EAAE,oBAAoB;YACzB,IAAI,EAAE,4FAA4F;YAClG,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBACvD,IAAI,KAAK,GAAG,KAAK,CAAC;gBAClB,IAAI,CAAC;oBACH,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBACjE,CAAC;gBAAC,MAAM,CAAC;oBACP,KAAK,GAAG,IAAI,CAAC;gBACf,CAAC;gBACD,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,MAAM,IAAI,KAAK,CACb,8EAA8E;wBAC5E,6EAA6E,CAChF,CAAC;gBACJ,CAAC;YACH,CAAC;SACF;QACD;YACE,GAAG,EAAE,oBAAoB;YACzB,IAAI,EAAE,0EAA0E;YAChF,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBACvD,IAAI,MAAe,CAAC;gBACpB,IAAI,CAAC;oBACH,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;oBAC/D,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;gBACzE,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,MAAM,GAAG,GAAG,CAAC;gBACf,CAAC;gBACD,IAAI,CAAC,CAAC,MAAM,YAAY,aAAa,CAAC,EAAE,CAAC;oBACvC,MAAM,IAAI,GAAG,MAAM,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC;oBAC/E,MAAM,IAAI,KAAK,CAAC,4CAA4C,IAAI,EAAE,CAAC,CAAC;gBACtE,CAAC;gBACD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAChE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;gBAC5D,CAAC;gBACD,MAAM,QAAQ,GAAI,MAAM,CAAC,OAA8C,EAAE,QAAQ,CAAC;gBAClF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACtD,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;SACF;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"per-run-artifact-store-contract.js","sourceRoot":"","sources":["../../src/store/per-run-artifact-store-contract.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,oDAAoD;AACpD,EAAE;AACF,+FAA+F;AAC/F,4FAA4F;AAC5F,4FAA4F;AAC5F,wFAAwF;AACxF,2CAA2C;AAC3C,EAAE;AACF,+FAA+F;AAC/F,kGAAkG;AAClG,iGAAiG;AACjG,+FAA+F;AAC/F,iGAAiG;AACjG,+FAA+F;AAC/F,kGAAkG;AAClG,gGAAgG;AAChG,sBAAsB;AACtB,EAAE;AACF,sGAAsG;AACtG,8FAA8F;AAC9F,6FAA6F;AAC7F,mFAAmF;AACnF,EAAE;AACF,8DAA8D;AAC9D,6BAA6B;AAC7B,8CAA8C;AAC9C,wFAAwF;AACxF,8DAA8D;AAC9D,UAAU;AACV,MAAM;AACN,OAAO,EAAE,aAAa,EAA4B,MAAM,gBAAgB,CAAC;AAsDzE,MAAM,UAAU,2BAA2B,CACzC,OAA2C;IAE3C,OAAO;QACL;YACE,GAAG,EAAE,qBAAqB;YAC1B,IAAI,EAAE,0EAA0E;YAChF,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAC3D,CAAC;SACF;QACD;YACE,GAAG,EAAE,eAAe;YACpB,IAAI,EAAE,wFAAwF;YAC9F,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBAC/D,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,gCAAgC;YAClG,CAAC;SACF;QACD;YACE,GAAG,EAAE,oBAAoB;YACzB,IAAI,EAAE,4FAA4F;YAClG,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBACvD,IAAI,KAAK,GAAG,KAAK,CAAC;gBAClB,IAAI,CAAC;oBACH,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBACjE,CAAC;gBAAC,MAAM,CAAC;oBACP,KAAK,GAAG,IAAI,CAAC;gBACf,CAAC;gBACD,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,MAAM,IAAI,KAAK,CACb,8EAA8E;wBAC5E,6EAA6E,CAChF,CAAC;gBACJ,CAAC;YACH,CAAC;SACF;QACD;YACE,GAAG,EAAE,iBAAiB;YACtB,IAAI,EAAE,oFAAoF;YAC1F,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;gBAC9E,IAAI,YAAY,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;oBACrC,MAAM,IAAI,KAAK,CACb,4BAA4B,MAAM,CAAC,YAAY,CAAC,aAAa,CAAC,wBAAwB;wBACpF,+DAA+D,CAClE,CAAC;gBACJ,CAAC;gBACD,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;gBAC1E,IAAI,UAAU,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;oBAC3B,MAAM,IAAI,KAAK,CACb,0BAA0B,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,2BAA2B,CAC9E,CAAC;gBACJ,CAAC;gBAED,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;gBACvB,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBAChF,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;oBAC5B,MAAM,IAAI,KAAK,CACb,mFAAmF;wBACjF,gFAAgF,CACnF,CAAC;gBACJ,CAAC;gBACD,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBACpF,IAAI,CAAC,CAAC,YAAY,CAAC,aAAa,GAAG,CAAC,CAAC,EAAE,CAAC;oBACtC,MAAM,IAAI,KAAK,CACb,2EAA2E,CAC5E,CAAC;gBACJ,CAAC;YACH,CAAC;SACF;QACD;YACE,GAAG,EAAE,2BAA2B;YAChC,IAAI,EAAE,iFAAiF;YACvF,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,yFAAyF;gBACzF,sFAAsF;gBACtF,yFAAyF;gBACzF,4DAA4D;gBAC5D,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC;gBACvB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBAC7E,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBAC/E,IAAI,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;oBAC5C,MAAM,IAAI,KAAK,CACb,YAAY,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO;wBACpF,mFAAmF;wBACnF,2EAA2E;wBAC3E,oFAAoF;wBACpF,WAAW,CACd,CAAC;gBACJ,CAAC;YACH,CAAC;SACF;QACD;YACE,GAAG,EAAE,oBAAoB;YACzB,IAAI,EAAE,0EAA0E;YAChF,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBACvD,IAAI,MAAe,CAAC;gBACpB,IAAI,CAAC;oBACH,MAAM,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;oBAC/D,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;gBACzE,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,MAAM,GAAG,GAAG,CAAC;gBACf,CAAC;gBACD,IAAI,CAAC,CAAC,MAAM,YAAY,aAAa,CAAC,EAAE,CAAC;oBACvC,MAAM,IAAI,GAAG,MAAM,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC;oBAC/E,MAAM,IAAI,KAAK,CAAC,4CAA4C,IAAI,EAAE,CAAC,CAAC;gBACtE,CAAC;gBACD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAChE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;gBAC5D,CAAC;gBACD,MAAM,QAAQ,GAAI,MAAM,CAAC,OAA8C,EAAE,QAAQ,CAAC;gBAClF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACtD,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;SACF;KACF,CAAC;AACJ,CAAC"}

package/dist/store/run-store-fidelity-contract.d.ts

@@ -1,6 +1,8 @@
 import { type RunStore, type WorkflowDefinition } from '@sensigo/realm';
 /** One of the two laws every `RunStore` implementation should be run against (issue #188). */
-export type RunStoreFidelityLaw = 'FIDELITY_HONESTY' | 'CLAIM_SINGLE_OWNER';
+export type RunStoreFidelityLaw = 'FIDELITY_HONESTY' | 'CLAIM_SINGLE_OWNER'
+/** issue #367 — the seal arm survives a proper terminal write byte-for-byte. */
+ | 'SEALED_BY_ROUNDTRIP';
 /**
  * A single, framework-agnostic contract case. `run()` throws (rejects) on failure — any test
  * framework's `await run()` (rejecting fails the test) or `expect(run()).resolves...` /

package/dist/store/run-store-fidelity-contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"run-store-fidelity-contract.d.ts","sourceRoot":"","sources":["../../src/store/run-store-fidelity-contract.ts"],"names":[],"mappings":"AAcA,OAAO,EAEL,KAAK,QAAQ,EAGb,KAAK,kBAAkB,EACxB,MAAM,gBAAgB,CAAC;AAExB,8FAA8F;AAC9F,MAAM,MAAM,mBAAmB,GAAG,kBAAkB,GAAG,oBAAoB,CAAC;AAE5E;;;;GAIG;AACH,MAAM,WAAW,4BAA4B;IAC3C,GAAG,EAAE,mBAAmB,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1B;AAED,oGAAoG;AACpG,MAAM,WAAW,+BAA+B;IAC9C,4BAA4B;IAC5B,KAAK,EAAE,QAAQ,CAAC;IAChB;;;;OAIG;IACH,UAAU,EAAE,kBAAkB,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC;CAClB;AAwDD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,+BAA+B,GACvC,4BAA4B,EAAE,CAoEhC"}
+{"version":3,"file":"run-store-fidelity-contract.d.ts","sourceRoot":"","sources":["../../src/store/run-store-fidelity-contract.ts"],"names":[],"mappings":"AAcA,OAAO,EAEL,KAAK,QAAQ,EAGb,KAAK,kBAAkB,EACxB,MAAM,gBAAgB,CAAC;AAExB,8FAA8F;AAC9F,MAAM,MAAM,mBAAmB,GAC3B,kBAAkB,GAClB,oBAAoB;AACtB,gFAAgF;GAC9E,qBAAqB,CAAC;AAE1B;;;;GAIG;AACH,MAAM,WAAW,4BAA4B;IAC3C,GAAG,EAAE,mBAAmB,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1B;AAED,oGAAoG;AACpG,MAAM,WAAW,+BAA+B;IAC9C,4BAA4B;IAC5B,KAAK,EAAE,QAAQ,CAAC;IAChB;;;;OAIG;IACH,UAAU,EAAE,kBAAkB,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC;CAClB;AA4DD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,+BAA+B,GACvC,4BAA4B,EAAE,CA2GhC"}

package/dist/store/run-store-fidelity-contract.js

@@ -27,6 +27,10 @@ import { WorkflowError, } from '@sensigo/realm';
  * see that file's own header for why it needs no edit).
  */
 const SAMPLE_VALUES = {
+    // issue #367: present so the closed-map compile check stays satisfied. The GENERIC loop below
+    // deliberately skips this field — see SEALED_BY_ROUNDTRIP for why writing it the generic way
+    // would violate the boundary it shares a package with.
+    sealed_by: { arm: 'complete' },
     capability_blocks: {
         'tck-step': {
             requirement: { kind: 'handler', name: 'tck-handler' },
@@ -91,6 +95,13 @@ export function runStoreFidelityContract(adapter) {
     const cases = [];
     const declaredFields = adapter.store.persistedRunRecordFields ?? new Set();
     for (const field of declaredFields) {
+        // issue #367: `sealed_by` cannot ride the generic loop. That loop writes its sample onto a
+        // LIVE record, and a live record carrying a seal is an orphan — the store boundary refuses it
+        // (STATE_SEAL_ORPHANED), so the case would red for a reason that has nothing to do with
+        // fidelity. It gets the dedicated SEALED_BY_ROUNDTRIP case below, which seals the run properly
+        // first and then asserts the arm survives byte-for-byte.
+        if (field === 'sealed_by')
+            continue;
         cases.push({
             law: 'FIDELITY_HONESTY',
             name: `a store declaring '${field}' actually round-trips it (create → update → get)`,
@@ -114,6 +125,36 @@ export function runStoreFidelityContract(adapter) {
             },
         });
     }
+    if (declaredFields.has('sealed_by')) {
+        cases.push({
+            law: 'SEALED_BY_ROUNDTRIP',
+            name: 'a store declaring sealed_by round-trips the seal arm through a PROPER terminal write',
+            run: async () => {
+                const { run } = await adapter.store.create({
+                    workflowId: 'tck-fidelity-sealed-by',
+                    workflowVersion: 1,
+                    params: {},
+                });
+                // A real seal: terminal_state and sealed_by in the same write, exactly as every engine
+                // seal site does it.
+                await adapter.store.update({
+                    ...run,
+                    completed_steps: ['tck-step'],
+                    terminal_state: true,
+                    sealed_by: { arm: 'complete', step: 'tck-step' },
+                    terminal_reason: 'Workflow completed.',
+                });
+                const reread = await adapter.store.get(run.id);
+                const wrote = JSON.stringify({ arm: 'complete', step: 'tck-step' });
+                const read = JSON.stringify(reread.sealed_by);
+                if (read !== wrote) {
+                    throw new Error(`store declares persistedRunRecordFields includes 'sealed_by' but a terminal ` +
+                        `round-trip did NOT preserve it — the run's recorded outcome silently changed ` +
+                        `(issue #367). wrote: ${wrote}, read back: ${read}`);
+                }
+            },
+        });
+    }
     cases.push({
         law: 'CLAIM_SINGLE_OWNER',
         name: 'two concurrent claimStep calls for the same (runId, step) — exactly one succeeds',

package/dist/store/run-store-fidelity-contract.js.map

@@ -1 +1 @@
-{"version":3,"file":"run-store-fidelity-contract.js","sourceRoot":"","sources":["../../src/store/run-store-fidelity-contract.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,kFAAkF;AAClF,EAAE;AACF,+FAA+F;AAC/F,8FAA8F;AAC9F,6FAA6F;AAC7F,kGAAkG;AAClG,aAAa;AACb,EAAE;AACF,6FAA6F;AAC7F,8FAA8F;AAC9F,kGAAkG;AAClG,+FAA+F;AAC/F,wFAAwF;AACxF,OAAO,EACL,aAAa,GAKd,MAAM,gBAAgB,CAAC;AA6BxB;;;;;;;;;;;;GAYG;AACH,MAAM,aAAa,GAEf;IACF,iBAAiB,EAAE;QACjB,UAAU,EAAE;YACV,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE;YACrD,IAAI,EAAE,+BAA+B;YACrC,EAAE,EAAE,0BAA0B;SAC/B;KACF;IACD,0BAA0B,EAAE;QAC1B,SAAS,EAAE;YACT,WAAW,EAAE,gBAAgB;YAC7B,OAAO,EAAE,OAAO;YAChB,YAAY,EAAE,kEAAkE;YAChF,SAAS,EAAE,0BAA0B;SACtC;KACF;IACD,kBAAkB,EAAE;QAClB;YACE,WAAW,EAAE,0BAA0B;YACvC,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ,KAAK,EAAE,EAAE;gBACT,KAAK,EAAE,WAAW;gBAClB,UAAU,EAAE,CAAC;gBACb,WAAW,EAAE,CAAC;gBACd,SAAS,EAAE,kEAAkE;gBAC7E,SAAS,EAAE,KAAK;aACjB;YACD,QAAQ,EAAE,aAAa;SACxB;KACF;IACD,qBAAqB,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE;IACxC,eAAe,EAAE,CAAC,UAAU,CAAC;IAC7B,8FAA8F;IAC9F,sFAAsF;IACtF,OAAO,EAAE,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,oBAAoB,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE;IAC7E,gBAAgB,EAAE,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE;CACtE,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAAwC;IAExC,MAAM,KAAK,GAAmC,EAAE,CAAC;IAEjD,MAAM,cAAc,GAClB,OAAO,CAAC,KAAK,CAAC,wBAAwB,IAAI,IAAI,GAAG,EAA6B,CAAC;IACjF,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC;YACT,GAAG,EAAE,kBAAkB;YACvB,IAAI,EAAE,sBAAsB,KAAK,mDAAmD;YACpF,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;oBACzC,UAAU,EAAE,gBAAgB,KAAK,EAAE;oBACnC,eAAe,EAAE,CAAC;oBAClB,MAAM,EAAE,EAAE;iBACX,CAAC,CAAC;gBACH,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;gBACzC,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;gBAC7D,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC/C,MAAM,MAAM,GAAI,MAA6C,CAAC,KAAK,CAAC,CAAC;gBACrE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;gBAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBACxC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,MAAM,IAAI,KAAK,CACb,qDAAqD,KAAK,yBAAyB;wBACjF,4EAA4E;wBAC5E,GAAG,SAAS,gBAAgB,QAAQ,EAAE,CACzC,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,IAAI,CAAC;QACT,GAAG,EAAE,oBAAoB;QACzB,IAAI,EAAE,kFAAkF;QACxF,GAAG,EAAE,KAAK,IAAI,EAAE;YACd,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;gBACzC,UAAU,EAAE,aAAa,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;gBAC9D,eAAe,EAAE,CAAC;gBAClB,MAAM,EAAE,EAAE;aACX,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC;gBACvC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC;gBACrE,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC;aACtE,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;YAClE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAA8B,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;YAC5F,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,uFAAuF;oBACrF,gBAAgB,SAAS,CAAC,MAAM,oDAAoD;oBACpF,6FAA6F,CAChG,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,GAAG,GAAY,CAAC,CAAC,MAAM,CAAC;gBAC9B,IAAI,CAAC,CAAC,GAAG,YAAY,aAAa,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,4BAA4B,EAAE,CAAC;oBACjF,MAAM,SAAS,GAAG,GAAG,YAAY,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACxE,MAAM,IAAI,KAAK,CACb,kFAAkF;wBAChF,oCAAoC,SAAS,EAAE,CAClD,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"run-store-fidelity-contract.js","sourceRoot":"","sources":["../../src/store/run-store-fidelity-contract.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,kFAAkF;AAClF,EAAE;AACF,+FAA+F;AAC/F,8FAA8F;AAC9F,6FAA6F;AAC7F,kGAAkG;AAClG,aAAa;AACb,EAAE;AACF,6FAA6F;AAC7F,8FAA8F;AAC9F,kGAAkG;AAClG,+FAA+F;AAC/F,wFAAwF;AACxF,OAAO,EACL,aAAa,GAKd,MAAM,gBAAgB,CAAC;AAiCxB;;;;;;;;;;;;GAYG;AACH,MAAM,aAAa,GAEf;IACF,8FAA8F;IAC9F,6FAA6F;IAC7F,uDAAuD;IACvD,SAAS,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE;IAC9B,iBAAiB,EAAE;QACjB,UAAU,EAAE;YACV,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE;YACrD,IAAI,EAAE,+BAA+B;YACrC,EAAE,EAAE,0BAA0B;SAC/B;KACF;IACD,0BAA0B,EAAE;QAC1B,SAAS,EAAE;YACT,WAAW,EAAE,gBAAgB;YAC7B,OAAO,EAAE,OAAO;YAChB,YAAY,EAAE,kEAAkE;YAChF,SAAS,EAAE,0BAA0B;SACtC;KACF;IACD,kBAAkB,EAAE;QAClB;YACE,WAAW,EAAE,0BAA0B;YACvC,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ,KAAK,EAAE,EAAE;gBACT,KAAK,EAAE,WAAW;gBAClB,UAAU,EAAE,CAAC;gBACb,WAAW,EAAE,CAAC;gBACd,SAAS,EAAE,kEAAkE;gBAC7E,SAAS,EAAE,KAAK;aACjB;YACD,QAAQ,EAAE,aAAa;SACxB;KACF;IACD,qBAAqB,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE;IACxC,eAAe,EAAE,CAAC,UAAU,CAAC;IAC7B,8FAA8F;IAC9F,sFAAsF;IACtF,OAAO,EAAE,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,oBAAoB,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE;IAC7E,gBAAgB,EAAE,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE;CACtE,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAAwC;IAExC,MAAM,KAAK,GAAmC,EAAE,CAAC;IAEjD,MAAM,cAAc,GAClB,OAAO,CAAC,KAAK,CAAC,wBAAwB,IAAI,IAAI,GAAG,EAA6B,CAAC;IACjF,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACnC,2FAA2F;QAC3F,8FAA8F;QAC9F,wFAAwF;QACxF,+FAA+F;QAC/F,yDAAyD;QACzD,IAAI,KAAK,KAAK,WAAW;YAAE,SAAS;QACpC,KAAK,CAAC,IAAI,CAAC;YACT,GAAG,EAAE,kBAAkB;YACvB,IAAI,EAAE,sBAAsB,KAAK,mDAAmD;YACpF,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;oBACzC,UAAU,EAAE,gBAAgB,KAAK,EAAE;oBACnC,eAAe,EAAE,CAAC;oBAClB,MAAM,EAAE,EAAE;iBACX,CAAC,CAAC;gBACH,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;gBACzC,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;gBAC7D,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC/C,MAAM,MAAM,GAAI,MAA6C,CAAC,KAAK,CAAC,CAAC;gBACrE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;gBAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBACxC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,MAAM,IAAI,KAAK,CACb,qDAAqD,KAAK,yBAAyB;wBACjF,4EAA4E;wBAC5E,GAAG,SAAS,gBAAgB,QAAQ,EAAE,CACzC,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC;YACT,GAAG,EAAE,qBAAqB;YAC1B,IAAI,EAAE,sFAAsF;YAC5F,GAAG,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;oBACzC,UAAU,EAAE,wBAAwB;oBACpC,eAAe,EAAE,CAAC;oBAClB,MAAM,EAAE,EAAE;iBACX,CAAC,CAAC;gBACH,uFAAuF;gBACvF,qBAAqB;gBACrB,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;oBACzB,GAAG,GAAG;oBACN,eAAe,EAAE,CAAC,UAAU,CAAC;oBAC7B,cAAc,EAAE,IAAI;oBACpB,SAAS,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChD,eAAe,EAAE,qBAAqB;iBACvC,CAAC,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;gBACpE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;gBAC9C,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;oBACnB,MAAM,IAAI,KAAK,CACb,8EAA8E;wBAC5E,+EAA+E;wBAC/E,wBAAwB,KAAK,gBAAgB,IAAI,EAAE,CACtD,CAAC;gBACJ,CAAC;YACH,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,IAAI,CAAC;QACT,GAAG,EAAE,oBAAoB;QACzB,IAAI,EAAE,kFAAkF;QACxF,GAAG,EAAE,KAAK,IAAI,EAAE;YACd,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;gBACzC,UAAU,EAAE,aAAa,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;gBAC9D,eAAe,EAAE,CAAC;gBAClB,MAAM,EAAE,EAAE;aACX,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC;gBACvC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC;gBACrE,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC;aACtE,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;YAClE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAA8B,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;YAC5F,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,uFAAuF;oBACrF,gBAAgB,SAAS,CAAC,MAAM,oDAAoD;oBACpF,6FAA6F,CAChG,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,GAAG,GAAY,CAAC,CAAC,MAAM,CAAC;gBAC9B,IAAI,CAAC,CAAC,GAAG,YAAY,aAAa,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,4BAA4B,EAAE,CAAC;oBACjF,MAAM,SAAS,GAAG,GAAG,YAAY,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACxE,MAAM,IAAI,KAAK,CACb,kFAAkF;wBAChF,oCAAoC,SAAS,EAAE,CAClD,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/store/settlement-contract.d.ts

@@ -1,4 +1,4 @@
-import { type RunStore, type WorkflowDefinition, type StepDefinition } from '@sensigo/realm';
+import { type RunStore, type RunRecord, type WorkflowDefinition, type StepDefinition } from '@sensigo/realm';
 /** One of the PR-A-runnable settlement laws (design record §8, narrowed to the PR-A subset named
  *  in the hand-off prompt's D4 section — see this module's own header). */
 export type SettlementLaw = 'FRESH_APPLICATION' | 'CONDITIONAL_NOOP' | 'CONDITIONAL_NOOP_GRANDFATHERED' | 'OWNERSHIP_REFUSAL' | 'LEDGER_MINT_ATOMICITY' | 'DRAIN_MARK_DEDUP' | 'TERMINAL_REFUSAL' | 'TERMINAL_STATE_ONLY' | 'CS_PURITY' | 'NEVER_DOWNGRADE' | 'SETTLE_OUTCOME_INTEGRITY' | 'SETTLED_ORPHAN_OVERWRITE' | 'TRANSFORM_FIDELITY' | 'RESULT_AS_APPLIED' | 'MARK_MEMBERSHIP' | 'REFUSAL_SWEEP' | 'MINT_FRESH' | 'SELF_IMAGE_IDEMPOTENCE' | 'TERMINAL_GATE_EXCLUSION' | 'COMPLETE_SEAL_PHASE' | 'WHEN_ROUTED_TERMINALIZATION' | 'G1_GATE_COEXISTENCE' | 'GATE_OPEN_IDEMPOTENT' | 'GATE_RESOLUTION_CONFLICT' | 'GATE_MISMATCH' | 'GUARD_OUTCOME_DIVERGENCE' | 'GUARD_WAITS_ON_OPEN_GATE' | 'GUARD_PASS_COMPLETE_OUTCOME' | 'GUARD_ABORT_CASCADE' | 'GUARD_NO_ENTRY' | 'RELEASE_IDEMPOTENT'
@@ -14,6 +14,35 @@ export type SettlementLaw = 'FRESH_APPLICATION' | 'CONDITIONAL_NOOP' | 'CONDITIO
 /** The new trigger never over-fires: a CLEAN complete (no `failed_steps`) does not select it;
  *  a PURE fail seal (never reaches `complete`) does not select it either. */
  | 'CWFS_NEGATIVES'
+/** issue #367 — a fresh seal (non-terminal → terminal write) that names no arm is REFUSED
+ *  (`STATE_SEAL_UNSTAMPED`). Transition-scoped: re-writing an already-terminal legacy record
+ *  passes untouched, which is what keeps the pre-#367 population usable. */
+ | 'SEAL_FRESH_WRITE_REFUSED'
+/** issue #367 — a terminal → live write that RETAINS the seal is REFUSED
+ *  (`STATE_SEAL_ORPHANED`): every resume/strip path must drop the fact in the same write. */
+ | 'SEAL_ORPHAN_REFUSED'
+/** issue #367 — a terminal rewrite that DROPS a stored seal is REFUSED (`STATE_SEAL_ERASED`),
+ *  so a field-enumerating rewriter cannot silently drain the stamped population back to prose. */
+ | 'SEAL_ERASE_REFUSED'
+/** issue #367 — an arm outside `SEAL_ARMS` never persists (`STATE_SEAL_UNKNOWN_ARM`). */
+ | 'SEAL_UNKNOWN_ARM_REFUSED'
+/** issue #367 part 3 — `stampSeal` leaves `updated_at` byte-identical. Stamping is not
+ *  activity, and the retention clock must not move because a migration ran. */
+ | 'STAMP_PRESERVES_UPDATED_AT'
+/** issue #367 part 3 — `stampSeal` bumps `version` exactly once, so a writer holding a
+ *  pre-stamp snapshot loses its CAS instead of silently erasing the stamp. */
+ | 'STAMP_BUMPS_VERSION_ONCE'
+/** issue #367 part 3 — a stale `expectedVersion` THROWS `STATE_SNAPSHOT_MISMATCH`. */
+ | 'STAMP_REFUSES_ON_VERSION_MOVE'
+/** issue #367 part 3 — predicate refusals RETURN. A throw-shaped implementation fails. */
+ | 'STAMP_RETURNS_NOT_THROWS_PREDICATES'
+/** issue #367 part 3 — re-stamping is byte-identical: no second write, no clock move. */
+ | 'STAMP_IDEMPOTENT'
+/** issue #367 part 3 — a `classified: true` stamp survives write → read byte-for-byte, so a
+ *  classifier-minted stamp stays distinguishable from a writer-asserted one forever. */
+ | 'STAMP_CLASSIFIED_ROUNDTRIP'
+/** issue #367 part 3 — a stored arm may not be CHANGED while the run stays terminal. */
+ | 'SEAL_REWRITE_REFUSED'
 /** Uniform-predicate pin (design record M1): a second-epoch complete seal whose ONLY
  *  `failed_steps` scar is a PRIOR epoch's finalizer self-failure (unresumable, so it never
  *  leaves `failed_steps`) still fires — no exclusion of finalizer-declared step names. */
@@ -100,6 +129,15 @@ export interface SettlementContractAdapter {
      * shapes may supply its own.
      */
     settlementFixture?: SettlementFixture;
+    /**
+     * Issue #367 (part 3): raw-seed an UNSTAMPED terminal record and return it — the shape the
+     * migration vehicle actually meets, and one the store's own boundary would refuse if written
+     * through it. Each store supplies its sanctioned channel (a direct file write, a direct map
+     * insert). The ADAPTER_WIRING idiom applies: a `stampSeal`-declaring store that omits this gets
+     * a failing wiring case rather than a silent pass, because the stamp laws' SUCCESS legs are
+     * unobservable without it — and a store that never writes at all would otherwise conform.
+     */
+    seedLegacyTerminal?: (id: string) => Promise<RunRecord>;
 }
 /** Default settlement fixture — builds minimal agent-step / finalizer-step / guard-step
  *  definitions with no store-specific requirements beyond `RunStore.create` never validating

package/dist/store/settlement-contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"settlement-contract.d.ts","sourceRoot":"","sources":["../../src/store/settlement-contract.ts"],"names":[],"mappings":"AAoBA,OAAO,EAGL,KAAK,QAAQ,EAEb,KAAK,kBAAkB,EACvB,KAAK,cAAc,EAKpB,MAAM,gBAAgB,CAAC;AAExB;2EAC2E;AAC3E,MAAM,MAAM,aAAa,GACrB,mBAAmB,GACnB,kBAAkB,GAClB,gCAAgC,GAChC,mBAAmB,GACnB,uBAAuB,GACvB,kBAAkB,GAClB,kBAAkB,GAClB,qBAAqB,GACrB,WAAW,GACX,iBAAiB,GACjB,0BAA0B,GAC1B,0BAA0B,GAC1B,oBAAoB,GACpB,mBAAmB,GACnB,iBAAiB,GACjB,eAAe,GACf,YAAY,GACZ,wBAAwB,GACxB,yBAAyB,GACzB,qBAAqB,GACrB,6BAA6B,GAC7B,qBAAqB,GAGrB,sBAAsB,GACtB,0BAA0B,GAC1B,eAAe,GACf,0BAA0B,GAC1B,0BAA0B,GAC1B,6BAA6B,GAC7B,qBAAqB,GACrB,gBAAgB,GAChB,oBAAoB;AACtB;;+BAE+B;GAC7B,oBAAoB;AAEtB;;;yCAGyC;GACvC,oBAAoB;AACtB;6EAC6E;GAC3E,gBAAgB;AAClB;;0FAE0F;GACxF,mBAAmB;AACrB;;;yFAGyF;GACvF,iBAAiB;AACnB;;;4FAG4F;GAC1F,yBAAyB;AAK3B;;;;8BAI8B;GAC5B,mBAAmB;AACrB;;;iEAGiE;GAC/D,sBAAsB;AACxB;;;;2BAI2B;GACzB,wBAAwB;AAC1B;;yDAEyD;GACvD,gBAAgB,CAAC;AAErB;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,aAAa,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,2FAA2F;IAC3F,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,kBAAkB,CAAC;IAC3D,sFAAsF;IACtF,aAAa,CACX,GAAG,EAAE,kBAAkB,EACvB,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,WAAW,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC,GACnD,kBAAkB,CAAC;IACtB;;;;;;;OAOG;IACH,SAAS,CAAC,CACR,GAAG,EAAE,kBAAkB,EACvB,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,MAAM,GAAG,MAAM,EAAE,EAC9B,IAAI,CAAC,EAAE;QAAE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,GAC/B,kBAAkB,CAAC;CACvB;AAED,oGAAoG;AACpG,MAAM,WAAW,yBAAyB;IACxC;;sEAEkE;IAClE,KAAK,EAAE,QAAQ,CAAC;IAChB,oFAAoF;IACpF,SAAS,EAAE,MAAM,CAAC;IAClB;;;;;;;OAOG;IACH,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC;AA+DD;;;uEAGuE;AACvE,eAAO,MAAM,wBAAwB,EAAE,iBAItC,CAAC;AAu7HF;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,yBAAyB,GAAG,sBAAsB,EAAE,CA2D/F"}
+{"version":3,"file":"settlement-contract.d.ts","sourceRoot":"","sources":["../../src/store/settlement-contract.ts"],"names":[],"mappings":"AAoBA,OAAO,EAGL,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,kBAAkB,EACvB,KAAK,cAAc,EAKpB,MAAM,gBAAgB,CAAC;AAExB;2EAC2E;AAC3E,MAAM,MAAM,aAAa,GACrB,mBAAmB,GACnB,kBAAkB,GAClB,gCAAgC,GAChC,mBAAmB,GACnB,uBAAuB,GACvB,kBAAkB,GAClB,kBAAkB,GAClB,qBAAqB,GACrB,WAAW,GACX,iBAAiB,GACjB,0BAA0B,GAC1B,0BAA0B,GAC1B,oBAAoB,GACpB,mBAAmB,GACnB,iBAAiB,GACjB,eAAe,GACf,YAAY,GACZ,wBAAwB,GACxB,yBAAyB,GACzB,qBAAqB,GACrB,6BAA6B,GAC7B,qBAAqB,GAGrB,sBAAsB,GACtB,0BAA0B,GAC1B,eAAe,GACf,0BAA0B,GAC1B,0BAA0B,GAC1B,6BAA6B,GAC7B,qBAAqB,GACrB,gBAAgB,GAChB,oBAAoB;AACtB;;+BAE+B;GAC7B,oBAAoB;AAEtB;;;yCAGyC;GACvC,oBAAoB;AACtB;6EAC6E;GAC3E,gBAAgB;AAClB;;4EAE4E;GAC1E,0BAA0B;AAC5B;6FAC6F;GAC3F,qBAAqB;AACvB;kGACkG;GAChG,oBAAoB;AACtB,yFAAyF;GACvF,0BAA0B;AAC5B;+EAC+E;GAC7E,4BAA4B;AAC9B;8EAC8E;GAC5E,0BAA0B;AAC5B,sFAAsF;GACpF,+BAA+B;AACjC,0FAA0F;GACxF,qCAAqC;AACvC,yFAAyF;GACvF,kBAAkB;AACpB;wFACwF;GACtF,4BAA4B;AAC9B,wFAAwF;GACtF,sBAAsB;AACxB;;0FAE0F;GACxF,mBAAmB;AACrB;;;yFAGyF;GACvF,iBAAiB;AACnB;;;4FAG4F;GAC1F,yBAAyB;AAK3B;;;;8BAI8B;GAC5B,mBAAmB;AACrB;;;iEAGiE;GAC/D,sBAAsB;AACxB;;;;2BAI2B;GACzB,wBAAwB;AAC1B;;yDAEyD;GACvD,gBAAgB,CAAC;AAErB;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,aAAa,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,2FAA2F;IAC3F,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,kBAAkB,CAAC;IAC3D,sFAAsF;IACtF,aAAa,CACX,GAAG,EAAE,kBAAkB,EACvB,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,WAAW,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC,GACnD,kBAAkB,CAAC;IACtB;;;;;;;OAOG;IACH,SAAS,CAAC,CACR,GAAG,EAAE,kBAAkB,EACvB,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,MAAM,GAAG,MAAM,EAAE,EAC9B,IAAI,CAAC,EAAE;QAAE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,GAC/B,kBAAkB,CAAC;CACvB;AAED,oGAAoG;AACpG,MAAM,WAAW,yBAAyB;IACxC;;sEAEkE;IAClE,KAAK,EAAE,QAAQ,CAAC;IAChB,oFAAoF;IACpF,SAAS,EAAE,MAAM,CAAC;IAClB;;;;;;;OAOG;IACH,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC;;;;;;;OAOG;IACH,kBAAkB,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC;CACzD;AA+DD;;;uEAGuE;AACvE,eAAO,MAAM,wBAAwB,EAAE,iBAItC,CAAC;AA4qJF;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,yBAAyB,GAAG,sBAAsB,EAAE,CAmF/F"}