@hy-sde-org/dsh-memory-extraction 0.1.2-rc.1

package/dist/evidence.js

@@ -0,0 +1,221 @@
+/**
+ * Evidence planning for automatic memory extraction: which session events are
+ * Memory evidence (user-authored text only), how the bounded evidence index is
+ * fitted, and the same-session history search that localizes elliptical
+ * assertions. Ported from Maka `memory-extraction-evidence.ts`; provider-prefix
+ * binding is dropped (the bounded evidence text is authoritative for both the
+ * model and admission — see the package README deviation note).
+ * @module @hy-sde-org/dsh-memory-extraction/evidence
+ */
+export const MAX_MEMORY_EVIDENCE_JSON_CHARS = 12_000;
+export const MAX_EVIDENCE_TEXT_CHARS = 4_000;
+export const MIN_EVIDENCE_TEXT_CHARS = 64;
+export const MAX_LOCALIZED_TURNS = 7;
+export const MAX_LOCALIZED_CONTEXT_CHARS = 12_000;
+export const MAX_LOCALIZED_EVENT_CHARS = 2_000;
+/**
+ * Plan one complete trigger range. Tool and runtime-control events produce no
+ * evidence but stay in the range so the session cursor crosses them instead of
+ * reconsidering them. If every user evidence record cannot fit the bounded
+ * evidence index, fail closed instead of silently consuming part of the range.
+ */
+export function planMemoryCoverage(pendingEntries, options = {}) {
+    if (pendingEntries.length === 0)
+        return undefined;
+    const budget = options.maxEvidenceJsonChars ?? MAX_MEMORY_EVIDENCE_JSON_CHARS;
+    const coverage = bindProviderVisibleEvidence(projectMemoryExtractionEvidence(pendingEntries.map(entry => entry.event)));
+    const fitted = fitMemoryExtractionEvidence(coverage, budget);
+    if (!fitted)
+        return undefined;
+    const fittedRefs = new Set(fitted.map(entry => entry.sourceRef));
+    if (coverage.some(entry => !fittedRefs.has(entry.sourceRef)))
+        return undefined;
+    return { entries: [...pendingEntries], evidence: fitted };
+}
+/** Projects only stable user-authored text into Memory evidence. */
+export function projectMemoryExtractionEvidence(events) {
+    const projected = [];
+    for (const event of events) {
+        if (event.role !== 'user' || event.author !== 'user')
+            continue;
+        const fullText = normalizeEvidenceText(event.text ?? '');
+        if (!fullText)
+            continue;
+        projected.push({
+            sourceRef: `event:${event.seq}`,
+            type: 'user_message',
+            text: boundedEvidenceText(fullText, undefined),
+            events: [event],
+        });
+    }
+    return projected;
+}
+/**
+ * Keep every evidence record represented while shrinking supplemental text to
+ * the actual serialized JSON budget. `undefined` means even the record
+ * identities cannot fit and the cursor must not advance.
+ */
+export function fitMemoryExtractionEvidence(evidence, maxJsonChars = MAX_MEMORY_EVIDENCE_JSON_CHARS) {
+    if (!Number.isSafeInteger(maxJsonChars) || maxJsonChars < 1)
+        return undefined;
+    if (memoryExtractionEvidenceJsonSize(evidence) <= maxJsonChars)
+        return evidence;
+    let low = MIN_EVIDENCE_TEXT_CHARS;
+    let high = MAX_EVIDENCE_TEXT_CHARS;
+    let best;
+    while (low <= high) {
+        const cap = Math.floor((low + high) / 2);
+        const candidate = evidence.map(entry => ({
+            ...entry,
+            text: sliceCodePoints(entry.text, cap),
+        }));
+        if (memoryExtractionEvidenceJsonSize(candidate) <= maxJsonChars) {
+            best = candidate;
+            low = cap + 1;
+        }
+        else {
+            high = cap - 1;
+        }
+    }
+    return best;
+}
+export function memoryExtractionEvidenceJsonSize(evidence) {
+    return JSON.stringify(renderMemoryExtractionEvidence(evidence)).length;
+}
+/** The bounded evidence index rendered into the pipeline prompts. */
+export function renderMemoryExtractionEvidence(evidence) {
+    return evidence.map(entry => ({
+        sourceRef: entry.sourceRef,
+        type: entry.type,
+        observedAt: minuteTimestamp(Math.max(0, ...entry.events.map(event => event.time))),
+        text: entry.text,
+    }));
+}
+/** Present for parity with Maka's port shape; kept as the binding hook. */
+function bindProviderVisibleEvidence(evidence) {
+    return evidence;
+}
+/**
+ * Rank matching turns by term coverage and recency, then add a one-turn
+ * neighborhood. Applies over the same bounded event window (`throughSeq`).
+ * A "turn" is the adapter-declared `turn` id when present (DSH turn numbers);
+ * otherwise each text event is its own group.
+ */
+export function searchSameSessionMemoryHistory(entries, throughSeq, search, afterSeq = 0) {
+    const eligible = entries.filter(({ seq, event }) => seq > afterSeq
+        && seq <= throughSeq
+        && (event.text !== undefined && event.text.length > 0)
+        && ((event.role === 'user' && event.author === 'user')
+            || (event.role === 'assistant' && event.author === 'model')));
+    const turns = [];
+    for (const entry of eligible) {
+        const key = entry.event.turn !== undefined ? `t${entry.event.turn}` : `e${entry.seq}`;
+        const last = turns.at(-1);
+        if (last?.key === key)
+            last.entries.push(entry);
+        else
+            turns.push({ key, entries: [entry] });
+    }
+    const terms = search.terms.map(term => normalizeEvidenceText(term).toLowerCase());
+    const allowedRoles = search.roles ? new Set(search.roles) : undefined;
+    const hits = turns
+        .map((turn, index) => ({
+        index,
+        score: terms.filter(term => turn.entries.some((entry) => {
+            if (allowedRoles && !allowedRoles.has(historyRole(entry.event)))
+                return false;
+            return normalizeEvidenceText(entry.event.text ?? '').toLowerCase().includes(term);
+        })).length,
+    }))
+        .filter(({ score }) => score > 0)
+        .sort((left, right) => right.score - left.score || right.index - left.index);
+    const selected = new Set();
+    for (const hit of hits) {
+        for (const index of [hit.index, hit.index - 1, hit.index + 1]) {
+            if (index < 0 || index >= turns.length || selected.has(index))
+                continue;
+            if (selected.size >= MAX_LOCALIZED_TURNS)
+                break;
+            selected.add(index);
+        }
+        if (selected.size >= MAX_LOCALIZED_TURNS)
+            break;
+    }
+    return [...selected]
+        .sort((left, right) => left - right)
+        .flatMap(index => turns[index]?.entries ?? []);
+}
+/** Bounded user/assistant text used only to interpret elliptical user evidence. */
+export function renderMemoryLocalizationContext(entries) {
+    let remaining = MAX_LOCALIZED_CONTEXT_CHARS;
+    const rendered = [];
+    for (const { seq, event } of entries) {
+        if (remaining <= 0 || event.text === undefined || event.text.length === 0)
+            continue;
+        const role = historyRole(event);
+        const text = sliceCodePoints(normalizeEvidenceText(event.text), MAX_LOCALIZED_EVENT_CHARS);
+        if (!text)
+            continue;
+        const line = `[${role} event:${seq}] ${text}`;
+        const bounded = sliceCodePoints(line, remaining);
+        rendered.push(bounded);
+        remaining -= Array.from(bounded).length;
+    }
+    return rendered.join('\n');
+}
+/** Resolve the admission evidence map for one coverage plan. */
+export function evidenceByRef(evidence) {
+    return new Map(evidence.map(entry => [entry.sourceRef, entry]));
+}
+/** Whether one citation's quote is verbatim inside its referenced evidence. */
+export function evidenceContainsCitation(citation, evidence) {
+    const source = evidence.get(citation.sourceRef);
+    if (!source)
+        return false;
+    const quote = normalizeEvidenceText(citation.quote);
+    if (!quote)
+        return false;
+    return source.text.includes(quote);
+}
+function boundedEvidenceText(value, terms) {
+    const codePoints = Array.from(value);
+    if (codePoints.length <= MAX_EVIDENCE_TEXT_CHARS)
+        return value;
+    const normalizedTerms = terms
+        ?.map(term => normalizeEvidenceText(term).toLowerCase())
+        .filter(Boolean);
+    const lower = value.toLowerCase();
+    const hit = normalizedTerms
+        ?.map(term => lower.indexOf(term))
+        .filter(index => index >= 0)
+        .sort((left, right) => left - right)[0];
+    if (hit === undefined)
+        return codePoints.slice(0, MAX_EVIDENCE_TEXT_CHARS).join('');
+    const before = Math.floor(MAX_EVIDENCE_TEXT_CHARS / 3);
+    const start = Math.max(0, Array.from(value.slice(0, hit)).length - before);
+    return codePoints.slice(start, start + MAX_EVIDENCE_TEXT_CHARS).join('');
+}
+export function normalizeEvidenceText(value) {
+    return value.normalize('NFC').replace(/\s+/g, ' ').trim();
+}
+export function minuteTimestamp(value) {
+    return Math.floor(value / 60_000) * 60_000;
+}
+export function historyRole(event) {
+    return event.role === 'assistant' ? 'assistant' : 'user';
+}
+export function sliceCodePoints(value, maximum) {
+    return Array.from(value).slice(0, maximum).join('');
+}
+/** Event identity of one entry, used by the coverage hash. */
+export function coverageEntryIdentity(entry) {
+    const label = entry.event.text !== undefined && entry.event.text.length > 0
+        ? `${entry.event.role}:${entry.event.author}`
+        : entry.event.role;
+    return [entry.seq, label];
+}
+/** Sort helper retained for tests and derived projections. */
+export function sortEntriesBySeq(entries) {
+    return [...entries].sort((left, right) => left.seq - right.seq);
+}
+//# sourceMappingURL=evidence.js.map

package/dist/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../src/evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAUH,MAAM,CAAC,MAAM,8BAA8B,GAAG,MAAM,CAAA;AACpD,MAAM,CAAC,MAAM,uBAAuB,GAAG,KAAK,CAAA;AAC5C,MAAM,CAAC,MAAM,uBAAuB,GAAG,EAAE,CAAA;AACzC,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAA;AACpC,MAAM,CAAC,MAAM,2BAA2B,GAAG,MAAM,CAAA;AACjD,MAAM,CAAC,MAAM,yBAAyB,GAAG,KAAK,CAAA;AAE9C;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,cAAqD,EACrD,UAAsD,EAAE;IAExD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB,IAAI,8BAA8B,CAAA;IAC7E,MAAM,QAAQ,GAAG,2BAA2B,CAC1C,+BAA+B,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAC1E,CAAA;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IAC5D,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAA;IAC7B,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAA;IAChE,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAAE,OAAO,SAAS,CAAA;IAC9E,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAA;AAC3D,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,+BAA+B,CAC7C,MAA4C;IAE5C,MAAM,SAAS,GAA+B,EAAE,CAAA;IAChD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QAC9D,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAA;QACxD,IAAI,CAAC,QAAQ;YAAE,SAAQ;QACvB,SAAS,CAAC,IAAI,CAAC;YACb,SAAS,EAAE,SAAS,KAAK,CAAC,GAAG,EAAE;YAC/B,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC;YAC9C,MAAM,EAAE,CAAC,KAAK,CAAC;SAChB,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACzC,QAA6C,EAC7C,YAAY,GAAG,8BAA8B;IAE7C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,IAAI,YAAY,GAAG,CAAC;QAAE,OAAO,SAAS,CAAA;IAC7E,IAAI,gCAAgC,CAAC,QAAQ,CAAC,IAAI,YAAY;QAAE,OAAO,QAAQ,CAAA;IAC/E,IAAI,GAAG,GAAG,uBAAuB,CAAA;IACjC,IAAI,IAAI,GAAG,uBAAuB,CAAA;IAClC,IAAI,IAAqD,CAAA;IACzD,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC;QACnB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;QACxC,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACvC,GAAG,KAAK;YACR,IAAI,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;SACvC,CAAC,CAAC,CAAA;QACH,IAAI,gCAAgC,CAAC,SAAS,CAAC,IAAI,YAAY,EAAE,CAAC;YAChE,IAAI,GAAG,SAAS,CAAA;YAChB,GAAG,GAAG,GAAG,GAAG,CAAC,CAAA;QACf,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,GAAG,GAAG,CAAC,CAAA;QAChB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,QAA6C;IAC5F,OAAO,IAAI,CAAC,SAAS,CAAC,8BAA8B,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAA;AACxE,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,8BAA8B,CAC5C,QAA6C;IAO7C,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAC,CAAC,CAAA;AACL,CAAC;AAED,2EAA2E;AAC3E,SAAS,2BAA2B,CAClC,QAA6C;IAE7C,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC5C,OAA8C,EAC9C,UAAkB,EAClB,MAAiF,EACjF,QAAQ,GAAG,CAAC;IAEZ,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CACjD,GAAG,GAAG,QAAQ;WACX,GAAG,IAAI,UAAU;WACjB,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;WACnD,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC;eACjD,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,CAAA;IACjE,MAAM,KAAK,GAAkE,EAAE,CAAA;IAC/E,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,EAAE,CAAA;QACrF,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACzB,IAAI,IAAI,EAAE,GAAG,KAAK,GAAG;YAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;;YAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC5C,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAA;IACjF,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACrE,MAAM,IAAI,GAAG,KAAK;SACf,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACrB,KAAK;QACL,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CACzB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;YAC1B,IAAI,YAAY,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAA;YAC7E,OAAO,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACnF,CAAC,CAAC,CAAC,CAAC,MAAM;KACb,CAAC,CAAC;SACF,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC;SAChC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;IAE9E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;YAC9D,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAQ;YACvE,IAAI,QAAQ,CAAC,IAAI,IAAI,mBAAmB;gBAAE,MAAK;YAC/C,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACrB,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,IAAI,mBAAmB;YAAE,MAAK;IACjD,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC;SACjB,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC;SACnC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,CAAA;AAClD,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,+BAA+B,CAC7C,OAA8C;IAE9C,IAAI,SAAS,GAAG,2BAA2B,CAAA;IAC3C,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,KAAK,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,OAAO,EAAE,CAAC;QACrC,IAAI,SAAS,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QACnF,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAA;QAC/B,MAAM,IAAI,GAAG,eAAe,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAA;QAC1F,IAAI,CAAC,IAAI;YAAE,SAAQ;QACnB,MAAM,IAAI,GAAG,IAAI,IAAI,UAAU,GAAG,KAAK,IAAI,EAAE,CAAA;QAC7C,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;QAChD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACtB,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,CAAA;IACzC,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC5B,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,aAAa,CAC3B,QAA6C;IAE7C,OAAO,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;AACjE,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,wBAAwB,CACtC,QAAgC,EAChC,QAAuD;IAEvD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IAC/C,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACzB,MAAM,KAAK,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IACnD,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAA;IACxB,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;AACpC,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAa,EACb,KAAoC;IAEpC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACpC,IAAI,UAAU,CAAC,MAAM,IAAI,uBAAuB;QAAE,OAAO,KAAK,CAAA;IAC9D,MAAM,eAAe,GAAG,KAAK;QAC3B,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;SACvD,MAAM,CAAC,OAAO,CAAC,CAAA;IAClB,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,EAAE,CAAA;IACjC,MAAM,GAAG,GAAG,eAAe;QACzB,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;SACjC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC;SAC3B,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IACzC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACnF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,uBAAuB,GAAG,CAAC,CAAC,CAAA;IACtD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;IAC1E,OAAO,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,uBAAuB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAa;IACjD,OAAO,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;AAC3D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,MAAM,CAAC,GAAG,MAAM,CAAA;AAC5C,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAgC;IAC1D,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAA;AAC1D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAa,EAAE,OAAe;IAC5D,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AACrD,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,qBAAqB,CAAC,KAAiC;IACrE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACzE,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE;QAC7C,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAA;IACpB,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;AAC3B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,gBAAgB,CAAC,OAA8C;IAC7E,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;AACjE,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,64 @@
+/**
+ * Automatic long-term-memory extraction at compaction checkpoints (Maka port,
+ * slice No. 2): one host-plane plugin that observes every session's
+ * `compaction/summary` event and runs a bounded, fail-open extraction pipeline
+ * writing durable facts into the same `ctx.memory` bank `retain`/`learn` use.
+ *
+ * Plane split (load-bearing — do not move rows between planes):
+ * - This row is HOST: it resolves host services (`memory`, `llm`,
+ *   `storage.backend.<backend>`) and opens the `memory_extraction` control
+ *   unit once per process. A preset row would collide on unit-open and scope
+ *   the listener to one agent (and a scoped listener would miss other
+ *   sessions' compactions). An unscoped host `ctx.on('session/event')` is
+ *   admitted globally by the scope filter, so every session's events arrive.
+ * - No tool or prompt section: DSH's explicit `retain`/`learn`/`memory_edit`
+ *   surface stays the model-facing path (Maka's `memory_remember`/
+ *   `memory_extract` verbs are reserved, not ported).
+ * @module @hy-sde-org/dsh-memory-extraction
+ */
+import { Context } from '@deepseek-ai/cordis';
+import z from '@deepseek-ai/schemastery';
+import type { RuntimeConfig } from './runtime.ts';
+export * from './types.ts';
+export * from './evidence.ts';
+export * from './proposal.ts';
+export * from './control.ts';
+export * from './engine.ts';
+export * from './events.ts';
+export * from './memory-adapter.ts';
+export { MemoryExtractionRuntime, openControlUnit } from './runtime.ts';
+/** Plugin configuration. */
+export interface Config extends RuntimeConfig {
+    /** Master switch; false makes the plugin inert (default true). */
+    enabled?: boolean;
+    /** Storage backend name whose kv facet hosts the control unit (default `sqlite`). */
+    backend?: string;
+    /** Cheap-model override; falls back to the session's routed request header. */
+    provider?: string;
+    /** Auxiliary model id override; falls back to the session's routed request header. */
+    model?: string;
+    /** Importance stamped on auto-extracted bank entries (default 0.5). */
+    importance?: number;
+    /** Probe the bank before commit to skip exact duplicates (default true). */
+    dedupe?: boolean;
+    /** Skip subagent/child sessions (default true). */
+    excludeSubagents?: boolean;
+    /** Auxiliary call timeout in milliseconds (default 60 000). */
+    timeoutMs?: number;
+}
+export declare const Config: z<Config>;
+export declare const name = "memory-extraction";
+export declare const inject: string[];
+/**
+ * Mount the extraction runtime. Async boot (open the control unit) happens in
+ * an effect so plugin teardown releases the unit; a missing storage backend
+ * logs and leaves the plugin inert rather than failing composition.
+ */
+export declare function apply(ctx: Context, config: Config): void;
+declare const _default: {
+    name: string;
+    inject: string[];
+    apply: typeof apply;
+};
+export default _default;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAC7C,OAAO,CAAC,MAAM,0BAA0B,CAAA;AAExC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAEjD,cAAc,YAAY,CAAA;AAC1B,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,cAAc,CAAA;AAC5B,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA;AAC3B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,uBAAuB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAEvE,4BAA4B;AAC5B,MAAM,WAAW,MAAO,SAAQ,aAAa;IAC3C,kEAAkE;IAClE,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,qFAAqF;IACrF,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,sFAAsF;IACtF,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,uEAAuE;IACvE,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,4EAA4E;IAC5E,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,mDAAmD;IACnD,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B,+DAA+D;IAC/D,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAED,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,MAAM,CAS3B,CAAA;AAEF,eAAO,MAAM,IAAI,sBAAsB,CAAA;AAEvC,eAAO,MAAM,MAAM,UAAoB,CAAA;AAEvC;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAsBxD;;;;;;AAED,wBAAsC"}

