孤立度計 orphan gauge — device v0.1 → v0.5 + dashboard v0.6-alpha → v0.6-beta

実測 (2026-09-10、target = data/ src/ scripts/ test/、閾値 30 日、min refs 1)

計 in-scope 2,675 (scoped-out 325 = human-read heuristic filter)。scan 10.4 秒 / 3,000 artifacts scanned。

RUIN top 5 (「静かに止まったのに読まれ続けている」)

生の JSON は sample-scan.json (2026-09-10 実測、全 verdict + honestScope 含む)。

Timeline v0.1 → v0.2 → v0.3-lite → cleanup (2026-09-10〜11)

STEP 1947 — 50-sample calibration review (2026-09-11)

v0.1 RUIN 1,136 から stratified sample 50 review、verdict:

Precision-as-suspicious-flag: 100% (A+B)。Actionable rate: 4% のみ = 装置の 実 utility は 装置精度と別軸。主 finding: Rei プロジェクト の append-only 学問体系 慣習 (approval trail / paper artifact / historical snapshot / external mirror) と 装置素朴 semantics の semantic mismatch。

STEP 1948 — v0.2 archive detection refinement (2026-09-11)

STEP 1947 evidence に基づき consumption-mode.ts に 8 archive pattern 追加 + defaultConfig.excludeModes に archive 追加。

計 in-scope 14,882 (scoped-out 5,118)。v0.1 (18,824 / 1,176) から scoped-out +3,942 (archive-classified 増加分)、RUIN 1,136 → 334 (-802、-70.6%)。

v0.2 追加 patterns:

• Archive dir prefix: data/external-oss/ / data/external-research/ / data/anki/ / data/lean4-transfer/
• Archive filename patterns: approved-YYYY-MM-DD.json / publish-log-*.json / 汎用 dated / date-prefixed / compact ISO datetime
• Test 29 → 45/45 PASS (v0.2 test 15 new + T26b defaultConfig)

Actionable rate v0.2 推定: lean4-mathlib 297 × 20% + non-lean4-mathlib 37 × 2% ≈ 60/334 ≈ 18% (v0.1 の 4% から 5x 改善)。ただし予測「40-70%」より下振れ、失敗理由は notepad で honest 記録。

STEP 1949 — v0.3-lite lean4-mathlib pilot detector (2026-09-11)

lean4-mathlib 内 pilot 検出用 grep-based tool、509 .lean files 中 310 が isolated (60.9%)。Meta finding: Rei の Lean methodology は per-STEP proof exhibit style (各 Step<N>*.lean は STEP 出力 record として standalone、library building block ではない)、「isolated = actionable cleanup」は Rei-context で不成立。detector は screening review tool として value あり、auto-cleanup source としては 概念適用不能。

STEP 1947 corrigendum: sample row 11 SnstRealComparison.lean の A verdict は over-eager without file-content-check、実際は STEP 1228e substantive pilot with load-bearing evidence → 保留判定。

STEP 1950 — A verdict 1 件 実 cleanup (2026-09-11)

STEP 1947 sample 2 A verdicts のうち 1 件のみ実行: data/research-radar/karpathy-llm-wiki-watch.json → data/research-radar/_archive/2026-09-11/ へ git mv (destructive but reversible、not delete)。もう 1 件 (SnstRealComparison) は STEP 1949 corrigendum で 保留。

• Karpathy watch: v1.1 substantive config だが no active fetcher、Karpathy focus 2026-05-17 以降 dormant、last fetch 116d 前 → archive 妥当
• SnstRealComparison: substantive pilot with 8 theorem, load-bearing SNST × ℝ saturation evidence → 保留
• Reversibility: git mv で逆方向復元可能

Failure mode dataset 追加 (STEP 1948〜1950)

• (ii) device precision 高 = 装置有用性 高 誤認 → precision × user-agreement rate の 2 段 metric で 報告
• (jj) 大 cluster 少 sample の 信頼区間 隠蔽 → 各 cluster CI 幅 併記
• (kk) A verdict 少 = 装置 unnecessary 誤認 → 原因が category 粗すぎ の 区別
• (ll) 予測 vs 実測 の 楽観 bias → 予測は「レンジ + CI + 下振れ recovery path」3 段
• (oo) methodology assumption drift → 対象 methodology を 事前 sample-read で verify
• (pp) file-content-check なし での A verdict 過剰 → destructive 提案時 は 対象 file head-Read 必須
• (rr) 1件 cleanup を「装置有用性 完全証明」と過大主張予防

STEP 1952 — v0.4 latest.json + judgments + CF verify (2026-09-11)

consumption-mode.ts に ARCHIVE_PATH_REGEXES 新設 = /^data\/[^/]+\/latest\.json$/ (single-level subdirectory の domain snapshot)。 Test 45 → 49/49 PASS。 併せて (a) SnstRealComparison KEEP IN PLACE 判定 formalize (STEP 1949 corrigendum 継続、substantive pilot preserve)、(c2) Lean import-graph parser v0.5 defer 明文化、(d) CF Pages verify: HTTP 200 + 20 STEP-refs grep hits on live site。

