@dzhechkov/harness-core 0.5.0 → 0.5.2

package/dist/loop-run-semantics.js

@@ -0,0 +1,257 @@
+/**
+ * `loop-run-semantics` — the ONE home of loop-designer's ENACTMENT DECISIONS (feature
+ * dz-workflow-run, ADR-001 W4).
+ *
+ * Before this module these semantics existed ONLY as template strings inside
+ * `loop-render.ts:renderRuntime` — readable by the generated Claude-host script and by nobody
+ * else. A second enactor (`dz workflow run`) would have had to COPY them, and two copies of a
+ * gate-verdict grammar is exactly how a runner comes to synthesize a pass the render would have
+ * refused. So the decisions move here once and are consumed twice:
+ *   • the generated script gets them as a BLOB (`scripts/gen-loop-blobs.mjs`, blob `loop-semantics`,
+ *     always on — the base runtime references errText/classifyFailure in every script);
+ *   • the dz runner imports them directly.
+ * "Imported, not copied" stops being an intention and becomes a fact a test can check.
+ *
+ * SCOPE, honestly (ADR-001 names it): what moves is DECISION semantics. `__drainAll`,
+ * `runStep` and `__settleStep` do NOT move — they are HOST-STRUCTURAL (they wrap the sandbox's
+ * `parallel()`/`agent()` and its settle discipline); the runner has its own structured concurrency
+ * and its own settle path.
+ *
+ * BLOB-SOURCE DISCIPLINE (same rule as `loop-trace.ts`): this module has NO RUNTIME IMPORT — its
+ * single `import type` is erased at compile time, so the generator can slice declarations out of it
+ * with no import to resolve. The generator's INV-12 output ban (fs / clock / randomness / process)
+ * holds here by construction: every function below is pure.
+ *
+ * One consequence of that discipline is visible in the signatures: the six BLOB-EXPORTED functions
+ * may not mention an IMPORTED type by bare name (the slicer would see an unresolvable cross-file
+ * reference and fail closed), so `classifyFailure` spells its return type as the inline import type
+ * `import('./loop-plan.js').FailureClass`. It is the SAME closed enum — one domain, not a restated
+ * copy — written in the one form the slicer can carry.
+ */
+/** Blob version stamp read by scripts/gen-loop-blobs.mjs. */
+export const LOOP_RUN_SEMANTICS_BLOB_VERSION = '1.0.0';
+/**
+ * TOTAL error-to-text (the ha-consilium 5b totality lesson): the writer's own settle event must
+ * survive a hostile error object. `String(err)` throws on a null-prototype object and a throwing
+ * `.message` getter throws on access — both are caught here, so rendering a message can never
+ * replace the original failure or lose the settle. `.message` is read ONCE into a local (a one-shot
+ * getter answered the `typeof` probe and vanished on the value read — snapshot-once defeats it).
+ */
+export function errText(err) {
+    try {
+        if (err !== null && typeof err === 'object') {
+            const m = err.message;
+            if (typeof m === 'string')
+                return m;
+        }
+        return String(err);
+    }
+    catch (_e) {
+        try {
+            return Object.prototype.toString.call(err);
+        }
+        catch (_e2) {
+            return '[unrenderable error]';
+        }
+    }
+}
+/**
+ * The `err.cause` chain, bounded (depth 5), cycle-safe and getter-safe. The standard Node fetch
+ * shape `TypeError('fetch failed', { cause: { code: 'ECONNRESET' } })` hides its real class one
+ * link down, so classification must see the whole chain, not the outermost error.
+ */
+export function causeChain(err) {
+    const chain = [];
+    let cur = err;
+    for (let d = 0; d < 5; d++) {
+        if (cur === null || cur === undefined)
+            break;
+        if (chain.indexOf(cur) !== -1)
+            break; // cycle-safe
+        chain.push(cur);
+        try {
+            cur = typeof cur === 'object' ? cur.cause : undefined;
+        }
+        catch (_e) {
+            cur = undefined; // getter-safe
+        }
+    }
+    return chain.length > 0 ? chain : [err];
+}
+/**
+ * ONE snapshot PER FAILURE. The earlier shape snapshotted `.message` once per `errText` CALL, not
+ * once per failure — so logging read it, classification read it AGAIN, and a one-shot `.message`
+ * getter answered the log and defeated the classifier (2 getter reads, 1 attempt, MEASURED). The
+ * catch site builds this snapshot once; the log line and the classifier both consume the SNAPSHOT,
+ * so `.code` / `.name` / `.message` are each read exactly once per failure, over the whole chain.
+ */
+export function errSnap(err) {
+    const chain = causeChain(err);
+    const snap = [];
+    for (let ci = 0; ci < chain.length; ci++) {
+        let code = null;
+        try {
+            const c = chain[ci] !== null && typeof chain[ci] === 'object' ? chain[ci].code : null;
+            code = typeof c === 'string' ? c.toUpperCase() : null;
+        }
+        catch (_e) {
+            code = null;
+        }
+        let name = null;
+        try {
+            const n = chain[ci] !== null && typeof chain[ci] === 'object' ? chain[ci].name : null;
+            name = typeof n === 'string' ? n : null;
+        }
+        catch (_e) {
+            name = null;
+        }
+        snap.push({ code: code, name: name, text: errText(chain[ci]) });
+    }
+    return snap;
+}
+/**
+ * The CLOSED failure classification of `loop-plan/1` (timeout | transport | malformed-output |
+ * policy-refusal). THREE TIERS over the whole cause chain, strongest first:
+ *   1. error CODE — works on non-Error shapes like `{code:'ECONNRESET'}`, never message-dependent
+ *      (`ETIMEDOUT` is a TRANSPORT code; an earlier message regex captured it as 'timeout' first);
+ *   2. error NAME — `SyntaxError` = parsing the model's output failed → malformed-output;
+ *   3. message patterns, DISJOINT by precedence transport > policy-refusal > malformed-output >
+ *      timeout, every alternative WORD-BOUNDED (an unbounded `rate.?limit` matched
+ *      'delibeRATE LIMITation' — a substring must never smuggle a class).
+ * `outcome: 'null'` (a dead/empty agent) is a delivery failure ⇒ `transport`, retryable ONLY under
+ * `retryOn: ['transport']`. An UNCLASSIFIABLE failure returns null and is NEVER retried.
+ */
+export function classifyFailure(outcome, snap) {
+    if (outcome === 'null')
+        return 'transport';
+    const links = Array.isArray(snap) ? snap : [];
+    for (let ci = 0; ci < links.length; ci++) {
+        const code = links[ci].code;
+        if (code === 'ETIMEDOUT' || code === 'ECONNRESET' || code === 'ECONNREFUSED' || code === 'ENOTFOUND' || code === 'EPIPE' || code === 'ECONNABORTED' || code === 'EAI_AGAIN')
+            return 'transport';
+    }
+    for (let ci = 0; ci < links.length; ci++) {
+        if (links[ci].name === 'SyntaxError')
+            return 'malformed-output';
+    }
+    let msg = '';
+    for (let ci = 0; ci < links.length; ci++)
+        msg += (ci > 0 ? '\n' : '') + links[ci].text;
+    msg = msg.toLowerCase();
+    // rate[ -]?limit(ed|ing|s)? is RIGHT-BOUNDED: the open 'rate.?limit' matched
+    // 'rate limitation: invalid JSON' as transport — a malformed-output failure smuggled a class.
+    if (/\btransport\b|\beconnreset\b|\beconnrefused\b|\benotfound\b|\bepipe\b|\betimedout\b|\bsocket hang up\b|\bnetwork error\b|\brate[ -]?limit(ed|ing|s)?\b|\boverloaded\b|\bhttp 5[0-9][0-9]\b/.test(msg))
+        return 'transport';
+    if (/\bpolicy\b|\brefus(e|ed|es|al|ing)\b|\bdeclin(e|ed|es|ing)\b|\bcontent filter\b|\bsafety block\b/.test(msg))
+        return 'policy-refusal';
+    if (/\bmalformed\b|\bunparseable\b|\bparse error\b|\binvalid json\b|\bunexpected token\b|\bunexpected end of json\b|\bschema mismatch\b/.test(msg))
+        return 'malformed-output';
+    if (/\btimeout\b|\btimed out\b/.test(msg))
+        return 'timeout';
+    return null;
+}
+/**
+ * Gate verdict parsing — parse-NEVER-synthesize, with the EXACTLY-ONE-ENDING-LINE protocol
+ * enforced: the verdict must be an ANCHORED line ("GATE: PASS" or "GATE: FAIL" alone on its line),
+ * it must be the LAST non-empty line of the reply, and it must be the ONLY anchored verdict line.
+ * Embedded mid-reply "GATE: PASS" text never counts, "GATE: PASS" followed by trailing prose is
+ * invalid, and "GATE: FAIL … GATE: PASS" is an INVALID verdict (never a success) — routed like a
+ * failure (redo / fail route), never a pass.
+ */
+export function gateVerdict(reply) {
+    if (typeof reply !== 'string')
+        return 'invalid';
+    const vLines = reply.split('\n');
+    const vRe = /^\s*GATE:\s*(PASS|FAIL)\s*$/;
+    let vCount = 0;
+    let vLast = '';
+    for (let i = 0; i < vLines.length; i++) {
+        if (vRe.test(vLines[i]))
+            vCount++;
+        if (vLines[i].trim() !== '')
+            vLast = vLines[i];
+    }
+    const vEnd = vRe.exec(vLast);
+    if (vCount !== 1 || vEnd === null)
+        return 'invalid';
+    return vEnd[1] === 'PASS' ? 'pass' : 'fail';
+}
+/**
+ * The join decision — explicit policy from the closed set; a dispatched branch is never skippable.
+ * `any` fails only when EVERY branch failed; `quorum:<n>` needs n non-failing branches; every other
+ * policy (the `all-*` family) fails on the first failing branch. Throws with a NAMED message, which
+ * the caller settles through its own single terminal exit.
+ */
+export function joinRegion(results, o) {
+    const policy = o && o.policy ? o.policy : 'all-activated';
+    const failures = [];
+    for (let i = 0; i < results.length; i++) {
+        if (results[i] === null || results[i] === undefined)
+            failures.push(i);
+    }
+    if (policy === 'any') {
+        if (failures.length === results.length)
+            throw new Error('join ' + o.region + ': every branch failed (policy any)');
+        return { ok: true, values: results, failures: failures };
+    }
+    const quorum = /^quorum:([1-9][0-9]*)$/.exec(policy);
+    if (quorum) {
+        const okN = results.length - failures.length;
+        if (okN < Number(quorum[1]))
+            throw new Error('join ' + o.region + ': quorum ' + quorum[1] + ' not met (' + okN + ' ok)');
+        return { ok: true, values: results, failures: failures };
+    }
+    if (failures.length > 0)
+        throw new Error('join ' + o.region + ': ' + failures.length + ' dispatched branch(es) failed under policy ' + policy + ' — a dispatched branch is never skippable');
+    return { ok: true, values: results, failures: [] };
+}
+/**
+ * THE agent-visible contract TEXT lines (ADR-001 Confirmation-5) — byte-for-byte the strings the
+ * render splices after a step's USER prompt, minus the JS quoting. Both enactors assemble a step's
+ * prompt from the SAME function, so a dz-hosted step and a Claude-hosted step communicate the plan's
+ * declarations identically; a value-pinned wiring test compares the rendered USER-region contract
+ * lines against the runner-assembled ones.
+ *
+ * The tools line's second sentence is not decoration — it is the honesty clause the whole feature
+ * rests on: a declaration is not enforcement.
+ */
+export function stepContractLines(c) {
+    const lines = [];
+    const reads = c.reads ?? [];
+    const writes = c.writes ?? [];
+    const tools = c.tools ?? [];
+    if (reads.length > 0)
+        lines.push('declared inputs (plan artifacts.reads): ' + reads.join(', '));
+    if (writes.length > 0) {
+        const fileNote = (c.deliverable ?? 'return-value') === 'file' ? '; your deliverable is the written file(s), not your reply' : '';
+        lines.push('declared outputs (plan artifacts.writes): ' + writes.join(', ') + ' — write them' + fileNote + '. The loop verifies they land.');
+    }
+    if (tools.length > 0) {
+        lines.push('declared MCP tool allowlist (plan tools): ' + tools.join(', ') + ' — use NOTHING outside it. In this environment every one of these is a labeled STUB, not a live integration; enforcement lives at the MCP server, not here.');
+    }
+    if (c.gate !== null && c.gate !== undefined) {
+        lines.push('GATE PROTOCOL (kind: ' + (c.gate.kind ?? 'gate') + '): end your reply with exactly one line "GATE: PASS" or "GATE: FAIL" — the loop PARSES this verdict and never synthesizes one.');
+    }
+    return lines;
+}
+/**
+ * THE budget ceiling formula (ADR-004 Confirmation-2): declared per-step budgets PLUS the declared
+ * gate-redo allowance — a plan-declared redo must be AFFORDABLE (an undeclared one still hits the
+ * guard loudly). A gate whose failRoute is a `terminal:` route reserves nothing: a terminal route
+ * ends the run, it does not re-run anything.
+ *
+ * This is the number the rendered script carries as `const __budget = { left: N }`; the runner reads
+ * it from HERE, so the two enactors cannot drift into two ceilings.
+ */
+export function computeBudgetTotal(plan) {
+    const stepBudget = plan.steps.reduce((n, s) => n + (s.budget?.maxAgents ?? 1), 0);
+    const byId = new Map(plan.steps.map((s) => [s.stepId, s]));
+    const gateRedoBudget = (plan.gates ?? []).reduce((n, g) => {
+        const redos = typeof g.maxRedos === 'number' && Number.isFinite(g.maxRedos) && g.maxRedos > 0 ? Math.floor(g.maxRedos) : 0;
+        if (redos === 0 || typeof g.failRoute !== 'string' || g.failRoute.startsWith('terminal:'))
+            return n;
+        return n + redos * ((byId.get(g.failRoute)?.budget?.maxAgents ?? 1) + (byId.get(g.stepId)?.budget?.maxAgents ?? 1));
+    }, 0);
+    return stepBudget + gateRedoBudget;
+}
+//# sourceMappingURL=loop-run-semantics.js.map

