@namzu/sdk 55.0.0 → 56.0.0

package/CHANGELOG.md

@@ -1,5 +1,28 @@
 # Changelog
 
+## 56.0.0
+
+### Major Changes
+
+- 4ef7f2d: A failing `bash` result no longer ends with the line "NOTE: N credential-shaped environment variables were removed ..."; its `output` is only what the command printed, and the count is in `data.withheldEnv`. The kernel now tells the model in a framed user-role notice of its own after the tool batch, once, and again only when the count changes. If your host parsed that line out of `output`, read `result.data.withheldEnv` instead; `describeWithheldEnv` now returns the notice sentence without the "NOTE:" prefix.
+
+### Patch Changes
+
+- 4ef7f2d: The compaction summary's `## Current Goal` section is written only when the newest request says something the `## Task` entry does not; it no longer repeats the task word for word. Nothing to do on upgrade.
+- 4ef7f2d: The summary a compaction leaves reads more plainly. The files list gives one line per file, the path then what was done to it ("read; changed"), instead of repeating "read: read". The heading for details the summary check adds is now `## Missing Details`, and the newest request is restated under `## Current Goal` (the task when nothing newer was asked) just before the open items; the `Latest request:` prefix inside `## User Requirements` is gone. The `edit` tool's description now gives the reason for its 12000 character budget. A host that matches these headings in a summary should read the new names; the saved working state itself is unchanged.
+- 4ef7f2d: A turn's request-only data (repository snapshot, recalled memory, conversation evidence, file evidence) now keeps the place it first had on every later call of the turn, instead of moving from before your message to after the tool results, so within a turn each request begins with the whole of the one before it and a caching provider keeps reading the same prefix. This holds for the calls of one turn only: the next turn takes its data afresh, so its opening differs from the previous turn's. The conversation-evidence step reads the archive once per turn: a tool result written to the archive mid-turn no longer changes the block, and the next turn (or a new message from the person) reads afresh. File evidence and the owned-work block, when they change, are appended as a later block, as their headings say, instead of replacing the earlier one in place; this is a behaviour change: the model can still read the earlier, out of date text of a file body, so only the latest version and the two before it are carried, and versions a compaction displaced are dropped. Other data whose text changed is replaced. The conversation-evidence opening paragraph is no longer than before, names each JSON key it mentions once in code style, and no longer prints internal kind names; its JSON no longer carries the scan byte count. The note that evidence is unavailable is now two plain sentences, not JSON, so it no longer carries the status, stage or reason as fields. Nothing to change in your code; a host that matches the old wording of the evidence block, reads `scannedBytes` from it, parses the availability note's fields, or expects one file-evidence block per request should read the new text and take the last block.
+
+## 55.1.0
+
+### Minor Changes
+
+- 5aae7c4: New, additive: an experience library for the learning module. `SqliteLearningExperienceStore` records, per adopted or rejected cycle, the full artefact, a typed edit ledger (surface, change, verdict `helped` / `hurt` / `no observed effect` / `confounded`) and lessons (cue, lesson, evidence, confidence with a reason). When a candidate changed several components, rows not tried alone are stored as `confounded`, and a lesson resting on confounded edits is capped at medium or low. `retrieve` returns entries only from the same domain and evaluator revision, and only those recorded before the ordinal you pass. Entries are immutable, run through the leak tripwire, and live in a separate database file. New exports: `SqliteLearningExperienceStore`, `normalizeLearningExperience`, `selectLearningExperience`, `LEARNING_EDIT_VERDICTS`, `LEARNING_CONFIDENCE_LEVELS`, `LEARNING_EXPERIENCE_STORE_VERSION` and the related types. Nothing existing changes; the cycle does not read the library yet. `record` and `retrieve` require a `leakGuard` (pass `{}` for the built-in checks only) and scan every string an entry holds, on write and again on read. More than one edit row is treated as changed together unless marked `isolated`, and a lesson citing no edits is capped as resting on all of them.
+- 5aae7c4: New, additive: the first built-in learning generator. `proposeLearningCandidate` reads a domain's observations and earlier cycles, asks a model you supply (`LearningModel`, one function returning text and token counts) for one revision of an instruction skill, and returns the candidate with its typed edits, or refuses it. Every edit must sit on the editable surface (`resolveLearningSurface`, today the instruction skill only) and the wording must stay clear of the safety floor; a problem goes back to the model once and a second failure is refused, naming the part and never the text. `LEARNING_FLOOR_COMPONENTS` lists what is never editable and `resolveLearningSurface` throws if a configuration names one. `learningExperienceFromCycle` turns a finished cycle into an experience entry (adopted and helped, rejected and hurt or no observed effect). The proposal does not judge itself: it goes through `runLearningCycle` for paired verification, protection, confirmation and exact-revision activation. Nothing existing changes. New exports: `proposeLearningCandidate`, `resolveLearningSurface`, `learningExperienceFromCycle`, `LEARNING_SURFACE_KINDS`, `LEARNING_FLOOR_COMPONENTS` and the related types.
+- 5aae7c4: The learning cycle now refuses to learn from, or produce, anything that carries evaluator-side material. `runLearningCycle` checks the active skill baseline, the failure evidence (before any stage or journal entry), exploration observations and the generated candidate against the built-in grader-verdict and answer-key wording and secret shapes, plus an optional `leakGuard` you supply (path globs, planted canaries from `createLearningCanary()`, extra markers, verbatim protection-task text, literal secrets). A hit ends the cycle with status `failed`, a reason that says it is a leak and not a false positive, and `result.leak` listing the kind, subject and rule; the matched text is never repeated and a refused candidate is not returned. New exports: `createLearningCanary`, `scanForLearningLeak`, `assertNoLearningLeak`, `LearningLeakError` and the types `LearningLeakGuard`, `LearningLeakFinding`, `LearningLeakKind`, `LearningLeakSubject`. What to check: evidence that legitimately mentions a verdict, an answer key or a secret-shaped string is now refused. Remove or redact it at the source; there is no switch to turn the built-in checks off. Canaries are also found inside larger base64 or base64url blobs at any alignment and in uppercase hex; the built-in secret shapes are found through zero-width characters. The CLI passes no `leakGuard`, so it applies only the built-in checks.
+- 5aae7c4: Learning moves out of the resident module into its own, because it is not specific to residents. Nothing breaks: every exported name that began with `Resident` (`runResidentLearningCycle`, `SqliteResidentLearningStore`, `runStoredResidentLearningCycle`, `runStoredResidentLearningFromObservations`, `hashResidentSkill`, `projectResidentLearning`, `ResidentSkillCandidate`, `ResidentLearningState`, and the rest) still works and is the same value or type as its new name (`runLearningCycle`, `SqliteLearningStore`, `runStoredLearningCycle`, `runStoredLearningFromObservations`, `hashLearningSkill`, `projectLearning`, `LearningSkillCandidate`, `LearningState`, ...). The old names are marked `@deprecated` and will be removed in the next major release; switch to the new names when convenient. Also new: `SqliteLearningStore.pruneObservations(shouldDrop)`, which removes unclaimed observations a host no longer wants to keep.
+- 5aae7c4: Learning by itself no longer counts a refused tool call as a failure: the answer to a call you declined, to a call that went with the turn your No ended, and to a call whose question went unanswered records nothing, because those are your choices, not a tool that broke. The background learning cycle also stays still while any question about a tool call waits on you, and goes on once it closes. The guidance a project learned now opens with "Namzu learned" instead of claiming you confirmed it, since the background cycle activates it without a prompt; a stored memory still wins where the two disagree. `@namzu/sdk` adds `isReviewRefusalResult(output)`, which says whether a tool result answers a call the review did not let run, so a host that counts failures can leave those out. Nothing to change on upgrade.
+- 5aae7c4: Residents are deprecated and will be removed in the next major release. Every resident export (`runResident`, `stepResident`, `ResidentHost`, `DiskResidentStore`, `DiskResidentAgenda`, `createResidentSelector`, `inspectResidentConsumption`, the outbox, history, tool-evidence and step-context helpers, and their types) is now marked `@deprecated` and behaves as before. Nothing is removed in this release. If you use them for long-running work, move to scheduled tasks (`LocalTaskScheduler`), session goals or background agents; learning (`runLearningCycle` and the other `Learning*` names) keeps working, but `runLearningCycle` still takes a resident agenda (`DiskResidentAgenda`) as its activation target and throws `ResidentConflictError` when it is paused, so a consumer of learning still needs the deprecated resident agenda store. Learning gets its own activation target before the residents are removed; that is the precondition for removing them in the next major release.
+
 ## 55.0.0
 
 ### Major Changes

