inkstone/ISEP - ISEP - Gitea: Git with a cup of tea

inkstone/ISEP

Fork 0

Commit Graph

Author	SHA1	Message	Date
claude-code	4322deb23a	補上 stat -f 診斷的最後一層：連離開碼都不可靠（inkstone/ISEP#90 ④）總管自己驗這一格量到 exit=0，我量到 exit=1。兩個都是真的，而分歧本身就是最後一塊拼圖： GNU 的 `-f` 是 `--file-system`，布林旗標、不接格式字串 ⇒ `%m` 不是格式，它被當成另一個檔名運算元 ⇒ 離開碼取決於「cwd 裡有沒有一個叫 `%m` 的檔」： A. 沒有（一般情況） → exit 1 ⇒ `\|\|` 會跑 ⇒ 正確的秒數接在垃圾後面 B. 剛好有 → exit 0 ⇒ `\|\|` 不會跑 ⇒ 整包連一個數字都沒有兩種情況閘的結果一樣：MT 都不是純數字、戳記都作廢。（實測 GNU coreutils 9.4，兩種都重現過） 🔴 教訓比原本寫的更尖銳：舊寫法的 `\|\|` fallback 救不了，不是因為它沒跑，而是因為「跑不跑」根本不由這支腳本決定—— 它由「cwd 裡有沒有某個檔名」決定。一個行為取決於 cwd 有沒有某個檔的判斷式，不管跑不跑都是壞的。 ⇒ 所以修法不能只是「把順序反過來」，每一步都要驗它是不是純數字（lib/mtime.sh 本來就是這樣寫的，現在把理由寫進去了）。 gate-ok 測試補第 ⑰ 條守這一層：cwd 裡有一個叫 `%m` 的檔時，file_mtime 仍要回純數字。 16 → 17 條，TESTING.md 的 A16 一併更新。	2026-08-28 00:27:51 +00:00
claude-code	3e83a4b4f3	修好「總管可以放行」那道門——它在 Linux（＝每個雲端 session）上是焊死的（inkstone/ISEP#90 ④）三支閘（prod-write-guard／main-and-prod-push-guard／stage-before-prod-guard）判斷戳記新不新，都寫成這一行： MT=$(stat -f %m "$STAMP" 2>/dev/null \|\| stat -c %Y "$STAMP" 2>/dev/null \|\| echo 0) macOS（BSD stat）上 `-f %m` 就是 mtime，對的。 GNU coreutils 的 `-f` 是「顯示檔案系統資訊」，而且它一邊回非零、一邊往 stdout 吐一整段區塊 ⇒ `\|\|` 接上的秒數被那段文字污染 ⇒ 下一行的 `case "$NOW$MT" in [!0-9]) return 1` 必然命中 ⇒ 在 Linux 上那三支閘的戳記永遠不會被接受。後果不是少一個便利功能：那三支閘都是「擋下來、但總管看過就能放行」，而放行那道門在雲端打不開 ⇒ 它們在雲端等於純擋，總管照著閘自己印的指示做，做幾次都打不開，閘也不會告訴他門是壞的（inkstone/InkStoneCo#99 那次「連續四次蓋不出戳記」就是這個形狀）。 · hooks/lib/mtime.sh：先 `-c %Y`（GNU）再 `-f %m`（BSD），每一步都驗是不是純數字 ——這個 bug 的成因正是「命令失敗了卻還是印了東西」，只看離開碼會再被騙一次。四支用到的檔各自帶一份 inline fallback：這道門不能因為少一個檔案就再關上一次。 · scripts/gate-ok：把散在各閘訊息裡的七種逃生口收斂成一個名字、一種形狀（`gate-ok <閘名> [參數]`）。原因是逃生口原本是「臨時湊出來的 Bash 指令」，而臨時湊的指令沒有穩定形狀可以事先放行——settings.json 的 allow 只能逐條完全比對，多一個 `&&`、換一個 session id 就落在規則外。它蓋的戳記與閘原本認的完全同一個檔、同一種語意（單次、綁 repo、綁 session、有效期都沒動），換掉的只有「怎麼蓋」。測試 hooks/tests/gate-ok.test.sh：16/16。既有的三支測試（29／16／10）不受影響。拿 main 跑同一份：②⑤（門打得開）紅、⑥⑦⑧（門沒變寬）全綠 ⇒ 這支補的正是既有測試從來沒驗過的那半邊。	2026-08-28 00:11:42 +00:00