package/dist/loop-run-semantics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop-run-semantics.js","sourceRoot":"","sources":["../src/loop-run-semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAIH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,+BAA+B,GAAG,OAAO,CAAC;AAevD;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAC,GAAY;IAClC,IAAI,CAAC;QACH,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAI,GAA6B,CAAC,OAAO,CAAC;YACjD,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,OAAO,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAAC,OAAO,EAAE,EAAE,CAAC;QACZ,IAAI,CAAC;YACH,OAAO,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,sBAAsB,CAAC;QAChC,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,GAAY;IACrC,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,IAAI,GAAG,GAAY,GAAG,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM;QAC7C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAAE,MAAM,CAAC,aAAa;QACnD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,IAAI,CAAC;YACH,GAAG,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAE,GAA2B,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACjF,CAAC;QAAC,OAAO,EAAE,EAAE,CAAC;YACZ,GAAG,GAAG,SAAS,CAAC,CAAC,cAAc;QACjC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAC,GAAY;IAClC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QACzC,IAAI,IAAI,GAAkB,IAAI,CAAC;QAC/B,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,KAAK,CAAC,EAAE,CAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9G,IAAI,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACxD,CAAC;QAAC,OAAO,EAAE,EAAE,CAAC;YACZ,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;QACD,IAAI,IAAI,GAAkB,IAAI,CAAC;QAC/B,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,KAAK,CAAC,EAAE,CAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9G,IAAI,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1C,CAAC;QAAC,OAAO,EAAE,EAAE,CAAC;YACZ,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAyB,EACzB,IAAmB;IAEnB,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,WAAW,CAAC;IAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9C,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAI,KAAK,CAAC,EAAE,CAAiB,CAAC,IAAI,CAAC;QAC7C,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,cAAc,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,cAAc,IAAI,IAAI,KAAK,WAAW;YAAE,OAAO,WAAW,CAAC;IAClM,CAAC;IACD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QACzC,IAAK,KAAK,CAAC,EAAE,CAAiB,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,kBAAkB,CAAC;IACnF,CAAC;IACD,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE;QAAE,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAI,KAAK,CAAC,EAAE,CAAiB,CAAC,IAAI,CAAC;IACxG,GAAG,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IACxB,6EAA6E;IAC7E,8FAA8F;IAC9F,IAAI,4LAA4L,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,WAAW,CAAC;IAC/N,IAAI,kGAAkG,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,gBAAgB,CAAC;IAC1I,IAAI,oIAAoI,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,kBAAkB,CAAC;IAC9K,IAAI,2BAA2B,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,OAAO,IAAI,CAAC;AACd,CAAC;AAID;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,6BAA6B,CAAC;IAC1C,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAW,CAAC;YAAE,MAAM,EAAE,CAAC;QAC5C,IAAK,MAAM,CAAC,CAAC,CAAY,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,KAAK,GAAG,MAAM,CAAC,CAAC,CAAW,CAAC;IACvE,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;AAC9C,CAAC;AAQD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,OAAkB,EAAE,CAAwD;IACrG,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC;IAC1D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,IAAI,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,MAAM,GAAG,oCAAoC,CAAC,CAAC;QACnH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAC3D,CAAC;IACD,MAAM,MAAM,GAAG,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC7C,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,MAAM,GAAG,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,YAAY,GAAG,GAAG,GAAG,MAAM,CAAC,CAAC;QACzH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,MAAM,GAAG,IAAI,GAAG,QAAQ,CAAC,MAAM,GAAG,6CAA6C,GAAG,MAAM,GAAG,2CAA2C,CAAC,CAAC;IAC7L,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AACrD,CAAC;AAeD;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAiB;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;IAC5B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,0CAA0C,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAChG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,cAAc,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,2DAA2D,CAAC,CAAC,CAAC,EAAE,CAAC;QACjI,KAAK,CAAC,IAAI,CAAC,4CAA4C,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,eAAe,GAAG,QAAQ,GAAG,gCAAgC,CAAC,CAAC;IAC/I,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,4CAA4C,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,6JAA6J,CAAC,CAAC;IAC9O,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,uBAAuB,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,GAAG,gIAAgI,CAAC,CAAC;IACnM,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAc;IAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,cAAc,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACxD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3H,IAAI,KAAK,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC;YAAE,OAAO,CAAC,CAAC;QACpG,OAAO,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC;IACtH,CAAC,EAAE,CAAC,CAAC,CAAC;IACN,OAAO,UAAU,GAAG,cAAc,CAAC;AACrC,CAAC"}

