@dzhechkov/harness-core 0.5.1 → 0.5.3

package/sbom.json

@@ -15,7 +15,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "6aa58226ed2a38314929b9c93f1251932e9713c276bedb1006885757a0b0d59c"
+          "content": "1790811c8031105b1f281ecaff8a2e5b66a33ac9a323cbe63fb0caae67835b0d"
         }
       ]
     },
@@ -1525,7 +1525,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "b5cc2034f02ea6c33a4e5a3c7009c5ba8357a3db35e6ee8e626ad5043b456d44"
+          "content": "837b65bceef392d58a8b85257443e796c8da7219e2c7d5749df952ff4ba9a7d9"
         }
       ]
     },
@@ -1535,7 +1535,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "4ab8fac26790b7cfc5b87ce715cb9ded2cce5fe16e1791ad255c421adb67dba7"
+          "content": "2c88a22a96119c8ed14d67c1830bd85857e0c43f8a730951c1279ec9442decd6"
         }
       ]
     },
@@ -1545,7 +1545,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "b67b9d7ea154657908e3f6c3a42c7156c34c769f0ba67dc462e8833cd1cd0f2c"
+          "content": "5c208320312a34f0e4d09b2cea3d50a057253771a67b60a0ee0d0907a382546c"
         }
       ]
     },
@@ -1555,7 +1555,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "55ef43a95452bd6e288f41a856283fc296c27a5ac489aa81832ff62605d25730"
+          "content": "262dd0fca9a734cc81ba33c215adb9ef88b343ee56091c017abda45c68bc2508"
         }
       ]
     },
@@ -1625,7 +1625,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "64c2189b94ec500649defd76ced51742807ebf7dba6ec3f4d68cc0ada6f86c6b"
+          "content": "115740b3c04b6e906e135eb9d1e462ae4197cdba558d4eb620e29e541b4de288"
         }
       ]
     },
@@ -1635,7 +1635,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "8fe4553cb49e6440c3c2453e9e5a0aa0827829e250670afa33ba1cd9e7ccf0e0"
+          "content": "2cbadd2514704ccf6cfbf7e44fc50cad3d3701bc91b98651015896ebe209449a"
         }
       ]
     },
@@ -1785,7 +1785,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "7fe2978192efae0c77f1b5da355fef75d035a2dd847b0111ae8f4e11c57af082"
+          "content": "49b8fc106dee22095dc02c43e224de52b9026dbf77d2f2e2654219a776017a09"
         }
       ]
     },
@@ -1795,7 +1795,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "79b8f649aab8bb4b7614cd35b24d4c102ca566ea1b7eb3b06fa35e4079b0becc"
+          "content": "170a7cdafb569ce8d9d1bd7c63ab83d4689cd3b1ed8a1f02536f5affd9dd6d5f"
         }
       ]
     },
@@ -1845,7 +1845,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "b9eaa43bfc3cd4c80274c27410abd307d85c57d1952ca4563b93bbf87fa81de7"
+          "content": "bd228e00e217a99ee7f192c9e87d4e1c794c8ffb52323b77b87ee93f601f013a"
         }
       ]
     },
@@ -1855,7 +1855,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "df095cb1ae2aa32df0286c29da55aae3fa5bd277f8242a2b3fb14d3e3069585a"
+          "content": "4c37b21c750133def0498c6d1b0fddfb2525500ced4dc58634ae1234425337d3"
         }
       ]
     },
@@ -1865,7 +1865,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "96345388c0efa6f05388fed69ceb54e17e9edac9124cf06745e8a5cd3bc486e4"
+          "content": "83f2afea542e80bf09f9ccf9a56a9d352111a8a3cd7744bf8f2ccad84d796c6a"
         }
       ]
     },
@@ -1875,7 +1875,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "6ce9f923b87ee9ae53c3a9a758609bde70decf039440e863ced8b407fc574366"
+          "content": "93a3007d6a7a906344f8f85272aef1928811997d331202171558763ab917b9d6"
         }
       ]
     },
@@ -3599,6 +3599,46 @@
         }
       ]
     },
+    {
+      "type": "file",
+      "name": "dist/trace-corroborate.d.ts",
+      "hashes": [
+        {
+          "alg": "SHA-256",
+          "content": "ebc36a47e4f8359eb7359a1e1697e9a135b2a281ecb1f795e99da7f9476f7f4c"
+        }
+      ]
+    },
+    {
+      "type": "file",
+      "name": "dist/trace-corroborate.d.ts.map",
+      "hashes": [
+        {
+          "alg": "SHA-256",
+          "content": "7a2f343525b6585d0cd54644282bc49b741baffd066ebff0f023c036b622e6f8"
+        }
+      ]
+    },
+    {
+      "type": "file",
+      "name": "dist/trace-corroborate.js",
+      "hashes": [
+        {
+          "alg": "SHA-256",
+          "content": "1b78df722776f6e253e3d0babb90c8557b5d733528125c793b7519ec724db96b"
+        }
+      ]
+    },
+    {
+      "type": "file",
+      "name": "dist/trace-corroborate.js.map",
+      "hashes": [
+        {
+          "alg": "SHA-256",
+          "content": "7c95e98228f86fda4f4503b04efaf149466f9bd78fbb549a8aad49c8a4f3b7ab"
+        }
+      ]
+    },
     {
       "type": "file",
       "name": "dist/upgrade.d.ts",
@@ -3765,7 +3805,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "9ab363920599845c6d7b895d7c79217c8eb547752f5a440c14841cec41d8d03a"
+          "content": "94d154db3feb9676e515fc04129ac299f967ff46b8a7daedc51ec201f7eb5259"
         }
       ]
     },
@@ -3775,7 +3815,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "998e470015beb24d24b0510e435d327786295c8c735bc145f9b7ec068f243e63"
+          "content": "0bda62d918a427203c946a0d6ec9fdb67a2223573939bc358fa9d48545e34361"
         }
       ]
     },
@@ -3785,7 +3825,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "7877d5dcda3394aae5349a8b935d6cae67b0ba822e9a155d69f3476bca129ab4"
+          "content": "c5d24bc9e5a8731ecd9e83e0fc3c3bac02421b76028906b20d2a113f04efbe59"
         }
       ]
     },
@@ -3795,7 +3835,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "5832275f40d831d58f18f0dd99434157ccb98f56ad689b4d10a373cbbd4f177d"
+          "content": "f9a9a320dde4bae0d6f6b0b2e7c03c08127e452f7fa7e00d78ea9f9b816bc6e7"
         }
       ]
     },
@@ -3845,7 +3885,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "317e79f0d14348171eee5ca0d0666ecfb98a4ad05bd438f6c9478686fcadad96"
+          "content": "f44d3dd18b5332681d861707c5644b1cbb027b217b9fda07a0b8510b6346d1a8"
         }
       ]
     },
