@max-null/dsh-allostasis 0.2.1 → 0.3.0

package/README.md

@@ -34,12 +34,12 @@ notice beneath that turn.
 **除空回合外全程静默，所以「确认它在工作」只能靠日志。** 前两类命中时只在轨迹页留一行；不命中时一个字都不说——「装了没有」「阈值生效没有」「这一步为什么没提醒」三个问题原本都无从回答，只能靠改配置去试。因此它在 `src/index.ts` 的 `apply` 里留两行痕：
 
 ```
-[dsh-allostasis] loaded · driftThreshold=0.15 repetitionThreshold=0.5 consecutiveSteps=2
+[dsh-allostasis] loaded · driftThreshold=0.15 repetitionThreshold=0.5 loopWindow=2/5
 [dsh-allostasis] turn 8 step 11 · drift=chinese funcDensity=0.6% chars=1764
                  · repetition=normal units=29 ratio=0%
 ```
 
-第一行 `info`、每个进程一次，报的是**生效阈值**（`Config` 的解析结果，不是代码里的缺省常量）。第二行 `debug`、**每一步判定一行**：两类判据的三态结论加度量。默认静默，排查时打开即可——不必为了看一眼判定结果去动阈值。其中 `units` 是切分后的单元数，**低于 12 判 `insufficient`**（样本不足不下结论），此时 `ratio` 仍会给出，只是不参与判定。
+第一行 `info`、每个进程一次，报的是**生效阈值**（`Config` 的解析结果，不是代码里的缺省常量）。第二行 `debug`、**每一步判定一行**：两类判据的三态结论加度量。默认静默，排查时打开即可——不必为了看一眼判定结果去动阈值。其中 `units` 是切分后**计入统计的实义单元数**（滤掉代码围栏与纯符号，见「判据」段），**低于 12 判 `insufficient`**（样本不足不下结论），此时 `ratio` 仍会给出，只是不参与判定。
 
 判据来源、实测数据与完整设计见 `docs/设计/2026-09-20-应变-设计方案.md`、
 `docs/设计/2026-09-28-应变二期-退化检测与自动干预.md`。
@@ -66,9 +66,11 @@ notice beneath that turn.
 
 ### 推理退化
 
-**重复率** = 单条推理按换行与中英句读切分后，**出现 ≥3 次的单元占全部单元的比例**；**单元数 ≥ 12 才判定**，**连续 N 步（默认 2）越线才触发**。
+**重复率** = 单条推理按换行与中英句读切分、滤掉非实义单元后，**出现 ≥3 次的单元占全部单元的比例**；**单元数 ≥ 12 才判定**，**最近 5 步内累计 ≥2 步越线才触发**（窗口跨 turn，不要求连续）。
 