package/dist/index.js

@@ -0,0 +1,72 @@
+/**
+ * Automatic long-term-memory extraction at compaction checkpoints (Maka port,
+ * slice No. 2): one host-plane plugin that observes every session's
+ * `compaction/summary` event and runs a bounded, fail-open extraction pipeline
+ * writing durable facts into the same `ctx.memory` bank `retain`/`learn` use.
+ *
+ * Plane split (load-bearing — do not move rows between planes):
+ * - This row is HOST: it resolves host services (`memory`, `llm`,
+ *   `storage.backend.<backend>`) and opens the `memory_extraction` control
+ *   unit once per process. A preset row would collide on unit-open and scope
+ *   the listener to one agent (and a scoped listener would miss other
+ *   sessions' compactions). An unscoped host `ctx.on('session/event')` is
+ *   admitted globally by the scope filter, so every session's events arrive.
+ * - No tool or prompt section: DSH's explicit `retain`/`learn`/`memory_edit`
+ *   surface stays the model-facing path (Maka's `memory_remember`/
+ *   `memory_extract` verbs are reserved, not ported).
+ * @module @hy-sde-org/dsh-memory-extraction
+ */
+import z from '@deepseek-ai/schemastery';
+import { MemoryExtractionRuntime, openControlUnit } from "./runtime.js";
+export * from "./types.js";
+export * from "./evidence.js";
+export * from "./proposal.js";
+export * from "./control.js";
+export * from "./engine.js";
+export * from "./events.js";
+export * from "./memory-adapter.js";
+export { MemoryExtractionRuntime, openControlUnit } from "./runtime.js";
+export const Config = z.object({
+    enabled: z.boolean().default(true),
+    backend: z.string().default('sqlite'),
+    provider: z.string(),
+    model: z.string(),
+    importance: z.number(),
+    dedupe: z.boolean().default(true),
+    excludeSubagents: z.boolean().default(true),
+    timeoutMs: z.number().step(1).min(1),
+});
+export const name = 'memory-extraction';
+export const inject = ['memory', 'llm'];
+/**
+ * Mount the extraction runtime. Async boot (open the control unit) happens in
+ * an effect so plugin teardown releases the unit; a missing storage backend
+ * logs and leaves the plugin inert rather than failing composition.
+ */
+export function apply(ctx, config) {
+    ctx.effect(() => {
+        const state = { cancelled: false };
+        const disposers = [];
+        void (async () => {
+            try {
+                const { unit, store } = await openControlUnit(ctx, config.backend ?? 'sqlite');
+                if (state.cancelled) {
+                    await unit.close();
+                    return;
+                }
+                const runtime = new MemoryExtractionRuntime(ctx, config, store, ctx.memory);
+                disposers.push(runtime.attach(), () => { void unit.close(); });
+            }
+            catch (error) {
+                ctx.logger.warn(`memory-extraction: not mounted (${String(error)}); extraction stays off`);
+            }
+        })();
+        return () => {
+            state.cancelled = true;
+            for (const dispose of disposers.splice(0))
+                dispose();
+        };
+    });
+}
+export default { name, inject, apply };
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,CAAC,MAAM,0BAA0B,CAAA;AACxC,OAAO,EAAE,uBAAuB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAGvE,cAAc,YAAY,CAAA;AAC1B,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,cAAc,CAAA;AAC5B,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA;AAC3B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,uBAAuB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAsBvE,MAAM,CAAC,MAAM,MAAM,GAAc,CAAC,CAAC,MAAM,CAAC;IACxC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC;IACrC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IACjC,gBAAgB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,IAAI,GAAG,mBAAmB,CAAA;AAEvC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;AAEvC;;;;GAIG;AACH,MAAM,UAAU,KAAK,CAAC,GAAY,EAAE,MAAc;IAChD,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE;QACd,MAAM,KAAK,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;QAClC,MAAM,SAAS,GAAsB,EAAE,CAAA;QACvC,KAAK,CAAC,KAAK,IAAI,EAAE;YACf,IAAI,CAAC;gBACH,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,OAAO,IAAI,QAAQ,CAAC,CAAA;gBAC9E,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;oBACpB,MAAM,IAAI,CAAC,KAAK,EAAE,CAAA;oBAClB,OAAM;gBACR,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,uBAAuB,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;gBAC3E,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,GAAG,KAAK,IAAI,CAAC,KAAK,EAAE,CAAA,CAAC,CAAC,CAAC,CAAA;YAC/D,CAAC;YAAC,OAAO,KAAc,EAAE,CAAC;gBACxB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,mCAAmC,MAAM,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAA;YAC5F,CAAC;QACH,CAAC,CAAC,EAAE,CAAA;QACJ,OAAO,GAAG,EAAE;YACV,KAAK,CAAC,SAAS,GAAG,IAAI,CAAA;YACtB,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;gBAAE,OAAO,EAAE,CAAA;QACtD,CAAC,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA"}

