pi-smart-compact 10.1.0 → 10.1.2

package/ARCHITECTURE.md

@@ -53,9 +53,7 @@ flowchart LR
 Quality means retained constraints, trustworthy failure evidence and low
 retrieval churn, not merely fewer tokens. There are no recurring
 model-visible status prompts, no automatic error deletion, and no destructive
-file rollback. The [2026-09-24 context hygiene report](https://github.com/alpertarhan/pi-smart-compact/blob/main/docs/reports/context-hygiene-2026-09-24.md)
-(repository only, historical) records the original experiments and acceptance
-criteria.
+file rollback.
 
 ## Design ideas
 
@@ -645,7 +643,15 @@ Repair order is intentional: (1) deterministic patch first (free, idempotent);
 lower-scoring output with a deterministic quality floor built only from
 extraction, continuity and steering; (4) reject unless final verification has
 no gaps and meets the verified threshold. Untrusted chunk prose never feeds the
-quality floor. Final verification runs again after continuity injection. The
+quality floor. The floor's Goal, Constraints, Key Decisions, Blocked and
+Critical Context sections are rendered from the verifier's own required
+evidence set (`collectVerificationEvidence`: live, high-confidence,
+non-retired constraints; explicit decisions collapsed to one active answer;
+continuity-merged errors and goal), written whole, so the floor never carries a
+line the verifier does not require and can therefore never fail its own gate on
+a contradiction that deterministic repair cannot fix. The contradiction scan
+treats required error lines and the steering focus as polarity-free: an error
+records what happened and a focus names a subject, neither is a rule. Final verification runs again after continuity injection. The
 final scalar is reported as repaired **verification coverage**, alongside the
 pre-repair score and fallback provenance, never as raw synthesis quality.
 Failures keep only exhaustive content-free gap kinds and the rejecting gate
@@ -767,9 +773,7 @@ Anthropic blocks or opaque OpenAI items, so this extension does both:
   on-demand compaction.
 
 `test/native-compaction-compat.test.ts` pins what stock adapters drop by
-themselves. The design research and measured runs are in the
-[2026-09-24 research report](https://github.com/alpertarhan/pi-smart-compact/blob/main/docs/reports/hindsight-native-compaction-research-2026-09-24.md)
-(repository only, historical).
+themselves.
 
 ### Experimental visual evidence
 
@@ -804,9 +808,8 @@ summary. Changing model/provider/API or using a text-only model withholds
 images; stricter scrubbing also withholds old pixels that cannot be
 retroactively redacted. Only the latest compaction's archive is eligible, and
 native fallback can discard it. Metrics record only visual token estimates and
-frame counts. The [2026-09-24 visual pilot](https://github.com/alpertarhan/pi-smart-compact/blob/main/docs/reports/visual-pilot-2026-09-24.md)
-(repository only) is a dated single-model synthetic sample, not production or
-cross-model accuracy.
+frame counts. Historical visual-pilot results are dated single-model synthetic
+samples, not production or cross-model accuracy evidence.
 
 ## 4. Optional cross-session memory
 

package/CHANGELOG.md

@@ -2,6 +2,90 @@
 
 ## [Unreleased]
 
+## [10.1.2] - 2026-09-30
+
+### Release approval
+
+- Patch release approved by the release owner after the deterministic gates
+  on the exact candidate. No version-specific applied-canary cohort or live
+  provider run exists for `10.1.2`; the fix is evidenced by the test sweep
+  and offline replay of recorded sessions only.
+
+### Fixed
+
+- **The deterministic quality floor can no longer fail its own verification
+  gate.** The floor rendered every extracted constraint, including ones the
+  user had since released (`factOverrides`), stale implicit decisions, and its
+  own `[focus]`/`[note]` steering tags, while the verifier required a
+  different set; a released prohibition beside its live replacement, an error
+  message naming the action a rule forbids ("daemon restart failed" beside "Do
+  not restart the daemon"), or a steering focus that named that action, each
+  scored as a semantic contradiction, which deterministic repair cannot fix,
+  so every candidate was rejected. The floor now renders exactly the
+  verifier's required evidence (`collectVerificationEvidence`), written
+  whole; the contradiction scan treats required error lines and the steering
+  focus as polarity-free; and the floor's goal falls back to the continuity
+  goal. Summary-authored contradictions and two live rules of opposite
+  polarity still fail. A 512-combination sweep over the evidence sources
+  (retired rule, low-confidence inverse, non-live text, continuity-only rule
+  or goal, overlapping errors, implicit inverse decision, coverage overflow,
+  over-limit texts) asserts no non-repairable gap.
+- A user steering note longer than the constraint line limit is required,
+  rendered and repaired whole; a summary that cuts its trailing prohibition
+  is still rejected as altered evidence.
+- Display labels `Critical:`, `Open loop:`, `Unresolved error:` and
+  `Resolved error:` (plain or bold) are stripped before semantic comparison
+  like `Constraint:`/`Goal:`/`Decision:` already were.
+
+## [10.1.1] - 2026-09-30
+
+### Release approval
+
+- Patch release approved by the release owner after the deterministic gates
+  on the exact candidate. No version-specific applied-canary cohort or live
+  provider run exists for `10.1.1`; the verifier and extraction fixes are
+  evidenced by offline replay of recorded sessions only.
+
+### Fixed
+
+- Verification no longer rejects every candidate over its own required
+  evidence. Two recorded defects had the same shape: the deterministic floor
+  is built from exactly the lines the verifier demands, so a line the verifier
+  also scores as a defect leaves nothing that can pass, the session stays
+  uncompacted at 99% context, and Pi's own summarizer then hits its output
+  cap. First, the contradiction scan judged "Continue to avoid commits,
+  installation, or live daemon restart ... (`agm restart` deliberately
+  deferred)" as a positive "restart" beside "avoid live daemon restart":
+  negation near the anchor cannot see a coordinated list or a split clause.
+  Required evidence lines are now compared by sentence-level polarity, the
+  judgment the scan already applies to its source, so lines that agree are
+  not scored against each other; two required lines of opposite polarity
+  ("Do not publish stable" beside "Must publish stable now") remain a gap,
+  and summary-authored contradictions are never exempt. Second, the outcome
+  claim scan read a recorded bug ("message lost with no error surfaced") as
+  a success claim, repair removed it, and the next pass reported the
+  constraint missing. Exact renderings of required evidence are no longer
+  outcome claims; prose that echoes such a phrase still needs tool evidence.
+- Extraction ignores harness-injected `user` messages: pi-processes
+  `<process_event>` notifications, this extension's own continuity bridge
+  ledger, and agent-mesh envelopes. They were mined as the active goal, as
+  constraints (with `Constraint:` labels accumulating across generations),
+  decisions, and recent user requests. Continuity labels quoted by Pi's own
+  compaction summary are stripped before constraints are stored.
+
+### Changed
+
+- Automatic runs are capped at 300 seconds instead of 60, and
+  `autoTriggerTimeoutMs` defaults to 300,000 ms. Recorded MiniMax M3 runs took
+  26–45 s when they finished and ~40% of automatic attempts were cut at the
+  old 60 s cap, each leaving the session for Pi's own compactor.
+
+### Repository
+
+- Research reports and review findings are now local, ignored artifacts rather
+  than tracked repository content. Existing files stay on disk; Git history
+  and published release tags are unchanged.
+
 ## [10.1.0] - 2026-09-29
 
 ### Release approval

package/dist/app/steps/synthesize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"synthesize.d.ts","sourceRoot":"","sources":["../../../src/app/steps/synthesize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AA4BH,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAYpE,wBAAsB,qBAAqB,CAC1C,EAAE,EAAE,WAAW,GACb,OAAO,CAAC,aAAa,CAAC,CA+lBxB"}
+{"version":3,"file":"synthesize.d.ts","sourceRoot":"","sources":["../../../src/app/steps/synthesize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AA4BH,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAYpE,wBAAsB,qBAAqB,CAC1C,EAAE,EAAE,WAAW,GACb,OAAO,CAAC,aAAa,CAAC,CAmmBxB"}

package/dist/app/steps/verify.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../../src/app/steps/verify.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAiBnE,wBAAsB,cAAc,CAAC,EAAE,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAoN3E"}
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../../src/app/steps/verify.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAiBnE,wBAAsB,cAAc,CAAC,EAAE,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAqN3E"}

package/dist/constants.d.ts

@@ -8,7 +8,7 @@ import type { CompressionProfile, ProfileConfig } from "./types.ts";
  * `package.json#version`. Do not hand-edit this line for releases; bump
  * package.json and run `bun run sync-version`.
  */
-export declare const VERSION = "10.1.0";
+export declare const VERSION = "10.1.2";
 /**
  * Opt-in components that are not installed with the extension: optional peer
  * dependencies in package.json, pinned to the versions the release audit
@@ -39,7 +39,7 @@ export declare const POST_SUMMARY_RESERVE_RATIO = 0.25;
 /** Maximum number of open-loop records retained in durable continuity state. */
 export declare const MAX_STATE_OPEN_LOOPS = 25;
 /** Auto compaction must yield to native recovery instead of blocking the host indefinitely. */
-export declare const AUTO_TRIGGER_TIMEOUT_CAP_MS = 60000;
+export declare const AUTO_TRIGGER_TIMEOUT_CAP_MS = 300000;
 /** Provider-call ceiling for the synchronous session_before_compact hook. */
 export declare const AUTO_TRIGGER_MAX_LLM_CALLS = 4;
 /** Suppress proactive settled-trigger churn after any confirmed compaction. */

package/dist/constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,OAAO,WAAW,CAAC;AAChC;;;;GAIG;AACH,eAAO,MAAM,mBAAmB;aAC/B,OAAO;iBAAI,IAAI,EAAE,sBAAsB;iBAAE,OAAO,EAAE,QAAQ;iBAAE,OAAO,EAAE,sBAAsB;;aAC3F,GAAG;iBAAI,IAAI,EAAE,KAAK;iBAAE,OAAO,EAAE,OAAO;iBAAE,OAAO,EAAE,uDAAuD;;aACtG,KAAK;iBAAI,IAAI,EAAE,iBAAiB;iBAAE,OAAO,EAAE,OAAO;iBAAE,OAAO,EAAE,iBAAiB;;CACrE,CAAC;AACX,eAAO,MAAM,eAAe,MAAM,CAAC;AACnC,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAC/C,eAAO,MAAM,mCAAmC,IAAI,CAAC;AACrD,iHAAiH;AACjH,eAAO,MAAM,0BAA0B,OAAO,CAAC;AAC/C,gFAAgF;AAChF,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,+FAA+F;AAC/F,eAAO,MAAM,2BAA2B,QAAS,CAAC;AAClD,6EAA6E;AAC7E,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAC5C,+EAA+E;AAC/E,eAAO,MAAM,2BAA2B,QAAc,CAAC;AACvD;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,QAAS,CAAC;AACzC;;;GAGG;AACH,eAAO,MAAM,6BAA6B,KAAK,CAAC;AAChD;;;GAGG;AACH,eAAO,MAAM,6BAA6B,OAAO,CAAC;AAElD,uHAAuH;AACvH,eAAO,MAAM,aAAa;aACzB,KAAK;iBAAI,GAAG,EAAE,CAAC;iBAAE,GAAG,EAAE,GAAG;;aACzB,YAAY;iBAAI,GAAG,EAAE,KAAM;iBAAE,GAAG,EAAE,OAAS;;aAC3C,UAAU;iBAAI,GAAG,EAAE,IAAK;iBAAE,GAAG,EAAE,MAAO;;CAC7B,CAAC;AAEX,eAAO,MAAM,qBAAqB,QAKoB,CAAC;AAEvD,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,kBAAkB,EAAE,aAAa,CAyB9D,CAAC;AAEF,eAAO,MAAM,sBAAsB;aAClC,mBAAmB,YAAG,GAAG,EAAE,MAAO;aAClC,gBAAgB,YAAG,IAAK,EAAE,MAAO;aACjC,cAAc,YAAG,GAAG,EAAE,MAAO;aAC7B,cAAc,YAAG,GAAG,EAAE,MAAO;aAC7B,mBAAmB,YAAG,IAAK,EAAE,MAAO;aACpC,cAAc,YAAG,IAAK,EAAE,MAAO;CACtB,CAAC;AAEX,uEAAuE;AACvE,eAAO,MAAM,2BAA2B,SAAU,CAAC;AAEnD,eAAO,MAAM,qBAAqB;aACjC,iBAAiB;iBAAI,GAAG,EAAE,CAAC;iBAAE,GAAG,EAAE,GAAG;iBAAE,OAAO;;aAC9C,qBAAqB;iBAAI,GAAG,EAAE,CAAC;iBAAE,GAAG,EAAE,GAAG;iBAAE,OAAO;;aAClD,oBAAoB;iBAAI,GAAG,EAAE,IAAK;iBAAE,GAAG,EAAE,MAAO;iBAAE,OAAO;;aACzD,WAAW;iBAAI,GAAG,EAAE,CAAC;iBAAE,GAAG,EAAE,GAAG;iBAAE,OAAO;;aACxC,iBAAiB;iBAAI,GAAG,EAAE,CAAC;iBAAE,GAAG,EAAE,OAAS;iBAAE,OAAO;;aACpD,gBAAgB;iBAAI,GAAG,EAAE,KAAM;iBAAE,GAAG,EAAE,OAAS;iBAAE,OAAO;iBAAQ,WAAW;;aAC3E,cAAc;iBACb,GAAG,EAAE,IAAK;iBACV,GAAG,EAAE,OAAS;iBACd,OAAO;iBACP,WAAW;;aAEZ,YAAY;iBACX,GAAG,EAAE,IAAK;iBACV,GAAG,EAAE,OAAS;iBACd,OAAO;iBACP,WAAW;;aAEZ,YAAY;iBAAI,GAAG,EAAE,IAAK;iBAAE,GAAG,EAAE,OAAS;iBAAE,OAAO;;aACnD,kBAAkB;iBAAI,GAAG,EAAE,IAAK;iBAAE,GAAG,EAAE,KAAM;iBAAE,OAAO;;aACtD,wBAAwB;iBAAI,GAAG,EAAE,GAAG;iBAAE,GAAG,EAAE,IAAK;iBAAE,OAAO;;CAChD,CAAC;AAEX,eAAO,MAAM,cAAc;IAC1B,IAAI,EAAE,MAAM;IACZ,OAAO,EAAgB,kBAAkB;IACzC,QAAQ;IACR,YAAY,EAAU,MAAM,GAAG,IAAI;IACnC,iBAAiB,EAAU,MAAM,GAAG,IAAI;IACxC,iBAAiB,EAAU,MAAM,GAAG,IAAI;IACxC,oBAAoB,EAAE,SAAS;IAC/B,yBAAyB,EAAE,SAAS;IACpC,eAAe,EAAE,SAAS;IAC1B,WAAW,EAAE,OAAO;IACpB,WAAW;IACX,UAAU;IACV,mBAAmB,EAAE,SAAS;IAC9B,oBAAoB;IACpB,aAAa;IACb,SAAS;IACT,iBAAiB;IACjB,qBAAqB,EAAU,MAAM,GAAG,IAAI;IAC5C,gBAAgB;IAChB,eAAe;IACf,YAAY;IACZ,QAAQ;IACR,WAAW;IACX,iBAAiB;IACjB,cAAc;IACd,YAAY;IACZ,YAAY;IACZ,cAAc;IACd,eAAe;IACf,mBAAmB;IACnB,iBAAiB,EAAc,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;IACvD,aAAa,EAAE,OAAO;IACtB,gBAAgB,EAAU,MAAM,GAAG,IAAI;IACvC,eAAe,EAAU,MAAM,GAAG,IAAI;IACtC,kBAAkB,EAAU,MAAM,GAAG,IAAI;IACzC,kBAAkB;IAClB,wBAAwB;IACxB,cAAc,EAAU,MAAM,GAAG,IAAI;IACrC,oBAAoB;IACpB,sBAAsB;IACtB,qBAAqB;IACrB,mBAAmB;IACnB,wBAAwB;IACxB,oBAAoB;IACpB,mBAAmB;IACnB,yBAAyB;IACzB,0BAA0B;IAC1B,sBAAsB;IACtB,gBAAgB,EAAE,QAAQ;IAC1B,sBAAsB;IACtB,mBAAmB;IACnB,QAAQ,EAAQ,MAAM,EAAE;CACxB,CAAC;AAEF,eAAO,MAAM,QAAQ,QACwD,CAAC;AAI9E,eAAO,MAAM,QAAQ,QACiJ,CAAC;AACvK,eAAO,MAAM,SAAS,QAC2E,CAAC;AAIlG,eAAO,MAAM,kBAAkB,QAiB8C,CAAC;AAE9E,eAAO,MAAM,kBAAkB,yHACwF,CAAC;AAExH,eAAO,MAAM,mBAAmB,QAYiB,CAAC;AAElD,eAAO,MAAM,mBAAmB,8DAC4B,CAAC;AAE7D,eAAO,MAAM,sBAAsB,QAqB0B,CAAC;AAE9D,eAAO,MAAM,sBAAsB,qRACgP,CAAC;AAIpR,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAS5D,CAAC;AAGF,eAAO,MAAM,YAAY,YAAY,CAAC;AACtC,eAAO,MAAM,mBAAmB,iCAAiC,CAAC;AAClE,eAAO,MAAM,gBAAgB,gBAAgB,CAAC;AAC9C,eAAO,MAAM,iBAAiB,qBAAqB,CAAC;AACpD,eAAO,MAAM,sBAAsB,sBAAsB,CAAC;AAC1D,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,qBAAqB,qBAAqB,CAAC;AACxD,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAC9D,eAAO,MAAM,cAAc,sBAAsB,CAAC;AAClD,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,eAAe,qCAAqC,CAAC;AAGlE,eAAO,MAAM,UAAU,oBAAoB,CAAC;AAG5C,eAAO,MAAM,mBAAmB,OAAO,CAAC;AACxC,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAQxC,eAAO,MAAM,gBAAgB,KAAK,CAAC;AACnC,eAAO,MAAM,iBAAiB,QAA2B,CAAC;AAG1D,eAAO,MAAM,eAAe,QAAgB,CAAC;AAC7C,eAAO,MAAM,WAAW,QAAiB,CAAC;AAC1C,eAAO,MAAM,aAAa,QAA0B,CAAC;AACrD,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,uEAAuE;AACvE,eAAO,MAAM,iBAAiB;aAC7B,cAAc,EAAE,GAAG;aACnB,UAAU,EAAE,GAAG;aACf,aAAa,EAAE,GAAG;aAClB,MAAM,EAAE,EAAE;aACV,SAAS,EAAE,EAAE;aACb,WAAW,EAAE,EAAE;aACf,MAAM,EAAE,EAAE;aACV,QAAQ,EAAE,GAAG;aACb,iBAAiB,EAAE,EAAE;aACrB,gBAAgB,EAAE,GAAG;CACZ,CAAC;AACX,eAAO,MAAM,cAAc,QAA2B,CAAC;AAGvD,eAAO,MAAM,uBAAuB,wBAAwB,CAAC;AAG7D,eAAO,MAAM,SAAS;aACrB,OAAO,EAAE,OAAO;aAChB,eAAe,EAAE,KAAK;aACtB,wBAAwB,EAAE,MAAM;aAChC,SAAS,EAAE,OAAO;aAClB,QAAQ,EAAE,WAAW;aACrB,KAAK,EAAE,QAAQ;CACN,CAAC;AAGX,eAAO,MAAM,MAAM;aAClB,QAAQ,EAAE,GAAG;aACb,UAAU,EAAE,GAAG;aACf,qBAAqB,EAAE,GAAG;aAC1B,qBAAqB,EAAE,CAAG;aAC1B,eAAe,EAAE,IAAI;aACrB,iBAAiB,EAAE,GAAG;aACtB,cAAc,EAAE,GAAG;CACV,CAAC;AAGX,eAAO,MAAM,KAAK;aAEjB,OAAO,EAAE,GAAG;aACZ,YAAY,EAAE,GAAG;aACjB,gBAAgB,EAAE,GAAG;aACrB,aAAa,EAAE,GAAG;aAClB,eAAe,EAAE,GAAG;aACpB,iBAAiB,EAAE,GAAG;aACtB,cAAc,EAAE,GAAG;aACnB,cAAc,EAAE,GAAG;aAEnB,OAAO,EAAE,EAAE;aACX,OAAO,EAAE,GAAG;aACZ,WAAW,EAAE,GAAG;aAChB,MAAM,EAAE,GAAG;aACX,YAAY,EAAE,GAAG;aACjB,UAAU,EAAE,GAAG;aACf,gBAAgB,EAAE,KAAM;aACxB,kBAAkB,EAAE,IAAK;aACzB,cAAc,EAAE,GAAG;aACnB,eAAe,EAAE,EAAE;aACnB,WAAW,EAAE,GAAG;aAEhB,YAAY,EAAE,EAAE;aAChB,SAAS,EAAE,CAAC;aACZ,WAAW,EAAE,CAAC;aACd,kBAAkB,EAAE,EAAE;aACtB,aAAa,EAAE,EAAE;aACjB,gBAAgB,EAAE,EAAE;aACpB,eAAe,EAAE,EAAE;aACnB,oBAAoB,EAAE,CAAC;aACvB,eAAe,EAAE,CAAC;CACT,CAAC;AAGX,eAAO,MAAM,qBAAqB,MAAM,CAAC;AACzC,oEAAoE;AACpE,eAAO,MAAM,yBAAyB,QAAS,CAAC;AAGhD,sFAAsF;AACtF,eAAO,MAAM,eAAe,QACgI,CAAC;AAC7J,kGAAkG;AAClG,eAAO,MAAM,iBAAiB,QACiH,CAAC;AAChJ,8FAA8F;AAC9F,eAAO,MAAM,qBAAqB,IAAI,CAAC;AACvC,eAAO,MAAM,qBAAqB,MAAM,CAAC;AACzC,2EAA2E;AAC3E,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,6EAA6E;AAC7E,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,iFAAiF;AACjF,eAAO,MAAM,iBAAiB,QAAS,CAAC;AACxC,eAAO,MAAM,wBAAwB,OAAQ,CAAC;AAC9C,eAAO,MAAM,oBAAoB,IAAI,CAAC;AACtC,4HAA4H;AAC5H,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,eAAO,MAAM,sBAAsB,QAAmB,CAAC;AAOvD,eAAO,MAAM,kBAAkB,MAAM,CAAC;AAGtC,eAAO,MAAM,qBAAqB,QAAkB,CAAC;AAGrD,eAAO,MAAM,UAAU,iBAAiB,CAAC;AACzC,eAAO,MAAM,cAAc,oBAAoB,CAAC;AAEhD,eAAO,MAAM,sBAAsB,QAU4T,CAAC"}
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,OAAO,WAAW,CAAC;AAChC;;;;GAIG;AACH,eAAO,MAAM,mBAAmB;aAC/B,OAAO;iBAAI,IAAI,EAAE,sBAAsB;iBAAE,OAAO,EAAE,QAAQ;iBAAE,OAAO,EAAE,sBAAsB;;aAC3F,GAAG;iBAAI,IAAI,EAAE,KAAK;iBAAE,OAAO,EAAE,OAAO;iBAAE,OAAO,EAAE,uDAAuD;;aACtG,KAAK;iBAAI,IAAI,EAAE,iBAAiB;iBAAE,OAAO,EAAE,OAAO;iBAAE,OAAO,EAAE,iBAAiB;;CACrE,CAAC;AACX,eAAO,MAAM,eAAe,MAAM,CAAC;AACnC,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAC/C,eAAO,MAAM,mCAAmC,IAAI,CAAC;AACrD,iHAAiH;AACjH,eAAO,MAAM,0BAA0B,OAAO,CAAC;AAC/C,gFAAgF;AAChF,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,+FAA+F;AAC/F,eAAO,MAAM,2BAA2B,SAAU,CAAC;AACnD,6EAA6E;AAC7E,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAC5C,+EAA+E;AAC/E,eAAO,MAAM,2BAA2B,QAAc,CAAC;AACvD;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,QAAS,CAAC;AACzC;;;GAGG;AACH,eAAO,MAAM,6BAA6B,KAAK,CAAC;AAChD;;;GAGG;AACH,eAAO,MAAM,6BAA6B,OAAO,CAAC;AAElD,uHAAuH;AACvH,eAAO,MAAM,aAAa;aACzB,KAAK;iBAAI,GAAG,EAAE,CAAC;iBAAE,GAAG,EAAE,GAAG;;aACzB,YAAY;iBAAI,GAAG,EAAE,KAAM;iBAAE,GAAG,EAAE,OAAS;;aAC3C,UAAU;iBAAI,GAAG,EAAE,IAAK;iBAAE,GAAG,EAAE,MAAO;;CAC7B,CAAC;AAEX,eAAO,MAAM,qBAAqB,QAKoB,CAAC;AAEvD,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,kBAAkB,EAAE,aAAa,CAyB9D,CAAC;AAEF,eAAO,MAAM,sBAAsB;aAClC,mBAAmB,YAAG,GAAG,EAAE,MAAO;aAClC,gBAAgB,YAAG,IAAK,EAAE,MAAO;aACjC,cAAc,YAAG,GAAG,EAAE,MAAO;aAC7B,cAAc,YAAG,GAAG,EAAE,MAAO;aAC7B,mBAAmB,YAAG,IAAK,EAAE,MAAO;aACpC,cAAc,YAAG,IAAK,EAAE,MAAO;CACtB,CAAC;AAEX,uEAAuE;AACvE,eAAO,MAAM,2BAA2B,SAAU,CAAC;AAEnD,eAAO,MAAM,qBAAqB;aACjC,iBAAiB;iBAAI,GAAG,EAAE,CAAC;iBAAE,GAAG,EAAE,GAAG;iBAAE,OAAO;;aAC9C,qBAAqB;iBAAI,GAAG,EAAE,CAAC;iBAAE,GAAG,EAAE,GAAG;iBAAE,OAAO;;aAClD,oBAAoB;iBAAI,GAAG,EAAE,IAAK;iBAAE,GAAG,EAAE,MAAO;iBAAE,OAAO;;aACzD,WAAW;iBAAI,GAAG,EAAE,CAAC;iBAAE,GAAG,EAAE,GAAG;iBAAE,OAAO;;aACxC,iBAAiB;iBAAI,GAAG,EAAE,CAAC;iBAAE,GAAG,EAAE,OAAS;iBAAE,OAAO;;aACpD,gBAAgB;iBAAI,GAAG,EAAE,KAAM;iBAAE,GAAG,EAAE,OAAS;iBAAE,OAAO;iBAAQ,WAAW;;aAC3E,cAAc;iBACb,GAAG,EAAE,IAAK;iBACV,GAAG,EAAE,OAAS;iBACd,OAAO;iBACP,WAAW;;aAEZ,YAAY;iBACX,GAAG,EAAE,IAAK;iBACV,GAAG,EAAE,OAAS;iBACd,OAAO;iBACP,WAAW;;aAEZ,YAAY;iBAAI,GAAG,EAAE,IAAK;iBAAE,GAAG,EAAE,OAAS;iBAAE,OAAO;;aACnD,kBAAkB;iBAAI,GAAG,EAAE,IAAK;iBAAE,GAAG,EAAE,KAAM;iBAAE,OAAO;;aACtD,wBAAwB;iBAAI,GAAG,EAAE,GAAG;iBAAE,GAAG,EAAE,IAAK;iBAAE,OAAO;;CAChD,CAAC;AAEX,eAAO,MAAM,cAAc;IAC1B,IAAI,EAAE,MAAM;IACZ,OAAO,EAAgB,kBAAkB;IACzC,QAAQ;IACR,YAAY,EAAU,MAAM,GAAG,IAAI;IACnC,iBAAiB,EAAU,MAAM,GAAG,IAAI;IACxC,iBAAiB,EAAU,MAAM,GAAG,IAAI;IACxC,oBAAoB,EAAE,SAAS;IAC/B,yBAAyB,EAAE,SAAS;IACpC,eAAe,EAAE,SAAS;IAC1B,WAAW,EAAE,OAAO;IACpB,WAAW;IACX,UAAU;IACV,mBAAmB,EAAE,SAAS;IAC9B,oBAAoB;IACpB,aAAa;IACb,SAAS;IACT,iBAAiB;IACjB,qBAAqB,EAAU,MAAM,GAAG,IAAI;IAC5C,gBAAgB;IAChB,eAAe;IACf,YAAY;IACZ,QAAQ;IACR,WAAW;IACX,iBAAiB;IACjB,cAAc;IACd,YAAY;IACZ,YAAY;IACZ,cAAc;IACd,eAAe;IACf,mBAAmB;IACnB,iBAAiB,EAAc,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;IACvD,aAAa,EAAE,OAAO;IACtB,gBAAgB,EAAU,MAAM,GAAG,IAAI;IACvC,eAAe,EAAU,MAAM,GAAG,IAAI;IACtC,kBAAkB,EAAU,MAAM,GAAG,IAAI;IACzC,kBAAkB;IAClB,wBAAwB;IACxB,cAAc,EAAU,MAAM,GAAG,IAAI;IACrC,oBAAoB;IACpB,sBAAsB;IACtB,qBAAqB;IACrB,mBAAmB;IACnB,wBAAwB;IACxB,oBAAoB;IACpB,mBAAmB;IACnB,yBAAyB;IACzB,0BAA0B;IAC1B,sBAAsB;IACtB,gBAAgB,EAAE,QAAQ;IAC1B,sBAAsB;IACtB,mBAAmB;IACnB,QAAQ,EAAQ,MAAM,EAAE;CACxB,CAAC;AAEF,eAAO,MAAM,QAAQ,QACwD,CAAC;AAI9E,eAAO,MAAM,QAAQ,QACiJ,CAAC;AACvK,eAAO,MAAM,SAAS,QAC2E,CAAC;AAIlG,eAAO,MAAM,kBAAkB,QAiB8C,CAAC;AAE9E,eAAO,MAAM,kBAAkB,yHACwF,CAAC;AAExH,eAAO,MAAM,mBAAmB,QAYiB,CAAC;AAElD,eAAO,MAAM,mBAAmB,8DAC4B,CAAC;AAE7D,eAAO,MAAM,sBAAsB,QAqB0B,CAAC;AAE9D,eAAO,MAAM,sBAAsB,qRACgP,CAAC;AAIpR,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAS5D,CAAC;AAGF,eAAO,MAAM,YAAY,YAAY,CAAC;AACtC,eAAO,MAAM,mBAAmB,iCAAiC,CAAC;AAClE,eAAO,MAAM,gBAAgB,gBAAgB,CAAC;AAC9C,eAAO,MAAM,iBAAiB,qBAAqB,CAAC;AACpD,eAAO,MAAM,sBAAsB,sBAAsB,CAAC;AAC1D,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,qBAAqB,qBAAqB,CAAC;AACxD,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAC9D,eAAO,MAAM,cAAc,sBAAsB,CAAC;AAClD,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAClD,eAAO,MAAM,eAAe,qCAAqC,CAAC;AAGlE,eAAO,MAAM,UAAU,oBAAoB,CAAC;AAG5C,eAAO,MAAM,mBAAmB,OAAO,CAAC;AACxC,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAQxC,eAAO,MAAM,gBAAgB,KAAK,CAAC;AACnC,eAAO,MAAM,iBAAiB,QAA2B,CAAC;AAG1D,eAAO,MAAM,eAAe,QAAgB,CAAC;AAC7C,eAAO,MAAM,WAAW,QAAiB,CAAC;AAC1C,eAAO,MAAM,aAAa,QAA0B,CAAC;AACrD,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,uEAAuE;AACvE,eAAO,MAAM,iBAAiB;aAC7B,cAAc,EAAE,GAAG;aACnB,UAAU,EAAE,GAAG;aACf,aAAa,EAAE,GAAG;aAClB,MAAM,EAAE,EAAE;aACV,SAAS,EAAE,EAAE;aACb,WAAW,EAAE,EAAE;aACf,MAAM,EAAE,EAAE;aACV,QAAQ,EAAE,GAAG;aACb,iBAAiB,EAAE,EAAE;aACrB,gBAAgB,EAAE,GAAG;CACZ,CAAC;AACX,eAAO,MAAM,cAAc,QAA2B,CAAC;AAGvD,eAAO,MAAM,uBAAuB,wBAAwB,CAAC;AAG7D,eAAO,MAAM,SAAS;aACrB,OAAO,EAAE,OAAO;aAChB,eAAe,EAAE,KAAK;aACtB,wBAAwB,EAAE,MAAM;aAChC,SAAS,EAAE,OAAO;aAClB,QAAQ,EAAE,WAAW;aACrB,KAAK,EAAE,QAAQ;CACN,CAAC;AAGX,eAAO,MAAM,MAAM;aAClB,QAAQ,EAAE,GAAG;aACb,UAAU,EAAE,GAAG;aACf,qBAAqB,EAAE,GAAG;aAC1B,qBAAqB,EAAE,CAAG;aAC1B,eAAe,EAAE,IAAI;aACrB,iBAAiB,EAAE,GAAG;aACtB,cAAc,EAAE,GAAG;CACV,CAAC;AAGX,eAAO,MAAM,KAAK;aAEjB,OAAO,EAAE,GAAG;aACZ,YAAY,EAAE,GAAG;aACjB,gBAAgB,EAAE,GAAG;aACrB,aAAa,EAAE,GAAG;aAClB,eAAe,EAAE,GAAG;aACpB,iBAAiB,EAAE,GAAG;aACtB,cAAc,EAAE,GAAG;aACnB,cAAc,EAAE,GAAG;aAEnB,OAAO,EAAE,EAAE;aACX,OAAO,EAAE,GAAG;aACZ,WAAW,EAAE,GAAG;aAChB,MAAM,EAAE,GAAG;aACX,YAAY,EAAE,GAAG;aACjB,UAAU,EAAE,GAAG;aACf,gBAAgB,EAAE,KAAM;aACxB,kBAAkB,EAAE,IAAK;aACzB,cAAc,EAAE,GAAG;aACnB,eAAe,EAAE,EAAE;aACnB,WAAW,EAAE,GAAG;aAEhB,YAAY,EAAE,EAAE;aAChB,SAAS,EAAE,CAAC;aACZ,WAAW,EAAE,CAAC;aACd,kBAAkB,EAAE,EAAE;aACtB,aAAa,EAAE,EAAE;aACjB,gBAAgB,EAAE,EAAE;aACpB,eAAe,EAAE,EAAE;aACnB,oBAAoB,EAAE,CAAC;aACvB,eAAe,EAAE,CAAC;CACT,CAAC;AAGX,eAAO,MAAM,qBAAqB,MAAM,CAAC;AACzC,oEAAoE;AACpE,eAAO,MAAM,yBAAyB,QAAS,CAAC;AAGhD,sFAAsF;AACtF,eAAO,MAAM,eAAe,QACgI,CAAC;AAC7J,kGAAkG;AAClG,eAAO,MAAM,iBAAiB,QACiH,CAAC;AAChJ,8FAA8F;AAC9F,eAAO,MAAM,qBAAqB,IAAI,CAAC;AACvC,eAAO,MAAM,qBAAqB,MAAM,CAAC;AACzC,2EAA2E;AAC3E,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,6EAA6E;AAC7E,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,iFAAiF;AACjF,eAAO,MAAM,iBAAiB,QAAS,CAAC;AACxC,eAAO,MAAM,wBAAwB,OAAQ,CAAC;AAC9C,eAAO,MAAM,oBAAoB,IAAI,CAAC;AACtC,4HAA4H;AAC5H,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,eAAO,MAAM,sBAAsB,QAAmB,CAAC;AAOvD,eAAO,MAAM,kBAAkB,MAAM,CAAC;AAGtC,eAAO,MAAM,qBAAqB,QAAkB,CAAC;AAGrD,eAAO,MAAM,UAAU,iBAAiB,CAAC;AACzC,eAAO,MAAM,cAAc,oBAAoB,CAAC;AAEhD,eAAO,MAAM,sBAAsB,QAU4T,CAAC"}

package/dist/index.js

@@ -5,7 +5,7 @@ import {
 } from "@earendil-works/pi-coding-agent";
 
 // src/constants.ts
-var VERSION = "10.1.0";
+var VERSION = "10.1.2";
 var OPTIONAL_COMPONENTS = {
   mnemopi: { name: "@oh-my-pi/pi-mnemopi", version: "18.3.1", enables: "Mnemopi memory store" },
   bun: { name: "bun", version: "1.4.2", enables: "Mnemopi worker runtime when no Bun 1.3.14+ is on PATH" },
@@ -16,7 +16,7 @@ var MIN_COMPACTION_SAVING_RATIO = 0.1;
 var ESTIMATOR_ROUNDING_TOLERANCE_TOKENS = 1;
 var POST_SUMMARY_RESERVE_RATIO = 0.25;
 var MAX_STATE_OPEN_LOOPS = 25;
-var AUTO_TRIGGER_TIMEOUT_CAP_MS = 60000;
+var AUTO_TRIGGER_TIMEOUT_CAP_MS = 300000;
 var AUTO_TRIGGER_MAX_LLM_CALLS = 4;
 var SETTLED_TRIGGER_COOLDOWN_MS = 10 * 60000;
 var REBUILD_MIN_TOKENS = 16384;
@@ -100,7 +100,7 @@ var DEFAULT_CONFIG = {
   autoTrigger: true,
   showStatus: true,
   autoTriggerStrategy: "settled",
-  autoTriggerTimeoutMs: 120000,
+  autoTriggerTimeoutMs: 300000,
   backupEnabled: true,
   backupDir: "",
   minContextPercent: 80,
@@ -3403,6 +3403,10 @@ function collapseDecisionsByQuestion(items) {
   }
   return order.map((key) => byQuestion.get(key));
 }
+var HARNESS_INJECTED_RE = /^(?:<process_event\b|Native compaction continuity bridge\b|## Continuity Ledger\b|\[agent-mesh\]|(?:\*\*)?agent-mesh (?:message|reply)\b)/;
+function isHarnessInjectedText(text) {
+  return HARNESS_INJECTED_RE.test(text.trim());
+}
 function extractDecisions(msgs, _tcIdx) {
   const tcIdx = _tcIdx ?? buildToolCallIndex(msgs);
   const decisions = [];
@@ -3429,6 +3433,8 @@ function extractDecisions(msgs, _tcIdx) {
     if (msgs[i]?.role !== "user")
       continue;
     const txt = extractText(msgs[i].content);
+    if (isHarnessInjectedText(txt))
+      continue;
     if (CHOICE_RE.test(txt)) {
       decisions.push({
         index: i,
@@ -3482,6 +3488,7 @@ function isNonLiveConstraintText(text) {
   const candidate = text.replace(/^\s*[-*]\s+/, "").trim();
   return isDiagnosticConstraintText(candidate) || isCompactionStatusText(candidate) || OWN_OUTPUT_CONTEXT_RE.test(candidate) || COMPLETED_CHECKLIST_RE.test(candidate);
 }
+var CONTINUITY_LABEL_RE = /^(?:(?:Constraint|Goal|Decision|Critical|Open loop|Unresolved error|Resolved error):\s*)+/i;
 function mineConstraints(msgs) {
   const constraints = [];
   const seen = new Set;
@@ -3491,9 +3498,11 @@ function mineConstraints(msgs) {
     const text = extractText(msgs[i].content);
     if (text.length < 10 || text.startsWith("/"))
       continue;
+    if (isHarnessInjectedText(text))
+      continue;
     const ownOutputMessage = OWN_OUTPUT_CONTEXT_RE.test(text);
     for (const raw of text.split(/\n+/)) {
-      const candidate = raw.replace(/^\s*[-*]\s+/, "").trim();
+      const candidate = raw.replace(/^\s*[-*]\s+/, "").trim().replace(CONTINUITY_LABEL_RE, "");
       if (candidate.length < 10 || isNonLiveConstraintText(candidate))
         continue;
       if (ownOutputMessage && OWN_OUTPUT_PHRASE_RE.test(candidate))
@@ -3538,7 +3547,7 @@ function segmentTopicsHeuristic(msgs, pc, maxSegs = 20, _tcIdx) {
     const nextBasename = shiftBasename(nextFile);
     const closesActiveTool = message.role === "toolResult" && (tcIdx.get(message.toolCallId ?? "")?.msgIndex ?? -1) >= startIdx;
     const fileShift = Boolean(lastFile && nextBasename && nextBasename !== lastFile);
-    const userShift = message.role === "user" && SHIFT_RE.test(text);
+    const userShift = message.role === "user" && !isHarnessInjectedText(text) && SHIFT_RE.test(text);
     const sizeShift = tokenAcc > 0 && tokenAcc + messageTokens > pc.maxChunkTokens;
     const breakBefore = !closesActiveTool && i > startIdx && tokenAcc >= pc.minChunkTokens && (fileShift || userShift || sizeShift) && topics.length < maxSegs - 1;
     if (breakBefore) {
@@ -3600,7 +3609,7 @@ function buildTimeline(msgs, errors) {
     const m = msgs[i];
     if (m.role === "user") {
       const txt = extractText(m.content);
-      if (!txt.startsWith("/"))
+      if (!txt.startsWith("/") && !isHarnessInjectedText(txt))
         timeline.push({
           index: i,
           event: "user_request",
@@ -3631,7 +3640,7 @@ function extractMainGoal(msgs) {
     if (m?.role !== "user")
       continue;
     const text = extractText(m.content).trim();
-    if (!text)
+    if (!text || isHarnessInjectedText(text))
       continue;
     if (HISTORY_SUMMARY_RE.test(text)) {
       const carried = summaryEvidenceLine(findSection(text, "goal")?.body ?? "", TRUNC.MESSAGE);
@@ -3699,7 +3708,7 @@ function extractOpenLoops(msgs, extraction) {
     if (msg.role !== "user")
       continue;
     const txt = extractText(msg.content);
-    if (txt.length < 10 || txt.startsWith("/"))
+    if (txt.length < 10 || txt.startsWith("/") || isHarnessInjectedText(txt))
       continue;
     if (FOLLOWUP_RE.test(txt)) {
       const isDup = loops.some((l) => isNearbyDuplicate(l, txt, idx));
@@ -3722,7 +3731,7 @@ function extractOpenLoops(msgs, extraction) {
     if (msg.role !== "user")
       continue;
     const txt = extractText(msg.content);
-    if (txt.length < 10 || txt.startsWith("/"))
+    if (txt.length < 10 || txt.startsWith("/") || isHarnessInjectedText(txt))
       continue;
     if (BLOCKED_RE.test(txt)) {
       const isDup = loops.some((l) => isNearbyDuplicate(l, txt, idx));
@@ -3803,7 +3812,7 @@ function extractStructured(msgs, pc, precomputedTcIdx) {
   };
   const evidenceOverflow = Object.fromEntries(Object.entries(overflow).filter(([, count]) => count > 0));
   const mainGoal = extractMainGoal(msgs);
-  const lastUserMessages = msgs.filter((m) => m.role === "user").slice(-5).map((m) => extractText(m.content));
+  const lastUserMessages = msgs.filter((m) => m.role === "user" && !isHarnessInjectedText(extractText(m.content))).slice(-5).map((m) => extractText(m.content));
   const lastErrors = errors.slice(-3).map((e) => e.message);
   return {
     modifiedFiles,
@@ -6488,9 +6497,32 @@ function hasListedPath(listed, file, display, normalizedOwners) {
   }
   return false;
 }
-function outcomeClaims(summary, pathEvidence) {
+var EVIDENCE_LINE_LABEL_RE = /^(?:(?:constraint|goal|decision|critical|open loop|unresolved error|resolved error|\[focus\]|\[note\]):?\s*)+/i;
+var EVIDENCE_QUOTE_MIN_CHARS = 80;
+function isRequiredEvidenceLine(line, corpus) {
+  const key = normalizeFactKey(line.replace(/\*\*/g, "").replace(EVIDENCE_LINE_LABEL_RE, ""));
+  if (!key)
+    return false;
+  return corpus.some((text) => text === key || key.length >= EVIDENCE_QUOTE_MIN_CHARS && text.startsWith(key));
+}
+function requiredEvidenceCorpus(collected, continuity) {
+  const texts = [
+    ...collected.constraints.map((item) => item.text),
+    ...collected.unresolved.map((item) => item.message),
+    ...collected.resolved.map((item) => item.message),
+    ...collected.goal ? [collected.goal] : [],
+    ...continuity?.criticalContext ?? [],
+    ...collected.decisions.flatMap((item) => {
+      const question = summaryEvidenceLine(item.summary, TRUNC.DECISION_SUMMARY);
+      const answer = item.answer ? summaryEvidenceLine(item.answer, TRUNC.USER_RESPONSE) : "";
+      return answer ? [item.summary, item.answer, question + " \u2192 " + answer] : [item.summary];
+    })
+  ];
+  return Array.from(new Set(texts.map((text) => normalizeFactKey(text.replace(/\*\*/g, ""))).filter(Boolean)));
+}
+function outcomeClaims(summary, pathEvidence, evidenceCorpus = []) {
   const pathLines = new Set(Array.from(pathEvidence, ([path, display]) => [path, display, "`" + path + "`"]).flat());
-  return Array.from(new Set(summary.split(/\r?\n/).map((line) => line.replace(/^\s*(?:[-*+]|\d+[.)])\s+/, "").replace(/^\[[ x]\]\s+/i, "").trim()).filter((line) => line.length > 0 && !line.startsWith("#") && !pathLines.has(line)).filter((line) => HIGH_RISK_OUTCOME_RE.test(line)).filter((line) => /\bno\s+(?:errors?|failures?)\b/i.test(line) || !NEGATED_OUTCOME_RE.test(line)))).slice(0, 12);
+  return Array.from(new Set(summary.split(/\r?\n/).map((line) => line.replace(/^\s*(?:[-*+]|\d+[.)])\s+/, "").replace(/^\[[ x]\]\s+/i, "").trim()).filter((line) => line.length > 0 && !line.startsWith("#") && !pathLines.has(line)).filter((line) => HIGH_RISK_OUTCOME_RE.test(line)).filter((line) => !isRequiredEvidenceLine(line, evidenceCorpus)).filter((line) => /\bno\s+(?:errors?|failures?)\b/i.test(line) || !NEGATED_OUTCOME_RE.test(line)))).slice(0, 12);
 }
 function classifyOutcomeClaim(claim) {
   const lower = claim.toLowerCase();
@@ -6788,8 +6820,9 @@ function stemToken(token) {
     return lower.slice(0, -1);
   return lower;
 }
+var EVIDENCE_LABEL_PREFIX_RE = /^\s*(?:(?:\*\*)?(?:Constraint|Goal|Decision|Critical|Open loop|Unresolved error|Resolved error):(?:\*\*)?\s*)+/i;
 function semanticTokens(text) {
-  const normalized = text.normalize("NFKC").replace(/[\u{2018}\u{2019}\u{02BC}`\u{00B4}]/gu, "'").replace(/\bcannot\b/gi, "can not").replace(/\b(\w+)n't\b/gi, "$1 not").replace(/^\s*(?:Constraint|Goal|Decision):\s*/i, "");
+  const normalized = text.normalize("NFKC").replace(/[\u{2018}\u{2019}\u{02BC}`\u{00B4}]/gu, "'").replace(/\bcannot\b/gi, "can not").replace(/\b(\w+)n't\b/gi, "$1 not").replace(EVIDENCE_LABEL_PREFIX_RE, "");
   return (normalized.match(/[\p{L}\p{N}_-]+/gu) ?? []).map(stemToken).filter((token) => token.length > 2 || NEGATION_MARKERS.has(token));
 }
 var semanticShapeCache = new Map;
@@ -6861,14 +6894,15 @@ function hasSemanticEvidence(source, target) {
     return true;
   });
 }
-function hasSemanticContradiction(source, target) {
+function hasSemanticContradiction(source, target, exempt) {
   const sourceFragments = new Set(semanticFragments(source).map((tokens) => tokens.join(" ")));
   const { sourceTokens, concepts, anchor, negative, conditional } = semanticShape(source);
   if (!anchor)
     return false;
   const required = Math.min(concepts.length, Math.max(1, Math.ceil(concepts.length * 0.6)));
   return semanticFragments(target).some((tokens) => {
-    if (!tokens.includes(anchor) || sourceFragments.has(tokens.join(" ")))
+    const key = tokens.join(" ");
+    if (!tokens.includes(anchor) || sourceFragments.has(key) || exempt?.has(key))
       return false;
     const overlap = concepts.filter((concept) => tokens.includes(concept)).length;
     if (overlap < required)
@@ -7151,7 +7185,8 @@ function collectVerificationEvidence(extraction, continuity, evidence) {
   const steeringConstraints = [];
   if (evidence.steering?.focus?.trim()) {
     steeringConstraints.push({
-      text: "Preserve detail about: " + evidence.steering.focus
+      text: "Preserve detail about: " + evidence.steering.focus,
+      topic: true
     });
   }
   if (evidence.steering?.note?.trim()) {
@@ -7250,7 +7285,48 @@ function verifyErrorEvidence(normalizedSummary, collected, accumulator) {
     }
   }
 }
-function verifySemanticCoverage(parsed, collected, accumulator) {
+var EVIDENCE_RENDER_LIMITS = [
+  TRUNC.CONSTRAINT_TEXT,
+  TRUNC.MESSAGE,
+  TRUNC.PREVIEW_MID,
+  TRUNC.PREVIEW,
+  TRUNC.DECISION_SUMMARY,
+  TRUNC.USER_RESPONSE,
+  TRUNC.DETAIL,
+  TRUNC.TOPIC_LABEL
+];
+function requiredEvidenceKeysByPolarity(collected, continuity) {
+  const texts = [
+    ...collected.constraints.flatMap((item) => item.topic ? [] : [item.text]),
+    ...collected.decisions.flatMap((item) => item.answer ? [item.summary, item.answer] : [item.summary]),
+    ...collected.goal ? [collected.goal] : [],
+    ...continuity?.criticalContext ?? []
+  ];
+  const polarityFree = [
+    ...collected.constraints.flatMap((item) => item.topic ? [item.text] : []),
+    ...collected.unresolved.map((item) => item.message),
+    ...collected.resolved.map((item) => item.message)
+  ];
+  const keys = { negative: new Set, positive: new Set };
+  const addVariants = (text, buckets) => {
+    const variants = [text, ...EVIDENCE_RENDER_LIMITS.map((max) => summaryEvidenceLine(text, max))];
+    for (const variant of variants) {
+      for (const tokens of semanticFragments(variant)) {
+        for (const bucket of buckets)
+          bucket.add(tokens.join(" "));
+      }
+    }
+  };
+  for (const text of texts) {
+    addVariants(text, [semanticShape(text).negative ? keys.negative : keys.positive]);
+  }
+  for (const text of polarityFree)
+    addVariants(text, [keys.negative, keys.positive]);
+  return keys;
+}
+function verifySemanticCoverage(parsed, collected, continuity, accumulator) {
+  const evidenceKeys = requiredEvidenceKeysByPolarity(collected, continuity);
+  const exemptFor = (source) => semanticShape(source).negative ? evidenceKeys.negative : evidenceKeys.positive;
   const constraintTarget = [
     findSection(parsed, "constraints")?.body ?? "",
     findSection(parsed, "critical-context")?.body ?? ""
@@ -7260,7 +7336,7 @@ function verifySemanticCoverage(parsed, collected, accumulator) {
     if (!hasSemanticEvidence(constraint.text, constraintTarget)) {
       addGap(accumulator, { kind: "missing-constraint", text: constraint.text }, 8);
     }
-    if (hasSemanticContradiction(constraint.text, constraintTarget)) {
+    if (hasSemanticContradiction(constraint.text, constraintTarget, exemptFor(constraint.text))) {
       addGap(accumulator, {
         kind: "inconsistency",
         detail: "semantic-contradiction: constraint contradicts " + constraint.text.slice(0, TRUNC.SNIPPET)
@@ -7272,7 +7348,7 @@ function verifySemanticCoverage(parsed, collected, accumulator) {
     if (!hasSemanticEvidence(collected.goal, goalTarget)) {
       addGap(accumulator, { kind: "missing-goal", goal: collected.goal }, 12);
     }
-    if (hasSemanticContradiction(collected.goal, goalTarget)) {
+    if (hasSemanticContradiction(collected.goal, goalTarget, exemptFor(collected.goal))) {
       addGap(accumulator, {
         kind: "inconsistency",
         detail: "semantic-contradiction: goal polarity or condition changed"
@@ -7298,7 +7374,7 @@ function verifySemanticCoverage(parsed, collected, accumulator) {
         detail: "decision-answer-conflict: summary carries a different active answer for " + decision.summary.slice(0, TRUNC.SNIPPET)
       }, 20);
     }
-    if (hasSemanticContradiction(decision.summary, decisionQuestionBody)) {
+    if (hasSemanticContradiction(decision.summary, decisionQuestionBody, exemptFor(decision.summary))) {
       addGap(accumulator, {
         kind: "inconsistency",
         detail: "semantic-contradiction: decision contradicts " + decision.summary.slice(0, TRUNC.SNIPPET)
@@ -7389,7 +7465,8 @@ function verifyOpenLoopsAndClaims(summary, parsed, paths, extraction, continuity
   if (!evidence.sourceMessages)
     return;
   const tools = successfulToolEvidence(evidence.sourceMessages);
-  for (const claim of outcomeClaims(summary, paths.rendered)) {
+  const evidenceCorpus = requiredEvidenceCorpus(collected, continuity);
+  for (const claim of outcomeClaims(summary, paths.rendered, evidenceCorpus)) {
     if (!successfulToolSupportsClaim(claim, tools, extraction)) {
       addGap(accumulator, { kind: "unsupported-claim", claim }, 20);
     }
@@ -7402,7 +7479,7 @@ function verifySummary(summary, extraction, continuity = null, evidence = {}) {
   verifyRequiredSections(parsed, accumulator);
   const paths = verifyPathCoverage(parsed, extraction, continuity, evidence, accumulator);
   verifyErrorEvidence(summary.toLowerCase().replace(/\\/g, "/").replace(/\s+/g, " "), collected, accumulator);
-  verifySemanticCoverage(parsed, collected, accumulator);
+  verifySemanticCoverage(parsed, collected, continuity, accumulator);
   verifyFileReferences(summary, extraction, continuity, evidence, collected, paths, accumulator);
   verifyProgressConsistency(parsed, extraction, collected, paths, accumulator);
   verifyOpenLoopsAndClaims(summary, parsed, paths, extraction, continuity, evidence, collected, accumulator);
@@ -7498,7 +7575,7 @@ function patchDeterministic(summary, gaps, extraction, continuity = null, eviden
         break;
       }
       case "missing-constraint":
-        canonical = appendToSection(canonical, "constraints", "- " + safe(gap.text, TRUNC.CONSTRAINT_TEXT));
+        canonical = appendToSection(canonical, "constraints", "- " + safe(gap.text, gap.text.length));
         break;
       case "missing-decision": {
         const question = safe(gap.summary, TRUNC.DECISION_SUMMARY);
@@ -7507,7 +7584,7 @@ function patchDeterministic(summary, gaps, extraction, continuity = null, eviden
         break;
       }
       case "missing-goal":
-        canonical = upsertSection(canonical, "goal", safe(gap.goal, TRUNC.DETAIL) || "Continue the current task.");
+        canonical = upsertSection(canonical, "goal", safe(gap.goal, gap.goal.length) || "Continue the current task.");
         break;
       case "missing-open-loops": {
         const current = extraction.errors.filter((error) => !error.resolved).map((error) => safe(error.message, TRUNC.SNIPPET)).filter(Boolean).map((message) => "- [high] Resolve " + message);
@@ -11909,22 +11986,22 @@ async function assembleLLM(summaries, extraction, report, model, auth, budget, p
     throw new Error("Assembly truncated output");
   return assembled;
 }
-function assembleFallback(summaries, extraction, steering = {}, budgetTokens = 6000, continuity = null) {
+function assembleFallback(summaries, extraction, steering = {}, budgetTokens = 6000, continuity = null, factOverrides = []) {
   const safe = (value, max = TRUNC.PREVIEW_MID) => summaryEvidenceLine(value, max);
+  const whole = (value) => summaryEvidenceLine(value, value.length);
   const files = deterministicFileEvidence(extraction, budgetTokens, continuity);
   const detModified = files.modified;
   const detRead = files.read;
   const detDeleted = files.deleted;
-  const unresolved = extraction.errors.filter((error) => !error.resolved).map((error) => safe(error.message, TRUNC.PREVIEW)).filter(Boolean);
-  const resolved = extraction.errors.filter((error) => error.resolved).slice(-5).map((error) => safe(error.message, TRUNC.PREVIEW)).filter(Boolean);
-  const constraints = extraction.constraints.map((item) => "- " + safe(item.text, TRUNC.CONSTRAINT_TEXT)).filter((line) => line !== "- ");
-  if (steering.focus?.trim())
-    constraints.push("- [focus] Preserve detail about: " + safe(steering.focus, TRUNC.CONSTRAINT_TEXT));
-  if (steering.note?.trim())
-    constraints.push("- [note] " + safe(steering.note, TRUNC.CONSTRAINT_TEXT));
-  const decisions = collapseDecisionsByQuestion(extraction.decisions).map((item) => {
-    const summary = safe(item.summary, TRUNC.DECISION_SUMMARY);
-    const response = item.userResponse ? safe(item.userResponse, TRUNC.USER_RESPONSE) : "";
+  const required = collectVerificationEvidence(extraction, continuity, {
+    steering,
+    factOverrides
+  });
+  const unresolved = required.unresolved.map((error) => safe(error.message, TRUNC.PREVIEW)).filter(Boolean);
+  const constraints = required.constraints.map((item) => "- " + whole(item.text)).filter((line) => line !== "- ");
+  const decisions = required.decisions.map((item) => {
+    const summary = whole(item.summary);
+    const response = item.answer ? whole(item.answer) : "";
     return summary ? "- **" + summary + "**" + (response ? " \u2192 " + response : "") : "";
   }).filter(Boolean);
   const inProgress = summaries.filter((item) => item.priority === "critical" || item.priority === "high").map((item) => safe(item.summary, TRUNC.PREVIEW)).filter(Boolean).map((item) => "- [ ] " + item);
@@ -11933,13 +12010,12 @@ function assembleFallback(summaries, extraction, steering = {}, budgetTokens = 6
   }
   inProgress.push(...detModified.slice(-5).map((file) => "- [ ] Continue work in " + file));
   const next = safe(extraction.lastUserMessages.at(-1) ?? extraction.timeline.at(-1)?.summary ?? "", TRUNC.PREVIEW) || "Continue from the latest preserved context.";
-  const goal = safe(extraction.mainGoal ?? "", TRUNC.DETAIL) || "Continue the current task.";
+  const goal = whole(required.goal ?? "") || "Continue the current task.";
   const overflow = Object.entries(extraction.evidenceOverflow ?? {}).filter(([, count]) => typeof count === "number" && count > 0).map(([kind, count]) => "- Safety bound omitted " + count + " older " + kind + " item(s) from the human summary.");
   const critical = [
-    ...unresolved.map((error) => "- Unresolved error: " + safe(error, TRUNC.TOPIC_LABEL)),
-    ...resolved.map((error) => "- Resolved error: " + safe(error, TRUNC.TOPIC_LABEL)),
-    ...overflow
-  ];
+    ...required.unresolved.map((error) => "- Unresolved error: " + safe(error.message, TRUNC.TOPIC_LABEL)),
+    ...required.resolved.map((error) => "- Resolved error: " + safe(error.message, TRUNC.TOPIC_LABEL))
+  ].filter((line) => !/: $/.test(line));
   return [
     "## Goal",
     goal,
@@ -11974,6 +12050,7 @@ function assembleFallback(summaries, extraction, steering = {}, budgetTokens = 6
     ...critical.length ? critical : ["- None recorded."],
     "",
     "## Topics Covered",
+    ...overflow,
     ...summaries.length ? summaries.map((item) => {
       const topic = safe(item.topic, TRUNC.TOPIC_LABEL) || "Segment";
       return "- **" + topic + "** [" + item.priority + "]: " + safe(item.summary);
@@ -12098,7 +12175,7 @@ async function summarizeConversation(rc) {
       phaseName: "Synthesize",
       detail: "Building a deterministic continuation summary \xB7 no LLM call"
     });
-    const finalSummary = assembleFallback([], extraction, { focus: rc.focus, note: rc.userNote }, pc.summaryBudgetTokens, rc.previousState);
+    const finalSummary = assembleFallback([], extraction, { focus: rc.focus, note: rc.userNote }, pc.summaryBudgetTokens, rc.previousState, rc.factOverrides);
     setCachedSynthesis(cacheKey, {
       finalSummary,
       method: "heuristic",
@@ -12160,7 +12237,7 @@ async function summarizeConversation(rc) {
       phaseName: "Synthesize",
       detail: "Summary route unavailable \xB7 building a deterministic summary"
     });
-    finalSummary = assembleFallback([], extraction, { focus: rc.focus, note: rc.userNote }, pc.summaryBudgetTokens, rc.previousState);
+    finalSummary = assembleFallback([], extraction, { focus: rc.focus, note: rc.userNote }, pc.summaryBudgetTokens, rc.previousState, rc.factOverrides);
     method = "heuristic";
   } else if (singleRequest) {
     showProgressOverlay(rc.ctx, {
@@ -12181,7 +12258,7 @@ async function summarizeConversation(rc) {
       generationFallbacks.push("single-pass generation failed");
       recordIssue({ key: "synth.single-pass", message: "Single-pass synthesis used deterministic fallback (" + errorDetail(err) + ").", error: err });
       rc.notify("Single-pass generation stopped \xB7 using deterministic fallback [" + formatGenerationFailureForUi(err) + "]", "info");
-      finalSummary = assembleFallback([], extraction, { focus: rc.focus, note: rc.userNote }, pc.summaryBudgetTokens, rc.previousState);
+      finalSummary = assembleFallback([], extraction, { focus: rc.focus, note: rc.userNote }, pc.summaryBudgetTokens, rc.previousState, rc.factOverrides);
       method = "heuristic";
     }
   } else {
@@ -12388,7 +12465,7 @@ async function summarizeConversation(rc) {
       recordIssue({ key: "synth.assembly", message: "Assembly used deterministic fallback (" + errorDetail(err) + ").", error: err });
       rc.notify("Assembly stopped \xB7 using deterministic fallback [" + formatGenerationFailureForUi(err) + "]", "info");
       method = "heuristic";
-      finalSummary = assembleFallback(summaries, extraction, { focus: rc.focus, note: rc.userNote }, pc.summaryBudgetTokens, rc.previousState);
+      finalSummary = assembleFallback(summaries, extraction, { focus: rc.focus, note: rc.userNote }, pc.summaryBudgetTokens, rc.previousState, rc.factOverrides);
     }
   }
   rc.cancellation.signal.throwIfAborted();
@@ -12494,7 +12571,7 @@ async function verifyAndPatch(rc) {
       detail: "Trying the deterministic safety summary",
       explorationRounds: rc.explorationRounds
     });
-    let deterministic = assembleFallback([], extraction, evidence.steering, summaryBudgetTokens, rc.previousState);
+    let deterministic = assembleFallback([], extraction, evidence.steering, summaryBudgetTokens, rc.previousState, rc.factOverrides);
     let deterministicVerification = verifySummary(deterministic, extraction, rc.previousState, evidence);
     const repaired = repairSummaryDeterministically(deterministic, deterministicVerification, extraction, rc.previousState, evidence);
     deterministic = repaired.summary;

package/dist/phases/synthesize.d.ts

@@ -2,7 +2,7 @@
  * Phase 3: Hierarchical Synthesis.
  */
 import type { Model, Api, Context, ProviderHeaders } from "@earendil-works/pi-ai";
-import type { LlmMessage, LlmChunk, ChunkSummary, StructuredExtraction, ExplorationReport, ProfileConfig, CompactionState } from "../types.ts";
+import type { LlmMessage, LlmChunk, ChunkSummary, StructuredExtraction, ExplorationReport, ProfileConfig, CompactionState, ContinuityOverride } from "../types.ts";
 import { type TokenEstimator } from "../utils/tokens.ts";
 import { type SmartCompactServices } from "../infra/services.ts";
 /** A provider response completed, but did not satisfy the batch-output contract. */
@@ -41,10 +41,19 @@ export declare function assembleLLM(summaries: ChunkSummary[], extraction: Struc
     apiKey: string;
     headers?: ProviderHeaders;
 }, budget: number, prevContext: string, signal?: AbortSignal, services?: SmartCompactServices, focus?: string, continuity?: CompactionState | null): Promise<string>;
+/**
+ * Deterministic quality floor. Its Goal, Constraints, Key Decisions, Blocked
+ * and Critical Context sections render exactly the evidence the verifier
+ * requires ({@link collectVerificationEvidence}: live, high-confidence,
+ * non-retired constraints; explicit decisions collapsed to one active answer;
+ * continuity-merged errors and goal). A line the verifier does not require
+ * is a line it may score as a contradiction, which is not deterministically
+ * repairable; the floor therefore adds nothing of its own to those sections.
+ */
 export declare function assembleFallback(summaries: ChunkSummary[], extraction: StructuredExtraction, steering?: {
     focus?: string;
     note?: string;
-}, budgetTokens?: number, continuity?: CompactionState | null): string;
+}, budgetTokens?: number, continuity?: CompactionState | null, factOverrides?: readonly ContinuityOverride[]): string;
 /**
  * Build a placeholder {@link ChunkSummary} when a batch's LLM call failed, so the
  * assembly step still has something deterministic to merge rather than

package/dist/phases/synthesize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"synthesize.d.ts","sourceRoot":"","sources":["../../src/phases/synthesize.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,KAAK,EACX,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,MAAM,aAAa,CAAC;AAYrB,OAAO,EAGN,KAAK,cAAc,EACnB,MAAM,oBAAoB,CAAC;AAY5B,OAAO,EAAsB,KAAK,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AA0BrF,oFAAoF;AACpF,qBAAa,uBAAwB,SAAQ,KAAK;IACjD,QAAQ,CAAC,IAAI,6BAA6B;IAE1C,YAAY,MAAM,EAAE,MAAM,EAEzB;CACD;AAoRD,wBAAgB,gBAAgB,CAC/B,IAAI,EAAE,UAAU,EAAE,EAClB,UAAU,EAAE,OAAO,aAAa,EAAE,aAAa,EAAE,EACjD,EAAE,EAAE,aAAa,EACjB,SAAS,GAAE,cAAqC,EAChD,KAAK,CAAC,EAAE,MAAM,GACZ,QAAQ,EAAE,CAwGZ;AAED,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,oBAAoB;;;;;IAOxE;AAED,MAAM,WAAW,gBAAgB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CAClB;AAED,qFAAqF;AACrF,wBAAgB,sBAAsB,CACrC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,iBAAiB,GAAG,IAAI,EAChC,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,YAAY,EAAE,MAAM,EACpB,KAAK,CAAC,EAAE,MAAM,GACZ,gBAAgB,CAuClB;AAED,wBAAsB,iBAAiB,CACtC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,CAAC,CAAA;CAAE,CAAC,CAkB3C;AAED,wBAAgB,iBAAiB,CAChC,KAAK,EAAE,QAAQ,EAAE,EACjB,UAAU,EAAE,oBAAoB,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,eAAe,CAAC,EAAE,MAAM,GACtB,gBAAgB,GAAG;IAAE,aAAa,EAAE,MAAM,CAAA;CAAE,CAwD9C;AAED,wBAAsB,cAAc,CACnC,KAAK,EAAE,QAAQ,EAAE,EACjB,UAAU,EAAE,oBAAoB,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,EAC/B,eAAe,CAAC,EAAE,MAAM,EACxB,UAAU,CAAC,EAAE,MAAM,GACjB,OAAO,CAAC,YAAY,EAAE,CAAC,CAsIzB;AA6BD,wBAAsB,WAAW,CAChC,SAAS,EAAE,YAAY,EAAE,EACzB,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,iBAAiB,GAAG,IAAI,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,EAC/B,KAAK,CAAC,EAAE,MAAM,EACd,UAAU,GAAE,eAAe,GAAG,IAAW,GACvC,OAAO,CAAC,MAAM,CAAC,CAwDjB;AAED,wBAAgB,gBAAgB,CAC/B,SAAS,EAAE,YAAY,EAAE,EACzB,UAAU,EAAE,oBAAoB,EAChC,QAAQ,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAO,EAChD,YAAY,GAAE,MAAc,EAC5B,UAAU,GAAE,eAAe,GAAG,IAAW,GACvC,MAAM,CA0IR;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,QAAQ,GAAG,YAAY,CAiB7D"}
+{"version":3,"file":"synthesize.d.ts","sourceRoot":"","sources":["../../src/phases/synthesize.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,KAAK,EACX,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,MAAM,aAAa,CAAC;AAYrB,OAAO,EAGN,KAAK,cAAc,EACnB,MAAM,oBAAoB,CAAC;AAY5B,OAAO,EAAsB,KAAK,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AA0BrF,oFAAoF;AACpF,qBAAa,uBAAwB,SAAQ,KAAK;IACjD,QAAQ,CAAC,IAAI,6BAA6B;IAE1C,YAAY,MAAM,EAAE,MAAM,EAEzB;CACD;AAoRD,wBAAgB,gBAAgB,CAC/B,IAAI,EAAE,UAAU,EAAE,EAClB,UAAU,EAAE,OAAO,aAAa,EAAE,aAAa,EAAE,EACjD,EAAE,EAAE,aAAa,EACjB,SAAS,GAAE,cAAqC,EAChD,KAAK,CAAC,EAAE,MAAM,GACZ,QAAQ,EAAE,CAwGZ;AAED,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,oBAAoB;;;;;IAOxE;AAED,MAAM,WAAW,gBAAgB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CAClB;AAED,qFAAqF;AACrF,wBAAgB,sBAAsB,CACrC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,iBAAiB,GAAG,IAAI,EAChC,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,YAAY,EAAE,MAAM,EACpB,KAAK,CAAC,EAAE,MAAM,GACZ,gBAAgB,CAuClB;AAED,wBAAsB,iBAAiB,CACtC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,CAAC,CAAA;CAAE,CAAC,CAkB3C;AAED,wBAAgB,iBAAiB,CAChC,KAAK,EAAE,QAAQ,EAAE,EACjB,UAAU,EAAE,oBAAoB,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,eAAe,CAAC,EAAE,MAAM,GACtB,gBAAgB,GAAG;IAAE,aAAa,EAAE,MAAM,CAAA;CAAE,CAwD9C;AAED,wBAAsB,cAAc,CACnC,KAAK,EAAE,QAAQ,EAAE,EACjB,UAAU,EAAE,oBAAoB,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,EAC/B,eAAe,CAAC,EAAE,MAAM,EACxB,UAAU,CAAC,EAAE,MAAM,GACjB,OAAO,CAAC,YAAY,EAAE,CAAC,CAsIzB;AA6BD,wBAAsB,WAAW,CAChC,SAAS,EAAE,YAAY,EAAE,EACzB,UAAU,EAAE,oBAAoB,EAChC,MAAM,EAAE,iBAAiB,GAAG,IAAI,EAChC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EACjB,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EACnD,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,MAAM,CAAC,EAAE,WAAW,EACpB,QAAQ,CAAC,EAAE,oBAAoB,EAC/B,KAAK,CAAC,EAAE,MAAM,EACd,UAAU,GAAE,eAAe,GAAG,IAAW,GACvC,OAAO,CAAC,MAAM,CAAC,CAwDjB;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC/B,SAAS,EAAE,YAAY,EAAE,EACzB,UAAU,EAAE,oBAAoB,EAChC,QAAQ,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAO,EAChD,YAAY,GAAE,MAAc,EAC5B,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,aAAa,GAAE,SAAS,kBAAkB,EAAO,GAC/C,MAAM,CAqIR;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,QAAQ,GAAG,YAAY,CAiB7D"}

package/dist/phases/verify.d.ts

@@ -28,7 +28,7 @@ export declare class VerificationGateError extends Error {
     readonly gapCount: number;
     constructor(result: VerificationResult, initialScore: number, stage: VerificationGateStage);
 }
-export declare function hasSemanticContradiction(source: string, target: string): boolean;
+export declare function hasSemanticContradiction(source: string, target: string, exempt?: ReadonlySet<string>): boolean;
 /**
  * True when `release` (a later user message) frees `constraint`.
  *
@@ -48,6 +48,31 @@ export declare function repairSummaryDeterministically(summary: string, result:
     result: VerificationResult;
     patched: VerificationGap[];
 };
+export interface CollectedVerificationEvidence {
+    unresolved: Array<{
+        message: string;
+    }>;
+    resolved: Array<{
+        message: string;
+    }>;
+    /** `topic` marks the steering focus: a subject pointer, not a rule with polarity. */
+    constraints: Array<{
+        text: string;
+        topic?: boolean;
+    }>;
+    decisions: Array<{
+        summary: string;
+        answer: string | null;
+    }>;
+    goal: string | null;
+}
+/**
+ * The evidence the verifier requires a summary to carry. Exported so the
+ * deterministic floor renders exactly this set: any line the floor adds that
+ * the verifier does not require is a line the verifier may score as a defect,
+ * and a floor that fails its own gate leaves a session uncompactable.
+ */
+export declare function collectVerificationEvidence(extraction: StructuredExtraction, continuity: CompactionState | null, evidence: VerificationEvidence): CollectedVerificationEvidence;
 export declare function verifySummary(summary: string, extraction: StructuredExtraction, continuity?: CompactionState | null, evidence?: VerificationEvidence): VerificationResult;
 /** Apply every safe, deterministic repair. Hallucination/inconsistency gaps stay visible for LLM/user review. */
 export declare function patchDeterministic(summary: string, gaps: VerificationGap[], extraction: StructuredExtraction, continuity?: CompactionState | null, evidence?: VerificationEvidence): string;

package/dist/phases/verify.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/phases/verify.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACX,KAAK,EACL,GAAG,EACH,OAAO,EACP,eAAe,EAEf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EACX,eAAe,EACf,kBAAkB,EAClB,oBAAoB,EACpB,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,UAAU,EACV,MAAM,aAAa,CAAC;AAsCrB,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,MAAM,WAAW,oBAAoB;IACpC,cAAc,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7C,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,qEAAqE;IACrE,aAAa,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC9C;AAiTD,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,eAAe,GAAG,MAAM,CAsClE;AAED,wBAAgB,0BAA0B,CACzC,MAAM,EAAE,kBAAkB,GACxB,MAAM,GAAG,IAAI,CAcf;AAED,wFAAwF;AACxF,qBAAa,qBAAsB,SAAQ,KAAK;IAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B,YACC,MAAM,EAAE,kBAAkB,EAC1B,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,qBAAqB,EAW5B;CACD;AA2TD,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAgChF;AA0ND;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAwB/E;AAED,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,eAAe,GAAG,OAAO,CAK1E;AAED,qGAAqG;AACrG,wBAAgB,8BAA8B,CAC7C,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,kBAAkB,EAC1B,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,EACnC,SAAS,SAAI,GACX;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAC;IAAC,OAAO,EAAE,eAAe,EAAE,CAAA;CAAE,CAyB7E;AAqpBD,wBAAgB,aAAa,CAC5B,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,GACjC,kBAAkB,CA4CpB;AAED,iHAAiH;AACjH,wBAAgB,kBAAkB,CACjC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,eAAe,EAAE,EACvB,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,GACjC,MAAM,CAwNR;AA0BD;;;;;sDAKsD;AACtD,wBAAgB,wBAAwB,CACvC,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,OAAO,GACjB,OAAO,CAST;AAUD,wBAAgB,iBAAiB,CAChC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,GACzD;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAczC;AAED,wBAAsB,YAAY,CACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAC3D,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EAAE,MAAM,CAAC,EAAE,WAAW,EACzE,QAAQ,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC,MAAM,CAAC,CAkCjB"}
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/phases/verify.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACX,KAAK,EACL,GAAG,EACH,OAAO,EACP,eAAe,EAEf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EACX,eAAe,EACf,kBAAkB,EAClB,oBAAoB,EACpB,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,UAAU,EACV,MAAM,aAAa,CAAC;AAsCrB,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,MAAM,WAAW,oBAAoB;IACpC,cAAc,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7C,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,qEAAqE;IACrE,aAAa,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC9C;AAmWD,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,eAAe,GAAG,MAAM,CAsClE;AAED,wBAAgB,0BAA0B,CACzC,MAAM,EAAE,kBAAkB,GACxB,MAAM,GAAG,IAAI,CAcf;AAED,wFAAwF;AACxF,qBAAa,qBAAsB,SAAQ,KAAK;IAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B,YACC,MAAM,EAAE,kBAAkB,EAC1B,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,qBAAqB,EAW5B;CACD;AAoUD,wBAAgB,wBAAwB,CACvC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAC1B,OAAO,CAoCT;AA0ND;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAwB/E;AAED,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,eAAe,GAAG,OAAO,CAK1E;AAED,qGAAqG;AACrG,wBAAgB,8BAA8B,CAC7C,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,kBAAkB,EAC1B,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,EACnC,SAAS,SAAI,GACX;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAC;IAAC,OAAO,EAAE,eAAe,EAAE,CAAA;CAAE,CAyB7E;AAOD,MAAM,WAAW,6BAA6B;IAC7C,UAAU,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACvC,QAAQ,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrC,qFAAqF;IACrF,WAAW,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACtD,SAAS,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CACpB;AAoOD;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAC1C,UAAU,EAAE,oBAAoB,EAChC,UAAU,EAAE,eAAe,GAAG,IAAI,EAClC,QAAQ,EAAE,oBAAoB,GAC5B,6BAA6B,CAkF/B;AAwZD,wBAAgB,aAAa,CAC5B,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,GACjC,kBAAkB,CA4CpB;AAED,iHAAiH;AACjH,wBAAgB,kBAAkB,CACjC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,eAAe,EAAE,EACvB,UAAU,EAAE,oBAAoB,EAChC,UAAU,GAAE,eAAe,GAAG,IAAW,EACzC,QAAQ,GAAE,oBAAyB,GACjC,MAAM,CA2NR;AA0BD;;;;;sDAKsD;AACtD,wBAAgB,wBAAwB,CACvC,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,OAAO,GACjB,OAAO,CAST;AAUD,wBAAgB,iBAAiB,CAChC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,GACzD;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAczC;AAED,wBAAsB,YAAY,CACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAC3D,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,eAAe,CAAA;CAAE,EAAE,MAAM,CAAC,EAAE,WAAW,EACzE,QAAQ,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC,MAAM,CAAC,CAkCjB"}

package/dist/rtk.js

@@ -198,7 +198,7 @@ class SecretScrubber {
 }
 
 // src/constants.ts
-var VERSION = "10.1.0";
+var VERSION = "10.1.2";
 var OPTIONAL_COMPONENTS = {
   mnemopi: { name: "@oh-my-pi/pi-mnemopi", version: "18.3.1", enables: "Mnemopi memory store" },
   bun: { name: "bun", version: "1.4.2", enables: "Mnemopi worker runtime when no Bun 1.3.14+ is on PATH" },
@@ -209,7 +209,7 @@ var MIN_COMPACTION_SAVING_RATIO = 0.1;
 var ESTIMATOR_ROUNDING_TOLERANCE_TOKENS = 1;
 var POST_SUMMARY_RESERVE_RATIO = 0.25;
 var MAX_STATE_OPEN_LOOPS = 25;
-var AUTO_TRIGGER_TIMEOUT_CAP_MS = 60000;
+var AUTO_TRIGGER_TIMEOUT_CAP_MS = 300000;
 var AUTO_TRIGGER_MAX_LLM_CALLS = 4;
 var SETTLED_TRIGGER_COOLDOWN_MS = 10 * 60000;
 var REBUILD_MIN_TOKENS = 16384;
@@ -293,7 +293,7 @@ var DEFAULT_CONFIG = {
   autoTrigger: true,
   showStatus: true,
   autoTriggerStrategy: "settled",
-  autoTriggerTimeoutMs: 120000,
+  autoTriggerTimeoutMs: 300000,
   backupEnabled: true,
   backupDir: "",
   minContextPercent: 80,

package/dist/utils/extraction.d.ts

@@ -73,6 +73,7 @@ export declare function collapseDecisionsByQuestion<T extends {
     summary: string;
     userResponse?: string;
 }>(items: readonly T[]): T[];
+export declare function isHarnessInjectedText(text: string): boolean;
 export declare function extractDecisions(msgs: LlmMessage[], _tcIdx?: ToolCallIndex): StructuredExtraction["decisions"];
 export declare function isDiagnosticConstraintText(text: string): boolean;
 /**

package/dist/utils/extraction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"extraction.d.ts","sourceRoot":"","sources":["../../src/utils/extraction.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,EACV,UAAU,EACV,aAAa,EACb,oBAAoB,EACpB,QAAQ,EACR,eAAe,EAChB,MAAM,aAAa,CAAC;AA2BrB,iFAAiF;AACjF,eAAO,MAAM,WAAW,QAAW,CAAC;AAMpC,oCAAoC;AACpC,MAAM,MAAM,aAAa,GAAG,GAAG,CAC7B,MAAM,EACN;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CACvE,CAAC;AAEF,iFAAiF;AACjF,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,oFAAoF;AACpF,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,EACjB,QAAQ,CAAC,EAAE,OAAO,GACjB,MAAM,CAMR;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,OAAO,GAAG,YAAY,EAAE,CAgB/D;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAUpD;AAWD,yFAAyF;AACzF,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,eAAe,EAAE,CA4C7E;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,UAAU,EAAE,GAAG,aAAa,CAmC7E;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,UAAU,EAAE,EAClB,MAAM,CAAC,EAAE,aAAa,GACrB;IACD,QAAQ,EAAE,oBAAoB,CAAC,eAAe,CAAC,CAAC;IAChD,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAoFA;AAsCD;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAa7E;AAED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAU/D;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,UAAU,GAAG,SAAS,EAC9B,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,aAAa,GACnB,OAAO,CAYT;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,UAAU,EAAE,EAClB,MAAM,CAAC,EAAE,aAAa,GACrB,oBAAoB,CAAC,QAAQ,CAAC,CAoFhC;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAC1C,CAAC,SAAS;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EACnD,KAAK,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,CAoB1B;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,UAAU,EAAE,EAClB,MAAM,CAAC,EAAE,aAAa,GACrB,oBAAoB,CAAC,WAAW,CAAC,CA4CnC;AA2CD,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAKhE;AAiBD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAQ7D;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,UAAU,EAAE,GACjB,oBAAoB,CAAC,aAAa,CAAC,CAqCrC;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,UAAU,EAAE,EAClB,EAAE,EAAE,aAAa,EACjB,OAAO,SAAK,EACZ,MAAM,CAAC,EAAE,aAAa,GACrB,oBAAoB,CAAC,QAAQ,CAAC,CA6GhC;AA+CD,qFAAqF;AACrF,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAO5D;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,MAAM,GAAG,IAAI,CAoBjE;AA4BD,kEAAkE;AAClE,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,UAAU,EAAE,EAClB,UAAU,EAAE,oBAAoB,GAC/B,QAAQ,EAAE,CAiJZ;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,UAAU,EAAE,EAClB,EAAE,EAAE,aAAa,EACjB,gBAAgB,CAAC,EAAE,aAAa,GAC/B,oBAAoB,CAuEtB"}
+{"version":3,"file":"extraction.d.ts","sourceRoot":"","sources":["../../src/utils/extraction.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,EACV,UAAU,EACV,aAAa,EACb,oBAAoB,EACpB,QAAQ,EACR,eAAe,EAChB,MAAM,aAAa,CAAC;AA2BrB,iFAAiF;AACjF,eAAO,MAAM,WAAW,QAAW,CAAC;AAMpC,oCAAoC;AACpC,MAAM,MAAM,aAAa,GAAG,GAAG,CAC7B,MAAM,EACN;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CACvE,CAAC;AAEF,iFAAiF;AACjF,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,oFAAoF;AACpF,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,EACjB,QAAQ,CAAC,EAAE,OAAO,GACjB,MAAM,CAMR;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,OAAO,GAAG,YAAY,EAAE,CAgB/D;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAUpD;AAWD,yFAAyF;AACzF,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,eAAe,EAAE,CA4C7E;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,UAAU,EAAE,GAAG,aAAa,CAmC7E;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,UAAU,EAAE,EAClB,MAAM,CAAC,EAAE,aAAa,GACrB;IACD,QAAQ,EAAE,oBAAoB,CAAC,eAAe,CAAC,CAAC;IAChD,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAoFA;AAsCD;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAa7E;AAED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAU/D;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,UAAU,GAAG,SAAS,EAC9B,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,aAAa,GACnB,OAAO,CAYT;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,UAAU,EAAE,EAClB,MAAM,CAAC,EAAE,aAAa,GACrB,oBAAoB,CAAC,QAAQ,CAAC,CAoFhC;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAC1C,CAAC,SAAS;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EACnD,KAAK,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,CAoB1B;AAWD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE3D;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,UAAU,EAAE,EAClB,MAAM,CAAC,EAAE,aAAa,GACrB,oBAAoB,CAAC,WAAW,CAAC,CA6CnC;AA2CD,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAKhE;AAiBD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAQ7D;AAMD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,UAAU,EAAE,GACjB,oBAAoB,CAAC,aAAa,CAAC,CAyCrC;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,UAAU,EAAE,EAClB,EAAE,EAAE,aAAa,EACjB,OAAO,SAAK,EACZ,MAAM,CAAC,EAAE,aAAa,GACrB,oBAAoB,CAAC,QAAQ,CAAC,CAgHhC;AA+CD,qFAAqF;AACrF,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAO5D;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,MAAM,GAAG,IAAI,CAoBjE;AA4BD,kEAAkE;AAClE,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,UAAU,EAAE,EAClB,UAAU,EAAE,oBAAoB,GAC/B,QAAQ,EAAE,CAmJZ;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,UAAU,EAAE,EAClB,EAAE,EAAE,aAAa,EACjB,gBAAgB,CAAC,EAAE,aAAa,GAC/B,oBAAoB,CA0EtB"}

package/docs/README.md

@@ -46,23 +46,18 @@ state lives and how long it is retained.
 
 ## Historical evidence
 
-Reports are preserved as dated evidence. Their measurements, revision limits and
-warnings remain part of the record; they are not current setup instructions.
+Research reports and review findings are local, ignored artifacts under
+`docs/reports/` and `docs/findings/`, not tracked repository or npm content.
+Their dated measurements and revision limits are not current setup instructions
+or product guarantees. Earlier copies can still exist in Git history; removing
+tracking does not erase them. See the
+[evaluation guide](./evaluation.md#pilots-and-dated-reports) for evidence limits.
 
-- [Pilot and research reports on GitHub](https://github.com/alpertarhan/pi-smart-compact/tree/main/docs/reports):
-  context hygiene, AgentSession lifecycle, visual evidence, Hindsight/native
-  compaction research and the earlier provider baseline. The
-  [evaluation guide](./evaluation.md#pilots-and-dated-reports) explains each scope.
-- [Review findings on GitHub](https://github.com/alpertarhan/pi-smart-compact/blob/main/docs/findings/README.md):
-  the index of external-model and agent-harness audits, organized by reviewer
-  and date. Findings are advisory, not a release gate or product guarantee.
 - [v7 → v8 migration](./MIGRATING_TO_V8.md): instructions for that historical
   transition, **not** the current installation baseline.
 
-`docs/reports/` and `docs/findings/` are repository-only and excluded from npm.
-Links to those archives deliberately open GitHub, so this index also works from
-an installed package. User guides and brand assets ship with the package;
-developer source, tests and evaluation scripts do not.
+User guides and brand assets ship with the package; developer source, tests
+and evaluation scripts do not.
 
 A green scripted pilot does not establish live-model fidelity, billed savings
 or production readiness. Use the [evaluation limits](./evaluation.md) and

package/docs/RELEASE.md

@@ -28,9 +28,10 @@ package installation.
       `CHANGELOG.md`; never word a candidate entry as if the final release
       check or canary promotion already passed.
 - [ ] Update the guide, configuration, evaluation, architecture and migration
-      notes for behavior/config changes. Dated reports (`docs/reports/`) stay
-      historical and are not packed; add a new report or addendum instead of
-      rewriting them.
+      notes for behavior/config changes. Research reports (`docs/reports/`)
+      and review findings (`docs/findings/`) stay local, untracked and unpacked.
+      Preserve dated evidence; add local reports or addenda instead of rewriting
+      it. Existing copies in Git history are not erased by this policy.
 - [ ] On a major version change, update the supported-versions row in
       `SECURITY.md`; `release:audit` requires it to read ``Latest `<major>.x` ``.
 - [ ] For Claude subscription routes, pair the fresh candidate with the exact

package/docs/configuration.md

@@ -228,10 +228,10 @@ compaction is on.
 
 ### Automatic runs cap
 
-Automatic runs (native-hook, settled and background) are capped at **60
-seconds** and **four model calls**. `autoTriggerTimeoutMs` defaults to 120,000
-ms and accepts up to 300,000 ms, but the effective automatic deadline is
-`min(autoTriggerTimeoutMs × provider timeout multiplier, 60 s)`. The call cap is
+Automatic runs (native-hook, settled and background) are capped at **300
+seconds** and **four model calls**. `autoTriggerTimeoutMs` defaults to 300,000
+ms and accepts up to 300,000 ms; the effective automatic deadline is
+`min(autoTriggerTimeoutMs × provider timeout multiplier, 300 s)`. The call cap is
 `min(mode call budget, 4)`. When an automatic run times out or fails, it unwinds
 so Pi's own compactor can run.
 
@@ -269,7 +269,7 @@ For calls (`maxLlmCalls`) and prompt tokens (`maxLlmInputTokens`):
 | Per-run option (`--max-calls`, `max_calls`, ...) | Used as given, even above the mode limit |
 | Config value `0` | The mode limit |
 | Config value above `0` | `min(config value, mode limit)` |
-| Automatic run | Additionally capped at 4 calls and 60 s |
+| Automatic run | Additionally capped at 4 calls and 300 s |
 
 With the default `maxLlmCalls: 8`, every mode keeps its own limit, because 8 is
 not below any mode's call limit. A config value can only lower the limit.
@@ -517,7 +517,7 @@ Hindsight setup, data flow and troubleshooting:
 | `minContextPercent` | 0–100 | `80` | `Start at context %` |
 | `prepareContextPercent` | `null` or 0–100, below `minContextPercent` | `null` | `Cleanup / prepare at context %` |
 | `maxContextTokens` | `0` (off) or integer 16,384–2,000,000 | `0` | `Context cap for start % (tokens)` |
-| `autoTriggerTimeoutMs` | integer 1,000–300,000 | `120000` | `Automatic run time limit (ms)`; capped at 60 s |
+| `autoTriggerTimeoutMs` | integer 1,000–300,000 | `300000` | `Automatic run time limit (ms)`; capped at 300 s |
 | `compactionEngines` | ordered list of `eesv`, `native` | `["eesv"]` | `Engine` |
 | `requireApproval` | boolean | `true` | `Ask before applying` |
 | `showStatus` | boolean | `true` | `Footer status` |

package/docs/evaluation.md

@@ -133,9 +133,8 @@ receives the same three bounded coding-continuity scenarios (`implementation`,
 `debugging`, `continuity`) sequentially, with a 1,500-token output cap and a
 60-second timeout per call, scored by the deterministic verifier. It reports
 score, latency and reported usage. Apply a route manually, and only after
-representative evidence; one probe is not that evidence. The dated
-[2026-08-06 baseline](https://github.com/alpertarhan/pi-smart-compact/blob/main/docs/reports/provider-evaluation-2026-08-06.md)
-(repository only) is an example of this output, not a current ranking.
+representative evidence; one probe is not that evidence. Historical probe
+results are not a current model ranking.
 
 ## Paired continuation and memory evaluation
 
@@ -400,22 +399,15 @@ no provider request.
 | `PSC_HINDSIGHT_LIVE=1 … bun run test/hindsight-live.canary.ts` | Not run by `bun test` | Live Hindsight contract with a hard call budget; see [Hindsight memory](./hindsight-memory.md#tests) |
 
 Dated reports record what was measured on their date, with the code and host
-versions stated inside. They are kept for provenance and are not updated
-retroactively; later findings are added as dated addenda. Current behavior is
-described in the [guide](./guide.md), [configuration](./configuration.md) and
-[architecture](../ARCHITECTURE.md). Reports live in the repository only; the
-npm package does not include `docs/reports/` or `docs/findings/`. Pilot
-reports have a machine-readable `.json` companion beside them.
-
-| Report | Scope |
-| --- | --- |
-| [Provider evaluation baseline, 2026-08-06](https://github.com/alpertarhan/pi-smart-compact/blob/main/docs/reports/provider-evaluation-2026-08-06.md) | Live three-scenario probe across five models; advisory; 2026-09-25 addendum on route-report token semantics |
-| [Context hygiene and continuity, 2026-09-24](https://github.com/alpertarhan/pi-smart-compact/blob/main/docs/reports/context-hygiene-2026-09-24.md) | Hygiene design and offline experiments |
-| [Hindsight and provider-native compaction research, 2026-09-24](https://github.com/alpertarhan/pi-smart-compact/blob/main/docs/reports/hindsight-native-compaction-research-2026-09-24.md) | Pre-implementation research plus later measured results |
-| [Full AgentSession offline pilot, 2026-09-24](https://github.com/alpertarhan/pi-smart-compact/blob/main/docs/reports/session-pilot-2026-09-24.md) | Scripted-transport lifecycle pilot; 2026-09-25 candidate and `9.8.0-canary.1` follow-ups |
-| [Visual evidence pilot, 2026-09-24](https://github.com/alpertarhan/pi-smart-compact/blob/main/docs/reports/visual-pilot-2026-09-24.md) | Live synthetic bitmap-versus-text reading pilot on one model |
-
-External review findings, one folder per reviewer, are indexed in
-[`docs/findings/`](https://github.com/alpertarhan/pi-smart-compact/blob/main/docs/findings/README.md).
-They are advisory analyses of a specific revision range, not release gates or
-evidence of current behavior.
+versions stated inside. Preserve their provenance; add dated addenda rather
+than updating measurements retroactively. Current behavior is described in the
+[guide](./guide.md), [configuration](./configuration.md) and
+[architecture](../ARCHITECTURE.md).
+
+Research reports in `docs/reports/` and review findings in `docs/findings/`
+are local, ignored artifacts, not tracked repository or npm content. Pilot
+reports can keep machine-readable `.json` companions beside them. Earlier
+copies may remain in Git history; this policy does not erase that history.
+
+External review findings are advisory analyses of a specific revision range,
+not release gates or evidence of current behavior.

package/docs/guide.md

@@ -314,7 +314,7 @@ model (Home warns above 400k tokens), set `Context cap for start % (tokens)`
 and safety headroom still use the real window.
 
 Turning `Automatic compaction` off disables both Smart Compact strategies. It
-does not turn off Pi's own compactor. Automatic runs are capped at 60 seconds
+does not turn off Pi's own compactor. Automatic runs are capped at 300 seconds
 and four model calls, whatever the configured limits are. When they fail, Pi
 may still use its own compactor. See
 [automatic strategies](./configuration.md#automatic-strategies) for the

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "pi-smart-compact",
-	"version": "10.1.0",
+	"version": "10.1.2",
 	"description": "Pi Continuity — context hygiene and session continuity for Pi Coding Agent: recoverable cleanup, checkpoints, memory and verified compaction.",
 	"type": "module",
 	"packageManager": "bun@1.4.2",