@dsh-cc/compaction-cost-gate 0.8.0-rc.1

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.i18n.yaml

@@ -0,0 +1,6 @@
+# Bilingual-pair consistency record (docs/i18n/README.md): the git blob hash of each
+# side as of the last confirmed-consistent state. Both languages carry equal authority;
+# after editing either side, bring the other along and re-record with:
+#   pnpm check:readme --write
+README.md: d6e3615c67773da7c55fb9d3165721b11dbb879b
+README.zh.md: fe55550499e05d58cd3799eea80aa9f2731f87bc

package/README.md

@@ -0,0 +1,46 @@
+# @dsh-cc/compaction-cost-gate
+
+English | [中文](README.zh.md)
+
+Cost-gated plan-step compaction. Completing a plan step (a `todo_write` transition to completed) arms a boundary; when the agent next goes idle, the service evaluates whether a full-prefix compaction pays for itself — projected input-token savings over the remaining plan versus the prompt-cache rewrite cost plus any unamortized rewrite debt — and only then calls `ctx.compaction.compactNow` on the root session. Passes are invisible except in the ledger.
+
+## How it decides
+
+- **Detection (mid-turn):** a `tools/post-execute` listener filters `todo_write`, diffs the todos snapshot against the previous one, and arms the boundary on any transition to completed. It never mutates the downstream decision.
+- **Action (idle):** an `agent/status` listener (`status === 'idle'`, the compaction family's own precedent) runs for the latched root session only. Subagent todo completions and requests never arm or trigger.
+- **Gate arithmetic:** `projectedSavedInput = contextTokens × shrink × requestsPerStep × pendingSteps` must strictly exceed `margin × (rewriteCost + debtTokens)`. `contextTokens` is summed over the shadow-aware surface (`session.surface.nodes` + `eventAt`) so compacted spans are not double-counted. A past compaction's rewrite cost contributes as debt until 5 subsequent provider requests. `pendingSteps === 0` never fires — plan end has no future requests to amortize over. With a resolvable price row, savings price at the cache-read rate and rewrite at the cache-write rate; without one the comparison stays in tokens (conservative).
+- **Window-pressure override:** when `contextTokens ≥ window-pressure-tokens` the gate is bypassed (cooldown and the failure fuse still apply).
+
+## Circuit breakers
+
+Only real defect classes (`changed | summary | commit | persistence`, unexpected throws) count. The expected `busy`/`cancelled` classes are ledgered as skips. At 3 consecutive real failures the feature pauses for the session with one model-visible notice pointing at manual `/compact`. After any actual compaction the gate cools down for `cooldown-ms` (default 600 000).
+
+## Config (settings namespace `cc-compaction-cost-gate`)
+
+| Key | Default | Meaning |
+|---|---|---|
+| `enabled` | `false` | Ships dark. |
+| `mode` | `'dry-run'` | `dry-run` evaluates and ledgers both sides of the inequality, never calls `compactNow`. |
+| `margin` | `1.0` | Required savings multiple over rewrite + debt. |
+| `cooldown-ms` | `600000` | Cooldown after an actual compaction. |
+| `window-pressure-tokens` | unset | Gate-bypass threshold; unset = no override. |
+| `model-table` | unset | Optional price table (`ModelPrice[]`, same shape as `/cost`). |
+
+Ledger: `<dshHome>/compaction-cost-gate/<projectKey>.jsonl`, append-only, fire-and-forget.
+
+## foldCounters convention
+
+This package exports `foldCounters(materials)` for `@dsh-cc/token-efficiency`; any change to the marker/ledger shape MUST update the fold and its tests in the same PR.
+
+## Usage
+
+```ts
+import type { Context } from '@deepseek-ai/cordis'
+import CompactionCostGate from '@dsh-cc/compaction-cost-gate'
+
+export function apply(ctx: Context): void {
+  ctx.plugin(CompactionCostGate)
+}
+```
+
+The service is mounted by the cc preset (`cc-services` group, id `compaction-cost-gate`). The compaction engine is deliberately not injected: cordis strict-read means a hard `inject` would kill the service where compaction is absent. It is read through a guarded accessor; when absent the package inactivates with one log line and one `compaction-unavailable` ledger row.

package/README.zh.md

@@ -0,0 +1,46 @@
+# @dsh-cc/compaction-cost-gate
+
+[English](README.md) | 中文
+
+成本门控的计划步骤压缩。完成一个计划步骤（`todo_write` 中出现转为 completed 的迁移）会武装一个边界；当代理下一次进入空闲时，服务会评估一次全前缀压缩是否划算——将剩余计划上的输入 token 节省预期与提示缓存重写成本加未摊销的债务进行比较——只有通过时才对根会话调用 `ctx.compaction.compactNow`。通过除了账本外完全不可见。
+
+## 决策方式
+
+- **检测（回合中）：** `tools/post-execute` 监听器过滤 `todo_write`，将 todos 快照与前一个快照做差分，并在任何转为 completed 的迁移上武装边界。它从不修改下游决策。
+- **动作（空闲）：** `agent/status` 监听器（`status === 'idle'`，压缩家族自身的先例）仅针对已锁定的根会话运行。子代理的 todo 完成和请求既不会武装也不会触发。
+- **门控算术：** `projectedSavedInput = contextTokens × shrink × requestsPerStep × pendingSteps` 必须严格大于 `margin × (rewriteCost + debtTokens)`。`contextTokens` 在影子感知表面上求和（`session.surface.nodes` + `eventAt`），因此被压缩的跨度不会被重复计算。过去一次压缩的重写成本作为债务保留，直到后续 5 个提供者请求。`pendingSteps === 0` 永不触发——计划结束没有未来的请求可以摊销。当价格行可解析时，节省按缓存读取速率计价，重写按缓存写入速率计价；否则比较保持以 token 为单位（保守）。
+- **窗口压力覆盖：** 当 `contextTokens ≥ window-pressure-tokens` 时绕过门控（冷却和失败熔断仍然生效）。
+
+## 断路器
+
+只有真实缺陷类别（`changed | summary | commit | persistence`、意外抛出）会被计数。预期的 `busy`/`cancelled` 类别被记为跳过。连续 3 次真实失败后，功能对该会话暂停，并给出一条指向手动 `/compact` 的模型可见通知。任何实际压缩之后，门控会冷却 `cooldown-ms`（默认 600 000）。
+
+## 配置（settings 命名空间 `cc-compaction-cost-gate`）
+
+| 键 | 默认 | 含义 |
+|---|---|---|
+| `enabled` | `false` | 默认熄火发布。 |
+| `mode` | `'dry-run'` | `dry-run` 会评估并记录不等式两侧，从不调用 `compactNow`。 |
+| `margin` | `1.0` | 相对重写加债务所需的节省倍数。 |
+| `cooldown-ms` | `600000` | 实际压缩后的冷却时间。 |
+| `window-pressure-tokens` | 未设置 | 门控绕过阈值；未设置 = 无覆盖。 |
+| `model-table` | 未设置 | 可选价格表（`ModelPrice[]`，与 `/cost` 相同形状）。 |
+
+账本：`<dshHome>/compaction-cost-gate/<projectKey>.jsonl`，仅追加、即发即忘。
+
+## foldCounters 约定
+
+本包为 `@dsh-cc/token-efficiency` 导出 `foldCounters(materials)`；标记/台账形态的任何变更必须在同一个 PR 中同步更新该 fold 及其测试。
+
+## 用法
+
+```ts
+import type { Context } from '@deepseek-ai/cordis'
+import CompactionCostGate from '@dsh-cc/compaction-cost-gate'
+
+export function apply(ctx: Context): void {
+  ctx.plugin(CompactionCostGate)
+}
+```
+
+该服务由 cc 预设挂载（`cc-services` 组，id `compaction-cost-gate`）。压缩引擎被刻意不注入：cordis 严格读取意味着硬 `inject` 会在压缩缺失的地方杀死服务。它通过受保护的访问器读取；缺失时该包以一行日志和一条 `compaction-unavailable` 账本行失效。

package/lib/fold-counters.d.ts

@@ -0,0 +1,33 @@
+/**
+ * foldCounters seam for @dsh-cc/token-efficiency (design
+ * docs/plans/2026-09-20-token-efficiency-eval-harness.md §3.4).
+ *
+ * The ledger shape knowledge lives HERE (the feature owns it): any change to
+ * the ledger row kinds or path derivation must update this fold and its tests
+ * in the same PR — never a silently-wrong foreign regex.
+ *
+ * @module @dsh-cc/compaction-cost-gate/fold-counters
+ */
+/**
+ * Structural materials contract shared by every efficiency-feature fold.
+ * Declared locally (no cross-package import); the loose event shape
+ * intentionally mirrors SessionLogEvent without depending on dsh-session.
+ * The events field is unused by this fold (ledger-only evidence).
+ */
+export interface FoldCounterMaterials {
+    readonly events: readonly {
+        readonly type: string;
+        readonly time?: number;
+        readonly data?: Record<string, unknown> | undefined;
+    }[];
+    readonly dshHome: string;
+}
+/**
+ * Fold the package's own ledger (`<dshHome>/compaction-cost-gate/<projectKey>.jsonl`,
+ * same projectKey derivation as the writer) into counts by kind.
+ * Missing file → all-zero counters. A trailing partial line (live file
+ * truncation) is skipped silently; any OTHER malformed line throws with its
+ * 1-based line number.
+ */
+export declare function foldCounters(materials: FoldCounterMaterials): Record<string, number>;
+//# sourceMappingURL=fold-counters.d.ts.map

package/lib/fold-counters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fold-counters.d.ts","sourceRoot":"","sources":["../src/fold-counters.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAMH;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS;QACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAA;KACpD,EAAE,CAAA;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,oBAAoB,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAgCpF"}

package/lib/fold-counters.js

@@ -0,0 +1,62 @@
+/**
+ * foldCounters seam for @dsh-cc/token-efficiency (design
+ * docs/plans/2026-09-20-token-efficiency-eval-harness.md §3.4).
+ *
+ * The ledger shape knowledge lives HERE (the feature owns it): any change to
+ * the ledger row kinds or path derivation must update this fold and its tests
+ * in the same PR — never a silently-wrong foreign regex.
+ *
+ * @module @dsh-cc/compaction-cost-gate/fold-counters
+ */
+import { readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { projectKeyOf } from "./ledger.js";
+/**
+ * Fold the package's own ledger (`<dshHome>/compaction-cost-gate/<projectKey>.jsonl`,
+ * same projectKey derivation as the writer) into counts by kind.
+ * Missing file → all-zero counters. A trailing partial line (live file
+ * truncation) is skipped silently; any OTHER malformed line throws with its
+ * 1-based line number.
+ */
+export function foldCounters(materials) {
+    const out = {
+        'costgate.gate': 0,
+        'costgate.compacted': 0,
+        'costgate.skipped': 0,
+        'costgate.unavailable': 0,
+    };
+    const file = join(materials.dshHome, 'compaction-cost-gate', `${projectKeyOf(process.cwd())}.jsonl`);
+    let raw;
+    try {
+        raw = readFileSync(file, 'utf8');
+    }
+    catch {
+        return out; // missing ledger → zeros, not an error
+    }
+    const lines = raw.split('\n');
+    // A trailing partial line is the live-writer truncation case: drop it silently.
+    if (lines.length > 0 && lines[lines.length - 1] !== '')
+        lines.pop();
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i] ?? '';
+        if (line === '')
+            continue;
+        let kind;
+        try {
+            kind = String(JSON.parse(line).kind);
+        }
+        catch {
+            throw new Error(`compaction-cost-gate fold: malformed ledger line ${i + 1} in ${file}`);
+        }
+        if (kind === 'gate')
+            out['costgate.gate'] += 1;
+        else if (kind === 'compacted')
+            out['costgate.compacted'] += 1;
+        else if (kind.startsWith('skipped:'))
+            out['costgate.skipped'] += 1;
+        else if (kind === 'compaction-unavailable')
+            out['costgate.unavailable'] += 1;
+    }
+    return out;
+}
+//# sourceMappingURL=fold-counters.js.map

