Skip to content

chore: restore work that was merged into a base branch, not into main - #95

Merged
CarlLee1983 merged 2 commits into
mainfrom
agent/restore-stranded-work
Aug 16, 2026
Merged

chore: restore work that was merged into a base branch, not into main#95
CarlLee1983 merged 2 commits into
mainfrom
agent/restore-stranded-work

Conversation

@CarlLee1983

Copy link
Copy Markdown
Owner

#89#93 在 GitHub 上標記為 MERGED,內容卻不在 main 上。

兩者都是堆疊 PR,base 分別是 agent/issue-82-unclosed-fenceagent/issue-84-message-language。那兩條分支在此之前已經以 #88#91 併入 main,所以這兩筆工作被合進了已經沒有下游的分支,停在原地。issue #83#90 也因此被自動關掉,但它們的東西不在 main。

驗證(改動前的 main):docs/adr/ 只到 0008;response_contract.py 仍是 successful response has no usable schema contract

補回來的內容

以 cherry-pick 取回原始 commit,內容與當初通過 review 的版本逐字相同。

驗證

  • uv run pytest 2227 passed(比 main 多 49 個案例——那正是遺失的部分)
  • uv run ruff check . / npm run docs:check / scripts/quality_gate.py --strict-local 全 PASS
  • 掃過 loop_apidoc/validate/,英文訊息殘留為零

… of unifying them

#83 假設分歧大致是「drafts 比較寬鬆」,量測之後不成立:兩邊的寬鬆處是交錯的。
閘門讀得到裸行/反引號/清單/粗體形式的宣告、無標籤的參數表、任何語言的圍籬範例;
草稿讀得到帶前綴的標題、小寫 method、GitBook 的兩段反引號寫法。各自朝自己的用途
放寬——閘門要的是「事實在哪裡就讀哪裡」,草稿要的是能貼進小節的結構。

三個候選收斂點(帶前綴的標題、小寫 method、GitBook 兩段反引號)在十三個 benchmark
case 的語料裡都是**零次**出現,所以收斂沒有可得的涵蓋,只有把 fail-closed 閘門的
散文誤判面放大的風險。因此這張票的正確結局是釘住而非收斂。

新增 ADR 0009 記錄「兩套掃描器分開治理」與逐條分歧表,並說明為什麼不共用 regex:
為了草稿輸出而做的改動會安靜地移動閘門,而症狀是一次沒人編輯過卻失敗的 run。
GitBook 那一列標記為 gap 而非 decision——它是字面宣告、認它不會削弱嚴格度,
只是目前沒有來源用它,而在那之前這種來源會以 SOURCE_FACTS_UNSCANNED 浮現而非沉默,
這正是等待安全的原因。

tests/source_facts/test_scanner_divergence.py 把每一格釘成可執行的紀錄:任何一格變了,
要嘛是有意的決策(連同 ADR 一起改),要嘛是一次沒被發現的漂移。
空殼 response 那筆是 validate/ 最後一筆英文訊息,改成繁體中文後整個套件不再有
同一份報告用兩種語言對 operator 說話的情形(掃過一次確認為零)。

判準寫進 AGENTS.md 的 Conventions:validation 的 issue 文字是產品輸出,與生成的
guide 同屬 zh-TW 那一側。原本只有 coverage.py 的 docstring 記著這件事,而這次的
不一致正是發生在另一個模組——規則寫在模組裡就只有讀那個模組的人看得到。
@CarlLee1983
CarlLee1983 merged commit a4b3091 into main Aug 16, 2026
1 check passed
@CarlLee1983
CarlLee1983 deleted the agent/restore-stranded-work branch August 16, 2026 12:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant