@treeseed/dsh-chapters 0.1.23 → 0.2.0

package/lib/session-rules.js

@@ -0,0 +1,454 @@
+/**
+ * #50 §7.5 — the session tier's capture path.
+ *
+ * Two speeds, deliberately (this is §6.2's single-slot constraint applied to
+ * rules, not a new policy):
+ *
+ *   - **marker**: `ADD RULE: <text>` on a line of a HUMAN message becomes an
+ *     active session rule at the existing `turn/end` boundary — deterministic,
+ *     zero model tokens (§1 invariant 1), the body is the human's own words.
+ *   - **enrichment** (src/enrich-wire.ts): idle-batched, default off, and only
+ *     ever activates behind a verbatim quote of human bytes.
+ *
+ * Session rules are **files, not registry rows**: their activation derives from
+ * the ancestor path (§7.5), so they need no record to resolve status, no linked
+ * project (an unlinked checkout still gets its rules — the whole point of the
+ * tier), and no fact in a pool-synced curation file. The registry keeps holding
+ * the shared tier's pre-sync records exactly as before.
+ *
+ * Idempotent by body: repeated `turn/end`s on a continuable child, and the
+ * after-loss re-derivation walk over the durable log, both FILL GAPS and never
+ * duplicate — the same posture `rehydrateStoreFromMirror` takes.
+ *
+ * Pure module: events and paths in, files out. The engine listener mounts it.
+ */
+import fs from 'node:fs';
+import path from 'node:path';
+import { isHumanAuthored, stripReminderSpans } from "./injections.js";
+import { turnSpanOf } from "./signature.js";
+import { buildRulesSection, collectStoreRules, parseRuleFile, parseRuleMarkers, renderRuleFile, ruleSlug, } from "./rules.js";
+import { redactText } from "./redact.js";
+const messageText = (data) => {
+    const message = (data.message ?? data);
+    const content = Array.isArray(message.content) ? message.content : [];
+    return content.filter((b) => b.type === 'text').map((b) => b.text ?? '').join('\n');
+};
+/**
+ * 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 function humanRuleMarkers(events, prefix) {
+    const out = [];
+    const seen = new Set();
+    for (const ev of events) {
+        if (ev.type !== 'user/message')
+            continue;
+        const data = (ev.data ?? {});
+        if (!isHumanAuthored(data))
+            continue;
+        const text = stripReminderSpans(messageText(data)).text;
+        for (const body of parseRuleMarkers(text, prefix)) {
+            if (seen.has(body))
+                continue;
+            seen.add(body);
+            out.push({ body, seq: ev.seq });
+        }
+    }
+    return out;
+}
+/**
+ * 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 function nextRuleNumber(opts) {
+    const used = new Set();
+    const tail = new RegExp(`^${opts.harnessId.replace(/[.*+?^${}()|[\]\\]/g, '\\$&')}/(\\d{3})$`);
+    for (const [id] of opts.records) {
+        const m = tail.exec(id);
+        if (m !== null)
+            used.add(Number(m[1]));
+    }
+    if (fs.existsSync(opts.rulesDir)) {
+        for (const f of fs.readdirSync(opts.rulesDir)) {
+            const m = /^(\d{3})-/.exec(f);
+            if (m !== null)
+                used.add(Number(m[1]));
+        }
+    }
+    let n = 1;
+    while (used.has(n))
+        n += 1;
+    return n;
+}
+const norm = (s) => s.toLowerCase().replace(/\s+/g, ' ').trim();
+/**
+ * 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 function captureSessionRules(deps) {
+    const markers = humanRuleMarkers(deps.events, deps.prefix);
+    if (markers.length === 0)
+        return { written: [], skipped: 0 };
+    const rulesDir = path.join(deps.storeDir, 'rules', deps.harnessId);
+    // dedupe against what is ALREADY on disk for this machine (§7.5 idempotence):
+    // a body captured last turn is not captured twice, and a re-derivation pass
+    // over the log fills only the gaps.
+    const existing = new Set();
+    if (fs.existsSync(rulesDir)) {
+        for (const f of fs.readdirSync(rulesDir)) {
+            if (!f.endsWith('.md'))
+                continue;
+            // the SAME parser the collectors use — one definition of a rule body,
+            // never a second hand-rolled frontmatter split that can drift from it.
+            const parsed = parseRuleFile(fs.readFileSync(path.join(rulesDir, f), 'utf8'));
+            if (parsed !== null)
+                existing.add(norm(parsed.body));
+        }
+    }
+    let written = 0;
+    const ids = [];
+    for (const m of markers) {
+        if (existing.has(norm(m.body)))
+            continue;
+        // §9 applies to rule bodies like any other archived bytes: a captured rule
+        // can carry a credential, and this tier is local but still a file on disk.
+        const body = redactText(m.body).text;
+        const number = nextRuleNumber({ records: deps.records, harnessId: deps.harnessId, rulesDir });
+        const title = body.split(/[.!?\n]/)[0].trim().slice(0, 60);
+        const name = `${String(number).padStart(3, '0')}-${ruleSlug('general', title)}.md`;
+        fs.mkdirSync(rulesDir, { recursive: true });
+        const file = path.join(rulesDir, name);
+        // write-once: the file is created complete, never edited in place (§1.3)
+        fs.writeFileSync(file, renderRuleFile({
+            number,
+            category: 'general',
+            title,
+            sourceSession: deps.sessionId,
+            at: (deps.now !== undefined ? deps.now() : new Date().toISOString()),
+            body: `${body}\n`,
+            scope: 'session',
+            session: deps.sessionId,
+            derivedFrom: 'marker',
+        }), { flag: 'wx' });
+        ids.push(`${deps.harnessId}/${String(number).padStart(3, '0')}`);
+        existing.add(norm(body));
+        written += 1;
+    }
+    return { written: ids, skipped: markers.length - written };
+}
+/**
+ * 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 async function ancestorSessionIds(get, sessionId, maxDepth = 1000) {
+    const out = [];
+    const seen = new Set();
+    let cursor = sessionId;
+    while (cursor !== undefined && !seen.has(cursor) && seen.size < maxDepth) {
+        seen.add(cursor);
+        out.push(cursor);
+        const state = await get(cursor);
+        if (state === undefined)
+            break;
+        cursor = state.parentSession ?? undefined;
+    }
+    return out.reverse();
+}
+/** 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 const RULE_LINEAGE_MAX_EXPANSIONS = 64;
+export async function ruleAncestorSet(opts) {
+    const cap = opts.maxExpansions ?? RULE_LINEAGE_MAX_EXPANSIONS;
+    const ancestors = new Set();
+    for (const s of opts.seeds)
+        if (s !== '')
+            ancestors.add(s);
+    const queue = [...ancestors];
+    let expansions = 0;
+    let truncated = false;
+    while (queue.length > 0) {
+        if (expansions >= cap) {
+            truncated = true;
+            break;
+        }
+        const id = queue.shift();
+        expansions += 1;
+        const edges = [];
+        if (opts.parentOf !== undefined) {
+            try {
+                const p = await opts.parentOf(id);
+                if (typeof p === 'string' && p !== '')
+                    edges.push(p);
+            }
+            catch { /* unreadable header ⇒ not an ancestor */ }
+        }
+        if (opts.registryAncestors !== undefined) {
+            try {
+                edges.push(...(await opts.registryAncestors(id)));
+            }
+            catch { /* shrink, never fail */ }
+        }
+        for (const e of edges)
+            if (e !== '' && !ancestors.has(e)) {
+                ancestors.add(e);
+                queue.push(e);
+            }
+    }
+    return { ancestors, truncated };
+}
+/**
+ * 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 function makeHeaderParentReader(get) {
+    if (get === undefined)
+        return undefined;
+    // `agents` is a SERVICE: ctx.get('agents').get(id) hands back the live handle —
+    // the same two-step auto-save uses, and the only way to read a session other
+    // than the one currently rendering.
+    const liveParent = (id) => {
+        try {
+            const svc = get('agents');
+            const handle = svc?.get?.(id);
+            const session = handle?.agent?.session ?? handle?.session;
+            const p = session?.header?.parentSession;
+            return typeof p === 'string' && p !== '' ? p : null;
+        }
+        catch {
+            return null;
+        }
+    };
+    let durable = null;
+    const durableParent = async (id) => {
+        if (durable === null) {
+            try {
+                const sq = get('sessionQuery');
+                if (sq?.listSessions === undefined)
+                    return null;
+                const m = new Map();
+                for (const r of await sq.listSessions() ?? []) {
+                    const sid = r?.header?.id;
+                    if (typeof sid === 'string' && sid !== '') {
+                        const p = r.header?.parentSession;
+                        m.set(sid, typeof p === 'string' && p !== '' ? p : null);
+                    }
+                }
+                durable = m;
+            }
+            catch {
+                return null;
+            }
+        }
+        return durable.get(id) ?? null;
+    };
+    return async (id) => {
+        // live handle first: it is the current session's own edge, and the freshest
+        // answer for any session still open in this process
+        const live = liveParent(id);
+        if (live !== null)
+            return live;
+        return durableParent(id);
+    };
+}
+const normQuote = (t) => t.toLowerCase().replace(/\s+/g, ' ').replace(/[\u2018\u2019]/g, "'").replace(/[\u201c\u201d]/g, '"').trim();
+/**
+ * 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 function quoteIsHuman(humanText, quote) {
+    const q = normQuote(quote);
+    if (q.length < 3)
+        return false;
+    return normQuote(humanText).includes(q);
+}
+/**
+ * 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 function captureMinedRules(deps) {
+    const rulesDir = path.join(deps.storeDir, 'rules', deps.harnessId);
+    const existing = new Set();
+    for (const r of collectStoreRules(deps.storeDir, deps.harnessId))
+        existing.add(norm(r.body));
+    const written = [];
+    let stated = 0;
+    let inferred = 0;
+    let pending = 0;
+    const cap = Math.max(0, deps.maxPerChapter);
+    for (const m of deps.rules) {
+        // the cap counts rules WRITTEN, not candidates examined: a duplicate or an
+        // over-short candidate must not eat a chapter's budget
+        if (written.length >= cap)
+            break;
+        const body = redactText(m.text.trim().replace(/\s+/g, ' ')).text;
+        if (body.length < 10 || existing.has(norm(body)))
+            continue;
+        // The quote check CLASSIFIES, it does not authorize (§7.5, amended
+        // 2026-10-21): `stated` = a human sentence is behind this, `inferred` = the
+        // model judged it useful and nobody said it. Both govern unless the plugin is
+        // configured to hold mined rules for review, and the difference is SHOWN in
+        // the rendered rule line — which is where a judgement call belongs.
+        const basis = quoteIsHuman(deps.humanText, m.quote) ? 'stated' : 'inferred';
+        const reviewOnly = !deps.autoActivate;
+        const number = nextRuleNumber({ records: deps.records, harnessId: deps.harnessId, rulesDir });
+        const category = (m.category || 'general').toLowerCase().replace(/[^a-z0-9-]/g, '').slice(0, 24) || 'general';
+        const title = body.split(/[.!?]/)[0].trim().slice(0, 60);
+        const name = `${String(number).padStart(3, '0')}-${ruleSlug(category, title)}.md`;
+        fs.mkdirSync(rulesDir, { recursive: true });
+        fs.writeFileSync(path.join(rulesDir, name), renderRuleFile({
+            number, category, title, sourceSession: deps.sessionId,
+            at: (deps.now !== undefined ? deps.now() : new Date().toISOString()),
+            body: `${body}\n`,
+            scope: 'session', session: deps.sessionId, derivedFrom: 'model',
+            reviewOnly, basis, chapter: deps.chapterNumber,
+        }), { flag: 'wx' });
+        written.push(`${deps.harnessId}/${String(number).padStart(3, '0')}`);
+        existing.add(norm(body));
+        if (basis === 'stated')
+            stated += 1;
+        else
+            inferred += 1;
+        if (reviewOnly)
+            pending += 1;
+    }
+    return { ids: written, stated, inferred, pending };
+}
+/** 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 function queryTopics(query) {
+    const out = [];
+    for (const tok of query.toLowerCase().split(/[^a-z0-9]+/)) {
+        if (tok.length < 3 || tok.length > 28 || out.includes(tok))
+            continue;
+        out.push(tok);
+    }
+    return out.slice(0, 40);
+}
+/**
+ * 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 async function renderRulesBlock(opts) {
+    const walk = opts.includeSession
+        ? await ruleAncestorSet({
+            seeds: [opts.sessionId],
+            registryAncestors: async (id) => await ancestorSessionIds(async (s) => await opts.store.get(s), id),
+            ...(opts.parentOf !== undefined ? { parentOf: opts.parentOf } : {}),
+        })
+        : { ancestors: new Set(), truncated: false };
+    const ancestors = walk.ancestors;
+    const state = opts.relevance ? await opts.store.get(opts.sessionId) : undefined;
+    const topics = opts.topicsOverride !== undefined && opts.topicsOverride.length > 0
+        ? opts.topicsOverride
+        : opts.relevance && state !== undefined
+            ? state.collections.slice(-6).flatMap((c) => c.terms).slice(0, 40)
+            : undefined;
+    return buildRulesSection(opts.mirrorDir, {
+        projectKey: opts.projectKey,
+        harnessId: opts.harnessId,
+        budgetTokens: opts.budgetTokens,
+        projectCap: opts.projectCap,
+        sessionCap: opts.sessionCap,
+        ...(opts.includeSession ? { storeDir: opts.storeDir, ancestorSessions: ancestors } : {}),
+        ...(topics !== undefined ? { relevanceTopics: topics } : {}),
+        ...(walk.truncated ? { lineageTruncated: true } : {}),
+    });
+}
+/**
+ * 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 function makeRuleCaptureListener(deps) {
+    const chains = new Map();
+    return (session, event) => {
+        try {
+            if (!deps.enabled())
+                return;
+            if (event?.type !== 'turn/end')
+                return;
+            const id = session?.id;
+            const events = session?.snapshotEvents?.();
+            const cwd = session?.header?.cwd;
+            const endSeq = event.seq;
+            if (id === undefined || events === undefined || cwd === undefined || endSeq === undefined)
+                return;
+            const span = turnSpanOf(events, endSeq);
+            if (span.length === 0)
+                return;
+            // cheap pre-screen OUTSIDE the async chain: no marker in this turn is the
+            // overwhelmingly common case, and it must cost one regex over one message.
+            if (humanRuleMarkers(span, deps.prefix()).length === 0)
+                return;
+            const job = () => deps.store()
+                .then(({ store }) => captureSessionRules({
+                storeDir: deps.storeRoot(cwd),
+                harnessId: deps.harnessId(),
+                sessionId: id,
+                records: store.rules(),
+                prefix: deps.prefix(),
+                events: span,
+            }))
+                .then((res) => { if (res.written.length > 0)
+                deps.onCaptured?.(id, res.written); })
+                .catch(deps.warn);
+            const prev = chains.get(id);
+            void (prev === undefined ? job() : prev.then(job)).finally(() => chains.delete(id));
+        }
+        catch (error) {
+            deps.warn(error);
+        }
+    };
+}
+//# sourceMappingURL=session-rules.js.map

package/lib/session-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-rules.js","sourceRoot":"","sources":["../src/session-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,MAAM,SAAS,CAAA;AACxB,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAC3C,OAAO,EACL,iBAAiB,EAAE,iBAAiB,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,QAAQ,GAEhG,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AASxC,MAAM,WAAW,GAAG,CAAC,IAA6B,EAAU,EAAE;IAC5D,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAA4B,CAAA;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAA6C,CAAC,CAAC,CAAC,EAAE,CAAA;IAC3G,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACrF,CAAC,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAmC,EAAE,MAAc;IAClF,MAAM,GAAG,GAAmB,EAAE,CAAA;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,IAAI,KAAK,cAAc;YAAE,SAAQ;QACxC,MAAM,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAA4B,CAAA;QACvD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;YAAE,SAAQ;QACpC,MAAM,IAAI,GAAG,kBAAkB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;QACvD,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YAClD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAQ;YAC5B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACd,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;QACjC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAI9B;IACC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,YAAY,CAAC,CAAA;IAC9F,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACvB,IAAI,CAAC,KAAK,IAAI;YAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,CAAC;IACD,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9C,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAC7B,IAAI,CAAC,KAAK,IAAI;gBAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,CAAC,IAAI,CAAC,CAAA;IAC1B,OAAO,CAAC,CAAA;AACV,CAAC;AAqBD,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;AAE/E;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAiB;IACnD,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAC1D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAA;IAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;IAClE,8EAA8E;IAC9E,4EAA4E;IAC5E,oCAAoC;IACpC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,SAAQ;YAChC,sEAAsE;YACtE,uEAAuE;YACvE,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;YAC7E,IAAI,MAAM,KAAK,IAAI;gBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;QACtD,CAAC;IACH,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,SAAQ;QACxC,2EAA2E;QAC3E,2EAA2E;QAC3E,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAA;QACpC,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC7F,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QAC3D,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAA;QAClF,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;QACtC,yEAAyE;QACzE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,cAAc,CAAC;YACpC,MAAM;YACN,QAAQ,EAAE,SAAS;YACnB,KAAK;YACL,aAAa,EAAE,IAAI,CAAC,SAAS;YAC7B,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACpE,IAAI,EAAE,GAAG,IAAI,IAAI;YACjB,KAAK,EAAE,SAAS;YAChB,OAAO,EAAE,IAAI,CAAC,SAAS;YACvB,WAAW,EAAE,QAAQ;SACtB,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;QACnB,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAA;QAChE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QACxB,OAAO,IAAI,CAAC,CAAA;IACd,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,OAAO,EAAE,CAAA;AAC5D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,GAA0E,EAC1E,SAAiB,EACjB,QAAQ,GAAG,IAAI;IAEf,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,IAAI,MAAM,GAAuB,SAAS,CAAA;IAC1C,OAAO,MAAM,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,QAAQ,EAAE,CAAC;QACzE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAChB,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAChB,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,CAAA;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,MAAK;QAC9B,MAAM,GAAG,KAAK,CAAC,aAAa,IAAI,SAAS,CAAA;IAC3C,CAAC;IACD,OAAO,GAAG,CAAC,OAAO,EAAE,CAAA;AACtB,CAAC;AAED,2EAA2E;AAC3E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,EAAE,CAAA;AAI7C,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAQrC;IACC,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,IAAI,2BAA2B,CAAA;IAC7D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK;QAAE,IAAI,CAAC,KAAK,EAAE;YAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAC1D,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,CAAA;IAC5B,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,IAAI,SAAS,GAAG,KAAK,CAAA;IACrB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,IAAI,UAAU,IAAI,GAAG,EAAE,CAAC;YAAC,SAAS,GAAG,IAAI,CAAC;YAAC,MAAK;QAAC,CAAC;QAClD,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,EAAY,CAAA;QAClC,UAAU,IAAI,CAAC,CAAA;QACf,MAAM,KAAK,GAAa,EAAE,CAAA;QAC1B,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAChC,IAAI,CAAC;gBACH,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;gBACjC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE;oBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YACtD,CAAC;YAAC,MAAM,CAAC,CAAC,yCAAyC,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;YACzC,IAAI,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,wBAAwB,CAAC,CAAC;QAC9F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAAC,CAAC;IAC/F,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;AACjC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,GAA+B;IACpE,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACvC,gFAAgF;IAChF,6EAA6E;IAC7E,oCAAoC;IACpC,MAAM,UAAU,GAAG,CAAC,EAAU,EAAiB,EAAE;QAC/C,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAA8C,CAAA;YACtE,MAAM,MAAM,GAAG,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAqI,CAAA;YACjK,MAAM,OAAO,GAAG,MAAM,EAAE,KAAK,EAAE,OAAO,IAAI,MAAM,EAAE,OAAO,CAAA;YACzD,MAAM,CAAC,GAAG,OAAO,EAAE,MAAM,EAAE,aAAa,CAAA;YACxC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACrD,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,IAAI,CAAA;QAAC,CAAC;IACzB,CAAC,CAAA;IACD,IAAI,OAAO,GAAsC,IAAI,CAAA;IACrD,MAAM,aAAa,GAAG,KAAK,EAAE,EAAU,EAA0B,EAAE;QACjE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,GAAG,CAAC,cAAc,CAA0H,CAAA;gBACvJ,IAAI,EAAE,EAAE,YAAY,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAA;gBAC/C,MAAM,CAAC,GAAG,IAAI,GAAG,EAAyB,CAAA;gBAC1C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC,YAAY,EAAE,IAAI,EAAE,EAAE,CAAC;oBAC9C,MAAM,GAAG,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,CAAA;oBACzB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;wBAC1C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,aAAa,CAAA;wBACjC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;oBAC1D,CAAC;gBACH,CAAC;gBACD,OAAO,GAAG,CAAC,CAAA;YACb,CAAC;YAAC,MAAM,CAAC;gBAAC,OAAO,IAAI,CAAA;YAAC,CAAC;QACzB,CAAC;QACD,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAA;IAChC,CAAC,CAAA;IACD,OAAO,KAAK,EAAE,EAAU,EAAE,EAAE;QAC1B,4EAA4E;QAC5E,oDAAoD;QACpD,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,CAAC,CAAA;QAC3B,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAA;QAC9B,OAAO,aAAa,CAAC,EAAE,CAAC,CAAA;IAC1B,CAAC,CAAA;AACH,CAAC;AASD,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;AAEpJ;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,SAAiB,EAAE,KAAa;IAC3D,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;IAC1B,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAA;IAC9B,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;AACzC,CAAC;AA0BD;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAc;IAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;IAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC;QAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IAC5F,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAA;IAC3C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,2EAA2E;QAC3E,uDAAuD;QACvD,IAAI,OAAO,CAAC,MAAM,IAAI,GAAG;YAAE,MAAK;QAChC,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAA;QAChE,IAAI,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,SAAQ;QAC1D,mEAAmE;QACnE,4EAA4E;QAC5E,8EAA8E;QAC9E,4EAA4E;QAC5E,oEAAoE;QACpE,MAAM,KAAK,GAAc,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAA;QACtF,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,YAAY,CAAA;QACrC,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC7F,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,SAAS,CAAA;QAC7G,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QACzD,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAA;QACjF,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QAC3C,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,cAAc,CAAC;YACzD,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,SAAS;YACtD,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACpE,IAAI,EAAE,GAAG,IAAI,IAAI;YACjB,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,OAAO;YAC/D,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa;SAC/C,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;QACnB,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAA;QACpE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QACxB,IAAI,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,CAAC,CAAA;;YAC9B,QAAQ,IAAI,CAAC,CAAA;QAClB,IAAI,UAAU;YAAE,OAAO,IAAI,CAAC,CAAA;IAC9B,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAA;AACpD,CAAC;AAED;;gCAEgC;AAChC,MAAM,UAAU,WAAW,CAAC,KAAa;IACvC,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;QAC1D,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAQ;QACpE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACf,CAAC;IACD,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AACzB,CAAC;AA6BD;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,IAAqB;IAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc;QAC9B,CAAC,CAAC,MAAM,eAAe,CAAC;YACpB,KAAK,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;YACvB,iBAAiB,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,MAAM,kBAAkB,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACnG,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpE,CAAC;QACJ,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,GAAG,EAAU,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;IACtD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAA;IAChC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;QAChF,CAAC,CAAC,IAAI,CAAC,cAAc;QACrB,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,KAAK,KAAK,SAAS;YACrC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAClE,CAAC,CAAC,SAAS,CAAA;IACf,OAAO,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE;QACvC,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxF,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtD,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAQvC;IACC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAA;IAC/C,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACxB,IAAI,CAAC;YACH,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE;gBAAE,OAAM;YAC3B,IAAK,KAA2B,EAAE,IAAI,KAAK,UAAU;gBAAE,OAAM;YAC7D,MAAM,EAAE,GAAI,OAAuC,EAAE,EAAE,CAAA;YACvD,MAAM,MAAM,GAAI,OAA8E,EAAE,cAAc,EAAE,EAAE,CAAA;YAClH,MAAM,GAAG,GAAI,OAAqD,EAAE,MAAM,EAAE,GAAG,CAAA;YAC/E,MAAM,MAAM,GAAI,KAA0B,CAAC,GAAG,CAAA;YAC9C,IAAI,EAAE,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAM;YACjG,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;YACvC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAM;YAC7B,0EAA0E;YAC1E,2EAA2E;YAC3E,IAAI,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAM;YAC9D,MAAM,GAAG,GAAG,GAAkB,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE;iBAC1C,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,mBAAmB,CAAC;gBACvC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;gBAC7B,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE;gBAC3B,SAAS,EAAE,EAAE;gBACb,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE;gBACtB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;gBACrB,MAAM,EAAE,IAAI;aACb,CAAC,CAAC;iBACF,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAA,CAAC,CAAC,CAAC;iBACjF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACnB,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAC3B,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;QACrF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAClB,CAAC;IACH,CAAC,CAAA;AACH,CAAC"}

package/lib/store.d.ts

@@ -50,6 +50,12 @@ export interface DomainLike {
         put(key: string, value: {
             value: string;
         }): Promise<void>;
+        /** Row removal (host table verb — dsh-storage-domain `delete(key)`). #71: a
+         *  `model clear` must RESTORE the config fallback, which a stored value cannot
+         *  express — `''` is the deliberate OFF state, deletion is the ABSENT state.
+         *  Optional only so pre-delete fakes keep compiling; the store refuses loudly
+         *  at the call site when the host table lacks it (every supported host has it). */
+        delete?(key: string): Promise<boolean>;
         entries(): IterableIterator<[string, {
             value: string;
         }]>;