package/dist/memory-adapter.d.ts

@@ -0,0 +1,44 @@
+/**
+ * The gated store adapter: commits admitted items into the existing
+ * `ctx.memory` project bank (the same store `retain`/`learn` write to) and
+ * resolves the extraction gate. Dedupe probes the existing bank with the
+ * recall search (design decision: content hash + project, via the existing
+ * search) so a cross-store crash between item writes and the cursor/receipt
+ * writes cannot duplicate facts on retry.
+ * @module @hy-sde-org/dsh-memory-extraction/memory-adapter
+ */
+import type { MemoryContext, MemorySaveInput, MemorySaveResult, MemorySearchOptions, MemorySearchResult } from '@hy-sde-org/dsh-memory';
+import type { AdmittedMemoryItem, MemoryExtractionGate, MemoryExtractionSourceSnapshot } from './types.ts';
+/** Structural view of the `ctx.memory` service the adapter needs. */
+export interface MemoryCommitSurface {
+    save(context: MemoryContext, input: MemorySaveInput): Promise<MemorySaveResult>;
+    search(context: MemoryContext, query: string, options?: MemorySearchOptions): Promise<MemorySearchResult>;
+}
+/** Adapter configuration. */
+export interface MemoryCommitAdapterConfig {
+    /** Importance stamped on auto-extracted bank entries (default 0.5). */
+    importance?: number;
+    /** Probe the existing bank before writing to skip exact duplicates (default true). */
+    dedupe?: boolean;
+}
+export declare class MemoryCommitAdapter {
+    private readonly memory;
+    private readonly config;
+    constructor(memory: MemoryCommitSurface, config?: MemoryCommitAdapterConfig);
+    commitItems(input: {
+        readonly sessionId: string;
+        readonly workspaceKey?: string;
+        readonly trigger: MemoryExtractionSourceSnapshot['trigger'];
+        readonly boundarySeq: number;
+        readonly items: readonly AdmittedMemoryItem[];
+    }): Promise<{
+        readonly committed: readonly string[];
+    }>;
+    private isDuplicate;
+}
+/** Resolve the extraction gate: config toggle + subagent/child exclusion. */
+export declare function createExtractionGate(config: {
+    readonly enabled?: boolean;
+    readonly excludeSubagents?: boolean;
+}): (snapshot: MemoryExtractionSourceSnapshot) => MemoryExtractionGate;
+//# sourceMappingURL=memory-adapter.d.ts.map

