@sensigo/realm-testing 0.32.0 → 0.34.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/index.d.ts +1 -1
- package/dist/index.js +1 -1
- package/dist/store/in-memory-store.d.ts.map +1 -1
- package/dist/store/in-memory-store.js +10 -3
- package/dist/store/in-memory-store.js.map +1 -1
- package/dist/store/settlement-contract.d.ts +59 -5
- package/dist/store/settlement-contract.d.ts.map +1 -1
- package/dist/store/settlement-contract.js +1604 -10
- package/dist/store/settlement-contract.js.map +1 -1
- package/package.json +2 -2
package/dist/index.d.ts
CHANGED
|
@@ -21,5 +21,5 @@ export { runFixtureTests } from './runner/test-runner.js';
|
|
|
21
21
|
export type { TestResult, RunFixtureTestsOptions } from './runner/test-runner.js';
|
|
22
22
|
export { startGitHubMockServer } from './servers/github-mock-server.js';
|
|
23
23
|
export type { GitHubMockServerHandle } from './servers/github-mock-server.js';
|
|
24
|
-
export declare const VERSION = "0.
|
|
24
|
+
export declare const VERSION = "0.34.0";
|
|
25
25
|
//# sourceMappingURL=index.d.ts.map
|
package/dist/index.js
CHANGED
|
@@ -21,5 +21,5 @@ export { testAdapter } from './helpers/test-adapter.js';
|
|
|
21
21
|
export { runFixtureTests } from './runner/test-runner.js';
|
|
22
22
|
// Servers
|
|
23
23
|
export { startGitHubMockServer } from './servers/github-mock-server.js';
|
|
24
|
-
export const VERSION = '0.
|
|
24
|
+
export const VERSION = '0.34.0';
|
|
25
25
|
//# sourceMappingURL=index.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"in-memory-store.d.ts","sourceRoot":"","sources":["../../src/store/in-memory-store.ts"],"names":[],"mappings":"AACA,OAAO,EAQL,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAC9B,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACtB,MAAM,gBAAgB,CAAC;AAExB,4FAA4F;AAC5F,qBAAa,aAAc,YAAW,QAAQ;IAC5C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAgC;IACrD,sGAAsG;IACtG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA6B;IAEtD,iGAAiG;IACjG,QAAQ,CAAC,cAAc,QAAQ;IAE/B;wGACoG;IACpG,QAAQ,CAAC,wBAAwB,EAAE,WAAW,CAAC,yBAAyB,CAAC,CAStE;IAEG,MAAM,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC;QAAE,GAAG,EAAE,SAAS,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;
|
|
1
|
+
{"version":3,"file":"in-memory-store.d.ts","sourceRoot":"","sources":["../../src/store/in-memory-store.ts"],"names":[],"mappings":"AACA,OAAO,EAQL,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAC9B,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACtB,MAAM,gBAAgB,CAAC;AAExB,4FAA4F;AAC5F,qBAAa,aAAc,YAAW,QAAQ;IAC5C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAgC;IACrD,sGAAsG;IACtG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA6B;IAEtD,iGAAiG;IACjG,QAAQ,CAAC,cAAc,QAAQ;IAE/B;wGACoG;IACpG,QAAQ,CAAC,wBAAwB,EAAE,WAAW,CAAC,yBAAyB,CAAC,CAStE;IAEG,MAAM,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC;QAAE,GAAG,EAAE,SAAS,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IAmDhF,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;IAatC,MAAM,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IA6B7C,SAAS,CACb,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,kBAAkB,GAC7B,OAAO,CAAC,SAAS,CAAC;IA8DrB;;;;;;;;;;OAUG;IACG,UAAU,CACd,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,eAAe,EACtB,UAAU,EAAE,kBAAkB,EAC9B,OAAO,CAAC,EAAE;QAAE,GAAG,CAAC,EAAE,IAAI,CAAA;KAAE,GACvB,OAAO,CAAC,gBAAgB,CAAC;IAwBtB,IAAI,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;CAOtD"}
|
|
@@ -28,8 +28,10 @@ export class InMemoryStore {
|
|
|
28
28
|
const existing = this.runs.get(existingId);
|
|
29
29
|
if (existing !== undefined) {
|
|
30
30
|
// `reuse` → return the existing run; `supersede` → fall through to a fresh create
|
|
31
|
-
// (which overwrites the keyIndex entry below). `fail`/`reject` throw.
|
|
32
|
-
|
|
31
|
+
// (which overwrites the keyIndex entry below). `fail`/`reject` throw. Derives (issue
|
|
32
|
+
// #279, increment 2, PR-C — D-3 leg v), matching JsonFileStore's own call-site derive —
|
|
33
|
+
// decideIdempotencyPolicy's own exported `Pick<>` signature stays untouched.
|
|
34
|
+
if (decideIdempotencyPolicy({ ...existing, run_phase: deriveRunPhase(existing) }, options) === 'reuse') {
|
|
33
35
|
return { run: existing, created: false };
|
|
34
36
|
}
|
|
35
37
|
}
|
|
@@ -146,11 +148,16 @@ export class InMemoryStore {
|
|
|
146
148
|
// issue #279 (increment 1, PR-A): mint an acquirer-minted fencing token alongside the
|
|
147
149
|
// deadline, in the SAME synchronous stretch — dormant until PR-B's settleStep migration.
|
|
148
150
|
const token = crypto.randomUUID();
|
|
151
|
+
// issue #279 (increment 2, PR-C — D-3 leg vii): derive instead of hardcoding 'running' —
|
|
152
|
+
// parity with JsonFileStore.claimStep, which derives off the PRE-claim `run` (claiming a step
|
|
153
|
+
// touches none of deriveRunPhase's own inputs, so `deriveRunPhase(run)` and
|
|
154
|
+
// `deriveRunPhase(updated)` are always identical; derived off `run` for consistency with that
|
|
155
|
+
// precedent, not because it matters here).
|
|
149
156
|
const updated = {
|
|
150
157
|
...run,
|
|
151
158
|
in_progress_steps: [...run.in_progress_steps, stepName],
|
|
152
159
|
claims: { ...run.claims, [stepName]: { deadline, token } },
|
|
153
|
-
run_phase:
|
|
160
|
+
run_phase: deriveRunPhase(run),
|
|
154
161
|
version: run.version + 1,
|
|
155
162
|
updated_at: new Date().toISOString(),
|
|
156
163
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"in-memory-store.js","sourceRoot":"","sources":["../../src/store/in-memory-store.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,cAAc,EACd,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,eAAe,GAQhB,MAAM,gBAAgB,CAAC;AAExB,4FAA4F;AAC5F,MAAM,OAAO,aAAa;IACP,IAAI,GAAG,IAAI,GAAG,EAAqB,CAAC;IACrD,sGAAsG;IACrF,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEtD,iGAAiG;IACxF,cAAc,GAAG,IAAI,CAAC;IAE/B;wGACoG;IAC3F,wBAAwB,GAA2C,IAAI,GAAG,CAAC;QAClF,mBAAmB;QACnB,4BAA4B;QAC5B,oBAAoB;QACpB,uBAAuB;QACvB,iBAAiB;QACjB,yFAAyF;QACzF,SAAS;QACT,kBAAkB;KACnB,CAAC,CAAC;IAEH,KAAK,CAAC,MAAM,CAAC,OAAyB;QACpC,gFAAgF;QAChF,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,EAAE,GAAG,GAAG,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,cAAc,EAAE,CAAC;YAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACzC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,kFAAkF;oBAClF,
|
|
1
|
+
{"version":3,"file":"in-memory-store.js","sourceRoot":"","sources":["../../src/store/in-memory-store.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,cAAc,EACd,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,eAAe,GAQhB,MAAM,gBAAgB,CAAC;AAExB,4FAA4F;AAC5F,MAAM,OAAO,aAAa;IACP,IAAI,GAAG,IAAI,GAAG,EAAqB,CAAC;IACrD,sGAAsG;IACrF,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEtD,iGAAiG;IACxF,cAAc,GAAG,IAAI,CAAC;IAE/B;wGACoG;IAC3F,wBAAwB,GAA2C,IAAI,GAAG,CAAC;QAClF,mBAAmB;QACnB,4BAA4B;QAC5B,oBAAoB;QACpB,uBAAuB;QACvB,iBAAiB;QACjB,yFAAyF;QACzF,SAAS;QACT,kBAAkB;KACnB,CAAC,CAAC;IAEH,KAAK,CAAC,MAAM,CAAC,OAAyB;QACpC,gFAAgF;QAChF,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,EAAE,GAAG,GAAG,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,cAAc,EAAE,CAAC;YAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACzC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,kFAAkF;oBAClF,qFAAqF;oBACrF,wFAAwF;oBACxF,6EAA6E;oBAC7E,IACE,uBAAuB,CACrB,EAAE,GAAG,QAAQ,EAAE,SAAS,EAAE,cAAc,CAAC,QAAQ,CAAC,EAAE,EACpD,OAAO,CACR,KAAK,OAAO,EACb,CAAC;wBACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;oBAC3C,CAAC;gBACH,CAAC;gBACD,wEAAwE;YAC1E,CAAC;QACH,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,MAAM,GAAc;YACxB,EAAE,EAAE,MAAM,CAAC,UAAU,EAAE;YACvB,WAAW,EAAE,OAAO,CAAC,UAAU;YAC/B,gBAAgB,EAAE,OAAO,CAAC,eAAe;YACzC,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpF,GAAG,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5F,eAAe,EAAE,EAAE;YACnB,iBAAiB,EAAE,EAAE;YACrB,YAAY,EAAE,EAAE;YAChB,aAAa,EAAE,EAAE;YACjB,SAAS,EAAE,SAAS;YACpB,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,cAAc,EAAE,KAAK;SACtB,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACjC,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,cAAc,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACxC,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,KAAa;QACrB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,aAAa,CAAC,QAAQ,KAAK,aAAa,EAAE;gBAClD,IAAI,EAAE,qBAAqB;gBAC3B,QAAQ,EAAE,OAAO;gBACjB,WAAW,EAAE,gBAAgB;gBAC7B,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,MAAiB;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,aAAa,CAAC,QAAQ,MAAM,CAAC,EAAE,aAAa,EAAE;gBACtD,IAAI,EAAE,qBAAqB;gBAC3B,QAAQ,EAAE,OAAO;gBACjB,WAAW,EAAE,gBAAgB;gBAC7B,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;YACxC,MAAM,IAAI,aAAa,CAAC,wDAAwD,EAAE;gBAChF,IAAI,EAAE,yBAAyB;gBAC/B,QAAQ,EAAE,OAAO;gBACjB,WAAW,EAAE,gBAAgB;gBAC7B,SAAS,EAAE,IAAI;gBACf,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE;aAClF,CAAC,CAAC;QACL,CAAC;QACD,MAAM,OAAO,GAAc;YACzB,GAAG,MAAM;YACT,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC;YACjC,OAAO,EAAE,MAAM,CAAC,OAAO,GAAG,CAAC;YAC3B,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACnC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,SAAS,CACb,KAAa,EACb,QAAgB,EAChB,UAA8B;QAE9B,6FAA6F;QAC7F,6FAA6F;QAC7F,yFAAyF;QACzF,0FAA0F;QAC1F,2FAA2F;QAC3F,6FAA6F;QAC7F,8FAA8F;QAC9F,0FAA0F;QAC1F,+EAA+E;QAC/E,+FAA+F;QAC/F,4FAA4F;QAC5F,+DAA+D;QAC/D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,IAAI,aAAa,CAAC,QAAQ,KAAK,aAAa,EAAE;gBAClD,IAAI,EAAE,qBAAqB;gBAC3B,QAAQ,EAAE,OAAO;gBACjB,WAAW,EAAE,gBAAgB;gBAC7B,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,uBAAuB,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,aAAa,CAAC,SAAS,QAAQ,8BAA8B,EAAE;gBACvE,IAAI,EAAE,4BAA4B;gBAClC,QAAQ,EAAE,OAAO;gBACjB,WAAW,EAAE,sBAAsB;gBACnC,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,aAAa,CAAC,SAAS,QAAQ,mBAAmB,EAAE;gBAC5D,IAAI,EAAE,yBAAyB;gBAC/B,QAAQ,EAAE,OAAO;gBACjB,WAAW,EAAE,sBAAsB;gBACnC,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;QACL,CAAC;QACD,2FAA2F;QAC3F,8FAA8F;QAC9F,MAAM,QAAQ,GAAG,oBAAoB,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;QACxE,sFAAsF;QACtF,yFAAyF;QACzF,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,yFAAyF;QACzF,8FAA8F;QAC9F,4EAA4E;QAC5E,8FAA8F;QAC9F,2CAA2C;QAC3C,MAAM,OAAO,GAAc;YACzB,GAAG,GAAG;YACN,iBAAiB,EAAE,CAAC,GAAG,GAAG,CAAC,iBAAiB,EAAE,QAAQ,CAAC;YACvD,MAAM,EAAE,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE;YAC1D,SAAS,EAAE,cAAc,CAAC,GAAG,CAAC;YAC9B,OAAO,EAAE,GAAG,CAAC,OAAO,GAAG,CAAC;YACxB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACnC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;;;;;;;OAUG;IACH,KAAK,CAAC,UAAU,CACd,KAAa,EACb,KAAsB,EACtB,UAA8B,EAC9B,OAAwB;QAExB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,aAAa,CAAC,QAAQ,KAAK,aAAa,EAAE;gBAClD,IAAI,EAAE,qBAAqB;gBAC3B,QAAQ,EAAE,OAAO;gBACjB,WAAW,EAAE,gBAAgB;gBAC7B,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QACnE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,OAAO,CAAC,CAAC,2DAA2D;QAC7E,CAAC;QACD,MAAM,OAAO,GAAc;YACzB,GAAG,OAAO,CAAC,GAAG;YACd,SAAS,EAAE,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC;YACtC,OAAO,EAAE,KAAK,CAAC,OAAO,GAAG,CAAC;YAC1B,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACnC,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACtC,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,UAAmB;QAC5B,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACpC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}
|
|
@@ -1,7 +1,50 @@
|
|
|
1
1
|
import { type RunStore, type WorkflowDefinition, type StepDefinition } from '@sensigo/realm';
|
|
2
2
|
/** One of the PR-A-runnable settlement laws (design record §8, narrowed to the PR-A subset named
|
|
3
3
|
* in the hand-off prompt's D4 section — see this module's own header). */
|
|
4
|
-
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'
|
|
4
|
+
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'
|
|
5
|
+
/** A NEW universal TCK law (lane-C steal 1 — the PG "generated columns cannot be written to
|
|
6
|
+
* directly" invariant, quantified): after EVERY store mutation op, persisted `run_phase ≡
|
|
7
|
+
* deriveRunPhase(record)`. */
|
|
8
|
+
| 'PHASE_IS_GENERATED'
|
|
9
|
+
/** Mixed-complete (a `complete` seal with `failed_steps ≠ ∅`) mints the declared
|
|
10
|
+
* `completed_with_failed_steps` finalizer, discriminated per-arm — VIA `settle_step`, VIA
|
|
11
|
+
* `settle_gate` resolution, and VIA `settle_guard` pass all independently reach `mintFresh`'s
|
|
12
|
+
* one chokepoint (design record S3). */
|
|
13
|
+
| 'CWFS_FIRES_PER_ARM'
|
|
14
|
+
/** The new trigger never over-fires: a CLEAN complete (no `failed_steps`) does not select it;
|
|
15
|
+
* a PURE fail seal (never reaches `complete`) does not select it either. */
|
|
16
|
+
| 'CWFS_NEGATIVES'
|
|
17
|
+
/** Uniform-predicate pin (design record M1): a second-epoch complete seal whose ONLY
|
|
18
|
+
* `failed_steps` scar is a PRIOR epoch's finalizer self-failure (unresumable, so it never
|
|
19
|
+
* leaves `failed_steps`) still fires — no exclusion of finalizer-declared step names. */
|
|
20
|
+
| 'CWFS_SECOND_EPOCH'
|
|
21
|
+
/** A finalizer never fires twice for one seal: the array form
|
|
22
|
+
* (`on_outcome: [complete, completed_with_failed_steps]`) fires EXACTLY once on mixed-complete
|
|
23
|
+
* (Group A, single push despite a multi-element intersection); `always` fires EXACTLY once on
|
|
24
|
+
* mixed-complete too (Group B, once — never double-counted alongside a Group A hit). */
|
|
25
|
+
| 'CWFS_ARRAY_ONCE'
|
|
26
|
+
/** The REJECTED design alternative (D-C: auto-firing `fail` on mixed-complete) never happens,
|
|
27
|
+
* pinned both ways: clean-complete × a `fail`-only finalizer ⇒ not selected (unsurprising);
|
|
28
|
+
* mixed-complete × a `fail`-only finalizer ⇒ ALSO not selected (`fail`-only genuinely requires
|
|
29
|
+
* a `fail` seal — a `complete` seal carrying `failed_steps` is not a backdoor into it). */
|
|
30
|
+
| 'CURRENT_BEHAVIOR_PINNED'
|
|
31
|
+
/** The full `applyExpireGate` arm matrix: not_expired (arm-verified, never the caller-implied
|
|
32
|
+
* clock), replay ×2 idempotence (both dispositions), a DIFFERENT terminal cause refuses
|
|
33
|
+
* run_terminal (never resurrecting/re-terminalizing), an unknown/superseded gateId refuses
|
|
34
|
+
* gate_mismatch, finding-only (expires_at present, on_expiry absent) refuses no_disposition
|
|
35
|
+
* arm-level before APPLY. */
|
|
36
|
+
| 'EXPIRE_ARM_MATRIX'
|
|
37
|
+
/** The abort disposition's full postcondition shape: pending_gate + claim cleared, aborted_at +
|
|
38
|
+
* skip_details `{kind:'gate_expired', gate_id}` (day-one) + finalizers minted in ONE write;
|
|
39
|
+
* the D-4 discriminator (never mistaken for `gate_cancelled_by_abort`); never stamps
|
|
40
|
+
* `defaulted_steps` on the abort edge (the FM-5/#232 guard). */
|
|
41
|
+
| 'EXPIRE_ABORT_CASCADE'
|
|
42
|
+
/** The settle_default disposition's full postcondition shape: `resolved_by:'timeout'`
|
|
43
|
+
* attribution + both isComplete legs (terminalizing/non-terminalizing); FROZEN-BEATS-
|
|
44
|
+
* DEFINITION (enactment reads the RECORD-frozen `default_choice`, never a re-registered
|
|
45
|
+
* definition's drifted value); the evidence `gate_response` snapshot's `responded_by`/
|
|
46
|
+
* `resolution` fields. */
|
|
47
|
+
| 'EXPIRE_DEFAULT_RESOLVE'
|
|
5
48
|
/** Not a real settlement law — a wiring-gap sentinel (see `settlementContract`'s own doc: a
|
|
6
49
|
* store declaring `settleStep` with no `settlementFixture` supplied gets ONE failing case
|
|
7
50
|
* tagged with this, never a silent zero-cases pass). */
|
|
@@ -28,6 +71,17 @@ export interface SettlementFixture {
|
|
|
28
71
|
minimalDefinition(stepNames: string[]): WorkflowDefinition;
|
|
29
72
|
/** Adds one finalizer step (`execution: 'finalizer'`) to a definition built above. */
|
|
30
73
|
withFinalizer(def: WorkflowDefinition, finalizerName: string, onOutcome: NonNullable<StepDefinition['on_outcome']>): WorkflowDefinition;
|
|
74
|
+
/**
|
|
75
|
+
* Adds one guard step (issue #279, increment 2, PR-C — design record §8 fixture mechanics).
|
|
76
|
+
* OPTIONAL on this published interface (never a required-member widening): a store's own
|
|
77
|
+
* `SettlementFixture` that omits this triggers the `ADAPTER_WIRING`-style failing-case idiom
|
|
78
|
+
* for guard cases specifically, rather than a silent skip (see `guardOutcomeDivergenceCases`
|
|
79
|
+
* and friends, below). `opts.dependents` (optional) names steps that get `depends_on:
|
|
80
|
+
* [guardName]` — needed by `GUARD_ABORT_CASCADE`'s propagateSkips-cascade case.
|
|
81
|
+
*/
|
|
82
|
+
withGuard?(def: WorkflowDefinition, guardName: string, abortUnless: string | string[], opts?: {
|
|
83
|
+
dependents?: string[];
|
|
84
|
+
}): WorkflowDefinition;
|
|
31
85
|
}
|
|
32
86
|
/** Adapter a calling test file supplies to parameterize the contract against one concrete store. */
|
|
33
87
|
export interface SettlementContractAdapter {
|
|
@@ -47,10 +101,10 @@ export interface SettlementContractAdapter {
|
|
|
47
101
|
*/
|
|
48
102
|
settlementFixture?: SettlementFixture;
|
|
49
103
|
}
|
|
50
|
-
/** Default settlement fixture — builds minimal agent-step / finalizer-step
|
|
51
|
-
* store-specific requirements beyond `RunStore.create` never validating
|
|
52
|
-
* external registry. Suitable for JsonFileStore and InMemoryStore; both
|
|
53
|
-
* conformance test files wire this in directly. */
|
|
104
|
+
/** Default settlement fixture — builds minimal agent-step / finalizer-step / guard-step
|
|
105
|
+
* definitions with no store-specific requirements beyond `RunStore.create` never validating
|
|
106
|
+
* `workflowId` against an external registry. Suitable for JsonFileStore and InMemoryStore; both
|
|
107
|
+
* this package's own conformance test files wire this in directly. */
|
|
54
108
|
export declare const defaultSettlementFixture: SettlementFixture;
|
|
55
109
|
/**
|
|
56
110
|
* Builds every PR-A-runnable settlement contract case for `adapter`.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"settlement-contract.d.ts","sourceRoot":"","sources":["../../src/store/settlement-contract.ts"],"names":[],"mappings":"
|
|
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"}
|