Pin the documents gitlink to the delivery lessons; align gate guards #9

Merged
weichen merged 4 commits from feature/pin-documents-lessons into main 2026-09-30 03:51:19 +00:00
Owner
  1. documents gitlink → 2ec3e50(lesson×2,documents PR#3);2) 门禁守卫一致性:task-start 与 precheck 同判(porcelain+漂移/冲突),PR#8 把未初始化(-)并入 BUSY 属过度矫正,改为告警(阻断构建不阻断写入)。验证:bash -n + 本检出 precheck 三态输出 + make test exit=0(gitlink 规则)。
1) documents gitlink → 2ec3e50(lesson×2,documents PR#3);2) 门禁守卫一致性:task-start 与 precheck 同判(porcelain+漂移/冲突),PR#8 把未初始化(-)并入 BUSY 属过度矫正,改为告警(阻断构建不阻断写入)。验证:bash -n + 本检出 precheck 三态输出 + make test exit=0(gitlink 规则)。
weichen added 4 commits 2026-09-30 03:51:18 +00:00
Why: the two 2026-09-30 lesson entries merged into documents main; the
composition should consume them for future retrieval.
Evidence: documents PR#3 merged (2ec3e50); make test on this branch before
merge per the gitlink rule.
Impact: gitlink-only advance; no product code change.
Refs: docs/records/2026-09-30-lesson-*.md
Why: the pin-documents flow exposed guard divergence — precheck counted
submodule drift while task-start checked porcelain only, letting a task
start despite a BUSY verdict; and PR#8 overcorrected by treating
uninitialized (-) submodules as BUSY when they only block builds, not
writes.
Evidence: bash -n clean; precheck on this checkout prints tree line with
drift/uninit split and READY verdict; negative path exercised by the
real divergence that started this task.
Impact: precheck warns on uninitialized, BUSY only on +/U; task-start now
refuses on porcelain dirt and +/U drift, matching precheck.
Refs: PR#8; policy/tool-adaptation-matrix.md A1
weichen merged commit e85d1ee49f into main 2026-09-30 03:51:19 +00:00
Sign in to join this conversation.
No Reviewers
No labels
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: weichen/Agent-System-Dev#9