Author

SHA1

Message

Date

claude-code

4322deb23a

補上 stat -f 診斷的最後一層：連離開碼都不可靠（inkstone/ISEP#90 ④）

總管自己驗這一格量到 exit=0，我量到 exit=1。**兩個都是真的**，
而分歧本身就是最後一塊拼圖：

**GNU 的 `-f` 是 `--file-system`，布林旗標、不接格式字串**
⇒ `%m` 不是格式，它被當成**另一個檔名運算元**
⇒ 離開碼取決於「cwd 裡有沒有一個叫 `%m` 的檔」：

    A. 沒有（一般情況）  → exit 1 ⇒ `||` 會跑   ⇒ 正確的秒數接在垃圾後面
    B. 剛好有            → exit 0 ⇒ `||` 不會跑 ⇒ 整包連一個數字都沒有

兩種情況閘的結果一樣：MT 都不是純數字、戳記都作廢。（實測 GNU coreutils 9.4，兩種都重現過）

🔴 教訓比原本寫的更尖銳：舊寫法的 `||` fallback 救不了，
**不是因為它沒跑，而是因為「跑不跑」根本不由這支腳本決定**——
它由「cwd 裡有沒有某個檔名」決定。
一個行為取決於 cwd 有沒有某個檔的判斷式，不管跑不跑都是壞的。
⇒ 所以修法不能只是「把順序反過來」，**每一步都要驗它是不是純數字**
（lib/mtime.sh 本來就是這樣寫的，現在把理由寫進去了）。

gate-ok 測試補第 ⑰ 條守這一層：cwd 裡有一個叫 `%m` 的檔時，file_mtime 仍要回純數字。
16 → 17 條，TESTING.md 的 A16 一併更新。

2026-08-28 00:27:51 +00:00

claude-code

3e83a4b4f3

修好「總管可以放行」那道門——它在 Linux（＝每個雲端 session）上是焊死的（inkstone/ISEP#90 ④）

三支閘（prod-write-guard／main-and-prod-push-guard／stage-before-prod-guard）
判斷戳記新不新，都寫成這一行：

    MT=$(stat -f %m "$STAMP" 2>/dev/null || stat -c %Y "$STAMP" 2>/dev/null || echo 0)

macOS（BSD stat）上 `-f %m` 就是 mtime，對的。
**GNU coreutils 的 `-f` 是「顯示檔案系統資訊」**，而且它一邊回非零、
一邊往 stdout 吐一整段區塊 ⇒ `||` 接上的秒數被那段文字污染
⇒ 下一行的 `case "$NOW$MT" in *[!0-9]*) return 1` 必然命中
⇒ **在 Linux 上那三支閘的戳記永遠不會被接受。**

後果不是少一個便利功能：那三支閘都是「擋下來、但總管看過就能放行」，
而放行那道門在雲端打不開 ⇒ **它們在雲端等於純擋**，
總管照著閘自己印的指示做，做幾次都打不開，閘也不會告訴他門是壞的
（inkstone/InkStoneCo#99 那次「連續四次蓋不出戳記」就是這個形狀）。

· hooks/lib/mtime.sh：先 `-c %Y`（GNU）再 `-f %m`（BSD），**每一步都驗是不是純數字**
  ——這個 bug 的成因正是「命令失敗了卻還是印了東西」，只看離開碼會再被騙一次。
  四支用到的檔各自帶一份 inline fallback：這道門不能因為少一個檔案就再關上一次。
· scripts/gate-ok：把散在各閘訊息裡的七種逃生口收斂成一個名字、一種形狀
  （`gate-ok <閘名> [參數]`）。原因是逃生口原本是「臨時湊出來的 Bash 指令」，
  而臨時湊的指令沒有穩定形狀可以事先放行——settings.json 的 allow 只能逐條完全比對，
  多一個 `&&`、換一個 session id 就落在規則外。它蓋的戳記與閘原本認的完全同一個檔、
  同一種語意（單次、綁 repo、綁 session、有效期都沒動），換掉的只有「怎麼蓋」。

測試 hooks/tests/gate-ok.test.sh：16/16。既有的三支測試（29／16／10）不受影響。
拿 main 跑同一份：②⑤（門打得開）紅、⑥⑦⑧（門沒變寬）全綠
⇒ 這支補的正是既有測試從來沒驗過的那半邊。

2026-08-28 00:11:42 +00:00

2 Commits