package/dist/loop-trace.d.ts

@@ -53,6 +53,14 @@ export interface TraceSettleEvent {
     outcome: 'ok' | 'null' | 'error';
     wallTime?: string | null;
 }
+/**
+ * WHICH CODE PATH was meant to write this file. A HINT, never a trust statement — the rendered
+ * script's flush is performed BY AN AGENT, which therefore controls these bytes before the file
+ * exists and could write any value here. It is deliberately NOT called `attestedBy`, so nothing in
+ * the codebase can read it as provenance (ADR-001 round 1 made exactly that mistake). The trust
+ * question is answered by `deriveAttestation`, from an artifact the sandboxed script cannot write.
+ */
+export type TraceEmitterPath = 'dz-process' | 'rendered-script';
 export interface TraceRunOpened {
     v: 1;
     runId: string;
@@ -60,6 +68,9 @@ export interface TraceRunOpened {
     event: 'run.opened';
     planDigest: string;
     execFp: string;
+    /** Optional ON THE WIRE (NFR-1): an older reader ignores it, a newer reader over an older trace
+     *  gets `unknown` — which is never `instrument`. */
+    emitterPath?: TraceEmitterPath;
 }
 export interface TraceRunClosed {
     v: 1;
@@ -89,8 +100,14 @@ export declare function traceShellQuote(s: string): string;
  * time — never a line repaired later. Returns an error string or null.
  */
 export declare function traceValidateEvent(e: unknown): string | null;
-/** Open a trace state and buffer the run.opened frame. Throws on an invalid runId (fail-closed). */
-export declare function traceInit(runId: string, planDigest: string, execFp: string): TraceState;
+/**
+ * Open a trace state and buffer the run.opened frame. Throws on an invalid runId (fail-closed).
+ *
+ * `emitterPath` is REQUIRED and has NO DEFAULT, on purpose: a default would be chosen once, by
+ * whoever added the parameter, and every future caller that forgot it would silently inherit that
+ * choice. A missing argument must be a compile error instead.
+ */
+export declare function traceInit(runId: string, planDigest: string, execFp: string, emitterPath: TraceEmitterPath): TraceState;
 /**
  * Allocate the DISPATCH seq and buffer the event — called SYNCHRONOUSLY immediately before the
  * `agent()`/`parallel()` call (the same synchronous statement pair; AM-2). Returns the seq.
@@ -119,6 +136,15 @@ export declare function traceClose(state: TraceState): void;
  * diagnostic only (INV-16). Returns null when the buffer is empty (no agent call to spend).
  */
 export declare function traceFlushCmd(state: TraceState, traceFileAbs: string): string | null;
+/**
+ * Drain the buffered, already-VALIDATED lines — the runner's flush primitive (W17/T0.1). The
+ * fs-less Claude host turns the same buffer into a shell command (`traceFlushCmd`); a host that
+ * HAS fs (the `dz workflow run` scheduler) appends exactly these lines itself. One buffer, two
+ * drains, zero second line-shape: a line this returns has already passed `traceValidateEvent`,
+ * because nothing else can enter the buffer. Empty buffer ⇒ `[]` (never a repeat of the last
+ * batch).
+ */
+export declare function traceDrain(state: TraceState): string[];
 /**
  * Build the feature-ADR live-panel telemetry leg. Totality comes from the caller's grouped splice:
  * returning the bare command lets that splice preserve the trace flush's exit status while
@@ -152,16 +178,86 @@ export interface TraceRun {
     /** No run.closed frame ⇒ the tail may be lost; truncated-window invariants report inconclusive. */
     incomplete: boolean;
     parseErrors: string[];
+    /** The self-declared HINT (see TraceEmitterPath) — null when absent. NEVER read as provenance. */
+    emitterPath: TraceEmitterPath | null;
+    /** Two `run.opened` frames that DISAGREE. The scan used to keep the last one silently, which
+     *  would let a spliced frame overwrite the genuine one; a conflict now forbids `instrument`. */
+    openConflict: boolean;
 }
-/** Parse a trace.jsonl text. Tolerant of a missing run.closed (incomplete: true); a DUPLICATE
- * settle for one invocation is a PARSE ERROR, never a silent merge (INV-15). */
+/**
+ * Parse a trace.jsonl text. Tolerant of a missing run.closed (incomplete: true); a DUPLICATE
+ * settle for one invocation is a PARSE ERROR, never a silent merge (INV-15).
+ *
+ * W17 / AM-12 — `run.events` is CANONICALIZED by ascending `seq` after the line scan. The host's
+ * batched racing flush agents legitimately append out of seq order (MEASURED on the committed
+ * `pkg-audit-1` run: lines 1-2 are settles seq 7 and 6, ahead of `run.opened` seq 1), and the
+ * reader used to inherit that file order — so `invocations()` DROPPED every settle that preceded
+ * its own dispatch in the file, and a complete, successful run read as three FAIL verdicts. seq is
+ * the authoritative order (it is allocated synchronously at the lifecycle transition); file order
+ * is a durability artifact the flush design already blesses, and it stays recoverable only from the
+ * raw text.
+ *
+ * Order of the two bookkeeping passes is load-bearing:
+ *   • LINE-SHAPE errors (unparseable / invalid event) are recorded in FILE order — they describe
+ *     the bytes, and quoting them in file order is what lets a human find the line.
+ *   • The duplicate-dispatch and duplicate-settle checks run AFTER canonicalization, so "which
+ *     settle is the duplicate" is decided by seq, not by which flush batch happened to land first
+ *     (before this, reversing the flush order changed WHICH event INV-15 refused).
+ * The sort is stable, so two events sharing one seq keep their file order relative to each other —
+ * the only ordering the file can still testify to. INV-14 fails such a trace on uniqueness anyway.
+ */
 export declare function parseTrace(text: string): TraceRun;
+/**
+ * ATTESTATION — the trust question, answered by the READER, never by the file.
+ *
+ * `instrument` means, EXACTLY (ADR-001 round 3, wording taken from the cross-family reviewer):
+ * *the bytes read match the identifiers, the hash and the line count asserted by the co-located
+ * `run-state.json`.* It does NOT mean `dz` historically wrote those bytes, nor that this is the
+ * directory it wrote them in. A byte-identical replay passes. Copying the matched trace+run-state
+ * pair elsewhere passes. Both are accepted and tested, not patched.
+ *
+ * What it DOES buy: `run-state.json` is written by the dz process, and the rendered script runs in a
+ * sandbox with no filesystem — so an agent that mis-writes, truncates, reorders or invents its
+ * flush cannot reach `instrument`. What it cannot buy: a defence against an actor with write access
+ * to the run directory. On this machine the agent IS such an actor and the signing key is readable
+ * by the same account, so no local artifact — signature included — closes that. Named, not hidden.
+ *
+ * `unknown` is kept DISTINCT from `agent` (a legacy instrument run, a stripped field and explicit
+ * agent testimony are different facts) while sharing its conservative tier for every decision.
+ */
+export type TraceAttestation = 'instrument' | 'agent' | 'unknown';
+/** The subset of `run-state.json` the attestation reads. Unknown-shaped input is not an error — it
+ *  simply fails to bind, which yields `unknown`. */
+export interface TraceRunStateBinding {
+    runId?: unknown;
+    planDigest?: unknown;
+    execFp?: unknown;
+    traceSha256?: unknown;
+    traceLines?: unknown;
+}
+/** What the CALLER measured about the trace text it actually read. Passed in rather than computed
+ *  here so this module keeps its zero dependencies (no node:crypto) and stays trivially testable. */
+export interface TraceObserved {
+    sha256: string;
+    lines: number;
+}
+export declare function deriveAttestation(run: TraceRun, state: TraceRunStateBinding | null | undefined, observed: TraceObserved): TraceAttestation;
 export type InvariantStatus = 'pass' | 'fail' | 'inconclusive';
 export interface InvariantVerdict {
     id: string;
     status: InvariantStatus;
     message: string;
+    /**
+     * FR-3 — the qualifier travels IN the verdict, never beside it. A caller that stores a verdict
+     * and reads it back later must not be able to end up holding a bare `pass` whose attestation was
+     * dropped in transit. Optional only so a caller that has not derived one is a compile-time
+     * possibility; `stampAttestation` is how the reader attaches it.
+     */
+    attestation?: TraceAttestation;
 }
+/** Attach one attestation to every verdict in a batch. Kept as a named function rather than a spread
+ *  at each call site so a NEW verdict producer cannot silently ship unstamped verdicts. */
+export declare function stampAttestation(verdicts: InvariantVerdict[], attestation: TraceAttestation): InvariantVerdict[];
 /**
  * Evaluate the plan-derived runtime invariants over an observed trace. Consumes ONLY
  * `toTraceProjection(plan)` (AM-3) and ONLY runtime-assigned `seq` (never wallTime — INV-16).
@@ -211,7 +307,12 @@ export interface Timeline {
 /**
  * Merge one timeline: trace.jsonl is the AUTHORITATIVE order (rows sorted by seq); checkpoints,
  * cost-ledger lines and usageEvents are appended as unordered context rows (seq 0); journal.jsonl
- * contributes DIAGNOSTIC agentId correlation only, never ordering (the ACL of 04 §8).
+ * contributes a DIAGNOSTIC LINE COUNT only, never ordering (the ACL of 04 §8).
+ *
+ * Honesty fix (2026-08-20): this note used to promise "agentId correlation", which the code never
+ * did — it counts lines. A comment claiming an analysis that does not exist is the same defect class
+ * this feature was built to remove, one layer up. The real correlation now lives in
+ * `trace-corroborate.ts`, behind `dz workflow-trace --corroborate`, where it is scoped and tested.
  */
 export declare function assembleTimeline(input: {
     trace: string;

package/dist/loop-trace.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"loop-trace.d.ts","sourceRoot":"","sources":["../src/loop-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEtD,oFAAoF;AACpF,eAAO,MAAM,uBAAuB,UAAU,CAAC;AAE/C,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAE3C,oCAAoC;AACpC,eAAO,MAAM,cAAc,QAAsB,CAAC;AAClD;qFACqF;AACrF,eAAO,MAAM,YAAY,QAA0B,CAAC;AAEpD,MAAM,WAAW,kBAAkB;IACjC,CAAC,EAAE,CAAC,CAAC;IACL,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,YAAY,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,gBAAgB;IAC/B,CAAC,EAAE,CAAC,CAAC;IACL,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,SAAS,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,IAAI,GAAG,MAAM,GAAG,OAAO,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC7B,CAAC,EAAE,CAAC,CAAC;IACL,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,YAAY,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,CAAC,EAAE,CAAC,CAAC;IACL,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,YAAY,CAAC;IACpB,MAAM,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CACjD;AAED,MAAM,MAAM,UAAU,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,cAAc,GAAG,cAAc,CAAC;AAEjG,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,+DAA+D;IAC/D,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;0EAC0E;AAC1E,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAEjD;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CA+B5D;AAED,oGAAoG;AACpG,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAMvF;AAQD;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,UAAU,EACjB,CAAC,EAAE;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GAC5I,MAAM,CAiBR;AAED;yFACyF;AACzF,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,IAAI,GAAG,MAAM,GAAG,OAAO,CAAA;CAAE,GAAG,MAAM,CAKtH;AAED,6EAA6E;AAC7E,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CASlD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CASpF;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAQtH;AAED,8FAA8F;AAC9F,wBAAgB,eAAe,CAAC,IAAI,EAAE;IACpC,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,GAAG,MAAM,GAAG,IAAI,CA8BhB;AAED,mFAAmF;AACnF,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAWnF;AAOD,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,mGAAmG;IACnG,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED;gFACgF;AAChF,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAyCjD;AAED,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC;AAE/D,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,eAAe,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;CACjB;AA+BD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,UAAU,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,GAAG,gBAAgB,EAAE,CAgG5F;AAID,MAAM,WAAW,iBAAiB;IAChC;;4EAEwE;IACxE,IAAI,EAAE,gBAAgB,GAAG,YAAY,GAAG,iBAAiB,GAAG,mBAAmB,CAAC;IAChF,0BAA0B;IAC1B,MAAM,CAAC,EAAE;QAAE,KAAK,EAAE,YAAY,GAAG,SAAS,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACtF,KAAK,CAAC,EAAE;QAAE,KAAK,EAAE,YAAY,GAAG,SAAS,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACrF,6BAA6B;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,wCAAwC;IACxC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAWD,sGAAsG;AACtG,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,iBAAiB,EAAE,EAAE,GAAG,EAAE,QAAQ,GAAG,gBAAgB,EAAE,CAmF3G;AAID,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,OAAO,GAAG,YAAY,GAAG,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,WAAW,CAAC,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAC/B,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB,GAAG,QAAQ,CA+CX;AAMD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,eAAe,GAAG,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAmC/H"}
+{"version":3,"file":"loop-trace.d.ts","sourceRoot":"","sources":["../src/loop-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEtD,oFAAoF;AACpF,eAAO,MAAM,uBAAuB,UAAU,CAAC;AAE/C,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAE3C,oCAAoC;AACpC,eAAO,MAAM,cAAc,QAAsB,CAAC;AAClD;qFACqF;AACrF,eAAO,MAAM,YAAY,QAA0B,CAAC;AAEpD,MAAM,WAAW,kBAAkB;IACjC,CAAC,EAAE,CAAC,CAAC;IACL,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,YAAY,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,gBAAgB;IAC/B,CAAC,EAAE,CAAC,CAAC;IACL,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,SAAS,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,IAAI,GAAG,MAAM,GAAG,OAAO,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,iBAAiB,CAAC;AAEhE,MAAM,WAAW,cAAc;IAC7B,CAAC,EAAE,CAAC,CAAC;IACL,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,YAAY,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf;wDACoD;IACpD,WAAW,CAAC,EAAE,gBAAgB,CAAC;CAChC;AAED,MAAM,WAAW,cAAc;IAC7B,CAAC,EAAE,CAAC,CAAC;IACL,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,YAAY,CAAC;IACpB,MAAM,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CACjD;AAED,MAAM,MAAM,UAAU,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,cAAc,GAAG,cAAc,CAAC;AAEjG,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,+DAA+D;IAC/D,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;0EAC0E;AAC1E,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAEjD;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAmC5D;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,gBAAgB,GAAG,UAAU,CAMtH;AAQD;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,UAAU,EACjB,CAAC,EAAE;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GAC5I,MAAM,CAiBR;AAED;yFACyF;AACzF,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,IAAI,GAAG,MAAM,GAAG,OAAO,CAAA;CAAE,GAAG,MAAM,CAKtH;AAED,6EAA6E;AAC7E,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CASlD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CASpF;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,EAAE,CAGtD;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAQtH;AAED,8FAA8F;AAC9F,wBAAgB,eAAe,CAAC,IAAI,EAAE;IACpC,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,GAAG,MAAM,GAAG,IAAI,CA8BhB;AAED,mFAAmF;AACnF,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAWnF;AAOD,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,mGAAmG;IACnG,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,kGAAkG;IAClG,WAAW,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACrC;oGACgG;IAChG,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CA2DjD;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,OAAO,GAAG,SAAS,CAAC;AAElE;oDACoD;AACpD,MAAM,WAAW,oBAAoB;IACnC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB;AAED;qGACqG;AACrG,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,GAAG,IAAI,GAAG,SAAS,EAAE,QAAQ,EAAE,aAAa,GAAG,gBAAgB,CAoB1I;AAED,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC;AAE/D,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,eAAe,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,WAAW,CAAC,EAAE,gBAAgB,CAAC;CAChC;AAED;2FAC2F;AAC3F,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,EAAE,EAAE,WAAW,EAAE,gBAAgB,GAAG,gBAAgB,EAAE,CAEhH;AA+BD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,UAAU,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,GAAG,gBAAgB,EAAE,CAoI5F;AAID,MAAM,WAAW,iBAAiB;IAChC;;4EAEwE;IACxE,IAAI,EAAE,gBAAgB,GAAG,YAAY,GAAG,iBAAiB,GAAG,mBAAmB,CAAC;IAChF,0BAA0B;IAC1B,MAAM,CAAC,EAAE;QAAE,KAAK,EAAE,YAAY,GAAG,SAAS,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACtF,KAAK,CAAC,EAAE;QAAE,KAAK,EAAE,YAAY,GAAG,SAAS,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACrF,6BAA6B;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,wCAAwC;IACxC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAWD,sGAAsG;AACtG,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,iBAAiB,EAAE,EAAE,GAAG,EAAE,QAAQ,GAAG,gBAAgB,EAAE,CAmF3G;AAID,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,OAAO,GAAG,YAAY,GAAG,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,WAAW,CAAC,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAC/B,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB,GAAG,QAAQ,CA+CX;AAMD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,eAAe,GAAG,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAmC/H"}