package/dist/memory-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-adapter.d.ts","sourceRoot":"","sources":["../src/memory-adapter.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EACV,aAAa,EACb,eAAe,EACf,gBAAgB,EAChB,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EACV,kBAAkB,EAClB,oBAAoB,EACpB,8BAA8B,EAC/B,MAAM,YAAY,CAAA;AAQnB,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAClC,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAA;IAC/E,MAAM,CAAC,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAA;CAC1G;AAED,6BAA6B;AAC7B,MAAM,WAAW,yBAAyB;IACxC,uEAAuE;IACvE,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,sFAAsF;IACtF,MAAM,CAAC,EAAE,OAAO,CAAA;CACjB;AAED,qBAAa,mBAAmB;IAE5B,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;gBADN,MAAM,EAAE,mBAAmB,EAC3B,MAAM,GAAE,yBAA8B;IAGnD,WAAW,CAAC,KAAK,EAAE;QACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;QAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;QAC9B,QAAQ,CAAC,OAAO,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAA;QAC3D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;QAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAA;KAC9C,GAAG,OAAO,CAAC;QAAE,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;YAuBxC,WAAW;CAO1B;AAED,6EAA6E;AAC7E,wBAAgB,oBAAoB,CAAC,MAAM,EAAE;IAC3C,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAA;CACpC,GAAG,CAAC,QAAQ,EAAE,8BAA8B,KAAK,oBAAoB,CAUrE"}