STEP 1953 — top page banner pill 追加 (2026-09-11)

scripts/build-daily-banner.ts に 「📉 孤立度計 device (v0.4)」 pill entry 追加、7-STEP arc summary + numbers を top page (`/`) の highlights に expose。 mirror md5 一致、slice cap 12 内。

★★ STEP 1954 — v0.5 stability fix + cap-artifact 判明 (2026-09-11)

collect.ts に readdirSync(dir).sort() 追加 + defaultConfig の maxFiles: 20000 → 50000。 2 runs 完全一致 (RUIN set diff = 0 paths)、determinism 達成。

★★ Cap-based measurement artifact 判明: v0.4 reported RUIN=389 は 大幅 cap-truncated。 v0.5 full scan で 真値 RUIN = 1,555 と判明 (+12,885 previously-unseen artifacts、+1,166 landed in RUIN)。 v0.1 → v0.4 -70.6% RUIN narrative は 部分 cap-artifact、 archive-detection の 実効性 (scoped-out 1,176 → 10,196 = 8.6x) は 実存 だが raw count 比較は overclaim。

計 in-scope 22,689 (scoped-out 10,196)。v0.5 = 装置 fair baseline (deterministic + full-tree scan)。

★★★ STEP 1955 — v0.5 actionable-rate 大転換 finding (2026-09-11)

v0.5 deterministic RUIN 1,555 から stratified sample n=50 review → A=0/50 (0%) + B=50/50 (100%) + C=0 + D=0 = actionable rate 0% (95% CI 0-7% by rule of 3)。

Verdict resolution: 38 filename heuristics = B (per-STEP exhibits + topic proofs + MathlibPrep + historical data)、12 D UNKNOWN → batch grep で 11 files → B、1 file BakerSeparationAttempt.lean hits=0 → file-content-check で substantive pilot 判明 (STEP 1275 sub-2、Eric Merle Lean 4 conditional deps、load-bearing Rei arc) → B。 STEP 1949 SnstRealComparison pattern の再発、file-content-check discipline (pp) 無条件必須 が再確認。

Device 大転換 finding: precision (100%) と cleanup value (~0%) は独立次元、Rei per-STEP methodology + append-only 学問体系 で 残 RUIN は 実質全て intentional preservation、low-hanging fruit (karpathy STEP 1950) は既 picked。Device role shift: cleanup guidance (0%) → measurement / audit (100% precise) / methodology characterization / discipline enforcement (2 retroactive corrigendum trigger)。

STEP 1956 — v0.6-alpha audit dashboard (2026-09-11)

Device role shift の 実装: append-only timeline.json + orphan-gauge-append-history.ts script + 📊 audit dashboard page (inline SVG line chart、cap-artifact ⚠ marker、entries table)。 Time series monitoring tool として device を 位置づけ直し、cleanup guidance value 増加 は 主張しない (STEP 1955 finding 遵守)。

STEP 1958 — v0.6-beta = schema v0.2 + filter toggle + CI hook defer (2026-09-11)

timeline.json schema v0.1 → v0.2: 追加 optional per-entry fields = correctedBy: <runId> (superseded → dashboard 側で faded/strikethrough) + deprecated: bool (dashboard hides by default、opt-in toggle で表示可)。 v0.1 entries 互換 (additive only)。 Append script: --supersedes <runId> + --deprecate <runId> flags 追加、 past entry の 値 (counts 等) は 変更しない (append-only immutability preserved)、 annotation metadata のみ 追加。 Smoke test: step-1954-run2 を step-1958-v06-beta-smoke で supersedes、 annotation 正常書込。 Dashboard v0.6-beta: filter bar 追加 (「cap-artifact 除外 = v0.5+ のみ」 + 「deprecated 表示」 checkbox、 localStorage 永続化)、 CSS + JS で superseded/deprecated 表示 marker、 chart + table 別スコープ (chart は filtered、 table は 全 entries with 表示 class)。 CI hook は 「実 use case 発生時」 の user directive 尊重で **defer** (現状 → v0.7 candidate、 起票 trigger = 「藤本さん daily check」等の実 use case)、 npm alias や scheduled task も 同 dependency。

Failure mode dataset (STEP 1948-1956 追加)

