wicked-crew 0.7.30 → 0.7.32

package/dist/qe/ledger.js

@@ -6,20 +6,35 @@
  * this daemon owns: a DomainStore rooted at `<repo>/.wicked-qe/` (legacy
  * `<repo>/.wicked-testing/` — see qeLedgerRoot) holding `runs` and
  * `verdicts`, plus the public evidence manifest at
- * `<root>/evidence/<run-id>/manifest.json`. This module reads that state
- * through the wicked-ledger package API (public entry, no deep imports) and
- * never writes a domain record — the QE pipeline is the only writer.
+ * `<root>/evidence/<run-id>/manifest.json`.
  *
- * ONE deliberate mutation is allowed: `rebuildIndex()`, which regenerates the
- * store's DERIVED SQLite index from the canonical JSON files when the two
- * disagree (see `readAcceptanceState`). Canonical JSON is authoritative by the
- * ledger's own schema contract; the index is a cache, and rebuilding a cache
- * is not a write to the ledger's record of what happened.
+ * READ-ONLY means read-only (F-E2E-013). This module reads the ledger's
+ * CANONICAL JSON files directly and never opens a `DomainStore`: opening one
+ * is a write — `new DomainStore(root)` mkdirs the root, reaps `.tmp.*` files,
+ * creates `wicked-qe.db` (+ WAL/SHM) inside the checkout, runs migrations and
+ * a stale-run UPDATE sweep — and the index-healing `rebuildIndex()` this
+ * module used to call on top of that bulk-inserted every canonical row into
+ * the fresh index, which is where a legacy ledger's scenarios without
+ * `format_version` failed ("SQLite write failed … NOT NULL constraint"). A
+ * GET must leave the repository byte-identical. Canonical JSON is
+ * authoritative by the ledger's own schema contract (the SQLite index is a
+ * derived cache), so reading it directly loses nothing — and a record that
+ * cannot be parsed is surfaced as a read failure (`error`), never skipped
+ * into a cleaner answer.
+ *
+ * ATTRIBUTION (F-E2E-013): the gate answers about ONE crew run, so a verdict
+ * is served only when it can be tied to that run — see {@link ReadSubject}.
+ * "The newest PASS in the store" is not evidence about a run that recorded
+ * none (the regression: an onboarding run that failed at plan time was shown a
+ * two-month-old PASS from the repo's committed legacy ledger). Among the QE
+ * runs that ARE this run's, deny-dominates holds ACROSS them: each QE run's
+ * newest verdict is its current judgment, and one non-PASS among those denies
+ * (review of #539, F2 — a later PASS on scenario Y must not mask a FAIL on
+ * scenario X inside the same crew run).
  */
-import { existsSync, readdirSync } from 'node:fs';
+import { existsSync, readFileSync, readdirSync } from 'node:fs';
 import { readFile } from 'node:fs/promises';
 import { isAbsolute, join } from 'node:path';
-import { createDomainStore } from 'wicked-ledger';
 /**
  * The ledger root directory name under a repo root.
  *
@@ -31,6 +46,15 @@ import { createDomainStore } from 'wicked-ledger';
  */
 export const DEFAULT_QE_LEDGER_DIRNAME = '.wicked-qe';
 export const LEGACY_QE_LEDGER_DIRNAME = '.wicked-testing';
+/**
+ * The field a QE writer running INSIDE a governed run stamps on the ledger run
+ * (and/or verdict) it records: the crew run id the engine hands every worker as
+ * `WICKED_RUN_ID`. Canonical JSON preserves any field a writer supplies, so this
+ * needs no ledger schema change; a record carrying it is attributed to that run
+ * regardless of timing. (garden's QE runner does not stamp it yet — a wave-7
+ * follow-up; until then lifetime linkage below is the inferred fallback.)
+ */
+export const CREW_RUN_ID_FIELD = 'crew_run_id';
 /** The configured ledger dir name: `WICKED_QE_LEDGER_DIR` env override, else the default. */
 export function qeLedgerDirName() {
     const env = process.env['WICKED_QE_LEDGER_DIR']?.trim();
@@ -57,32 +81,232 @@ export function qeLedgerRoot(repoRoot) {
         return legacy;
     return current;
 }
-/** True when the canonical JSON dir for a table has at least one record file. */
-function hasCanonicalRows(root, table) {
+/**
+ * One line a human can read on `gate.reason`: HOW the served verdict was tied to
+ * the run, with the inferred kind labelled as such — an operator must be able to
+ * tell "the writer said so" from "it happened while the run was live".
+ */
+export function describeAttribution(a) {
+    switch (a.kind) {
+        case 'pinned':
+            return `pinned to QE run ${a.qeRunId} by ?qeRun — caller-asserted linkage`;
+        case 'stamped':
+            return `QE run ${a.qeRunId} is stamped ${CREW_RUN_ID_FIELD} with this run's id by the writer`;
+        case 'run-window':
+            return (`INFERRED from this run's lifetime — QE run ${a.qeRunId} started ${a.qeRunStartedAt} inside it; ` +
+                `not stamped by the writer`);
+        default:
+            return a.reason;
+    }
+}
+/** Read one canonical JSON record file; throws a message naming the file on anything but a valid record. */
+function readRecordFile(path, label) {
+    let raw;
     try {
-        return readdirSync(join(root, table)).some((f) => f.endsWith('.json') && !f.includes('.tmp.'));
+        raw = readFileSync(path, 'utf8');
     }
-    catch {
-        return false;
+    catch (err) {
+        throw new Error(`${label}: ${err instanceof Error ? err.message : String(err)}`);
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(raw);
+    }
+    catch (err) {
+        throw new Error(`${label}: not valid JSON (${err instanceof Error ? err.message : String(err)})`);
+    }
+    if (typeof parsed !== 'object' || parsed === null || Array.isArray(parsed)) {
+        throw new Error(`${label}: not a record object`);
+    }
+    const rec = parsed;
+    if (typeof rec['id'] !== 'string' || rec['id'] === '') {
+        throw new Error(`${label}: record has no id`);
+    }
+    return rec;
+}
+/**
+ * Every live record of a table, newest first — the canonical JSON files, read
+ * as the ledger's own JSON-only mode reads them (`*.json`, in-flight `.tmp.*`
+ * files skipped, soft-deleted rows dropped, `created_at` descending). A table
+ * dir that does not exist is an empty table; a file that cannot be parsed is a
+ * read FAILURE the caller must surface, not a row to skip.
+ */
+function listCanonical(root, table) {
+    const dir = join(root, table);
+    let names;
+    try {
+        names = readdirSync(dir);
+    }
+    catch (err) {
+        if (err.code === 'ENOENT')
+            return [];
+        throw new Error(`${table}/: ${err instanceof Error ? err.message : String(err)}`);
+    }
+    const rows = [];
+    for (const name of names) {
+        if (!name.endsWith('.json') || /\.tmp\.\d+$/.test(name))
+            continue;
+        const rec = readRecordFile(join(dir, name), `${table}/${name}`);
+        if (rec.deleted)
+            continue;
+        rows.push(rec);
+    }
+    return rows.sort((a, b) => (b.created_at || '').localeCompare(a.created_at || ''));
+}
+/** One live record by id, or null when its file is absent (soft-deleted reads as absent too). */
+function getCanonical(root, table, id) {
+    const path = join(root, table, `${id}.json`);
+    if (!existsSync(path))
+        return null;
+    const rec = readRecordFile(path, `${table}/${id}.json`);
+    return rec.deleted ? null : rec;
+}
+/** The `crew_run_id` a writer stamped on a record, when it carries one (the typed schema has no such column; canonical JSON keeps it). */
+function stampedCrewRun(rec) {
+    const v = rec?.[CREW_RUN_ID_FIELD];
+    return typeof v === 'string' && v !== '' ? v : null;
+}
+/** Epoch millis of an ISO timestamp, or null when it does not parse. */
+function epoch(iso) {
+    if (typeof iso !== 'string')
+        return null;
+    const ms = Date.parse(iso);
+    return Number.isNaN(ms) ? null : ms;
+}
+/**
+ * Pick the verdict attributable to `subject` from the ledger's live verdicts
+ * (newest first), resolving each verdict's run lazily.
+ *
+ * An explicit pin serves that QE run's newest verdict. Otherwise the ledger is
+ * folded to one entry PER QE RUN (its newest verdict — a QE run re-reviewed
+ * after its manifest was built keeps the newer row, as before), and a QE run
+ * is ATTRIBUTED when its run row or any of its verdicts is stamped with this
+ * crew run's id, or when its run row is dated and that start falls inside the
+ * crew run's lifetime. A QE run with no dated run row is never placed by
+ * inference (review of #539, F3): a verdict's own `created_at` says when it
+ * was RECORDED, not when the QE run ran, and using it would attribute more
+ * eagerly, not less. Across the attributed set deny-dominates holds: the newest
+ * non-PASS governs when there is one, else the newest PASS (F2). Nothing else
+ * in the store is this run's evidence, however recent or however green.
+ */
+function attribute(root, verdicts, subject) {
+    if ('qeRunId' in subject) {
+        const verdict = verdicts.find((v) => v.run_id === subject.qeRunId) ?? null;
+        if (verdict === null) {
+            return {
+                verdict: null,
+                run: null,
+                attribution: { kind: 'none', reason: `QE run ${subject.qeRunId} has no verdict recorded` },
+                attributedVerdicts: 0,
+            };
+        }
+        return {
+            verdict,
+            run: getCanonical(root, 'runs', verdict.run_id),
+            attribution: { kind: 'pinned', qeRunId: verdict.run_id },
+            attributedVerdicts: 1,
+        };
+    }
+    const { runId, startedAt, finishedAt, logUnreadable } = subject.run;
+    if (verdicts.length === 0) {
+        return {
+            verdict: null,
+            run: null,
+            attribution: { kind: 'none', reason: 'the ledger records no verdict' },
+            attributedVerdicts: 0,
+        };
+    }
+    // Fold to one entry per QE run, in newest-verdict order (verdicts are newest first, so the
+    // first verdict seen for a run is its newest, and Map insertion order keeps runs newest-first).
+    const byRun = new Map();
+    for (const v of verdicts) {
+        let entry = byRun.get(v.run_id);
+        if (entry === undefined) {
+            entry = { newest: v, run: getCanonical(root, 'runs', v.run_id), stamped: false };
+            byRun.set(v.run_id, entry);
+        }
+        if (stampedCrewRun(v) === runId)
+            entry.stamped = true;
+    }
+    for (const entry of byRun.values()) {
+        if (stampedCrewRun(entry.run) === runId)
+            entry.stamped = true;
+    }
+    const windowEnd = finishedAt ?? Date.now();
+    const attributed = [];
+    let undatedRuns = 0;
+    for (const [qeRunId, e] of byRun) {
+        if (e.stamped) {
+            attributed.push({ verdict: e.newest, run: e.run, attribution: { kind: 'stamped', qeRunId } });
+            continue;
+        }
+        if (startedAt === null)
+            continue;
+        // The QE run's own start (the row's `started_at`, else its `created_at`) is the linkage
+        // instant. No dated run row ⇒ no inferred linkage: this QE run can only be attributed by
+        // stamp or pin, and is counted so the denial can say so.
+        const at = epoch(e.run?.started_at) ?? epoch(e.run?.created_at);
+        if (at === null) {
+            undatedRuns++;
+            continue;
+        }
+        if (at >= startedAt && at <= windowEnd) {
+            attributed.push({
+                verdict: e.newest,
+                run: e.run,
+                attribution: { kind: 'run-window', qeRunId, qeRunStartedAt: new Date(at).toISOString() },
+            });
+        }
     }
+    if (attributed.length > 0) {
+        // Deny-dominates ACROSS the attributed QE runs: any newest-per-run non-PASS governs (the
+        // newest such, so the reason cites the latest failure); only when every attributed QE run's
+        // newest verdict is PASS does the newest PASS govern.
+        const denying = attributed.find((a) => a.verdict.verdict !== 'PASS');
+        const pick = denying ?? attributed[0];
+        return { ...pick, attributedVerdicts: attributed.length };
+    }
+    // Nothing attributed. Say what the ledger DOES hold, so the answer is checkable.
+    const newest = verdicts[0];
+    const held = `the ledger holds ${verdicts.length} verdict${verdicts.length === 1 ? '' : 's'} across ${byRun.size} QE run${byRun.size === 1 ? '' : 's'}, ` +
+        `newest ${newest.verdict} (${newest.id}) at ${newest.created_at}`;
+    const notStamped = `none is stamped with run ${runId}`;
+    const undated = undatedRuns > 0
+        ? `; ${undatedRuns} QE run${undatedRuns === 1 ? ' has' : 's have'} no dated run row and cannot be placed by inference`
+        : '';
+    const none = (reason) => ({
+        verdict: null,
+        run: null,
+        attribution: { kind: 'none', reason },
+        attributedVerdicts: 0,
+    });
+    if (logUnreadable !== undefined) {
+        return none(`${held}; ${notStamped}, and the run's event log could not be read (${logUnreadable}), ` +
+            `so no verdict can be placed inside its lifetime${undated}`);
+    }
+    if (startedAt === null) {
+        return none(`${held}; ${notStamped}, and the run's start is not recorded ` +
+            `(no sessionStarted in its event log), so no verdict can be placed inside its lifetime${undated}`);
+    }
+    const started = new Date(startedAt).toISOString();
+    const newestAt = epoch(newest.created_at);
+    const placement = newestAt !== null && newestAt < startedAt
+        ? `before this run started (${started})`
+        : `outside this run's lifetime (started ${started}${finishedAt !== null ? `, finished ${new Date(finishedAt).toISOString()}` : ', still live'})`;
+    return none(`${held}, recorded ${placement}; ${notStamped}${undated}`);
 }
 /**
- * Read the ledger's current acceptance state for a repo.
+ * Read the ledger's acceptance state for a repo, scoped to `subject`.
  *
- * The newest verdict row governs (`opts.qeRunId` narrows to one QE run's
- * newest verdict instead). The verdicts TABLE is the system of record — the
- * manifest is the public artifact built from it at run finalization, returned
- * here as display evidence, never as a gate input: a run can legitimately be
- * re-reviewed after its manifest was built, and the newer verdict row wins.
+ * The verdicts TABLE is the system of record — the manifest is the public
+ * artifact built from it at run finalization, returned here as display
+ * evidence, never as a gate input: a run can legitimately be re-reviewed
+ * after its manifest was built, and the newer verdict row wins.
  *
- * Index-drift healing: the store is dual-write (canonical JSON + a derived
- * SQLite index) and a writer that degraded to JSON-only leaves the index
- * behind. When the index answers "no verdicts" but canonical verdict files
- * exist, the index is provably stale, so it is rebuilt from JSON once and
- * re-read — otherwise a ledger full of evidence would read as "missing
- * evidence ⇒ deny", a wrong answer in the honest direction but still wrong.
+ * Reads canonical JSON only (see the module header): nothing under the ledger
+ * root is created, modified or removed by this call.
  */
-export async function readAcceptanceState(repoRoot, opts) {
+export async function readAcceptanceState(repoRoot, subject) {
     const root = qeLedgerRoot(repoRoot);
     const state = {
         root,
@@ -91,25 +315,25 @@ export async function readAcceptanceState(repoRoot, opts) {
         verdict: null,
         manifest: null,
         manifestPath: null,
+        attribution: { kind: 'none', reason: 'no ledger' },
+        ledgerVerdicts: 0,
+        attributedVerdicts: 0,
     };
-    // Probe before opening: createDomainStore CREATES its root when absent, and
-    // a read must not install an empty ledger into a repo that never had one.
+    // Probe before reading: a read must not install an empty ledger into a repo
+    // that never had one, and a missing root is its own answer.
     if (!existsSync(root))
         return state;
     state.found = true;
     try {
-        const store = createDomainStore({ root });
-        const filter = opts?.qeRunId !== undefined ? { run_id: opts.qeRunId } : undefined;
-        let verdicts = store.list('verdicts', filter);
-        if (verdicts.length === 0 && store.mode === 'sqlite+json' && hasCanonicalRows(root, 'verdicts')) {
-            store.rebuildIndex();
-            verdicts = store.list('verdicts', filter);
-        }
-        const verdict = verdicts[0] ?? null;
-        state.verdict = verdict;
-        if (verdict !== null) {
-            state.run = store.get('runs', verdict.run_id);
-            state.manifestPath = join(root, 'evidence', verdict.run_id, 'manifest.json');
+        const verdicts = listCanonical(root, 'verdicts');
+        state.ledgerVerdicts = verdicts.length;
+        const picked = attribute(root, verdicts, subject);
+        state.verdict = picked.verdict;
+        state.run = picked.run;
+        state.attribution = picked.attribution;
+        state.attributedVerdicts = picked.attributedVerdicts;
+        if (picked.verdict !== null) {
+            state.manifestPath = join(root, 'evidence', picked.verdict.run_id, 'manifest.json');
             state.manifest = await readManifest(state.manifestPath);
         }
     }
@@ -118,6 +342,12 @@ export async function readAcceptanceState(repoRoot, opts) {
         // still denies (deny-dominates), but the reason must name the read failure
         // so an operator fixes the store instead of hunting for a missing run.
         state.error = err instanceof Error ? err.message : String(err);
+        state.verdict = null;
+        state.run = null;
+        state.manifest = null;
+        state.manifestPath = null;
+        state.attribution = { kind: 'none', reason: `the ledger could not be read: ${state.error}` };
+        state.attributedVerdicts = 0;
     }
     return state;
 }

package/dist/qe/ledger.js.map

@@ -1 +1 @@
-{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../src/qe/ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGlD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,YAAY,CAAC;AACtD,MAAM,CAAC,MAAM,wBAAwB,GAAG,iBAAiB,CAAC;AAE1D,6FAA6F;AAC7F,MAAM,UAAU,eAAe;IAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAAE,IAAI,EAAE,CAAC;IACxD,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,yBAAyB,CAAC;AAC3E,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAAC,QAAgB;IAC3C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAAE,IAAI,EAAE,CAAC;IACxD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACxF,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC;IAC1D,IAAI,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC;IACxD,IAAI,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IACtC,OAAO,OAAO,CAAC;AACjB,CAAC;AA2BD,iFAAiF;AACjF,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAa;IACnD,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CACnD,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,QAAgB,EAChB,IAA2B;IAE3B,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,KAAK,GAAsB;QAC/B,IAAI;QACJ,KAAK,EAAE,KAAK;QACZ,GAAG,EAAE,IAAI;QACT,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,IAAI;QACd,YAAY,EAAE,IAAI;KACnB,CAAC;IACF,4EAA4E;IAC5E,0EAA0E;IAC1E,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;IAEnB,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAClF,IAAI,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,IAAI,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;YAChG,KAAK,CAAC,YAAY,EAAE,CAAC;YACrB,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC5C,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QACpC,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;QACxB,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YAC9C,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;YAC7E,KAAK,CAAC,QAAQ,GAAG,MAAM,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,0EAA0E;QAC1E,2EAA2E;QAC3E,uEAAuE;QACvE,KAAK,CAAC,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wFAAwF;AACxF,KAAK,UAAU,YAAY,CAAC,IAAY;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAqB,CAAC;QACnD,8EAA8E;QAC9E,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/D,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,gBAAgB,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAClG,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAYD,sDAAsD;AACtD,MAAM,UAAU,iBAAiB,CAAC,QAA0B;IAC1D,OAAO;QACL,eAAe,EAAE,QAAQ,CAAC,gBAAgB;QAC1C,KAAK,EAAE,QAAQ,CAAC,MAAM;QACtB,YAAY,EAAE,OAAO,QAAQ,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI;QACxF,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChF,OAAO,EAAE;YACP,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,IAAI,cAAc;YAChD,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE;YAC1C,UAAU,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,IAAI,IAAI;SAClD;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../src/qe/ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAG7C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,YAAY,CAAC;AACtD,MAAM,CAAC,MAAM,wBAAwB,GAAG,iBAAiB,CAAC;AAE1D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,aAAa,CAAC;AAE/C,6FAA6F;AAC7F,MAAM,UAAU,eAAe;IAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAAE,IAAI,EAAE,CAAC;IACxD,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,yBAAyB,CAAC;AAC3E,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAAC,QAAgB;IAC3C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAAE,IAAI,EAAE,CAAC;IACxD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACxF,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC;IAC1D,IAAI,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC;IACxD,IAAI,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IACtC,OAAO,OAAO,CAAC;AACjB,CAAC;AAkDD;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,CAAgB;IAClD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,oBAAoB,CAAC,CAAC,OAAO,sCAAsC,CAAC;QAC7E,KAAK,SAAS;YACZ,OAAO,UAAU,CAAC,CAAC,OAAO,eAAe,iBAAiB,mCAAmC,CAAC;QAChG,KAAK,YAAY;YACf,OAAO,CACL,8CAA8C,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,cAAc,cAAc;gBACjG,2BAA2B,CAC5B,CAAC;QACJ;YACE,OAAO,CAAC,CAAC,MAAM,CAAC;IACpB,CAAC;AACH,CAAC;AAgDD,4GAA4G;AAC5G,SAAS,cAAc,CAAC,IAAY,EAAE,KAAa;IACjD,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,qBAAqB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,IAAI,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,GAAiC,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,aAAa,CAA4B,IAAY,EAAE,KAAa;IAC3E,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9B,IAAI,KAAe,CAAC;IACpB,IAAI,CAAC;QACH,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAK,GAA6B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAClE,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC,CAAC;QAChE,IAAI,GAAG,CAAC,OAAO;YAAE,SAAS;QAC1B,IAAI,CAAC,IAAI,CAAC,GAAQ,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,iGAAiG;AACjG,SAAS,YAAY,CAA4B,IAAY,EAAE,KAAa,EAAE,EAAU;IACtF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IAC7C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,KAAK,IAAI,EAAE,OAAO,CAAC,CAAC;IACxD,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,GAAS,CAAC;AACzC,CAAC;AAED,0IAA0I;AAC1I,SAAS,cAAc,CAAC,GAAkB;IACxC,MAAM,CAAC,GAAI,GAAsC,EAAE,CAAC,iBAAiB,CAAC,CAAC;IACvE,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,wEAAwE;AACxE,SAAS,KAAK,CAAC,GAAY;IACzB,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC;AAgBD;;;;;;;;;;;;;;;GAeG;AACH,SAAS,SAAS,CAAC,IAAY,EAAE,QAAyB,EAAE,OAAoB;IAC9E,IAAI,SAAS,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;QAC3E,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,GAAG,EAAE,IAAI;gBACT,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,OAAO,CAAC,OAAO,0BAA0B,EAAE;gBAC1F,kBAAkB,EAAE,CAAC;aACtB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,OAAO;YACP,GAAG,EAAE,YAAY,CAAY,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC;YAC1D,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE;YACxD,kBAAkB,EAAE,CAAC;SACtB,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC;IACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,OAAO,EAAE,IAAI;YACb,GAAG,EAAE,IAAI;YACT,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,+BAA+B,EAAE;YACtE,kBAAkB,EAAE,CAAC;SACtB,CAAC;IACJ,CAAC;IAED,2FAA2F;IAC3F,gGAAgG;IAChG,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,YAAY,CAAY,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAC5F,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,cAAc,CAAC,CAAC,CAAC,KAAK,KAAK;YAAE,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;IACxD,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QACnC,IAAI,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK;YAAE,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;IAChE,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3C,MAAM,UAAU,GAAyF,EAAE,CAAC;IAC5G,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YAC9F,SAAS;QACX,CAAC;QACD,IAAI,SAAS,KAAK,IAAI;YAAE,SAAS;QACjC,wFAAwF;QACxF,yFAAyF;QACzF,yDAAyD;QACzD,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAChE,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,WAAW,EAAE,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,EAAE,IAAI,SAAS,IAAI,EAAE,IAAI,SAAS,EAAE,CAAC;YACvC,UAAU,CAAC,IAAI,CAAC;gBACd,OAAO,EAAE,CAAC,CAAC,MAAM;gBACjB,GAAG,EAAE,CAAC,CAAC,GAAG;gBACV,WAAW,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE;aACzF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,yFAAyF;QACzF,4FAA4F;QAC5F,sDAAsD;QACtD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,OAAO,IAAI,UAAU,CAAC,CAAC,CAAE,CAAC;QACvC,OAAO,EAAE,GAAG,IAAI,EAAE,kBAAkB,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;IAC5D,CAAC;IAED,iFAAiF;IACjF,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;IAC5B,MAAM,IAAI,GACR,oBAAoB,QAAQ,CAAC,MAAM,WAAW,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,WAAW,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI;QAC5I,UAAU,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,EAAE,QAAQ,MAAM,CAAC,UAAU,EAAE,CAAC;IACpE,MAAM,UAAU,GAAG,4BAA4B,KAAK,EAAE,CAAC;IACvD,MAAM,OAAO,GACX,WAAW,GAAG,CAAC;QACb,CAAC,CAAC,KAAK,WAAW,UAAU,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,qDAAqD;QACtH,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,IAAI,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QACxC,OAAO,EAAE,IAAI;QACb,GAAG,EAAE,IAAI;QACT,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE;QACrC,kBAAkB,EAAE,CAAC;KACtB,CAAC,CAAC;IACH,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,IAAI,CACT,GAAG,IAAI,KAAK,UAAU,gDAAgD,aAAa,KAAK;YACtF,kDAAkD,OAAO,EAAE,CAC9D,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,IAAI,CACT,GAAG,IAAI,KAAK,UAAU,wCAAwC;YAC5D,wFAAwF,OAAO,EAAE,CACpG,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;IAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1C,MAAM,SAAS,GACb,QAAQ,KAAK,IAAI,IAAI,QAAQ,GAAG,SAAS;QACvC,CAAC,CAAC,4BAA4B,OAAO,GAAG;QACxC,CAAC,CAAC,wCAAwC,OAAO,GAC7C,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,cAC7E,GAAG,CAAC;IACV,OAAO,IAAI,CAAC,GAAG,IAAI,cAAc,SAAS,KAAK,UAAU,GAAG,OAAO,EAAE,CAAC,CAAC;AACzE,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,QAAgB,EAChB,OAAoB;IAEpB,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,KAAK,GAAsB;QAC/B,IAAI;QACJ,KAAK,EAAE,KAAK;QACZ,GAAG,EAAE,IAAI;QACT,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,IAAI;QACd,YAAY,EAAE,IAAI;QAClB,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE;QAClD,cAAc,EAAE,CAAC;QACjB,kBAAkB,EAAE,CAAC;KACtB,CAAC;IACF,4EAA4E;IAC5E,4DAA4D;IAC5D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;IAEnB,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,aAAa,CAAgB,IAAI,EAAE,UAAU,CAAC,CAAC;QAChE,KAAK,CAAC,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC;QACvC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAClD,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QAC/B,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;QACvB,KAAK,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;QACvC,KAAK,CAAC,kBAAkB,GAAG,MAAM,CAAC,kBAAkB,CAAC;QACrD,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC5B,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;YACpF,KAAK,CAAC,QAAQ,GAAG,MAAM,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,0EAA0E;QAC1E,2EAA2E;QAC3E,uEAAuE;QACvE,KAAK,CAAC,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC/D,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;QACrB,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC;QACjB,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;QACtB,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;QAC1B,KAAK,CAAC,WAAW,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,iCAAiC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;QAC7F,KAAK,CAAC,kBAAkB,GAAG,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wFAAwF;AACxF,KAAK,UAAU,YAAY,CAAC,IAAY;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAqB,CAAC;QACnD,8EAA8E;QAC9E,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/D,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,gBAAgB,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAClG,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAYD,sDAAsD;AACtD,MAAM,UAAU,iBAAiB,CAAC,QAA0B;IAC1D,OAAO;QACL,eAAe,EAAE,QAAQ,CAAC,gBAAgB;QAC1C,KAAK,EAAE,QAAQ,CAAC,MAAM;QACtB,YAAY,EAAE,OAAO,QAAQ,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI;QACxF,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChF,OAAO,EAAE;YACP,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,IAAI,cAAc;YAChD,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE;YAC1C,UAAU,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,IAAI,IAAI;SAClD;KACF,CAAC;AACJ,CAAC"}

package/dist/qe/test-sets.d.ts

@@ -0,0 +1,112 @@
+/**
+ * Test-set registration — the produced tests of a completed `qe-author-tests` run become a durable
+ * record the Test landing can show (wave 6, F-7R2-014).
+ *
+ * The landing (`GET /campaigns` → studio `/testing/campaigns`) used to stay "No tests yet" after a
+ * completed New test: a single-repo launch registered no engine campaign (`campaignRegistered:
+ * false`), no label group, and its verdicts existed nowhere the Testing UI reads. Two things fix it:
+ *
+ *  - the launch files the run under a LABEL GROUP (`groupLabel`, `RunGroup` on `GET /campaigns`) —
+ *    the run is on the surface from the moment it launches;
+ *  - at the run's TERMINAL frame this module reads the verify phase's transcript (the
+ *    `QE-VERIFY` report — what was produced, what ran, what passed), and registers a {@link TestSet}:
+ *    a durable `testing.testset.registered` audit entry (the daemon's system of record for run
+ *    provenance, task #88) plus this read-side index, hydrated from the trail at boot like the
+ *    retry/group/delivery indexes. `GET /campaigns` serves the sets as `test_sets`.
+ *
+ * NOT an engine campaign: `launchCampaign` schedules NODES that would RUN; a finished test set is a
+ * record of tests that exist, keyed by the run that produced them — a campaign-shaped read over a
+ * completed run, never a second execution.
+ *
+ * Deny-dominates on the wire: a run whose verify phase FAILED (a produced test failed, or was never
+ * executed) is registered too, `verified: false` with the counts — the landing must show a red set
+ * honestly rather than hide the run. A run that never reached its verify verdict registers with a
+ * `null` report.
+ */
+import type { CoreAdapter } from '../core/adapter.js';
+import type { Actor, AuditEntry, SessionView, WorkflowDef } from '../core/types.js';
+import type { AuditLog } from '../api/audit.js';
+import { QE_AUTHOR_TESTS_WORKFLOW, type QeVerifyReport } from './author-workflow.js';
+/** The audit action a registration writes — the durable record the index hydrates from. */
+export declare const TEST_SET_REGISTERED_ACTION = "testing.testset.registered";
+/** The actor a daemon-side registration writes under. */
+export declare const TEST_SET_ACTOR: Actor;
+/** A registered test set — published as `TestSet` in wicked-crew-api-types (0.36.0). */
+export interface TestSet {
+    /** `testset-<run id>`: one set per producing run. */
+    id: string;
+    run_id: string;
+    workflow_id: typeof QE_AUTHOR_TESTS_WORKFLOW;
+    /** The label group the launch filed the run under, when it did (`RunGroup.label`). */
+    label?: string;
+    repo_ref: string | null;
+    repo_name?: string;
+    /** Unix millis. */
+    registered_at: number;
+    /** The producing run's terminal status (`completed` | `failed` | `cancelled`). */
+    run_status: string;
+    /** The verify unit's status (`done` | `rejected` | …), `null` when the run never planned one. */
+    verify_status: string | null;
+    /** `true` only when the verify phase PASSED: every produced test executed and green, plan present. */
+    verified: boolean;
+    /** The produced test files and the harness verdict on each (empty when no report). */
+    files: Array<{
+        path: string;
+        harness: string;
+        status: 'passed' | 'failed' | 'not-executed';
+    }>;
+    produced: number;
+    executed: number;
+    passed: number;
+    failed: number;
+    not_executed: number;
+    /** The produced `tests/PLAN-*.md`, `null` when none was produced. */
+    plan: string | null;
+    /** The harnesses the produced tests ran under (unique, in first-use order). */
+    harnesses: string[];
+    /** The delivered PR, when the engine's deliver phase opened one. */
+    deliverUrl?: string;
+}
+/** Read-side index over the trail's `testing.testset.registered` entries. */
+export declare class TestSetIndex {
+    private readonly byRun;
+    /** Hydrate from trail entries (newest first, as `readAll` returns them) — the first seen per run wins. */
+    hydrateFromEntries(entries: AuditEntry[]): void;
+    hydrate(audit: AuditLog, log?: (msg: string) => void): Promise<void>;
+    set(set: TestSet): void;
+    forRun(runId: string): TestSet | undefined;
+    /** Every set, newest registration first. */
+    list(): TestSet[];
+}
+/** The label group `POST /testing/author` files a run under — `qe-tests-<repo name>` (one group per
+ *  repo, so the landing shows every authoring run over a repo together), `qe-tests` when unscoped. */
+export declare function qeTestsGroupLabel(repoName: string | null | undefined): string;
+export interface RegisterTestSetDeps {
+    adapter: Pick<CoreAdapter, 'sessionsDetail' | 'workOutput' | 'listRepos'>;
+    audit: AuditLog;
+    index: TestSetIndex;
+    /** The registry the run's workflow is resolved against (`adapter.listWorkflows()`). */
+    workflows: () => WorkflowDef[];
+    /** The delivered PR URL for a run, when one is recorded (`DeliveryIndex.urlFor`). */
+    deliveryUrlFor?: (runId: string) => string | undefined;
+    /** The launch-time label group, when one was filed (`GroupIndex.attachOf`). */
+    labelFor?: (runId: string) => string | undefined;
+    log?: (msg: string) => void;
+}
+/** Whether this run IS a `qe-author-tests` run (by id, or by phase sequence for an instance id). */
+export declare function isQeAuthorRun(run: SessionView, workflows: WorkflowDef[]): boolean;
+/** Build the record from the run view + the verify report (pure — tests drive it directly). */
+export declare function buildTestSet(view: SessionView, report: QeVerifyReport | null, extra: {
+    registeredAt: number;
+    label?: string;
+    repoName?: string;
+    deliverUrl?: string;
+}): TestSet;
+/**
+ * Register the test set of a TERMINAL run when it is a `qe-author-tests` run. Idempotent per run
+ * (a resume/retry re-terminal never double-writes the trail). Best-effort by construction — a
+ * failure here is logged and never fails the run. Returns the set, or `null` when the run is not a
+ * qe-author run (or is unknown).
+ */
+export declare function registerTestSetForRun(deps: RegisterTestSetDeps, runId: string): Promise<TestSet | null>;
+//# sourceMappingURL=test-sets.d.ts.map

package/dist/qe/test-sets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-sets.d.ts","sourceRoot":"","sources":["../../src/qe/test-sets.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAGhD,OAAO,EACL,wBAAwB,EAGxB,KAAK,cAAc,EACpB,MAAM,sBAAsB,CAAC;AAE9B,2FAA2F;AAC3F,eAAO,MAAM,0BAA0B,+BAA+B,CAAC;AAEvE,yDAAyD;AACzD,eAAO,MAAM,cAAc,EAAE,KAAwD,CAAC;AAEtF,wFAAwF;AACxF,MAAM,WAAW,OAAO;IACtB,qDAAqD;IACrD,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,OAAO,wBAAwB,CAAC;IAC7C,sFAAsF;IACtF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mBAAmB;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,kFAAkF;IAClF,UAAU,EAAE,MAAM,CAAC;IACnB,iGAAiG;IACjG,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,sGAAsG;IACtG,QAAQ,EAAE,OAAO,CAAC;IAClB,sFAAsF;IACtF,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAAA;KAAE,CAAC,CAAC;IAC9F,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,qEAAqE;IACrE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,+EAA+E;IAC/E,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,oEAAoE;IACpE,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAQD,6EAA6E;AAC7E,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA8B;IAEpD,0GAA0G;IAC1G,kBAAkB,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,IAAI;IASzC,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAY1E,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI;IAIvB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAI1C,4CAA4C;IAC5C,IAAI,IAAI,OAAO,EAAE;CAGlB;AAED;sGACsG;AACtG,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,CAG7E;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,gBAAgB,GAAG,YAAY,GAAG,WAAW,CAAC,CAAC;IAC1E,KAAK,EAAE,QAAQ,CAAC;IAChB,KAAK,EAAE,YAAY,CAAC;IACpB,uFAAuF;IACvF,SAAS,EAAE,MAAM,WAAW,EAAE,CAAC;IAC/B,qFAAqF;IACrF,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IACvD,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IACjD,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CAC7B;AAED,oGAAoG;AACpG,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,OAAO,CAGjF;AAED,+FAA+F;AAC/F,wBAAgB,YAAY,CAC1B,IAAI,EAAE,WAAW,EACjB,MAAM,EAAE,cAAc,GAAG,IAAI,EAC7B,KAAK,EAAE;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,GACtF,OAAO,CAiCT;AAED;;;;;GAKG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,CA0C7G"}