package/dist/memory-adapter.js

@@ -0,0 +1,69 @@
+/**
+ * The gated store adapter: commits admitted items into the existing
+ * `ctx.memory` project bank (the same store `retain`/`learn` write to) and
+ * resolves the extraction gate. Dedupe probes the existing bank with the
+ * recall search (design decision: content hash + project, via the existing
+ * search) so a cross-store crash between item writes and the cursor/receipt
+ * writes cannot duplicate facts on retry.
+ * @module @hy-sde-org/dsh-memory-extraction/memory-adapter
+ */
+import { normalizeProposedMemoryText } from "./proposal.js";
+const IMPORTANCE_AUTO_EXTRACT = 0.5;
+const SOURCE_AUTO_EXTRACT = 'memory_extract';
+const DEDUPE_PROBE_LIMIT = 5;
+const DEDUPE_QUERY_CHARS = 200;
+export class MemoryCommitAdapter {
+    memory;
+    config;
+    constructor(memory, config = {}) {
+        this.memory = memory;
+        this.config = config;
+    }
+    async commitItems(input) {
+        const context = input.workspaceKey !== undefined
+            ? { cwd: input.workspaceKey }
+            : { cwd: process.cwd() };
+        const importance = this.config.importance ?? IMPORTANCE_AUTO_EXTRACT;
+        const dedupe = this.config.dedupe ?? true;
+        const committed = [];
+        for (const item of input.items) {
+            const content = normalizeProposedMemoryText(item.content);
+            if (content === undefined)
+                continue;
+            if (dedupe && await this.isDuplicate(context, content))
+                continue;
+            const result = await this.memory.save(context, {
+                content,
+                context: `automatic memory extraction from session ${input.sessionId} (compaction checkpoint through seq ${input.boundarySeq})`,
+                source: SOURCE_AUTO_EXTRACT,
+                importance,
+                sessionId: input.sessionId,
+            });
+            if (result.stored > 0)
+                committed.push(content);
+        }
+        return { committed };
+    }
+    async isDuplicate(context, content) {
+        const query = content.slice(0, DEDUPE_QUERY_CHARS);
+        const result = await this.memory.search(context, query, { limit: DEDUPE_PROBE_LIMIT });
+        const expected = normalizeProposedMemoryText(content);
+        if (expected === undefined)
+            return true;
+        return result.items.some(item => normalizeProposedMemoryText(item.content) === expected);
+    }
+}
+/** Resolve the extraction gate: config toggle + subagent/child exclusion. */
+export function createExtractionGate(config) {
+    const enabled = config.enabled ?? true;
+    const excludeSubagents = config.excludeSubagents ?? true;
+    return (snapshot) => {
+        if (!enabled)
+            return { allowed: false, reason: 'disabled' };
+        if (excludeSubagents && (snapshot.origin === 'subagent' || (snapshot.delegationDepth ?? 0) > 0)) {
+            return { allowed: false, reason: 'ineligible' };
+        }
+        return { allowed: true };
+    };
+}
+//# sourceMappingURL=memory-adapter.js.map