• (ww) measurement noise を code change effect と誤帰属予防 (set-level diff 必須)
• (xx) 「keep-in-place 判定」を「永続保持宣言」と誤伝予防 (re-evaluate trigger 併記)
• (yy) defer を「実装拒否」と誤伝予防 (起票 trigger 併記)
• (zz) regex STEP 番号 hard-coded の brittle-ness 予防 (keyword primary trigger)
• (aaa) icon collision の visual UX (user judgment 領分明示)
• (bbb) cap-based sampling を full tree scan と誤伝予防 (cap hit flag)
• (ccc) 「削減」narrative の cap-artifact 予防 (scoped-out 増加量 で提示)
• (ddd) readdir non-determinism の 見落とし予防 (2 runs 完全一致 verify)
• (eee) low-hanging fruit picked 後 の 装置 utility 過大主張予防 (time series 追跡)
• (fff) precision × actionable 独立次元 誤解予防 (multi-role value proposition)
• (ggg) 「A verdict は 必ず A」bias 予防 (file-content-check 無条件必須)
• (hhh) Timeline "trend" 誤読 by cap-artifact mixing 予防 (⚠ marker)
• (iii) Append-only discipline の 事後訂正 誤解予防
• (jjj) Fetch path portability の 環境依存予防 (2 URL fallback)

使い方

npm i  # 一度だけ
npx tsx scripts/orphan-gauge.ts                       # default (30 日閾値、v0.2 archive 除外)
npx tsx scripts/orphan-gauge.ts --days 7              # 鮮度しきい値
npx tsx scripts/orphan-gauge.ts --min-refs 2          # 参照ありと見なす下限
npx tsx scripts/orphan-gauge.ts --targets data,src    # 対象ディレクトリ
npx tsx scripts/orphan-gauge.ts --include-human       # 人が読む成果物も測定対象に
npx tsx scripts/orphan-gauge.ts --json out.json       # JSON レポートを書き出す

# v0.3-lite (STEP 1949): lean4-mathlib pilot detector (screening review 用)
npx tsx scripts/lean4-mathlib-pilot-detector.ts --tsv pilots.tsv --json pilots.json

test

npm run test:step1926 → 45/45 PASS (v0.1 29 + v0.2 archive detection 15 + T26b defaultConfig)。v0.2 test cases: 4 dir-prefix + 8 filename patterns positive + 3 negative (must-not-be-archive) tests。

装置構造

Honest scope

主張する

• 更新 axis (mtime + threshold) × 参照 axis (explicit-path lower bound) の 交差 4 象限分類。
• RUIN quadrant を拾う ability (「静かに止まったのに参照が残っている」印)。
• consumption mode heuristic filter で「人が読む」artifact を default で out-of-scope 化。
• test 29/29 PASS で classifier + report + filter + reference-graph の end-to-end 動作 evidence。

主張しない

• chat-Claude CM-0 の装置化ではない。option 2 route を「工具 prototype」として選んだ状態、CM-0 との swap 可能性は open。
• 「読む義務」metric への拡張ではない。「読む義務」の定義は 藤本さん judgment 領域で、私は触っていません。
• 参照 axis は semantic reference (「あの spec に従う」のような明示 path のない参照) を拾わない = false RUIN が出うる。
• consumption mode は較正未着手の heuristic。誤分類の可能性、Verdict の mode field で expose される。
• RUIN 判定 = 実害と直結しない、単に「疑わしい印」。further audit で個別判断が必要。

Failure mode (未来 Claude 用 dataset)

• (k) simulator を装置と誤読する drift: STEP 1909 は simulator (人が触るもの)、STEP 1926 device は「real project に適用する工具」で別 layer。CM-0 gate skip の誤解を予防するため、site + notepad + memory hook で「swap 可能性 open」を四箇所明示。
• (l) reference-graph lower-bound を完全と誤伝: literal path 出現のみ = false RUIN 側偏り。「参照グラフ完成」と誤伝すると削除判断の根拠になりうる。CLI の Honest scope 出力に常時明示。
• (m) consumption mode heuristic を較正と誤認: 静的 rule (path prefix + suffix + filename pattern) で「較正機械が別途要る場所」と simulator が明示していた通り、device 側も heuristic。Verdict.mode を常時 expose して藤本さん judgment で検出可能に。

Related

• 📊 STEP 1956 audit dashboard (v0.6-alpha time series) — device role shift の 実装 (measurement / audit / discipline enforcement)
• STEP 1909 — orphan gauge simulator (chat-Claude 会話成果物)
• notepad entry (STEP 1926 — v0.1 land)
• notepad entry (STEP 1947 — 50-sample calibration)
• notepad entry (STEP 1948 — v0.2 archive detection)
• notepad entry (STEP 1949 — v0.3-lite pilot detector)
• notepad entry (STEP 1950 — cleanup)
• notepad entry (STEP 1952 — v0.4 + judgments + CF verify)
• notepad entry (STEP 1953 — top page pill)
• notepad entry (STEP 1954 — v0.5 stability fix + cap-artifact finding)
• notepad entry (STEP 1955 — v0.5 recalibration + 大転換 finding)
• notepad entry (STEP 1956 — v0.6-alpha dashboard)
• device source (GitHub)
• pilot detector source (STEP 1949)
• append-history script (STEP 1956)
• test (GitHub, 49/49 PASS as of v0.5)
• timeline.json (STEP 1956 append-only history)
• STEP 1947 sample verdicts
• STEP 1954 v0.5 report
• STEP 1955 v0.5 sample verdicts