@sensigo/realm-testing 0.33.0 → 0.35.0

package/dist/index.d.ts

@@ -21,5 +21,5 @@ export { runFixtureTests } from './runner/test-runner.js';
 export type { TestResult, RunFixtureTestsOptions } from './runner/test-runner.js';
 export { startGitHubMockServer } from './servers/github-mock-server.js';
 export type { GitHubMockServerHandle } from './servers/github-mock-server.js';
-export declare const VERSION = "0.33.0";
+export declare const VERSION = "0.35.0";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.js

@@ -21,5 +21,5 @@ export { testAdapter } from './helpers/test-adapter.js';
 export { runFixtureTests } from './runner/test-runner.js';
 // Servers
 export { startGitHubMockServer } from './servers/github-mock-server.js';
-export const VERSION = '0.33.0';
+export const VERSION = '0.35.0';
 //# sourceMappingURL=index.js.map

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

@@ -6,6 +6,45 @@ export type SettlementLaw = 'FRESH_APPLICATION' | 'CONDITIONAL_NOOP' | 'CONDITIO
  *  directly" invariant, quantified): after EVERY store mutation op, persisted `run_phase ≡
  *  deriveRunPhase(record)`. */
  | 'PHASE_IS_GENERATED'
+/** Mixed-complete (a `complete` seal with `failed_steps ≠ ∅`) mints the declared
+ *  `completed_with_failed_steps` finalizer, discriminated per-arm — VIA `settle_step`, VIA
+ *  `settle_gate` resolution, and VIA `settle_guard` pass all independently reach `mintFresh`'s
+ *  one chokepoint (design record S3). */
+ | 'CWFS_FIRES_PER_ARM'
+/** 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'
+/** 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. */
+ | 'CWFS_SECOND_EPOCH'
+/** A finalizer never fires twice for one seal: the array form
+ *  (`on_outcome: [complete, completed_with_failed_steps]`) fires EXACTLY once on mixed-complete
+ *  (Group A, single push despite a multi-element intersection); `always` fires EXACTLY once on
+ *  mixed-complete too (Group B, once — never double-counted alongside a Group A hit). */
+ | 'CWFS_ARRAY_ONCE'
+/** The REJECTED design alternative (D-C: auto-firing `fail` on mixed-complete) never happens,
+ *  pinned both ways: clean-complete × a `fail`-only finalizer ⇒ not selected (unsurprising);
+ *  mixed-complete × a `fail`-only finalizer ⇒ ALSO not selected (`fail`-only genuinely requires
+ *  a `fail` seal — a `complete` seal carrying `failed_steps` is not a backdoor into it). */
+ | 'CURRENT_BEHAVIOR_PINNED'
+/** The full `applyExpireGate` arm matrix: not_expired (arm-verified, never the caller-implied
+ *  clock), replay ×2 idempotence (both dispositions), a DIFFERENT terminal cause refuses
+ *  run_terminal (never resurrecting/re-terminalizing), an unknown/superseded gateId refuses
+ *  gate_mismatch, finding-only (expires_at present, on_expiry absent) refuses no_disposition
+ *  arm-level before APPLY. */
+ | 'EXPIRE_ARM_MATRIX'
+/** The abort disposition's full postcondition shape: pending_gate + claim cleared, aborted_at +
+ *  skip_details `{kind:'gate_expired', gate_id}` (day-one) + finalizers minted in ONE write;
+ *  the D-4 discriminator (never mistaken for `gate_cancelled_by_abort`); never stamps
+ *  `defaulted_steps` on the abort edge (the FM-5/#232 guard). */
+ | 'EXPIRE_ABORT_CASCADE'
+/** The settle_default disposition's full postcondition shape: `resolved_by:'timeout'`
+ *  attribution + both isComplete legs (terminalizing/non-terminalizing); FROZEN-BEATS-
+ *  DEFINITION (enactment reads the RECORD-frozen `default_choice`, never a re-registered
+ *  definition's drifted value); the evidence `gate_response` snapshot's `responded_by`/
+ *  `resolution` fields. */
+ | 'EXPIRE_DEFAULT_RESOLVE'
 /** Not a real settlement law — a wiring-gap sentinel (see `settlementContract`'s own doc: a
  *  store declaring `settleStep` with no `settlementFixture` supplied gets ONE failing case
  *  tagged with this, never a silent zero-cases pass). */

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;AACtB;;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;AA87FF;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,yBAAyB,GAAG,sBAAsB,EAAE,CAiD/F"}
+{"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"}