package/dist/memory-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-adapter.js","sourceRoot":"","sources":["../src/memory-adapter.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAcH,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAA;AAE3D,MAAM,uBAAuB,GAAG,GAAG,CAAA;AACnC,MAAM,mBAAmB,GAAG,gBAAgB,CAAA;AAC5C,MAAM,kBAAkB,GAAG,CAAC,CAAA;AAC5B,MAAM,kBAAkB,GAAG,GAAG,CAAA;AAgB9B,MAAM,OAAO,mBAAmB;IAEX;IACA;IAFnB,YACmB,MAA2B,EAC3B,SAAoC,EAAE;QADtC,WAAM,GAAN,MAAM,CAAqB;QAC3B,WAAM,GAAN,MAAM,CAAgC;IACrD,CAAC;IAEL,KAAK,CAAC,WAAW,CAAC,KAMjB;QACC,MAAM,OAAO,GAAkB,KAAK,CAAC,YAAY,KAAK,SAAS;YAC7D,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,YAAY,EAAE;YAC7B,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAA;QAC1B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,uBAAuB,CAAA;QACpE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAA;QACzC,MAAM,SAAS,GAAa,EAAE,CAAA;QAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACzD,IAAI,OAAO,KAAK,SAAS;gBAAE,SAAQ;YACnC,IAAI,MAAM,IAAI,MAAM,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC;gBAAE,SAAQ;YAChE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE;gBAC7C,OAAO;gBACP,OAAO,EAAE,4CAA4C,KAAK,CAAC,SAAS,uCAAuC,KAAK,CAAC,WAAW,GAAG;gBAC/H,MAAM,EAAE,mBAAmB;gBAC3B,UAAU;gBACV,SAAS,EAAE,KAAK,CAAC,SAAS;aAC3B,CAAC,CAAA;YACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAChD,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,CAAA;IACtB,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,OAAsB,EAAE,OAAe;QAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAA;QAClD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAA;QACtF,MAAM,QAAQ,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAA;QACrD,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,IAAI,CAAA;QACvC,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAA;IAC1F,CAAC;CACF;AAED,6EAA6E;AAC7E,MAAM,UAAU,oBAAoB,CAAC,MAGpC;IACC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,IAAI,CAAA;IACtC,MAAM,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,IAAI,IAAI,CAAA;IACxD,OAAO,CAAC,QAAQ,EAAE,EAAE;QAClB,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAA;QAC3D,IAAI,gBAAgB,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,eAAe,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAChG,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAA;QACjD,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;IAC1B,CAAC,CAAA;AACH,CAAC"}

package/dist/proposal.d.ts