-实测数据（一份 19 轮 / 416 条助手消息的真实会话）：正常期 **0%–35%**、退化期 **48%–92%**，阈值 **0.5** 落在隔离带中段。连续步数不可省——正常期也有单次抖动（实测峰值 35%）；代价是延迟，按同一份数据回放会晚约 3 步触发。
+**非实义单元 = 以代码围栏开头的整段，以及不含「至少一个汉字或两个连续拉丁字母」的单元。** 排除它们是因为纯标记在写代码时天然高频：跨会话实测里三个会话的越线全部来自 ` ``` `、`}`、`*`，排除后归零；而真退化会话的峰值反而更高（`64e08c94` 51%→94%、`a8ac8e89` 53%→90%）——噪声单元出局后真实重复的占比更突出。
+
+实测数据（一份 19 轮 / 416 条助手消息的真实会话）：正常期 **0%–35%**、退化期 **48%–92%**，阈值 **0.5** 落在隔离带中段。触发条件改用窗口累计后，抖动仍由「≥2 步」挡住，而散布型退化不再漏判——跨会话复核（本机 37 个 ≥3MB 会话）见 `docs/设计/2026-10-01-提醒判据修正与实测方案.md`。
 
 **退化与上下文占用脱钩**：同一会话里 26.1% 占用时重复率 84%、67.9% 时 83–92%，压缩到 26.1% 并不降低重复率。所以「调低阈值」治不了它；压缩能否治它取决于力度。完整数据见 `docs/排查/2026-09-28-推理退化与上下文占用脱钩.md`。
 
@@ -97,13 +99,14 @@ Installs as a bundle: `dsh plugin --profile <name> add @max-null/dsh-allostasis`
 
 ## Config
 
-三个判定阈值加一个空回合档位可在 `config` 段覆盖；省略即用括号内的默认值。
+四个判定阈值加一个空回合档位可在 `config` 段覆盖；省略即用括号内的默认值。
 
 | 字段 | 默认 | 含义 |
 |---|---|---|
 | `driftThreshold` | `0.15` | 英文功能词密度达到此值即判为漂移 |
 | `repetitionThreshold` | `0.5` | 推理重复率阈值，取值 0–1 |
-| `consecutiveSteps` | `2` | 连续多少步越线才触发退化提醒 |
+| `loopWindowSteps` | `5` | 观察窗口的步数；窗口**跨 turn** 累计 |
+| `loopWindowHits` | `2` | 窗口内需要累计的越线步数。取 3 会漏掉「少而猛」型退化；超过 `loopWindowSteps` 会报错中止——那是一个永不成立的触发条件 |
 | `silentTurn` | `observe` | 空回合档位：`off` 宿主不判定也不干预、`observe` 判定并打一行诊断、`steer` 额外补一次生成 |
 
 **档位管不到对话页那行提示**：提示由浏览器半边折叠会话事件流得出，与宿主判据同源但独立于档位——浏览器半边的 `apply` 拿不到插件配置（2026-10-01 实测：在 `cordis.patch.yml` 里配 `silentTurn: off`，宿主读到 `off`，浏览器半边收到空对象）。要完全静默请禁用插件。

package/cordis.patch.yml

@@ -2,7 +2,8 @@
 # `system-prompt` / `agents` / `token-meter` already live in the host (dsh-base);
 # this adds only the allostasis plugin, which registers its own reminders.
 #
-# `config` 可覆盖三个判定阈值：driftThreshold / repetitionThreshold / consecutiveSteps。
+# `config` 可覆盖四个判定阈值：driftThreshold / repetitionThreshold /
+# loopWindowSteps / loopWindowHits，以及空回合档位 silentTurn。
 # 字段都可省略，省略即用插件内的默认值——这里刻意不写具体值，免得默认值有两个来源。
 # 各字段的含义、取值范围与默认值见 README 的「配置」段。
 - insert:

package/dist/config.d.ts

@@ -3,8 +3,8 @@
  *
  * 只暴露**判定阈值与档位**这一类值：它们是「宁可晚一点也别误报」这条取舍的刻度，随任务
  * 类型与模型行为漂移，属于部署间会变的选择（DSH 插件规范 "No hardcoded tunables in
- * plugins"）。判据里的小样本门槛（`MIN_WORDS` / `MIN_UNITS` / `REPEAT_MIN_COUNT`）
- * 不在此列——它们不是偏好，改了就是把密度与比例算飞，属于判据几何的一部分。
+ * plugins"）。判据里的小样本门槛（`MIN_WORDS` / `MIN_UNITS` / `REPEAT_MIN_COUNT`）与
+ * 实义单元规则不在此列——它们不是偏好，改了就是把密度与比例算飞，属于判据几何的一部分。
  *
  * **schema 只管形式，缺省与范围在 `resolveConfig`**：两处各管一半是有意的。schema 用
  * `.default()` 会让输出类型变成 `number | Volatile<number>`（默认值允许是动态函数），
@@ -26,8 +26,15 @@ export interface Config {
     driftThreshold?: number;
     /** 重复率阈值，0–1（默认 0.5）。取 1 等于事实上关闭退化提醒。 */
     repetitionThreshold?: number;
-    /** 连续多少步越线才触发退化提醒（默认 2）。取 1 会跟着正常期的单次抖动误报。 */
-    consecutiveSteps?: number;
+    /** 观察窗口的大小，以步为单位（默认 5）。窗口内累计越线达标即触发。 */
+    loopWindowSteps?: number;
+    /**
+     * 窗口内需要累计的越线步数（默认 2）。
+     *
+     * 取 3 会漏掉「少而猛」型退化——单条推理重复率很高但只发生两次的那种（实测样本
+     * `8fa3b15e`，峰值 76%、只有 2 次语义越线）。取 1 会跟着正常期的单次抖动误报。
+     */
+    loopWindowHits?: number;
     /**
      * 空回合兜底的档位（默认 `observe`）。
      *
@@ -50,8 +57,10 @@ export interface ResolvedConfig {
     readonly driftThreshold: number;
     /** 见 {@link Config.repetitionThreshold}。 */
     readonly repetitionThreshold: number;
-    /** 见 {@link Config.consecutiveSteps}。 */
-    readonly consecutiveSteps: number;
+    /** 见 {@link Config.loopWindowSteps}。 */
+    readonly loopWindowSteps: number;
+    /** 见 {@link Config.loopWindowHits}。 */
+    readonly loopWindowHits: number;
     /** 见 {@link Config.silentTurn}。 */
     readonly silentTurn: SilentTurnMode;
 }
@@ -62,6 +71,9 @@ export declare const Config: Schema<Config>;
  *
  * 范围约束不交给 schema 的 `.min()/.max()`：那样报错只会说「number」，而说出该字段的
  * 合理区间与收到的实际值，正是 fail-loud 的全部价值。
+ *
+ * `loopWindowHits` 超过 `loopWindowSteps` 时报错而不是静默夹取：那是一个**永不成立**的
+ * 触发条件（窗口装不下所需命中数），静默接受等于关掉退化提醒而不说。
  * @param config - Loader 传入的配置；未配置时传 `undefined` 或 `{}`。
  * @returns 字段齐全且已校验的配置。
  */

package/dist/config.js

@@ -3,8 +3,8 @@
  *
  * 只暴露**判定阈值与档位**这一类值：它们是「宁可晚一点也别误报」这条取舍的刻度，随任务
  * 类型与模型行为漂移，属于部署间会变的选择（DSH 插件规范 "No hardcoded tunables in
- * plugins"）。判据里的小样本门槛（`MIN_WORDS` / `MIN_UNITS` / `REPEAT_MIN_COUNT`）
- * 不在此列——它们不是偏好，改了就是把密度与比例算飞，属于判据几何的一部分。
+ * plugins"）。判据里的小样本门槛（`MIN_WORDS` / `MIN_UNITS` / `REPEAT_MIN_COUNT`）与
+ * 实义单元规则不在此列——它们不是偏好，改了就是把密度与比例算飞，属于判据几何的一部分。
  *
  * **schema 只管形式，缺省与范围在 `resolveConfig`**：两处各管一半是有意的。schema 用
  * `.default()` 会让输出类型变成 `number | Volatile<number>`（默认值允许是动态函数），
@@ -16,13 +16,14 @@
  */
 import Schema from '@deepseek-ai/schemastery';
 import { DRIFT_THRESHOLD } from "./drift.js";
-import { CONSECUTIVE_STEPS, REPETITION_THRESHOLD } from "./repetition.js";
+import { LOOP_WINDOW_HITS, LOOP_WINDOW_STEPS, REPETITION_THRESHOLD } from "./repetition.js";
 import { SILENT_TURN_MODE, SILENT_TURN_MODES } from "./tail.js";
 /** Loader 用于校验 `cordis.patch.yml` 里 `config` 段的 schema。 */
 export const Config = Schema.object({
     driftThreshold: Schema.number(),
     repetitionThreshold: Schema.number(),
-    consecutiveSteps: Schema.number(),
+    loopWindowSteps: Schema.number(),
+    loopWindowHits: Schema.number(),
     silentTurn: Schema.union(SILENT_TURN_MODES),
 });
 /**
@@ -37,6 +38,18 @@ function ratio(field, value) {
     }
     return value;
 }
+/**
+ * 校验一个正整数步数字段。
+ * @param field - 字段名，用于报错文案。
+ * @param value - 字段值。
+ * @returns 校验通过的原值。
+ */
+function steps(field, value) {
+    if (!Number.isInteger(value) || value < 1) {
+        throw new Error(`dsh-allostasis: \`${field}\` must be an integer >= 1, got ${value}`);
+    }
+    return value;
+}
 /**
  * 校验一个枚举字段。
  * @param field - 字段名，用于报错文案。
@@ -55,16 +68,21 @@ function oneOf(field, value, allowed) {
  *
  * 范围约束不交给 schema 的 `.min()/.max()`：那样报错只会说「number」，而说出该字段的
  * 合理区间与收到的实际值，正是 fail-loud 的全部价值。
+ *
+ * `loopWindowHits` 超过 `loopWindowSteps` 时报错而不是静默夹取：那是一个**永不成立**的
+ * 触发条件（窗口装不下所需命中数），静默接受等于关掉退化提醒而不说。
  * @param config - Loader 传入的配置；未配置时传 `undefined` 或 `{}`。
  * @returns 字段齐全且已校验的配置。
  */
 export function resolveConfig(config = {}) {
     const driftThreshold = ratio('driftThreshold', config.driftThreshold ?? DRIFT_THRESHOLD);
     const repetitionThreshold = ratio('repetitionThreshold', config.repetitionThreshold ?? REPETITION_THRESHOLD);
-    const consecutiveSteps = config.consecutiveSteps ?? CONSECUTIVE_STEPS;
-    if (!Number.isInteger(consecutiveSteps) || consecutiveSteps < 1) {
-        throw new Error(`dsh-allostasis: \`consecutiveSteps\` must be an integer >= 1, got ${consecutiveSteps}`);
+    const loopWindowSteps = steps('loopWindowSteps', config.loopWindowSteps ?? LOOP_WINDOW_STEPS);
+    const loopWindowHits = steps('loopWindowHits', config.loopWindowHits ?? LOOP_WINDOW_HITS);
+    if (loopWindowHits > loopWindowSteps) {
+        throw new Error(`dsh-allostasis: \`loopWindowHits\` (${loopWindowHits}) cannot exceed`
+            + ` \`loopWindowSteps\` (${loopWindowSteps}) — that trigger can never fire`);
     }
     const silentTurn = oneOf('silentTurn', config.silentTurn ?? SILENT_TURN_MODE, SILENT_TURN_MODES);
-    return { driftThreshold, repetitionThreshold, consecutiveSteps, silentTurn };
+    return { driftThreshold, repetitionThreshold, loopWindowSteps, loopWindowHits, silentTurn };
 }

package/dist/index.d.ts

@@ -5,7 +5,7 @@
  *
  * · **一期 · 中文锚定**（`agent/pre-step`）：判定为语言漂移（英文功能词密度越线）就追加
  *   一条中文锚定消息。
- * · **二期 · 退化提醒**（`agent/pre-step`）：判定为推理退化（重复率越线且连续若干步成立）
+ * · **二期 · 退化提醒**（`agent/pre-step`）：判定为推理退化（窗口内累计若干步重复率越线）
  *   就追加减速提醒。
  * · **空回合检测**（`agent/turn-stopping`）：回合收尾时末条助手消息没有非空文本即判定成立，
  *   `steer` 档位下追加一次补生成。

package/dist/index.js

@@ -5,7 +5,7 @@
  *
  * · **一期 · 中文锚定**（`agent/pre-step`）：判定为语言漂移（英文功能词密度越线）就追加
  *   一条中文锚定消息。
- * · **二期 · 退化提醒**（`agent/pre-step`）：判定为推理退化（重复率越线且连续若干步成立）
+ * · **二期 · 退化提醒**（`agent/pre-step`）：判定为推理退化（窗口内累计若干步重复率越线）
  *   就追加减速提醒。
  * · **空回合检测**（`agent/turn-stopping`）：回合收尾时末条助手消息没有非空文本即判定成立，
  *   `steer` 档位下追加一次补生成。
@@ -79,19 +79,19 @@ function driftMessage(session, sample, resolved, throttles) {
 /**
  * 组装二期的推理退化提醒。
  *
- * 追踪状态**每步都推进**，包括被节流挡住的那几步：计数描述的是退化本身持续了多久，
+ * 追踪状态**每步都推进**，包括被节流挡住的那几步：窗口描述的是退化本身分布在哪几步，
  * 与「这一步有没有说出口」无关。
  * @param session - 产出该思考的会话。
  * @param sample - 最近一条思考。
  * @param resolved - 已校验的配置。
- * @param trackers - 连续越线的追踪状态表。
+ * @param trackers - 越线窗口的追踪状态表。
  * @param throttles - 退化提醒的节流状态表。
  * @returns 应当追加的消息；本步不提醒时返回 `undefined`。
  */
 function loopMessage(session, sample, resolved, trackers, throttles) {
     const metrics = measureRepetition(sample.text);
     const stepVerdict = repetitionVerdict(metrics, resolved.repetitionThreshold);
-    const tracked = trackLoop(trackers.get(session), sample.turn, stepVerdict, resolved.consecutiveSteps);
+    const tracked = trackLoop(trackers.get(session), stepVerdict, resolved.loopWindowSteps, resolved.loopWindowHits);
     trackers.set(session, tracked.state);
     if (!tracked.fire)
         return undefined;
@@ -172,7 +172,7 @@ export function apply(ctx, config = {}) {
     // 判定行走 debug，默认静默、排查时打开即可，不必为了看一眼判定去改阈值试。
     console.info(`[${name}] loaded · driftThreshold=${resolved.driftThreshold}`
         + ` repetitionThreshold=${resolved.repetitionThreshold}`
-        + ` consecutiveSteps=${resolved.consecutiveSteps}`
+        + ` loopWindow=${resolved.loopWindowHits}/${resolved.loopWindowSteps}`
         + ` silentTurn=${resolved.silentTurn}`);
     /** 每个会话各一份状态；用 WeakMap 以免会话销毁后残留。 */
     const anchorThrottles = new WeakMap();

package/dist/messages.js

@@ -60,7 +60,11 @@ export function degenerationText(turn, step, metrics, reminder = 1) {
     const top = metrics.top.slice(0, TOP_UNITS_SHOWN)
         .map(entry => `「${entry.unit.length <= TOP_UNIT_MAX_CHARS ? entry.unit : `${entry.unit.slice(0, TOP_UNIT_MAX_CHARS)}…`}」×${entry.count}`)
         .join('、');
-    return `${head}${where}，最高频的是 ${top}。`
+    // `top` 只收出现 ≥ `REPEAT_MIN_COUNT` 次的片段，所以它为空**等价于**重复率为 0。
+    // `repetitionThreshold: 0` 是合法配置（阈值校验允许 0，等于「任何一步都提醒」），
+    // 那条路径下必须省略这一句，否则会拼出「最高频的是 。」这种残句。
+    const highlight = top === '' ? '' : `，最高频的是 ${top}`;
+    return `${head}${where}${highlight}。`
         + '重复不等于想得更细，它是原地打转：这些片段没有带来新信息。'
         + '现在检查手上已有的信息够不够完成任务——够就直接给结论，'
         + '不够就换一个与前面不同的动作去取，而不是把同一句话再写一遍。';

package/dist/repetition.d.ts

@@ -1,22 +1,29 @@
 /**
  * 思考重复度判定（退化检测的判据）。
  *
- * 判据 = 单条推理按换行与中英句读切分后，**出现 ≥3 次的单元占全部单元的比例**，
- * 并要求连续若干步越线才触发。
+ * 判据由两部分构成。
  *
- * 实测依据（2026-09-28，会话 `session-fabc21b2`，19 轮 416 条助手消息）：
- * 正常期重复率 0%–35%、退化期 48%–92%，隔离带很宽。阈值取 50% 落在这份单会话样本
- * 两端的中点附近，**不是标定结果**——它是第一期可用的起点，标定留给数据积累
- * （设计方案 §4.2 与 §五）。
+ * **单步度量**：按换行与中英句读切分推理，统计「出现 ≥3 次的单元」占比。只统计**实义
+ * 单元**——纯标记（代码围栏、花括号、星号）在写代码时天然高频，把它们计入会让正常步越线。
+ * 实测（2026-10-01，本机 `sessions-ssid` 根 37 个 ≥3MB 会话）：三个会话的越线全部来自这类
+ * 标记，排除后归零；而真退化会话的峰值反而更高——噪声单元出局后真实重复的占比更突出。
  *
- * 连续 N 步是必需的：正常期也会出现单次抖动（实测峰值 35%），只按单步触发会让误报
- * 跟着抖动走。代价是延迟——按同一份数据回放，触发会落在 t11/s2 而不是 t10/s44，
- * 晚约 3 步（中间夹了一个 48%，低于阈值、计数归零）。
+ * **触发条件**：最近若干步内**累计**越线次数，不要求连续。原判据要求连续 2 步，其依据是
+ * 单个会话（`fabc21b2`，本机最严重的样本）里退化在同一 turn 内连成片；换成散布型退化时
+ * 判据失效——`a8ac8e89` 有 17 次语义越线却凑不出一次连续 2 步，提醒因此几乎不被发出
+ * （该会话只触发 1 次、落在 t38；另有 `8fa3b15e` 与 `cb56f381` 两个真退化会话触发 0 次）。
+ * 窗口累计在同一批样本上让两个零触发的会话开始触发，而三个假阳性会话（语义口径下越线为
+ * 零）在任何窗口下都不触发。窗口**跨 turn** 累计：散布正是跨 turn 的，按 turn 清零会把
+ * 它们重新拆散。
  *
- * 为什么不用推理长度当辅助判据：退化期的单条推理并不特别长（实测 1,000–2,600
- * 字符），长度不区分两群；重复率本身已经把「这段内容有多少信息」量化了。
+ * `insufficient`（单元数不足）既不记命中也不记未命中：让「推理偶尔写得很短」占位会稀释
+ * 窗口、反复推迟触发。
  *
- * 设计出处：`docs/设计/2026-09-28-应变二期-退化检测与自动干预.md` §四
+ * 为什么不用推理长度当辅助判据：退化期的单条推理并不特别长（实测 1,000–2,600 字符），
+ * 长度不区分两群；重复率本身已经把「这段内容有多少信息」量化了。
+ *
+ * 设计出处：`docs/设计/2026-09-28-应变二期-退化检测与自动干预.md` §四、
+ * `docs/设计/2026-10-01-提醒判据修正与实测方案.md`
  * @module @max-null/dsh-allostasis/repetition
  */
 /** 单元重复达到此次数才计入「重复单元」。 */
@@ -25,11 +32,13 @@ export declare const REPEAT_MIN_COUNT = 3;
 export declare const MIN_UNITS = 12;
 /** 重复率判定阈值——起点值，非标定值。 */
 export declare const REPETITION_THRESHOLD = 0.5;
-/** 触发所需的连续越线步数。 */
-export declare const CONSECUTIVE_STEPS = 2;
+/** 触发所需的观察窗口，以步为单位（默认 5）。 */
+export declare const LOOP_WINDOW_STEPS = 5;
+/** 窗口内需要累计的越线步数（默认 2）。取 3 会漏掉「少而猛」型退化。 */
+export declare const LOOP_WINDOW_HITS = 2;
 /** 一条思考的重复度量化结果。 */
 export interface RepetitionMetrics {
-    /** 切分后的单元总数（去空白后）。 */
+    /** 计入统计的实义单元总数。 */
     units: number;
     /** 重复单元的**总出现次数**（同一单元出现 5 次计 5，不是计 1）。 */
     repeated: number;
@@ -46,8 +55,9 @@ export type RepetitionVerdict = 'loop' | 'normal' | 'insufficient';
 /**
  * 统计一条思考文本的重复度。空文本返回全零。
  *
- * 单元按 `UNIT_SEPARATOR` 切分并去掉空白，因此纯空行的段落不参与统计。
- * `top` 只收达到 `REPEAT_MIN_COUNT` 的单元，最多 5 条，同次数按单元字典序稳定排序。
+ * 单元按 `UNIT_SEPARATOR` 切分、去掉空白、滤掉非实义单元，因此纯空行的段落与代码标记
+ * 都不参与统计。`top` 只收达到 `REPEAT_MIN_COUNT` 的单元，最多 5 条，同次数按单元字典序
+ * 稳定排序。
  * @param text - 推理原文。
  * @returns 量化结果。
  */
@@ -55,37 +65,33 @@ export declare function measureRepetition(text: string): RepetitionMetrics;
 /**
  * 对一次测量下判定。
  *
- * 单元数不足 `MIN_UNITS` 时返回 `insufficient`——**不下结论**。调用方据此决定该步
- * 既不算越线也不算清白（见 `trackLoop`）。
+ * 单元数不足 `MIN_UNITS` 时返回 `insufficient`——**不下结论**。调用方据此决定该步既不算
+ * 越线也不算清白（见 `trackLoop`）。
  * @param metrics - 量化结果。
  * @param threshold - 重复率阈值；缺省用 {@link REPETITION_THRESHOLD}。
  * @returns 三态判定。
  */
 export declare function repetitionVerdict(metrics: RepetitionMetrics, threshold?: number): RepetitionVerdict;
-/** 连续越线的追踪状态。不可变——每次推进都返回一份新状态。 */
+/** 越线窗口的追踪状态。不可变——每次推进都返回一份新状态。 */
 export interface LoopTrackerState {
-    /** 当前已连续越线的步数。 */
-    consecutive: number;
-    /** 最近一次判定的 turn，用于识别「换了一轮」。 */
-    lastTurn: number;
+    /** 最近若干步的越线标记，最近的在后；长度不超过窗口步数。 */
+    readonly recent: readonly boolean[];
 }
 /**
- * 推进连续越线计数，并判定本次是否触发。
- *
- * **状态不跨 turn 延续**：新一轮的第一条推理重新起算。turn 是用户可感知的边界，
- * 而且实测里退化在同一个 turn 内就已连成片（t10 的 44%–64% 全在一轮内），跨轮累加
- * 只会让触发更晚。
+ * 推进越线窗口，并判定本次是否触发。
  *
- * `insufficient` 的样本**保持计数不变**：它既不是越线也不是清白，算作清零会让
- * 「推理偶尔写得很短」反复推迟触发。
+ * 窗口**不按 turn 清零**：退化样本常常散布在若干轮里，按轮清零会把它们重新拆散——这正是
+ * 原「连续 2 步」判据在 `a8ac8e89` 上失效的原因。
  *
+ * `insufficient` 的样本**既不记命中也不记未命中**：让它占位会稀释窗口。代价是窗口可能
+ * 跨过多个步才填满，但触发条件本身是「累计」而非「密度」，不受影响。
  * @param state - 上一次的状态；首次调用传 `undefined`。
- * @param turn - 产出该思考的 turn。
  * @param verdict - 该步的判定。
- * @param required - 触发所需的连续越线步数；缺省用 {@link CONSECUTIVE_STEPS}。
+ * @param windowSteps - 窗口大小，以步为单位；缺省用 {@link LOOP_WINDOW_STEPS}。
+ * @param windowHits - 触发所需的窗口内越线步数；缺省用 {@link LOOP_WINDOW_HITS}。
  * @returns `state` 为推进后的新状态；`fire` 为本次是否达到触发条件。
  */
-export declare function trackLoop(state: LoopTrackerState | undefined, turn: number, verdict: RepetitionVerdict, required?: number): {
+export declare function trackLoop(state: LoopTrackerState | undefined, verdict: RepetitionVerdict, windowSteps?: number, windowHits?: number): {
     state: LoopTrackerState;
     fire: boolean;
 };

package/dist/repetition.js

@@ -1,22 +1,29 @@
 /**
  * 思考重复度判定（退化检测的判据）。
  *
- * 判据 = 单条推理按换行与中英句读切分后，**出现 ≥3 次的单元占全部单元的比例**，
- * 并要求连续若干步越线才触发。
+ * 判据由两部分构成。
  *
- * 实测依据（2026-09-28，会话 `session-fabc21b2`，19 轮 416 条助手消息）：
- * 正常期重复率 0%–35%、退化期 48%–92%，隔离带很宽。阈值取 50% 落在这份单会话样本
- * 两端的中点附近，**不是标定结果**——它是第一期可用的起点，标定留给数据积累
- * （设计方案 §4.2 与 §五）。
+ * **单步度量**：按换行与中英句读切分推理，统计「出现 ≥3 次的单元」占比。只统计**实义
+ * 单元**——纯标记（代码围栏、花括号、星号）在写代码时天然高频，把它们计入会让正常步越线。
+ * 实测（2026-10-01，本机 `sessions-ssid` 根 37 个 ≥3MB 会话）：三个会话的越线全部来自这类
+ * 标记，排除后归零；而真退化会话的峰值反而更高——噪声单元出局后真实重复的占比更突出。
  *
- * 连续 N 步是必需的：正常期也会出现单次抖动（实测峰值 35%），只按单步触发会让误报
- * 跟着抖动走。代价是延迟——按同一份数据回放，触发会落在 t11/s2 而不是 t10/s44，
- * 晚约 3 步（中间夹了一个 48%，低于阈值、计数归零）。
+ * **触发条件**：最近若干步内**累计**越线次数，不要求连续。原判据要求连续 2 步，其依据是
+ * 单个会话（`fabc21b2`，本机最严重的样本）里退化在同一 turn 内连成片；换成散布型退化时
+ * 判据失效——`a8ac8e89` 有 17 次语义越线却凑不出一次连续 2 步，提醒因此几乎不被发出
+ * （该会话只触发 1 次、落在 t38；另有 `8fa3b15e` 与 `cb56f381` 两个真退化会话触发 0 次）。
+ * 窗口累计在同一批样本上让两个零触发的会话开始触发，而三个假阳性会话（语义口径下越线为
+ * 零）在任何窗口下都不触发。窗口**跨 turn** 累计：散布正是跨 turn 的，按 turn 清零会把
+ * 它们重新拆散。
  *
- * 为什么不用推理长度当辅助判据：退化期的单条推理并不特别长（实测 1,000–2,600
- * 字符），长度不区分两群；重复率本身已经把「这段内容有多少信息」量化了。
+ * `insufficient`（单元数不足）既不记命中也不记未命中：让「推理偶尔写得很短」占位会稀释
+ * 窗口、反复推迟触发。
  *
- * 设计出处：`docs/设计/2026-09-28-应变二期-退化检测与自动干预.md` §四
+ * 为什么不用推理长度当辅助判据：退化期的单条推理并不特别长（实测 1,000–2,600 字符），
+ * 长度不区分两群；重复率本身已经把「这段内容有多少信息」量化了。
+ *
+ * 设计出处：`docs/设计/2026-09-28-应变二期-退化检测与自动干预.md` §四、
+ * `docs/设计/2026-10-01-提醒判据修正与实测方案.md`
  * @module @max-null/dsh-allostasis/repetition
  */
 /** 单元重复达到此次数才计入「重复单元」。 */
@@ -25,22 +32,39 @@ export const REPEAT_MIN_COUNT = 3;
 export const MIN_UNITS = 12;
 /** 重复率判定阈值——起点值，非标定值。 */
 export const REPETITION_THRESHOLD = 0.5;
-/** 触发所需的连续越线步数。 */
-export const CONSECUTIVE_STEPS = 2;
+/** 触发所需的观察窗口，以步为单位（默认 5）。 */
+export const LOOP_WINDOW_STEPS = 5;
+/** 窗口内需要累计的越线步数（默认 2）。取 3 会漏掉「少而猛」型退化。 */
+export const LOOP_WINDOW_HITS = 2;
 /** 切分单元用的分隔符：换行与中英句读。 */
 const UNIT_SEPARATOR = /[\n。！？]/;
+/**
+ * 一个单元是否计入重复统计。
+ *
+ * 排除两类：以代码围栏开头的整段（` ``` ` 与 ` ```ts `），以及不含实义文字的纯标记单元。
+ * 实义 = 至少一个汉字，或至少两个连续拉丁字母——单个字母会让 `}`、`*`、`|` 这类符号的
+ * 邻接字母混进来。
+ * @param unit - 切分并去空白后的单元。
+ * @returns 该单元是否计入。
+ */
+function isSemanticUnit(unit) {
+    if (unit.startsWith('```'))
+        return false;
+    return /[\p{Script=Han}]|[A-Za-z]{2}/u.test(unit);
+}
 /**
  * 统计一条思考文本的重复度。空文本返回全零。
  *
- * 单元按 `UNIT_SEPARATOR` 切分并去掉空白，因此纯空行的段落不参与统计。
- * `top` 只收达到 `REPEAT_MIN_COUNT` 的单元，最多 5 条，同次数按单元字典序稳定排序。
+ * 单元按 `UNIT_SEPARATOR` 切分、去掉空白、滤掉非实义单元，因此纯空行的段落与代码标记
+ * 都不参与统计。`top` 只收达到 `REPEAT_MIN_COUNT` 的单元，最多 5 条，同次数按单元字典序
+ * 稳定排序。
  * @param text - 推理原文。
  * @returns 量化结果。
  */
 export function measureRepetition(text) {
     const units = text.split(UNIT_SEPARATOR)
         .map(part => part.trim())
-        .filter(part => part !== '');
+        .filter(part => part !== '' && isSemanticUnit(part));
     const counts = new Map();
     for (const unit of units)
         counts.set(unit, (counts.get(unit) ?? 0) + 1);
@@ -63,8 +87,8 @@ export function measureRepetition(text) {
 /**
  * 对一次测量下判定。
  *
- * 单元数不足 `MIN_UNITS` 时返回 `insufficient`——**不下结论**。调用方据此决定该步
- * 既不算越线也不算清白（见 `trackLoop`）。
+ * 单元数不足 `MIN_UNITS` 时返回 `insufficient`——**不下结论**。调用方据此决定该步既不算
+ * 越线也不算清白（见 `trackLoop`）。
  * @param metrics - 量化结果。
  * @param threshold - 重复率阈值；缺省用 {@link REPETITION_THRESHOLD}。
  * @returns 三态判定。
@@ -75,26 +99,24 @@ export function repetitionVerdict(metrics, threshold = REPETITION_THRESHOLD) {
     return metrics.ratio >= threshold ? 'loop' : 'normal';
 }
 /**
- * 推进连续越线计数，并判定本次是否触发。
- *
- * **状态不跨 turn 延续**：新一轮的第一条推理重新起算。turn 是用户可感知的边界，
- * 而且实测里退化在同一个 turn 内就已连成片（t10 的 44%–64% 全在一轮内），跨轮累加
- * 只会让触发更晚。
+ * 推进越线窗口，并判定本次是否触发。
  *
- * `insufficient` 的样本**保持计数不变**：它既不是越线也不是清白，算作清零会让
- * 「推理偶尔写得很短」反复推迟触发。
+ * 窗口**不按 turn 清零**：退化样本常常散布在若干轮里，按轮清零会把它们重新拆散——这正是
+ * 原「连续 2 步」判据在 `a8ac8e89` 上失效的原因。
  *
+ * `insufficient` 的样本**既不记命中也不记未命中**：让它占位会稀释窗口。代价是窗口可能
+ * 跨过多个步才填满，但触发条件本身是「累计」而非「密度」，不受影响。
  * @param state - 上一次的状态；首次调用传 `undefined`。
- * @param turn - 产出该思考的 turn。
  * @param verdict - 该步的判定。
- * @param required - 触发所需的连续越线步数；缺省用 {@link CONSECUTIVE_STEPS}。
+ * @param windowSteps - 窗口大小，以步为单位；缺省用 {@link LOOP_WINDOW_STEPS}。
+ * @param windowHits - 触发所需的窗口内越线步数；缺省用 {@link LOOP_WINDOW_HITS}。
  * @returns `state` 为推进后的新状态；`fire` 为本次是否达到触发条件。
  */
-export function trackLoop(state, turn, verdict, required = CONSECUTIVE_STEPS) {
-    const current = state ?? { consecutive: 0, lastTurn: Number.NaN };
-    const base = current.lastTurn === turn ? current.consecutive : 0;
+export function trackLoop(state, verdict, windowSteps = LOOP_WINDOW_STEPS, windowHits = LOOP_WINDOW_HITS) {
+    const current = state ?? { recent: [] };
     if (verdict === 'insufficient')
-        return { state: { consecutive: base, lastTurn: turn }, fire: false };
-    const consecutive = verdict === 'loop' ? base + 1 : 0;
-    return { state: { consecutive, lastTurn: turn }, fire: consecutive >= required };
+        return { state: current, fire: false };
+    const recent = [...current.recent, verdict === 'loop'].slice(-windowSteps);
+    const hits = recent.filter(Boolean).length;
+    return { state: { recent }, fire: hits >= windowHits };
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@max-null/dsh-allostasis",
-  "version": "0.2.1",
+  "version": "0.3.0",
   "description": "应变（allostasis）：会话状态的自我调节。第一期：中文思考的漂移检测与近因锚定",
   "license": "MIT",
   "publishConfig": {