package/lib/fold-counters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fold-counters.js","sourceRoot":"","sources":["../src/fold-counters.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAiB1C;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,SAA+B;IAC1D,MAAM,GAAG,GAAG;QACV,eAAe,EAAE,CAAC;QAClB,oBAAoB,EAAE,CAAC;QACvB,kBAAkB,EAAE,CAAC;QACrB,sBAAsB,EAAE,CAAC;KAC1B,CAAA;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,sBAAsB,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAA;IACpG,IAAI,GAAW,CAAA;IACf,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,CAAA,CAAC,uCAAuC;IACpD,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC7B,gFAAgF;IAChF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE;QAAE,KAAK,CAAC,GAAG,EAAE,CAAA;IACnE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QAC3B,IAAI,IAAI,KAAK,EAAE;YAAE,SAAQ;QACzB,IAAI,IAAY,CAAA;QAChB,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,CAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAwB,CAAC,IAAI,CAAC,CAAA;QAC9D,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAA;QACzF,CAAC;QACD,IAAI,IAAI,KAAK,MAAM;YAAE,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;aACzC,IAAI,IAAI,KAAK,WAAW;YAAE,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAA;aACxD,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;YAAE,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAA;aAC7D,IAAI,IAAI,KAAK,wBAAwB;YAAE,GAAG,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAA;IAC9E,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/lib/gate.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Pure cost-gate arithmetic (design §3.3): compare projected input-token
+ * savings over the remaining plan against the prompt-cache rewrite price plus
+ * unamortized rewrite debt. No I/O, no clock, no services — a table-testable
+ * fold over measured inputs.
+ * @module @dsh-cc/compaction-cost-gate/gate
+ */
+import { type GateInput, type GateOutcome } from './types.ts';
+/**
+ * Evaluate the gate for one idle boundary.
+ * @param input - measured gate inputs (§3.3.1–3.3.7).
+ * @returns the outcome with every intermediate term for the ledger.
+ */
+export declare function evaluateGate(input: GateInput): GateOutcome;
+//# sourceMappingURL=gate.d.ts.map