@@ -0,0 +1,63 @@
+/**
+ * Proposal / canonicalization language for automatic memory extraction:
+ * stage-1 and localized prompts, strict hand-rolled JSON parsers, and
+ * admission (verbatim quote verification, deterministic policy rejection,
+ * bounds). Ported from Maka `memory-extraction-proposal.ts` with the facet
+ * schema reduced to `{content, evidence}` (see package README).
+ * @module @hy-sde-org/dsh-memory-extraction/proposal
+ */
+import { evidenceByRef } from './evidence.ts';
+import type { AdmittedMemoryItem, LocalizedMemoryProposal, MemoryCanonicalization, MemoryExtractionEvidence, MemoryProposal, MemoryProposalItem } from './types.ts';
+export declare const MAX_ITEM_CONTENT_CHARS = 2000;
+export declare const MAX_ITEM_EVIDENCE_CITATIONS = 8;
+export declare const MAX_CITATION_QUOTE_CHARS = 1000;
+export declare const MAX_CITATION_SOURCEREF_CHARS = 160;
+export declare const MAX_INCIDENT_ITEMS = 10;
+export declare const MIN_CITATION_QUOTE_CHARS = 4;
+export declare const MAX_SEARCH_TERMS = 8;
+export declare const MAX_CANDIDATES = 20;
+/**
+ * Parse one stage-1 proposal response. Strict JSON object only (no fences, no
+ * extra keys) — the pipeline fails closed on anything else.
+ */
+export declare function parseMemoryProposal(raw: string): MemoryProposal | undefined;
+/** Parse one localized (second-pass) proposal response. */
+export declare function parseLocalizedMemoryProposal(raw: string): LocalizedMemoryProposal | undefined;
+/** Parse one canonicalization response: exactly one result per candidateId. */
+export declare function parseMemoryCanonicalization(raw: string): MemoryCanonicalization | undefined;
+/** Stage-1 prompt: incidental extraction from the bounded evidence index. */
+export declare function buildFirstMemoryProposalPrompt(input: {
+    readonly now: number;
+    readonly evidence: readonly MemoryExtractionEvidence[];
+}): string;
+/** Localized prompt: resolve one search_required with bounded same-session context. */
+export declare function buildLocalizedMemoryProposalPrompt(input: {
+    readonly now: number;
+    readonly evidence: readonly MemoryExtractionEvidence[];
+    readonly interpretationContext: string;
+}): string;
+/** Canonicalization prompt: rewrite/reject candidates against user evidence only. */
+export declare function buildMemoryCanonicalizationPrompt(input: {
+    readonly now: number;
+    readonly candidates: readonly {
+        readonly candidateId: string;
+        readonly evidence: readonly {
+            readonly sourceRef: string;
+            readonly quote: string;
+            readonly observedAt: number;
+        }[];
+    }[];
+}): string;
+/** Deterministic policy rejection: any secret-pattern text fails before admission. */
+export declare function deterministicMemoryPolicyRejection(item: MemoryProposalItem): boolean;
+/**
+ * Admit one proposal item: normalize content, verify every citation verbatim
+ * against its referenced bounded evidence, and collect the cited seqs for
+ * provenance. Returns undefined on any violation (fail closed).
+ */
+export declare function admitMemoryProposalItem(item: MemoryProposalItem, evidence: ReadonlyMap<string, MemoryExtractionEvidence>): AdmittedMemoryItem | undefined;
+/** Normalized, policy-safe, bounded stored content (mirrors the bank write path). */
+export declare function normalizeProposedMemoryText(value: string): string | undefined;
+/** Evidence map helper re-exported for the engine. */
+export { evidenceByRef };
+//# sourceMappingURL=proposal.d.ts.map

package/dist/proposal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposal.d.ts","sourceRoot":"","sources":["../src/proposal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAEL,aAAa,EAKd,MAAM,eAAe,CAAA;AACtB,OAAO,KAAK,EACV,kBAAkB,EAClB,uBAAuB,EACvB,sBAAsB,EAEtB,wBAAwB,EACxB,cAAc,EACd,kBAAkB,EACnB,MAAM,YAAY,CAAA;AAInB,eAAO,MAAM,sBAAsB,OAAQ,CAAA;AAC3C,eAAO,MAAM,2BAA2B,IAAI,CAAA;AAC5C,eAAO,MAAM,wBAAwB,OAAQ,CAAA;AAC7C,eAAO,MAAM,4BAA4B,MAAM,CAAA;AAC/C,eAAO,MAAM,kBAAkB,KAAK,CAAA;AACpC,eAAO,MAAM,wBAAwB,IAAI,CAAA;AACzC,eAAO,MAAM,gBAAgB,IAAI,CAAA;AACjC,eAAO,MAAM,cAAc,KAAK,CAAA;AA4DhC;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CA4B3E;AAED,2DAA2D;AAC3D,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,MAAM,GAAG,uBAAuB,GAAG,SAAS,CAsB7F;AAED,+EAA+E;AAC/E,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,MAAM,GAAG,sBAAsB,GAAG,SAAS,CAiC3F;AAID,6EAA6E;AAC7E,wBAAgB,8BAA8B,CAAC,KAAK,EAAE;IACpD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,wBAAwB,EAAE,CAAA;CACvD,GAAG,MAAM,CAqBT;AAED,uFAAuF;AACvF,wBAAgB,kCAAkC,CAAC,KAAK,EAAE;IACxD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,wBAAwB,EAAE,CAAA;IACtD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAA;CACvC,GAAG,MAAM,CAqBT;AAED,qFAAqF;AACrF,wBAAgB,iCAAiC,CAAC,KAAK,EAAE;IACvD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,UAAU,EAAE,SAAS;QAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;QAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS;YAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;SAAE,EAAE,CAAA;KAClH,EAAE,CAAA;CACJ,GAAG,MAAM,CAeT;AAID,sFAAsF;AACtF,wBAAgB,kCAAkC,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAKpF;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,kBAAkB,EACxB,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,GACtD,kBAAkB,GAAG,SAAS,CAiBhC;AAED,qFAAqF;AACrF,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAI7E;AAED,sDAAsD;AACtD,OAAO,EAAE,aAAa,EAAE,CAAA"}