Skip to content

fix(governance): close the windows-tier-lib-modules debt with its fixpoint - #571

Merged
monkey1sai merged 1 commit into
mainfrom
chore/close-windows-tier-lib-modules-fixpoint
Aug 17, 2026
Merged

monkey1sai merged 1 commit into
mainfrom
chore/close-windows-tier-lib-modules-fixpoint

Conversation

@monkey1sai

Copy link
Copy Markdown
Owner

變更摘要

關閉 PR #570 合併後留下的 windows-tier-lib-modules self-referential bootstrap fixpoint 欠帳;本 PR 僅更新 ledger 狀態並加入 exact-mechanism-commit attestation 與摘要。

修改原因

PR #570 已以 squash commit 655f1f9687b12874a1cbf4434006916bd16a2893 把 Windows verification tier-2 pattern 由 .ps1 擴為 .psm?1(scripts/lib/ 底下的 PowerShell module 現在欠 deploy_dryrun 證據)。該檔決定其他每個 PR 欠多少 Windows 證據,分支只能用改過的 checker 驗自己;依 self-referential bootstrap 契約,必須在 mechanism commit 上依凍結順序重放 immutable contract,再由獨立 closure PR 關閉欠帳。

主要變更

  • 將 windows-tier-lib-modules ledger entry 由 open 轉為 closed。
  • 綁定 mechanism commit 655f1f9687b12874a1cbf4434006916bd16a2893。
  • 新增 attestation.json,依 frozen contract 原順序記錄三個 command ID 與 exit code 0。
  • 新增 summary.md(含逐命令 invocation 表與 Windows/CI runner 邊界的誠實揭露)。

驗證方式

Frozen contract 重放(於 repo-sibling worktree C:\Repos\active\iot\ai-bim-fixpoint-655f1f9,HEAD = mechanism commit 655f1f9、git status --porcelain 為空,依 immutable 順序):

  • pwsh -NoProfile -NonInteractive -File scripts/tests/test-windows-verification-scope.ps1:all assertions passed,exit 0。
  • pwsh -NoProfile -NonInteractive -File scripts/tests/test-pr-body-evidence.ps1:all assertions passed,exit 0。
  • pwsh -NoProfile -NonInteractive -File scripts/tests/invoke-powershell-static.ps1(PSScriptAnalyzer 1.24.0):passed,exit 0。

Authoring 後(closure branch):

  • test-self-referential-bootstrap.ps1:PASS,exit 0(含本 closure transition 的 ledger 形狀)。
  • git diff --cached --check:clean。
  • staged path scope:僅 ledger + 兩個 fixpoint evidence 檔。

風險與影響

  • 不改 runtime、API、schema、deploy、workflow 或使用者介面。
  • 本 replay 在 Windows 主機執行;CI runner 上該 gate 由後續 PR 的 required checks 持有,summary 已如實揭露。
  • 本 PR 觸及 bootstrap ledger,屬 mechanism transition;closure 依單一目的規則只動 ledger 與該 fixpoint 證據。

回滾方式

合併前可直接關閉本 PR。若已合併,不手改或刪除 append-only evidence;必須依 self-referential bootstrap 契約建立新的可追溯 transition。

AI Coding Governance

Item Result
Change lane G
Behavior contract changed no
Linked issue PR #570(windows-tier-lib-modules 所開欠帳)
Requirement source existing contract: docs/agents/self-referential-bootstrap.md(closure transition)
CODEOWNERS / owner review requested;exact-head canonical review required
GitNexus evidence not applicable — closure 為 ledger/evidence-only,無 code symbol 變更
Browser E2E evidence not user-facing
Agent workflow changed? no
Required checks expected agent-governance、root-contracts、powershell-static

Self-Referential Bootstrap

Item Result
Self-referential bootstrap no
Bootstrap ledger entry not applicable
Bootstrap reason not applicable

…point

於 repo-sibling worktree(HEAD=mechanism commit 655f1f9、clean)重放該 entry
凍結的三支 verification contract 命令,全部 exit 0。attestation 與 summary 收於
docs/evidence/windows-tier-lib-modules/fixpoint/。

closure 單一目的:本 PR 只動 ledger 與該 fixpoint 證據。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@monkey1sai
monkey1sai enabled auto-merge (squash) August 17, 2026 10:23
@monkey1sai
monkey1sai merged commit 89dd01c into main Aug 17, 2026
21 of 22 checks passed
@monkey1sai
monkey1sai deleted the chore/close-windows-tier-lib-modules-fixpoint branch August 17, 2026 10:31
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.

2 participants