package/lib/gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../src/gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAGL,KAAK,SAAS,EACd,KAAK,WAAW,EACjB,MAAM,YAAY,CAAA;AAEnB;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CA6C1D"}

package/lib/gate.js

@@ -0,0 +1,60 @@
+/**
+ * Pure cost-gate arithmetic (design §3.3): compare projected input-token
+ * savings over the remaining plan against the prompt-cache rewrite price plus
+ * unamortized rewrite debt. No I/O, no clock, no services — a table-testable
+ * fold over measured inputs.
+ * @module @dsh-cc/compaction-cost-gate/gate
+ */
+import { COLD_SHRINK_PRIOR, DEBT_AMORTIZE_REQUESTS, } from "./types.js";
+/**
+ * Evaluate the gate for one idle boundary.
+ * @param input - measured gate inputs (§3.3.1–3.3.7).
+ * @returns the outcome with every intermediate term for the ledger.
+ */
+export function evaluateGate(input) {
+    const requestsPerStep = Math.max(input.streamRequestCount / Math.max(input.completedSteps, 1), 1);
+    const shrink = input.lastShrink ?? COLD_SHRINK_PRIOR;
+    let debtTokens = 0;
+    for (const entry of input.rewriteDebt) {
+        if (entry.requestsSince < DEBT_AMORTIZE_REQUESTS)
+            debtTokens += entry.tokens;
+    }
+    const rewriteCost = input.contextTokens + debtTokens;
+    const pendingSteps = input.pendingSteps;
+    // Plan end is a natural session tail: no future requests to amortize over.
+    const projectedSavedInput = pendingSteps === 0
+        ? 0
+        : input.contextTokens * shrink * requestsPerStep * pendingSteps;
+    const windowPressureOverride = input.windowPressureTokens !== undefined
+        && input.contextTokens >= input.windowPressureTokens
+        && pendingSteps > 0;
+    let pass;
+    if (pendingSteps === 0) {
+        pass = false;
+    }
+    else if (windowPressureOverride) {
+        pass = true;
+    }
+    else if (input.price !== undefined) {
+        // Savings price at the cache-read rate, rewrite at the cache-write rate.
+        // Without a price row the comparison stays in tokens (conservative:
+        // cache writes price above reads).
+        const savedUsd = projectedSavedInput * input.price.cacheReadPerMTok;
+        const costUsd = rewriteCost * input.price.cacheWritePerMTok;
+        pass = savedUsd > input.margin * costUsd;
+    }
+    else {
+        pass = projectedSavedInput > input.margin * rewriteCost;
+    }
+    return {
+        pass,
+        pendingSteps,
+        requestsPerStep,
+        shrink,
+        projectedSavedInput,
+        rewriteCost,
+        debtTokens,
+        windowPressureOverride,
+    };
+}
+//# sourceMappingURL=gate.js.map

package/lib/gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.js","sourceRoot":"","sources":["../src/gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,iBAAiB,EACjB,sBAAsB,GAGvB,MAAM,YAAY,CAAA;AAEnB;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAAgB;IAC3C,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAC9B,KAAK,CAAC,kBAAkB,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC,EAC5D,CAAC,CACF,CAAA;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,IAAI,iBAAiB,CAAA;IACpD,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,aAAa,GAAG,sBAAsB;YAAE,UAAU,IAAI,KAAK,CAAC,MAAM,CAAA;IAC9E,CAAC;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,GAAG,UAAU,CAAA;IACpD,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAA;IACvC,2EAA2E;IAC3E,MAAM,mBAAmB,GAAG,YAAY,KAAK,CAAC;QAC5C,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,KAAK,CAAC,aAAa,GAAG,MAAM,GAAG,eAAe,GAAG,YAAY,CAAA;IACjE,MAAM,sBAAsB,GAC1B,KAAK,CAAC,oBAAoB,KAAK,SAAS;WACrC,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,oBAAoB;WACjD,YAAY,GAAG,CAAC,CAAA;IACrB,IAAI,IAAa,CAAA;IACjB,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;QACvB,IAAI,GAAG,KAAK,CAAA;IACd,CAAC;SAAM,IAAI,sBAAsB,EAAE,CAAC;QAClC,IAAI,GAAG,IAAI,CAAA;IACb,CAAC;SAAM,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACrC,yEAAyE;QACzE,oEAAoE;QACpE,mCAAmC;QACnC,MAAM,QAAQ,GAAG,mBAAmB,GAAG,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAA;QACnE,MAAM,OAAO,GAAG,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAA;QAC3D,IAAI,GAAG,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,OAAO,CAAA;IAC1C,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,mBAAmB,GAAG,KAAK,CAAC,MAAM,GAAG,WAAW,CAAA;IACzD,CAAC;IACD,OAAO;QACL,IAAI;QACJ,YAAY;QACZ,eAAe;QACf,MAAM;QACN,mBAAmB;QACnB,WAAW;QACX,UAAU;QACV,sBAAsB;KACvB,CAAA;AACH,CAAC"}

