@openrig/cli 0.5.1 → 0.5.3

package/daemon/dist/domain/markdown-address.js

@@ -0,0 +1,188 @@
+// OPR.0.5.3.5 mini-req 6 — ADDRESSABLE MARKDOWN, the resolver core.
+//
+// Locked conventions (SPEC.md Q1 ruling, approved-spec-by review-r1; grammar authority
+// FOUNDER_NOTES.md P1): an address is `name#H2-slug/H3-slug` — exactly ONE form, held in
+// memory. `name` is resolved by the caller (library index or configured tree roots — the
+// Q2-Amendment 1 one-grammar-two-resolvers ruling); everything after `#` resolves HERE,
+// against markdown text. A bare address returns the section's FULL span: everything until
+// the next SAME-OR-HIGHER-level header, children included. The section's OWN text (until
+// the next header of ANY level) is the `ownText` field of the same resolution — a field,
+// never a second address syntax (the superseded May design accepted two separator forms;
+// we deliberately ship one). Headers inside code fences are never addresses and never
+// terminate spans (the May prototype's proven trap). Resolution FAILS LOUD: an address
+// that matches nothing is an AddressResolutionError naming the reason and the real
+// candidates — never a silent empty; in an install pipeline a missing atom must stop the
+// compose, not thin the walk quietly (the prototype's graceful-undefined is the one
+// behavior explicitly not carried).
+//
+// This module is PURE (text in, spans out) and daemon-homed so the CLI (which depends on
+// @openrig/daemon) and the daemon assembler share one resolver — one grammar, one home.
+// Scope fence (Q4): resolution + composition support only; CRUD/surgical-edit/lint stays
+// with the 0.6.0 mdar-full-ship trail.
+/** Addressable depth per the Q1 ruling: H2 and H3. */
+const MIN_LEVEL = 2;
+const MAX_LEVEL = 3;
+export class AddressResolutionError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "AddressResolutionError";
+    }
+}
+/** ONE slug rule, simple enough to hold in memory: lowercase; markdown emphasis/code
+ *  markers stripped with the text kept; every run of non-alphanumerics becomes one
+ *  hyphen; leading/trailing hyphens trimmed. */
+export function slugifyHeader(title) {
+    return title
+        .toLowerCase()
+        .replace(/[`*_~]/g, "")
+        .replace(/[^a-z0-9]+/g, "-")
+        .replace(/^-+|-+$/g, "");
+}
+/** Parse the one grammar form `ref` / `ref#h2` / `ref#h2/h3`. Fail-loud on anything else. */
+export function parseAddress(address) {
+    const hashCount = (address.match(/#/g) ?? []).length;
+    if (hashCount > 1) {
+        throw new AddressResolutionError(`address '${address}' has ${hashCount} '#' separators — the one form is name#H2-slug/H3-slug (a single '#').`);
+    }
+    const [ref, headerPart] = hashCount === 1 ? address.split("#") : [address, undefined];
+    if (!ref) {
+        throw new AddressResolutionError(`address '${address}' has an empty ref before '#' — an address always names its file/ref.`);
+    }
+    if (headerPart === undefined)
+        return { ref, headerPath: [] };
+    const headerPath = headerPart.split("/");
+    if (headerPath.some((seg) => seg.length === 0)) {
+        throw new AddressResolutionError(`address '${address}' has an empty header segment — the form is name#H2-slug or name#H2-slug/H3-slug.`);
+    }
+    if (headerPath.length > MAX_LEVEL - MIN_LEVEL + 1) {
+        throw new AddressResolutionError(`address '${address}' goes ${headerPath.length} levels deep — addresses target H2 and H3 only (Q1 ruling), so the deepest form is name#H2-slug/H3-slug.`);
+    }
+    return { ref, headerPath };
+}
+/** Scan for real headers, skipping fenced code blocks (``` or ~~~, any info string;
+ *  a fence closes only on the same marker at the same or greater length). */
+function scanHeaders(lines) {
+    const hits = [];
+    let fence = null;
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        const fenceMatch = line.match(/^\s{0,3}(`{3,}|~{3,})/);
+        if (fenceMatch) {
+            const marker = fenceMatch[1][0];
+            const length = fenceMatch[1].length;
+            if (!fence) {
+                fence = { marker, length, line: i };
+            }
+            else if (fence.marker === marker && length >= fence.length) {
+                fence = null;
+            }
+            continue;
+        }
+        if (fence)
+            continue;
+        const header = line.match(/^(#{1,6})\s+(.*\S)\s*$/);
+        if (header)
+            hits.push({ level: header[1].length, title: header[2], line: i });
+    }
+    return { hits, unterminatedFenceLine: fence?.line ?? null };
+}
+/** Parse the addressable H2/H3 section tree of a markdown text.
+ *  A matched section is NEVER empty by construction: the span includes the header
+ *  line itself, so even a body-less `## alpha` (next line another header, or EOF)
+ *  resolves to at least its own header — a matched-but-empty section can never
+ *  quietly thin a compose (the structural half of the fail-loud contract; r1 A2). */
+export function parseMarkdownSections(text) {
+    const lines = text.split("\n");
+    const { hits: headers } = scanHeaders(lines);
+    const sections = [];
+    let currentH2 = null;
+    for (let idx = 0; idx < headers.length; idx++) {
+        const h = headers[idx];
+        if (h.level < MIN_LEVEL || h.level > MAX_LEVEL) {
+            if (h.level < MIN_LEVEL)
+                currentH2 = null; // an H1 resets the H2 scope
+            continue;
+        }
+        const slug = slugifyHeader(h.title);
+        if (h.level === 2)
+            currentH2 = slug;
+        // r1 F2: test the SCOPE against null, never truthiness — an H2 whose title
+        // slugifies to "" still owns its children. They stay under the empty segment
+        // (unreachable by any legal address, and the validator names the family)
+        // instead of being silently promoted to top-level addresses.
+        const headerPath = h.level === 2 ? [slug] : currentH2 !== null ? [currentH2, slug] : [slug];
+        // FULL span: to the next header with level <= this one (same-or-higher).
+        const fullEnd = headers.slice(idx + 1).find((n) => n.level <= h.level)?.line ?? lines.length;
+        // OWN text: to the next header of ANY level.
+        const ownEnd = headers[idx + 1]?.line ?? lines.length;
+        sections.push({
+            level: h.level,
+            title: h.title,
+            headerPath,
+            headerLine: h.line,
+            text: lines.slice(h.line, fullEnd).join("\n"),
+            ownText: lines.slice(h.line, ownEnd).join("\n"),
+        });
+    }
+    return sections;
+}
+/** Resolve a header path against markdown text. FAIL-LOUD: no match is an error that
+ *  names the miss and the real candidates at that altitude — never a silent empty. */
+export function resolveAddress(text, headerPath) {
+    if (headerPath.length === 0) {
+        throw new AddressResolutionError("resolveAddress needs at least one header slug; a bare ref resolves to the whole file at the caller.");
+    }
+    const sections = parseMarkdownSections(text);
+    const wanted = headerPath.join("/");
+    const hits = sections.filter((s) => s.headerPath.join("/") === wanted);
+    // AMBIGUITY fails loud at RESOLVE time (Atom 4c): a duplicate header-path is
+    // a validator finding, but serving must not depend on the validator having
+    // run — first-match on a shipped duplicate is a silent wrong answer.
+    if (hits.length > 1) {
+        throw new AddressResolutionError(`address '#${wanted}' is AMBIGUOUS in this file — ${hits.length} sections share the path ` +
+            `(header lines ${hits.map((h) => h.headerLine).join(", ")}). Fix the duplicate headers; ` +
+            `serving any one of them would be a silent wrong answer.`);
+    }
+    if (hits.length === 1)
+        return hits[0];
+    const parentPath = headerPath.slice(0, -1).join("/");
+    const candidates = sections
+        .filter((s) => s.headerPath.slice(0, -1).join("/") === parentPath)
+        .map((s) => s.headerPath.join("/"));
+    throw new AddressResolutionError(`address '#${wanted}' matches no header in this file — composition stops here rather than thinning the walk. ` +
+        (candidates.length > 0
+            ? `Addressable sections under '${parentPath || "(top)"}': ${candidates.join(", ")}.`
+            : `The file has ${sections.length} addressable section(s): ${sections.map((s) => s.headerPath.join("/")).join(", ") || "(none)"}.`));
+}
+/** The compose-gate validator: every H2/H3 must be uniquely addressable under the one
+ *  slug rule, and the file must not silently lose sections. Findings, not throws —
+ *  the caller decides the gate. */
+export function validateMarkdownAddressability(text) {
+    const lines = text.split("\n");
+    const { unterminatedFenceLine } = scanHeaders(lines);
+    const sections = parseMarkdownSections(text);
+    const findings = [];
+    // r1 F1: an unclosed fence swallows every later header; resolution stays honest
+    // (a swallowed address fails loud) but the GATE must name the loss up front —
+    // this is the corpus defect a real file is most likely to actually contain.
+    if (unterminatedFenceLine !== null) {
+        findings.push({ kind: "unterminated-fence", line: unterminatedFenceLine });
+    }
+    const seen = new Map();
+    for (const s of sections) {
+        // r1 F2 family rule: ANY empty segment makes a section unreachable by a legal
+        // address (parseAddress rejects empty segments) — flag parent AND children.
+        if (s.headerPath.some((segment) => segment.length === 0)) {
+            findings.push({ kind: "unaddressable-header", headerPath: s.headerPath.join("/"), line: s.headerLine, title: s.title });
+            continue;
+        }
+        const key = s.headerPath.join("/");
+        seen.set(key, [...(seen.get(key) ?? []), s.headerLine]);
+    }
+    for (const [headerPath, lineNumbers] of seen) {
+        if (lineNumbers.length > 1)
+            findings.push({ kind: "duplicate-header-path", headerPath, lines: lineNumbers });
+    }
+    return findings;
+}
+//# sourceMappingURL=markdown-address.js.map

package/daemon/dist/domain/markdown-address.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"markdown-address.js","sourceRoot":"","sources":["../../src/domain/markdown-address.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,EAAE;AACF,uFAAuF;AACvF,yFAAyF;AACzF,yFAAyF;AACzF,wFAAwF;AACxF,0FAA0F;AAC1F,yFAAyF;AACzF,yFAAyF;AACzF,yFAAyF;AACzF,sFAAsF;AACtF,uFAAuF;AACvF,mFAAmF;AACnF,yFAAyF;AACzF,oFAAoF;AACpF,oCAAoC;AACpC,EAAE;AACF,yFAAyF;AACzF,wFAAwF;AACxF,yFAAyF;AACzF,uCAAuC;AAEvC,sDAAsD;AACtD,MAAM,SAAS,GAAG,CAAC,CAAC;AACpB,MAAM,SAAS,GAAG,CAAC,CAAC;AAEpB,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAC/C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;IACvC,CAAC;CACF;AAED;;gDAEgD;AAChD,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,OAAO,KAAK;SACT,WAAW,EAAE;SACb,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;SACtB,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;AAC7B,CAAC;AASD,6FAA6F;AAC7F,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACrD,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,sBAAsB,CAC9B,YAAY,OAAO,SAAS,SAAS,wEAAwE,CAC9G,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,SAAS,KAAK,CAAC,CAAC,CAAC,CAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAsB,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC5G,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,sBAAsB,CAAC,YAAY,OAAO,uEAAuE,CAAC,CAAC;IAC/H,CAAC;IACD,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC7D,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,sBAAsB,CAAC,YAAY,OAAO,mFAAmF,CAAC,CAAC;IAC3I,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,sBAAsB,CAC9B,YAAY,OAAO,UAAU,UAAU,CAAC,MAAM,0GAA0G,CACzJ,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAC7B,CAAC;AA+BD;6EAC6E;AAC7E,SAAS,WAAW,CAAC,KAAe;IAClC,MAAM,IAAI,GAAgB,EAAE,CAAC;IAC7B,IAAI,KAAK,GAA4D,IAAI,CAAC;IAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;QACvD,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,CAAC;YAClC,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC;YACrC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,KAAK,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACtC,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC7D,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,KAAK;YAAE,SAAS;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACpD,IAAI,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;AAC9D,CAAC;AAED;;;;qFAIqF;AACrF,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAE,CAAC;QACxB,IAAI,CAAC,CAAC,KAAK,GAAG,SAAS,IAAI,CAAC,CAAC,KAAK,GAAG,SAAS,EAAE,CAAC;YAC/C,IAAI,CAAC,CAAC,KAAK,GAAG,SAAS;gBAAE,SAAS,GAAG,IAAI,CAAC,CAAC,4BAA4B;YACvE,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC;QACpC,2EAA2E;QAC3E,6EAA6E;QAC7E,yEAAyE;QACzE,6DAA6D;QAC7D,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5F,yEAAyE;QACzE,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC;QAC7F,6CAA6C;QAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC;QACtD,QAAQ,CAAC,IAAI,CAAC;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,UAAU;YACV,UAAU,EAAE,CAAC,CAAC,IAAI;YAClB,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7C,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SAChD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;sFACsF;AACtF,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,UAAoB;IAC/D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,sBAAsB,CAAC,qGAAqG,CAAC,CAAC;IAC1I,CAAC;IACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,CAAC;IACvE,6EAA6E;IAC7E,2EAA2E;IAC3E,qEAAqE;IACrE,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,sBAAsB,CAC9B,aAAa,MAAM,iCAAiC,IAAI,CAAC,MAAM,2BAA2B;YACxF,iBAAiB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,gCAAgC;YACzF,yDAAyD,CAC5D,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAE,CAAC;IACvC,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,QAAQ;SACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC;SACjE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,MAAM,IAAI,sBAAsB,CAC9B,aAAa,MAAM,2FAA2F;QAC5G,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;YACpB,CAAC,CAAC,+BAA+B,UAAU,IAAI,OAAO,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACpF,CAAC,CAAC,gBAAgB,QAAQ,CAAC,MAAM,4BAA4B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,GAAG,CAAC,CACxI,CAAC;AACJ,CAAC;AAOD;;mCAEmC;AACnC,MAAM,UAAU,8BAA8B,CAAC,IAAY;IACzD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,EAAE,qBAAqB,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,gFAAgF;IAChF,8EAA8E;IAC9E,4EAA4E;IAC5E,IAAI,qBAAqB,KAAK,IAAI,EAAE,CAAC;QACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,8EAA8E;QAC9E,4EAA4E;QAC5E,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YACzD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACxH,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,KAAK,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,IAAI,EAAE,CAAC;QAC7C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IAC/G,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/daemon/dist/domain/model-divergence/current-generation-record.d.ts

@@ -0,0 +1,73 @@
+export interface ProcessRow {
+    pid: number;
+    ppid: number;
+    command: string;
+    /** OPR.0.5.3.10 — the process start time (`ps lstart`), the identity half
+     *  of pid+start-time: pid reuse changes it, so consumers can invalidate
+     *  cached per-pid answers without another spawn. Optional: injected legacy
+     *  rows without it fall back to the resolver's TTL bound. */
+    startedAt?: string;
+}
+export interface CurrentGenerationDeps {
+    getPanePid: (sessionTarget: string) => Promise<number | null>;
+    listProcesses: () => Promise<ProcessRow[]>;
+    /** Codex: thread id for a live codex pid (the logs join; async post-F1).
+     *  `identity` = the census row's startedAt (pid+start-time reuse guard). */
+    readThreadIdByPid: (pid: number, identity?: string) => Promise<string | undefined> | string | undefined;
+}
+export type CurrentRecordResolution = {
+    ok: true;
+    id: string;
+} | {
+    ok: false;
+    reason: string;
+};
+/** The pane process's claude session-id LAUNCH ARGUMENT — one CANDIDATE, never the answer alone:
+ *  measured on the live specimen, claude rolls session ids internally (the slice-13 lesson — the
+ *  argument records what was LAUNCHED; hooks report what RUNS), so the argument can be the stale
+ *  pointer while the sidecar is current. Feed it into LiveClaudeRecordSelector with the others. */
+export declare function paneClaudeSessionIdArgument(sessionTarget: string, deps: Pick<CurrentGenerationDeps, "getPanePid" | "listProcesses">): Promise<CurrentRecordResolution>;
+export interface ClaudeRecordCandidate {
+    /** Where this candidate id came from (sidecar / registry / pane-argument) — rides the verdict. */
+    source: string;
+    id: string;
+    /** Absolute transcript path for the id, when derivable. */
+    path: string | null;
+}
+export type ClaudeRecordSelection = {
+    ok: true;
+    id: string;
+    path: string;
+    source: string;
+} | {
+    ok: false;
+    reason: string;
+};
+export interface RecordStat {
+    mtimeMs: number;
+    size: number;
+}
+/** The CURRENT claude record via CROSS-POLL OBSERVED ADVANCEMENT (r2 rounds 2-4 on this family):
+ *  neither existence, nor recency, nor a 1.5s in-poll sample proves a record is being written —
+ *  the in-poll window forgot everything between polls and oscillated truth/indeterminate with
+ *  write timing (r2 round-4). This selector is STATEFUL per seat:
+ *  - an id is readable if ANY of its candidate paths stats (all paths retained per id — r2's
+ *    adjacent pin: a dead sidecar path must not mask a readable registry-derived one).
+ *  - an UNREADABLE contender with a different id → ALWAYS a named INDETERMINATE.
+ *  - exactly one readable id, no differing unreadable contender → that record (unanimity).
+ *  - multiple readable ids → advancement is observed ACROSS POLLS: current stats vs the previous
+ *    poll's cached stats (the full poll interval is the observation window, catching every
+ *    intervening write). Exactly one record advanced → selected and RETAINED until the candidate
+ *    id set changes; none/several advanced → named INDETERMINATE, re-observed next poll. The
+ *    first observation of a disagreeing set is INDETERMINATE by construction (nothing to compare
+ *    against yet — named as such). */
+export declare class LiveClaudeRecordSelector {
+    private readonly perSeat;
+    select(seatKey: string, candidates: ClaudeRecordCandidate[], statRecord: (path: string) => RecordStat | null): ClaudeRecordSelection;
+    private rememberStats;
+    private rememberSelection;
+}
+/** The live codex occupant's thread id, via its own pid's log join — bypasses the stored resume
+ *  token entirely (the stored token is exactly what went stale on the specimen class). */
+export declare function resolveLiveCodexThreadId(sessionTarget: string, deps: CurrentGenerationDeps): Promise<CurrentRecordResolution>;
+//# sourceMappingURL=current-generation-record.d.ts.map

package/daemon/dist/domain/model-divergence/current-generation-record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"current-generation-record.d.ts","sourceRoot":"","sources":["../../../src/domain/model-divergence/current-generation-record.ts"],"names":[],"mappings":"AAuBA,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB;;;iEAG6D;IAC7D,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,qBAAqB;IACpC,UAAU,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAC9D,aAAa,EAAE,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3C;gFAC4E;IAC5E,iBAAiB,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC;CACzG;AAED,MAAM,MAAM,uBAAuB,GAC/B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GACxB;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AA+BlC;;;mGAGmG;AACnG,wBAAsB,2BAA2B,CAC/C,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,IAAI,CAAC,qBAAqB,EAAE,YAAY,GAAG,eAAe,CAAC,GAChE,OAAO,CAAC,uBAAuB,CAAC,CAYlC;AAED,MAAM,WAAW,qBAAqB;IACpC,kGAAkG;IAClG,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;IACX,2DAA2D;IAC3D,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CACrB;AAED,MAAM,MAAM,qBAAqB,GAC7B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACtD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAElC,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;;;;;sCAasC;AACtC,qBAAa,wBAAwB;IACnC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAInB;IAEL,MAAM,CACJ,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,qBAAqB,EAAE,EACnC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,UAAU,GAAG,IAAI,GAC9C,qBAAqB;IAkFxB,OAAO,CAAC,aAAa;IAarB,OAAO,CAAC,iBAAiB;CAQ1B;AAMD;0FAC0F;AAC1F,wBAAsB,wBAAwB,CAC5C,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,qBAAqB,GAC1B,OAAO,CAAC,uBAAuB,CAAC,CAWlC"}

package/daemon/dist/domain/model-divergence/current-generation-record.js

@@ -0,0 +1,204 @@
+// D-a (B8-family) — resolve the CURRENT OCCUPANT's provider record by RECORD-LIVENESS.
+//
+// Fourth cross-generation-keying lesson tonight, and this module's own first cut was specimen #4:
+// ~~"the pane's process tree is the only record that IS the occupant"~~ — WRONG, withdrawn by the
+// author before review. Measured on dev.planner: the pane process's --session-id ARGUMENT pointed
+// at a transcript dormant for a day (reading an old model), while the sidecar/registry id matched
+// the transcript being APPENDED that minute (reading the pinned model). Claude rolls session ids
+// internally — the launch argument records what was LAUNCHED; hooks report what RUNS (the slice-13
+// lesson, met again from the other side). On the B16 specimen the SIDECAR was the stale one. So no
+// single pointer — argument, sidecar, or registry row — is generation-true.
+//
+// What IS generation-true: the record being WRITTEN. LiveClaudeRecordSelector gathers every candidate
+// session id this seat is associated with (sidecar, newest registry hook row, pane argument),
+// resolves each to its transcript, and selects the freshest-mtime one. Codex differs: the
+// pid-to-logs join reads the live process's OWN log rows, so it needs no selection.
+//
+// Also measured: occupant_tenures.native_session_id_at_boot is NULL on every tenure on this box
+// (the ledger join the fix shape named is unpopulated — flagged upstream; when backfilled it joins
+// the candidate set, it does not replace liveness).
+//
+// All process reads are async (the F1/B12 discipline). Every no-answer is a NAMED reason, never a
+// silent fall-through — the ruled shape: honest INDETERMINATE over a masked stale read.
+/** Descendants of `parentPid` whose command matches `matches`, breadth-first. (Deliberately local:
+ *  the two existing walkers are module-private in the codex adapter and the refresher; a shared
+ *  extraction is a cleanup for calmer water.) */
+function findDescendants(processes, parentPid, matches) {
+    const byParent = new Map();
+    for (const p of processes) {
+        const list = byParent.get(p.ppid) ?? [];
+        list.push(p);
+        byParent.set(p.ppid, list);
+    }
+    const out = [];
+    const queue = [parentPid];
+    while (queue.length > 0) {
+        const pid = queue.shift();
+        for (const child of byParent.get(pid) ?? []) {
+            if (matches(child.command))
+                out.push(child.pid);
+            queue.push(child.pid);
+        }
+    }
+    return out;
+}
+function commandBasenameIs(name) {
+    return (command) => command.trim().split(/\s+/).filter(Boolean).some((token) => {
+        const unquoted = token.replace(/^['"]|['"]$/g, "");
+        return unquoted.split("/").pop() === name;
+    });
+}
+/** The pane process's claude session-id LAUNCH ARGUMENT — one CANDIDATE, never the answer alone:
+ *  measured on the live specimen, claude rolls session ids internally (the slice-13 lesson — the
+ *  argument records what was LAUNCHED; hooks report what RUNS), so the argument can be the stale
+ *  pointer while the sidecar is current. Feed it into LiveClaudeRecordSelector with the others. */
+export async function paneClaudeSessionIdArgument(sessionTarget, deps) {
+    const panePid = await deps.getPanePid(sessionTarget);
+    if (!panePid)
+        return { ok: false, reason: `no live pane pid for ${sessionTarget}` };
+    const processes = await deps.listProcesses();
+    const claudePids = findDescendants(processes, panePid, commandBasenameIs("claude"));
+    if (claudePids.length === 0)
+        return { ok: false, reason: `no claude process under the live pane of ${sessionTarget}` };
+    for (const pid of claudePids) {
+        const command = processes.find((p) => p.pid === pid)?.command ?? "";
+        const match = command.match(/--session-id[= ]([0-9a-f-]{36})/) ?? command.match(/--resume[= ]([0-9a-f-]{36})/);
+        if (match?.[1])
+            return { ok: true, id: match[1] };
+    }
+    return { ok: false, reason: `live claude process under ${sessionTarget} carries no --session-id/--resume argument` };
+}
+/** The CURRENT claude record via CROSS-POLL OBSERVED ADVANCEMENT (r2 rounds 2-4 on this family):
+ *  neither existence, nor recency, nor a 1.5s in-poll sample proves a record is being written —
+ *  the in-poll window forgot everything between polls and oscillated truth/indeterminate with
+ *  write timing (r2 round-4). This selector is STATEFUL per seat:
+ *  - an id is readable if ANY of its candidate paths stats (all paths retained per id — r2's
+ *    adjacent pin: a dead sidecar path must not mask a readable registry-derived one).
+ *  - an UNREADABLE contender with a different id → ALWAYS a named INDETERMINATE.
+ *  - exactly one readable id, no differing unreadable contender → that record (unanimity).
+ *  - multiple readable ids → advancement is observed ACROSS POLLS: current stats vs the previous
+ *    poll's cached stats (the full poll interval is the observation window, catching every
+ *    intervening write). Exactly one record advanced → selected and RETAINED until the candidate
+ *    id set changes; none/several advanced → named INDETERMINATE, re-observed next poll. The
+ *    first observation of a disagreeing set is INDETERMINATE by construction (nothing to compare
+ *    against yet — named as such). */
+export class LiveClaudeRecordSelector {
+    perSeat = new Map();
+    select(seatKey, candidates, statRecord) {
+        // Dedupe by id, RETAINING every path offered for the id (first source labels it).
+        const byId = new Map();
+        for (const c of candidates) {
+            if (!c.id)
+                continue;
+            const entry = byId.get(c.id) ?? { source: c.source, paths: [] };
+            if (c.path && !entry.paths.includes(c.path))
+                entry.paths.push(c.path);
+            byId.set(c.id, entry);
+        }
+        const readable = [];
+        const unreadable = [];
+        for (const [id, { source, paths }] of byId) {
+            let hit = null;
+            for (const path of paths) {
+                const stat = statRecord(path);
+                if (stat) {
+                    hit = { path, stat };
+                    break;
+                }
+            }
+            if (hit)
+                readable.push({ id, path: hit.path, source, stat: hit.stat });
+            else
+                unreadable.push(`${source}:${id.slice(0, 8)}… (${paths.length ? "no file" : "no path"})`);
+        }
+        if (readable.length === 0) {
+            this.perSeat.delete(seatKey);
+            return { ok: false, reason: `no readable transcript for any candidate session (${unreadable.join(", ") || "no candidates"})` };
+        }
+        if (unreadable.length > 0) {
+            // ALWAYS indeterminate: the unreadable contender may be the current record before its first
+            // readable byte — confident stale truth here is the exact defect class.
+            this.rememberStats(seatKey, byIdKey(byId), readable);
+            return {
+                ok: false,
+                reason: `candidate sessions disagree and ${unreadable.length} contender(s) are unreadable (${unreadable.join(", ")}; readable: ${readable.map((r) => `${r.source}:${r.id.slice(0, 8)}…`).join(", ")}) — the unreadable one may be the record being written`,
+            };
+        }
+        if (readable.length === 1) {
+            const only = readable[0];
+            this.rememberSelection(seatKey, byIdKey(byId), readable, only);
+            return { ok: true, id: only.id, path: only.path, source: only.source };
+        }
+        const idSetKey = byIdKey(byId);
+        const state = this.perSeat.get(seatKey);
+        const retainedCurrent = state && state.idSetKey === idSetKey && state.selected
+            ? readable.find((r) => r.id === state.selected.id)
+            : undefined;
+        if (retainedCurrent) {
+            // RETAIN the resolved ID until the candidate set changes (r2 round-4 remedy) — but rebind
+            // path/source to THIS poll's readable entry (r2 round-5): the cached path can die while a
+            // same-id fallback path stays readable, and returning the cached path verbatim is the
+            // temporal form of the dead-first-path-masks-readable-second defect.
+            const selected = { id: retainedCurrent.id, path: retainedCurrent.path, source: retainedCurrent.source };
+            this.rememberSelection(seatKey, idSetKey, readable, selected);
+            return { ok: true, ...selected };
+        }
+        const prev = state && state.idSetKey === idSetKey ? state.prevStats : null;
+        if (prev) {
+            const advanced = readable.filter((r) => {
+                const before = prev.get(r.id);
+                return before !== undefined && (before.size !== r.stat.size || before.mtimeMs !== r.stat.mtimeMs);
+            });
+            if (advanced.length === 1) {
+                const winner = advanced[0];
+                const selected = { id: winner.id, path: winner.path, source: winner.source };
+                this.rememberSelection(seatKey, idSetKey, readable, selected);
+                return { ok: true, ...selected };
+            }
+            this.rememberStats(seatKey, idSetKey, readable);
+            return {
+                ok: false,
+                reason: `candidate sessions disagree (${readable.map((r) => `${r.source}:${r.id.slice(0, 8)}…`).join(", ")}) and ` +
+                    (advanced.length === 0
+                        ? "no record advanced since the previous poll — idle; re-observed next poll"
+                        : `${advanced.length} records advanced since the previous poll — genuinely ambiguous`),
+            };
+        }
+        this.rememberStats(seatKey, idSetKey, readable);
+        return {
+            ok: false,
+            reason: `candidate sessions disagree (${readable.map((r) => `${r.source}:${r.id.slice(0, 8)}…`).join(", ")}) — first observation of this candidate set; advancement compares from the next poll`,
+        };
+    }
+    rememberStats(seatKey, idSetKey, readable, selected = null) {
+        this.perSeat.set(seatKey, {
+            idSetKey,
+            prevStats: new Map(readable.map((r) => [r.id, r.stat])),
+            selected,
+        });
+    }
+    rememberSelection(seatKey, idSetKey, readable, selected) {
+        this.rememberStats(seatKey, idSetKey, readable, selected);
+    }
+}
+function byIdKey(byId) {
+    return [...byId.keys()].sort().join("|");
+}
+/** The live codex occupant's thread id, via its own pid's log join — bypasses the stored resume
+ *  token entirely (the stored token is exactly what went stale on the specimen class). */
+export async function resolveLiveCodexThreadId(sessionTarget, deps) {
+    const panePid = await deps.getPanePid(sessionTarget);
+    if (!panePid)
+        return { ok: false, reason: `no live pane pid for ${sessionTarget}` };
+    const processes = await deps.listProcesses();
+    const codexPids = findDescendants(processes, panePid, commandBasenameIs("codex"));
+    if (codexPids.length === 0)
+        return { ok: false, reason: `no codex process under the live pane of ${sessionTarget}` };
+    for (const pid of codexPids) {
+        const threadId = await deps.readThreadIdByPid(pid, processes.find((p) => p.pid === pid)?.startedAt);
+        if (threadId)
+            return { ok: true, id: threadId };
+    }
+    return { ok: false, reason: `live codex process under ${sessionTarget} yielded no thread id from its logs` };
+}
+//# sourceMappingURL=current-generation-record.js.map

package/daemon/dist/domain/model-divergence/current-generation-record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"current-generation-record.js","sourceRoot":"","sources":["../../../src/domain/model-divergence/current-generation-record.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,EAAE;AACF,kGAAkG;AAClG,kGAAkG;AAClG,kGAAkG;AAClG,kGAAkG;AAClG,iGAAiG;AACjG,mGAAmG;AACnG,mGAAmG;AACnG,4EAA4E;AAC5E,EAAE;AACF,sGAAsG;AACtG,8FAA8F;AAC9F,0FAA0F;AAC1F,oFAAoF;AACpF,EAAE;AACF,gGAAgG;AAChG,mGAAmG;AACnG,oDAAoD;AACpD,EAAE;AACF,kGAAkG;AAClG,wFAAwF;AAyBxF;;iDAEiD;AACjD,SAAS,eAAe,CAAC,SAAuB,EAAE,SAAiB,EAAE,OAAqC;IACxG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACb,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YAC5C,IAAI,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QAC7E,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QACnD,OAAO,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,IAAI,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;mGAGmG;AACnG,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,aAAqB,EACrB,IAAiE;IAEjE,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,aAAa,EAAE,EAAE,CAAC;IACpF,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,aAAa,EAAE,CAAC;IAC7C,MAAM,UAAU,GAAG,eAAe,CAAC,SAAS,EAAE,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,4CAA4C,aAAa,EAAE,EAAE,CAAC;IACvH,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;QACpE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,iCAAiC,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAC/G,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACpD,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,6BAA6B,aAAa,4CAA4C,EAAE,CAAC;AACvH,CAAC;AAmBD;;;;;;;;;;;;;sCAasC;AACtC,MAAM,OAAO,wBAAwB;IAClB,OAAO,GAAG,IAAI,GAAG,EAI9B,CAAC;IAEL,MAAM,CACJ,OAAe,EACf,UAAmC,EACnC,UAA+C;QAE/C,kFAAkF;QAClF,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+C,CAAC;QACpE,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,CAAC,EAAE;gBAAE,SAAS;YACpB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YAChE,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACxB,CAAC;QACD,MAAM,QAAQ,GAA0E,EAAE,CAAC;QAC3F,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;YAC3C,IAAI,GAAG,GAA8C,IAAI,CAAC;YAC1D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,IAAI,EAAE,CAAC;oBAAC,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;oBAAC,MAAM;gBAAC,CAAC;YAC5C,CAAC;YACD,IAAI,GAAG;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;;gBAClE,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC7B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qDAAqD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,GAAG,EAAE,CAAC;QACjI,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,4FAA4F;YAC5F,wEAAwE;YACxE,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;YACrD,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,mCAAmC,UAAU,CAAC,MAAM,iCAAiC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,wDAAwD;aAC5P,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;YAC1B,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC/D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QACzE,CAAC;QAED,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,eAAe,GAAG,KAAK,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ;YAC5E,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,QAAS,CAAC,EAAE,CAAC;YACnD,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,eAAe,EAAE,CAAC;YACpB,0FAA0F;YAC1F,0FAA0F;YAC1F,sFAAsF;YACtF,qEAAqE;YACrE,MAAM,QAAQ,GAAG,EAAE,EAAE,EAAE,eAAe,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,eAAe,CAAC,MAAM,EAAE,CAAC;YACxG,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC9D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,QAAQ,EAAE,CAAC;QACnC,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3E,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;gBACrC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC9B,OAAO,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpG,CAAC,CAAC,CAAC;YACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1B,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;gBAC7E,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBAC9D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,QAAQ,EAAE,CAAC;YACnC,CAAC;YACD,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAChD,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EACJ,gCAAgC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ;oBAC1G,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;wBACpB,CAAC,CAAC,0EAA0E;wBAC5E,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,iEAAiE,CAAC;aAC3F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAChD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,gCAAgC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sFAAsF;SACjM,CAAC;IACJ,CAAC;IAEO,aAAa,CACnB,OAAe,EACf,QAAgB,EAChB,QAAiD,EACjD,WAAgE,IAAI;QAEpE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE;YACxB,QAAQ;YACR,SAAS,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACvD,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAEO,iBAAiB,CACvB,OAAe,EACf,QAAgB,EAChB,QAAiD,EACjD,QAAsD;QAEtD,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC5D,CAAC;CACF;AAED,SAAS,OAAO,CAAC,IAA0B;IACzC,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC3C,CAAC;AAED;0FAC0F;AAC1F,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,aAAqB,EACrB,IAA2B;IAE3B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,aAAa,EAAE,EAAE,CAAC;IACpF,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,aAAa,EAAE,CAAC;IAC7C,MAAM,SAAS,GAAG,eAAe,CAAC,SAAS,EAAE,OAAO,EAAE,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC;IAClF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,2CAA2C,aAAa,EAAE,EAAE,CAAC;IACrH,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QACpG,IAAI,QAAQ;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;IAClD,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,aAAa,qCAAqC,EAAE,CAAC;AAC/G,CAAC"}

package/daemon/dist/domain/model-divergence/effective-model-readers.d.ts

@@ -0,0 +1,13 @@
+/** Read at most the last TAIL_BYTES of a file as utf-8, split into whole lines (the first,
+ *  possibly-truncated line is dropped). Missing/unreadable → []. */
+export declare function readTailLines(path: string, tailBytes?: number): string[];
+/** The model that produced the seat's newest assistant turn, or null when no turn is in the tail
+ *  window (a just-launched seat has none — the detector treats null as PENDING, not as a match). */
+export declare function readClaudeEffectiveModel(transcriptPath: string): string | null;
+/** The codex runtime's own current model per its NEWEST turn_context (primary; both rollout
+ *  formats) or world_state collaboration_mode (belt). Scans backward from EOF in tail-sized
+ *  windows up to MAX_SCAN_BYTES: the signal is sparse relative to bulk event lines (r1's live
+ *  census put records 0.4-0.8MB from EOF on the big rollouts), so one tail window is not always
+ *  enough, but 8MB bounds the read far under the loop-stall class. */
+export declare function readCodexEffectiveModel(rolloutPath: string, maxScanBytes?: number): string | null;
+//# sourceMappingURL=effective-model-readers.d.ts.map

package/daemon/dist/domain/model-divergence/effective-model-readers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effective-model-readers.d.ts","sourceRoot":"","sources":["../../../src/domain/model-divergence/effective-model-readers.ts"],"names":[],"mappings":"AAsBA;oEACoE;AACpE,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,SAAa,GAAG,MAAM,EAAE,CAoB5E;AAED;oGACoG;AACpG,wBAAgB,wBAAwB,CAAC,cAAc,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAe9E;AAyCD;;;;sEAIsE;AACtE,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,MAAM,EAAE,YAAY,SAAiB,GAAG,MAAM,GAAG,IAAI,CA8CzG"}