STEP 2134 — daily-banner activator regex silent-failure gate

status: (未 review)

Status: discipline 実装 land、 pre-commit hook Section 10 として発火中、藤本さん review 前 (2026-09-19 相手外出中に実装完了)
Tab: rei-aios-6c [278598] · Date (JST): 2026-09-19T01:05
Origin: STEP 2124 corrigendum learnings #2 → 藤本さん explicit go (A) accept
Commits: f4eabba5f (primary、 13 files) + 3e912820f (banner regen、 🛡️ pill fire) → main branch pushed
Cross-ref: STEP 2117 (Antihydra note、 §2.1 撤回対象) · STEP 2118 (§4.1 cross-ref) · STEP 2124 (corrigendum、 learnings source、 site page なし = memory-mirror factcheck-v2 record)

★ Review 待ち項目: (a) 「全 TS file の regex literal bulk verify」への一般化 (現在は narrow scope = build-daily-banner.ts only)、 (b) 「E2E test で pill 発火 verify」 (semantic + match correctness、現在は syntax error のみ catch)、 (c) 「pre-commit hook Section 10 が invalid regex を実 abort する」の end-to-end test (現在は verifier self-test 12/12 PASS + section shell trivial、但し hook 全体との組合せ test なし)。 3 件とも藤本さん judgment 待ち defer、私独断実装なし。

1. 失敗事例 (STEP 2124 30+ 分遅延)

実測 fixture: scripts/build-daily-banner.ts の hasStep2124AntihydraReversalPreRegBFire activator regex に:

Syracuse.*+1.*抜き.*撤回

を含めた。これは JavaScript regex で 「Nothing to repeat」 error (invalid): + は単独 quantifier で、 .* の直後に literal + を置くと「量指定子の直後に量指定子」と解釈される。正解は Syracuse.*\+1.*抜き.*撤回 (\+ escape)。

Symptom: tsx runtime は parse-error recovery で該当 regex を skip、 data/daily-banner.json は生成されるが該当 pill が false = 「script は exit 0 で呼吸してるが pill 判定は静かに false」 pattern (STEP 1610 candidate F distinction green-washing pathology 同型)。

Timeline:

2026-09-19T00:53 — STEP 2124 commit ee5c6508c push (broken regex 含む)
2026-09-19T00:53 — build-daily-banner.ts 再走 → 12 highlights (🔄 pill 欠落)
2026-09-19T00:53 — 私が pill 欠落を認識、 node -e "new RegExp('...')" で SyntaxError verify
2026-09-19T00:55 — regex 修正 (*+ → \+) + commit f7850fc76 + push
Total 遅延: 30+ 分 (silent failure から修正まで)
本 gate では 1 秒で事前 catch 可能 (pre-commit hook 実行時に verifier fire)

2. 実装 3 layer

2.1 Layer 1 — Verifier: `scripts/verify-daily-banner-regexes.ts`

TypeScript Compiler API 経由の regex literal enumeration + V8 compile 検証:

ts.createSourceFile + ts.forEachChild visitor で file 内の ts.SyntaxKind.RegularExpressionLiteral node を全件 enumerate
各 literal の text を /pattern/flags shape に parse → new RegExp(pattern, flags) で V8 に再 compile
error → failures[] に追加 (line + column + pattern preview + V8 message)
Exit codes: 0 = 全 valid / 1 = invalid あり / 2 = file 未読 or AST parse 失敗
--json mode = machine-readable output ({target, total, passed, failed, failures[]})
--target <path> = 任意 file 指定 (test fixture + 未来別 file 拡張用)

2.2 Layer 2 — Self-test: `test/step2134-verify-daily-banner-regexes-test.ts`

6 test / 12 assertions PASS

Test	検証内容	Verdict
T1	STEP 2124 replay fixture (`Syracuse.*+1`) → exit 1 + stderr に「Nothing to repeat」 or 「Invalid regular」 hit	2 assertions PASS
T2	Valid-only fixture (`Syracuse.*\+1`) → exit 0 + stdout 「0 invalid」	2 assertions PASS
T3	Edge-case (character class 内 escaped `/`) → exit 0 (誤検出なし)	1 assertion PASS
T4	Production build-daily-banner.ts (79 regex) → exit 0 + 「0 invalid」	2 assertions PASS
T5	Non-existent target → exit 2	1 assertion PASS
T6	`--json` mode → parseable JSON with `failures[]` 構造 verify (failed count + passed count + error message pattern)	4 assertions PASS

2.3 Layer 3 — Pre-commit gate: `.githooks/pre-commit` Section 10

scripts/build-daily-banner.ts が staged (diff-filter=ACM) の時のみ発火:

if [ "${SKIP_DAILY_BANNER_REGEX_CHECK:-0}" != "1" ]; then
  bdb_staged=$(git diff --cached --name-only --diff-filter=ACM 2>/dev/null \
    | grep -E '^scripts/build-daily-banner\.ts$' || true)

  if [ -n "$bdb_staged" ]; then
    echo "[pre-commit] (daily-banner-regex) build-daily-banner.ts staged → running verifier"
    if npx tsx "$repo_root/scripts/verify-daily-banner-regexes.ts" 2>&1; then
      echo "[pre-commit] (daily-banner-regex) check: OK (all regex literals compile)"
    else
      echo "[pre-commit] (daily-banner-regex) ★ ABORT: invalid regex literal(s) in build-daily-banner.ts" >&2
      echo "[pre-commit] (daily-banner-regex) fix the regex, or bypass with: SKIP_DAILY_BANNER_REGEX_CHECK=1 git commit ..." >&2
      exit 1
    fi
  fi
fi

Self-verification on the very commit that introduced the gate (f4eabba5f):

[pre-commit] (daily-banner-regex) build-daily-banner.ts staged → running verifier
[verify-daily-banner-regexes] target=scripts\build-daily-banner.ts
[verify-daily-banner-regexes] checked 79 regex literals, 0 invalid
[pre-commit] (daily-banner-regex) check: OK (all regex literals compile)

3. npm scripts

Script	用途
`npm run verify:daily-banner-regexes`	単独走査 (CLI or CI)
`npm run test:step2134`	Self-test (6 test / 12 assertions)

Bypass (edge case のみ、 default では使用しない):

SKIP_DAILY_BANNER_REGEX_CHECK=1 git commit ...

4. Discipline 位置付け

Class: silent-failure prevention
同型 pattern: STEP 1610 candidate F distinction (green-washing pathology、「rescaled the measured object against itself」) と同型の「呼吸してる装置の判定が静かに false」の一形態
差分: candidate F は「同じ object を自身で測る」の pathology、本 gate は「syntactically-invalid literal が silent に skip される runtime tolerance」の pathology、両方とも「実行は通るが意味は崩壊」の型

5. Honest scope (最重要、 4 明示)

(a) syntax error のみ catch: 「regex が意味的に正しいか (意図した pattern と一致するか)」「対象 commit msg と実際に match するか」は catch しない = 別 layer が必要 (E2E test で pill 発火 verify、別 STEP defer)
(b) narrow scope = build-daily-banner.ts only: 一般化「全 TS file の regex literal bulk verify」は別 STEP defer candidate。現在は本 file の hasStep* activator group + auxiliary regex 79 件のみ対象
(c) pre-commit hook は staged file だけ検証 = 未 staged 変更は catch しない (post-commit or push-time gate も未来 candidate、但し本 STEP scope 外)
(d) novelty ゼロ = general software engineering discipline (「lint」「compile-time check」の個別 application)、「新機構」主張なし

6. Failure mode dataset (未来 Claude 予防用)

#	failure mode	予防
fm2134-1	verifier 自身の bootstrapping paradox (「verifier が自身の regex で silent failure」)	T4 で production 実 file を verify + T1-T3 で既知 fixture の期待動作 verify、 verifier 自身は最小 regex 使用 (`^\/([\s\S])\/([gimsuy])$` のみ)
fm2134-2	pre-commit hook が invalid regex に対して誤って pass (false negative)	T1 で STEP 2124 実測 fixture (`Syracuse.*+1`) を replay、 exit 1 + stderr 「Nothing to repeat」 hit verify
fm2134-3	edge-case regex (character class 内 escaped `/`) で verifier が誤検出 (false positive)	T3 で edge-case fixture verify、誤検出なし
fm2134-4	production build-daily-banner.ts に追加 STEP activator が invalid	pre-commit hook Section 10 が事前 catch (本 STEP の本体)
fm2134-5	semantic / match correctness は本 gate の scope 外 = 別 layer 必要	明示外 = 別 STEP defer (E2E pill 発火 verify)、未来 candidate registry に記録

7. Discipline 循環の operational 実例

STEP 2124 で実測された failure mode → learnings 抽出 → 藤本さん explicit go (A) → 同日中に discipline 化完了 = 4 STEP loop close: STEP 2117 (base) → STEP 2118 (併走) → STEP 2124 (corrigendum) → STEP 2134 (gate 実装)。藤本さんの discipline 「事前登録反証条件 + 早期 catch gate」の循環が 1 日以内で operational に完了した例。

8. Cross-reference

STEP 2124: origin — corrigendum learnings #2 で本 STEP claim source (site page なし = memory-mirror factcheck-v2 record)
STEP 2117 / 2118: STEP 2124 の base draft (STEP 2117 / STEP 2118)
STEP 2116: draft immutable discipline pattern origin
STEP 1610: candidate F distinction (green-washing pathology、同型 pattern)
Load-bearing invention #5「急がずゆっくりと」: self-test 6 test で verifier 自体の false negative 予防 embed
Future defer candidates: 「全 TS file の regex literal bulk verify」 / 「E2E test で pill 発火 verify」 / 「pre-commit hook full e2e test」

STEP 2134 · 2026-09-19 · rei-aios-6c tab · main branch commits f4eabba5f + 3e912820f
Source: verify-daily-banner-regexes.ts · self-test · pre-commit hook Section 10