package/lib/index.d.ts

@@ -0,0 +1,124 @@
+/**
+ * Cost-gated plan-step compaction service (design
+ * docs/plans/2026-09-20-cost-gated-plan-step-compaction.md §3.4–§3.6).
+ *
+ * Two seams: a mid-turn `tools/post-execute` listener ARMS a boundary when a
+ * `todo_write` transitions a todo to completed (observe-only, decision
+ * untouched); an `agent/status` idle listener runs the §3.3 cost gate for the
+ * latched root session only and, on a pass in `mode: 'on'`, calls
+ * `ctx.compaction.compactNow` with a preservation hint parked immediately
+ * before the call and a fresh abort signal (the turn-scoped signal is dead by
+ * idle). Subagent agents never arm, count, or trigger.
+ *
+ * The compaction engine is deliberately NOT injected (cordis strict-read
+ * would kill the service where compaction is absent); it is read through the
+ * guarded {@link optionalCompaction} accessor, and absence inactivates the
+ * gate with one log line and one ledger row.
+ *
+ * @module @dsh-cc/compaction-cost-gate
+ */
+import { Service, type Context } from '@deepseek-ai/cordis';
+import type { GenerateOptions } from '@deepseek-ai/dsh-llm';
+import { type Session } from '@deepseek-ai/dsh-session';
+import { createUserMessage } from '@deepseek-ai/dsh-llm';
+import { CostGateLedger } from './ledger.ts';
+export { CostGateLedger, projectKeyOf, type LedgerRow } from './ledger.ts';
+export { evaluateGate } from './gate.ts';
+export { foldCounters } from './fold-counters.ts';
+export type { FoldCounterMaterials } from './fold-counters.ts';
+export { diffTodos } from './todo-diff.ts';
+export { SETTINGS_NAMESPACE, registerCostGateSettings } from './settings.ts';
+export * from './types.ts';
+declare module '@deepseek-ai/cordis' {
+    interface Context {
+        /** Harness-home path resolver, provided by @deepseek-ai/dsh-app-boot at boot. Optional in tests. */
+        dshHomePath?: (...segments: string[]) => string;
+    }
+}
+declare module '@deepseek-ai/cordis' {
+    interface Context {
+        /** The mounted cost gate (present whenever the plugin mounts). */
+        compactionCostGate?: CompactionCostGate;
+    }
+}
+/** The minimal agent surface the gate needs (structural; satisfied by the harness Agent). */
+interface GateAgent {
+    readonly session: Session;
+    readonly options: {
+        provider?: string;
+        model?: string;
+    };
+    inject?(message: ReturnType<typeof createUserMessage>): void;
+}
+/** Testable seams over the settings reader and clock. */
+export interface CostGateDeps {
+    /** Settings reader override (defaults to the live namespace reader). */
+    readonly readSettings?: () => import('./types.ts').CostGateSettings;
+    /** Ledger override (defaults to `<dshHome>/compaction-cost-gate`). */
+    readonly ledger?: CostGateLedger;
+    /** Clock override for cooldown tests. */
+    readonly now?: () => number;
+}
+/**
+ * Cost-gated plan-step compaction service. One instance per mounted plugin;
+ * state is keyed by the latched root session id and lives in memory only.
+ */
+export declare class CompactionCostGate extends Service {
+    /** The token meter prices surface nodes for the gate arithmetic. */
+    static inject: string[];
+    private readonly readSettings;
+    private readonly ledger;
+    private readonly now;
+    /** Content of the todo whose completion armed the current boundary. */
+    private rootLatch;
+    private readonly stats;
+    constructor(ctx: Context, deps?: CostGateDeps);
+    /** Register the observe-only listeners (two-seam split, §3.4). */
+    private registerListeners;
+    /** Fresh per-root-session state (§3.2). */
+    private freshStats;
+    /**
+     * Latch the root session on the first main-loop observation and count
+     * main-loop requests for it (auxiliary purposes never latch or count);
+     * amortize rewrite debt by the requests it has since observed.
+     */
+    observeStream(options: GenerateOptions): void;
+    /**
+     * Detection seam: filter `todo_write`, diff the snapshot, and arm the
+     * boundary on any transition to completed — for the latched root session
+     * only. Never mutates the tool decision.
+     */
+    observePostExecute(exec: {
+        name: string;
+        arguments?: unknown;
+        agent?: {
+            session: Session;
+        };
+    }): void;
+    /** Action seam: evaluate the gate at idle for the latched root session only. */
+    evaluateIdle(agent: GateAgent): Promise<void>;
+    /**
+     * Hint-then-call: the hint must survive only the instant between set and
+     * consume; it is cleared on every exit path. A fresh AbortController (the
+     * turn-scoped signal is dead by idle and must never be reused).
+     */
+    private compactNow;
+    /** One durable model-visible pause notice pointing at manual `/compact`. */
+    private notifyPaused;
+    /** Resolve the optional pricing layer from the last observed provider/model. */
+    private resolvePriceFor;
+    /**
+     * Σ estimateMessage over message-carrying surface nodes — the shadow-aware
+     * accessor (`session.surface.nodes` + `eventAt`), never raw events, so
+     * spans shadowed by prior compactions are not double-counted.
+     */
+    private contextTokens;
+    /** Non-completed todos in the latest snapshot. */
+    private pendingSteps;
+    /** Parse the todos array out of the `todo_write` tool arguments. */
+    private parseTodos;
+    /** Fire-and-forget ledger append; errors are swallowed by the ledger. */
+    private write;
+}
+export default CompactionCostGate;
+//# sourceMappingURL=index.d.ts.map

