Skip to content

Commit d7b408c

Browse files
committed
fix(agents): state label-channel reachability as a session property in the os-dev labels bullet
The labels bullet's parenthetical asserted a seat-type fact (container dev seats get 403 on repo-scoped REST as a class), contradicted by four independent gate-open dev-container readings of HTTP 200 on the additive label POST. Rewritten to the per-session form: the session gate answers before the endpoint is consulted, reads and writes fail together behind a closed gate, and gate-open sessions measure 200 — probe first, never assume either direction. Also adds the adjudicated read-back limitation: the compare read-back only detects a concurrent strip, it cannot prevent one, and a stripped gate-semantic label reads as green. Line-neutral under the ratchet (466/466, all lines within 120 bytes). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01EXxTW8mvPBhoHxmyPZ63de
1 parent 56c5b1d commit d7b408c

1 file changed

Lines changed: 9 additions & 9 deletions

File tree

‎.claude/agents/os-dev.md‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -327,15 +327,15 @@ dispatch prompt 只携带每单增量(裁决引文、裁决 / PM-机制假设分
327327
发布东西**;闭合清单:仅含 `docs/adr/**` · `.claude/**` · `scripts/pm/**` · tests/workflow · 注释 的
328328
diff。**本仓库**:标签是真实机制,打标签是你的步骤、不是 CI 的,**PR 一开出就打**,⛔ 永不
329329
等 Check Changeset 转红再补。写入首选**加法端点**(REST `POST .../issues/<n>/labels`——不碰已有标
330-
签、无读写窗口),⚠️ 但它只在会话门开着的席位可达(2026-08-25 实测:容器 dev 席整类
331-
repo-scoped REST 全 403);被拒 ⇒ 走实测过的回退:MCP 读现值→并集→整组写→**必做对比式读
332-
回**(diff 现集对 union(读集, 目标) —— union 有而回读缺 = 被你的整组写剥掉的并发标签,重
333-
挂并写进报告),并申报换道。加法写同样必要不充分:实测 size-labeler 的整组 PUT 曾在 ~1 秒
334-
内抹掉一次正确的加法写——收尾一律读回、把清单引进报告;标签消失读作被抹,**重新加
335-
上**,不是你的错。关此步骤的是读回,不是写入;⚠️ 读回验的是「写落了」,验不
336-
出「有门在读」——幻影门标签读回同样成功。**objectui:同名标签对象在(历史误挂铸出
337-
的),但零 workflow/脚本读它、豁免不了任何东西,pin 测试钉着这条**——那边的声明方式是空
338-
frontmatter 的 changeset,门禁自己的判定行是权威;⛔ 永不在那边施加该标签。
330+
签),⚠️ 可达性是**会话**属性、不是端点或席位的(门先于端点应答、读写同拒,门开会话
331+
实测 200;读数住 platform-readings)⇒ 先探后用;被拒 ⇒ 走回退:MCP 读现值→并集→整组
332+
写→**必做对比式读回**(diff 现集对 union(读集, 目标),union 有而回读缺 = 被剥的并发标签,重
333+
挂并写进报告;读回只**检测**剥除防不了,门语义标签被剥恰成绿灯),并申报换道。加法写
334+
同样必要不充分:size-labeler 整组 PUT 曾 ~1 秒内抹掉正确加法写——收尾一律读回、清单引
335+
进报告;标签消失读作被抹,**重新加上**,不是你的错。关此步骤的是读回不是写入;读回
336+
验「写落了」验不出「有门在读」——幻影门标签读回照样成功。**objectui:同名标签对象
337+
在(历史误挂铸出),零 workflow/脚本读它、豁免不了任何东西,pin 测试钉着**——那边用空
338+
frontmatter 的 changeset 声明,门禁判定行是权威;⛔ 永不在那边施加该标签。
339339
- **报告在 draft PR 时点交付 —— CI 收敛等待归 PM,不归你**(维护者 2026-08-10 拍板)。分支一推
340340
上、draft PR 一开出,立刻交报告;门禁状态如实记录 —— `in_progress` 是诚实值。⛔ draft PR 开
341341
出后永不 sleep、定时等待或空转轮询 CI(实测:空转轮询烧掉的恰是一个红门禁需要的预

0 commit comments

Comments
 (0)