@treeseed/dsh-chapters 0.1.24 → 0.2.1

package/lib/save-core.js

@@ -14,26 +14,95 @@
  */
 import { composeChapters } from "./compose.js";
 import { deriveRanges } from "./continue-core.js";
-import { renderChapter } from "./render.js";
+import { estimateTokens, oversizeRanges, renderChapter } from "./render.js";
 import { chapterTopics } from "./signature.js";
 import { makeArchiveFs, commitChapters } from "./store.js";
-import { reserve, reservePlan as reservePlanNumber } from "./registry.js";
+import { releaseReservation, reserve, reservePlan as reservePlanNumber } from "./registry.js";
+/** One serialized read-allocate-write for a door that cannot use makeAllocator (same rule, #59). */
+async function reserveNumbers(store, sessionId, attemptId, count, plan = false) {
+    let numbers = [];
+    await store.mutate(sessionId, (state) => {
+        const r = plan ? reservePlanNumber(state, attemptId, count) : reserve(state, attemptId, count);
+        numbers = r.numbers;
+        return r.state;
+    });
+    return { numbers };
+}
 import { writeArchive, attemptKey } from "./archive.js";
+import { supersedeChapter } from "./repair.js";
+/**
+ * Split a range whose RENDERED size would blow past the oversize ceiling (#60, repair path only).
+ *
+ * The normal doors cut on `turn/end` and warn when a chapter is over `chapterTokenTarget`, because a
+ * boundary is around the corner and clipping is forbidden. A REPAIR span can be one gigantic turn — a
+ * delegated subagent whose single turn ran to 4 MB — where there IS no next boundary, and refusing it
+ * (the #59c gate) would leave the husk superseded-by-nothing. So the repair splits at EVENT boundaries
+ * inside the turn: nothing is truncated, every byte still lands in a chapter, and the TOC gains several
+ * consecutive ranges instead of one unreadable one. The rule that binds is completeness, not "one chapter
+ * per turn" — and a chapter nobody can `read` back is not an archive.
+ */
+function splitOversize(chapters, events, chapterTokenTarget, oversizeFactor) {
+    const ceiling = Math.floor(chapterTokenTarget * oversizeFactor);
+    const notes = [];
+    const out = [];
+    for (const c of chapters) {
+        const inRange = events.filter((e) => e.seq >= c.startSeq && e.seq <= c.endSeq);
+        const total = inRange.reduce((m, e) => m + estimateTokens(JSON.stringify(e.data ?? {})), 0);
+        if (total <= ceiling) {
+            out.push(c);
+            continue;
+        }
+        const parts = Math.ceil(total / ceiling);
+        const perPart = Math.ceil(inRange.length / parts);
+        let title = c.title;
+        for (let i = 0, n = 0; i < inRange.length; i += perPart, n++) {
+            const from = inRange[i].seq;
+            const to = inRange[Math.min(i + perPart, inRange.length) - 1].seq;
+            out.push({ ...c, title: n === 0 ? title : `${title} (part ${n + 1})`, startSeq: from, endSeq: to });
+        }
+        notes.push(`"${c.title}" (seqs ${c.startSeq}-${c.endSeq}) is ${total} est tokens in a single unfinished turn — split into ${parts} chapters at event boundaries (repair path; nothing truncated)`);
+    }
+    return { ranges: out, notes };
+}
+/**
+ * Force a repaired archive to cover exactly the span the finding named (#60). Composition may still cut
+ * it into topics - a cut is a chapter boundary, not a loss - but nothing may start above `fromSeq` or
+ * stop before the last completed turn inside the span, or the hole the finding reported stays open while
+ * the repair reports success.
+ */
+function clampSpan(chapters, fromSeq, toSeq, events) {
+    // Nothing to clamp: the span held no completed turn at all. Returning EMPTY is the honest answer —
+    // inventing a title here would fabricate a chapter, and an empty `records` makes the caller skip the
+    // supersede, which is exactly right: a record is never marked superseded without its replacement (#60).
+    if (chapters.length === 0)
+        return [];
+    const lastCompleted = events.reduce((m, e) => (e.type === 'turn/end' && e.seq <= toSeq && e.seq > m ? e.seq : m), fromSeq);
+    return chapters.map((c, i) => ({
+        ...c,
+        startSeq: i === 0 ? Math.min(c.startSeq, fromSeq) : Math.max(c.startSeq, chapters[i - 1].endSeq + 1),
+        endSeq: i === chapters.length - 1 ? lastCompleted : Math.min(c.endSeq, lastCompleted),
+    }));
+}
 export async function saveSession(a) {
     const { events, sessionId, cwd, store, config } = a;
     if (cwd === '')
         throw new Error('saveSession: session has no workspace cwd — nowhere reachable to write');
     if (sessionId === '')
         throw new Error('saveSession: no session id to own the archive');
-    const anchor = [...events].reverse().find((e) => e.type === 'turn/end')?.seq;
+    // A repair targets a span it chose; every other door archives the watermark tail up to the last
+    // completed turn. One pipeline, one difference (#60).
+    const anchor = a.span !== undefined ? a.span.toSeq : [...events].reverse().find((e) => e.type === 'turn/end')?.seq;
     if (anchor === undefined) {
         return { skipped: 'no-completed-turn', fromSeq: 0, anchor: -1, lastArchived: 0, priorChapters: 0, records: [], warnings: [] };
     }
     // Watermark: only archive what is newer than the last saved chapter.
     const state = await store.get(sessionId);
     const lastArchived = state.chapters.reduce((m, c) => Math.max(m, c.endSeq), 0);
-    const fromSeq = lastArchived > 0 ? lastArchived + 1 : 0;
-    if (fromSeq > 0 && anchor <= lastArchived) {
+    const fromSeq = a.span !== undefined ? a.span.fromSeq : (lastArchived > 0 ? lastArchived + 1 : 0);
+    // A REPAIR span is deliberate re-derivation of seqs the watermark has already passed (#60): the
+    // nothing-new guard is about not re-archiving a tail, and would otherwise refuse to fix the hole a
+    // hollow chapter sits exactly on top of. The span caller has already decided what needs re-rendering.
+    if (a.span === undefined && fromSeq > 0 && anchor <= lastArchived) {
         return { skipped: 'nothing-new', fromSeq, anchor, lastArchived, priorChapters: state.chapters.length, records: [], warnings: [] };
     }
     // Topic-sequential composition — same pipeline as fork/continue.
@@ -41,9 +110,21 @@ export async function saveSession(a) {
         mergeThreshold: config.mergeThreshold,
         chapterLimit: config.chapterLimit,
     });
-    const chapters = composed.chapters.length > 0
+    let chapters = composed.chapters.length > 0
         ? composed.chapters
         : deriveRanges(events, anchor, config.chapterTokenTarget, fromSeq).chapters;
+    const repairNotes = [];
+    if (a.span !== undefined) {
+        // A repair's span is bounded by the finding, so force exactly that range: composition inside a hole
+        // may cut it into topics, and a cut is fine, but nothing may start above `fromSeq` or end below the
+        // last completed turn inside the span.
+        chapters = clampSpan(chapters, a.span.fromSeq, a.span.toSeq, events);
+        // A repair span may be one enormous turn; the oversize gate would refuse it and leave the husk
+        // un-replaced. Split inside it at event boundaries — see `splitOversize`.
+        const split = splitOversize(chapters, events, config.chapterTokenTarget, config.chapterOversizeFactor ?? 2);
+        chapters = split.ranges;
+        repairNotes.push(...split.notes);
+    }
     // Render + write archive (same as runContinue steps 2-3, minus child creation).
     const below = events.filter((e) => e.seq <= anchor);
     const renderConfig = {
@@ -54,31 +135,86 @@ export async function saveSession(a) {
         ...(a.subagentOf !== undefined && a.subagentOf !== '' ? { subagentOf: a.subagentOf } : {}),
     };
     const rendered = chapters.map((range) => renderChapter(below, range, renderConfig, [], chapterTopics(below, range.startSeq, range.endSeq)));
+    // #58 — NEVER commit an archive that rendered nothing. A `tool/call` is always preceded by an
+    // `assistant/message`, so a non-empty range with zero rendered messages is not a short
+    // conversation: it is a read that carried no payloads. The real instance was
+    // `sessionQuery.listEvents`, whose `SessionEventRecord` rows have `seq`/`type`/`time`/`surface`
+    // and no `data` — 12 children on this machine archived as `**unknown**` / `{}` / `0 B` shells.
+    // The refusal is BEFORE `writeArchive`, so no number is reserved and no file is written: a
+    // committed husk would poison the watermark (`max(endSeq)`), and the child could then never be
+    // re-archived without a repair (#60). Refuse with numbers, never truncate — AGENTS.md.
+    //
+    // AMENDED #60: the test is on the ARCHIVE, not on each chapter. A repair may split one enormous turn
+    // into consecutive parts, and a part holding only tool calls legitimately renders zero messages —
+    // refusing the whole re-read over that stranded five SAIP children's knowledge again, which is the
+    // opposite of what the gate protects. "No payloads anywhere" is the anomaly; `describeHollow` keeps
+    // naming every message-free part so it is never silent, and the single-chapter case (#58's instance)
+    // still refuses exactly as before.
+    const describeHollow = (r) => {
+        const un = r.stats.unrenderedSeqs;
+        return `"${r.range.title}" spans seqs ${r.range.startSeq}..${r.range.endSeq}: ${r.stats.events} events, `
+            + `${r.stats.toolCalls} tool calls, 0 rendered messages, ${un.length} unrendered`
+            + `${un.length > 0 ? ` (first: ${un.slice(0, 5).join(', ')})` : ''}`;
+    };
+    const hollow = rendered.filter((r) => r.stats.events > 0 && r.stats.messages === 0);
+    if (rendered.length > 0 && hollow.length === rendered.length) {
+        return {
+            skipped: 'payloadless',
+            fromSeq,
+            anchor,
+            lastArchived,
+            priorChapters: state.chapters.length,
+            records: [],
+            warnings: hollow.map((r) => `${describeHollow(r)} — the read carried event SHAPES but no payloads; nothing was reserved or written`),
+        };
+    }
+    // Parts that carry tool calls but no prose are reported and STILL archived (#60): "what was
+    // attempted" is half the record, and silence about it is the defect class this issue is named for.
+    const hollowNotes = hollow.map((r) => `${describeHollow(r)} — archived for its tool calls, not a payload failure`);
+    // #59: refuse before reserving anything, exactly like the payloadless gate — a spent number with no
+    // file behind it is the burned-reservation state this whole round is eliminating. The factor is
+    // config, never a literal: over `chapterTokenTarget` warns, over `target × factor` refuses.
+    const tooBig = oversizeRanges(rendered, config.chapterTokenTarget, config.chapterOversizeFactor ?? 2);
+    if (tooBig.length > 0) {
+        return {
+            skipped: 'oversize', fromSeq, anchor, lastArchived,
+            priorChapters: state.chapters.length, records: [], warnings: tooBig,
+        };
+    }
     const wrote = await writeArchive({
         fs: makeArchiveFs(cwd),
         allocator: {
+            // One section per allocation (#59) — identical semantics to makeAllocator, which is why the
+            // shared helper is used by every other door; this door had its own copy of the race.
             async reserve(attemptId, count) {
-                const fresh = await store.get(sessionId);
-                const r = reserve(fresh, attemptId, count);
-                await store.put(sessionId, r.state);
-                return r.numbers;
+                const { numbers } = await reserveNumbers(store, sessionId, attemptId, count);
+                return numbers;
             },
             async reservePlan(attemptId, count) {
-                const fresh = await store.get(sessionId);
-                const r = reservePlanNumber(fresh, attemptId, count);
-                await store.put(sessionId, r.state);
-                return r.numbers;
+                const { numbers } = await reserveNumbers(store, sessionId, attemptId, count, true);
+                return numbers;
+            },
+            async release(attemptId) {
+                await store.mutate(sessionId, (state) => releaseReservation(state, attemptId));
             },
         },
         // raw value: makeArchiveFs roots RELATIVE paths at the session cwd and
         // passes absolute ones through — resolving here would double-root relative stores
         storeRoot: config.artifactStoreRoot,
+        cwd, // #69: records are stored workspace-relative
         rootSessionId: state.rootSession,
         chapters: rendered,
-        attemptId: attemptKey(sessionId, anchor),
+        attemptId: attemptKey(sessionId, anchor, a.attemptSalt),
     });
     // Commit chapter records to session state so search index picks them up.
-    await commitChapters(store, sessionId, wrote.records);
-    return { skipped: null, fromSeq, anchor, lastArchived, priorChapters: state.chapters.length, records: wrote.records, warnings: wrote.warnings };
+    if (a.supersede !== undefined && wrote.records.length > 0) {
+        // Commit AND mark in one section: no reader can ever see the replacement without the old record
+        // marked, or the mark without its replacement (#60).
+        await store.mutate(sessionId, (fresh) => supersedeChapter(fresh, a.supersede.over, wrote.records, a.supersede.reason));
+    }
+    else {
+        await commitChapters(store, sessionId, wrote.records);
+    }
+    return { skipped: null, fromSeq, anchor, lastArchived, priorChapters: state.chapters.length, records: wrote.records, warnings: [...repairNotes, ...hollowNotes, ...wrote.warnings] };
 }
 //# sourceMappingURL=save-core.js.map

package/lib/save-core.js.map

@@ -1 +1 @@
-{"version":3,"file":"save-core.js","sourceRoot":"","sources":["../src/save-core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,cAAc,EAAsB,MAAM,YAAY,CAAA;AAC9E,OAAO,EAAE,OAAO,EAAE,WAAW,IAAI,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACzE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AA8CvD,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,CAAkB;IAClD,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAA;IACnD,IAAI,GAAG,KAAK,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAA;IACzG,IAAI,SAAS,KAAK,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAEtF,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,GAAG,CAAA;IAC5E,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IAC/H,CAAC;IAED,qEAAqE;IACrE,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACxC,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;IAC9E,MAAM,OAAO,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACvD,IAAI,OAAO,GAAG,CAAC,IAAI,MAAM,IAAI,YAAY,EAAE,CAAC;QAC1C,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IACnI,CAAC;IAED,iEAAiE;IACjE,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,WAAW,EAAE;QAC3E,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,YAAY,EAAE,MAAM,CAAC,YAAY;KAClC,CAAC,CAAA;IACF,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAC3C,CAAC,CAAC,QAAQ,CAAC,QAAQ;QACnB,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,kBAAkB,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAA;IAE7E,gFAAgF;IAChF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAA;IACnD,MAAM,YAAY,GAAiB;QACjC,0BAA0B,EAAE,MAAM,CAAC,0BAA0B;QAC7D,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,GAAG,CAAC,MAAM,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,GAAG,CAAC,MAAM,CAAC,qBAAqB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,MAAM,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9G,GAAG,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3F,CAAA;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC3I,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC;QAC/B,EAAE,EAAE,aAAa,CAAC,GAAG,CAAC;QACtB,SAAS,EAAE;YACT,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK;gBAC5B,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;gBACxC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;gBAC1C,MAAM,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;gBACnC,OAAO,CAAC,CAAC,OAAO,CAAA;YAClB,CAAC;YACD,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,KAAK;gBAChC,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;gBACxC,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;gBACpD,MAAM,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;gBACnC,OAAO,CAAC,CAAC,OAAO,CAAA;YAClB,CAAC;SACF;QACD,uEAAuE;QACvE,kFAAkF;QAClF,SAAS,EAAE,MAAM,CAAC,iBAAiB;QACnC,aAAa,EAAE,KAAK,CAAC,WAAW;QAChC,QAAQ,EAAE,QAAQ;QAClB,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC;KACzC,CAAC,CAAA;IAEF,yEAAyE;IACzE,MAAM,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IAErD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAA;AACjJ,CAAC"}
+{"version":3,"file":"save-core.js","sourceRoot":"","sources":["../src/save-core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,cAAc,EAAsB,MAAM,YAAY,CAAA;AAC9E,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,WAAW,IAAI,iBAAiB,EAAE,MAAM,eAAe,CAAA;AAE7F,oGAAoG;AACpG,KAAK,UAAU,cAAc,CAC3B,KAAoB,EACpB,SAAiB,EACjB,SAAiB,EACjB,KAAa,EACb,IAAI,GAAG,KAAK;IAEZ,IAAI,OAAO,GAAa,EAAE,CAAA;IAC1B,MAAM,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE;QACtC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAC9F,OAAO,GAAG,CAAC,CAAC,OAAO,CAAA;QACnB,OAAO,CAAC,CAAC,KAAK,CAAA;IAChB,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,OAAO,EAAE,CAAA;AACpB,CAAC;AACD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACvD,OAAO,EAAE,gBAAgB,EAAqB,MAAM,aAAa,CAAA;AAuEjE;;;;;;;;;;GAUG;AACH,SAAS,aAAa,CACpB,QAAwB,EACxB,MAAmC,EACnC,kBAA0B,EAC1B,cAAsB;IAEtB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,GAAG,cAAc,CAAC,CAAA;IAC/D,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,GAAG,GAAmB,EAAE,CAAA;IAC9B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAA;QAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAC3F,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,SAAQ;QAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,CAAA;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,CAAA;QACjD,IAAI,KAAK,GAAG,CAAC,CAAC,KAAK,CAAA;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,GAAG,CAAA;YAC5B,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAE,CAAC,GAAG,CAAA;YAClE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;QACrG,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,QAAQ,KAAK,wDAAwD,KAAK,gEAAgE,CAAC,CAAA;IACpM,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAA;AAC/B,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAChB,QAAwB,EACxB,OAAe,EACf,KAAa,EACb,MAAgD;IAEhD,mGAAmG;IACnG,qGAAqG;IACrG,wGAAwG;IACxG,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IACpC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CACtF,CAAA;IACD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,GAAG,CAAC;QACJ,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,CAAC;QACrG,MAAM,EAAE,CAAC,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC;KACtF,CAAC,CAAC,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,CAAkB;IAClD,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAA;IACnD,IAAI,GAAG,KAAK,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAA;IACzG,IAAI,SAAS,KAAK,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAEtF,gGAAgG;IAChG,sDAAsD;IACtD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,GAAG,CAAA;IAClH,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IAC/H,CAAC;IAED,qEAAqE;IACrE,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACxC,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;IAC9E,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjG,gGAAgG;IAChG,mGAAmG;IACnG,sGAAsG;IACtG,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,GAAG,CAAC,IAAI,MAAM,IAAI,YAAY,EAAE,CAAC;QAClE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IACnI,CAAC;IAED,iEAAiE;IACjE,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,WAAW,EAAE;QAC3E,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,YAAY,EAAE,MAAM,CAAC,YAAY;KAClC,CAAC,CAAA;IACF,IAAI,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QACzC,CAAC,CAAC,QAAQ,CAAC,QAAQ;QACnB,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,kBAAkB,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAA;IAC7E,MAAM,WAAW,GAAa,EAAE,CAAA;IAChC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzB,oGAAoG;QACpG,oGAAoG;QACpG,uCAAuC;QACvC,QAAQ,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QACpE,+FAA+F;QAC/F,0EAA0E;QAC1E,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAAC,qBAAqB,IAAI,CAAC,CAAC,CAAA;QAC3G,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAA;QACvB,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;IAClC,CAAC;IAED,gFAAgF;IAChF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAA;IACnD,MAAM,YAAY,GAAiB;QACjC,0BAA0B,EAAE,MAAM,CAAC,0BAA0B;QAC7D,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,GAAG,CAAC,MAAM,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,GAAG,CAAC,MAAM,CAAC,qBAAqB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,MAAM,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9G,GAAG,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3F,CAAA;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAE3I,8FAA8F;IAC9F,uFAAuF;IACvF,6EAA6E;IAC7E,gGAAgG;IAChG,+FAA+F;IAC/F,2FAA2F;IAC3F,+FAA+F;IAC/F,uFAAuF;IACvF,EAAE;IACF,qGAAqG;IACrG,kGAAkG;IAClG,mGAAmG;IACnG,oGAAoG;IACpG,qGAAqG;IACrG,mCAAmC;IACnC,MAAM,cAAc,GAAG,CAAC,CAA4B,EAAU,EAAE;QAC9D,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,cAAc,CAAA;QACjC,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,gBAAgB,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW;cACrG,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,qCAAqC,EAAE,CAAC,MAAM,aAAa;cAC/E,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;IACxE,CAAC,CAAA;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAA;IACnF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC7D,OAAO;YACL,OAAO,EAAE,aAAa;YACtB,OAAO;YACP,MAAM;YACN,YAAY;YACZ,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;YACpC,OAAO,EAAE,EAAE;YACX,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,mFAAmF,CAAC;SACrI,CAAA;IACH,CAAC;IACD,4FAA4F;IAC5F,mGAAmG;IACnG,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,uDAAuD,CAAC,CAAA;IAElH,oGAAoG;IACpG,gGAAgG;IAChG,4FAA4F;IAC5F,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAAC,qBAAqB,IAAI,CAAC,CAAC,CAAA;IACrG,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY;YAClD,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM;SACpE,CAAA;IACH,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC;QAC/B,EAAE,EAAE,aAAa,CAAC,GAAG,CAAC;QACtB,SAAS,EAAE;YACT,4FAA4F;YAC5F,qFAAqF;YACrF,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK;gBAC5B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;gBAC5E,OAAO,OAAO,CAAA;YAChB,CAAC;YACD,KAAK,CAAC,WAAW,CAAC,SAAS,EAAE,KAAK;gBAChC,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;gBAClF,OAAO,OAAO,CAAA;YAChB,CAAC;YACD,KAAK,CAAC,OAAO,CAAC,SAAS;gBACrB,MAAM,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAA;YAChF,CAAC;SACF;QACD,uEAAuE;QACvE,kFAAkF;QAClF,SAAS,EAAE,MAAM,CAAC,iBAAiB;QACnC,GAAG,EAAG,6CAA6C;QACnD,aAAa,EAAE,KAAK,CAAC,WAAW;QAChC,QAAQ,EAAE,QAAQ;QAClB,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,WAAW,CAAC;KACxD,CAAC,CAAA;IAEF,yEAAyE;IACzE,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,gGAAgG;QAChG,qDAAqD;QACrD,MAAM,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,SAAU,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,SAAU,CAAC,MAAM,CAAC,CAAC,CAAA;IAC1H,CAAC;SAAM,CAAC;QACN,MAAM,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;IACvD,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,WAAW,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAA;AACtL,CAAC"}

package/lib/session-rules.d.ts

@@ -0,0 +1,222 @@
+import { type RuleRecord, type RulesSectionResult } from './rules.ts';
+import type { SessionEventLike } from './types.ts';
+/** One captured rule: the human's body, anchored to the seq it came from. */
+export interface CapturedRule {
+    body: string;
+    seq: number;
+}
+/**
+ * The markers a turn's HUMAN messages contain. Two screens, both load-bearing:
+ *
+ *   - `isHumanAuthored` — the same shared predicate signatures use (r28: injected
+ *     context moves chapter boundaries and would here too). A host-injected
+ *     instruction file that happens to contain a line starting with the marker is
+ *     NOT a rule request.
+ *   - `stripReminderSpans` — `<system-reminder>` spans ride INSIDE human
+ *     messages. The human's own lines survive; the injected span does not (§15
+ *     amendment, "host-injected context is not conversation").
+ */
+export declare function humanRuleMarkers(events: readonly SessionEventLike[], prefix: string): CapturedRule[];
+/**
+ * The next free number in the SHARED per-machine sequence. Both tiers author
+ * into `rules/<harness>/`, and ids are `<harness>/<NNN>`, so a session rule must
+ * not take a number a project rule already holds — neither the registry's (pre-
+ * sync) records' nor the disk's (a killed write leaves a file without a record;
+ * the r39 walk-past rule). Numbers are allocated, never scanned-for-content.
+ */
+export declare function nextRuleNumber(opts: {
+    records: Iterable<[string, RuleRecord]>;
+    harnessId: string;
+    rulesDir: string;
+}): number;
+export interface CaptureDeps {
+    /** workspace store root, e.g. `<cwd>/.dsh-chapters` */
+    storeDir: string;
+    harnessId: string;
+    /** the session whose tree these rules bind (§7.5 activation) */
+    sessionId: string;
+    /** for id-collision avoidance with the shared tier's pre-sync records */
+    records: Iterable<[string, RuleRecord]>;
+    prefix: string;
+    /** the completed turn's events */
+    events: readonly SessionEventLike[];
+    now?: () => string;
+}
+export interface CaptureResult {
+    written: string[];
+    skipped: number;
+}
+/**
+ * Capture this turn's markers. Returns the rule ids written (empty when nothing
+ * matched), and never throws into the session — the caller contains failures the
+ * way the signature listener does.
+ */
+export declare function captureSessionRules(deps: CaptureDeps): CaptureResult;
+/**
+ * The current session's ancestor path, root-first — the async mirror of
+ * `registry.ancestorPath`, which takes a synchronous getter the realm does not
+ * have. §7.5 activation is "this rule's session is on MY path", so every render
+ * site needs this walk; a missing parent stops the walk instead of throwing,
+ * because a rules render must never break a compaction (the same containment
+ * the notice path uses).
+ */
+export declare function ancestorSessionIds(get: (id: string) => Promise<{
+    parentSession: string | null;
+} | undefined>, sessionId: string, maxDepth?: number): Promise<string[]>;
+/** One mined rule candidate, as the enrichment pass proposes it (§7.5). */
+/**
+ * Rule ancestry crosses BOTH lineage edges (#52, user decision 2026-10-21).
+ *
+ * Our registry is the sole authority on CONTINUATION lineage and deliberately
+ * ignores the kernel header's `parentSession` — right for chapter numbering and
+ * the TOC, and it left a whole session shape uncovered: a delegated subagent is an
+ * unrelated root by that view, so it inherited no activated rules from ANY door.
+ * The rule tier now walks both edges, READ-ONLY, writing nothing:
+ *
+ *   registry parentSession (ours)  ∪  header parentSession (the host's)
+ *
+ * transitively, so a subagent of a continuation child of a delegating parent sees
+ * the whole chain — and still walks UP only, which keeps the direction one-way: a
+ * child's inferences never govern the session that delegated them. Two bounds,
+ * because this runs inside a head rebuild: an expansion cap, and a reader that
+ * throws contributes no edge — a rule walk must never break a turn.
+ */
+export declare const RULE_LINEAGE_MAX_EXPANSIONS = 64;
+export interface RuleAncestryWalk {
+    ancestors: Set<string>;
+    truncated: boolean;
+}
+export declare function ruleAncestorSet(opts: {
+    /** Usually [sessionId]; the session always belongs to its own ancestry. */
+    seeds: readonly string[];
+    /** Our registry chain (continuation lineage). */
+    registryAncestors?: ((id: string) => Promise<readonly string[]>) | undefined;
+    /** The host header's delegation edge, for any session id. */
+    parentOf?: ((id: string) => Promise<string | null | undefined>) | undefined;
+    maxExpansions?: number;
+}): Promise<RuleAncestryWalk>;
+/**
+ * A `parentOf` from whatever session views this plane can reach: a live agent
+ * handle first, then `sessionQuery`'s durable headers. undefined when NEITHER
+ * exists — which degrades the walk to registry edges only.
+ *
+ * Cordis `ctx.get` THROWS for an unregistered service and a plugin plane may have
+ * neither, so every lookup is guarded (the #43 lesson: a strict host makes a
+ * plausible service name throw).
+ */
+export declare function makeHeaderParentReader(get?: (name: string) => unknown): ((id: string) => Promise<string | null | undefined>) | undefined;
+export interface MinedRule {
+    text: string;
+    category: string;
+    /** the human's own words this rule came from — the quote IS the gate */
+    quote: string;
+}
+/**
+ * THE verbatim-quote gate (§7.5). A mined rule activates only when its quote is
+ * the human's own words, present verbatim (whitespace-normalized) in the
+ * chapter's USER text. Assistant prose is deliberately NOT admissible evidence:
+ * the model restating an instruction it was given is the amplification path, and
+ * a quote it invented is a guess wearing a citation.
+ */
+export declare function quoteIsHuman(humanText: string, quote: string): boolean;
+export interface MineDeps {
+    storeDir: string;
+    harnessId: string;
+    /** the session whose tree the mined rules bind — the chapter's OWN session */
+    sessionId: string;
+    records: Iterable<[string, RuleRecord]>;
+    /** the chapter's human-authored bytes (its `**User…:**` chunks joined) */
+    humanText: string;
+    rules: readonly MinedRule[];
+    /** per-chapter cap: one conversation must not mint a dozen standing orders */
+    maxPerChapter: number;
+    /** the chapter these came from (provenance rendered into the head) */
+    chapterNumber: number;
+    /**
+     * §7.5 policy (amended 2026-10-21): may a mined rule govern on arrival? TRUE by
+     * default — a rule the model inferred from context is the reason this tier
+     * exists; the human may not have known to say it. When false every mined rule is
+     * written `reviewOnly: true` and stays inert until this machine approves it, the
+     * conservative posture a shared box may want.
+     */
+    autoActivate: boolean;
+    now?: () => string;
+}
+/**
+ * Write the mined candidates. Each records its warrant (`stated` / `inferred`) and
+ * the chapter it came from; whether it governs on arrival is the `autoActivate`
+ * POLICY, not an evidence test (§7.5, amended 2026-10-21 — the tier's premise is
+ * that the human may not have known to say the rule). Deduped by normalized body
+ * against what the machine already holds, so re-running the ladder (or a
+ * chapter annotated by a newer model) fills gaps and never duplicates.
+ */
+export declare function captureMinedRules(deps: MineDeps): {
+    ids: string[];
+    stated: number;
+    inferred: number;
+    pending: number;
+};
+/** Turn a task description into the relevance term set §7.4 selects on — the same
+ * normalization the rule-term index uses, so a query and a rule body meet in one
+ * vocabulary instead of two. */
+export declare function queryTopics(query: string): string[];
+/** The registry view the renderer needs — kept structural so tests can hand it a map. */
+export interface RulesStoreLike {
+    get(id: string): Promise<{
+        parentSession: string | null;
+        collections: {
+            terms: string[];
+        }[];
+    } | undefined>;
+}
+export interface RenderRulesOpts {
+    mirrorDir: string;
+    storeDir: string;
+    projectKey: string;
+    harnessId: string;
+    budgetTokens: number;
+    projectCap?: number | undefined;
+    sessionCap?: number | undefined;
+    /** §7.4 relevance on; off ⇒ deterministic category→id order (the tape order). */
+    relevance: boolean;
+    /** §7.6: a BRANCH head carries the project tier only — zero session bytes. */
+    includeSession: boolean;
+    /** When supplied, selection uses THESE terms (the assembly door passes the
+     * task query) instead of the session's own recent signatures. */
+    topicsOverride?: readonly string[] | undefined;
+    store: RulesStoreLike;
+    sessionId: string;
+    /** #52: reads the host header's parentSession for any id in the chain. Absent
+     * ⇒ the walk follows registry edges only, so delegation contributes nothing. */
+    parentOf?: ((id: string) => Promise<string | null | undefined>) | undefined;
+}
+/**
+ * THE one rules renderer for a rebuilt head. Both doors (continue / fork) and the
+ * compaction checkpoint call this and nothing else, so the same session can never
+ * see two different rule sets depending on which path rebuilt its head — the same
+ * one-builder discipline as `search.rankEntries` and `deterministicCommand`.
+ *
+ * Relevance topics come from the session’s OWN stored turn signatures:
+ * deterministic, already on disk, zero model tokens (§1 invariant 1).
+ */
+export declare function renderRulesBlock(opts: RenderRulesOpts): Promise<RulesSectionResult>;
+/**
+ * The `turn/end` listener (the same boundary the topic signatures collect on —
+ * §7.5: this extends the existing door, it is not a sixth archive moment).
+ *
+ * Never-break containment: every failure lands in `warn`, because a rule that
+ * could not be written must not cost a user their turn.
+ */
+export declare function makeRuleCaptureListener(deps: {
+    enabled: () => boolean;
+    prefix: () => string;
+    harnessId: () => string;
+    storeRoot: (cwd: string) => string;
+    store: () => Promise<{
+        store: {
+            rules(): IterableIterator<[string, RuleRecord]>;
+        };
+    }>;
+    warn: (error: unknown) => void;
+    onCaptured?: (sessionId: string, ids: string[]) => void;
+}): (session: unknown, event: unknown) => void;