package/lib/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAe,MAAM,sBAAsB,CAAA;AAGxE,OAAO,EAAsB,KAAK,OAAO,EAAE,MAAM,0BAA0B,CAAA;AAK3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAExD,OAAO,EAAE,cAAc,EAAgB,MAAM,aAAa,CAAA;AAU1D,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,KAAK,SAAS,EAAE,MAAM,aAAa,CAAA;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,YAAY,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,kBAAkB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAA;AAC5E,cAAc,YAAY,CAAA;AAK1B,OAAO,QAAQ,qBAAqB,CAAC;IACnC,UAAU,OAAO;QACf,oGAAoG;QACpG,WAAW,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,MAAM,EAAE,KAAK,MAAM,CAAA;KAChD;CACF;AAED,OAAO,QAAQ,qBAAqB,CAAC;IACnC,UAAU,OAAO;QACf,kEAAkE;QAClE,kBAAkB,CAAC,EAAE,kBAAkB,CAAA;KACxC;CACF;AAsBD,6FAA6F;AAC7F,UAAU,SAAS;IACjB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IACvD,MAAM,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,GAAG,IAAI,CAAA;CAC7D;AAED,yDAAyD;AACzD,MAAM,WAAW,YAAY;IAC3B,wEAAwE;IACxE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,OAAO,YAAY,EAAE,gBAAgB,CAAA;IACnE,sEAAsE;IACtE,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,CAAA;IAChC,yCAAyC;IACzC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B;AAED;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,OAAO;IAC7C,oEAAoE;IACpE,MAAM,CAAC,MAAM,WAAiB;IAE9B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAwB;IACrD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA4B;IACnD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAc;IAClC,uEAAuE;IACvE,OAAO,CAAC,SAAS,CAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAkC;gBAE5C,GAAG,EAAE,OAAO,EAAE,IAAI,GAAE,YAAiB;IAejD,kEAAkE;IAClE,OAAO,CAAC,iBAAiB;IA0BzB,2CAA2C;IAC3C,OAAO,CAAC,UAAU;IAalB;;;;OAIG;IACH,aAAa,CAAC,OAAO,EAAE,eAAe,GAAG,IAAI;IAe7C;;;;OAIG;IACH,kBAAkB,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE;YAAE,OAAO,EAAE,OAAO,CAAA;SAAE,CAAA;KAAE,GAAG,IAAI;IAkBnG,gFAAgF;IAC1E,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAiEnD;;;;OAIG;YACW,UAAU;IAsDxB,4EAA4E;IAC5E,OAAO,CAAC,YAAY;IAapB,gFAAgF;IAChF,OAAO,CAAC,eAAe;IAYvB;;;;OAIG;IACH,OAAO,CAAC,aAAa;IAYrB,kDAAkD;IAClD,OAAO,CAAC,YAAY;IAQpB,oEAAoE;IACpE,OAAO,CAAC,UAAU;IAelB,yEAAyE;IACzE,OAAO,CAAC,KAAK;CAQd;AAED,eAAe,kBAAkB,CAAA"}