agentskeptic 6.5.0 → 7.0.0

package/README.md

@@ -18,9 +18,9 @@ AgentSkeptic re-checks the stores your agent claims to change, then returns a de
 
 workflow_id: wf_complete
 workflow_status: complete
-trust: TRUSTED: Every step matched the database under the configured verification rules.
+trust: TRUSTED: Every step matched registry-backed expected state under the configured verification rules.
 steps:
-  - seq=0 tool=crm.upsert_contact result=Matched the database.
+  - seq=0 tool=crm.upsert_contact result=Matched registry-backed expected state.
 
 {
   "schemaVersion": 15,
@@ -34,7 +34,7 @@ steps:
 workflow_id: wf_missing
 workflow_status: inconsistent
 steps:
-  - seq=0 tool=crm.upsert_contact result=Expected row is missing from the database.
+  - seq=0 tool=crm.upsert_contact result=Expected state at the verification target was not found (for example a missing row or absent witness result).
     reference_code: ROW_ABSENT
 
 {
@@ -58,7 +58,7 @@ steps:
 <!-- adoption-canonical:start -->
 ## Default path: one truth check
 
-Compare recorded tool activity to your database and get an **Outcome Certificate** (stdout) plus a **`truth_check_verdict`** line on stderr:
+Compare recorded tool activity to downstream state (SQL and, in contract mode, HTTP witnesses, object storage, vectors, Mongo per your registry) and get an **Outcome Certificate** (stdout) plus a **`truth_check_verdict`** line on stderr:
 
 ```bash
 npx agentskeptic check --workflow-id wf_example \
@@ -72,7 +72,7 @@ With the conventional layout, **`--registry`** and **`--events`** default to **`
 
 ### Lifecycle
 
-1. Keep **`agentskeptic/tools.json`** in version control; update when `toolId` → SQL mapping changes.
+1. Keep **`agentskeptic/tools.json`** in version control; update when `toolId` → verification mapping changes.
 2. Emit observations via the canonical SDK emitter, then append emitted rows to the gate buffer. Optionally mirror the same JSON lines to **`agentskeptic/events.ndjson`** for CI replay.
 3. On the code path **before** irreversible work you control (ship, bill, ticket close), call **`await gate.assertSafeForIrreversibleAction()`** so **unsafe** trust (or required emissions that never reached the gate) blocks **that** branch — it is not a substitute for wiring the gate everywhere it matters, and outcomes can still be **`unknown`** when **`highStakesReliance`** is not **`permitted`** (see [`docs/outcome-certificate-normative.md`](docs/outcome-certificate-normative.md)).
 
@@ -272,7 +272,7 @@ Replay the bundled files: **`wf_complete`** / **`examples/events.ndjson`** / **`
 **Quick Verify** (`agentskeptic quick`): inferred checks, **no registry file**; **provisional**, not audit-final—graduate to **contract mode** for explicit per-tool expectations. Full contract: **[`docs/quick-verify-normative.md`](docs/quick-verify-normative.md)**.
 
 **Input contract:** We only accept **structured tool activity**—JSON or NDJSON that describes tool calls and parameters our ingest model can extract—not arbitrary logs, traces, or unstructured observability text.
-Verification uses read-only SQL against your database; API-only or non-SQL systems are out of scope for this tool.
+**Quick** uses read-only SQL against the database you pass in. **Contract** verification adds registry-backed checks for HTTP witnesses, object storage, vector indexes, and Mongo where configured—see [`docs/verification-state-stores.md`](docs/verification-state-stores.md).
 
 ```bash
 npm run build

package/config/marketing.json

@@ -42,7 +42,7 @@
   },
   "shareableTerminalDemo": {
     "title": "Bundled terminal proof",
-    "transcript": "### Success (`wf_complete`)\n\nworkflow_id: wf_complete\nworkflow_status: complete\ntrust: TRUSTED: Every step matched the database under the configured verification rules.\nsteps:\n  - seq=0 tool=crm.upsert_contact result=Matched the database.\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_complete\",\n  \"status\": \"complete\",\n  \"steps\": [{ \"seq\": 0, \"toolId\": \"crm.upsert_contact\", \"status\": \"verified\" }]\n}\n\n### Failure (`wf_missing`)\n\nworkflow_id: wf_missing\nworkflow_status: inconsistent\nsteps:\n  - seq=0 tool=crm.upsert_contact result=Expected row is missing from the database.\n    reference_code: ROW_ABSENT\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_missing\",\n  \"status\": \"inconsistent\",\n  \"steps\": [\n    {\n      \"seq\": 0,\n      \"toolId\": \"crm.upsert_contact\",\n      \"status\": \"missing\",\n      \"reasons\": [{ \"code\": \"ROW_ABSENT\" }]\n    }\n  ]\n}"
+    "transcript": "### Success (`wf_complete`)\n\nworkflow_id: wf_complete\nworkflow_status: complete\ntrust: TRUSTED: Every step matched registry-backed expected state under the configured verification rules.\nsteps:\n  - seq=0 tool=crm.upsert_contact result=Matched registry-backed expected state.\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_complete\",\n  \"status\": \"complete\",\n  \"steps\": [{ \"seq\": 0, \"toolId\": \"crm.upsert_contact\", \"status\": \"verified\" }]\n}\n\n### Failure (`wf_missing`)\n\nworkflow_id: wf_missing\nworkflow_status: inconsistent\nsteps:\n  - seq=0 tool=crm.upsert_contact result=Expected state at the verification target was not found (for example a missing row or absent witness result).\n    reference_code: ROW_ABSENT\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_missing\",\n  \"status\": \"inconsistent\",\n  \"steps\": [\n    {\n      \"seq\": 0,\n      \"toolId\": \"crm.upsert_contact\",\n      \"status\": \"missing\",\n      \"reasons\": [{ \"code\": \"ROW_ABSENT\" }]\n    }\n  ]\n}"
   },
   "cliFollowupLines": [
     "Context: {{ACQUISITION_URL}}",

package/dist/agentRunRecord.d.ts

@@ -68,6 +68,8 @@ export type AgentRunRecordV2 = {
 };
 export type AgentRunRecord = AgentRunRecordV1 | AgentRunRecordV2;
 export declare function sha256Hex(bytes: Buffer): string;
+/** LF-canonical digest input for text artifacts (matches Git `text eol=lf` and `loadCorpusRun` checks). */
+export declare function lfCanonicalUtf8Payload(bytes: Buffer): Buffer;
 export type BuildAgentRunRecordInput = {
     runId: string;
     workflowId: string;

package/dist/agentRunRecord.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"agentRunRecord.d.ts","sourceRoot":"","sources":["../src/agentRunRecord.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,wBAAwB,yBAAyB,CAAC;AAC/D,eAAO,MAAM,eAAe,kBAAkB,CAAC;AAC/C,eAAO,MAAM,kCAAkC,6BAA6B,CAAC;AAE7E,8FAA8F;AAC9F,eAAO,MAAM,kBAAkB,mBAAmB,CAAC;AACnD,eAAO,MAAM,eAAe,kBAAkB,CAAC;AAC/C,eAAO,MAAM,wBAAwB,yBAA2B,CAAC;AACjE,eAAO,MAAM,4BAA4B,6BAAqC,CAAC;AAE/E,MAAM,MAAM,YAAY,GAAG;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,oEAAoE;AACpE,MAAM,MAAM,gBAAgB,GAAG;IAC7B,aAAa,EAAE,CAAC,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE;QACT,cAAc,EAAE;YAAE,YAAY,EAAE,OAAO,wBAAwB,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;QACtG,MAAM,EAAE;YAAE,YAAY,EAAE,OAAO,eAAe,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;KACtF,CAAC;CACH,CAAC;AAEF,kEAAkE;AAClE,MAAM,MAAM,gBAAgB,GAAG;IAC7B,aAAa,EAAE,CAAC,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE;QACT,cAAc,EAAE;YAAE,YAAY,EAAE,OAAO,wBAAwB,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;QACtG,MAAM,EAAE;YAAE,YAAY,EAAE,OAAO,eAAe,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;QACrF,uBAAuB,EAAE;YACvB,YAAY,EAAE,OAAO,kCAAkC,CAAC;YACxD,MAAM,EAAE,MAAM,CAAC;YACf,UAAU,EAAE,MAAM,CAAC;SACpB,CAAC;KACH,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,gBAAgB,GAAG,gBAAgB,CAAC;AAEjE,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,MAAM,MAAM,wBAAwB,GAAG;IACrC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,8DAA8D;IAC9D,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,wBAAwB,GAAG,cAAc,CA6C5F"}
+{"version":3,"file":"agentRunRecord.d.ts","sourceRoot":"","sources":["../src/agentRunRecord.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,wBAAwB,yBAAyB,CAAC;AAC/D,eAAO,MAAM,eAAe,kBAAkB,CAAC;AAC/C,eAAO,MAAM,kCAAkC,6BAA6B,CAAC;AAE7E,8FAA8F;AAC9F,eAAO,MAAM,kBAAkB,mBAAmB,CAAC;AACnD,eAAO,MAAM,eAAe,kBAAkB,CAAC;AAC/C,eAAO,MAAM,wBAAwB,yBAA2B,CAAC;AACjE,eAAO,MAAM,4BAA4B,6BAAqC,CAAC;AAE/E,MAAM,MAAM,YAAY,GAAG;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,oEAAoE;AACpE,MAAM,MAAM,gBAAgB,GAAG;IAC7B,aAAa,EAAE,CAAC,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE;QACT,cAAc,EAAE;YAAE,YAAY,EAAE,OAAO,wBAAwB,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;QACtG,MAAM,EAAE;YAAE,YAAY,EAAE,OAAO,eAAe,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;KACtF,CAAC;CACH,CAAC;AAEF,kEAAkE;AAClE,MAAM,MAAM,gBAAgB,GAAG;IAC7B,aAAa,EAAE,CAAC,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE;QACT,cAAc,EAAE;YAAE,YAAY,EAAE,OAAO,wBAAwB,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;QACtG,MAAM,EAAE;YAAE,YAAY,EAAE,OAAO,eAAe,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;QACrF,uBAAuB,EAAE;YACvB,YAAY,EAAE,OAAO,kCAAkC,CAAC;YACxD,MAAM,EAAE,MAAM,CAAC;YACf,UAAU,EAAE,MAAM,CAAC;SACpB,CAAC;KACH,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,gBAAgB,GAAG,gBAAgB,CAAC;AAEjE,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,2GAA2G;AAC3G,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE5D;AAED,MAAM,MAAM,wBAAwB,GAAG;IACrC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,8DAA8D;IAC9D,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,wBAAwB,GAAG,cAAc,CAgD5F"}

package/dist/agentRunRecord.js

@@ -10,6 +10,10 @@ export const WORKFLOW_RESULT_SIG_FILENAME = WORKFLOW_RESULT_SIGNATURE_RELATIVE;
 export function sha256Hex(bytes) {
     return createHash("sha256").update(bytes).digest("hex");
 }
+/** LF-canonical digest input for text artifacts (matches Git `text eol=lf` and `loadCorpusRun` checks). */
+export function lfCanonicalUtf8Payload(bytes) {
+    return Buffer.from(bytes.toString("utf8").replace(/\r\n/g, "\n"), "utf8");
+}
 export function buildAgentRunRecordForBundle(input) {
     const base = {
         runId: input.runId,
@@ -19,15 +23,17 @@ export function buildAgentRunRecordForBundle(input) {
         ...(input.customerId !== undefined && input.customerId !== "" ? { customerId: input.customerId } : {}),
         ...(input.capturedAt !== undefined && input.capturedAt !== "" ? { capturedAt: input.capturedAt } : {}),
     };
+    const workflowDigestBytes = lfCanonicalUtf8Payload(input.workflowResultBytes);
+    const eventsDigestBytes = lfCanonicalUtf8Payload(input.eventsBytes);
     const workflowResult = {
         relativePath: WORKFLOW_RESULT_RELATIVE,
-        sha256: sha256Hex(input.workflowResultBytes),
-        byteLength: input.workflowResultBytes.length,
+        sha256: sha256Hex(workflowDigestBytes),
+        byteLength: workflowDigestBytes.length,
     };
     const events = {
         relativePath: EVENTS_RELATIVE,
-        sha256: sha256Hex(input.eventsBytes),
-        byteLength: input.eventsBytes.length,
+        sha256: sha256Hex(eventsDigestBytes),
+        byteLength: eventsDigestBytes.length,
     };
     const sigBytes = input.workflowResultSignatureBytes;
     if (sigBytes !== undefined) {

package/dist/agentRunRecord.js.map

@@ -1 +1 @@
-{"version":3,"file":"agentRunRecord.js","sourceRoot":"","sources":["../src/agentRunRecord.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,MAAM,CAAC,MAAM,wBAAwB,GAAG,sBAAsB,CAAC;AAC/D,MAAM,CAAC,MAAM,eAAe,GAAG,eAAe,CAAC;AAC/C,MAAM,CAAC,MAAM,kCAAkC,GAAG,0BAA0B,CAAC;AAE7E,8FAA8F;AAC9F,MAAM,CAAC,MAAM,kBAAkB,GAAG,gBAAgB,CAAC;AACnD,MAAM,CAAC,MAAM,eAAe,GAAG,eAAe,CAAC;AAC/C,MAAM,CAAC,MAAM,wBAAwB,GAAG,wBAAwB,CAAC;AACjE,MAAM,CAAC,MAAM,4BAA4B,GAAG,kCAAkC,CAAC;AA6C/E,MAAM,UAAU,SAAS,CAAC,KAAa;IACrC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAeD,MAAM,UAAU,4BAA4B,CAAC,KAA+B;IAC1E,MAAM,IAAI,GAAG;QACX,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtG,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvG,CAAC;IAEF,MAAM,cAAc,GAAoD;QACtE,YAAY,EAAE,wBAAwB;QACtC,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,mBAAmB,CAAC;QAC5C,UAAU,EAAE,KAAK,CAAC,mBAAmB,CAAC,MAAM;KAC7C,CAAC;IACF,MAAM,MAAM,GAA4C;QACtD,YAAY,EAAE,eAAe;QAC7B,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC;QACpC,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM;KACrC,CAAC;IAEF,MAAM,QAAQ,GAAG,KAAK,CAAC,4BAA4B,CAAC;IACpD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAqB;YAC5B,GAAG,IAAI;YACP,aAAa,EAAE,CAAC;YAChB,SAAS,EAAE;gBACT,cAAc;gBACd,MAAM;gBACN,uBAAuB,EAAE;oBACvB,YAAY,EAAE,kCAAkC;oBAChD,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC;oBAC3B,UAAU,EAAE,QAAQ,CAAC,MAAM;iBACuC;aACrE;SACF,CAAC;QACF,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,GAAG,GAAqB;QAC5B,GAAG,IAAI;QACP,aAAa,EAAE,CAAC;QAChB,SAAS,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE;KACtC,CAAC;IACF,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"agentRunRecord.js","sourceRoot":"","sources":["../src/agentRunRecord.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,MAAM,CAAC,MAAM,wBAAwB,GAAG,sBAAsB,CAAC;AAC/D,MAAM,CAAC,MAAM,eAAe,GAAG,eAAe,CAAC;AAC/C,MAAM,CAAC,MAAM,kCAAkC,GAAG,0BAA0B,CAAC;AAE7E,8FAA8F;AAC9F,MAAM,CAAC,MAAM,kBAAkB,GAAG,gBAAgB,CAAC;AACnD,MAAM,CAAC,MAAM,eAAe,GAAG,eAAe,CAAC;AAC/C,MAAM,CAAC,MAAM,wBAAwB,GAAG,wBAAwB,CAAC;AACjE,MAAM,CAAC,MAAM,4BAA4B,GAAG,kCAAkC,CAAC;AA6C/E,MAAM,UAAU,SAAS,CAAC,KAAa;IACrC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,sBAAsB,CAAC,KAAa;IAClD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;AAC5E,CAAC;AAeD,MAAM,UAAU,4BAA4B,CAAC,KAA+B;IAC1E,MAAM,IAAI,GAAG;QACX,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtG,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvG,CAAC;IAEF,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAC9E,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAEpE,MAAM,cAAc,GAAoD;QACtE,YAAY,EAAE,wBAAwB;QACtC,MAAM,EAAE,SAAS,CAAC,mBAAmB,CAAC;QACtC,UAAU,EAAE,mBAAmB,CAAC,MAAM;KACvC,CAAC;IACF,MAAM,MAAM,GAA4C;QACtD,YAAY,EAAE,eAAe;QAC7B,MAAM,EAAE,SAAS,CAAC,iBAAiB,CAAC;QACpC,UAAU,EAAE,iBAAiB,CAAC,MAAM;KACrC,CAAC;IAEF,MAAM,QAAQ,GAAG,KAAK,CAAC,4BAA4B,CAAC;IACpD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAqB;YAC5B,GAAG,IAAI;YACP,aAAa,EAAE,CAAC;YAChB,SAAS,EAAE;gBACT,cAAc;gBACd,MAAM;gBACN,uBAAuB,EAAE;oBACvB,YAAY,EAAE,kCAAkC;oBAChD,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC;oBAC3B,UAAU,EAAE,QAAQ,CAAC,MAAM;iBACuC;aACrE;SACF,CAAC;QACF,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,GAAG,GAAqB;QAC5B,GAAG,IAAI;QACP,aAAa,EAAE,CAAC;QAChB,SAAS,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE;KACtC,CAAC;IACF,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/correctnessDefinition.js

@@ -2,7 +2,7 @@ import { PLAN_TRANSITION_WORKFLOW_ID } from "./planTransitionConstants.js";
 import { deriveQuickRemediationAlignment } from "./actionableFailure.js";
 import { policyFragment } from "./failureExplanation.js";
 import { formatOperationalMessage } from "./failureCatalog.js";
-import { templateEventCaptureEnforceAs, templateEventCaptureMustHold, templatePlanTransitionEnforceAs, templatePlanTransitionMustHold, templateQuickGapEnforceAs, templateQuickGapMustHold, templateQuickRelEnforceAs, templateQuickRelMustHold, templateQuickRowEnforceAs, templateQuickRowMustHold, templateRunContextEnforceAs, templateRunContextMustHold, templateRunIngestEnforceAs, templateRunIngestMustHold, templateStepSqlEnforceAs, templateStepSqlMustHold, } from "./correctnessDefinitionTemplates.js";
+import { templateEventCaptureEnforceAs, templateEventCaptureMustHold, templatePlanTransitionEnforceAs, templatePlanTransitionMustHold, templateQuickGapEnforceAs, templateQuickGapMustHold, templateQuickRelEnforceAs, templateQuickRelMustHold, templateQuickRowEnforceAs, templateQuickRowMustHold, templateRunContextEnforceAs, templateRunContextMustHold, templateRunIngestEnforceAs, templateRunIngestMustHold, templateStepRegistryEnforceAs, templateStepRegistryMustHold, } from "./correctnessDefinitionTemplates.js";
 export class CorrectnessDefinitionInvariantError extends Error {
     code;
     constructor(code, message) {
@@ -168,18 +168,18 @@ export function buildWorkflowCorrectnessDefinition(engine, fe, fa, truthSteps) {
             };
         }
         const projection = {
-            projectionKind: "step_sql_expectation",
+            projectionKind: "step_registry_expectation",
             workflowId: W,
             verificationPolicyFragment: P,
             seq: e0.seq,
             toolId: T,
             verificationRequest: driver.verificationRequest,
         };
-        const [a0, a1] = templateStepSqlEnforceAs(S);
+        const [a0, a1] = templateStepRegistryEnforceAs(S);
         return {
             schemaVersion: 1,
-            enforcementKind: "step_sql_expectation",
-            mustAlwaysHold: formatOperationalMessage(templateStepSqlMustHold({ W, S, T, P })),
+            enforcementKind: "step_registry_expectation",
+            mustAlwaysHold: formatOperationalMessage(templateStepRegistryMustHold({ W, S, T, P })),
             enforceAs: [formatOperationalMessage(a0), formatOperationalMessage(a1)],
             enforceableProjection: projection,
             remediationAlignment,

package/dist/correctnessDefinition.js.map

@@ -1 +1 @@
-{"version":3,"file":"correctnessDefinition.js","sourceRoot":"","sources":["../src/correctnessDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAY/D,OAAO,EACL,6BAA6B,EAC7B,4BAA4B,EAC5B,+BAA+B,EAC/B,8BAA8B,EAC9B,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,2BAA2B,EAC3B,0BAA0B,EAC1B,0BAA0B,EAC1B,yBAAyB,EACzB,wBAAwB,EACxB,uBAAuB,GACxB,MAAM,qCAAqC,CAAC;AAO7C,MAAM,OAAO,mCAAoC,SAAQ,KAAK;IACnD,IAAI,CAAqC;IAClD,YAAY,IAAwC,EAAE,OAAe;QACnE,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,qCAAqC,CAAC;IACpD,CAAC;CACF;AAyBD,SAAS,OAAO,CAAC,EAAwB;IACvC,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAU,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,eAAe,CAAC,KAAe;IACtC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAY;IAC/C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,iBAAiB;YACpB,OAAO,iCAAiC,CAAC;QAC3C,KAAK,kBAAkB,CAAC;QACxB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,uBAAuB;YAC1B,OAAO,yCAAyC,CAAC;QACnD,KAAK,mBAAmB;YACtB,OAAO,iCAAiC,CAAC;QAC3C,KAAK,wBAAwB;YAC3B,OAAO,uCAAuC,CAAC;QACjD,KAAK,sBAAsB;YACzB,OAAO,qCAAqC,CAAC;QAC/C,KAAK,cAAc;YACjB,OAAO,qCAAqC,CAAC;QAC/C;YACE,MAAM,IAAI,mCAAmC,CAC3C,sCAAsC,EACtC,8DAA8D,IAAI,EAAE,CACrE,CAAC;IACN,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,kCAAkC,CAChD,MAA4B,EAC5B,EAAwB,EACxB,EAAmB,EACnB,UAA+B;IAE/B,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IACtB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACxC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,qDAAqD,CACtD,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrC,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,eAAe,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,oBAAoB,GAAoC;QAC5D,iBAAiB,EAAE,EAAE,CAAC,iBAAiB,CAAC,iBAAiB;QACzD,cAAc,EAAE,EAAE,CAAC,iBAAiB,CAAC,cAAc;KACpD,CAAC;IAEF,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC;QACtE,MAAM,UAAU,GAAwB;YACtC,cAAc,EAAE,sBAAsB;YACtC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,mBAAmB,EAAE,QAAQ;YAC7B,yBAAyB,EAAE,+BAA+B;SAC3D,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;QACtD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,sBAAsB;YACvC,cAAc,EAAE,wBAAwB,CACtC,yBAAyB,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CACnF;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAwB;YACtC,cAAc,EAAE,sBAAsB;YACtC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,mBAAmB,EAAE,QAAQ;YAC7B,yBAAyB,EAAE,uBAAuB;SACnD,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;QACtD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,sBAAsB;YACvC,cAAc,EAAE,wBAAwB,CACtC,yBAAyB,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CACpF;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,gBAAgB,EAAE,CAAC;QAClC,MAAM,UAAU,GAA2B;YACzC,cAAc,EAAE,yBAAyB;YACzC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,2BAA2B,EAAE,QAAQ;SACtC,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,6BAA6B,CAAC,QAAQ,CAAC,CAAC;QACzD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,yBAAyB;YAC1C,cAAc,EAAE,wBAAwB,CAAC,4BAA4B,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC1G,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,aAAa,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,IAAI,mCAAmC,CAC3C,uCAAuC,EACvC,kEAAkE,CACnE,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAyB;YACvC,cAAc,EAAE,sBAAsB;YACtC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,WAAW,EAAE,EAAE,CAAC,WAAW;YAC3B,wBAAwB,EAAE,QAAQ;YAClC,sBAAsB,EAAE,QAAQ;SACjC,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,QAAQ,CAAC;QACnB,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAC;QAChD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,sBAAsB;YACvC,cAAc,EAAE,wBAAwB,CACtC,0BAA0B,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CACrE;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACpD,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,8DAA8D,CAC/D,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;QACpF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,mDAAmD,CACpD,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;QAC9E,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,uCAAuC,CACxC,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;QACpB,MAAM,CAAC,GAAG,UAAU,CAAC;QAErB,IAAI,UAAU,KAAK,2BAA2B,EAAE,CAAC;YAC/C,MAAM,UAAU,GAA6B;gBAC3C,cAAc,EAAE,6BAA6B;gBAC7C,UAAU,EAAE,CAAC;gBACb,0BAA0B,EAAE,CAAC;gBAC7B,GAAG,EAAE,EAAE,CAAC,GAAG;gBACX,MAAM,EAAE,CAAC;gBACT,YAAY,EAAE,EAAE,CAAC,YAAY;gBAC7B,YAAY,EAAE,QAAQ;aACvB,CAAC;YACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,+BAA+B,EAAE,CAAC;YACnD,OAAO;gBACL,aAAa,EAAE,CAAC;gBAChB,eAAe,EAAE,6BAA6B;gBAC9C,cAAc,EAAE,wBAAwB,CACtC,8BAA8B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAChE;gBACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;gBACvE,qBAAqB,EAAE,UAAU;gBACjC,oBAAoB;aACrB,CAAC;QACJ,CAAC;QAED,MAAM,UAAU,GAAsB;YACpC,cAAc,EAAE,sBAAsB;YACtC,UAAU,EAAE,CAAC;YACb,0BAA0B,EAAE,CAAC;YAC7B,GAAG,EAAE,EAAE,CAAC,GAAG;YACX,MAAM,EAAE,CAAC;YACT,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;SAChD,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,CAAC;QAC7C,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,sBAAsB;YACvC,cAAc,EAAE,wBAAwB,CAAC,uBAAuB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACjF,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,8CAA8C,QAAQ,EAAE,CACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,IASnD;IACC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;IAErD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvD,OAAO;gBACL,aAAa,EAAE,CAAC;gBAChB,eAAe,EAAE,wBAAwB;gBACzC,cAAc,EAAE,wBAAwB,CACtC,wBAAwB,CAAC;oBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;oBAC3B,KAAK,EAAE,IAAI,CAAC,KAAK;iBAClB,CAAC,CACH;gBACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;gBACvE,qBAAqB,EAAE;oBACrB,cAAc,EAAE,wBAAwB;oBACxC,gBAAgB,EAAE,IAAI;oBACtB,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,aAAa,EAAE,IAAI,CAAC,aAAa;iBAClC;gBACD,oBAAoB,EAAE,EAAE;aACzB,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,yBAAyB,EAAE,CAAC;QAC7C,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,mBAAmB;YACpC,cAAc,EAAE,wBAAwB,CACtC,wBAAwB,CAAC;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;gBAC3B,KAAK,EAAE,KAAK;aACb,CAAC,CACH;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE;gBACrB,cAAc,EAAE,mBAAmB;gBACnC,gBAAgB,EAAE,IAAI;gBACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,WAAW,EAAE,QAAQ;gBACrB,KAAK,EAAE,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI;aACrD;YACD,oBAAoB,EAAE,EAAE;SACzB,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,eAAgB,CAAC;IAClC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3D,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,eAAe,EAAE,2BAA2B;QAC5C,cAAc,EAAE,wBAAwB,CACtC,wBAAwB,CAAC;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;YAC3B,CAAC,EAAE,GAAG,CAAC,UAAU;SAClB,CAAC,CACH;QACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;QACvE,qBAAqB,EAAE;YACrB,cAAc,EAAE,2BAA2B;YAC3C,gBAAgB,EAAE,IAAI;YACtB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,OAAO,EAAE,GAAG,CAAC,EAAE;YACf,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;SACxE;QACD,oBAAoB,EAAE,EAAE;KACzB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"correctnessDefinition.js","sourceRoot":"","sources":["../src/correctnessDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAY/D,OAAO,EACL,6BAA6B,EAC7B,4BAA4B,EAC5B,+BAA+B,EAC/B,8BAA8B,EAC9B,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,2BAA2B,EAC3B,0BAA0B,EAC1B,0BAA0B,EAC1B,yBAAyB,EACzB,6BAA6B,EAC7B,4BAA4B,GAC7B,MAAM,qCAAqC,CAAC;AAO7C,MAAM,OAAO,mCAAoC,SAAQ,KAAK;IACnD,IAAI,CAAqC;IAClD,YAAY,IAAwC,EAAE,OAAe;QACnE,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,qCAAqC,CAAC;IACpD,CAAC;CACF;AAyBD,SAAS,OAAO,CAAC,EAAwB;IACvC,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAU,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,eAAe,CAAC,KAAe;IACtC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAY;IAC/C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,iBAAiB;YACpB,OAAO,iCAAiC,CAAC;QAC3C,KAAK,kBAAkB,CAAC;QACxB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,uBAAuB;YAC1B,OAAO,yCAAyC,CAAC;QACnD,KAAK,mBAAmB;YACtB,OAAO,iCAAiC,CAAC;QAC3C,KAAK,wBAAwB;YAC3B,OAAO,uCAAuC,CAAC;QACjD,KAAK,sBAAsB;YACzB,OAAO,qCAAqC,CAAC;QAC/C,KAAK,cAAc;YACjB,OAAO,qCAAqC,CAAC;QAC/C;YACE,MAAM,IAAI,mCAAmC,CAC3C,sCAAsC,EACtC,8DAA8D,IAAI,EAAE,CACrE,CAAC;IACN,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,kCAAkC,CAChD,MAA4B,EAC5B,EAAwB,EACxB,EAAmB,EACnB,UAA+B;IAE/B,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IACtB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACxC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,qDAAqD,CACtD,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrC,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,eAAe,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,oBAAoB,GAAoC;QAC5D,iBAAiB,EAAE,EAAE,CAAC,iBAAiB,CAAC,iBAAiB;QACzD,cAAc,EAAE,EAAE,CAAC,iBAAiB,CAAC,cAAc;KACpD,CAAC;IAEF,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC;QACtE,MAAM,UAAU,GAAwB;YACtC,cAAc,EAAE,sBAAsB;YACtC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,mBAAmB,EAAE,QAAQ;YAC7B,yBAAyB,EAAE,+BAA+B;SAC3D,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;QACtD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,sBAAsB;YACvC,cAAc,EAAE,wBAAwB,CACtC,yBAAyB,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CACnF;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAwB;YACtC,cAAc,EAAE,sBAAsB;YACtC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,mBAAmB,EAAE,QAAQ;YAC7B,yBAAyB,EAAE,uBAAuB;SACnD,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;QACtD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,sBAAsB;YACvC,cAAc,EAAE,wBAAwB,CACtC,yBAAyB,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CACpF;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,gBAAgB,EAAE,CAAC;QAClC,MAAM,UAAU,GAA2B;YACzC,cAAc,EAAE,yBAAyB;YACzC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,2BAA2B,EAAE,QAAQ;SACtC,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,6BAA6B,CAAC,QAAQ,CAAC,CAAC;QACzD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,yBAAyB;YAC1C,cAAc,EAAE,wBAAwB,CAAC,4BAA4B,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC1G,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,aAAa,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,IAAI,mCAAmC,CAC3C,uCAAuC,EACvC,kEAAkE,CACnE,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAyB;YACvC,cAAc,EAAE,sBAAsB;YACtC,UAAU;YACV,0BAA0B,EAAE,CAAC;YAC7B,WAAW,EAAE,EAAE,CAAC,WAAW;YAC3B,wBAAwB,EAAE,QAAQ;YAClC,sBAAsB,EAAE,QAAQ;SACjC,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,QAAQ,CAAC;QACnB,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAC;QAChD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,sBAAsB;YACvC,cAAc,EAAE,wBAAwB,CACtC,0BAA0B,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CACrE;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACpD,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,8DAA8D,CAC/D,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;QACpF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,mDAAmD,CACpD,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;QAC9E,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,uCAAuC,CACxC,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;QACpB,MAAM,CAAC,GAAG,UAAU,CAAC;QAErB,IAAI,UAAU,KAAK,2BAA2B,EAAE,CAAC;YAC/C,MAAM,UAAU,GAA6B;gBAC3C,cAAc,EAAE,6BAA6B;gBAC7C,UAAU,EAAE,CAAC;gBACb,0BAA0B,EAAE,CAAC;gBAC7B,GAAG,EAAE,EAAE,CAAC,GAAG;gBACX,MAAM,EAAE,CAAC;gBACT,YAAY,EAAE,EAAE,CAAC,YAAY;gBAC7B,YAAY,EAAE,QAAQ;aACvB,CAAC;YACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,+BAA+B,EAAE,CAAC;YACnD,OAAO;gBACL,aAAa,EAAE,CAAC;gBAChB,eAAe,EAAE,6BAA6B;gBAC9C,cAAc,EAAE,wBAAwB,CACtC,8BAA8B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAChE;gBACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;gBACvE,qBAAqB,EAAE,UAAU;gBACjC,oBAAoB;aACrB,CAAC;QACJ,CAAC;QAED,MAAM,UAAU,GAA2B;YACzC,cAAc,EAAE,2BAA2B;YAC3C,UAAU,EAAE,CAAC;YACb,0BAA0B,EAAE,CAAC;YAC7B,GAAG,EAAE,EAAE,CAAC,GAAG;YACX,MAAM,EAAE,CAAC;YACT,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;SAChD,CAAC;QACF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,6BAA6B,CAAC,CAAC,CAAC,CAAC;QAClD,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,2BAA2B;YAC5C,cAAc,EAAE,wBAAwB,CAAC,4BAA4B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACtF,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE,UAAU;YACjC,oBAAoB;SACrB,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,mCAAmC,CAC3C,mCAAmC,EACnC,8CAA8C,QAAQ,EAAE,CACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,IASnD;IACC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;IAErD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvD,OAAO;gBACL,aAAa,EAAE,CAAC;gBAChB,eAAe,EAAE,wBAAwB;gBACzC,cAAc,EAAE,wBAAwB,CACtC,wBAAwB,CAAC;oBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;oBAC3B,KAAK,EAAE,IAAI,CAAC,KAAK;iBAClB,CAAC,CACH;gBACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;gBACvE,qBAAqB,EAAE;oBACrB,cAAc,EAAE,wBAAwB;oBACxC,gBAAgB,EAAE,IAAI;oBACtB,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,aAAa,EAAE,IAAI,CAAC,aAAa;iBAClC;gBACD,oBAAoB,EAAE,EAAE;aACzB,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,yBAAyB,EAAE,CAAC;QAC7C,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,mBAAmB;YACpC,cAAc,EAAE,wBAAwB,CACtC,wBAAwB,CAAC;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;gBAC3B,KAAK,EAAE,KAAK;aACb,CAAC,CACH;YACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACvE,qBAAqB,EAAE;gBACrB,cAAc,EAAE,mBAAmB;gBACnC,gBAAgB,EAAE,IAAI;gBACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,WAAW,EAAE,QAAQ;gBACrB,KAAK,EAAE,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI;aACrD;YACD,oBAAoB,EAAE,EAAE;SACzB,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,eAAgB,CAAC;IAClC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3D,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,eAAe,EAAE,2BAA2B;QAC5C,cAAc,EAAE,wBAAwB,CACtC,wBAAwB,CAAC;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;YAC3B,CAAC,EAAE,GAAG,CAAC,UAAU;SAClB,CAAC,CACH;QACD,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,EAAE,CAAC,CAAC;QACvE,qBAAqB,EAAE;YACrB,cAAc,EAAE,2BAA2B;YAC3C,gBAAgB,EAAE,IAAI;YACtB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,OAAO,EAAE,GAAG,CAAC,EAAE;YACf,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;SACxE;QACD,oBAAoB,EAAE,EAAE;KACzB,CAAC;AACJ,CAAC"}

package/dist/correctnessDefinitionTemplates.d.ts

@@ -2,8 +2,8 @@
  * Forward-looking correctness templates. Normative semantics: docs/correctness-definition-normative.md.
  * CD_DOC_ANCHORS must appear in that file (doc parity test).
  */
-export declare const CD_DOC_ANCHORS: readonly ["CD_TPL_RUN_INGEST", "CD_TPL_EVENT_CAPTURE", "CD_TPL_RUN_CONTEXT", "CD_TPL_STEP_SQL", "CD_TPL_PLAN_TRANSITION", "CD_TPL_QUICK_ROW", "CD_TPL_QUICK_REL", "CD_TPL_QUICK_GAP"];
-export declare const CORRECTNESS_ENFORCEMENT_KINDS: readonly ["run_ingest_integrity", "event_capture_integrity", "run_context_fairness", "step_sql_expectation", "plan_transition_expectation", "quick_inferred_sql_row", "quick_inferred_relational", "quick_mapping_gap"];
+export declare const CD_DOC_ANCHORS: readonly ["CD_TPL_RUN_INGEST", "CD_TPL_EVENT_CAPTURE", "CD_TPL_RUN_CONTEXT", "CD_TPL_STEP_REGISTRY", "CD_TPL_PLAN_TRANSITION", "CD_TPL_QUICK_ROW", "CD_TPL_QUICK_REL", "CD_TPL_QUICK_GAP"];
+export declare const CORRECTNESS_ENFORCEMENT_KINDS: readonly ["run_ingest_integrity", "event_capture_integrity", "run_context_fairness", "step_registry_expectation", "plan_transition_expectation", "quick_inferred_sql_row", "quick_inferred_relational", "quick_mapping_gap"];
 export type CorrectnessEnforcementKind = (typeof CORRECTNESS_ENFORCEMENT_KINDS)[number];
 /** CD_TPL_RUN_INGEST */
 export declare function templateRunIngestMustHold(vars: {
@@ -29,14 +29,14 @@ export declare function templateRunContextMustHold(vars: {
     codes: string;
 }): string;
 export declare function templateRunContextEnforceAs(C: string): [string, string];
-/** CD_TPL_STEP_SQL */
-export declare function templateStepSqlMustHold(vars: {
+/** CD_TPL_STEP_REGISTRY */
+export declare function templateStepRegistryMustHold(vars: {
     W: string;
     S: string;
     T: string;
     P: string;
 }): string;
-export declare function templateStepSqlEnforceAs(S: string): [string, string];
+export declare function templateStepRegistryEnforceAs(S: string): [string, string];
 /** CD_TPL_PLAN_TRANSITION */
 export declare function templatePlanTransitionMustHold(vars: {
     W: string;

package/dist/correctnessDefinitionTemplates.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"correctnessDefinitionTemplates.d.ts","sourceRoot":"","sources":["../src/correctnessDefinitionTemplates.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,eAAO,MAAM,cAAc,uLASjB,CAAC;AAEX,eAAO,MAAM,6BAA6B,yNAShC,CAAC;AAEX,MAAM,MAAM,0BAA0B,GAAG,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,CAAC,CAAC;AAUxF,wBAAwB;AACxB,wBAAgB,yBAAyB,CAAC,IAAI,EAAE;IAC9C,UAAU,EAAE,MAAM,CAAC;IACnB,CAAC,EAAE,MAAM,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,OAAO,CAAC;CACxB,GAAG,MAAM,CAQT;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAO1E;AAED,2BAA2B;AAC3B,wBAAgB,4BAA4B,CAAC,IAAI,EAAE;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAK3G;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAK7E;AAED,yBAAyB;AACzB,wBAAgB,0BAA0B,CAAC,IAAI,EAAE;IAC/C,UAAU,EAAE,MAAM,CAAC;IACnB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;CACf,GAAG,MAAM,CAKT;AAED,wBAAgB,2BAA2B,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAKvE;AAED,sBAAsB;AACtB,wBAAgB,uBAAuB,CAAC,IAAI,EAAE;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKpG;AAED,wBAAgB,wBAAwB,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAOpE;AAED,6BAA6B;AAC7B,wBAAgB,8BAA8B,CAAC,IAAI,EAAE;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAK1H;AAED,wBAAgB,+BAA+B,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAKlE;AAED,uBAAuB;AACvB,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKrG;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAOzE;AAED,uBAAuB;AACvB,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKjG;AAED,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAKrE;AAED,uBAAuB;AACvB,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKrG;AAED,wBAAgB,yBAAyB,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAK5D"}
+{"version":3,"file":"correctnessDefinitionTemplates.d.ts","sourceRoot":"","sources":["../src/correctnessDefinitionTemplates.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,eAAO,MAAM,cAAc,4LASjB,CAAC;AAEX,eAAO,MAAM,6BAA6B,8NAShC,CAAC;AAEX,MAAM,MAAM,0BAA0B,GAAG,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,CAAC,CAAC;AAUxF,wBAAwB;AACxB,wBAAgB,yBAAyB,CAAC,IAAI,EAAE;IAC9C,UAAU,EAAE,MAAM,CAAC;IACnB,CAAC,EAAE,MAAM,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,OAAO,CAAC;CACxB,GAAG,MAAM,CAQT;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAO1E;AAED,2BAA2B;AAC3B,wBAAgB,4BAA4B,CAAC,IAAI,EAAE;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAK3G;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAK7E;AAED,yBAAyB;AACzB,wBAAgB,0BAA0B,CAAC,IAAI,EAAE;IAC/C,UAAU,EAAE,MAAM,CAAC;IACnB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;CACf,GAAG,MAAM,CAKT;AAED,wBAAgB,2BAA2B,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAKvE;AAED,2BAA2B;AAC3B,wBAAgB,4BAA4B,CAAC,IAAI,EAAE;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKzG;AAED,wBAAgB,6BAA6B,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAOzE;AAED,6BAA6B;AAC7B,wBAAgB,8BAA8B,CAAC,IAAI,EAAE;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAK1H;AAED,wBAAgB,+BAA+B,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAKlE;AAED,uBAAuB;AACvB,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKrG;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAOzE;AAED,uBAAuB;AACvB,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKjG;AAED,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAKrE;AAED,uBAAuB;AACvB,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKrG;AAED,wBAAgB,yBAAyB,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAK5D"}

package/dist/correctnessDefinitionTemplates.js

@@ -6,7 +6,7 @@ export const CD_DOC_ANCHORS = [
     "CD_TPL_RUN_INGEST",
     "CD_TPL_EVENT_CAPTURE",
     "CD_TPL_RUN_CONTEXT",
-    "CD_TPL_STEP_SQL",
+    "CD_TPL_STEP_REGISTRY",
     "CD_TPL_PLAN_TRANSITION",
     "CD_TPL_QUICK_ROW",
     "CD_TPL_QUICK_REL",
@@ -16,7 +16,7 @@ export const CORRECTNESS_ENFORCEMENT_KINDS = [
     "run_ingest_integrity",
     "event_capture_integrity",
     "run_context_fairness",
-    "step_sql_expectation",
+    "step_registry_expectation",
     "plan_transition_expectation",
     "quick_inferred_sql_row",
     "quick_inferred_relational",
@@ -64,16 +64,16 @@ export function templateRunContextEnforceAs(C) {
         fill("Replays SHALL not evaluate downstream tool_observed steps when <C> is violated for that index.", { C }),
     ];
 }
-/** CD_TPL_STEP_SQL */
-export function templateStepSqlMustHold(vars) {
-    return fill("Must: after tool_observed seq=<S> toolId=<T>, database state SHALL satisfy the verification contract in verificationRequest under policy [<P>] for workflowId=<W>.", { W: vars.W, S: vars.S, T: vars.T, P: vars.P });
+/** CD_TPL_STEP_REGISTRY */
+export function templateStepRegistryMustHold(vars) {
+    return fill("Must: after tool_observed seq=<S> toolId=<T>, authoritative downstream state SHALL satisfy the verification contract in verificationRequest under policy [<P>] for workflowId=<W>.", { W: vars.W, S: vars.S, T: vars.T, P: vars.P });
 }
-export function templateStepSqlEnforceAs(S) {
+export function templateStepRegistryEnforceAs(S) {
     return [
         fill("Registry (or synthetic events plus registry) SHALL keep verificationRequest aligned with declared tool parameters for seq=<S>.", {
             S,
         }),
-        "Authoritative SQL state SHALL match identity, required fields, and relational checks encoded in verificationRequest.",
+        "Read-only verification reads at verify time (SQL, HTTP witnesses, object metadata, vector fetches, Mongo findOne, etc.) SHALL match verificationRequest.",
     ];
 }
 /** CD_TPL_PLAN_TRANSITION */

package/dist/correctnessDefinitionTemplates.js.map

@@ -1 +1 @@
-{"version":3,"file":"correctnessDefinitionTemplates.js","sourceRoot":"","sources":["../src/correctnessDefinitionTemplates.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,mBAAmB;IACnB,sBAAsB;IACtB,oBAAoB;IACpB,iBAAiB;IACjB,wBAAwB;IACxB,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;CACV,CAAC;AAEX,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,sBAAsB;IACtB,yBAAyB;IACzB,sBAAsB;IACtB,sBAAsB;IACtB,6BAA6B;IAC7B,wBAAwB;IACxB,2BAA2B;IAC3B,mBAAmB;CACX,CAAC;AAIX,SAAS,IAAI,CAAC,CAAS,EAAE,IAA4B;IACnD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wBAAwB;AACxB,MAAM,UAAU,yBAAyB,CAAC,IAKzC;IACC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa;QAC7B,CAAC,CAAC,2EAA2E;QAC7E,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,IAAI,CACT,sJAAsJ,GAAG,IAAI,EAC7J,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAa;IACtD,OAAO;QACL,sGAAsG;QACtG,IAAI,CAAC,2HAA2H,EAAE;YAChI,KAAK;SACN,CAAC;KACH,CAAC;AACJ,CAAC;AAED,2BAA2B;AAC3B,MAAM,UAAU,4BAA4B,CAAC,IAAsD;IACjG,OAAO,IAAI,CACT,0KAA0K,EAC1K,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,KAAa;IACzD,OAAO;QACL,oHAAoH;QACpH,IAAI,CAAC,kGAAkG,EAAE,EAAE,KAAK,EAAE,CAAC;KACpH,CAAC;AACJ,CAAC;AAED,yBAAyB;AACzB,MAAM,UAAU,0BAA0B,CAAC,IAM1C;IACC,OAAO,IAAI,CACT,oMAAoM,EACpM,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,CAAS;IACnD,OAAO;QACL,8IAA8I;QAC9I,IAAI,CAAC,gGAAgG,EAAE,EAAE,CAAC,EAAE,CAAC;KAC9G,CAAC;AACJ,CAAC;AAED,sBAAsB;AACtB,MAAM,UAAU,uBAAuB,CAAC,IAAoD;IAC1F,OAAO,IAAI,CACT,oKAAoK,EACpK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,CAAS;IAChD,OAAO;QACL,IAAI,CAAC,gIAAgI,EAAE;YACrI,CAAC;SACF,CAAC;QACF,sHAAsH;KACvH,CAAC;AACJ,CAAC;AAED,6BAA6B;AAC7B,MAAM,UAAU,8BAA8B,CAAC,IAAmE;IAChH,OAAO,IAAI,CACT,iJAAiJ,EACjJ,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B;IAC7C,OAAO;QACL,0GAA0G;QAC1G,8GAA8G;KAC/G,CAAC;AACJ,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,wBAAwB,CAAC,IAAoD;IAC3F,OAAO,IAAI,CACT,sNAAsN,EACtN,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAa;IACrD,OAAO;QACL,IAAI,CAAC,8HAA8H,EAAE;YACnI,KAAK;SACN,CAAC;QACF,mIAAmI;KACpI,CAAC;AACJ,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,wBAAwB,CAAC,IAAgD;IACvF,OAAO,IAAI,CACT,4LAA4L,EAC5L,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,CAAS;IACjD,OAAO;QACL,IAAI,CAAC,8GAA8G,EAAE,EAAE,CAAC,EAAE,CAAC;QAC3H,wIAAwI;KACzI,CAAC;AACJ,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,wBAAwB,CAAC,IAAoD;IAC3F,OAAO,IAAI,CACT,uRAAuR,EACvR,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB;IACvC,OAAO;QACL,sIAAsI;QACtI,6GAA6G;KAC9G,CAAC;AACJ,CAAC"}
+{"version":3,"file":"correctnessDefinitionTemplates.js","sourceRoot":"","sources":["../src/correctnessDefinitionTemplates.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,mBAAmB;IACnB,sBAAsB;IACtB,oBAAoB;IACpB,sBAAsB;IACtB,wBAAwB;IACxB,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;CACV,CAAC;AAEX,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,sBAAsB;IACtB,yBAAyB;IACzB,sBAAsB;IACtB,2BAA2B;IAC3B,6BAA6B;IAC7B,wBAAwB;IACxB,2BAA2B;IAC3B,mBAAmB;CACX,CAAC;AAIX,SAAS,IAAI,CAAC,CAAS,EAAE,IAA4B;IACnD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wBAAwB;AACxB,MAAM,UAAU,yBAAyB,CAAC,IAKzC;IACC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa;QAC7B,CAAC,CAAC,2EAA2E;QAC7E,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,IAAI,CACT,sJAAsJ,GAAG,IAAI,EAC7J,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAa;IACtD,OAAO;QACL,sGAAsG;QACtG,IAAI,CAAC,2HAA2H,EAAE;YAChI,KAAK;SACN,CAAC;KACH,CAAC;AACJ,CAAC;AAED,2BAA2B;AAC3B,MAAM,UAAU,4BAA4B,CAAC,IAAsD;IACjG,OAAO,IAAI,CACT,0KAA0K,EAC1K,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,KAAa;IACzD,OAAO;QACL,oHAAoH;QACpH,IAAI,CAAC,kGAAkG,EAAE,EAAE,KAAK,EAAE,CAAC;KACpH,CAAC;AACJ,CAAC;AAED,yBAAyB;AACzB,MAAM,UAAU,0BAA0B,CAAC,IAM1C;IACC,OAAO,IAAI,CACT,oMAAoM,EACpM,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,CAAS;IACnD,OAAO;QACL,8IAA8I;QAC9I,IAAI,CAAC,gGAAgG,EAAE,EAAE,CAAC,EAAE,CAAC;KAC9G,CAAC;AACJ,CAAC;AAED,2BAA2B;AAC3B,MAAM,UAAU,4BAA4B,CAAC,IAAoD;IAC/F,OAAO,IAAI,CACT,oLAAoL,EACpL,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,CAAS;IACrD,OAAO;QACL,IAAI,CAAC,gIAAgI,EAAE;YACrI,CAAC;SACF,CAAC;QACF,0JAA0J;KAC3J,CAAC;AACJ,CAAC;AAED,6BAA6B;AAC7B,MAAM,UAAU,8BAA8B,CAAC,IAAmE;IAChH,OAAO,IAAI,CACT,iJAAiJ,EACjJ,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B;IAC7C,OAAO;QACL,0GAA0G;QAC1G,8GAA8G;KAC/G,CAAC;AACJ,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,wBAAwB,CAAC,IAAoD;IAC3F,OAAO,IAAI,CACT,sNAAsN,EACtN,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAa;IACrD,OAAO;QACL,IAAI,CAAC,8HAA8H,EAAE;YACnI,KAAK;SACN,CAAC;QACF,mIAAmI;KACpI,CAAC;AACJ,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,wBAAwB,CAAC,IAAgD;IACvF,OAAO,IAAI,CACT,4LAA4L,EAC5L,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,CAAS;IACjD,OAAO;QACL,IAAI,CAAC,8GAA8G,EAAE,EAAE,CAAC,EAAE,CAAC;QAC3H,wIAAwI;KACzI,CAAC;AACJ,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,wBAAwB,CAAC,IAAoD;IAC3F,OAAO,IAAI,CACT,uRAAuR,EACvR,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB;IACvC,OAAO;QACL,sIAAsI;QACtI,6GAA6G;KAC9G,CAAC;AACJ,CAAC"}

package/dist/debugCorpus.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"debugCorpus.d.ts","sourceRoot":"","sources":["../src/debugCorpus.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,OAAO,EAEL,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,KAAK,cAAc,EACpB,MAAM,qBAAqB,CAAC;AAI7B,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,GAC7B,CAAC;AAEF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;CAcrB,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,UAAU,EAAE,IAAI,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,cAAc,CAAC;IAC/B,kFAAkF;IAClF,IAAI,EAAE,UAAU,CAAC;IACjB,cAAc,EAAE,cAAc,CAAC;IAC/B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,KAAK,EAAE;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACpE,uBAAuB,EAAE,MAAM,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,eAAe,CAAC;IACvB,UAAU,EAAE;QAAE,cAAc,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,iBAAiB,GAAG,oBAAoB,CAAC;AAsCxE,+EAA+E;AAC/E,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAI7E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,CAI7D;AAqCD,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED,wBAAgB,aAAa,CAAC,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,gBAAgB,CAobrF;AAED,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAIxE;AAED,+EAA+E;AAC/E,wBAAgB,UAAU,IAAI,MAAM,CAEnC"}
+{"version":3,"file":"debugCorpus.d.ts","sourceRoot":"","sources":["../src/debugCorpus.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,OAAO,EAGL,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,KAAK,cAAc,EACpB,MAAM,qBAAqB,CAAC;AAa7B,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,GAC7B,CAAC;AAEF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;CAcrB,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,UAAU,EAAE,IAAI,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,cAAc,CAAC;IAC/B,kFAAkF;IAClF,IAAI,EAAE,UAAU,CAAC;IACjB,cAAc,EAAE,cAAc,CAAC;IAC/B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,KAAK,EAAE;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACpE,uBAAuB,EAAE,MAAM,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,eAAe,CAAC;IACvB,UAAU,EAAE;QAAE,cAAc,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,iBAAiB,GAAG,oBAAoB,CAAC;AAsCxE,+EAA+E;AAC/E,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAI7E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,CAI7D;AAqCD,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED,wBAAgB,aAAa,CAAC,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,gBAAgB,CAwbrF;AAED,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAIxE;AAED,+EAA+E;AAC/E,wBAAgB,UAAU,IAAI,MAAM,CAEnC"}

package/dist/debugCorpus.js

@@ -8,8 +8,16 @@ import { TruthLayerError } from "./truthLayerError.js";
 import { WORKFLOW_RESULT_RUN_LEVEL_CODES_MISMATCH_MESSAGE } from "./runLevelDriftMessages.js";
 import { isV9RunLevelCodesInconsistent } from "./workflowRunLevelConsistency.js";
 import { normalizeToEmittedWorkflowResult } from "./workflowResultNormalize.js";
-import { sha256Hex, AGENT_RUN_FILENAME, EVENTS_FILENAME, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_SIG_FILENAME, } from "./agentRunRecord.js";
+import { lfCanonicalUtf8Payload, sha256Hex, AGENT_RUN_FILENAME, EVENTS_FILENAME, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_SIG_FILENAME, } from "./agentRunRecord.js";
 const __dirname = path.dirname(fileURLToPath(import.meta.url));
+/** Align `loadCorpusRun` manifest checks with `buildAgentRunRecordForBundle` digests (LF-canonical text). */
+function corpusTextArtifactBytesForIntegrity(absPath, bytes) {
+    const base = path.basename(absPath);
+    if (base === WORKFLOW_RESULT_FILENAME || base === EVENTS_FILENAME) {
+        return lfCanonicalUtf8Payload(bytes);
+    }
+    return bytes;
+}
 export { AGENT_RUN_FILENAME, EVENTS_FILENAME, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_SIG_FILENAME, };
 export const DEBUG_CORPUS_CODES = {
     PATH_ESCAPE: "PATH_ESCAPE",
@@ -247,7 +255,8 @@ export function loadCorpusRun(corpusRootReal, runId) {
             capturedAtEffectiveMs: mtimeMs(wrPathResolved),
         };
     }
-    if (wrBuf.length !== wrSpec.byteLength) {
+    const wrIntegrity = corpusTextArtifactBytesForIntegrity(wrPathResolved, wrBuf);
+    if (wrIntegrity.length !== wrSpec.byteLength) {
         return {
             loadStatus: "error",
             runId,
@@ -255,13 +264,13 @@ export function loadCorpusRun(corpusRootReal, runId) {
                 code: DEBUG_CORPUS_CODES.ARTIFACT_LENGTH_MISMATCH,
                 message: `${WORKFLOW_RESULT_FILENAME} byte length does not match ${AGENT_RUN_FILENAME}.`,
                 path: wrPathResolved,
-                details: { expected: wrSpec.byteLength, actual: wrBuf.length },
+                details: { expected: wrSpec.byteLength, actual: wrIntegrity.length },
             },
             pathsTried: { agentRun: agentRunPath, workflowResult: wrPathResolved, events: evPathResolved },
             capturedAtEffectiveMs: mtimeMs(wrPathResolved),
         };
     }
-    if (sha256Hex(wrBuf) !== wrSpec.sha256) {
+    if (sha256Hex(wrIntegrity) !== wrSpec.sha256) {
         return {
             loadStatus: "error",
             runId,
@@ -305,7 +314,8 @@ export function loadCorpusRun(corpusRootReal, runId) {
             capturedAtEffectiveMs: capturedAtEffectiveMs(record, wrPathResolved),
         };
     }
-    if (evBuf.length !== evSpec.byteLength) {
+    const evIntegrity = corpusTextArtifactBytesForIntegrity(evPathResolved, evBuf);
+    if (evIntegrity.length !== evSpec.byteLength) {
         return {
             loadStatus: "error",
             runId,
@@ -313,13 +323,13 @@ export function loadCorpusRun(corpusRootReal, runId) {
                 code: DEBUG_CORPUS_CODES.ARTIFACT_LENGTH_MISMATCH,
                 message: `${EVENTS_FILENAME} byte length does not match ${AGENT_RUN_FILENAME}.`,
                 path: evPathResolved,
-                details: { expected: evSpec.byteLength, actual: evBuf.length },
+                details: { expected: evSpec.byteLength, actual: evIntegrity.length },
             },
             pathsTried: { agentRun: agentRunPath, workflowResult: wrPathResolved, events: evPathResolved },
             capturedAtEffectiveMs: capturedAtEffectiveMs(record, wrPathResolved),
         };
     }
-    if (sha256Hex(evBuf) !== evSpec.sha256) {
+    if (sha256Hex(evIntegrity) !== evSpec.sha256) {
         return {
             loadStatus: "error",
             runId,
@@ -400,7 +410,7 @@ export function loadCorpusRun(corpusRootReal, runId) {
     }
     let wrParsed;
     try {
-        wrParsed = JSON.parse(wrBuf.toString("utf8"));
+        wrParsed = JSON.parse(wrIntegrity.toString("utf8"));
     }
     catch (e) {
         const msg = e instanceof Error ? e.message : String(e);

package/dist/debugCorpus.js.map

@@ -1 +1 @@
-{"version":3,"file":"debugCorpus.js","sourceRoot":"","sources":["../src/debugCorpus.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACxF,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,gDAAgD,EAAE,MAAM,4BAA4B,CAAC;AAC9F,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AAEjF,OAAO,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,EACL,SAAS,EACT,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,GAE7B,MAAM,qBAAqB,CAAC;AAE7B,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAE/D,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,GAC7B,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,WAAW,EAAE,aAAa;IAC1B,0BAA0B,EAAE,4BAA4B;IACxD,qBAAqB,EAAE,uBAAuB;IAC9C,iBAAiB,EAAE,mBAAmB;IACtC,wBAAwB,EAAE,0BAA0B;IACpD,2BAA2B,EAAE,6BAA6B;IAC1D,8BAA8B,EAAE,gCAAgC;IAChE,uBAAuB,EAAE,yBAAyB;IAClD,iCAAiC,EAAE,mCAAmC;IACtE,cAAc,EAAE,gBAAgB;IAChC,uBAAuB,EAAE,yBAAyB;IAClD,oBAAoB,EAAE,sBAAsB;IAC5C,kBAAkB,EAAE,oBAAoB;CAChC,CAAC;AAqCX,MAAM,sBAAsB,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;AACtE,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;AAC3E,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;AAC5E,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;AAE5E,SAAS,wBAAwB,CAC/B,MAAe;IAIf,MAAM,EAAE,GAAI,MAAsC,CAAC,aAAa,CAAC;IACjE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACb,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAsD,EAAE,CAAC;IACtF,CAAC;IACD,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACb,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAsD,EAAE,CAAC;IACtF,CAAC;IACD,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,6CAA6C,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;KACjF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,UAAkB;IAClE,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAChD,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAAkB;IACjD,MAAM,OAAO,GAAG,WAAW,CAAC,UAAU,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtE,OAAO,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,OAAO,CAAC,QAAgB;IAC/B,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,QAAgB,EAAE,QAAgB;IACzD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC9D,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAsB,EAAE,kBAA0B;IAC/E,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/B,OAAO,OAAO,CAAC,kBAAkB,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,cAAc,CAAC,MAAsB;IAC5C,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,EAAE;QAAE,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrG,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,EAAE;QAAE,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,cAAsB,EAAE,KAAa;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,WAAW;gBACpC,OAAO,EAAE,mDAAmD,KAAK,EAAE;gBACnE,IAAI,EAAE,MAAM;aACb;YACD,UAAU,EAAE,EAAE;YACd,qBAAqB,EAAE,CAAC;SACzB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,eAAe,CAAC,cAAc,EAAE,UAAU,CAAC,EAAE,CAAC;QACjD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,WAAW;gBACpC,OAAO,EAAE,wCAAwC;gBACjD,IAAI,EAAE,UAAU;aACjB;YACD,UAAU,EAAE,EAAE;YACd,qBAAqB,EAAE,CAAC;SACzB,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;IAC/D,MAAM,kBAAkB,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAC;IAC3E,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAE1D,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,0BAA0B;gBACnD,OAAO,EAAE,WAAW,kBAAkB,oBAAoB;gBAC1D,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,EAAE,UAAU,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,IAAI,WAAmB,CAAC;IACxB,IAAI,CAAC;QACH,WAAW,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,qBAAqB;gBAC9C,OAAO,EAAE,eAAe,kBAAkB,KAAK,GAAG,EAAE;gBACpD,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,IAAI,cAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAY,CAAC;IACtD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,qBAAqB;gBAC9C,OAAO,EAAE,GAAG,kBAAkB,uBAAuB,GAAG,EAAE;gBAC1D,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,UAAU,EAAE,eAAe,CAAC,YAAY,EAAE,IAAI,CAAC;YAC/C,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,wBAAwB,CAAC,cAAc,CAAC,CAAC;IAChE,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC;QACvB,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,iBAAiB;gBAC1C,OAAO,EAAE,GAAG,kBAAkB,6CAA6C;gBAC3E,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,cAAc,CAAC,MAAM;aAC/B;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,UAAU,EAAE,eAAe,CAAC,YAAY,EAAE,IAAI,CAAC;YAC/C,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;IACrC,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC;IAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;IACvC,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAElE,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,WAAW,wBAAwB,oBAAoB;gBAChE,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,UAAU,CAAC;SAC3C,CAAC;IACJ,CAAC;IAED,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE;YACtE,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;gBACjD,OAAO,EAAE,GAAG,wBAAwB,+BAA+B,kBAAkB,GAAG;gBACxF,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;aAC/D;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;gBACpD,OAAO,EAAE,GAAG,wBAAwB,2BAA2B,kBAAkB,GAAG;gBACpF,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,cAAc;gBACvC,OAAO,EAAE,WAAW,eAAe,oBAAoB;gBACvD,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,cAAc;gBACvC,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;gBACjD,OAAO,EAAE,GAAG,eAAe,+BAA+B,kBAAkB,GAAG;gBAC/E,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;aAC/D;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QACvC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;gBACpD,OAAO,EAAE,GAAG,eAAe,2BAA2B,kBAAkB,GAAG;gBAC3E,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,uBAAuB,CAAC;QACzD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QACpE,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;YACjC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,iCAAiC;oBAC1D,OAAO,EAAE,WAAW,4BAA4B,oBAAoB;oBACpE,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE;oBACV,QAAQ,EAAE,YAAY;oBACtB,cAAc,EAAE,cAAc;oBAC9B,MAAM,EAAE,cAAc;iBACvB;gBACD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC;QACzC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,iCAAiC;oBAC1D,OAAO,EAAE,GAAG;oBACZ,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;oBACjD,OAAO,EAAE,GAAG,4BAA4B,+BAA+B,kBAAkB,GAAG;oBAC5F,IAAI,EAAE,eAAe;oBACrB,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;iBACjE;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YACzC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;oBACpD,OAAO,EAAE,GAAG,4BAA4B,2BAA2B,kBAAkB,GAAG;oBACxF,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,QAAiB,CAAC;IACtB,IAAI,CAAC;QACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAY,CAAC;IAC3D,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,oBAAoB;gBAC7C,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,qBAAqB,CAAC,wCAAwC;gBACpE,OAAO,EAAE,gDAAgD;gBACzD,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAI,QAAwC,CAAC,aAAa,CAAC;IAChF,MAAM,OAAO,GACX,eAAe,KAAK,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAChG,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,OAAO,GACX,eAAe,KAAK,CAAC;YACnB,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,IAAI,EAAE,CAAC;YACzC,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC5C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,gEAAgE;gBACzE,IAAI,EAAE,cAAc;gBACpB,OAAO;aACR;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,cAA8B,CAAC;IACnC,IAAI,CAAC;QACH,cAAc,GAAG,gCAAgC,CAC/C,QAAsE,CACvE,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;QACpD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,8BAA8B;gBACvD,OAAO,EAAE,GAAG,kBAAkB,kDAAkD;gBAChF,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,cAAc,CAAC,UAAU,EAAE;aAC5E;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC;IACT,IAAI,CAAC;QACH,IAAI,GAAG,qBAAqB,CAAC,UAAU,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;IACtE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,kBAAkB;oBAC3C,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,IAAI,EAAE;iBACpC;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE;gBAC1F,UAAU,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC;gBAC7C,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,kBAAkB;gBAC3C,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,UAAU;aACjB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE;YAC1F,UAAU,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC;YAC7C,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,KAAK;QACL,cAAc;QACd,IAAI,EAAE,cAAc,CAAC,MAAM,CAAC;QAC5B,cAAc,EAAE,MAAM;QACtB,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;QACpE,KAAK,EAAE,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE;QACrF,uBAAuB,EAAE,IAAI,CAAC,uBAAuB;KACtD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,UAAkB;IAClD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,UAAU;IACxB,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"debugCorpus.js","sourceRoot":"","sources":["../src/debugCorpus.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACxF,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,gDAAgD,EAAE,MAAM,4BAA4B,CAAC;AAC9F,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AAEjF,OAAO,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,EACL,sBAAsB,EACtB,SAAS,EACT,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,GAE7B,MAAM,qBAAqB,CAAC;AAE7B,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAE/D,6GAA6G;AAC7G,SAAS,mCAAmC,CAAC,OAAe,EAAE,KAAa;IACzE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,IAAI,KAAK,wBAAwB,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;QAClE,OAAO,sBAAsB,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,GAC7B,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,WAAW,EAAE,aAAa;IAC1B,0BAA0B,EAAE,4BAA4B;IACxD,qBAAqB,EAAE,uBAAuB;IAC9C,iBAAiB,EAAE,mBAAmB;IACtC,wBAAwB,EAAE,0BAA0B;IACpD,2BAA2B,EAAE,6BAA6B;IAC1D,8BAA8B,EAAE,gCAAgC;IAChE,uBAAuB,EAAE,yBAAyB;IAClD,iCAAiC,EAAE,mCAAmC;IACtE,cAAc,EAAE,gBAAgB;IAChC,uBAAuB,EAAE,yBAAyB;IAClD,oBAAoB,EAAE,sBAAsB;IAC5C,kBAAkB,EAAE,oBAAoB;CAChC,CAAC;AAqCX,MAAM,sBAAsB,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;AACtE,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;AAC3E,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;AAC5E,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,qBAAqB,CAAC,CAAC;AAE5E,SAAS,wBAAwB,CAC/B,MAAe;IAIf,MAAM,EAAE,GAAI,MAAsC,CAAC,aAAa,CAAC;IACjE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACb,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAsD,EAAE,CAAC;IACtF,CAAC;IACD,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACb,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAsD,EAAE,CAAC;IACtF,CAAC;IACD,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,6CAA6C,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;KACjF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,UAAkB;IAClE,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAChD,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAAkB;IACjD,MAAM,OAAO,GAAG,WAAW,CAAC,UAAU,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtE,OAAO,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,OAAO,CAAC,QAAgB;IAC/B,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,QAAgB,EAAE,QAAgB;IACzD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC9D,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAsB,EAAE,kBAA0B;IAC/E,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/B,OAAO,OAAO,CAAC,kBAAkB,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,cAAc,CAAC,MAAsB;IAC5C,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,EAAE;QAAE,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrG,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,EAAE;QAAE,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,cAAsB,EAAE,KAAa;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,WAAW;gBACpC,OAAO,EAAE,mDAAmD,KAAK,EAAE;gBACnE,IAAI,EAAE,MAAM;aACb;YACD,UAAU,EAAE,EAAE;YACd,qBAAqB,EAAE,CAAC;SACzB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,eAAe,CAAC,cAAc,EAAE,UAAU,CAAC,EAAE,CAAC;QACjD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,WAAW;gBACpC,OAAO,EAAE,wCAAwC;gBACjD,IAAI,EAAE,UAAU;aACjB;YACD,UAAU,EAAE,EAAE;YACd,qBAAqB,EAAE,CAAC;SACzB,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;IAC/D,MAAM,kBAAkB,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAC;IAC3E,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAE1D,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,0BAA0B;gBACnD,OAAO,EAAE,WAAW,kBAAkB,oBAAoB;gBAC1D,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,EAAE,UAAU,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,IAAI,WAAmB,CAAC;IACxB,IAAI,CAAC;QACH,WAAW,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,qBAAqB;gBAC9C,OAAO,EAAE,eAAe,kBAAkB,KAAK,GAAG,EAAE;gBACpD,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,IAAI,cAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAY,CAAC;IACtD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,qBAAqB;gBAC9C,OAAO,EAAE,GAAG,kBAAkB,uBAAuB,GAAG,EAAE;gBAC1D,IAAI,EAAE,YAAY;aACnB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,UAAU,EAAE,eAAe,CAAC,YAAY,EAAE,IAAI,CAAC;YAC/C,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,wBAAwB,CAAC,cAAc,CAAC,CAAC;IAChE,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC;QACvB,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,iBAAiB;gBAC1C,OAAO,EAAE,GAAG,kBAAkB,6CAA6C;gBAC3E,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,cAAc,CAAC,MAAM;aAC/B;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE;YACtC,UAAU,EAAE,eAAe,CAAC,YAAY,EAAE,IAAI,CAAC;YAC/C,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;IACrC,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC;IAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;IACvC,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAElE,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,WAAW,wBAAwB,oBAAoB;gBAChE,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,UAAU,CAAC;SAC3C,CAAC;IACJ,CAAC;IAED,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE;YACtE,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,mCAAmC,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAE/E,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QAC7C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;gBACjD,OAAO,EAAE,GAAG,wBAAwB,+BAA+B,kBAAkB,GAAG;gBACxF,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE;aACrE;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,WAAW,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;gBACpD,OAAO,EAAE,GAAG,wBAAwB,2BAA2B,kBAAkB,GAAG;gBACpF,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,OAAO,CAAC,cAAc,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,cAAc;gBACvC,OAAO,EAAE,WAAW,eAAe,oBAAoB;gBACvD,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,cAAc;gBACvC,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,mCAAmC,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAE/E,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QAC7C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;gBACjD,OAAO,EAAE,GAAG,eAAe,+BAA+B,kBAAkB,GAAG;gBAC/E,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE;aACrE;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,WAAW,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;gBACpD,OAAO,EAAE,GAAG,eAAe,2BAA2B,kBAAkB,GAAG;gBAC3E,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,uBAAuB,CAAC;QACzD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QACpE,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;YACjC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,iCAAiC;oBAC1D,OAAO,EAAE,WAAW,4BAA4B,oBAAoB;oBACpE,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE;oBACV,QAAQ,EAAE,YAAY;oBACtB,cAAc,EAAE,cAAc;oBAC9B,MAAM,EAAE,cAAc;iBACvB;gBACD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC;QACzC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,iCAAiC;oBAC1D,OAAO,EAAE,GAAG;oBACZ,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,wBAAwB;oBACjD,OAAO,EAAE,GAAG,4BAA4B,+BAA+B,kBAAkB,GAAG;oBAC5F,IAAI,EAAE,eAAe;oBACrB,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;iBACjE;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YACzC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,2BAA2B;oBACpD,OAAO,EAAE,GAAG,4BAA4B,2BAA2B,kBAAkB,GAAG;oBACxF,IAAI,EAAE,eAAe;iBACtB;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;gBAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,QAAiB,CAAC;IACtB,IAAI,CAAC;QACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAY,CAAC;IACjE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,oBAAoB;gBAC7C,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,qBAAqB,CAAC,wCAAwC;gBACpE,OAAO,EAAE,gDAAgD;gBACzD,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAI,QAAwC,CAAC,aAAa,CAAC;IAChF,MAAM,OAAO,GACX,eAAe,KAAK,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAChG,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,OAAO,GACX,eAAe,KAAK,CAAC;YACnB,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,IAAI,EAAE,CAAC;YACzC,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC5C,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,gEAAgE;gBACzE,IAAI,EAAE,cAAc;gBACpB,OAAO;aACR;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,cAA8B,CAAC;IACnC,IAAI,CAAC;QACH,cAAc,GAAG,gCAAgC,CAC/C,QAAsE,CACvE,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,uBAAuB;gBAChD,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,cAAc;aACrB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,UAAU,EAAE,eAAe,CAAC,cAAc,EAAE,IAAI,CAAC;YACjD,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;QACpD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,8BAA8B;gBACvD,OAAO,EAAE,GAAG,kBAAkB,kDAAkD;gBAChF,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,cAAc,CAAC,UAAU,EAAE;aAC5E;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE;YAC9F,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC;IACT,IAAI,CAAC;QACH,IAAI,GAAG,qBAAqB,CAAC,UAAU,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;IACtE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,OAAO;gBACL,UAAU,EAAE,OAAO;gBACnB,KAAK;gBACL,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB,CAAC,kBAAkB;oBAC3C,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,IAAI,EAAE;iBACpC;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE;gBAC1F,UAAU,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC;gBAC7C,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;aACrE,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,UAAU,EAAE,OAAO;YACnB,KAAK;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,kBAAkB,CAAC,kBAAkB;gBAC3C,OAAO,EAAE,GAAG;gBACZ,IAAI,EAAE,UAAU;aACjB;YACD,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE;YAC1F,UAAU,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC;YAC7C,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,KAAK;QACL,cAAc;QACd,IAAI,EAAE,cAAc,CAAC,MAAM,CAAC;QAC5B,cAAc,EAAE,MAAM;QACtB,qBAAqB,EAAE,qBAAqB,CAAC,MAAM,EAAE,cAAc,CAAC;QACpE,KAAK,EAAE,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE;QACrF,uBAAuB,EAAE,IAAI,CAAC,uBAAuB;KACtD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,UAAkB;IAClD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,UAAU;IACxB,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AAC1C,CAAC"}

package/dist/discovery-payload-v1.json

@@ -191,7 +191,7 @@
     ],
     "shareableTerminalDemo": {
       "title": "Bundled terminal proof",
-      "transcript": "### Success (`wf_complete`)\n\nworkflow_id: wf_complete\nworkflow_status: complete\ntrust: TRUSTED: Every step matched the database under the configured verification rules.\nsteps:\n  - seq=0 tool=crm.upsert_contact result=Matched the database.\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_complete\",\n  \"status\": \"complete\",\n  \"steps\": [{ \"seq\": 0, \"toolId\": \"crm.upsert_contact\", \"status\": \"verified\" }]\n}\n\n### Failure (`wf_missing`)\n\nworkflow_id: wf_missing\nworkflow_status: inconsistent\nsteps:\n  - seq=0 tool=crm.upsert_contact result=Expected row is missing from the database.\n    reference_code: ROW_ABSENT\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_missing\",\n  \"status\": \"inconsistent\",\n  \"steps\": [\n    {\n      \"seq\": 0,\n      \"toolId\": \"crm.upsert_contact\",\n      \"status\": \"missing\",\n      \"reasons\": [{ \"code\": \"ROW_ABSENT\" }]\n    }\n  ]\n}"
+      "transcript": "### Success (`wf_complete`)\n\nworkflow_id: wf_complete\nworkflow_status: complete\ntrust: TRUSTED: Every step matched registry-backed expected state under the configured verification rules.\nsteps:\n  - seq=0 tool=crm.upsert_contact result=Matched registry-backed expected state.\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_complete\",\n  \"status\": \"complete\",\n  \"steps\": [{ \"seq\": 0, \"toolId\": \"crm.upsert_contact\", \"status\": \"verified\" }]\n}\n\n### Failure (`wf_missing`)\n\nworkflow_id: wf_missing\nworkflow_status: inconsistent\nsteps:\n  - seq=0 tool=crm.upsert_contact result=Expected state at the verification target was not found (for example a missing row or absent witness result).\n    reference_code: ROW_ABSENT\n\n{\n  \"schemaVersion\": 15,\n  \"workflowId\": \"wf_missing\",\n  \"status\": \"inconsistent\",\n  \"steps\": [\n    {\n      \"seq\": 0,\n      \"toolId\": \"crm.upsert_contact\",\n      \"status\": \"missing\",\n      \"reasons\": [{ \"code\": \"ROW_ABSENT\" }]\n    }\n  ]\n}"
     }
   }
 }

package/dist/documentationCopyConsistency.test.js

@@ -19,7 +19,6 @@ const CANONICAL_UX_STRING_EXPORTS = [
 ];
 const README_EXEMPT_SUBSTRINGS = [
     "**Input contract:** We only accept **structured tool activity**—JSON or NDJSON that describes tool calls and parameters our ingest model can extract—not arbitrary logs, traces, or unstructured observability text.",
-    "Verification uses read-only SQL against your database; API-only or non-SQL systems are out of scope for this tool.",
 ];
 const FENCE_INFO_KEYWORDS = [
     "quickVerifyHumanCopy",

package/dist/documentationCopyConsistency.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"documentationCopyConsistency.test.js","sourceRoot":"","sources":["../src/documentationCopyConsistency.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAAE,+BAA+B,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC3G,OAAO,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAEvG,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAExC,yFAAyF;AACzF,MAAM,2BAA2B,GAAa;IAC5C,iBAAiB;IACjB,+BAA+B;IAC/B,0BAA0B;IAC1B,0BAA0B;IAC1B,0BAA0B;IAC1B,6BAA6B,CAAC,cAAc;IAC5C,wBAAwB,CAAC,UAAU;CACpC,CAAC;AAEF,MAAM,wBAAwB,GAAG;IAC/B,sNAAsN;IACtN,oHAAoH;CACrH,CAAC;AAEF,MAAM,mBAAmB,GAAG;IAC1B,sBAAsB;IACtB,yBAAyB;IACzB,8BAA8B;IAC9B,qBAAqB;CACtB,CAAC;AAEF,sFAAsF;AACtF,SAAS,uBAAuB,CAAC,IAAY;IAC3C,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACtC,IAAI,OAAO,KAAK,CAAC,CAAC;gBAAE,MAAM;YAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;YACnD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,SAAS,GAAG,QAAQ,CAAC;gBACrB,OAAO,GAAG,IAAI,CAAC;gBACf,YAAY,GAAG,OAAO,GAAG,CAAC,CAAC;YAC7B,CAAC;iBAAM,CAAC;gBACN,MAAM,UAAU,GAAG,CAAC,CAAC;gBACrB,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3D,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;gBACvC,CAAC;gBACD,OAAO,GAAG,KAAK,CAAC;YAClB,CAAC;YACD,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QACD,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAa,EACb,GAAW,EACX,MAA0B;IAE1B,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QACpE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACzC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;YAChD,KAAK,MAAM,CAAC,IAAI,2BAA2B,EAAE,CAAC;gBAC5C,IAAI,CAAC,CAAC,MAAM,GAAG,EAAE;oBAAE,SAAS;gBAC5B,IAAI,GAAG,GAAG,CAAC,CAAC;gBACZ,OAAO,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;oBAC5B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;oBAClC,IAAI,CAAC,KAAK,CAAC,CAAC;wBAAE,MAAM;oBACpB,MAAM,EAAE,GAAG,sBAAsB,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;oBAC3D,MAAM,CACJ,EAAE,EACF,GAAG,IAAI,iEAAiE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAC3F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACb,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;gBACrB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,wBAAwB,EAAE,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,uCAAuC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"documentationCopyConsistency.test.js","sourceRoot":"","sources":["../src/documentationCopyConsistency.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAAE,+BAA+B,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC3G,OAAO,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAEvG,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAExC,yFAAyF;AACzF,MAAM,2BAA2B,GAAa;IAC5C,iBAAiB;IACjB,+BAA+B;IAC/B,0BAA0B;IAC1B,0BAA0B;IAC1B,0BAA0B;IAC1B,6BAA6B,CAAC,cAAc;IAC5C,wBAAwB,CAAC,UAAU;CACpC,CAAC;AAEF,MAAM,wBAAwB,GAAG;IAC/B,sNAAsN;CACvN,CAAC;AAEF,MAAM,mBAAmB,GAAG;IAC1B,sBAAsB;IACtB,yBAAyB;IACzB,8BAA8B;IAC9B,qBAAqB;CACtB,CAAC;AAEF,sFAAsF;AACtF,SAAS,uBAAuB,CAAC,IAAY;IAC3C,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACtC,IAAI,OAAO,KAAK,CAAC,CAAC;gBAAE,MAAM;YAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;YACnD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,SAAS,GAAG,QAAQ,CAAC;gBACrB,OAAO,GAAG,IAAI,CAAC;gBACf,YAAY,GAAG,OAAO,GAAG,CAAC,CAAC;YAC7B,CAAC;iBAAM,CAAC;gBACN,MAAM,UAAU,GAAG,CAAC,CAAC;gBACrB,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3D,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;gBACvC,CAAC;gBACD,OAAO,GAAG,KAAK,CAAC;YAClB,CAAC;YACD,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QACD,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAa,EACb,GAAW,EACX,MAA0B;IAE1B,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QACpE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACzC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;YAChD,KAAK,MAAM,CAAC,IAAI,2BAA2B,EAAE,CAAC;gBAC5C,IAAI,CAAC,CAAC,MAAM,GAAG,EAAE;oBAAE,SAAS;gBAC5B,IAAI,GAAG,GAAG,CAAC,CAAC;gBACZ,OAAO,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;oBAC5B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;oBAClC,IAAI,CAAC,KAAK,CAAC,CAAC;wBAAE,MAAM;oBACpB,MAAM,EAAE,GAAG,sBAAsB,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;oBAC3D,MAAM,CACJ,EAAE,EACF,GAAG,IAAI,iEAAiE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAC3F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACb,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;gBACrB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,wBAAwB,EAAE,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,uCAAuC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/execution-identity.v1.json

@@ -4,7 +4,7 @@
   "identityVersion": "1.0.0",
   "mergeGateFingerprintSha256": "64b5ae2ed5025c08c7c9d7b601958cc90edc32c0d80ea207fdaa373de5b9c2fc",
   "nodeEnginesDeclared": "22.x || 24.x",
-  "npmPackageVersion": "6.5.0",
+  "npmPackageVersion": "7.0.0",
   "pythonPipExtrasFragment": "dev,postgres",
   "verificationContractManifest": {
     "manifestSha256": "c5f23ec43576716c4b9a13e752cd2962a78bb4b4da1f9e521f911e15dfd80268",

package/dist/failureExplanation.d.ts

@@ -14,11 +14,11 @@ export declare const FE_EVENT_SEQUENCE_DIVERGENCE = "Divergence at event_sequenc
 export declare const FE_RUN_CONTEXT_EXPECTED = "Verification expected upstream run context through ingest_index=<ingestIndex> to allow fair evaluation of the failing tool observation under policy [<P>].";
 export declare const FE_RUN_CONTEXT_OBSERVED = "Run-context signal before the failing observation: code=<C> <detail>.";
 export declare const FE_RUN_CONTEXT_DIVERGENCE = "Divergence at run_context before the failing tool observation: code=<C> meaning=<meaning>";
-export declare const FE_STEP_EXPECTED = "Verification expected post-execution database state to satisfy verify_target \"<verifyTargetOrLiteralNull>\" and intended_effect \"<narrative>\" for seq=<seq> toolId=<toolId> under policy [<P>].";
+export declare const FE_STEP_EXPECTED = "Verification expected downstream state to satisfy verify_target \"<verifyTargetOrLiteralNull>\" and intended_effect \"<narrative>\" for seq=<seq> toolId=<toolId> under policy [<P>].";
 export declare const FE_STEP_OBSERVED = "Step verification outcome: code=<primaryCode> detail=<detail><suffix>";
 export declare const FE_STEP_DIVERGENCE = "Divergence at step seq=<seq> toolId=<toolId>: primary_code=<primaryCode> meaning=<meaning>";
 export declare const FE_NO_STEPS_OBSERVED = "No tool_observed steps were produced for workflowId=<workflowId>.";
-export declare const FE_NO_STEPS_DIVERGENCE = "Divergence: no steps to verify against the database under policy [<P>]";
+export declare const FE_NO_STEPS_DIVERGENCE = "Divergence: no steps to verify against registry-backed expectations under policy [<P>]";
 /** All branch template literals (doc fences must match these). */
 export declare const FAILURE_EXPLANATION_BRANCH_TEMPLATES: {
     readonly runLevel: {
@@ -37,14 +37,14 @@ export declare const FAILURE_EXPLANATION_BRANCH_TEMPLATES: {
         readonly divergence: "Divergence at run_context before the failing tool observation: code=<C> meaning=<meaning>";
     };
     readonly step: {
-        readonly expected: "Verification expected post-execution database state to satisfy verify_target \"<verifyTargetOrLiteralNull>\" and intended_effect \"<narrative>\" for seq=<seq> toolId=<toolId> under policy [<P>].";
+        readonly expected: "Verification expected downstream state to satisfy verify_target \"<verifyTargetOrLiteralNull>\" and intended_effect \"<narrative>\" for seq=<seq> toolId=<toolId> under policy [<P>].";
         readonly observed: "Step verification outcome: code=<primaryCode> detail=<detail><suffix>";
         readonly divergence: "Divergence at step seq=<seq> toolId=<toolId>: primary_code=<primaryCode> meaning=<meaning>";
     };
     readonly noSteps: {
         readonly expected: "Verification expected a valid captured run for workflowId=<workflowId> under policy [<P>] with no run-level ingest or planning failures.";
         readonly observed: "No tool_observed steps were produced for workflowId=<workflowId>.";
-        readonly divergence: "Divergence: no steps to verify against the database under policy [<P>]";
+        readonly divergence: "Divergence: no steps to verify against registry-backed expectations under policy [<P>]";
     };
 };
 export declare function policyFragment(engine: WorkflowEngineResult): string;

package/dist/failureExplanation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"failureExplanation.d.ts","sourceRoot":"","sources":["../src/failureExplanation.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAKV,oBAAoB,EAIpB,oBAAoB,EACpB,mBAAmB,EACpB,MAAM,YAAY,CAAC;AAGpB,MAAM,MAAM,+BAA+B,GACvC,yCAAyC,GACzC,kCAAkC,GAClC,2CAA2C,GAC3C,iCAAiC,GACjC,uCAAuC,CAAC;AAE5C,qBAAa,gCAAiC,SAAQ,KAAK;IACzD,QAAQ,CAAC,IAAI,EAAE,+BAA+B,CAAC;gBACnC,IAAI,EAAE,+BAA+B,EAAE,OAAO,EAAE,MAAM;CAKnE;AAkED,oFAAoF;AACpF,eAAO,MAAM,qBAAqB,6IAC0G,CAAC;AAC7I,eAAO,MAAM,qBAAqB,yDAAyD,CAAC;AAC5F,eAAO,MAAM,uBAAuB,gEAAgE,CAAC;AAErG,eAAO,MAAM,0BAA0B,+GACuE,CAAC;AAC/G,eAAO,MAAM,0BAA0B,mEAAmE,CAAC;AAC3G,eAAO,MAAM,4BAA4B,qEAC2B,CAAC;AAErE,eAAO,MAAM,uBAAuB,+JAC0H,CAAC;AAC/J,eAAO,MAAM,uBAAuB,0EAA0E,CAAC;AAC/G,eAAO,MAAM,yBAAyB,8FACuD,CAAC;AAE9F,eAAO,MAAM,gBAAgB,uMACyK,CAAC;AACvM,eAAO,MAAM,gBAAgB,0EAA0E,CAAC;AACxG,eAAO,MAAM,kBAAkB,+FAC+D,CAAC;AAE/F,eAAO,MAAM,oBAAoB,sEAAsE,CAAC;AACxG,eAAO,MAAM,sBAAsB,2EACuC,CAAC;AAE3E,kEAAkE;AAClE,eAAO,MAAM,oCAAoC;;;;;;;;;;;;;;;;;;;;;;;;;;CAkBvC,CAAC;AAyBX,wBAAgB,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CA4BnE;AA6HD,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,oBAAoB,EAC5B,KAAK,EAAE,IAAI,CAAC,mBAAmB,EAAE,oBAAoB,GAAG,uBAAuB,GAAG,eAAe,CAAC,GACjG,oBAAoB,GAAG,IAAI,CAqJ7B"}
+{"version":3,"file":"failureExplanation.d.ts","sourceRoot":"","sources":["../src/failureExplanation.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAKV,oBAAoB,EAIpB,oBAAoB,EACpB,mBAAmB,EACpB,MAAM,YAAY,CAAC;AAGpB,MAAM,MAAM,+BAA+B,GACvC,yCAAyC,GACzC,kCAAkC,GAClC,2CAA2C,GAC3C,iCAAiC,GACjC,uCAAuC,CAAC;AAE5C,qBAAa,gCAAiC,SAAQ,KAAK;IACzD,QAAQ,CAAC,IAAI,EAAE,+BAA+B,CAAC;gBACnC,IAAI,EAAE,+BAA+B,EAAE,OAAO,EAAE,MAAM;CAKnE;AAkED,oFAAoF;AACpF,eAAO,MAAM,qBAAqB,6IAC0G,CAAC;AAC7I,eAAO,MAAM,qBAAqB,yDAAyD,CAAC;AAC5F,eAAO,MAAM,uBAAuB,gEAAgE,CAAC;AAErG,eAAO,MAAM,0BAA0B,+GACuE,CAAC;AAC/G,eAAO,MAAM,0BAA0B,mEAAmE,CAAC;AAC3G,eAAO,MAAM,4BAA4B,qEAC2B,CAAC;AAErE,eAAO,MAAM,uBAAuB,+JAC0H,CAAC;AAC/J,eAAO,MAAM,uBAAuB,0EAA0E,CAAC;AAC/G,eAAO,MAAM,yBAAyB,8FACuD,CAAC;AAE9F,eAAO,MAAM,gBAAgB,0LAC4J,CAAC;AAC1L,eAAO,MAAM,gBAAgB,0EAA0E,CAAC;AACxG,eAAO,MAAM,kBAAkB,+FAC+D,CAAC;AAE/F,eAAO,MAAM,oBAAoB,sEAAsE,CAAC;AACxG,eAAO,MAAM,sBAAsB,2FACuD,CAAC;AAE3F,kEAAkE;AAClE,eAAO,MAAM,oCAAoC;;;;;;;;;;;;;;;;;;;;;;;;;;CAkBvC,CAAC;AAyBX,wBAAgB,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CA4BnE;AA6HD,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,oBAAoB,EAC5B,KAAK,EAAE,IAAI,CAAC,mBAAmB,EAAE,oBAAoB,GAAG,uBAAuB,GAAG,eAAe,CAAC,GACjG,oBAAoB,GAAG,IAAI,CAqJ7B"}