@piagent/platform 1.6.0 → 1.7.1

package/adapters/node-typescript/contract-families.json

@@ -0,0 +1,2811 @@
+{
+  "schemaVersion": 1,
+  "families": [
+    {
+      "id": "iso-expiry-millisecond-profile",
+      "version": 1,
+      "domain": "temporal-input",
+      "description": "Synchronous inclusive expiry(expiresAt, now). expiresAt is a valid Date or a strict four-digit Gregorian timestamp: uppercase T, HH:mm, optional :ss then optional decimal fraction, mandatory Z or ±HH:mm. Seconds default to zero; fractions truncate/right-pad to milliseconds; year 0000 is literal. Hours 00–23, minutes/seconds 00–59, offsets up to 23:59; -00:00 is zero. Reject all other forms/types with TypeError, including invalid calendar dates and surrounding whitespace. now is a finite number (not TimeClipped) or valid Date; only an omitted second argument reads Date.now exactly once, after validating expiry. Explicit invalid now never falls back. Neither Date argument is mutated, including on error. This bounded application profile is NOT all ISO 8601, RFC 3339 or ECMAScript Date.parse; approval must establish these exact semantics. No time-zone names, leap seconds, expanded years or sub-millisecond ordering.",
+      "parameters": {"call":"export"},
+      "template": {
+        "exportName": {"$parameter":"call"},
+        "checks": [
+          {"id":"iso-calendar-and-inclusive-boundary","cases":[
+            {"id":"epoch-minute-before","args":[{"type":"string","value":"1970-01-01T00:00Z"},{"type":"number","value":-1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"epoch-minute-equal","args":[{"type":"string","value":"1970-01-01T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"epoch-minute-after","args":[{"type":"string","value":"1970-01-01T00:00Z"},{"type":"number","value":1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"epoch-second-before","args":[{"type":"string","value":"1970-01-01T00:00:00Z"},{"type":"number","value":-1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"epoch-second-equal","args":[{"type":"string","value":"1970-01-01T00:00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"epoch-second-after","args":[{"type":"string","value":"1970-01-01T00:00:00Z"},{"type":"number","value":1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"before-epoch-before","args":[{"type":"string","value":"1969-12-31T23:59:59.999Z"},{"type":"number","value":-2}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"before-epoch-equal","args":[{"type":"string","value":"1969-12-31T23:59:59.999Z"},{"type":"number","value":-1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"before-epoch-after","args":[{"type":"string","value":"1969-12-31T23:59:59.999Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"leap-minute-before","args":[{"type":"string","value":"2024-02-29T12:34Z"},{"type":"number","value":1709210039999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"leap-minute-equal","args":[{"type":"string","value":"2024-02-29T12:34Z"},{"type":"number","value":1709210040000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"leap-minute-after","args":[{"type":"string","value":"2024-02-29T12:34Z"},{"type":"number","value":1709210040001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"leap-second-before","args":[{"type":"string","value":"2024-02-29T12:34:56Z"},{"type":"number","value":1709210095999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"leap-second-equal","args":[{"type":"string","value":"2024-02-29T12:34:56Z"},{"type":"number","value":1709210096000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"leap-second-after","args":[{"type":"string","value":"2024-02-29T12:34:56Z"},{"type":"number","value":1709210096001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-zero-before","args":[{"type":"string","value":"2024-02-29T12:34:56.0Z"},{"type":"number","value":1709210095999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"fraction-zero-equal","args":[{"type":"string","value":"2024-02-29T12:34:56.0Z"},{"type":"number","value":1709210096000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-zero-after","args":[{"type":"string","value":"2024-02-29T12:34:56.0Z"},{"type":"number","value":1709210096001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-three-zero-before","args":[{"type":"string","value":"2024-02-29T12:34:56.000Z"},{"type":"number","value":1709210095999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"fraction-three-zero-equal","args":[{"type":"string","value":"2024-02-29T12:34:56.000Z"},{"type":"number","value":1709210096000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-three-zero-after","args":[{"type":"string","value":"2024-02-29T12:34:56.000Z"},{"type":"number","value":1709210096001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-one-before","args":[{"type":"string","value":"2024-02-29T12:34:56.9Z"},{"type":"number","value":1709210096899}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"fraction-one-equal","args":[{"type":"string","value":"2024-02-29T12:34:56.9Z"},{"type":"number","value":1709210096900}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-one-after","args":[{"type":"string","value":"2024-02-29T12:34:56.9Z"},{"type":"number","value":1709210096901}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-two-before","args":[{"type":"string","value":"2024-02-29T12:34:56.99Z"},{"type":"number","value":1709210096989}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"fraction-two-equal","args":[{"type":"string","value":"2024-02-29T12:34:56.99Z"},{"type":"number","value":1709210096990}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-two-after","args":[{"type":"string","value":"2024-02-29T12:34:56.99Z"},{"type":"number","value":1709210096991}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-three-before","args":[{"type":"string","value":"2024-02-29T12:34:56.999Z"},{"type":"number","value":1709210096998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"fraction-three-equal","args":[{"type":"string","value":"2024-02-29T12:34:56.999Z"},{"type":"number","value":1709210096999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-three-after","args":[{"type":"string","value":"2024-02-29T12:34:56.999Z"},{"type":"number","value":1709210097000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-truncate-before","args":[{"type":"string","value":"2024-02-29T12:34:56.9999Z"},{"type":"number","value":1709210096998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"fraction-truncate-equal","args":[{"type":"string","value":"2024-02-29T12:34:56.9999Z"},{"type":"number","value":1709210096999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-truncate-after","args":[{"type":"string","value":"2024-02-29T12:34:56.9999Z"},{"type":"number","value":1709210097000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-submillisecond-before","args":[{"type":"string","value":"2024-02-29T12:34:56.0009Z"},{"type":"number","value":1709210095999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"fraction-submillisecond-equal","args":[{"type":"string","value":"2024-02-29T12:34:56.0009Z"},{"type":"number","value":1709210096000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-submillisecond-after","args":[{"type":"string","value":"2024-02-29T12:34:56.0009Z"},{"type":"number","value":1709210096001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-long-before","args":[{"type":"string","value":"2024-02-29T12:34:56.123456789Z"},{"type":"number","value":1709210096122}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"fraction-long-equal","args":[{"type":"string","value":"2024-02-29T12:34:56.123456789Z"},{"type":"number","value":1709210096123}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"fraction-long-after","args":[{"type":"string","value":"2024-02-29T12:34:56.123456789Z"},{"type":"number","value":1709210096124}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"positive-offset-before","args":[{"type":"string","value":"2024-02-29T12:34:56+07:00"},{"type":"number","value":1709184895999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"positive-offset-equal","args":[{"type":"string","value":"2024-02-29T12:34:56+07:00"},{"type":"number","value":1709184896000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"positive-offset-after","args":[{"type":"string","value":"2024-02-29T12:34:56+07:00"},{"type":"number","value":1709184896001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"negative-offset-before","args":[{"type":"string","value":"2024-02-29T12:34:56.999-05:30"},{"type":"number","value":1709229896998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"negative-offset-equal","args":[{"type":"string","value":"2024-02-29T12:34:56.999-05:30"},{"type":"number","value":1709229896999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"negative-offset-after","args":[{"type":"string","value":"2024-02-29T12:34:56.999-05:30"},{"type":"number","value":1709229897000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-minute-back-before","args":[{"type":"string","value":"1970-01-01T00:00+00:01"},{"type":"number","value":-60001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"offset-minute-back-equal","args":[{"type":"string","value":"1970-01-01T00:00+00:01"},{"type":"number","value":-60000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-minute-back-after","args":[{"type":"string","value":"1970-01-01T00:00+00:01"},{"type":"number","value":-59999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-minute-forward-before","args":[{"type":"string","value":"1969-12-31T23:59-00:01"},{"type":"number","value":-1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"offset-minute-forward-equal","args":[{"type":"string","value":"1969-12-31T23:59-00:01"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-minute-forward-after","args":[{"type":"string","value":"1969-12-31T23:59-00:01"},{"type":"number","value":1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-largest-positive-before","args":[{"type":"string","value":"2000-01-01T00:00+23:59"},{"type":"number","value":946598459999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"offset-largest-positive-equal","args":[{"type":"string","value":"2000-01-01T00:00+23:59"},{"type":"number","value":946598460000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-largest-positive-after","args":[{"type":"string","value":"2000-01-01T00:00+23:59"},{"type":"number","value":946598460001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-largest-negative-before","args":[{"type":"string","value":"1999-12-31T23:59-23:59"},{"type":"number","value":946771079999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"offset-largest-negative-equal","args":[{"type":"string","value":"1999-12-31T23:59-23:59"},{"type":"number","value":946771080000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-largest-negative-after","args":[{"type":"string","value":"1999-12-31T23:59-23:59"},{"type":"number","value":946771080001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-positive-zero-before","args":[{"type":"string","value":"1970-01-01T00:00+00:00"},{"type":"number","value":-1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"offset-positive-zero-equal","args":[{"type":"string","value":"1970-01-01T00:00+00:00"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-positive-zero-after","args":[{"type":"string","value":"1970-01-01T00:00+00:00"},{"type":"number","value":1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-negative-zero-before","args":[{"type":"string","value":"1970-01-01T00:00-00:00"},{"type":"number","value":-1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"offset-negative-zero-equal","args":[{"type":"string","value":"1970-01-01T00:00-00:00"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"offset-negative-zero-after","args":[{"type":"string","value":"1970-01-01T00:00-00:00"},{"type":"number","value":1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-zero-leap-before","args":[{"type":"string","value":"0000-02-29T00:00:00Z"},{"type":"number","value":-62162121600001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"year-zero-leap-equal","args":[{"type":"string","value":"0000-02-29T00:00:00Z"},{"type":"number","value":-62162121600000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-zero-leap-after","args":[{"type":"string","value":"0000-02-29T00:00:00Z"},{"type":"number","value":-62162121599999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-zero-offset-before","args":[{"type":"string","value":"0000-01-01T00:00+00:01"},{"type":"number","value":-62167219260001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"year-zero-offset-equal","args":[{"type":"string","value":"0000-01-01T00:00+00:01"},{"type":"number","value":-62167219260000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-zero-offset-after","args":[{"type":"string","value":"0000-01-01T00:00+00:01"},{"type":"number","value":-62167219259999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-one-before","args":[{"type":"string","value":"0001-01-01T00:00Z"},{"type":"number","value":-62135596800001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"year-one-equal","args":[{"type":"string","value":"0001-01-01T00:00Z"},{"type":"number","value":-62135596800000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-one-after","args":[{"type":"string","value":"0001-01-01T00:00Z"},{"type":"number","value":-62135596799999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-96-leap-before","args":[{"type":"string","value":"0096-02-29T00:00+07:00"},{"type":"number","value":-59132617200001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"year-96-leap-equal","args":[{"type":"string","value":"0096-02-29T00:00+07:00"},{"type":"number","value":-59132617200000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-96-leap-after","args":[{"type":"string","value":"0096-02-29T00:00+07:00"},{"type":"number","value":-59132617199999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-99-last-before","args":[{"type":"string","value":"0099-12-31T23:59:59.999Z"},{"type":"number","value":-59011459200002}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"year-99-last-equal","args":[{"type":"string","value":"0099-12-31T23:59:59.999Z"},{"type":"number","value":-59011459200001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-99-last-after","args":[{"type":"string","value":"0099-12-31T23:59:59.999Z"},{"type":"number","value":-59011459200000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-100-common-before","args":[{"type":"string","value":"0100-03-01T00:00Z"},{"type":"number","value":-59006361600001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"year-100-common-equal","args":[{"type":"string","value":"0100-03-01T00:00Z"},{"type":"number","value":-59006361600000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-100-common-after","args":[{"type":"string","value":"0100-03-01T00:00Z"},{"type":"number","value":-59006361599999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-400-leap-before","args":[{"type":"string","value":"0400-02-29T00:00Z"},{"type":"number","value":-49539340800001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"year-400-leap-equal","args":[{"type":"string","value":"0400-02-29T00:00Z"},{"type":"number","value":-49539340800000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-400-leap-after","args":[{"type":"string","value":"0400-02-29T00:00Z"},{"type":"number","value":-49539340799999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-1900-common-before","args":[{"type":"string","value":"1900-03-01T00:00Z"},{"type":"number","value":-2203891200001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"year-1900-common-equal","args":[{"type":"string","value":"1900-03-01T00:00Z"},{"type":"number","value":-2203891200000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-1900-common-after","args":[{"type":"string","value":"1900-03-01T00:00Z"},{"type":"number","value":-2203891199999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-2000-leap-before","args":[{"type":"string","value":"2000-02-29T00:00Z"},{"type":"number","value":951782399999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"year-2000-leap-equal","args":[{"type":"string","value":"2000-02-29T00:00Z"},{"type":"number","value":951782400000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-2000-leap-after","args":[{"type":"string","value":"2000-02-29T00:00Z"},{"type":"number","value":951782400001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-2100-common-before","args":[{"type":"string","value":"2100-03-01T00:00Z"},{"type":"number","value":4107542399999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"year-2100-common-equal","args":[{"type":"string","value":"2100-03-01T00:00Z"},{"type":"number","value":4107542400000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-2100-common-after","args":[{"type":"string","value":"2100-03-01T00:00Z"},{"type":"number","value":4107542400001}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-9999-offset-before","args":[{"type":"string","value":"9999-12-31T23:59:59.999-00:01"},{"type":"number","value":253402300859998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"year-9999-offset-equal","args":[{"type":"string","value":"9999-12-31T23:59:59.999-00:01"},{"type":"number","value":253402300859999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"year-9999-offset-after","args":[{"type":"string","value":"9999-12-31T23:59:59.999-00:01"},{"type":"number","value":253402300860000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-1-last-before","args":[{"type":"string","value":"2024-01-31T23:59:59.999Z"},{"type":"number","value":1706745599998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"month-1-last-equal","args":[{"type":"string","value":"2024-01-31T23:59:59.999Z"},{"type":"number","value":1706745599999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-1-last-after","args":[{"type":"string","value":"2024-01-31T23:59:59.999Z"},{"type":"number","value":1706745600000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-3-last-before","args":[{"type":"string","value":"2024-03-31T23:59:59.999Z"},{"type":"number","value":1711929599998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"month-3-last-equal","args":[{"type":"string","value":"2024-03-31T23:59:59.999Z"},{"type":"number","value":1711929599999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-3-last-after","args":[{"type":"string","value":"2024-03-31T23:59:59.999Z"},{"type":"number","value":1711929600000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-4-last-before","args":[{"type":"string","value":"2024-04-30T23:59:59.999Z"},{"type":"number","value":1714521599998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"month-4-last-equal","args":[{"type":"string","value":"2024-04-30T23:59:59.999Z"},{"type":"number","value":1714521599999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-4-last-after","args":[{"type":"string","value":"2024-04-30T23:59:59.999Z"},{"type":"number","value":1714521600000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-5-last-before","args":[{"type":"string","value":"2024-05-31T23:59:59.999Z"},{"type":"number","value":1717199999998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"month-5-last-equal","args":[{"type":"string","value":"2024-05-31T23:59:59.999Z"},{"type":"number","value":1717199999999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-5-last-after","args":[{"type":"string","value":"2024-05-31T23:59:59.999Z"},{"type":"number","value":1717200000000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-6-last-before","args":[{"type":"string","value":"2024-06-30T23:59:59.999Z"},{"type":"number","value":1719791999998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"month-6-last-equal","args":[{"type":"string","value":"2024-06-30T23:59:59.999Z"},{"type":"number","value":1719791999999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-6-last-after","args":[{"type":"string","value":"2024-06-30T23:59:59.999Z"},{"type":"number","value":1719792000000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-7-last-before","args":[{"type":"string","value":"2024-07-31T23:59:59.999Z"},{"type":"number","value":1722470399998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"month-7-last-equal","args":[{"type":"string","value":"2024-07-31T23:59:59.999Z"},{"type":"number","value":1722470399999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-7-last-after","args":[{"type":"string","value":"2024-07-31T23:59:59.999Z"},{"type":"number","value":1722470400000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-8-last-before","args":[{"type":"string","value":"2024-08-31T23:59:59.999Z"},{"type":"number","value":1725148799998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"month-8-last-equal","args":[{"type":"string","value":"2024-08-31T23:59:59.999Z"},{"type":"number","value":1725148799999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-8-last-after","args":[{"type":"string","value":"2024-08-31T23:59:59.999Z"},{"type":"number","value":1725148800000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-9-last-before","args":[{"type":"string","value":"2024-09-30T23:59:59.999Z"},{"type":"number","value":1727740799998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"month-9-last-equal","args":[{"type":"string","value":"2024-09-30T23:59:59.999Z"},{"type":"number","value":1727740799999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-9-last-after","args":[{"type":"string","value":"2024-09-30T23:59:59.999Z"},{"type":"number","value":1727740800000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-10-last-before","args":[{"type":"string","value":"2024-10-31T23:59:59.999Z"},{"type":"number","value":1730419199998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"month-10-last-equal","args":[{"type":"string","value":"2024-10-31T23:59:59.999Z"},{"type":"number","value":1730419199999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-10-last-after","args":[{"type":"string","value":"2024-10-31T23:59:59.999Z"},{"type":"number","value":1730419200000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-11-last-before","args":[{"type":"string","value":"2024-11-30T23:59:59.999Z"},{"type":"number","value":1733011199998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"month-11-last-equal","args":[{"type":"string","value":"2024-11-30T23:59:59.999Z"},{"type":"number","value":1733011199999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-11-last-after","args":[{"type":"string","value":"2024-11-30T23:59:59.999Z"},{"type":"number","value":1733011200000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-12-last-before","args":[{"type":"string","value":"2024-12-31T23:59:59.999Z"},{"type":"number","value":1735689599998}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0}},
+            {"id":"month-12-last-equal","args":[{"type":"string","value":"2024-12-31T23:59:59.999Z"},{"type":"number","value":1735689599999}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}},
+            {"id":"month-12-last-after","args":[{"type":"string","value":"2024-12-31T23:59:59.999Z"},{"type":"number","value":1735689600000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0}}
+          ]},
+          {"id":"invalid-input-type-and-calendar","cases":[
+            {"id":"invalid-empty","args":[{"type":"string","value":""},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-garbage","args":[{"type":"string","value":"garbage"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-common-leap","args":[{"type":"string","value":"2023-02-29T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-century-leap","args":[{"type":"string","value":"1900-02-29T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-small-common-leap","args":[{"type":"string","value":"0099-02-29T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-hundred-leap","args":[{"type":"string","value":"0100-02-29T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-february-30","args":[{"type":"string","value":"2024-02-30T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-april-31","args":[{"type":"string","value":"2024-04-31T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-june-31","args":[{"type":"string","value":"2024-06-31T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-september-31","args":[{"type":"string","value":"2024-09-31T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-november-31","args":[{"type":"string","value":"2024-11-31T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-month-zero","args":[{"type":"string","value":"2024-00-01T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-month-13","args":[{"type":"string","value":"2024-13-01T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-day-zero","args":[{"type":"string","value":"2024-01-00T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-day-32","args":[{"type":"string","value":"2024-01-32T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-hour-24","args":[{"type":"string","value":"2024-01-01T24:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-minute-60","args":[{"type":"string","value":"2024-01-01T00:60Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-second-60","args":[{"type":"string","value":"2024-01-01T00:00:60Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-offset-hour-24","args":[{"type":"string","value":"2024-01-01T00:00+24:00"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-offset-negative-hour-24","args":[{"type":"string","value":"2024-01-01T00:00-24:00"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-offset-minute-60","args":[{"type":"string","value":"2024-01-01T00:00+07:60"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-offset-negative-minute-60","args":[{"type":"string","value":"2024-01-01T00:00-07:60"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-zone-missing","args":[{"type":"string","value":"2024-01-01T00:00"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-date-only","args":[{"type":"string","value":"2024-01-01"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-leading-space","args":[{"type":"string","value":" 2024-01-01T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-trailing-space","args":[{"type":"string","value":"2024-01-01T00:00Z "},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-trailing-newline","args":[{"type":"string","value":"2024-01-01T00:00Z\n"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-trailing-crlf","args":[{"type":"string","value":"2024-01-01T00:00Z\r\n"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-lowercase","args":[{"type":"string","value":"2024-01-01t00:00z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-basic-offset","args":[{"type":"string","value":"2024-01-01T00:00+0700"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expanded-year","args":[{"type":"string","value":"+002024-01-01T00:00Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-fraction-without-seconds","args":[{"type":"string","value":"2024-01-01T00:00.9Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-empty-fraction","args":[{"type":"string","value":"2024-01-01T00:00:00.Z"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-trailing-junk","args":[{"type":"string","value":"2024-01-01T00:00Zjunk"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expiry-undefined","args":[{"type":"undefined"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expiry-null","args":[{"type":"null"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expiry-false","args":[{"type":"boolean","value":false},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expiry-true","args":[{"type":"boolean","value":true},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expiry-array","args":[{"type":"array","value":[]},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expiry-record","args":[{"type":"record","value":[]},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expiry-nan","args":[{"type":"number","value":"NaN"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expiry-infinity","args":[{"type":"number","value":"Infinity"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expiry-negative-infinity","args":[{"type":"number","value":"-Infinity"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expiry-invalid-date","args":[{"type":"date","value":"NaN"},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":"NaN"}]}},
+            {"id":"invalid-expiry-zero","args":[{"type":"number","value":0},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-expiry-number","args":[{"type":"number","value":1700000000000},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-now-undefined","args":[{"type":"date","value":0},{"type":"undefined"}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"invalid-now-null","args":[{"type":"date","value":0},{"type":"null"}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"invalid-now-false","args":[{"type":"date","value":0},{"type":"boolean","value":false}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"invalid-now-true","args":[{"type":"date","value":0},{"type":"boolean","value":true}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"invalid-now-array","args":[{"type":"date","value":0},{"type":"array","value":[]}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"invalid-now-record","args":[{"type":"date","value":0},{"type":"record","value":[]}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"invalid-now-nan","args":[{"type":"date","value":0},{"type":"number","value":"NaN"}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"invalid-now-infinity","args":[{"type":"date","value":0},{"type":"number","value":"Infinity"}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"invalid-now-negative-infinity","args":[{"type":"date","value":0},{"type":"number","value":"-Infinity"}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"invalid-now-invalid-date","args":[{"type":"date","value":0},{"type":"date","value":"NaN"}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0},{"index":1,"value":"NaN"}]}},
+            {"id":"invalid-now-text","args":[{"type":"date","value":0},{"type":"string","value":"1970-01-01T00:00Z"}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"invalid-now-empty","args":[{"type":"date","value":0},{"type":"string","value":""}],"clock":123456789,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}}
+          ]},
+          {"id":"input-stability-and-lazy-clock","cases":[
+            {"id":"date-expiry-equal","args":[{"type":"date","value":10},{"type":"number","value":10}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0,"dateArgsAfter":[{"index":0,"value":10}]}},
+            {"id":"date-now-before","args":[{"type":"string","value":"1970-01-01T00:00Z"},{"type":"date","value":-1}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0,"dateArgsAfter":[{"index":1,"value":-1}]}},
+            {"id":"both-dates-before","args":[{"type":"date","value":10},{"type":"date","value":9}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0,"dateArgsAfter":[{"index":0,"value":10},{"index":1,"value":9}]}},
+            {"id":"both-dates-equal","args":[{"type":"date","value":10},{"type":"date","value":10}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0,"dateArgsAfter":[{"index":0,"value":10},{"index":1,"value":10}]}},
+            {"id":"both-dates-after","args":[{"type":"date","value":10},{"type":"date","value":11}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0,"dateArgsAfter":[{"index":0,"value":10},{"index":1,"value":11}]}},
+            {"id":"dates-minimum","args":[{"type":"date","value":-8640000000000000},{"type":"date","value":-8640000000000000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0,"dateArgsAfter":[{"index":0,"value":-8640000000000000},{"index":1,"value":-8640000000000000}]}},
+            {"id":"dates-maximum","args":[{"type":"date","value":8640000000000000},{"type":"date","value":8640000000000000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0,"dateArgsAfter":[{"index":0,"value":8640000000000000},{"index":1,"value":8640000000000000}]}},
+            {"id":"explicit-zero-before","args":[{"type":"date","value":1},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0,"dateArgsAfter":[{"index":0,"value":1}]}},
+            {"id":"explicit-negative-zero-before","args":[{"type":"date","value":1},{"type":"number","value":"-0"}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0,"dateArgsAfter":[{"index":0,"value":1}]}},
+            {"id":"explicit-zero-equal","args":[{"type":"date","value":0},{"type":"number","value":0}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"fractional-now-before","args":[{"type":"date","value":0},{"type":"number","value":-0.5}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"fractional-now-after","args":[{"type":"date","value":0},{"type":"number","value":0.5}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"finite-now-above-date-range","args":[{"type":"date","value":0},{"type":"number","value":100000000000000000000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"finite-now-below-date-range","args":[{"type":"date","value":0},{"type":"number","value":-100000000000000000000}],"clock":123456789,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":0,"dateArgsAfter":[{"index":0,"value":0}]}},
+            {"id":"clock-before","args":[{"type":"string","value":"1970-01-01T00:00:00.010Z"}],"clock":9,"expected":{"outcome":"return","value":{"type":"boolean","value":false},"clockReads":1}},
+            {"id":"clock-equal","args":[{"type":"string","value":"1970-01-01T00:00:00.010Z"}],"clock":10,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":1}},
+            {"id":"clock-after","args":[{"type":"date","value":10}],"clock":11,"expected":{"outcome":"return","value":{"type":"boolean","value":true},"clockReads":1,"dateArgsAfter":[{"index":0,"value":10}]}},
+            {"id":"invalid-string-before-clock","args":[{"type":"string","value":"invalid"}],"clock":0,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"invalid-date-before-clock","args":[{"type":"date","value":"NaN"}],"clock":0,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":"NaN"}]}},
+            {"id":"invalid-undefined-before-clock","args":[{"type":"undefined"}],"clock":0,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"no-arguments","args":[],"clock":0,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0}},
+            {"id":"date-expiry-preserved-on-error","args":[{"type":"date","value":10},{"type":"null"}],"clock":0,"expected":{"outcome":"throw","errorClass":"TypeError","clockReads":0,"dateArgsAfter":[{"index":0,"value":10}]}}
+          ]}
+        ]
+      }
+    },
+    {
+      "id": "finite-scalar-sum",
+      "version": 1,
+      "domain": "pure-function",
+      "description": "Two finite numeric arguments produce their sum; non-numbers and nonfinite arguments throw TypeError. These literal input partitions are bounded tests, not a universal arithmetic proof.",
+      "parameters": {
+        "call": "export"
+      },
+      "template": {
+        "exportName": {
+          "$parameter": "call"
+        },
+        "checks": [
+          {
+            "id": "declared-behavior",
+            "cases": [
+              {
+                "id": "signed",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 7
+                  },
+                  {
+                    "type": "number",
+                    "value": -3
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 4
+                  }
+                }
+              },
+              {
+                "id": "zero",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 0
+                  },
+                  {
+                    "type": "number",
+                    "value": 0
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 0
+                  }
+                }
+              },
+              {
+                "id": "fraction",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 0.5
+                  },
+                  {
+                    "type": "number",
+                    "value": 0.25
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 0.75
+                  }
+                }
+              },
+              {
+                "id": "text-left",
+                "args": [
+                  {
+                    "type": "string",
+                    "value": "1"
+                  },
+                  {
+                    "type": "number",
+                    "value": 2
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "text-right",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 1
+                  },
+                  {
+                    "type": "string",
+                    "value": "2"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "nan",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": "NaN"
+                  },
+                  {
+                    "type": "number",
+                    "value": 0
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "infinite",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 0
+                  },
+                  {
+                    "type": "number",
+                    "value": "Infinity"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-undefined",
+                "args": [
+                  {
+                    "type": "undefined"
+                  },
+                  {
+                    "type": "number",
+                    "value": 2
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-undefined",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 1
+                  },
+                  {
+                    "type": "undefined"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-null",
+                "args": [
+                  {
+                    "type": "null"
+                  },
+                  {
+                    "type": "number",
+                    "value": 2
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-null",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 1
+                  },
+                  {
+                    "type": "null"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-boolean",
+                "args": [
+                  {
+                    "type": "boolean",
+                    "value": false
+                  },
+                  {
+                    "type": "number",
+                    "value": 2
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-boolean",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 1
+                  },
+                  {
+                    "type": "boolean",
+                    "value": false
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-record",
+                "args": [
+                  {
+                    "type": "record",
+                    "value": []
+                  },
+                  {
+                    "type": "number",
+                    "value": 2
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-record",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 1
+                  },
+                  {
+                    "type": "record",
+                    "value": []
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-array",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": []
+                  },
+                  {
+                    "type": "number",
+                    "value": 2
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-array",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 1
+                  },
+                  {
+                    "type": "array",
+                    "value": []
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-negative-infinity",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": "-Infinity"
+                  },
+                  {
+                    "type": "number",
+                    "value": 2
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-negative-infinity",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 1
+                  },
+                  {
+                    "type": "number",
+                    "value": "-Infinity"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-nan",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": "NaN"
+                  },
+                  {
+                    "type": "number",
+                    "value": 2
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-nan",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 1
+                  },
+                  {
+                    "type": "number",
+                    "value": "NaN"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-positive-infinity",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": "Infinity"
+                  },
+                  {
+                    "type": "number",
+                    "value": 2
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-positive-infinity",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 1
+                  },
+                  {
+                    "type": "number",
+                    "value": "Infinity"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              }
+            ]
+          }
+        ]
+      }
+    },
+    {
+      "id": "finite-list-sum",
+      "version": 1,
+      "domain": "pure-function",
+      "description": "A dense array of finite numbers produces its sum, including empty, signed and fractional lists. Invalid elements throw TypeError.",
+      "parameters": {
+        "call": "export"
+      },
+      "template": {
+        "exportName": {
+          "$parameter": "call"
+        },
+        "checks": [
+          {
+            "id": "declared-behavior",
+            "cases": [
+              {
+                "id": "empty",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": []
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 0
+                  }
+                }
+              },
+              {
+                "id": "signed",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": [
+                      {
+                        "type": "number",
+                        "value": 7
+                      },
+                      {
+                        "type": "number",
+                        "value": -3
+                      },
+                      {
+                        "type": "number",
+                        "value": 0
+                      },
+                      {
+                        "type": "number",
+                        "value": 2
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 6
+                  }
+                }
+              },
+              {
+                "id": "fraction",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": [
+                      {
+                        "type": "number",
+                        "value": 0.5
+                      },
+                      {
+                        "type": "number",
+                        "value": 0.25
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 0.75
+                  }
+                }
+              },
+              {
+                "id": "text",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": [
+                      {
+                        "type": "number",
+                        "value": 1
+                      },
+                      {
+                        "type": "string",
+                        "value": "2"
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "nan",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": [
+                      {
+                        "type": "number",
+                        "value": "NaN"
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "infinite",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": [
+                      {
+                        "type": "number",
+                        "value": "Infinity"
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-undefined",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": [
+                      {
+                        "type": "number",
+                        "value": 1
+                      },
+                      {
+                        "type": "undefined"
+                      },
+                      {
+                        "type": "number",
+                        "value": 2
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-null",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": [
+                      {
+                        "type": "number",
+                        "value": 1
+                      },
+                      {
+                        "type": "null"
+                      },
+                      {
+                        "type": "number",
+                        "value": 2
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-boolean",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": [
+                      {
+                        "type": "number",
+                        "value": 1
+                      },
+                      {
+                        "type": "boolean",
+                        "value": false
+                      },
+                      {
+                        "type": "number",
+                        "value": 2
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-record",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": [
+                      {
+                        "type": "number",
+                        "value": 1
+                      },
+                      {
+                        "type": "record",
+                        "value": []
+                      },
+                      {
+                        "type": "number",
+                        "value": 2
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-array",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": [
+                      {
+                        "type": "number",
+                        "value": 1
+                      },
+                      {
+                        "type": "array",
+                        "value": []
+                      },
+                      {
+                        "type": "number",
+                        "value": 2
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-negative-infinity",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": [
+                      {
+                        "type": "number",
+                        "value": 1
+                      },
+                      {
+                        "type": "number",
+                        "value": "-Infinity"
+                      },
+                      {
+                        "type": "number",
+                        "value": 2
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              }
+            ]
+          }
+        ]
+      }
+    },
+    {
+      "id": "deadline-status",
+      "version": 1,
+      "domain": "temporal-input",
+      "description": "A finite numeric timestamp or valid Date expiry and finite numeric now produce {expired: now >= expiry, remaining: max(0, expiry-now)}. Invalid inputs throw TypeError; Date input is not mutated. String parsing and wall-clock defaults are outside this family's contract.",
+      "parameters": {
+        "call": "export"
+      },
+      "template": {
+        "exportName": {
+          "$parameter": "call"
+        },
+        "checks": [
+          {
+            "id": "declared-behavior",
+            "cases": [
+              {
+                "id": "before",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "number",
+                    "value": 99
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "expired",
+                        "value": {
+                          "type": "boolean",
+                          "value": false
+                        }
+                      },
+                      {
+                        "key": "remaining",
+                        "value": {
+                          "type": "number",
+                          "value": 1
+                        }
+                      }
+                    ]
+                  }
+                }
+              },
+              {
+                "id": "equal",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "number",
+                    "value": 100
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "expired",
+                        "value": {
+                          "type": "boolean",
+                          "value": true
+                        }
+                      },
+                      {
+                        "key": "remaining",
+                        "value": {
+                          "type": "number",
+                          "value": 0
+                        }
+                      }
+                    ]
+                  }
+                }
+              },
+              {
+                "id": "after",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "number",
+                    "value": 101
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "expired",
+                        "value": {
+                          "type": "boolean",
+                          "value": true
+                        }
+                      },
+                      {
+                        "key": "remaining",
+                        "value": {
+                          "type": "number",
+                          "value": 0
+                        }
+                      }
+                    ]
+                  }
+                }
+              },
+              {
+                "id": "negative",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": -100
+                  },
+                  {
+                    "type": "number",
+                    "value": -101
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "expired",
+                        "value": {
+                          "type": "boolean",
+                          "value": false
+                        }
+                      },
+                      {
+                        "key": "remaining",
+                        "value": {
+                          "type": "number",
+                          "value": 1
+                        }
+                      }
+                    ]
+                  }
+                }
+              },
+              {
+                "id": "date",
+                "args": [
+                  {
+                    "type": "date",
+                    "value": 100
+                  },
+                  {
+                    "type": "number",
+                    "value": 99
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "expired",
+                        "value": {
+                          "type": "boolean",
+                          "value": false
+                        }
+                      },
+                      {
+                        "key": "remaining",
+                        "value": {
+                          "type": "number",
+                          "value": 1
+                        }
+                      }
+                    ]
+                  },
+                  "dateArgsAfter": [
+                    {
+                      "index": 0,
+                      "value": 100
+                    }
+                  ]
+                }
+              },
+              {
+                "id": "invalid-date",
+                "args": [
+                  {
+                    "type": "date",
+                    "value": "NaN"
+                  },
+                  {
+                    "type": "number",
+                    "value": 0
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError",
+                  "dateArgsAfter": [
+                    {
+                      "index": 0,
+                      "value": "NaN"
+                    }
+                  ]
+                }
+              },
+              {
+                "id": "invalid-now",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "number",
+                    "value": "NaN"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "text",
+                "args": [
+                  {
+                    "type": "string",
+                    "value": "100"
+                  },
+                  {
+                    "type": "number",
+                    "value": 99
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-undefined",
+                "args": [
+                  {
+                    "type": "undefined"
+                  },
+                  {
+                    "type": "number",
+                    "value": 99
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-undefined",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "undefined"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-null",
+                "args": [
+                  {
+                    "type": "null"
+                  },
+                  {
+                    "type": "number",
+                    "value": 99
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-null",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "null"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-boolean",
+                "args": [
+                  {
+                    "type": "boolean",
+                    "value": false
+                  },
+                  {
+                    "type": "number",
+                    "value": 99
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-boolean",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "boolean",
+                    "value": false
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-record",
+                "args": [
+                  {
+                    "type": "record",
+                    "value": []
+                  },
+                  {
+                    "type": "number",
+                    "value": 99
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-record",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "record",
+                    "value": []
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-array",
+                "args": [
+                  {
+                    "type": "array",
+                    "value": []
+                  },
+                  {
+                    "type": "number",
+                    "value": 99
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-array",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "array",
+                    "value": []
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-negative-infinity",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": "-Infinity"
+                  },
+                  {
+                    "type": "number",
+                    "value": 99
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-negative-infinity",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "number",
+                    "value": "-Infinity"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-nan",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": "NaN"
+                  },
+                  {
+                    "type": "number",
+                    "value": 99
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-nan",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "number",
+                    "value": "NaN"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-0-positive-infinity",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": "Infinity"
+                  },
+                  {
+                    "type": "number",
+                    "value": 99
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              },
+              {
+                "id": "invalid-1-positive-infinity",
+                "args": [
+                  {
+                    "type": "number",
+                    "value": 100
+                  },
+                  {
+                    "type": "number",
+                    "value": "Infinity"
+                  }
+                ],
+                "expected": {
+                  "outcome": "throw",
+                  "errorClass": "TypeError"
+                }
+              }
+            ]
+          }
+        ]
+      }
+    },
+    {
+      "id": "defined-config-precedence",
+      "version": 1,
+      "domain": "configuration-precedence",
+      "description": "Three records in priority order: first non-undefined value wins for each of three selected keys. Preserve explicit null, false, zero and empty string. The result contains every selected key, including undefined when all inputs omit it. Key parameters must be distinct.",
+      "parameters": {
+        "call": "export",
+        "numericKey": "string",
+        "booleanKey": "string",
+        "textKey": "string"
+      },
+      "template": {
+        "exportName": {
+          "$parameter": "call"
+        },
+        "checks": [
+          {
+            "id": "declared-behavior",
+            "cases": [
+              {
+                "id": "defaults",
+                "args": [
+                  {
+                    "type": "record",
+                    "value": []
+                  },
+                  {
+                    "type": "record",
+                    "value": []
+                  },
+                  {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "number",
+                          "value": 9
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "booleanKey"
+                        },
+                        "value": {
+                          "type": "boolean",
+                          "value": true
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "string",
+                          "value": "default"
+                        }
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "number",
+                          "value": 9
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "booleanKey"
+                        },
+                        "value": {
+                          "type": "boolean",
+                          "value": true
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "string",
+                          "value": "default"
+                        }
+                      }
+                    ]
+                  }
+                }
+              },
+              {
+                "id": "explicit-false",
+                "args": [
+                  {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "number",
+                          "value": 0
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "booleanKey"
+                        },
+                        "value": {
+                          "type": "boolean",
+                          "value": false
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "string",
+                          "value": ""
+                        }
+                      }
+                    ]
+                  },
+                  {
+                    "type": "record",
+                    "value": []
+                  },
+                  {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "number",
+                          "value": 9
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "booleanKey"
+                        },
+                        "value": {
+                          "type": "boolean",
+                          "value": true
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "string",
+                          "value": "default"
+                        }
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "number",
+                          "value": 0
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "booleanKey"
+                        },
+                        "value": {
+                          "type": "boolean",
+                          "value": false
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "string",
+                          "value": ""
+                        }
+                      }
+                    ]
+                  }
+                }
+              },
+              {
+                "id": "environment",
+                "args": [
+                  {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "undefined"
+                        }
+                      }
+                    ]
+                  },
+                  {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "number",
+                          "value": 3
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "string",
+                          "value": "environment"
+                        }
+                      }
+                    ]
+                  },
+                  {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "number",
+                          "value": 9
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "booleanKey"
+                        },
+                        "value": {
+                          "type": "boolean",
+                          "value": true
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "string",
+                          "value": "default"
+                        }
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "number",
+                          "value": 3
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "booleanKey"
+                        },
+                        "value": {
+                          "type": "boolean",
+                          "value": true
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "string",
+                          "value": "environment"
+                        }
+                      }
+                    ]
+                  }
+                }
+              },
+              {
+                "id": "null",
+                "args": [
+                  {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "booleanKey"
+                        },
+                        "value": {
+                          "type": "null"
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "null"
+                        }
+                      }
+                    ]
+                  },
+                  {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "number",
+                          "value": 4
+                        }
+                      }
+                    ]
+                  },
+                  {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "number",
+                          "value": 9
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "booleanKey"
+                        },
+                        "value": {
+                          "type": "boolean",
+                          "value": true
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "string",
+                          "value": "default"
+                        }
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "number",
+                          "value": 4
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "booleanKey"
+                        },
+                        "value": {
+                          "type": "null"
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "null"
+                        }
+                      }
+                    ]
+                  }
+                }
+              },
+              {
+                "id": "missing",
+                "args": [
+                  {
+                    "type": "record",
+                    "value": []
+                  },
+                  {
+                    "type": "record",
+                    "value": []
+                  },
+                  {
+                    "type": "record",
+                    "value": []
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": {
+                          "$parameter": "numericKey"
+                        },
+                        "value": {
+                          "type": "undefined"
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "booleanKey"
+                        },
+                        "value": {
+                          "type": "undefined"
+                        }
+                      },
+                      {
+                        "key": {
+                          "$parameter": "textKey"
+                        },
+                        "value": {
+                          "type": "undefined"
+                        }
+                      }
+                    ]
+                  }
+                }
+              }
+            ]
+          }
+        ]
+      }
+    },
+    {
+      "id": "idempotent-accumulator-checkpoint",
+      "version": 1,
+      "domain": "stateful-recovery",
+      "description": "An accumulator applies each event ID once. Public snapshot schema is {version:1, entries:[[id,delta],...], total}, preserving first-application order. restore returns saved total without mutating snapshot. Reset discards unsaved work; restore preserves deduplication. This specifies component state, not OS-crash or disk durability.",
+      "parameters": {
+        "apply": "export",
+        "snapshot": "export",
+        "restore": "export",
+        "read": "export"
+      },
+      "template": {
+        "exportName": {
+          "$parameter": "read"
+        },
+        "checks": [
+          {
+            "id": "declared-behavior",
+            "cases": [
+              {
+                "id": "add",
+                "args": [
+                  {
+                    "type": "string",
+                    "value": "x"
+                  },
+                  {
+                    "type": "number",
+                    "value": 7
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 7
+                  }
+                },
+                "sequence": "checkpoint-history",
+                "exportName": {
+                  "$parameter": "apply"
+                }
+              },
+              {
+                "id": "saved",
+                "args": [],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "version",
+                        "value": {
+                          "type": "number",
+                          "value": 1
+                        }
+                      },
+                      {
+                        "key": "entries",
+                        "value": {
+                          "type": "array",
+                          "value": [
+                            {
+                              "type": "array",
+                              "value": [
+                                {
+                                  "type": "string",
+                                  "value": "x"
+                                },
+                                {
+                                  "type": "number",
+                                  "value": 7
+                                }
+                              ]
+                            }
+                          ]
+                        }
+                      },
+                      {
+                        "key": "total",
+                        "value": {
+                          "type": "number",
+                          "value": 7
+                        }
+                      }
+                    ]
+                  }
+                },
+                "sequence": "checkpoint-history",
+                "exportName": {
+                  "$parameter": "snapshot"
+                }
+              },
+              {
+                "id": "unsaved",
+                "args": [
+                  {
+                    "type": "string",
+                    "value": "y"
+                  },
+                  {
+                    "type": "number",
+                    "value": -3
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 4
+                  }
+                },
+                "sequence": "checkpoint-history",
+                "exportName": {
+                  "$parameter": "apply"
+                }
+              },
+              {
+                "id": "restart",
+                "args": [],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 0
+                  }
+                },
+                "sequence": "checkpoint-history",
+                "exportName": {
+                  "$parameter": "read"
+                },
+                "reset": true
+              },
+              {
+                "id": "restore",
+                "args": [
+                  {
+                    "type": "result",
+                    "value": "saved"
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 7
+                  },
+                  "argsAfter": [
+                    {
+                      "type": "record",
+                      "value": [
+                        {
+                          "key": "version",
+                          "value": {
+                            "type": "number",
+                            "value": 1
+                          }
+                        },
+                        {
+                          "key": "entries",
+                          "value": {
+                            "type": "array",
+                            "value": [
+                              {
+                                "type": "array",
+                                "value": [
+                                  {
+                                    "type": "string",
+                                    "value": "x"
+                                  },
+                                  {
+                                    "type": "number",
+                                    "value": 7
+                                  }
+                                ]
+                              }
+                            ]
+                          }
+                        },
+                        {
+                          "key": "total",
+                          "value": {
+                            "type": "number",
+                            "value": 7
+                          }
+                        }
+                      ]
+                    }
+                  ]
+                },
+                "sequence": "checkpoint-history",
+                "exportName": {
+                  "$parameter": "restore"
+                },
+                "observeArgs": true
+              },
+              {
+                "id": "conflicting-replay",
+                "args": [
+                  {
+                    "type": "string",
+                    "value": "x"
+                  },
+                  {
+                    "type": "number",
+                    "value": 500
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 7
+                  }
+                },
+                "sequence": "checkpoint-history",
+                "exportName": {
+                  "$parameter": "apply"
+                }
+              },
+              {
+                "id": "replay",
+                "args": [
+                  {
+                    "type": "string",
+                    "value": "x"
+                  },
+                  {
+                    "type": "number",
+                    "value": 7
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 7
+                  }
+                },
+                "sequence": "checkpoint-history",
+                "exportName": {
+                  "$parameter": "apply"
+                }
+              },
+              {
+                "id": "new",
+                "args": [
+                  {
+                    "type": "string",
+                    "value": "z"
+                  },
+                  {
+                    "type": "number",
+                    "value": -2
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 5
+                  }
+                },
+                "sequence": "checkpoint-history",
+                "exportName": {
+                  "$parameter": "apply"
+                }
+              },
+              {
+                "id": "final",
+                "args": [],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "version",
+                        "value": {
+                          "type": "number",
+                          "value": 1
+                        }
+                      },
+                      {
+                        "key": "entries",
+                        "value": {
+                          "type": "array",
+                          "value": [
+                            {
+                              "type": "array",
+                              "value": [
+                                {
+                                  "type": "string",
+                                  "value": "x"
+                                },
+                                {
+                                  "type": "number",
+                                  "value": 7
+                                }
+                              ]
+                            },
+                            {
+                              "type": "array",
+                              "value": [
+                                {
+                                  "type": "string",
+                                  "value": "z"
+                                },
+                                {
+                                  "type": "number",
+                                  "value": -2
+                                }
+                              ]
+                            }
+                          ]
+                        }
+                      },
+                      {
+                        "key": "total",
+                        "value": {
+                          "type": "number",
+                          "value": 5
+                        }
+                      }
+                    ]
+                  }
+                },
+                "sequence": "checkpoint-history",
+                "exportName": {
+                  "$parameter": "snapshot"
+                }
+              },
+              {
+                "id": "out-of-order-id",
+                "args": [
+                  {
+                    "type": "string",
+                    "value": "a"
+                  },
+                  {
+                    "type": "number",
+                    "value": 1
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 6
+                  }
+                },
+                "sequence": "checkpoint-history",
+                "exportName": {
+                  "$parameter": "apply"
+                }
+              },
+              {
+                "id": "insertion-order",
+                "args": [],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "version",
+                        "value": {
+                          "type": "number",
+                          "value": 1
+                        }
+                      },
+                      {
+                        "key": "entries",
+                        "value": {
+                          "type": "array",
+                          "value": [
+                            {
+                              "type": "array",
+                              "value": [
+                                {
+                                  "type": "string",
+                                  "value": "x"
+                                },
+                                {
+                                  "type": "number",
+                                  "value": 7
+                                }
+                              ]
+                            },
+                            {
+                              "type": "array",
+                              "value": [
+                                {
+                                  "type": "string",
+                                  "value": "z"
+                                },
+                                {
+                                  "type": "number",
+                                  "value": -2
+                                }
+                              ]
+                            },
+                            {
+                              "type": "array",
+                              "value": [
+                                {
+                                  "type": "string",
+                                  "value": "a"
+                                },
+                                {
+                                  "type": "number",
+                                  "value": 1
+                                }
+                              ]
+                            }
+                          ]
+                        }
+                      },
+                      {
+                        "key": "total",
+                        "value": {
+                          "type": "number",
+                          "value": 6
+                        }
+                      }
+                    ]
+                  }
+                },
+                "sequence": "checkpoint-history",
+                "exportName": {
+                  "$parameter": "snapshot"
+                }
+              },
+              {
+                "id": "fresh",
+                "args": [],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "number",
+                    "value": 0
+                  }
+                },
+                "sequence": "independent",
+                "exportName": {
+                  "$parameter": "read"
+                }
+              }
+            ]
+          }
+        ]
+      }
+    },
+    {
+      "id": "secret-redaction-literals",
+      "version": 1,
+      "domain": "pure-function",
+      "description": "Literal public redaction obligations: preserve ordinary text; redact an opaque Authorization Token value; redact a nested password while preserving unrelated fields; preserve source-text line count. These four observations are diagnostic coverage, not a complete redaction or security audit.",
+      "parameters": {
+        "text": "export",
+        "storage": "export",
+        "source": "export"
+      },
+      "template": {
+        "exportName": {
+          "$parameter": "text"
+        },
+        "checks": [
+          {
+            "id": "declared-behavior",
+            "cases": [
+              {
+                "id": "plain",
+                "args": [
+                  {
+                    "type": "string",
+                    "value": "ordinary status message"
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "text",
+                        "value": {
+                          "type": "string",
+                          "value": "ordinary status message"
+                        }
+                      },
+                      {
+                        "key": "redacted",
+                        "value": {
+                          "type": "boolean",
+                          "value": false
+                        }
+                      }
+                    ]
+                  }
+                }
+              },
+              {
+                "id": "opaque",
+                "args": [
+                  {
+                    "type": "string",
+                    "value": "Authorization: Token unit-test-value"
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "text",
+                        "value": {
+                          "type": "string",
+                          "value": "Authorization: Token [REDACTED_SECRET]"
+                        }
+                      },
+                      {
+                        "key": "redacted",
+                        "value": {
+                          "type": "boolean",
+                          "value": true
+                        }
+                      }
+                    ]
+                  }
+                }
+              },
+              {
+                "id": "structured",
+                "args": [
+                  {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "nested",
+                        "value": {
+                          "type": "record",
+                          "value": [
+                            {
+                              "key": "password",
+                              "value": {
+                                "type": "string",
+                                "value": "literal-value-42"
+                              }
+                            },
+                            {
+                              "key": "label",
+                              "value": {
+                                "type": "string",
+                                "value": "status"
+                              }
+                            }
+                          ]
+                        }
+                      },
+                      {
+                        "key": "count",
+                        "value": {
+                          "type": "number",
+                          "value": 0
+                        }
+                      }
+                    ]
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "nested",
+                        "value": {
+                          "type": "record",
+                          "value": [
+                            {
+                              "key": "password",
+                              "value": {
+                                "type": "string",
+                                "value": "[REDACTED_SECRET]"
+                              }
+                            },
+                            {
+                              "key": "label",
+                              "value": {
+                                "type": "string",
+                                "value": "status"
+                              }
+                            }
+                          ]
+                        }
+                      },
+                      {
+                        "key": "count",
+                        "value": {
+                          "type": "number",
+                          "value": 0
+                        }
+                      }
+                    ]
+                  }
+                },
+                "exportName": {
+                  "$parameter": "storage"
+                }
+              },
+              {
+                "id": "source",
+                "args": [
+                  {
+                    "type": "string",
+                    "value": "config.json"
+                  },
+                  {
+                    "type": "string",
+                    "value": "Authorization: Token unit-test-value\n"
+                  }
+                ],
+                "expected": {
+                  "outcome": "return",
+                  "value": {
+                    "type": "record",
+                    "value": [
+                      {
+                        "key": "text",
+                        "value": {
+                          "type": "string",
+                          "value": "Authorization: Token [REDACTED_SECRET]\n"
+                        }
+                      },
+                      {
+                        "key": "redacted",
+                        "value": {
+                          "type": "boolean",
+                          "value": true
+                        }
+                      },
+                      {
+                        "key": "lineCountPreserved",
+                        "value": {
+                          "type": "boolean",
+                          "value": true
+                        }
+                      }
+                    ]
+                  }
+                },
+                "exportName": {
+                  "$parameter": "source"
+                }
+              }
+            ]
+          }
+        ]
+      }
+    },
+    {
+      "id": "bounded-retry-injected-sleep",
+      "version": 1,
+      "domain": "stateful-recovery",
+      "description": "Retry an injected operation at most a positive integer maxAttempts (default 3), awaiting injected sleep between failures with nonnegative finite baseDelayMs (default 10) times powers of two; propagate the same final error and never sleep after it. Invalid defined numeric options, including null, are TypeError. Covers sync and Promise callbacks, sleep rejection, option nonmutation and default numeric options. Omitted sleep is checked only on first success; real timers, IO and unbounded attempts are not certified.",
+      "parameters": {"call":"export"},
+      "template": {"exportName":{"$parameter":"call"},"checks":[{"id":"declared-api","cases":[
+        {"id":"first-success","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"done"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"return","value":{"type":"string","value":"done"},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[{"callback":"operation","call":0,"event":"call","args":[{"type":"number","value":1}]},{"callback":"operation","call":0,"event":"settle","outcome":"return"}]}},
+        {"id":"exponential-success","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":4}},{"key":"baseDelayMs","value":{"type":"number","value":3}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"throw","error":"first"},{"outcome":"throw","error":"second"},{"outcome":"throw","error":"last"},{"outcome":"return","value":{"type":"string","value":"done"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"return","value":{"type":"string","value":"done"},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":4}},{"key":"baseDelayMs","value":{"type":"number","value":3}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[{"callback":"operation","call":0,"event":"call","args":[{"type":"number","value":1}]},{"callback":"operation","call":0,"event":"settle","outcome":"throw"},{"callback":"sleep","call":0,"event":"call","args":[{"type":"number","value":3}]},{"callback":"sleep","call":0,"event":"settle","outcome":"return"},{"callback":"operation","call":1,"event":"call","args":[{"type":"number","value":2}]},{"callback":"operation","call":1,"event":"settle","outcome":"throw"},{"callback":"sleep","call":1,"event":"call","args":[{"type":"number","value":6}]},{"callback":"sleep","call":1,"event":"settle","outcome":"return"},{"callback":"operation","call":2,"event":"call","args":[{"type":"number","value":3}]},{"callback":"operation","call":2,"event":"settle","outcome":"throw"},{"callback":"sleep","call":2,"event":"call","args":[{"type":"number","value":12}]},{"callback":"sleep","call":2,"event":"settle","outcome":"return"},{"callback":"operation","call":3,"event":"call","args":[{"type":"number","value":4}]},{"callback":"operation","call":3,"event":"settle","outcome":"return"}]}},
+        {"id":"final-error-no-sleep","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":3}},{"key":"baseDelayMs","value":{"type":"number","value":5}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"throw","error":"first"},{"outcome":"throw","error":"second"},{"outcome":"throw","error":"last"}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"Error","errorObservation":{"identity":"last","properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":3}},{"key":"baseDelayMs","value":{"type":"number","value":5}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[{"callback":"operation","call":0,"event":"call","args":[{"type":"number","value":1}]},{"callback":"operation","call":0,"event":"settle","outcome":"throw"},{"callback":"sleep","call":0,"event":"call","args":[{"type":"number","value":5}]},{"callback":"sleep","call":0,"event":"settle","outcome":"return"},{"callback":"operation","call":1,"event":"call","args":[{"type":"number","value":2}]},{"callback":"operation","call":1,"event":"settle","outcome":"throw"},{"callback":"sleep","call":1,"event":"call","args":[{"type":"number","value":10}]},{"callback":"sleep","call":1,"event":"settle","outcome":"return"},{"callback":"operation","call":2,"event":"call","args":[{"type":"number","value":3}]},{"callback":"operation","call":2,"event":"settle","outcome":"throw"}]}},
+        {"id":"invalid-attempts-0","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":0}},{"key":"baseDelayMs","value":{"type":"number","value":2}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":0}},{"key":"baseDelayMs","value":{"type":"number","value":2}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[]}},
+        {"id":"invalid-attempts-1","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":-1}},{"key":"baseDelayMs","value":{"type":"number","value":2}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":-1}},{"key":"baseDelayMs","value":{"type":"number","value":2}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[]}},
+        {"id":"invalid-attempts-2","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1.5}},{"key":"baseDelayMs","value":{"type":"number","value":2}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1.5}},{"key":"baseDelayMs","value":{"type":"number","value":2}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[]}},
+        {"id":"invalid-attempts-3","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"string","value":"2"}},{"key":"baseDelayMs","value":{"type":"number","value":2}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"string","value":"2"}},{"key":"baseDelayMs","value":{"type":"number","value":2}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[]}},
+        {"id":"invalid-attempts-4","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":"NaN"}},{"key":"baseDelayMs","value":{"type":"number","value":2}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":"NaN"}},{"key":"baseDelayMs","value":{"type":"number","value":2}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[]}},
+        {"id":"invalid-delay-0","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":2}},{"key":"baseDelayMs","value":{"type":"number","value":-1}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":2}},{"key":"baseDelayMs","value":{"type":"number","value":-1}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[]}},
+        {"id":"invalid-delay-1","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":2}},{"key":"baseDelayMs","value":{"type":"number","value":"NaN"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":2}},{"key":"baseDelayMs","value":{"type":"number","value":"NaN"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[]}},
+        {"id":"invalid-delay-2","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":2}},{"key":"baseDelayMs","value":{"type":"number","value":"Infinity"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":2}},{"key":"baseDelayMs","value":{"type":"number","value":"Infinity"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[]}},
+        {"id":"invalid-delay-3","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":2}},{"key":"baseDelayMs","value":{"type":"string","value":"2"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":2}},{"key":"baseDelayMs","value":{"type":"string","value":"2"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[]}},
+        {"id":"additional-invalid-maxAttempts-0","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":"Infinity"}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"done"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":"Infinity"}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"callbackTrace":[]}},
+        {"id":"additional-invalid-maxAttempts-1","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"null"}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"done"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"null"}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"callbackTrace":[]}},
+        {"id":"additional-invalid-maxAttempts-2","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"boolean","value":false}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"done"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"boolean","value":false}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"callbackTrace":[]}},
+        {"id":"additional-invalid-baseDelayMs-0","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1}},{"key":"baseDelayMs","value":{"type":"number","value":"-Infinity"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"done"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1}},{"key":"baseDelayMs","value":{"type":"number","value":"-Infinity"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"callbackTrace":[]}},
+        {"id":"additional-invalid-baseDelayMs-1","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1}},{"key":"baseDelayMs","value":{"type":"null"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"done"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1}},{"key":"baseDelayMs","value":{"type":"null"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"callbackTrace":[]}},
+        {"id":"additional-invalid-baseDelayMs-2","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1}},{"key":"baseDelayMs","value":{"type":"boolean","value":false}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"done"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1}},{"key":"baseDelayMs","value":{"type":"boolean","value":false}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"errorObservation":{"identity":null,"properties":{"type":"record","value":[]}},"callbackTrace":[]}},
+        {"id":"default-attempts-and-delay","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"throw","error":"first"},{"outcome":"throw","error":"second"},{"outcome":"throw","error":"last"}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"Error","errorObservation":{"identity":"last","properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[{"callback":"operation","call":0,"event":"call","args":[{"type":"number","value":1}]},{"callback":"operation","call":0,"event":"settle","outcome":"throw"},{"callback":"sleep","call":0,"event":"call","args":[{"type":"number","value":10}]},{"callback":"sleep","call":0,"event":"settle","outcome":"return"},{"callback":"operation","call":1,"event":"call","args":[{"type":"number","value":2}]},{"callback":"operation","call":1,"event":"settle","outcome":"throw"},{"callback":"sleep","call":1,"event":"call","args":[{"type":"number","value":20}]},{"callback":"sleep","call":1,"event":"settle","outcome":"return"},{"callback":"operation","call":2,"event":"call","args":[{"type":"number","value":3}]},{"callback":"operation","call":2,"event":"settle","outcome":"throw"}]}},
+        {"id":"zero-delay-still-awaited","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":4}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"throw","error":"first"},{"outcome":"throw","error":"second"},{"outcome":"throw","error":"last"},{"outcome":"return","value":{"type":"string","value":"done"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"return","value":{"type":"string","value":"done"},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":4}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[{"callback":"operation","call":0,"event":"call","args":[{"type":"number","value":1}]},{"callback":"operation","call":0,"event":"settle","outcome":"throw"},{"callback":"sleep","call":0,"event":"call","args":[{"type":"number","value":0}]},{"callback":"sleep","call":0,"event":"settle","outcome":"return"},{"callback":"operation","call":1,"event":"call","args":[{"type":"number","value":2}]},{"callback":"operation","call":1,"event":"settle","outcome":"throw"},{"callback":"sleep","call":1,"event":"call","args":[{"type":"number","value":0}]},{"callback":"sleep","call":1,"event":"settle","outcome":"return"},{"callback":"operation","call":2,"event":"call","args":[{"type":"number","value":3}]},{"callback":"operation","call":2,"event":"settle","outcome":"throw"},{"callback":"sleep","call":2,"event":"call","args":[{"type":"number","value":0}]},{"callback":"sleep","call":2,"event":"settle","outcome":"return"},{"callback":"operation","call":3,"event":"call","args":[{"type":"number","value":4}]},{"callback":"operation","call":3,"event":"settle","outcome":"return"}]}},
+        {"id":"synchronous-operation-and-sleep","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":4}},{"key":"baseDelayMs","value":{"type":"number","value":3}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"sync","repeatLast":true,"steps":[{"outcome":"throw","error":"first"},{"outcome":"throw","error":"second"},{"outcome":"throw","error":"last"},{"outcome":"return","value":{"type":"string","value":"done"}}]},{"id":"sleep","mode":"sync","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}]}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"return","value":{"type":"string","value":"done"},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":4}},{"key":"baseDelayMs","value":{"type":"number","value":3}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[{"callback":"operation","call":0,"event":"call","args":[{"type":"number","value":1}]},{"callback":"sleep","call":0,"event":"call","args":[{"type":"number","value":3}]},{"callback":"operation","call":1,"event":"call","args":[{"type":"number","value":2}]},{"callback":"sleep","call":1,"event":"call","args":[{"type":"number","value":6}]},{"callback":"operation","call":2,"event":"call","args":[{"type":"number","value":3}]},{"callback":"sleep","call":2,"event":"call","args":[{"type":"number","value":12}]},{"callback":"operation","call":3,"event":"call","args":[{"type":"number","value":4}]}]}},
+        {"id":"omitted-options-first-success","args":[{"type":"callback","value":"operation"}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"done"}}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"return","value":{"type":"string","value":"done"},"argsAfter":[{"type":"callback","value":"operation"}],"callbackTrace":[{"callback":"operation","call":0,"event":"call","args":[{"type":"number","value":1}]},{"callback":"operation","call":0,"event":"settle","outcome":"return"}]}},
+        {"id":"explicit-undefined-defaults","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"undefined"}},{"key":"baseDelayMs","value":{"type":"undefined"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"throw","error":"first"},{"outcome":"throw","error":"second"},{"outcome":"throw","error":"last"}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"Error","errorObservation":{"identity":"last","properties":{"type":"record","value":[]}},"argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"undefined"}},{"key":"baseDelayMs","value":{"type":"undefined"}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"callbackTrace":[{"callback":"operation","call":0,"event":"call","args":[{"type":"number","value":1}]},{"callback":"operation","call":0,"event":"settle","outcome":"throw"},{"callback":"sleep","call":0,"event":"call","args":[{"type":"number","value":10}]},{"callback":"sleep","call":0,"event":"settle","outcome":"return"},{"callback":"operation","call":1,"event":"call","args":[{"type":"number","value":2}]},{"callback":"operation","call":1,"event":"settle","outcome":"throw"},{"callback":"sleep","call":1,"event":"call","args":[{"type":"number","value":20}]},{"callback":"sleep","call":1,"event":"settle","outcome":"return"},{"callback":"operation","call":2,"event":"call","args":[{"type":"number","value":3}]},{"callback":"operation","call":2,"event":"settle","outcome":"throw"}]}},
+        {"id":"sleep-failure-stops-retry","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":3}},{"key":"baseDelayMs","value":{"type":"number","value":5}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"throw","error":"first"},{"outcome":"throw","error":"second"},{"outcome":"throw","error":"last"}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"throw","error":"second"}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"Error","argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":3}},{"key":"baseDelayMs","value":{"type":"number","value":5}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"errorObservation":{"identity":"second","properties":{"type":"record","value":[]}},"callbackTrace":[{"callback":"operation","call":0,"event":"call","args":[{"type":"number","value":1}]},{"callback":"operation","call":0,"event":"settle","outcome":"throw"},{"callback":"sleep","call":0,"event":"call","args":[{"type":"number","value":5}]},{"callback":"sleep","call":0,"event":"settle","outcome":"throw"}]}},
+        {"id":"single-final-failure","args":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"awaitResult":true,"observeArgs":true,"observeError":true,"callbacks":[{"id":"operation","mode":"promise","repeatLast":true,"steps":[{"outcome":"throw","error":"last"}]},{"id":"sleep","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}}],"settleAfterJobs":4}],"errors":[{"id":"first","errorClass":"Error","message":"approved first","properties":{"type":"record","value":[]}},{"id":"second","errorClass":"Error","message":"approved second","properties":{"type":"record","value":[]}},{"id":"last","errorClass":"Error","message":"approved last","properties":{"type":"record","value":[]}}],"expected":{"outcome":"throw","errorClass":"Error","argsAfter":[{"type":"callback","value":"operation"},{"type":"record","value":[{"key":"maxAttempts","value":{"type":"number","value":1}},{"key":"baseDelayMs","value":{"type":"number","value":0}},{"key":"sleep","value":{"type":"callback","value":"sleep"}}]}],"errorObservation":{"identity":"last","properties":{"type":"record","value":[]}},"callbackTrace":[{"callback":"operation","call":0,"event":"call","args":[{"type":"number","value":1}]},{"callback":"operation","call":0,"event":"settle","outcome":"throw"}]}}
+      ]}]}
+    },
+    {
+      "id": "partial-checkpoint-resume",
+      "version": 1,
+      "domain": "stateful-recovery",
+      "description": "resumeWork(items, checkpoint, processItem): validate integer nextIndex bounds and dense results length, resume without replay, preserve inputs, collect completed results, and rethrow the same failure with a newly attached checkpoint at the failed index. Return a new completed checkpoint. Includes first-item failure, falsy results, sync/Promise callbacks and recovery from actually observed checkpoint data after a realm reset. This is not a filesystem or OS-crash durability proof.",
+      "parameters": {"call":"export"},
+      "template": {"exportName":{"$parameter":"call"},"checks":[{"id":"declared-api","cases":[
+        {"id":"partial-failure","sequence":"recovery","args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"done:a"}]}}]},{"type":"callback","value":"process"}],"awaitResult":true,"observeArgs":true,"observeError":true,"errors":[{"id":"failed","errorClass":"Error","message":"approved failed","properties":{"type":"record","value":[{"key":"code","value":{"type":"string","value":"E_WORK"}}]}}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"done:b"}},{"outcome":"throw","error":"failed"}]}],"expected":{"outcome":"throw","errorClass":"Error","argsAfter":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"done:a"}]}}]},{"type":"callback","value":"process"}],"callbackTrace":[{"callback":"process","call":0,"event":"call","args":[{"type":"string","value":"b"},{"type":"number","value":1}]},{"callback":"process","call":0,"event":"settle","outcome":"return"},{"callback":"process","call":1,"event":"call","args":[{"type":"string","value":"c"},{"type":"number","value":2}]},{"callback":"process","call":1,"event":"settle","outcome":"throw"}],"errorObservation":{"identity":"failed","properties":{"type":"record","value":[{"key":"code","value":{"type":"string","value":"E_WORK"}},{"key":"checkpoint","value":{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"done:a"},{"type":"string","value":"done:b"}]}}]}}]}},"referenceIdentity":[{"id":"fresh-checkpoint","same":false}]},"referencePairs":[{"id":"fresh-checkpoint","left":{"root":"error","path":["checkpoint"]},"right":{"root":"argument","index":1,"path":[]}}]},
+        {"id":"resumed","sequence":"recovery","reset":true,"awaitResult":true,"observeArgs":true,"observeIdentity":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"error-property","value":"partial-failure","key":"checkpoint"},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"done:c"}},{"outcome":"return","value":{"type":"string","value":"done:d"}}]}],"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":4}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"done:a"},{"type":"string","value":"done:b"},{"type":"string","value":"done:c"},{"type":"string","value":"done:d"}]}}]},"returnIdentity":[],"argsAfter":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"done:a"},{"type":"string","value":"done:b"}]}}]},{"type":"callback","value":"process"}],"callbackTrace":[{"callback":"process","call":0,"event":"call","args":[{"type":"string","value":"c"},{"type":"number","value":2}]},{"callback":"process","call":0,"event":"settle","outcome":"return"},{"callback":"process","call":1,"event":"call","args":[{"type":"string","value":"d"},{"type":"number","value":3}]},{"callback":"process","call":1,"event":"settle","outcome":"return"}]}},
+        {"id":"invalid-0","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"null"},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"invalid-1","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":-1}},{"key":"results","value":{"type":"array","value":[]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"invalid-2","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":5}},{"key":"results","value":{"type":"array","value":[]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"invalid-3","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"invalid-4","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":1.5}},{"key":"results","value":{"type":"array","value":[]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"already-complete","awaitResult":true,"observeIdentity":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":4}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"done:a"},{"type":"string","value":"done:b"},{"type":"string","value":"done:c"},{"type":"string","value":"done:d"}]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":4}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"done:a"},{"type":"string","value":"done:b"},{"type":"string","value":"done:c"},{"type":"string","value":"done:d"}]}}]},"returnIdentity":[],"callbackTrace":[]}},
+        {"id":"invalid-shape-0","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"undefined"},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"invalid-shape-1","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"invalid-shape-2","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"string","value":"0"}},{"key":"results","value":{"type":"array","value":[]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"invalid-shape-3","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":"NaN"}},{"key":"results","value":{"type":"array","value":[]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"invalid-shape-4","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":0}},{"key":"results","value":{"type":"record","value":[]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"invalid-shape-5","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":0}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"extra"}]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"invalid-shape-6","awaitResult":true,"args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":"Infinity"}},{"key":"results","value":{"type":"array","value":[]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"throw","errorClass":"TypeError","callbackTrace":[]}},
+        {"id":"first-remaining-item-fails","args":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"done:a"}]}}]},{"type":"callback","value":"process"}],"awaitResult":true,"observeArgs":true,"observeError":true,"errors":[{"id":"failed","errorClass":"Error","message":"approved failed","properties":{"type":"record","value":[{"key":"code","value":{"type":"string","value":"E_WORK"}}]}}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"throw","error":"failed"}]}],"expected":{"outcome":"throw","errorClass":"Error","argsAfter":[{"type":"array","value":[{"type":"string","value":"a"},{"type":"string","value":"b"},{"type":"string","value":"c"},{"type":"string","value":"d"}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"done:a"}]}}]},{"type":"callback","value":"process"}],"callbackTrace":[{"callback":"process","call":0,"event":"call","args":[{"type":"string","value":"b"},{"type":"number","value":1}]},{"callback":"process","call":0,"event":"settle","outcome":"throw"}],"errorObservation":{"identity":"failed","properties":{"type":"record","value":[{"key":"code","value":{"type":"string","value":"E_WORK"}},{"key":"checkpoint","value":{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"done:a"}]}}]}}]}},"referenceIdentity":[{"id":"fresh-checkpoint","same":false}]},"referencePairs":[{"id":"fresh-checkpoint","left":{"root":"error","path":["checkpoint"]},"right":{"root":"argument","index":1,"path":[]}}]},
+        {"id":"empty-complete","awaitResult":true,"observeIdentity":true,"observeArgs":true,"args":[{"type":"array","value":[]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":0}},{"key":"results","value":{"type":"array","value":[]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"promise","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"string","value":"unreachable"}}]}],"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":0}},{"key":"results","value":{"type":"array","value":[]}}]},"returnIdentity":[],"callbackTrace":[],"argsAfter":[{"type":"array","value":[]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":0}},{"key":"results","value":{"type":"array","value":[]}}]},{"type":"callback","value":"process"}]}},
+        {"id":"start-at-zero-sync-results","awaitResult":true,"observeIdentity":true,"observeArgs":true,"args":[{"type":"array","value":[{"type":"number","value":0},{"type":"boolean","value":false},{"type":"string","value":""}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":0}},{"key":"results","value":{"type":"array","value":[]}}]},{"type":"callback","value":"process"}],"callbacks":[{"id":"process","mode":"sync","repeatLast":true,"steps":[{"outcome":"return","value":{"type":"undefined"}},{"outcome":"return","value":{"type":"null"}},{"outcome":"return","value":{"type":"record","value":[{"key":"value","value":{"type":"boolean","value":false}}]}}]}],"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":3}},{"key":"results","value":{"type":"array","value":[{"type":"undefined"},{"type":"null"},{"type":"record","value":[{"key":"value","value":{"type":"boolean","value":false}}]}]}}]},"returnIdentity":[],"callbackTrace":[{"callback":"process","call":0,"event":"call","args":[{"type":"number","value":0},{"type":"number","value":0}]},{"callback":"process","call":1,"event":"call","args":[{"type":"boolean","value":false},{"type":"number","value":1}]},{"callback":"process","call":2,"event":"call","args":[{"type":"string","value":""},{"type":"number","value":2}]}],"argsAfter":[{"type":"array","value":[{"type":"number","value":0},{"type":"boolean","value":false},{"type":"string","value":""}]},{"type":"record","value":[{"key":"nextIndex","value":{"type":"number","value":0}},{"key":"results","value":{"type":"array","value":[]}}]},{"type":"callback","value":"process"}]}}
+      ]}]}
+    },
+    {
+      "id": "defined-config-precedence",
+      "version": 2,
+      "domain": "configuration-precedence",
+      "description": "Resolve three distinct selected keys across FOUR layers: CLI, environment, file, defaults. Only undefined is absent; preserve falsy and null values and do not mutate layers. Numeric/boolean/text key parameter names label fields rather than impose value types. All key bindings must differ. Version 1 remains the original three-layer contract and is not silently upgraded.",
+      "parameters": {"call":"export","numericKey":"string","booleanKey":"string","textKey":"string"},
+      "template": {"exportName":{"$parameter":"call"},"checks":[{"id":"declared-api","cases":[
+        {"id":"cli-falsy","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":4000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"env"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":5000}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":3000}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":4000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"env"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":5000}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":3000}}]}]}},
+        {"id":"file-before-defaults","args":[{"type":"record","value":[]},{"type":"record","value":[]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":5000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"file"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":3000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"default"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":5000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"file"}}]},"argsAfter":[{"type":"record","value":[]},{"type":"record","value":[]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":5000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"file"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":3000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"default"}}]}]}},
+        {"id":"environment-before-file","args":[{"type":"record","value":[{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"env"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":5000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"file"}}]},{"type":"record","value":[{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"env"}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"env"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":5000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"file"}}]},{"type":"record","value":[{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}}]}]}},
+        {"id":"defaults-only","args":[{"type":"record","value":[]},{"type":"record","value":[]},{"type":"record","value":[]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":3000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"default"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":3000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"default"}}]},"argsAfter":[{"type":"record","value":[]},{"type":"record","value":[]},{"type":"record","value":[]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":3000}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"default"}}]}]}},
+        {"id":"all-absent","args":[],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},"argsAfter":[]}},
+        {"id":"layer-0-defined-0","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-0-defined-1","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-0-defined-2","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-0-defined-3","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-0-defined-4","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-1-defined-0","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-1-defined-1","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-1-defined-2","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-1-defined-3","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-1-defined-4","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-2-defined-0","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-2-defined-1","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-2-defined-2","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-2-defined-3","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-2-defined-4","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":42}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":true}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":"fallback"}}]}]}},
+        {"id":"layer-3-defined-0","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":0}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":0}}]}]}},
+        {"id":"layer-3-defined-1","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"booleanKey"},"value":{"type":"boolean","value":false}},{"key":{"$parameter":"textKey"},"value":{"type":"boolean","value":false}}]}]}},
+        {"id":"layer-3-defined-2","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"booleanKey"},"value":{"type":"string","value":""}},{"key":{"$parameter":"textKey"},"value":{"type":"string","value":""}}]}]}},
+        {"id":"layer-3-defined-3","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"null"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"null"}},{"key":{"$parameter":"textKey"},"value":{"type":"null"}}]}]}},
+        {"id":"layer-3-defined-4","args":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]}],"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]},"argsAfter":[{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"undefined"}},{"key":{"$parameter":"textKey"},"value":{"type":"undefined"}}]},{"type":"record","value":[{"key":{"$parameter":"numericKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"booleanKey"},"value":{"type":"number","value":"NaN"}},{"key":{"$parameter":"textKey"},"value":{"type":"number","value":"NaN"}}]}]}}
+      ]}]}
+    },
+    {
+      "id": "workflow-message-reducer",
+      "version": 1,
+      "domain": "stateful-recovery",
+      "description": "Reducer with currentWorkflow/messages state, workflow/select and message/accepted events, and default initial state. Require nonempty string tagged fields, reject own undefined/null workflow overrides before duplicate handling, preserve exact state on validated duplicate ids, preserve message order across switches, and use a valid override for future work. No input mutation. Exposed finite histories are not exhaustive event-stream verification.",
+      "parameters": {"call":"export"},
+      "template": {"exportName":{"$parameter":"call"},"checks":[{"id":"declared-api","cases":[
+        {"id":"duplicate-valid","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"different"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}],"observeIdentity":true,"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"different"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}]}},
+        {"id":"duplicate-no-active-workflow","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"null"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"different"}}]}],"observeIdentity":true,"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"null"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"null"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"different"}}]}]}},
+        {"id":"switch-preserves-messages","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}],"observeIdentity":true,"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"beta"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}]}},
+        {"id":"new-override","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m2"}},{"key":"text","value":{"type":"string","value":"second"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}],"observeIdentity":true,"observeArgs":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"beta"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]},{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m2"}},{"key":"text","value":{"type":"string","value":"second"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}]}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m2"}},{"key":"text","value":{"type":"string","value":"second"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}]}},
+        {"id":"invalid-duplicate-text","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":""}}]}],"observeIdentity":true,"observeArgs":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":""}}]}]}},
+        {"id":"invalid-duplicate-override","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"different"}},{"key":"workflow","value":{"type":"undefined"}}]}],"observeIdentity":true,"observeArgs":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"different"}},{"key":"workflow","value":{"type":"undefined"}}]}]}},
+        {"id":"invalid-duplicate-null","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"different"}},{"key":"workflow","value":{"type":"null"}}]}],"observeIdentity":true,"observeArgs":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"different"}},{"key":"workflow","value":{"type":"null"}}]}]}},
+        {"id":"invalid-workflow-select","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"string","value":""}}]}],"observeIdentity":true,"observeArgs":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"string","value":""}}]}]}},
+        {"id":"no-active-workflow","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"null"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m2"}},{"key":"text","value":{"type":"string","value":"second"}}]}],"observeIdentity":true,"observeArgs":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"null"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m2"}},{"key":"text","value":{"type":"string","value":"second"}}]}]}},
+        {"id":"malformed-duplicate-id-0","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"undefined"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"undefined"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}},
+        {"id":"malformed-duplicate-id-1","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"null"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"null"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}},
+        {"id":"malformed-duplicate-id-2","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":""}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":""}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}},
+        {"id":"malformed-duplicate-id-3","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"number","value":0}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"number","value":0}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}},
+        {"id":"malformed-duplicate-id-4","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"boolean","value":false}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"boolean","value":false}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}},
+        {"id":"malformed-duplicate-text-0","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"undefined"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"undefined"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}},
+        {"id":"malformed-duplicate-text-1","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"null"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"null"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}},
+        {"id":"malformed-duplicate-text-2","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":""}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":""}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}},
+        {"id":"malformed-duplicate-text-3","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"number","value":0}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"number","value":0}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}},
+        {"id":"malformed-duplicate-text-4","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"boolean","value":false}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"boolean","value":false}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}},
+        {"id":"malformed-duplicate-workflow-0","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"undefined"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"undefined"}}]}]}},
+        {"id":"malformed-duplicate-workflow-1","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"null"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"null"}}]}]}},
+        {"id":"malformed-duplicate-workflow-2","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":""}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"string","value":""}}]}]}},
+        {"id":"malformed-duplicate-workflow-3","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"number","value":0}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"number","value":0}}]}]}},
+        {"id":"malformed-duplicate-workflow-4","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"boolean","value":false}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"valid"}},{"key":"workflow","value":{"type":"boolean","value":false}}]}]}},
+        {"id":"malformed-select-0","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"undefined"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"undefined"}}]}]}},
+        {"id":"malformed-select-1","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"null"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"null"}}]}]}},
+        {"id":"malformed-select-2","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"number","value":0}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"number","value":0}}]}]}},
+        {"id":"malformed-select-3","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"boolean","value":false}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"throw","errorClass":"TypeError","argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"boolean","value":false}}]}]}},
+        {"id":"initial-select","args":[{"type":"undefined"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[]}}]},"returnIdentity":[],"argsAfter":[{"type":"undefined"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]},"sequence":"workflow-history"},
+        {"id":"first-message","args":[{"type":"result","value":"initial-select"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}}]}]},"sequence":"workflow-history"},
+        {"id":"second-workflow","args":[{"type":"result","value":"first-message"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"beta"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"workflow/select"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}]},"sequence":"workflow-history"},
+        {"id":"after-switch-message","args":[{"type":"result","value":"second-workflow"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m2"}},{"key":"text","value":{"type":"string","value":"second"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"beta"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]},{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m2"}},{"key":"text","value":{"type":"string","value":"second"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}]}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"beta"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m2"}},{"key":"text","value":{"type":"string","value":"second"}}]}]},"sequence":"workflow-history"},
+        {"id":"replay-after-reset","args":[{"type":"result","value":"after-switch-message"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"again"}},{"key":"workflow","value":{"type":"string","value":"gamma"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"beta"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]},{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m2"}},{"key":"text","value":{"type":"string","value":"second"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"beta"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]},{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m2"}},{"key":"text","value":{"type":"string","value":"second"}},{"key":"workflow","value":{"type":"string","value":"beta"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"again"}},{"key":"workflow","value":{"type":"string","value":"gamma"}}]}]},"sequence":"workflow-history","reset":true},
+        {"id":"initial-override","args":[{"type":"undefined"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m0"}},{"key":"text","value":{"type":"string","value":"start"}},{"key":"workflow","value":{"type":"string","value":"gamma"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"gamma"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m0"}},{"key":"text","value":{"type":"string","value":"start"}},{"key":"workflow","value":{"type":"string","value":"gamma"}}]}]}}]},"returnIdentity":[],"argsAfter":[{"type":"undefined"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"message/accepted"}},{"key":"id","value":{"type":"string","value":"m0"}},{"key":"text","value":{"type":"string","value":"start"}},{"key":"workflow","value":{"type":"string","value":"gamma"}}]}]}},
+        {"id":"unknown-event","args":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"ignored"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"currentWorkflow","value":{"type":"string","value":"alpha"}},{"key":"messages","value":{"type":"array","value":[{"type":"record","value":[{"key":"id","value":{"type":"string","value":"m1"}},{"key":"text","value":{"type":"string","value":"first"}},{"key":"workflow","value":{"type":"string","value":"alpha"}}]}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"ignored"}}]}]}}
+      ]}]}
+    },
+    {
+      "id": "stale-search-reducer",
+      "version": 1,
+      "domain": "stateful-recovery",
+      "description": "Reducer with requestId/loading/results state and search/start, search/success, search/failure events. Only matching request ids settle; stale completions and unknown events preserve exact state; matching failure preserves results. Includes default initial state and overlapping-request history without input mutation. No epoch or duplicate-settlement rule is inferred for this API.",
+      "parameters": {"call":"export"},
+      "template": {"exportName":{"$parameter":"call"},"checks":[{"id":"declared-api","cases":[
+        {"id":"initial-search","args":[{"type":"undefined"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/start"}},{"key":"requestId","value":{"type":"string","value":"r1"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[]}}]},"returnIdentity":[],"argsAfter":[{"type":"undefined"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/start"}},{"key":"requestId","value":{"type":"string","value":"r1"}}]}]}},
+        {"id":"matching-success","args":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/success"}},{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/success"}},{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}}]}]}},
+        {"id":"matching-failure-preserves-results","args":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/failure"}},{"key":"requestId","value":{"type":"string","value":"current"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/failure"}},{"key":"requestId","value":{"type":"string","value":"current"}}]}]}},
+        {"id":"unknown-action","args":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"ignored"}},{"key":"requestId","value":{"type":"string","value":"current"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"ignored"}},{"key":"requestId","value":{"type":"string","value":"current"}}]}]}},
+        {"id":"stale-success-0","args":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/success"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/success"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}]}},
+        {"id":"stale-failure-0","args":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/failure"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/failure"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}]}},
+        {"id":"stale-success-1","args":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/success"}},{"key":"requestId","value":{"type":"undefined"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/success"}},{"key":"requestId","value":{"type":"undefined"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}]}},
+        {"id":"stale-failure-1","args":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/failure"}},{"key":"requestId","value":{"type":"undefined"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/failure"}},{"key":"requestId","value":{"type":"undefined"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}]}},
+        {"id":"stale-success-2","args":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/success"}},{"key":"requestId","value":{"type":"number","value":7}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/success"}},{"key":"requestId","value":{"type":"number","value":7}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}]}},
+        {"id":"stale-failure-2","args":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/failure"}},{"key":"requestId","value":{"type":"number","value":7}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/failure"}},{"key":"requestId","value":{"type":"number","value":7}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}]}},
+        {"id":"new-search","args":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/start"}},{"key":"requestId","value":{"type":"string","value":"new"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"new"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/start"}},{"key":"requestId","value":{"type":"string","value":"new"}}]}]},"sequence":"search-history"},
+        {"id":"old-after-new","args":[{"type":"result","value":"new-search"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/success"}},{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"new"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"new"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/success"}},{"key":"requestId","value":{"type":"string","value":"current"}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"wrong"}]}}]}]},"sequence":"search-history"},
+        {"id":"new-failure","args":[{"type":"result","value":"old-after-new"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/failure"}},{"key":"requestId","value":{"type":"string","value":"new"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"new"}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"requestId","value":{"type":"string","value":"new"}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"search/failure"}},{"key":"requestId","value":{"type":"string","value":"new"}}]}]},"sequence":"search-history"}
+      ]}]}
+    },
+    {
+      "id": "epoch-request-lifecycle",
+      "version": 1,
+      "domain": "stateful-recovery",
+      "description": "Reducer with activeRequestId/connectionEpoch/loading/results/error state. Start records id and epoch and clears error; success/failure require both active id and epoch, clear loading and active request; success copies result arrays. Newer reconnect cancels active work and clears error without losing results. Stale, duplicate, same/older reconnect and unknown events preserve exact state. Includes defaults, no input mutation and reset histories. No transport or distributed-consistency proof.",
+      "parameters": {"call":"export"},
+      "template": {"exportName":{"$parameter":"call"},"checks":[{"id":"declared-api","cases":[
+        {"id":"matching-success-fresh-array","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}}]}],"referenceIdentity":[{"id":"fresh-results","same":false}]},"referencePairs":[{"id":"fresh-results","left":{"root":"return","path":["results"]},"right":{"root":"argument","index":1,"path":["results"]}}]},
+        {"id":"failure-clears-active","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"error","value":{"type":"string","value":"failed"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"string","value":"failed"}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"error","value":{"type":"string","value":"failed"}}]}]}},
+        {"id":"start-records-epoch-and-clears-error","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"string","value":"old"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/start"}},{"key":"requestId","value":{"type":"string","value":"r2"}},{"key":"epoch","value":{"type":"number","value":3}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r2"}},{"key":"connectionEpoch","value":{"type":"number","value":3}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"string","value":"old"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/start"}},{"key":"requestId","value":{"type":"string","value":"r2"}},{"key":"epoch","value":{"type":"number","value":3}}]}]}},
+        {"id":"default-start","args":[{"type":"undefined"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/start"}},{"key":"requestId","value":{"type":"string","value":"r0"}},{"key":"epoch","value":{"type":"number","value":1}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r0"}},{"key":"connectionEpoch","value":{"type":"number","value":1}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[],"argsAfter":[{"type":"undefined"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/start"}},{"key":"requestId","value":{"type":"string","value":"r0"}},{"key":"epoch","value":{"type":"number","value":1}}]}]}},
+        {"id":"reconnect-cancels-active","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"string","value":"old"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"connection/reconnect"}},{"key":"epoch","value":{"type":"number","value":3}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":3}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"string","value":"old"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"connection/reconnect"}},{"key":"epoch","value":{"type":"number","value":3}}]}]}},
+        {"id":"same-reconnect-unchanged","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"connection/reconnect"}},{"key":"epoch","value":{"type":"number","value":2}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"connection/reconnect"}},{"key":"epoch","value":{"type":"number","value":2}}]}]}},
+        {"id":"older-reconnect-unchanged","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"connection/reconnect"}},{"key":"epoch","value":{"type":"number","value":1}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"connection/reconnect"}},{"key":"epoch","value":{"type":"number","value":1}}]}]}},
+        {"id":"unknown-action","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"ignored"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"ignored"}}]}]}},
+        {"id":"stale-success-0","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}]}},
+        {"id":"stale-failure-0","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}]}},
+        {"id":"stale-success-1","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}]}},
+        {"id":"stale-failure-1","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}]}},
+        {"id":"stale-success-2","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":3}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":3}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}]}},
+        {"id":"stale-failure-2","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":3}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":3}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}]}},
+        {"id":"stale-success-3","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"epoch","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"epoch","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}]}},
+        {"id":"stale-failure-3","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"epoch","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"old"}},{"key":"epoch","value":{"type":"number","value":1}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"string","value":"wrong"}}]}]}},
+        {"id":"settle-before-duplicate","args":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"string","value":"r1"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":true}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"previous"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}}]}],"referenceIdentity":[{"id":"fresh-results","same":false}]},"referencePairs":[{"id":"fresh-results","left":{"root":"return","path":["results"]},"right":{"root":"argument","index":1,"path":["results"]}}],"sequence":"request-history"},
+        {"id":"duplicate-success","args":[{"type":"result","value":"settle-before-duplicate"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}}]}]},"sequence":"request-history"},
+        {"id":"duplicate-failure","args":[{"type":"result","value":"duplicate-success"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"error","value":{"type":"string","value":"wrong"}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/failure"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"error","value":{"type":"string","value":"wrong"}}]}]},"sequence":"request-history"},
+        {"id":"reconnect-after-settle","args":[{"type":"result","value":"duplicate-failure"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"connection/reconnect"}},{"key":"epoch","value":{"type":"number","value":3}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":3}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":2}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"connection/reconnect"}},{"key":"epoch","value":{"type":"number","value":3}}]}]},"sequence":"request-history"},
+        {"id":"old-epoch-after-reset","args":[{"type":"result","value":"reconnect-after-settle"},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}}]}],"observeArgs":true,"observeIdentity":true,"expected":{"outcome":"return","value":{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":3}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"null"}}]},"returnIdentity":[0],"argsAfter":[{"type":"record","value":[{"key":"activeRequestId","value":{"type":"null"}},{"key":"connectionEpoch","value":{"type":"number","value":3}},{"key":"loading","value":{"type":"boolean","value":false}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}},{"key":"error","value":{"type":"null"}}]},{"type":"record","value":[{"key":"type","value":{"type":"string","value":"request/success"}},{"key":"requestId","value":{"type":"string","value":"r1"}},{"key":"epoch","value":{"type":"number","value":2}},{"key":"results","value":{"type":"array","value":[{"type":"string","value":"fresh"}]}}]}]},"sequence":"request-history","reset":true}
+      ]}]}
+    }
+  ]
+}