package/dist/compaction/serializer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"serializer.d.ts","sourceRoot":"","sources":["../../src/compaction/serializer.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAY,YAAY,EAAE,MAAM,YAAY,CAAA;AAkExD,sEAAsE;AACtE,wBAAgB,UAAU,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,GAAG,IAAI,CAW7D;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAIhD;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAmE1D"}
+{"version":3,"file":"serializer.d.ts","sourceRoot":"","sources":["../../src/compaction/serializer.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAY,YAAY,EAAE,MAAM,YAAY,CAAA;AAuExD,sEAAsE;AACtE,wBAAgB,UAAU,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,GAAG,IAAI,CAW7D;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAIhD;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CA0E1D"}

package/dist/compaction/serializer.js

@@ -8,19 +8,29 @@ const PLAN_STATUS_ICONS = {
 function renderPlan(plan) {
     return plan.map((slot) => `- ${PLAN_STATUS_ICONS[slot.status]} ${slot.label}`).join('\n');
 }
+/** What one recorded action says, in words a reader needs no key for. */
+function describeAction(action) {
+    switch (action.type) {
+        case 'read':
+            return 'read';
+        case 'delete':
+            return 'deleted';
+        case 'create':
+        case 'edit': {
+            const verb = action.type === 'create' ? 'created' : 'changed';
+            const detail = action.detail?.replace(/\s+/g, ' ').trim();
+            return detail && detail !== 'modified' ? `${verb} (${detail})` : verb;
+        }
+        default:
+            return action.type;
+    }
+}
+/** One line per file: the path, then what was done to it, each distinct step once and in order. */
 function renderFiles(files) {
     const lines = [];
     for (const [, slot] of files) {
-        lines.push(`- \`${slot.path}\``);
-        for (const action of slot.actions) {
-            if (action.type === 'delete') {
-                lines.push('  - deleted');
-            }
-            else {
-                const desc = 'detail' in action ? action.detail : action.summary;
-                lines.push(`  - ${action.type}: ${desc ?? ''}`);
-            }
-        }
+        const done = [...new Set(slot.actions.map(describeAction))];
+        lines.push(`- \`${slot.path}\`: ${done.join('; ')}`);
     }
     return lines.join('\n');
 }
@@ -35,10 +45,6 @@ function renderList(items, evictedCount = 0) {
     }
     return lines.join('\n');
 }
-/** The newest request is the goal the next step works toward; mark it where it already stands. */
-function markLatest(requirements) {
-    return requirements.map((item, i) => i === requirements.length - 1 ? `Latest request: ${item}` : item);
-}
 function renderToolResults(results, evictedCount = 0) {
     const lines = results.map((r) => `- **${r.tool}**: ${r.summary}`);
     if (evictedCount > 0) {
@@ -77,7 +83,7 @@ export function serializeState(state) {
         sections.push(`${SECTION_HEADERS.task}\n\n${state.task}`);
     }
     if (state.userRequirements.length > 0) {
-        sections.push(`${SECTION_HEADERS.userRequirements}\n\n${renderList(markLatest(state.userRequirements), state.evicted.userRequirements)}`);
+        sections.push(`${SECTION_HEADERS.userRequirements}\n\n${renderList(state.userRequirements, state.evicted.userRequirements)}`);
     }
     if (state.plan.length > 0) {
         sections.push(`${SECTION_HEADERS.plan}\n\n${renderPlan(state.plan)}`);
@@ -108,6 +114,12 @@ export function serializeState(state) {
     if (state.discoveries.length > 0) {
         sections.push(`${SECTION_HEADERS.discoveries}\n\n${renderList(state.discoveries, state.evicted.discoveries)}`);
     }
+    // The goal is restated near the end, where recency keeps it in view: the
+    // newest request, and only when it says something the Task entry does not.
+    const goal = state.userRequirements[state.userRequirements.length - 1];
+    if (goal && goal.trim() !== state.task?.trim()) {
+        sections.push(`${SECTION_HEADERS.goal}\n\n${goal}`);
+    }
     // Last, where recency keeps it in view: what is still to do.
     if (openItems.length > 0) {
         sections.push(`${SECTION_HEADERS.openItems}\n\n${renderList(openItems)}`);

package/dist/compaction/serializer.js.map

@@ -1 +1 @@
-{"version":3,"file":"serializer.js","sourceRoot":"","sources":["../../src/compaction/serializer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AAGlE,MAAM,iBAAiB,GAAuC;IAC7D,OAAO,EAAE,QAAQ;IACjB,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,QAAQ;CACjB,CAAA;AAED,SAAS,UAAU,CAAC,IAAgB;IACnC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC1F,CAAC;AAED,SAAS,WAAW,CACnB,KAGC;IAED,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,CAAA;QAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACnC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;YAC1B,CAAC;iBAAM,CAAC;gBACP,MAAM,IAAI,GAAG,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAA;gBAChE,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,EAAE,EAAE,CAAC,CAAA;YAChD,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,UAAU,CAAC,KAAe,EAAE,YAAY,GAAG,CAAC;IACpD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAA;IAC9C,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QACtB,oEAAoE;QACpE,gEAAgE;QAChE,2CAA2C;QAC3C,MAAM,IAAI,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;QACrD,KAAK,CAAC,IAAI,CAAC,OAAO,YAAY,IAAI,IAAI,4CAA4C,CAAC,CAAA;IACpF,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACxB,CAAC;AAED,kGAAkG;AAClG,SAAS,UAAU,CAAC,YAAsB;IACzC,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CACnC,CAAC,KAAK,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAChE,CAAA;AACF,CAAC;AAED,SAAS,iBAAiB,CAAC,OAA4C,EAAE,YAAY,GAAG,CAAC;IACxF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;IACjE,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QACtB,mEAAmE;QACnE,oEAAoE;QACpE,oEAAoE;QACpE,oBAAoB;QACpB,MAAM,IAAI,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;QACtD,KAAK,CAAC,IAAI,CAAC,OAAO,YAAY,iBAAiB,IAAI,4CAA4C,CAAC,CAAA;IACjG,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACxB,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,UAAU,CAAC,KAAmB;IAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACvD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,MAAM,IAAI,CAAC,CAAA;IAC1E,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAA;IACvC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QACjB,KAAK,CAAC,IAAI,CACT,OAAO,OAAO,UAAU,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,0CAA0C,CAChG,CAAA;IACF,CAAC;IACD,OAAO,GAAG,eAAe,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACtC,OAAO,2KAA2K,CAAC,IAAI,CACtL,IAAI,CACJ,CAAA;AACF,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAmB;IACjD,MAAM,QAAQ,GAAa,EAAE,CAAA;IAE7B,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;IAC1D,CAAC;IAED,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,gBAAgB,OAAO,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAC1H,CAAA;IACF,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACtE,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAChC,IAAI,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAEjC,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,WAAW,OAAO,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAC/F,CAAA;IACF,CAAC;IAED,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,KAAK,OAAO,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACzE,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,SAAS,OAAO,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CACzF,CAAA;IACF,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACzD,MAAM,SAAS,GAAG,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;IAC1E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,cAAc,OAAO,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAC7F,CAAA;IACF,CAAC;IAED,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,WAAW,OAAO,iBAAiB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CACtG,CAAA;IACF,CAAC;IAED,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,QAAQ,OAAO,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CACtF,CAAA;IACF,CAAC;IAED,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,WAAW,OAAO,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAC/F,CAAA;IACF,CAAC;IAED,6DAA6D;IAC7D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,SAAS,OAAO,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;IAC1E,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AAC7B,CAAC"}
+{"version":3,"file":"serializer.js","sourceRoot":"","sources":["../../src/compaction/serializer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AAGlE,MAAM,iBAAiB,GAAuC;IAC7D,OAAO,EAAE,QAAQ;IACjB,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,QAAQ;CACjB,CAAA;AAED,SAAS,UAAU,CAAC,IAAgB;IACnC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC1F,CAAC;AAED,yEAAyE;AACzE,SAAS,cAAc,CAAC,MAA2D;IAClF,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACV,OAAO,MAAM,CAAA;QACd,KAAK,QAAQ;YACZ,OAAO,SAAS,CAAA;QACjB,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAA;YAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;YACzD,OAAO,MAAM,IAAI,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAA;QACtE,CAAC;QACD;YACC,OAAO,MAAM,CAAC,IAAI,CAAA;IACpB,CAAC;AACF,CAAC;AAED,mGAAmG;AACnG,SAAS,WAAW,CACnB,KAGC;IAED,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAA;QAC3D,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACrD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,UAAU,CAAC,KAAe,EAAE,YAAY,GAAG,CAAC;IACpD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAA;IAC9C,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QACtB,oEAAoE;QACpE,gEAAgE;QAChE,2CAA2C;QAC3C,MAAM,IAAI,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;QACrD,KAAK,CAAC,IAAI,CAAC,OAAO,YAAY,IAAI,IAAI,4CAA4C,CAAC,CAAA;IACpF,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,iBAAiB,CAAC,OAA4C,EAAE,YAAY,GAAG,CAAC;IACxF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;IACjE,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QACtB,mEAAmE;QACnE,oEAAoE;QACpE,oEAAoE;QACpE,oBAAoB;QACpB,MAAM,IAAI,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;QACtD,KAAK,CAAC,IAAI,CAAC,OAAO,YAAY,iBAAiB,IAAI,4CAA4C,CAAC,CAAA;IACjG,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACxB,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,UAAU,CAAC,KAAmB;IAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACvD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,MAAM,IAAI,CAAC,CAAA;IAC1E,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAA;IACvC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QACjB,KAAK,CAAC,IAAI,CACT,OAAO,OAAO,UAAU,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,0CAA0C,CAChG,CAAA;IACF,CAAC;IACD,OAAO,GAAG,eAAe,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACtC,OAAO,2KAA2K,CAAC,IAAI,CACtL,IAAI,CACJ,CAAA;AACF,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAmB;IACjD,MAAM,QAAQ,GAAa,EAAE,CAAA;IAE7B,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;IAC1D,CAAC;IAED,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,gBAAgB,OAAO,UAAU,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAC9G,CAAA;IACF,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACtE,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAChC,IAAI,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAEjC,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,WAAW,OAAO,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAC/F,CAAA;IACF,CAAC;IAED,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,KAAK,OAAO,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACzE,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,SAAS,OAAO,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CACzF,CAAA;IACF,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACzD,MAAM,SAAS,GAAG,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;IAC1E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,cAAc,OAAO,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAC7F,CAAA;IACF,CAAC;IAED,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,WAAW,OAAO,iBAAiB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CACtG,CAAA;IACF,CAAC;IAED,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,QAAQ,OAAO,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CACtF,CAAA;IACF,CAAC;IAED,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CACZ,GAAG,eAAe,CAAC,WAAW,OAAO,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAC/F,CAAA;IACF,CAAC;IAED,yEAAyE;IACzE,2EAA2E;IAC3E,MAAM,IAAI,GAAG,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACtE,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QAChD,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,OAAO,IAAI,EAAE,CAAC,CAAA;IACpD,CAAC;IAED,6DAA6D;IAC7D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,SAAS,OAAO,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;IAC1E,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AAC7B,CAAC"}

package/dist/compaction/verifier.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../../src/compaction/verifier.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AAQ5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAsC,MAAM,2BAA2B,CAAA;AAE5F,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AACjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAuIvD;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,KAAK,EAAE,UAAU,KAAK,IAAI,CAAA;AAEnD,8EAA8E;AAC9E,MAAM,WAAW,6BAA6B;IAC7C,kFAAkF;IAClF,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAA;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAA;IACrC;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,+EAA+E;AAC/E,eAAO,MAAM,iCAAiC,OAAQ,CAAA;AAgBtD,wBAAsB,oBAAoB,CACzC,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,OAAO,EAAE,EACxB,QAAQ,EAAE,WAAW,EACrB,MAAM,EAAE,gBAAgB,EACxB,OAAO,CAAC,EAAE,SAAS;AACnB;;;;;;GAMG;AACH,KAAK,CAAC,EAAE,MAAM,EACd,OAAO,GAAE,6BAAkC,GACzC,OAAO,CAAC,MAAM,CAAC,CAejB;AAED;;;;;GAKG;AACH,wBAAsB,uCAAuC,CAC5D,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,OAAO,EAAE,EACxB,QAAQ,EAAE,WAAW,EACrB,MAAM,EAAE,gBAAgB,EACxB,OAAO,CAAC,EAAE,SAAS,EACnB,KAAK,CAAC,EAAE,MAAM,EACd,MAAM,CAAC,EAAE,WAAW,EACpB,YAAY,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,CAAC,CAYjB"}
+{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../../src/compaction/verifier.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AAS5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAsC,MAAM,2BAA2B,CAAA;AAE5F,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AACjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAuIvD;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,KAAK,EAAE,UAAU,KAAK,IAAI,CAAA;AAEnD,8EAA8E;AAC9E,MAAM,WAAW,6BAA6B;IAC7C,kFAAkF;IAClF,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAA;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAA;IACrC;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,+EAA+E;AAC/E,eAAO,MAAM,iCAAiC,OAAQ,CAAA;AAgBtD,wBAAsB,oBAAoB,CACzC,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,OAAO,EAAE,EACxB,QAAQ,EAAE,WAAW,EACrB,MAAM,EAAE,gBAAgB,EACxB,OAAO,CAAC,EAAE,SAAS;AACnB;;;;;;GAMG;AACH,KAAK,CAAC,EAAE,MAAM,EACd,OAAO,GAAE,6BAAkC,GACzC,OAAO,CAAC,MAAM,CAAC,CAejB;AAED;;;;;GAKG;AACH,wBAAsB,uCAAuC,CAC5D,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,OAAO,EAAE,EACxB,QAAQ,EAAE,WAAW,EACrB,MAAM,EAAE,gBAAgB,EACxB,OAAO,CAAC,EAAE,SAAS,EACnB,KAAK,CAAC,EAAE,MAAM,EACd,MAAM,CAAC,EAAE,WAAW,EACpB,YAAY,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,CAAC,CAYjB"}

package/dist/compaction/verifier.js

@@ -1,3 +1,4 @@
+import { SECTION_HEADERS } from '../constants/compaction/index.js';
 import { collectChatCompletion } from '../provider/collect-chat-completion.js';
 import { resolveStreamIdleTimeoutMs, withStreamIdleTimeout } from '../provider/idle-timeout.js';
 import { generateRenderNonce, nonceClosureStatement, pickRenderNonce, } from '../tools/render-nonce.js';
@@ -233,7 +234,7 @@ async function buildVerifiedSummaryWithProvider(manager, olderMessages, provider
     // says the same thing by accident — a turn truncated at
     // `llmVerificationMaxTokens`, a refusal, or a provider that returned no
     // content at all — and used to fall through to the append below, stamping a
-    // bare `## LLM Verification Additions` heading with nothing under it. That
+    // bare `## Missing Details` heading with nothing under it. That
     // empty promise then rides in the compaction summary, and therefore in every
     // subsequent system prompt, for the rest of the turn. A heading with no body
     // is not a verification result; treat a silent verifier the same as one that
@@ -241,6 +242,6 @@ async function buildVerifiedSummaryWithProvider(manager, olderMessages, provider
     if (responseText === 'COMPLETE' || responseText.length === 0) {
         return serialized;
     }
-    return `${serialized}\n\n## LLM Verification Additions\n\n${responseText}`;
+    return `${serialized}\n\n${SECTION_HEADERS.verifierAdditions}\n\n${responseText}`;
 }
 //# sourceMappingURL=verifier.js.map

package/dist/compaction/verifier.js.map

@@ -1 +1 @@
-{"version":3,"file":"verifier.js","sourceRoot":"","sources":["../../src/compaction/verifier.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAA;AAC9E,OAAO,EAAE,0BAA0B,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAA;AAC/F,OAAO,EACN,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,GACf,MAAM,0BAA0B,CAAA;AAGjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAA;AAGnE,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAEhD,MAAM,mBAAmB,GAAG;;;;;;;;;;;;;4PAagO,CAAA;AAE5P,QAAQ,CAAC,CAAC,iBAAiB,CAC1B,UAA0E;IAE1E,MAAM,IAAI,GACT,UAAU,CAAC,IAAI,KAAK,QAAQ;QAC3B,CAAC,CAAC,UAAU,CAAC,IAAI;QACjB,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU;YAC/B,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,OAAO,CAAA;IACZ,MAAM,IAAI,IAAI,EAAE,CAAA;IAChB,IAAI,MAAM,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;QAC7C,MAAM,IAAI,CAAA;QACV,MAAM,UAAU,CAAC,IAAI,CAAA;QACrB,MAAM,GAAG,CAAA;IACV,CAAC;IACD,MAAM,IAAI,CAAA;IACV,MAAM,UAAU,CAAC,SAAS,CAAA;IAC1B,MAAM,uCAAuC,CAAA;AAC9C,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAgB;IAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAA;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAA;IAC7B,OAAO,CACN,MAAM,EAAE,IAAI,KAAK,sBAAsB;QACvC,CAAC,MAAM,EAAE,IAAI,KAAK,iBAAiB;YAClC,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAChE,CAAA;AACF,CAAC;AAED,sFAAsF;AACtF,QAAQ,CAAC,CAAC,mBAAmB,CAAC,QAA4B;IACzD,IAAI,KAAK,GAAG,IAAI,CAAA;IAChB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAChC,wEAAwE;QACxE,sEAAsE;QACtE,yBAAyB;QACzB,IAAI,iBAAiB,CAAC,OAAO,CAAC;YAAE,SAAQ;QACxC,MAAM,UAAU,GACf,OAAO,CAAC,IAAI,KAAK,MAAM;YACvB,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC;YAC3D,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;QACzD,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,UAAU;YAAE,SAAQ;QAC7C,IAAI,CAAC,KAAK;YAAE,MAAM,MAAM,CAAA;QACxB,KAAK,GAAG,KAAK,CAAA;QACb,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,CAAA;QAC3B,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,eAAe,CAAA;YACrB,MAAM,OAAO,CAAC,UAAU,CAAA;YACxB,MAAM,aAAa,OAAO,CAAC,OAAO,KAAK,IAAI,KAAK,CAAA;QACjD,CAAC;QACD,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ;YAAE,MAAM,OAAO,CAAC,OAAO,CAAA;aACzD,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YAC1B,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;gBACxD,IAAI,KAAK,GAAG,CAAC;oBAAE,MAAM,IAAI,CAAA;gBACzB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;oBAAE,MAAM,KAAK,CAAC,IAAI,CAAA;;oBACtC,KAAK,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAA;YACrC,CAAC;QACF,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAClC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;gBAC5C,MAAM,eAAe,CAAA;gBACrB,MAAM,IAAI,CAAC,EAAE,CAAA;gBACb,MAAM,IAAI,CAAA;gBACV,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAA;gBACxB,MAAM,GAAG,CAAA;gBACT,MAAM,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAA;gBAC7B,MAAM,GAAG,CAAA;YACV,CAAC;QACF,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;gBACpD,MAAM,IAAI,CAAA;gBACV,KAAK,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAA;YACrC,CAAC;QACF,CAAC;IACF,CAAC;AACF,CAAC;AAED,8FAA8F;AAC9F,MAAM,6BAA6B,GAAG,CAAC,CAAA;AAEvC,sEAAsE;AACtE,MAAM,6BAA6B,GAAG,uDAAuD,CAAA;AAE7F,sFAAsF;AACtF,SAAS,mBAAmB,CAAC,OAAe;IAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,6BAA6B,CAAC;QAC7D,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE;QACjE,CAAC,CAAC,OAAO,CAAA;IACV,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;IAChC,IAAI,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM;QAAE,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC5D,OAAO,GAAG,6BAA6B,OAAO,IAAI,EAAE,CAAA;AACrD,CAAC;AAED,SAAS,gBAAgB,CAAC,QAA4B,EAAE,MAAc;IACrE,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,EAAE,CAAA;IAC1B,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,SAAS,GAAG,MAAM,CAAA;IACtB,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClD,IAAI,IAAI,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAA;YACpC,kEAAkE;YAClE,mEAAmE;YACnE,mEAAmE;YACnE,IAAI,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,CAAA;YAChD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YACjD,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM;gBAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;YAClE,OAAO,GAAG,MAAM,GAAG,CAAA;QACpB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChB,SAAS,IAAI,IAAI,CAAC,MAAM,CAAA;IACzB,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AACtB,CAAC;AAiCD,+EAA+E;AAC/E,MAAM,CAAC,MAAM,iCAAiC,GAAG,KAAK,CAAA;AAEtD,SAAS,gBAAgB,CAAC,MAAc,EAAE,YAAgC;IACzE,MAAM,IAAI,GAAG,YAAY,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,iCAAiC,CAAC,CAAA;IAC7E,IAAI,CAAC,IAAI;QAAE,OAAO,MAAM,CAAA;IACxB,MAAM,KAAK,GAAG,eAAe,CAAC,mBAAmB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;IAC1D,MAAM,GAAG,GAAG,0BAA0B,KAAK,EAAE,CAAA;IAC7C,OAAO,GAAG,MAAM;;;GAGd,GAAG;EACJ,qBAAqB,CAAC,KAAK,GAAG,GAAG,CAAC;EAClC,IAAI;IACF,GAAG,GAAG,CAAA;AACV,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACzC,OAA4B,EAC5B,aAAwB,EACxB,QAAqB,EACrB,MAAwB,EACxB,OAAmB;AACnB;;;;;;GAMG;AACH,KAAc,EACd,UAAyC,EAAE;IAE3C,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,CAAA;IAChC,MAAM,qBAAqB,GAAG,qBAAqB,CAAC,QAAQ,EAAE;QAC7D,aAAa,EAAE,0BAA0B,CAAC,OAAO,CAAC,mBAAmB,CAAC;KACtE,CAAC,CAAA;IACF,OAAO,MAAM,gCAAgC,CAC5C,OAAO,EACP,aAAa,EACb,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,KAAK,EACL,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,YAAY,CACpB,CAAA;AACF,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,uCAAuC,CAC5D,OAA4B,EAC5B,aAAwB,EACxB,QAAqB,EACrB,MAAwB,EACxB,OAAmB,EACnB,KAAc,EACd,MAAoB,EACpB,YAAqB;IAErB,MAAM,EAAE,cAAc,EAAE,CAAA;IACxB,OAAO,MAAM,gCAAgC,CAC5C,OAAO,EACP,aAAa,EACb,QAAQ,EACR,MAAM,EACN,OAAO,EACP,KAAK,EACL,MAAM,EACN,YAAY,CACZ,CAAA;AACF,CAAC;AAED,KAAK,UAAU,gCAAgC,CAC9C,OAA4B,EAC5B,aAAwB,EACxB,QAAqB,EACrB,MAAwB,EACxB,OAAmB,EACnB,KAAc,EACd,MAAoB,EACpB,YAAqB;IAErB,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAA;IACrD,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAA;IAE7C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,SAAS,EAAE,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAClE,OAAO,UAAU,CAAA;IAClB,CAAC;IAED,IAAI,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;QACzC,OAAO,UAAU,CAAA;IAClB,CAAC;IAED,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,aAAa,EAAE,MAAM,CAAC,eAAe,CAAC,CAAA;IAEnF,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC;QACjC,OAAO,UAAU,CAAA;IAClB,CAAC;IAED,2EAA2E;IAC3E,wDAAwD;IACxD,6EAA6E;IAC7E,qEAAqE;IACrE,8EAA8E;IAC9E,gBAAgB;IAChB,IAAI,OAAO,GAAG,mBAAmB,CAAA;IACjC,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,IAAI,QAA2D,CAAA;IAC/D,SAAS,CAAC;QACT,MAAM,oBAAoB,GAAc;YACvC;gBACC,IAAI,EAAE,QAAiB;gBACvB,OAAO,EAAE,gBAAgB,CAAC,mBAAmB,EAAE,YAAY,CAAC;aAC5D;YACD;gBACC,IAAI,EAAE,MAAe;gBACrB,OAAO,EAAE,0BAA0B,UAAU,kCAAkC,OAAO,EAAE;aACxF;SACD,CAAA;QACD,IAAI,CAAC;YACJ,QAAQ,GAAG,MAAM,qBAAqB,CACrC,QAAQ,CAAC,UAAU,CAAC;gBACnB,KAAK,EAAE,KAAK,IAAI,EAAE;gBAClB,QAAQ,EAAE,oBAAoB;gBAC9B,SAAS,EAAE,MAAM,CAAC,wBAAwB;gBAC1C,WAAW,EAAE,CAAC;gBACd,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC7B,CAAC,CACF,CAAA;YACD,MAAK;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,MAAM,EAAE,OAAO;gBAAE,MAAM,KAAK,CAAA;YAChC,IAAI,qBAAqB,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,yBAAyB;gBAAE,MAAM,KAAK,CAAA;YAChF,IAAI,WAAW,IAAI,6BAA6B;gBAAE,OAAO,UAAU,CAAA;YACnE,WAAW,EAAE,CAAA;YACb,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAA;QACvC,CAAC;IACF,CAAC;IAED,OAAO,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IAEzB,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IAE3D,4EAA4E;IAC5E,wDAAwD;IACxD,wEAAwE;IACxE,4EAA4E;IAC5E,2EAA2E;IAC3E,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,sBAAsB;IACtB,IAAI,YAAY,KAAK,UAAU,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,OAAO,UAAU,CAAA;IAClB,CAAC;IAED,OAAO,GAAG,UAAU,wCAAwC,YAAY,EAAE,CAAA;AAC3E,CAAC"}
+{"version":3,"file":"verifier.js","sourceRoot":"","sources":["../../src/compaction/verifier.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAA;AAC9E,OAAO,EAAE,0BAA0B,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAA;AAC/F,OAAO,EACN,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,GACf,MAAM,0BAA0B,CAAA;AAGjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAA;AAGnE,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAEhD,MAAM,mBAAmB,GAAG;;;;;;;;;;;;;4PAagO,CAAA;AAE5P,QAAQ,CAAC,CAAC,iBAAiB,CAC1B,UAA0E;IAE1E,MAAM,IAAI,GACT,UAAU,CAAC,IAAI,KAAK,QAAQ;QAC3B,CAAC,CAAC,UAAU,CAAC,IAAI;QACjB,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU;YAC/B,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,OAAO,CAAA;IACZ,MAAM,IAAI,IAAI,EAAE,CAAA;IAChB,IAAI,MAAM,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;QAC7C,MAAM,IAAI,CAAA;QACV,MAAM,UAAU,CAAC,IAAI,CAAA;QACrB,MAAM,GAAG,CAAA;IACV,CAAC;IACD,MAAM,IAAI,CAAA;IACV,MAAM,UAAU,CAAC,SAAS,CAAA;IAC1B,MAAM,uCAAuC,CAAA;AAC9C,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAgB;IAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAA;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAA;IAC7B,OAAO,CACN,MAAM,EAAE,IAAI,KAAK,sBAAsB;QACvC,CAAC,MAAM,EAAE,IAAI,KAAK,iBAAiB;YAClC,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAChE,CAAA;AACF,CAAC;AAED,sFAAsF;AACtF,QAAQ,CAAC,CAAC,mBAAmB,CAAC,QAA4B;IACzD,IAAI,KAAK,GAAG,IAAI,CAAA;IAChB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAChC,wEAAwE;QACxE,sEAAsE;QACtE,yBAAyB;QACzB,IAAI,iBAAiB,CAAC,OAAO,CAAC;YAAE,SAAQ;QACxC,MAAM,UAAU,GACf,OAAO,CAAC,IAAI,KAAK,MAAM;YACvB,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC;YAC3D,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;QACzD,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,UAAU;YAAE,SAAQ;QAC7C,IAAI,CAAC,KAAK;YAAE,MAAM,MAAM,CAAA;QACxB,KAAK,GAAG,KAAK,CAAA;QACb,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,CAAA;QAC3B,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,eAAe,CAAA;YACrB,MAAM,OAAO,CAAC,UAAU,CAAA;YACxB,MAAM,aAAa,OAAO,CAAC,OAAO,KAAK,IAAI,KAAK,CAAA;QACjD,CAAC;QACD,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ;YAAE,MAAM,OAAO,CAAC,OAAO,CAAA;aACzD,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YAC1B,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;gBACxD,IAAI,KAAK,GAAG,CAAC;oBAAE,MAAM,IAAI,CAAA;gBACzB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;oBAAE,MAAM,KAAK,CAAC,IAAI,CAAA;;oBACtC,KAAK,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAA;YACrC,CAAC;QACF,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAClC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;gBAC5C,MAAM,eAAe,CAAA;gBACrB,MAAM,IAAI,CAAC,EAAE,CAAA;gBACb,MAAM,IAAI,CAAA;gBACV,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAA;gBACxB,MAAM,GAAG,CAAA;gBACT,MAAM,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAA;gBAC7B,MAAM,GAAG,CAAA;YACV,CAAC;QACF,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;gBACpD,MAAM,IAAI,CAAA;gBACV,KAAK,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAA;YACrC,CAAC;QACF,CAAC;IACF,CAAC;AACF,CAAC;AAED,8FAA8F;AAC9F,MAAM,6BAA6B,GAAG,CAAC,CAAA;AAEvC,sEAAsE;AACtE,MAAM,6BAA6B,GAAG,uDAAuD,CAAA;AAE7F,sFAAsF;AACtF,SAAS,mBAAmB,CAAC,OAAe;IAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,6BAA6B,CAAC;QAC7D,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE;QACjE,CAAC,CAAC,OAAO,CAAA;IACV,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;IAChC,IAAI,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM;QAAE,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC5D,OAAO,GAAG,6BAA6B,OAAO,IAAI,EAAE,CAAA;AACrD,CAAC;AAED,SAAS,gBAAgB,CAAC,QAA4B,EAAE,MAAc;IACrE,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,EAAE,CAAA;IAC1B,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,SAAS,GAAG,MAAM,CAAA;IACtB,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClD,IAAI,IAAI,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAA;YACpC,kEAAkE;YAClE,mEAAmE;YACnE,mEAAmE;YACnE,IAAI,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,CAAA;YAChD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YACjD,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM;gBAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;YAClE,OAAO,GAAG,MAAM,GAAG,CAAA;QACpB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChB,SAAS,IAAI,IAAI,CAAC,MAAM,CAAA;IACzB,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AACtB,CAAC;AAiCD,+EAA+E;AAC/E,MAAM,CAAC,MAAM,iCAAiC,GAAG,KAAK,CAAA;AAEtD,SAAS,gBAAgB,CAAC,MAAc,EAAE,YAAgC;IACzE,MAAM,IAAI,GAAG,YAAY,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,iCAAiC,CAAC,CAAA;IAC7E,IAAI,CAAC,IAAI;QAAE,OAAO,MAAM,CAAA;IACxB,MAAM,KAAK,GAAG,eAAe,CAAC,mBAAmB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;IAC1D,MAAM,GAAG,GAAG,0BAA0B,KAAK,EAAE,CAAA;IAC7C,OAAO,GAAG,MAAM;;;GAGd,GAAG;EACJ,qBAAqB,CAAC,KAAK,GAAG,GAAG,CAAC;EAClC,IAAI;IACF,GAAG,GAAG,CAAA;AACV,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACzC,OAA4B,EAC5B,aAAwB,EACxB,QAAqB,EACrB,MAAwB,EACxB,OAAmB;AACnB;;;;;;GAMG;AACH,KAAc,EACd,UAAyC,EAAE;IAE3C,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,CAAA;IAChC,MAAM,qBAAqB,GAAG,qBAAqB,CAAC,QAAQ,EAAE;QAC7D,aAAa,EAAE,0BAA0B,CAAC,OAAO,CAAC,mBAAmB,CAAC;KACtE,CAAC,CAAA;IACF,OAAO,MAAM,gCAAgC,CAC5C,OAAO,EACP,aAAa,EACb,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,KAAK,EACL,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,YAAY,CACpB,CAAA;AACF,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,uCAAuC,CAC5D,OAA4B,EAC5B,aAAwB,EACxB,QAAqB,EACrB,MAAwB,EACxB,OAAmB,EACnB,KAAc,EACd,MAAoB,EACpB,YAAqB;IAErB,MAAM,EAAE,cAAc,EAAE,CAAA;IACxB,OAAO,MAAM,gCAAgC,CAC5C,OAAO,EACP,aAAa,EACb,QAAQ,EACR,MAAM,EACN,OAAO,EACP,KAAK,EACL,MAAM,EACN,YAAY,CACZ,CAAA;AACF,CAAC;AAED,KAAK,UAAU,gCAAgC,CAC9C,OAA4B,EAC5B,aAAwB,EACxB,QAAqB,EACrB,MAAwB,EACxB,OAAmB,EACnB,KAAc,EACd,MAAoB,EACpB,YAAqB;IAErB,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAA;IACrD,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAA;IAE7C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,SAAS,EAAE,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAClE,OAAO,UAAU,CAAA;IAClB,CAAC;IAED,IAAI,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;QACzC,OAAO,UAAU,CAAA;IAClB,CAAC;IAED,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,aAAa,EAAE,MAAM,CAAC,eAAe,CAAC,CAAA;IAEnF,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC;QACjC,OAAO,UAAU,CAAA;IAClB,CAAC;IAED,2EAA2E;IAC3E,wDAAwD;IACxD,6EAA6E;IAC7E,qEAAqE;IACrE,8EAA8E;IAC9E,gBAAgB;IAChB,IAAI,OAAO,GAAG,mBAAmB,CAAA;IACjC,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,IAAI,QAA2D,CAAA;IAC/D,SAAS,CAAC;QACT,MAAM,oBAAoB,GAAc;YACvC;gBACC,IAAI,EAAE,QAAiB;gBACvB,OAAO,EAAE,gBAAgB,CAAC,mBAAmB,EAAE,YAAY,CAAC;aAC5D;YACD;gBACC,IAAI,EAAE,MAAe;gBACrB,OAAO,EAAE,0BAA0B,UAAU,kCAAkC,OAAO,EAAE;aACxF;SACD,CAAA;QACD,IAAI,CAAC;YACJ,QAAQ,GAAG,MAAM,qBAAqB,CACrC,QAAQ,CAAC,UAAU,CAAC;gBACnB,KAAK,EAAE,KAAK,IAAI,EAAE;gBAClB,QAAQ,EAAE,oBAAoB;gBAC9B,SAAS,EAAE,MAAM,CAAC,wBAAwB;gBAC1C,WAAW,EAAE,CAAC;gBACd,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC7B,CAAC,CACF,CAAA;YACD,MAAK;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,MAAM,EAAE,OAAO;gBAAE,MAAM,KAAK,CAAA;YAChC,IAAI,qBAAqB,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,yBAAyB;gBAAE,MAAM,KAAK,CAAA;YAChF,IAAI,WAAW,IAAI,6BAA6B;gBAAE,OAAO,UAAU,CAAA;YACnE,WAAW,EAAE,CAAA;YACb,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAA;QACvC,CAAC;IACF,CAAC;IAED,OAAO,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IAEzB,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IAE3D,4EAA4E;IAC5E,wDAAwD;IACxD,wEAAwE;IACxE,4EAA4E;IAC5E,gEAAgE;IAChE,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,sBAAsB;IACtB,IAAI,YAAY,KAAK,UAAU,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,OAAO,UAAU,CAAA;IAClB,CAAC;IAED,OAAO,GAAG,UAAU,OAAO,eAAe,CAAC,iBAAiB,OAAO,YAAY,EAAE,CAAA;AAClF,CAAC"}

package/dist/constants/compaction/index.d.ts

@@ -8,12 +8,14 @@ export declare const SECTION_HEADERS: {
     readonly userRequirements: "## User Requirements";
     readonly plan: "## Plan";
     readonly environment: "## Environment";
-    readonly files: "## Files Touched";
+    readonly files: "## Files";
     readonly decisions: "## Key Decisions";
     readonly assistantNotes: "## Assistant Notes";
     readonly toolResults: "## Tool Results";
     readonly failures: "## Errors & Failures";
     readonly discoveries: "## Discoveries";
+    readonly goal: "## Current Goal";
     readonly openItems: "## Open Items and Next Step";
+    readonly verifierAdditions: "## Missing Details";
 };
 //# sourceMappingURL=index.d.ts.map

package/dist/constants/compaction/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/constants/compaction/index.ts"],"names":[],"mappings":"AAKA,eAAO,MAAM,UAAU,aAAoB,CAAA;AAE3C,eAAO,MAAM,UAAU,aAA6B,CAAA;AAEpD,eAAO,MAAM,WAAW,aAAoB,CAAA;AAE5C,eAAO,MAAM,YAAY,aAA4B,CAAA;AAErD,eAAO,MAAM,eAAe;;;;;;;;;;;;;CAalB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/constants/compaction/index.ts"],"names":[],"mappings":"AAKA,eAAO,MAAM,UAAU,aAAoB,CAAA;AAE3C,eAAO,MAAM,UAAU,aAA6B,CAAA;AAEpD,eAAO,MAAM,WAAW,aAAoB,CAAA;AAE5C,eAAO,MAAM,YAAY,aAA4B,CAAA;AAErD,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;CAelB,CAAA"}

package/dist/constants/compaction/index.js

@@ -13,12 +13,14 @@ export const SECTION_HEADERS = {
     userRequirements: '## User Requirements',
     plan: '## Plan',
     environment: '## Environment',
-    files: '## Files Touched',
+    files: '## Files',
     decisions: '## Key Decisions',
     assistantNotes: '## Assistant Notes',
     toolResults: '## Tool Results',
     failures: '## Errors & Failures',
     discoveries: '## Discoveries',
+    goal: '## Current Goal',
     openItems: '## Open Items and Next Step',
+    verifierAdditions: '## Missing Details',
 };
 //# sourceMappingURL=index.js.map

package/dist/constants/compaction/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/constants/compaction/index.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,kEAAkE;AAClE,+DAA+D;AAC/D,8DAA8D;AAC9D,oCAAoC;AACpC,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAE3C,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;AAEpD,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAE5C,MAAM,CAAC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;AAErD,MAAM,CAAC,MAAM,eAAe,GAAG;IAC9B,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,SAAS;IACf,gBAAgB,EAAE,sBAAsB;IACxC,IAAI,EAAE,SAAS;IACf,WAAW,EAAE,gBAAgB;IAC7B,KAAK,EAAE,kBAAkB;IACzB,SAAS,EAAE,kBAAkB;IAC7B,cAAc,EAAE,oBAAoB;IACpC,WAAW,EAAE,iBAAiB;IAC9B,QAAQ,EAAE,sBAAsB;IAChC,WAAW,EAAE,gBAAgB;IAC7B,SAAS,EAAE,6BAA6B;CAC/B,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/constants/compaction/index.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,kEAAkE;AAClE,+DAA+D;AAC/D,8DAA8D;AAC9D,oCAAoC;AACpC,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAE3C,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;AAEpD,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAE5C,MAAM,CAAC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;AAErD,MAAM,CAAC,MAAM,eAAe,GAAG;IAC9B,IAAI,EAAE,oBAAoB;IAC1B,IAAI,EAAE,SAAS;IACf,gBAAgB,EAAE,sBAAsB;IACxC,IAAI,EAAE,SAAS;IACf,WAAW,EAAE,gBAAgB;IAC7B,KAAK,EAAE,UAAU;IACjB,SAAS,EAAE,kBAAkB;IAC7B,cAAc,EAAE,oBAAoB;IACpC,WAAW,EAAE,iBAAiB;IAC9B,QAAQ,EAAE,sBAAsB;IAChC,WAAW,EAAE,gBAAgB;IAC7B,IAAI,EAAE,iBAAiB;IACvB,SAAS,EAAE,6BAA6B;IACxC,iBAAiB,EAAE,oBAAoB;CAC9B,CAAA"}

package/dist/{manager/resident/learning-cycle.d.ts → learning/cycle.d.ts}

@@ -1,10 +1,11 @@
 import { z } from 'zod';
-import { type HarnessProtectionPlan } from '../../eval/harness-protection.js';
-import { type HarnessReview, type HarnessVerificationBatch } from '../../eval/harness-verification.js';
-import type { DiskResidentAgenda } from './agenda.js';
-import { type ResidentLearningEvidence, type ResidentSkillCandidate } from './learning.js';
+import { type HarnessProtectionPlan } from '../eval/harness-protection.js';
+import { type HarnessReview, type HarnessVerificationBatch } from '../eval/harness-verification.js';
+import type { DiskResidentAgenda } from '../manager/resident/agenda.js';
+import { type LearningLeakFinding, type LearningLeakGuard } from './leak-tripwire.js';
+import { type LearningEvidence, type LearningSkillCandidate } from './skill.js';
 /** @experimental One explicitly requested experiment; callbacks own inference and evaluation. */
-export type ResidentLearningStage = 'explore' | 'generate' | 'verification' | 'confirmation';
+export type LearningStage = 'explore' | 'generate' | 'verification' | 'confirmation';
 declare const receiptSchema: z.ZodObject<{
     /** The session and turn of the execution this usage belongs to; one receipt per turn. */
     sessionId: z.ZodString;
@@ -23,9 +24,9 @@ declare const receiptSchema: z.ZodObject<{
     costUsd: number | null;
 }>;
 /** @experimental One non-overlapping execution's usage, including its retries. Null is unknown. */
-export type ResidentLearningReceipt = Readonly<z.infer<typeof receiptSchema>>;
+export type LearningReceipt = Readonly<z.infer<typeof receiptSchema>>;
 /** @experimental Recorded values are lower bounds when a receipt or stage is incomplete. */
-export interface ResidentLearningConsumption {
+export interface LearningConsumption {
     readonly tokens: number;
     readonly costUsd: number;
     readonly receipts: number;
@@ -34,51 +35,51 @@ export interface ResidentLearningConsumption {
     readonly unfinishedStages: number;
 }
 /** @experimental Append in sequence to host-owned durable storage before acknowledging. */
-export interface ResidentLearningCycleEvent {
+export interface LearningCycleEvent {
     readonly cycleId: string;
     readonly sequence: number;
     readonly kind: 'started' | 'stage-started' | 'stage-finished' | 'usage' | 'exploration' | 'candidate' | 'evaluation' | 'activation-requested' | 'finished';
-    readonly stage?: ResidentLearningStage;
+    readonly stage?: LearningStage;
     readonly data: Readonly<Record<string, unknown>>;
 }
 /** @experimental Use this stage's signal for every owned execution; await every usage append. */
-export interface ResidentLearningCycleContext {
+export interface LearningCycleContext {
     readonly cycleId: string;
-    readonly stage: ResidentLearningStage;
+    readonly stage: LearningStage;
     readonly signal: AbortSignal;
     /** Planning allowance, not a reservation or a cap on a callback's in-flight work. */
     readonly remainingUnits: number;
-    recordUsage(receipt: ResidentLearningReceipt): Promise<void>;
+    recordUsage(receipt: LearningReceipt): Promise<void>;
 }
 /** @experimental Original failure and active baseline; never contains confirmation tasks. */
-export interface ResidentLearningExplorationContext extends ResidentLearningCycleContext {
+export interface LearningExplorationContext extends LearningCycleContext {
     readonly skillName: string;
     /** Admitted by the host before generation; cannot be changed by a candidate. */
     readonly purpose?: 'task' | 'exploration';
     readonly failure: Readonly<{
-        evidence: ResidentLearningEvidence;
+        evidence: LearningEvidence;
         trace: string;
     }>;
-    readonly baseline: ResidentSkillCandidate | null;
+    readonly baseline: LearningSkillCandidate | null;
 }
 /** @experimental Host-retained environment observations, not a model's claim of success. */
-export interface ResidentLearningExploration {
-    readonly evidence: ResidentLearningEvidence;
+export interface LearningExploration {
+    readonly evidence: LearningEvidence;
     readonly trace: string;
 }
 /** @experimental Generation sees completed exploration, never held-out evaluation cases. */
-export interface ResidentLearningGenerationContext extends ResidentLearningExplorationContext {
-    readonly exploration?: Readonly<ResidentLearningExploration>;
+export interface LearningGenerationContext extends LearningExplorationContext {
+    readonly exploration?: Readonly<LearningExploration>;
 }
 /** @experimental The host supplies independently scored, retained traces for these exact revisions. */
-export interface ResidentLearningEvaluationContext extends ResidentLearningCycleContext {
-    readonly baseline: ResidentSkillCandidate | null;
-    readonly candidate: ResidentSkillCandidate;
+export interface LearningEvaluationContext extends LearningCycleContext {
+    readonly baseline: LearningSkillCandidate | null;
+    readonly candidate: LearningSkillCandidate;
     readonly baselineRevision: string;
     readonly candidateRevision: string;
 }
-/** @experimental No provider, default background loop or executable-code activation is installed. */
-export interface ResidentLearningCycleOptions {
+/** @experimental The SDK installs no provider, background loop or executable-code activation; the host supplies them. */
+export interface LearningCycleOptions {
     /** Omitted means task guidance. Explicitly select exploration to improve an explorer policy. */
     readonly purpose?: 'task' | 'exploration';
     /** Fixed before generation; both rounds must preserve every named task. */
@@ -86,43 +87,51 @@ export interface ResidentLearningCycleOptions {
     readonly agenda: Pick<DiskResidentAgenda, 'read' | 'promoteSkill'>;
     readonly skillName: string;
     readonly failure: {
-        readonly evidence: ResidentLearningEvidence;
+        readonly evidence: LearningEvidence;
         readonly trace: string;
     };
     readonly parentCycleId?: string;
+    /**
+     * Evaluator-side material to keep out of the evidence and the guidance built
+     * from it. The built-in markers and secret shapes always apply. A hit refuses
+     * the cycle as a leak (see `LearningCycleResult.leak`), before anything is built.
+     */
+    readonly leakGuard?: LearningLeakGuard;
     readonly signal: AbortSignal;
     /** Stops subsequent stages/activation after observed excess; callbacks enforce in-flight limits. */
     readonly resources: {
         readonly unit: 'tokens' | 'usd';
         readonly maxUnits: number;
     };
-    readonly record: (event: ResidentLearningCycleEvent) => Promise<void>;
+    readonly record: (event: LearningCycleEvent) => Promise<void>;
     /** Optional active tool exploration before synthesis; the host retains actual observations. */
-    readonly explore?: (context: ResidentLearningExplorationContext) => Promise<{
-        readonly observations: ResidentLearningExploration;
+    readonly explore?: (context: LearningExplorationContext) => Promise<{
+        readonly observations: LearningExploration;
         readonly usageComplete: boolean;
     }>;
-    readonly generate: (context: ResidentLearningGenerationContext) => Promise<{
-        readonly candidate: ResidentSkillCandidate;
+    readonly generate: (context: LearningGenerationContext) => Promise<{
+        readonly candidate: LearningSkillCandidate;
         /** All executions, including failures and side calls, have supplied receipts. */
         readonly usageComplete: boolean;
     }>;
-    readonly evaluate: (context: ResidentLearningEvaluationContext) => Promise<{
+    readonly evaluate: (context: LearningEvaluationContext) => Promise<{
         readonly batch: HarnessVerificationBatch;
         readonly usageComplete: boolean;
     }>;
 }
 /** @experimental An ambiguous activation must be inspected, never automatically replayed. */
-export interface ResidentLearningCycleResult {
+export interface LearningCycleResult {
     readonly cycleId: string;
     readonly status: 'activated' | 'rejected' | 'inconclusive' | 'conflict' | 'cancelled' | 'failed' | 'activation-unknown';
     readonly reason: string;
-    readonly candidate?: ResidentSkillCandidate;
+    readonly candidate?: LearningSkillCandidate;
     readonly candidateRevision?: string;
     readonly baselineRevision?: string;
     readonly agendaRevision?: number;
     readonly review?: HarnessReview;
-    readonly consumption: ResidentLearningConsumption;
+    /** Present when the cycle was refused as a leak: where it was seen, never the text. */
+    readonly leak?: readonly LearningLeakFinding[];
+    readonly consumption: LearningConsumption;
     readonly auditComplete: boolean;
 }
 /**
@@ -130,6 +139,6 @@ export interface ResidentLearningCycleResult {
  * activate through the existing exact-revision transaction. No internal inference
  * loop, retry or model-generated success claim replaces the host's evaluator.
  */
-export declare function runResidentLearningCycle(options: ResidentLearningCycleOptions): Promise<ResidentLearningCycleResult>;
+export declare function runLearningCycle(options: LearningCycleOptions): Promise<LearningCycleResult>;
 export {};
-//# sourceMappingURL=learning-cycle.d.ts.map
+//# sourceMappingURL=cycle.d.ts.map

package/dist/learning/cycle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle.d.ts","sourceRoot":"","sources":["../../src/learning/cycle.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EACN,KAAK,qBAAqB,EAE1B,MAAM,+BAA+B,CAAA;AACtC,OAAO,EACN,KAAK,aAAa,EAClB,KAAK,wBAAwB,EAE7B,MAAM,iCAAiC,CAAA;AACxC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AAEvE,OAAO,EAEN,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EAGtB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACN,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAK3B,MAAM,YAAY,CAAA;AAEnB,iGAAiG;AACjG,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,UAAU,GAAG,cAAc,GAAG,cAAc,CAAA;AAEpF,QAAA,MAAM,aAAa;IAClB,yFAAyF;;;;;;;;;;;;;;;EAKxF,CAAA;AAEF,mGAAmG;AACnG,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC,CAAA;AAErE,4FAA4F;AAC5F,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;CACjC;AAED,2FAA2F;AAC3F,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,IAAI,EACV,SAAS,GACT,eAAe,GACf,gBAAgB,GAChB,OAAO,GACP,aAAa,GACb,WAAW,GACX,YAAY,GACZ,sBAAsB,GACtB,UAAU,CAAA;IACb,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAA;IAC9B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;CAChD;AAED,iGAAiG;AACjG,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;IAC5B,qFAAqF;IACrF,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CACpD;AAED,6FAA6F;AAC7F,MAAM,WAAW,0BAA2B,SAAQ,oBAAoB;IACvE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,gFAAgF;IAChF,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,aAAa,CAAA;IACzC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;QAAE,QAAQ,EAAE,gBAAgB,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACzE,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,GAAG,IAAI,CAAA;CAChD;AAED,4FAA4F;AAC5F,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAA;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACtB;AAED,4FAA4F;AAC5F,MAAM,WAAW,yBAA0B,SAAQ,0BAA0B;IAC5E,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,mBAAmB,CAAC,CAAA;CACpD;AAED,uGAAuG;AACvG,MAAM,WAAW,yBAA0B,SAAQ,oBAAoB;IACtE,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,GAAG,IAAI,CAAA;IAChD,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAA;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAA;CAClC;AAED,yHAAyH;AACzH,MAAM,WAAW,oBAAoB;IACpC,gGAAgG;IAChG,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,aAAa,CAAA;IACzC,2EAA2E;IAC3E,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAA;IAC1C,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,kBAAkB,EAAE,MAAM,GAAG,cAAc,CAAC,CAAA;IAClE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;IACjF,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC/B;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAA;IACtC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;IAC5B,oGAAoG;IACpG,QAAQ,CAAC,SAAS,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,KAAK,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAA;IAClF,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,kBAAkB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;IAC7D,+FAA+F;IAC/F,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,0BAA0B,KAAK,OAAO,CAAC;QACnE,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAA;QAC1C,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAA;KAC/B,CAAC,CAAA;IACF,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,yBAAyB,KAAK,OAAO,CAAC;QAClE,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAA;QAC1C,iFAAiF;QACjF,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAA;KAC/B,CAAC,CAAA;IACF,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,yBAAyB,KAAK,OAAO,CAAC;QAClE,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAA;QACxC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAA;KAC/B,CAAC,CAAA;CACF;AAED,6FAA6F;AAC7F,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EACZ,WAAW,GACX,UAAU,GACV,cAAc,GACd,UAAU,GACV,WAAW,GACX,QAAQ,GACR,oBAAoB,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,sBAAsB,CAAA;IAC3C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAA;IACnC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAA;IAC/B,uFAAuF;IACvF,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAA;IAC9C,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAA;IACzC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAA;CAC/B;AAED;;;;GAIG;AACH,wBAAsB,gBAAgB,CACrC,OAAO,EAAE,oBAAoB,GAC3B,OAAO,CAAC,mBAAmB,CAAC,CAyX9B"}

package/dist/{manager/resident/learning-cycle.js → learning/cycle.js}

@@ -1,9 +1,10 @@
 import { createHash, randomUUID } from 'node:crypto';
 import { z } from 'zod';
-import { normalizeHarnessProtection, } from '../../eval/harness-protection.js';
-import { reviewHarnessCandidate, } from '../../eval/harness-verification.js';
-import { hashResidentSkill, normalizeResidentSkill, promoteResidentSkill, residentLearningEvidenceSchema, } from './learning.js';
-import { ResidentConflictError } from './store.js';
+import { normalizeHarnessProtection, } from '../eval/harness-protection.js';
+import { reviewHarnessCandidate, } from '../eval/harness-verification.js';
+import { ResidentConflictError } from '../manager/resident/store.js';
+import { LearningLeakError, assertNoLearningLeak, } from './leak-tripwire.js';
+import { hashLearningSkill, learningEvidenceSchema, normalizeLearningSkill, promoteLearningSkill, } from './skill.js';
 const receiptSchema = z.object({
     /** The session and turn of the execution this usage belongs to; one receipt per turn. */
     sessionId: z.string().uuid(),
@@ -16,7 +17,7 @@ const receiptSchema = z.object({
  * activate through the existing exact-revision transaction. No internal inference
  * loop, retry or model-generated success claim replaces the host's evaluator.
  */
-export async function runResidentLearningCycle(options) {
+export async function runLearningCycle(options) {
     const protection = normalizeHarnessProtection(options.protection);
     const purpose = z.enum(['task', 'exploration']).parse(options.purpose ?? 'task');
     const purposeContext = options.purpose === undefined ? {} : { purpose };
@@ -25,7 +26,7 @@ export async function runResidentLearningCycle(options) {
         .regex(/^[a-z0-9][a-z0-9_-]{0,63}$/)
         .parse(options.skillName);
     const failure = Object.freeze({
-        evidence: Object.freeze(residentLearningEvidenceSchema.parse(options.failure.evidence)),
+        evidence: Object.freeze(learningEvidenceSchema.parse(options.failure.evidence)),
         trace: z.string().trim().min(1).max(32_000).parse(options.failure.trace),
     });
     const resources = z
@@ -44,6 +45,7 @@ export async function runResidentLearningCycle(options) {
     let review;
     let activatedRevision;
     let activationRequested = false;
+    let leak;
     const usage = () => ({
         tokens: [...receipts.values()].reduce((n, r) => n + (r.tokens ?? 0), 0),
         costUsd: [...receipts.values()].reduce((n, r) => n + (r.costUsd ?? 0), 0),
@@ -75,6 +77,7 @@ export async function runResidentLearningCycle(options) {
         ...(candidate ? { candidate, candidateRevision } : {}),
         ...(baselineRevision ? { baselineRevision } : {}),
         ...(review ? { review } : {}),
+        ...(leak ? { leak } : {}),
         ...(activatedRevision !== undefined ? { agendaRevision: activatedRevision } : {}),
         consumption: usage(),
         auditComplete,
@@ -93,6 +96,11 @@ export async function runResidentLearningCycle(options) {
     };
     const execute = async () => {
         options.signal.throwIfAborted();
+        const guard = (...subjects) => assertNoLearningLeak(options.leakGuard, subjects);
+        guard({
+            subject: 'failure.evidence',
+            text: `${failure.evidence.key}\n${failure.evidence.source}\n${failure.evidence.reason}`,
+        }, { subject: 'failure.trace', text: failure.trace });
         const snapshot = structuredClone(await options.agenda.read());
         if (!snapshot)
             throw new Error('No resident agenda exists for this learning cycle.');
@@ -101,8 +109,18 @@ export async function runResidentLearningCycle(options) {
         const current = snapshot.learning?.skills.find((s) => s.name === skillName);
         if (current && (current.purpose ?? 'task') !== purpose)
             throw new Error('The active skill has a different learning purpose; use a distinct skill name.');
-        const baseline = current ? normalizeResidentSkill(current) : null;
-        baselineRevision = baseline ? hashResidentSkill(baseline) : 'none';
+        const baseline = current ? normalizeLearningSkill(current) : null;
+        baselineRevision = baseline ? hashLearningSkill(baseline) : 'none';
+        if (baseline)
+            guard({
+                subject: 'baseline',
+                text: [
+                    baseline.name,
+                    baseline.description,
+                    baseline.body,
+                    ...(baseline.sources ? [JSON.stringify(baseline.sources)] : []),
+                ].join('\n'),
+            });
         await append('started', {
             tenantId: snapshot.tenantId,
             agentKey: snapshot.agentKey,
@@ -187,9 +205,13 @@ export async function runResidentLearningCycle(options) {
             const explore = options.explore;
             const observed = await stage('explore', (context) => explore(Object.freeze({ ...context, skillName, ...purposeContext, failure, baseline })));
             exploration = Object.freeze({
-                evidence: Object.freeze(residentLearningEvidenceSchema.parse(observed.observations.evidence)),
+                evidence: Object.freeze(learningEvidenceSchema.parse(observed.observations.evidence)),
                 trace: z.string().trim().min(1).max(32_000).parse(observed.observations.trace),
             });
+            guard({
+                subject: 'exploration.evidence',
+                text: `${exploration.evidence.key}\n${exploration.evidence.source}\n${exploration.evidence.reason}`,
+            }, { subject: 'exploration.trace', text: exploration.trace });
             await append('exploration', {
                 observations: exploration,
                 digest: createHash('sha256').update(JSON.stringify(exploration)).digest('hex'),
@@ -206,8 +228,14 @@ export async function runResidentLearningCycle(options) {
             baseline,
             ...(exploration ? { exploration } : {}),
         })));
-        candidateRevision = hashResidentSkill(generated.candidate);
-        candidate = normalizeResidentSkill(generated.candidate);
+        const built = normalizeLearningSkill(generated.candidate);
+        guard({ subject: 'candidate.name', text: built.name }, { subject: 'candidate.description', text: built.description }, { subject: 'candidate.body', text: built.body }, {
+            subject: 'candidate.sources',
+            text: (built.sources ?? []).map((s) => `${s.key}\n${s.revision}`).join('\n'),
+            paths: (built.sources ?? []).map((s) => s.key),
+        });
+        candidateRevision = hashLearningSkill(generated.candidate);
+        candidate = built;
         if ((candidate.purpose ?? 'task') !== purpose)
             throw new Error('Generated skill purpose does not match the host-admitted learning purpose.');
         if (candidate.name !== skillName)
@@ -270,7 +298,7 @@ export async function runResidentLearningCycle(options) {
         };
         // Validate all existing activation contracts before entering the ambiguous
         // commit interval. The store repeats this against its atomic snapshot.
-        promoteResidentSkill(snapshot.learning, candidate, { verification, confirmation, protection }, evidence);
+        promoteLearningSkill(snapshot.learning, candidate, { verification, confirmation, protection }, evidence);
         await append('activation-requested', {
             baselineRevision,
             candidateRevision,
@@ -287,13 +315,17 @@ export async function runResidentLearningCycle(options) {
         outcome = await execute();
     }
     catch (error) {
-        outcome = result(error instanceof ResidentConflictError
-            ? 'conflict'
-            : activationRequested
-                ? 'activation-unknown'
-                : options.signal.aborted
-                    ? 'cancelled'
-                    : 'failed', error instanceof Error ? error.message : String(error));
+        if (error instanceof LearningLeakError)
+            leak = error.findings;
+        outcome = result(error instanceof LearningLeakError
+            ? 'failed'
+            : error instanceof ResidentConflictError
+                ? 'conflict'
+                : activationRequested
+                    ? 'activation-unknown'
+                    : options.signal.aborted
+                        ? 'cancelled'
+                        : 'failed', error instanceof Error ? error.message : String(error));
     }
     if (auditComplete) {
         try {
@@ -305,4 +337,4 @@ export async function runResidentLearningCycle(options) {
     }
     return { ...outcome, auditComplete };
 }
-//# sourceMappingURL=learning-cycle.js.map
+//# sourceMappingURL=cycle.js.map