@@ -4225,7 +4265,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "6e6ebced34cfe7be2d69ccd257ca4382d312910c75164a6eb2248f6ced652a7a"
+          "content": "b741c4477d04f5fdb88f88601b8528f56e9b1fdc6a849dece4af157a81c0fe57"
         }
       ]
     },
@@ -4245,7 +4285,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "21ca2d73e0833cf70120a06d970b68e7c7e9ba39698b93c390d89b7d5655852c"
+          "content": "929be36a3c9fd2cf3ba6e6b7328dd8d7928d9c031c38bb62880ba234c9553334"
         }
       ]
     },
@@ -4285,7 +4325,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "f6cd7fbc071b59804cd0a7f2ea37e2ebd80fe347806b338f618e11508bcf8301"
+          "content": "69d0daac70fda89235352be2cc2e40bcfe62651aedab8056c1919ed062d4a75b"
         }
       ]
     },
@@ -4305,7 +4345,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "26b22b86c80307158d78e587d27b9a09cd597f5a491c8046c3aebb8dabd6c654"
+          "content": "ea7d5b64c7805fd4622e7a892e0e3f1f03e4fdbb883f5fe377fcd64330775330"
         }
       ]
     },
@@ -4729,6 +4769,16 @@
         }
       ]
     },
+    {
+      "type": "file",
+      "name": "src/trace-corroborate.ts",
+      "hashes": [
+        {
+          "alg": "SHA-256",
+          "content": "28a872378dce68940237a99e8ffe57d3da049cccb0ffc315fbddf8ba65e80ee8"
+        }
+      ]
+    },
     {
       "type": "file",
       "name": "src/upgrade.ts",
@@ -4775,7 +4825,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "36a7e633dbd7bde8a15f8e0a426bda7c308d67194a21094621654a7022b99c87"
+          "content": "f1aaf39fcb5088afe3c63185c05a0d22f0507d29c342e3024836f46e3996d430"
         }
       ]
     },
@@ -5339,6 +5389,26 @@
         }
       ]
     },
+    {
+      "type": "file",
+      "name": "test/feature-adr-workflow-write-discipline.test.ts",
+      "hashes": [
+        {
+          "alg": "SHA-256",
+          "content": "f491c12d9bb0a361095e9ec7cab216b60ea51f1c839256b8b4476bf0f8d5f4ca"
+        }
+      ]
+    },
+    {
+      "type": "file",
+      "name": "test/feature-adr-write-discipline.test.ts",
+      "hashes": [
+        {
+          "alg": "SHA-256",
+          "content": "e44795d46da74d4f21bf6817d3884f1428f8adfd814c5174490c9c372299932e"
+        }
+      ]
+    },
     {
       "type": "file",
       "name": "test/files-whitelist-guard.test.ts",
@@ -5435,7 +5505,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "0a8d4ea5c160aa4e08e39a439907948dfeb92b622e42bf4bdd578c9a05848c45"
+          "content": "f20a7850a3313d5bb2431d81e8717694f2edf4cda5c67133c0b80d7549e2cbab"
         }
       ]
     },
@@ -5445,7 +5515,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "842d2425c72b12356512ebcfe66fe7f878f58daee947bbdd8ef1f2c908c748a7"
+          "content": "2bc8d4bd9c2bf15a3522d00b01a18611ef973f4b9e71ef5c1894ea72628294a8"
         }
       ]
     },
@@ -5655,7 +5725,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "f4b88439e1319490d6bcff87f507d8f01a8ab11469057a7060693df70dbe8802"
+          "content": "95d04dbdb46e7f1fac3f6cfd5ec7705579a436ea7118823e11cb752da7f9adea"
         }
       ]
     },
@@ -5855,7 +5925,7 @@
       "hashes": [
         {
           "alg": "SHA-256",
-          "content": "a0f9cf5a77de387993d9c1860458469ab3015c26e6f7242aa170802ae0a85fc4"
+          "content": "e9ccae5e13df6370a8564326e5766aa1e03973c595bfdf73765d54191acf98c4"
         }
       ]
     },
@@ -6209,6 +6279,16 @@
         }
       ]
     },
+    {
+      "type": "file",
+      "name": "test/trace-attestation.test.ts",
+      "hashes": [
+        {
+          "alg": "SHA-256",
+          "content": "f4888117c97180797e6437abc1ef0c6aa1f1e48ee7c2df33d60a65e8bf11b35c"
+        }
+      ]
+    },
     {
       "type": "file",
       "name": "test/trace-bundle.test.ts",
@@ -6219,6 +6299,26 @@
         }
       ]
     },