@@ -67,7 +73,19 @@ export interface DomainLike {
 export type ProjectRecord = import('./sync.ts').ProjectRecord;
 export interface RegistryStore {
     get(sessionId: string): Promise<SessionState>;
-    put(sessionId: string, state: SessionState): Promise<void>;
+    /**
+     * A whole-row write, guarded. `expectedRev` is the `rev` of the row the caller READ; a mismatch means
+     * another door committed since, and the write is REFUSED with numbers rather than clobbering it.
+     * Omit it only where a blind put is intended (the boot witness probe, a rollback to a captured row).
+     */
+    put(sessionId: string, state: SessionState, expectedRev?: number): Promise<void>;
+    /**
+     * The ONLY sanctioned way to change a session row (#59): one serialized section per session, the fn
+     * runs against a FRESH read, and the write is rev-checked. A door that holds work across an await
+     * passes a function, never a snapshot — that is what stopped a stale `put` from erasing another
+     * door's committed state. Nested calls for the same session are refused rather than deadlocked.
+     */
+    mutate(sessionId: string, fn: (state: SessionState) => SessionState | Promise<SessionState>): Promise<SessionState>;
     /** Knowledge projects linked for this workspace (record §8). Live view. */
     projects(): IterableIterator<[string, ProjectRecord]>;
     /** All session states in the domain (for collection publishing, §5). */
@@ -75,6 +93,9 @@ export interface RegistryStore {
     /** Durable kv (P2: enrichment model override). */
     getSetting(key: string): string | undefined;
     putSetting(key: string, value: string): Promise<void>;
+    /** Remove a kv row entirely (#71): `clear` restores the config fallback, which
+     *  a stored value cannot express — stored `''` means deliberately OFF. */
+    deleteSetting(key: string): Promise<void>;
     /** P3 §7.1 rule records (status is NOT here — per-machine curation facts, §15). */
     rules(): IterableIterator<[string, import('./rules.ts').RuleRecord]>;
     getRule(id: string): import('./rules.ts').RuleRecord | undefined;