+    {
+      "type": "file",
+      "name": "test/trace-corroborate.test.ts",
+      "hashes": [
+        {
+          "alg": "SHA-256",
+          "content": "9e845bb448c1300966e76a030b2b0d88c3aa3cf666d85b58ddd981e15d4dcd85"
+        }
+      ]
+    },
+    {
+      "type": "file",
+      "name": "test/trace-qe-round1.test.ts",
+      "hashes": [
+        {
+          "alg": "SHA-256",
+          "content": "7790c41628d7223a45aa61977511d1ddd6cd2cd8dc2dfdcdd248bb25c2effeca"
+        }
+      ]
+    },
     {
       "type": "file",
       "name": "test/trusttier-schema.test.ts",

package/src/feature-adr-checkpoints.ts

@@ -62,7 +62,14 @@ export const CHECKPOINT_MAX_RESULT_CHARS = 12_000;
 /** Checkpoint format/logic version — SALTED into every input hash. Bump it whenever the workflow's
  * stage semantics, prompts, or composite result shapes change: every pre-existing checkpoint then
  * hashes stale and re-runs, instead of an old-format entry resuming into new logic (Codex QE #5). */
-export const CKPT_SCHEMA_VERSION = 'fa-ckpt-2';
+/**
+ * Bumped 'fa-ckpt-2' → 'fa-ckpt-3' on 2026-08-20: the `design` entry changed meaning. It used to be
+ * the ONE record for the whole parallel design fan; it is now a completeness marker sitting above
+ * four per-sibling records. A stale-format entry must hash stale rather than resume into new logic,
+ * so every in-flight `.fa-state/` re-runs router+design+plan once. That is the intended one-time
+ * price of the change, not an accident.
+ */
+export const CKPT_SCHEMA_VERSION = 'fa-ckpt-3';
 
 /** FNV-1a 32-bit over UTF-16 code units, hex-encoded (one pass; building block for the 64-bit form). */
 export function fnv1a(str: string): string {
@@ -116,6 +123,90 @@ export interface ResumeDecision {
  * resumes in any mode — force skips only the artifact probe, never the input check (a checkpoint
  * for different inputs is a different feature). A malformed/null recorded result is treated as
  * no-checkpoint (Codex QE #8 — a null result must not resume as a real one). */
+/** The tier-active design sub-stages, in fan order. Namespaced keys are plain strings, so the
+ *  checkpoint parser's last-wins-per-stage rule and its malformed-line erase rule work unchanged. */
+export const DESIGN_SUBSTAGES = ['requirements', 'adr', 'qcsd', 'architecture'] as const;
+export type DesignSubstage = (typeof DESIGN_SUBSTAGES)[number];
+
+/** `design:requirements`, … — the checkpoint stage key for one sibling. */
+export function designStageKey(sub: DesignSubstage | string): string {
+  return 'design:' + sub;
+}
+
+export interface DesignFanVerdict {
+  complete: boolean;
+  missingSubstages: string[];
+  missingArtifacts: string[];
+  /** Why the fan is not complete — 'ok' when it is. Never collapse 'probe-not-established' into
+   *  'ok': a gate that could not read its inputs is INCONCLUSIVE, and inconclusive is not a pass. */
+  reason: 'ok' | 'substage-missing' | 'artifact-missing' | 'probe-not-established';
+}
+
+/**
+ * SP-1 (completeness). The `design` stage may hand a value to Step 6 ONLY when every tier-required
+ * sibling produced a result AND every tier-required design artifact is on disk.
+ *
+ * This is the property the old all-or-nothing WRITE gate was implementing by accident, and the
+ * reason it must survive the split: a one-file probe once accepted a design missing its ADR and
+ * architecture (Codex QE #2). Splitting the write gate without keeping this would reopen that hole,
+ * so the two are landed together and tested together.
+ *
+ * It is deliberately a READ-side predicate. What may be WRITTEN (one sibling's completed work) and
+ * what may be CONSUMED (a whole design) are different questions; the previous code answered the
+ * second by crippling the first, which is how one dead agent discarded three finished artifacts.
+ */
+export function decideDesignFanResume(opts: {
+  /**
+   * The LIVE result of each required sibling, in `required` order — what the fan just returned.
+   *
+   * Round 1 of cross-family review graded this D and was right: the first version read the
+   * START-OF-RUN checkpoint snapshot instead. That snapshot is wrong in both directions. A sibling
+   * that succeeded THIS run is absent from it, and — the dangerous half — a stale non-null entry
+   * from a PREVIOUS run stays in it even when this run's retry returned null, so an incomplete
+   * design could be declared complete. That is the exact hole the old all-or-nothing write gate
+   * existed to prevent, reopened by reading the wrong source.
+   *
+   * The live result is authoritative and free: a sibling that returns non-null wrote its artifact,
+   * and a sibling that died returns null. Nothing needs to be re-probed to know that.
+   */
+  results: readonly unknown[];
+  required: readonly string[];
+  /** Every artifact the tier requires from this fan. Empty ⇒ the artifact half is not checked. */
+  artifacts: readonly string[];
+  /**
+   * A listing taken AFTER the fan ran — never the start-of-run one, which is why the parameter is
+   * named for that and not just `listing`. Rounds 2 and 3 pinned both halves of this:
+   *   • round 2 — fed the START-OF-RUN listing, the probe called every fresh M+ fan incomplete,
+   *     because a listing taken before the fan cannot contain what the fan is about to write;
+   *   • round 3 — with the probe removed entirely, a sibling that returns non-null having written
+   *     only its primary artifact (L-tier requirements writes 01_requirements.md and skips
+   *     02_research.md) was accepted, and Step 6 planned with no research behind it. A non-null
+   *     result is the agent's own word; it is not evidence that a file exists.
+   * `null` means the probe could not be read. That is INCONCLUSIVE, not clean.
+   */
+  postRunListing: ReadonlySet<string> | null;
+}): DesignFanVerdict {
+  const missingSubstages: string[] = [];
+  opts.required.forEach((sub, i) => {
+    const r = opts.results[i];
+    if (r === null || r === undefined) missingSubstages.push(sub);
+  });
+  const missingArtifacts: string[] = [];
+  let probeMissing = false;
+  if (opts.artifacts.length > 0) {
+    if (opts.postRunListing === null) probeMissing = true;
+    else for (const rel of opts.artifacts) if (!opts.postRunListing.has(rel)) missingArtifacts.push(rel);
+  }
+  // Substage first: a dead sibling explains its own missing artifacts, and naming the artifacts
+  // instead would send the operator looking for a file when the agent is what died.
+  const reason: DesignFanVerdict['reason'] =
+    missingSubstages.length > 0 ? 'substage-missing'
+    : probeMissing ? 'probe-not-established'
+    : missingArtifacts.length > 0 ? 'artifact-missing'
+    : 'ok';
+  return { complete: reason === 'ok', missingSubstages, missingArtifacts, reason };
+}
+
 export function decideCheckpointResume(opts: {
   mode: ResumeMode;
   entry: CheckpointEntry | undefined;
@@ -547,3 +638,51 @@ export function codeStageResultShapeValid(r: unknown): boolean {
   if (v.landingProtocol !== 2) return false
   return v.landingStatus === 'landed' || v.landingStatus === 'genuinely-not-landed' || v.landingStatus === 'inconclusive' || v.landingStatus === 'synchronous'
 }
+
+/**
+ * Parse the design artifact probe's stdout into "which required artifacts exist".
+ *
+ * The probe is relayed by a MODEL, not read from a pipe: the workflow sandbox cannot run a shell, so
+ * an agent runs the command and hands back what it saw. That makes the transcript forgeable in
+ * principle, and cross-family review round 7 showed it forgeable in PRACTICE by accident — an agent
+ * that narrates ("Expected output when present: HAVE:01_requirements.md … Actual stdout: …") emits a
+ * line identical to the real token, and a permissive parser took it for evidence. The gate then passed a
+ * design whose artifact did not exist, which is the one thing this gate exists to prevent.
+ *
+ * So the transcript is validated STRICTLY, not scanned: after trimming blank lines, the output must be
+ * exactly some subset of the known HAVE tokens followed by exactly one sentinel, and nothing else.
+ * Anything unexpected — narration, a second sentinel, a shell error, a code fence — makes the probe
+ * NOT ESTABLISHED (null), which is a refusal, never a pass.
+ *
+ * What this does NOT do, named plainly: it cannot stop an agent that deliberately emits precisely the
+ * expected transcript and nothing else. That residual is the same trust the whole pipeline places in
+ * a relaying agent (the checkpoint reader and the Step-7.5 landing barrier share it). What it does do
+ * is make ACCIDENTAL forgery — the kind that actually happened — impossible rather than likely.
+ *
+ * @returns a Set of the required artifacts that exist, or `null` when the transcript is not trustworthy.
+ */
+export function parseArtifactProbe(opts: {
+  stdout: string | null | undefined;
+  sentinel: string;
+  required: readonly string[];
+}): Set<string> | null {
+  if (opts.stdout === null || opts.stdout === undefined) return null;
+  const known = new Map<string, string>();
+  for (const rel of opts.required) known.set('HAVE:' + rel, rel);
+  const found = new Set<string>();
+  let sentinels = 0;
+  for (const raw of String(opts.stdout).split('\n')) {
+    const line = raw.trim();
+    if (line === '') continue;
+    if (line === opts.sentinel) { sentinels++; continue; }
+    // A token AFTER the sentinel is as wrong as an unknown line: the command emits every check first.
+    if (sentinels > 0) return null;
+    const rel = known.get(line);
+    if (rel === undefined) return null;
+    found.add(rel);
+  }
+  // Exactly one. Zero means the command never completed (or never ran); two means something other
+  // than the command produced output, and there is no way to tell which half was real.
+  if (sentinels !== 1) return null;
+  return found;
+}

package/src/index.ts

@@ -65,6 +65,7 @@ export {
   type LintOptions,
 } from './loop-lint.js';
 export * from './loop-trace.js';
+export * from './trace-corroborate.js';
 export * from './trace-bundle.js';
 export { BLOBS as LOOP_BLOBS, LOOP_BLOB_NAMES, BLOB_COVERAGE_MANIFEST } from './loop-blobs.generated.js';
 export type { LoopBlob } from './loop-blobs.generated.js';

package/src/loop-blobs.generated.ts

@@ -43,11 +43,11 @@ export const BLOBS: Record<string, LoopBlob> = {
   "checkpoints": {
     name: "checkpoints",
     version: "1.1.0",
-    contentHash: "aa730483f52a9f6263751138d4514fe9a6a3f4f191897c86d1e035f3da890574",
+    contentHash: "d4dc6c956be3dd279b225bc5061ec4255babc44ffb5ca58646c9b6ea04a0c8c2",
     sourcePath: "packages/@dzhechkov/harness-core/src/feature-adr-checkpoints.ts",
     requires: [],
-    exports: ["CHECKPOINT_STAGES","STAGE_ARTIFACTS","CHECKPOINT_MAX_RESULT_CHARS","CKPT_SCHEMA_VERSION","fnv1a","fnv1a64","checkpointInputHash","resumeMode","decideCheckpointResume","serializeCheckpoint","CHECKPOINT_LS_SENTINEL","parseCheckpointRead","shellQuote","checkpointReadCmd","checkpointAppendCmd"],
-    code: "const CHECKPOINT_STAGES = ['router', 'design', 'plan', 'code', 'qe', 'fleet'];\nconst STAGE_ARTIFACTS = {\n    router: null,\n    design: '01_requirements.md',\n    plan: '06_implementation_plan.md',\n    code: '07_code_changes/change_manifest.md',\n    qe: '08_qe_report.md',\n    fleet: '09_fleet_qe_assessment.md',\n};\nconst CHECKPOINT_MAX_RESULT_CHARS = 12000;\nconst CKPT_SCHEMA_VERSION = 'fa-ckpt-2';\nfunction fnv1a(str) {\n    let h = 0x811c9dc5;\n    for (let i = 0; i < str.length; i++) {\n        h ^= str.charCodeAt(i);\n        h = (h + ((h << 1) + (h << 4) + (h << 7) + (h << 8) + (h << 24))) >>> 0;\n    }\n    return h.toString(16).padStart(8, '0');\n}\nfunction fnv1a64(str) {\n    return fnv1a(str) + fnv1a('fa-ckpt-salt' + str);\n}\nfunction checkpointInputHash(stage, parts) {\n    return fnv1a64(JSON.stringify([CKPT_SCHEMA_VERSION, stage, ...parts.map((p) => (p === undefined ? null : p))]));\n}\nfunction resumeMode(raw) {\n    return raw === 'never' ? 'never' : raw === 'force' ? 'force' : 'auto';\n}\nfunction decideCheckpointResume(opts) {\n    if (opts.mode === 'never')\n        return { resume: false, reason: 'mode-never' };\n    if (!opts.entry || opts.entry.result === null || opts.entry.result === undefined) {\n        return { resume: false, reason: 'no-checkpoint' };\n    }\n    if (opts.entry.inputHash !== opts.inputHash)\n        return { resume: false, reason: 'stale-input' };\n    if (opts.mode === 'force')\n        return { resume: true, reason: 'resumed-force' };\n    const required = opts.artifactRel === null ? [] : (typeof opts.artifactRel === 'string' ? [opts.artifactRel] : opts.artifactRel);\n    for (const rel of required) {\n        if (!opts.listing.has(rel))\n            return { resume: false, reason: 'artifact-missing' };\n    }\n    return { resume: true, reason: 'resumed' };\n}\nfunction serializeCheckpoint(stage, inputHash, result) {\n    if (result === null || result === undefined)\n        return null;\n    let line;\n    try {\n        line = JSON.stringify({ stage, inputHash, result });\n    }\n    catch {\n        return null;\n    }\n    if (typeof line !== 'string' || line.length > CHECKPOINT_MAX_RESULT_CHARS)\n        return null;\n    return line;\n}\nconst CHECKPOINT_LS_SENTINEL = '---FA-CKPT-LS---';\nfunction parseCheckpointRead(text) {\n    const out = { entries: {}, listing: new Set(), malformedLines: 0 };\n    const raw = String(text ?? '');\n    const lines = raw.split('\\n');\n    const sentinelAt = lines.findIndex((l) => l.trim() === CHECKPOINT_LS_SENTINEL);\n    const body = sentinelAt === -1 ? lines : lines.slice(0, sentinelAt);\n    const ls = sentinelAt === -1 ? [] : lines.slice(sentinelAt + 1);\n    for (const line of body) {\n        const t = line.trim();\n        if (t === '')\n            continue;\n        try {\n            const e = JSON.parse(t);\n            if (e && typeof e === 'object' && typeof e.stage === 'string' && typeof e.inputHash === 'string' && 'result' in e && e.result !== null && e.result !== undefined) {\n                out.entries[e.stage] = e;\n            }\n            else {\n                if (e && typeof e === 'object' && typeof e.stage === 'string')\n                    delete out.entries[e.stage];\n                out.malformedLines++;\n            }\n        }\n        catch {\n            out.malformedLines++;\n        }\n    }\n    for (const line of ls) {\n        const t = line.trim();\n        if (t !== '')\n            out.listing.add(t);\n    }\n    return out;\n}\nfunction shellQuote(s) {\n    return \"'\" + String(s).replace(/'/g, \"'\\\\''\") + \"'\";\n}\nfunction checkpointReadCmd(fdirAbs) {\n    const q = shellQuote(fdirAbs);\n    return ('cat ' + q + '/.fa-state/checkpoints.jsonl 2>/dev/null || true; ' +\n        \"echo '\" + CHECKPOINT_LS_SENTINEL + \"'; \" +\n        'cd ' + q + ' 2>/dev/null && find . -maxdepth 2 -type f 2>/dev/null | sed \"s|^\\\\./||\" || true');\n}\nfunction checkpointAppendCmd(fdirAbs, line) {\n    const dir = shellQuote(fdirAbs + '/.fa-state');\n    const file = shellQuote(fdirAbs + '/.fa-state/checkpoints.jsonl');\n    return 'mkdir -p ' + dir + \" && printf '%s\\\\n' \" + shellQuote(line) + ' >> ' + file;\n}",
+    exports: ["CHECKPOINT_STAGES","STAGE_ARTIFACTS","CHECKPOINT_MAX_RESULT_CHARS","CKPT_SCHEMA_VERSION","fnv1a","fnv1a64","checkpointInputHash","resumeMode","decideCheckpointResume","serializeCheckpoint","CHECKPOINT_LS_SENTINEL","parseCheckpointRead","shellQuote","checkpointReadCmd","checkpointAppendCmd","DESIGN_SUBSTAGES","designStageKey","decideDesignFanResume","parseArtifactProbe"],
+    code: "const CHECKPOINT_STAGES = ['router', 'design', 'plan', 'code', 'qe', 'fleet'];\nconst STAGE_ARTIFACTS = {\n    router: null,\n    design: '01_requirements.md',\n    plan: '06_implementation_plan.md',\n    code: '07_code_changes/change_manifest.md',\n    qe: '08_qe_report.md',\n    fleet: '09_fleet_qe_assessment.md',\n};\nconst CHECKPOINT_MAX_RESULT_CHARS = 12000;\nconst CKPT_SCHEMA_VERSION = 'fa-ckpt-3';\nfunction fnv1a(str) {\n    let h = 0x811c9dc5;\n    for (let i = 0; i < str.length; i++) {\n        h ^= str.charCodeAt(i);\n        h = (h + ((h << 1) + (h << 4) + (h << 7) + (h << 8) + (h << 24))) >>> 0;\n    }\n    return h.toString(16).padStart(8, '0');\n}\nfunction fnv1a64(str) {\n    return fnv1a(str) + fnv1a('fa-ckpt-salt' + str);\n}\nfunction checkpointInputHash(stage, parts) {\n    return fnv1a64(JSON.stringify([CKPT_SCHEMA_VERSION, stage, ...parts.map((p) => (p === undefined ? null : p))]));\n}\nfunction resumeMode(raw) {\n    return raw === 'never' ? 'never' : raw === 'force' ? 'force' : 'auto';\n}\nconst DESIGN_SUBSTAGES = ['requirements', 'adr', 'qcsd', 'architecture'];\nfunction designStageKey(sub) {\n    return 'design:' + sub;\n}\nfunction decideDesignFanResume(opts) {\n    const missingSubstages = [];\n    opts.required.forEach((sub, i) => {\n        const r = opts.results[i];\n        if (r === null || r === undefined)\n            missingSubstages.push(sub);\n    });\n    const missingArtifacts = [];\n    let probeMissing = false;\n    if (opts.artifacts.length > 0) {\n        if (opts.postRunListing === null)\n            probeMissing = true;\n        else\n            for (const rel of opts.artifacts)\n                if (!opts.postRunListing.has(rel))\n                    missingArtifacts.push(rel);\n    }\n    const reason = missingSubstages.length > 0 ? 'substage-missing'\n        : probeMissing ? 'probe-not-established'\n            : missingArtifacts.length > 0 ? 'artifact-missing'\n                : 'ok';\n    return { complete: reason === 'ok', missingSubstages, missingArtifacts, reason };\n}\nfunction decideCheckpointResume(opts) {\n    if (opts.mode === 'never')\n        return { resume: false, reason: 'mode-never' };\n    if (!opts.entry || opts.entry.result === null || opts.entry.result === undefined) {\n        return { resume: false, reason: 'no-checkpoint' };\n    }\n    if (opts.entry.inputHash !== opts.inputHash)\n        return { resume: false, reason: 'stale-input' };\n    if (opts.mode === 'force')\n        return { resume: true, reason: 'resumed-force' };\n    const required = opts.artifactRel === null ? [] : (typeof opts.artifactRel === 'string' ? [opts.artifactRel] : opts.artifactRel);\n    for (const rel of required) {\n        if (!opts.listing.has(rel))\n            return { resume: false, reason: 'artifact-missing' };\n    }\n    return { resume: true, reason: 'resumed' };\n}\nfunction serializeCheckpoint(stage, inputHash, result) {\n    if (result === null || result === undefined)\n        return null;\n    let line;\n    try {\n        line = JSON.stringify({ stage, inputHash, result });\n    }\n    catch {\n        return null;\n    }\n    if (typeof line !== 'string' || line.length > CHECKPOINT_MAX_RESULT_CHARS)\n        return null;\n    return line;\n}\nconst CHECKPOINT_LS_SENTINEL = '---FA-CKPT-LS---';\nfunction parseCheckpointRead(text) {\n    const out = { entries: {}, listing: new Set(), malformedLines: 0 };\n    const raw = String(text ?? '');\n    const lines = raw.split('\\n');\n    const sentinelAt = lines.findIndex((l) => l.trim() === CHECKPOINT_LS_SENTINEL);\n    const body = sentinelAt === -1 ? lines : lines.slice(0, sentinelAt);\n    const ls = sentinelAt === -1 ? [] : lines.slice(sentinelAt + 1);\n    for (const line of body) {\n        const t = line.trim();\n        if (t === '')\n            continue;\n        try {\n            const e = JSON.parse(t);\n            if (e && typeof e === 'object' && typeof e.stage === 'string' && typeof e.inputHash === 'string' && 'result' in e && e.result !== null && e.result !== undefined) {\n                out.entries[e.stage] = e;\n            }\n            else {\n                if (e && typeof e === 'object' && typeof e.stage === 'string')\n                    delete out.entries[e.stage];\n                out.malformedLines++;\n            }\n        }\n        catch {\n            out.malformedLines++;\n        }\n    }\n    for (const line of ls) {\n        const t = line.trim();\n        if (t !== '')\n            out.listing.add(t);\n    }\n    return out;\n}\nfunction shellQuote(s) {\n    return \"'\" + String(s).replace(/'/g, \"'\\\\''\") + \"'\";\n}\nfunction checkpointReadCmd(fdirAbs) {\n    const q = shellQuote(fdirAbs);\n    return ('cat ' + q + '/.fa-state/checkpoints.jsonl 2>/dev/null || true; ' +\n        \"echo '\" + CHECKPOINT_LS_SENTINEL + \"'; \" +\n        'cd ' + q + ' 2>/dev/null && find . -maxdepth 2 -type f 2>/dev/null | sed \"s|^\\\\./||\" || true');\n}\nfunction checkpointAppendCmd(fdirAbs, line) {\n    const dir = shellQuote(fdirAbs + '/.fa-state');\n    const file = shellQuote(fdirAbs + '/.fa-state/checkpoints.jsonl');\n    return 'mkdir -p ' + dir + \" && printf '%s\\\\n' \" + shellQuote(line) + ' >> ' + file;\n}\nfunction parseArtifactProbe(opts) {\n    if (opts.stdout === null || opts.stdout === undefined)\n        return null;\n    const known = new Map();\n    for (const rel of opts.required)\n        known.set('HAVE:' + rel, rel);\n    const found = new Set();\n    let sentinels = 0;\n    for (const raw of String(opts.stdout).split('\\n')) {\n        const line = raw.trim();\n        if (line === '')\n            continue;\n        if (line === opts.sentinel) {\n            sentinels++;\n            continue;\n        }\n        if (sentinels > 0)\n            return null;\n        const rel = known.get(line);\n        if (rel === undefined)\n            return null;\n        found.add(rel);\n    }\n    if (sentinels !== 1)\n        return null;\n    return found;\n}",
   },
   "training-pairs": {
     name: "training-pairs",
@@ -97,11 +97,11 @@ export const BLOBS: Record<string, LoopBlob> = {
   "trace": {
     name: "trace",
     version: "1.1.0",
-    contentHash: "fc59098bb0deb747c4c1c9a6ba843df70edfe0dc5ef8370c0f7192afc7657890",
+    contentHash: "1270f9aac5fbe5693af8bcc26af55e81aeb41ef4b911dbda72c23ea248072344",
     sourcePath: "packages/@dzhechkov/harness-core/src/loop-trace.ts",
     requires: [],
     exports: ["LOOP_TRACE_SCHEMA_VERSION","TRACE_RUNID_RE","TRACE_KEY_RE","traceShellQuote","traceValidateEvent","traceInit","traceOnDispatch","traceOnSettle","traceClose","traceFlushCmd","traceFaRecordCmd","traceLedgerLine","traceLedgerAppendCmd"],
-    code: "const LOOP_TRACE_SCHEMA_VERSION = 1;\nconst TRACE_RUNID_RE = /^[a-z0-9-]{1,40}$/;\nconst TRACE_KEY_RE = /^[a-z0-9_.:-]{1,64}$/i;\nfunction traceShellQuote(s) {\n    return \"'\" + String(s).replace(/'/g, \"'\\\\''\") + \"'\";\n}\nfunction traceValidateEvent(e) {\n    if (typeof e !== 'object' || e === null || Array.isArray(e))\n        return 'event must be an object';\n    const ev = e;\n    if (ev['v'] !== 1)\n        return 'v must be 1';\n    if (typeof ev['runId'] !== 'string' || !TRACE_RUNID_RE.test(ev['runId']))\n        return 'runId fails its VO regex';\n    if (typeof ev['seq'] !== 'number' || !Number.isInteger(ev['seq']) || ev['seq'] < 1)\n        return 'seq must be a positive integer';\n    const kind = ev['event'];\n    if (kind === 'dispatched') {\n        if (typeof ev['invocationId'] !== 'string' || ev['invocationId'] === '')\n            return 'invocationId required';\n        if (typeof ev['stepId'] !== 'string' || !TRACE_KEY_RE.test(ev['stepId']))\n            return 'stepId fails its VO regex';\n        if (ev['itemKey'] !== null && (typeof ev['itemKey'] !== 'string' || !TRACE_KEY_RE.test(ev['itemKey'])))\n            return 'itemKey fails its VO regex';\n        if (typeof ev['attempt'] !== 'number' || ev['attempt'] < 1)\n            return 'attempt must be >= 1';\n        if (typeof ev['phase'] !== 'string' || ev['phase'] === '')\n            return 'phase required';\n        if (!Array.isArray(ev['causedBy']) || ev['causedBy'].some((n) => typeof n !== 'number'))\n            return 'causedBy must be a number array';\n        return null;\n    }\n    if (kind === 'settled') {\n        if (typeof ev['invocationId'] !== 'string' || ev['invocationId'] === '')\n            return 'invocationId required';\n        if (ev['outcome'] !== 'ok' && ev['outcome'] !== 'null' && ev['outcome'] !== 'error')\n            return 'outcome must be ok|null|error';\n        return null;\n    }\n    if (kind === 'run.opened') {\n        if (typeof ev['planDigest'] !== 'string' || typeof ev['execFp'] !== 'string')\n            return 'run.opened needs planDigest + execFp';\n        return null;\n    }\n    if (kind === 'run.closed') {\n        const c = ev['counts'];\n        if (typeof c !== 'object' || c === null)\n            return 'run.closed needs counts';\n        return null;\n    }\n    return 'unknown event kind';\n}\nfunction traceInit(runId, planDigest, execFp) {\n    if (!TRACE_RUNID_RE.test(runId))\n        throw new Error('loop-trace: runId fails ' + String(TRACE_RUNID_RE));\n    const state = { runId, seq: 0, dispatched: 0, settled: 0, buffer: [] };\n    const opened = { v: 1, runId, seq: ++state.seq, event: 'run.opened', planDigest, execFp };\n    traceBuffer(state, opened);\n    return state;\n}\nfunction traceBuffer(state, e) {\n    const err = traceValidateEvent(e);\n    if (err !== null)\n        throw new Error('loop-trace: refusing non-conforming event (' + err + ') — the authoritative ordering source is never repaired later');\n    state.buffer.push(JSON.stringify(e));\n}\nfunction traceOnDispatch(state, e) {\n    const seq = ++state.seq;\n    state.dispatched++;\n    traceBuffer(state, {\n        v: 1,\n        runId: state.runId,\n        seq,\n        event: 'dispatched',\n        invocationId: e.invocationId,\n        stepId: e.stepId,\n        itemKey: e.itemKey,\n        attempt: e.attempt,\n        phase: e.phase,\n        model: e.model,\n        causedBy: e.causedBy,\n    });\n    return seq;\n}\nfunction traceOnSettle(state, e) {\n    const seq = ++state.seq;\n    state.settled++;\n    traceBuffer(state, { v: 1, runId: state.runId, seq, event: 'settled', invocationId: e.invocationId, outcome: e.outcome });\n    return seq;\n}\nfunction traceClose(state) {\n    const closed = {\n        v: 1,\n        runId: state.runId,\n        seq: ++state.seq,\n        event: 'run.closed',\n        counts: { dispatched: state.dispatched, settled: state.settled },\n    };\n    traceBuffer(state, closed);\n}\nfunction traceFlushCmd(state, traceFileAbs) {\n    if (state.buffer.length === 0)\n        return null;\n    const lines = state.buffer.splice(0, state.buffer.length);\n    const file = traceShellQuote(traceFileAbs);\n    const dir = traceShellQuote(traceFileAbs.replace(/\\/[^/]*$/, ''));\n    const printfs = lines\n        .map((l) => \"printf '%s\\\\n' \" + traceShellQuote(l) + ' | sed \"s/}$/,\\\\\"wallTime\\\\\":\\\\\"$(date -u +%Y-%m-%dT%H:%M:%SZ)\\\\\"}/\" >> ' + file)\n        .join(' && ');\n    return 'mkdir -p ' + dir + ' && ' + printfs;\n}\nfunction traceFaRecordCmd(dzBin, slug, stepLabel, projectAbs) {\n    if (typeof slug !== 'string' || slug === ''\n        || typeof stepLabel !== 'string' || stepLabel === ''\n        || typeof projectAbs !== 'string' || projectAbs === '')\n        return null;\n    const bin = typeof dzBin === 'string' && dzBin !== '' ? dzBin : 'dz';\n    const cmd = traceShellQuote(bin) + ' statusline --fa-record --slug ' + traceShellQuote(slug)\n        + ' --step ' + traceShellQuote(stepLabel) + ' --kind loop --project ' + traceShellQuote(projectAbs);\n    return cmd + ' >/dev/null 2>&1';\n}\nfunction traceLedgerLine(opts) {\n    try {\n        if (typeof opts.slug !== 'string' || opts.slug === '')\n            return null;\n        const agents = typeof opts.agents === 'number'\n            && Number.isFinite(opts.agents)\n            && Number.isInteger(opts.agents)\n            && opts.agents >= 0\n            ? opts.agents\n            : 0;\n        const date = typeof opts.date === 'string' && /^\\d{4}-\\d{2}-\\d{2}$/.test(opts.date) ? opts.date : null;\n        const outcome = typeof opts.outcome === 'string' && opts.outcome !== '' ? opts.outcome : 'unknown';\n        const line = JSON.stringify({\n            slug: opts.slug,\n            stage: 'loop-run',\n            tier: null,\n            tokens: null,\n            minutes: null,\n            agents,\n            coder: null,\n            grade: null,\n            date,\n            auto: true,\n            outcome,\n            runId: typeof opts.runId === 'string' ? opts.runId : null,\n            planDigest: typeof opts.planDigest === 'string' ? opts.planDigest : null,\n        });\n        return line.length <= 4000 ? line : null;\n    }\n    catch {\n        return null;\n    }\n}\nfunction traceLedgerAppendCmd(repoAbs, line) {\n    if (typeof repoAbs !== 'string' || repoAbs === '' || typeof line !== 'string' || line === '')\n        return null;\n    const dir = traceShellQuote(repoAbs + '/.dz/feature-adr');\n    const file = traceShellQuote(repoAbs + '/.dz/feature-adr/run-cost-ledger.jsonl');\n    return 'mkdir -p ' + dir\n        + \" && printf '%s' \" + traceShellQuote(line)\n        + ' | sed \"s/\\\\\"date\\\\\":null/\\\\\"date\\\\\":\\\\\"$(date -u +%Y-%m-%d)\\\\\"/\" >> ' + file\n        + \" && printf '\\\\n' >> \" + file\n        + ' && echo LEDGER-OK';\n}\nfunction invocations(run) {\n    const out = new Map();\n    for (const e of run.events) {\n        if (e.event === 'dispatched') {\n            out.set(e.invocationId, {\n                invocationId: e.invocationId,\n                stepId: e.stepId,\n                itemKey: e.itemKey,\n                dispatchSeq: e.seq,\n                settleSeq: null,\n                causedBy: e.causedBy,\n            });\n        }\n        else if (e.event === 'settled') {\n            const inv = out.get(e.invocationId);\n            if (inv)\n                inv.settleSeq = e.seq;\n        }\n    }\n    return [...out.values()];\n}",
+    code: "const LOOP_TRACE_SCHEMA_VERSION = 1;\nconst TRACE_RUNID_RE = /^[a-z0-9-]{1,40}$/;\nconst TRACE_KEY_RE = /^[a-z0-9_.:-]{1,64}$/i;\nfunction traceShellQuote(s) {\n    return \"'\" + String(s).replace(/'/g, \"'\\\\''\") + \"'\";\n}\nfunction traceValidateEvent(e) {\n    if (typeof e !== 'object' || e === null || Array.isArray(e))\n        return 'event must be an object';\n    const ev = e;\n    if (ev['v'] !== 1)\n        return 'v must be 1';\n    if (typeof ev['runId'] !== 'string' || !TRACE_RUNID_RE.test(ev['runId']))\n        return 'runId fails its VO regex';\n    if (typeof ev['seq'] !== 'number' || !Number.isInteger(ev['seq']) || ev['seq'] < 1)\n        return 'seq must be a positive integer';\n    const kind = ev['event'];\n    if (kind === 'dispatched') {\n        if (typeof ev['invocationId'] !== 'string' || ev['invocationId'] === '')\n            return 'invocationId required';\n        if (typeof ev['stepId'] !== 'string' || !TRACE_KEY_RE.test(ev['stepId']))\n            return 'stepId fails its VO regex';\n        if (ev['itemKey'] !== null && (typeof ev['itemKey'] !== 'string' || !TRACE_KEY_RE.test(ev['itemKey'])))\n            return 'itemKey fails its VO regex';\n        if (typeof ev['attempt'] !== 'number' || ev['attempt'] < 1)\n            return 'attempt must be >= 1';\n        if (typeof ev['phase'] !== 'string' || ev['phase'] === '')\n            return 'phase required';\n        if (!Array.isArray(ev['causedBy']) || ev['causedBy'].some((n) => typeof n !== 'number'))\n            return 'causedBy must be a number array';\n        return null;\n    }\n    if (kind === 'settled') {\n        if (typeof ev['invocationId'] !== 'string' || ev['invocationId'] === '')\n            return 'invocationId required';\n        if (ev['outcome'] !== 'ok' && ev['outcome'] !== 'null' && ev['outcome'] !== 'error')\n            return 'outcome must be ok|null|error';\n        return null;\n    }\n    if (kind === 'run.opened') {\n        if (typeof ev['planDigest'] !== 'string' || typeof ev['execFp'] !== 'string')\n            return 'run.opened needs planDigest + execFp';\n        const ep = ev['emitterPath'];\n        if (ep !== undefined && ep !== 'dz-process' && ep !== 'rendered-script')\n            return 'emitterPath must be dz-process|rendered-script';\n        return null;\n    }\n    if (kind === 'run.closed') {\n        const c = ev['counts'];\n        if (typeof c !== 'object' || c === null)\n            return 'run.closed needs counts';\n        return null;\n    }\n    return 'unknown event kind';\n}\nfunction traceInit(runId, planDigest, execFp, emitterPath) {\n    if (!TRACE_RUNID_RE.test(runId))\n        throw new Error('loop-trace: runId fails ' + String(TRACE_RUNID_RE));\n    const state = { runId, seq: 0, dispatched: 0, settled: 0, buffer: [] };\n    const opened = { v: 1, runId, seq: ++state.seq, event: 'run.opened', planDigest, execFp, emitterPath };\n    traceBuffer(state, opened);\n    return state;\n}\nfunction traceBuffer(state, e) {\n    const err = traceValidateEvent(e);\n    if (err !== null)\n        throw new Error('loop-trace: refusing non-conforming event (' + err + ') — the authoritative ordering source is never repaired later');\n    state.buffer.push(JSON.stringify(e));\n}\nfunction traceOnDispatch(state, e) {\n    const seq = ++state.seq;\n    state.dispatched++;\n    traceBuffer(state, {\n        v: 1,\n        runId: state.runId,\n        seq,\n        event: 'dispatched',\n        invocationId: e.invocationId,\n        stepId: e.stepId,\n        itemKey: e.itemKey,\n        attempt: e.attempt,\n        phase: e.phase,\n        model: e.model,\n        causedBy: e.causedBy,\n    });\n    return seq;\n}\nfunction traceOnSettle(state, e) {\n    const seq = ++state.seq;\n    state.settled++;\n    traceBuffer(state, { v: 1, runId: state.runId, seq, event: 'settled', invocationId: e.invocationId, outcome: e.outcome });\n    return seq;\n}\nfunction traceClose(state) {\n    const closed = {\n        v: 1,\n        runId: state.runId,\n        seq: ++state.seq,\n        event: 'run.closed',\n        counts: { dispatched: state.dispatched, settled: state.settled },\n    };\n    traceBuffer(state, closed);\n}\nfunction traceFlushCmd(state, traceFileAbs) {\n    if (state.buffer.length === 0)\n        return null;\n    const lines = state.buffer.splice(0, state.buffer.length);\n    const file = traceShellQuote(traceFileAbs);\n    const dir = traceShellQuote(traceFileAbs.replace(/\\/[^/]*$/, ''));\n    const printfs = lines\n        .map((l) => \"printf '%s\\\\n' \" + traceShellQuote(l) + ' | sed \"s/}$/,\\\\\"wallTime\\\\\":\\\\\"$(date -u +%Y-%m-%dT%H:%M:%SZ)\\\\\"}/\" >> ' + file)\n        .join(' && ');\n    return 'mkdir -p ' + dir + ' && ' + printfs;\n}\nfunction traceFaRecordCmd(dzBin, slug, stepLabel, projectAbs) {\n    if (typeof slug !== 'string' || slug === ''\n        || typeof stepLabel !== 'string' || stepLabel === ''\n        || typeof projectAbs !== 'string' || projectAbs === '')\n        return null;\n    const bin = typeof dzBin === 'string' && dzBin !== '' ? dzBin : 'dz';\n    const cmd = traceShellQuote(bin) + ' statusline --fa-record --slug ' + traceShellQuote(slug)\n        + ' --step ' + traceShellQuote(stepLabel) + ' --kind loop --project ' + traceShellQuote(projectAbs);\n    return cmd + ' >/dev/null 2>&1';\n}\nfunction traceLedgerLine(opts) {\n    try {\n        if (typeof opts.slug !== 'string' || opts.slug === '')\n            return null;\n        const agents = typeof opts.agents === 'number'\n            && Number.isFinite(opts.agents)\n            && Number.isInteger(opts.agents)\n            && opts.agents >= 0\n            ? opts.agents\n            : 0;\n        const date = typeof opts.date === 'string' && /^\\d{4}-\\d{2}-\\d{2}$/.test(opts.date) ? opts.date : null;\n        const outcome = typeof opts.outcome === 'string' && opts.outcome !== '' ? opts.outcome : 'unknown';\n        const line = JSON.stringify({\n            slug: opts.slug,\n            stage: 'loop-run',\n            tier: null,\n            tokens: null,\n            minutes: null,\n            agents,\n            coder: null,\n            grade: null,\n            date,\n            auto: true,\n            outcome,\n            runId: typeof opts.runId === 'string' ? opts.runId : null,\n            planDigest: typeof opts.planDigest === 'string' ? opts.planDigest : null,\n        });\n        return line.length <= 4000 ? line : null;\n    }\n    catch {\n        return null;\n    }\n}\nfunction traceLedgerAppendCmd(repoAbs, line) {\n    if (typeof repoAbs !== 'string' || repoAbs === '' || typeof line !== 'string' || line === '')\n        return null;\n    const dir = traceShellQuote(repoAbs + '/.dz/feature-adr');\n    const file = traceShellQuote(repoAbs + '/.dz/feature-adr/run-cost-ledger.jsonl');\n    return 'mkdir -p ' + dir\n        + \" && printf '%s' \" + traceShellQuote(line)\n        + ' | sed \"s/\\\\\"date\\\\\":null/\\\\\"date\\\\\":\\\\\"$(date -u +%Y-%m-%d)\\\\\"/\" >> ' + file\n        + \" && printf '\\\\n' >> \" + file\n        + ' && echo LEDGER-OK';\n}\nfunction invocations(run) {\n    const out = new Map();\n    for (const e of run.events) {\n        if (e.event === 'dispatched') {\n            out.set(e.invocationId, {\n                invocationId: e.invocationId,\n                stepId: e.stepId,\n                itemKey: e.itemKey,\n                dispatchSeq: e.seq,\n                settleSeq: null,\n                causedBy: e.causedBy,\n            });\n        }\n        else if (e.event === 'settled') {\n            const inv = out.get(e.invocationId);\n            if (inv)\n                inv.settleSeq = e.seq;\n        }\n    }\n    return [...out.values()];\n}",
   },
   "loop-semantics": {
     name: "loop-semantics",

package/src/loop-render.ts

@@ -653,7 +653,7 @@ function renderRuntime(plan: LoopPlan, planDig: string, execFp: string, blobs: L
   }
   if (traceOn) {
     lines.push(`// trace wiring (blob-provided emitter; hooks INSIDE runStep — ADR-003)`);
-    lines.push(`const __traceState = traceInit(RUN_ID, PLAN_DIGEST, EXEC_FP)`);
+    lines.push(`const __traceState = traceInit(RUN_ID, PLAN_DIGEST, EXEC_FP, 'rendered-script')`);
     lines.push(`__hooks.onDispatch = function (e) { return traceOnDispatch(__traceState, e) }`);
     lines.push(`__hooks.onSettle = function (e) { return traceOnSettle(__traceState, e) }`);
     lines.push(`async function __traceFlushNow(phaseName, stepLabel) {`);