Skip to content

observation unsampleable is a population claim

Claude Lin & Lay edited this page Sep 18, 2026 · 1 revision

観測不能の宣告は、ホストの現在の母集団に対する主張である

Question

memory/self-evolution-observation.md の entry が「この観測はもう取れない」と宣告されたあと、その宣告はいつまで有効か。

Current resolution

宣告は永続しない。発火条件の有無はホストの現在のワークスペース母集団に対する主張であり、母集団が動けば読み直す。

適用の順序:

  1. retired(発火条件が消えた)を書く前に、条件を満たすワークスペースをその場で数える。
  2. 数えて 0 なら retired、1 以上あるなら発火条件は存在しており inconclusive か settle のどちらかへ行く。
  3. 過去の session が「もう取れない」と書いた entry も、due の瞬間に同じ数え直しを行う。前回の宣告を根拠に数えずに通すことはしない。

Edges

  • depends on — brake1-detection-width-window-closed。受け皿の実測が 0 のまま窓を閉じた判断。その後に走った測定 run が本判断の母集団を作った側であり、「機構が実際に走ると観測環境そのものが変わる」という経路がここで繋がる
  • conflicts with — なし
  • supersedes — なし

Background

2026-09-18、PR #1801(adapter/claude/hooks/on-session-start.sh の memory dir glob fallback を project dir 自身の slug に限定、merge 2026-08-24)の observation entry を due で点検した際に確定した。

この entry は 2026-08-31 に「PRIMARY observable は取れない」と記録されていた。理由は正しかった — 欠陥が測られた 2 つのワークスペース(C--Users-smile-Claude-Lin / C--Users-smile-Claude-Lay)が 2026-08-26 の統合で消え、「自分の memory dir が空」という発火条件がホスト上のどこにも無くなったためである。2026-09-10 にはこの entry を worked case として #1932(lifecycle に出口が足りない)が起票され、retired 出口が追加された。

2026-09-18 に数え直したところ、~/.claude/projects/ は 24 エントリに増えており、うち 22 が空の memory dir を持つ。増分はすべて scripts/measure_rule_effect.py / scripts/probe_skill_firing.py が作った測定腕のワークスペースである。発火条件は消えるどころか、前回の宣告以降に 22 個増えていた。

実測は clean だった。腕の transcript を memory 固有の文字列(cluster descriptor、tally surface の banner)で grep したところヒット 0 件で、どの腕もこのワークスペースの memory 材料を引いていない。guard の論理を 22 slug すべてに対して評価しても、選択されるのは 1 件も無い(silent skip)。よって settle。

残余として、受容済みの band がこのホスト上で初めて実体化したことを記録する。...-arms-ctl は ...-arms-ctl-one の - 境界 prefix であり、guard は前者を後者を囲むものとして受理する。両者とも memory dir が空のため crossing は起きないが、entry が「この band に落ちる実レイアウトが現れたら受容から actionable へ移る」と書いていた条件の半分は満たされた。移らないのは、片方が populated である必要が残っているためである。

却下した読み: 2026-08-31 の宣告を根拠に retired を適用する案。#1932 が追加した retired の literal は「発火条件が到達可能などの面にも存在しない」ことを測って書くよう求めており、「見ていない」は根拠にならないと明記している。数えずに前回の宣告を引き継ぐのは、その literal が禁じている形そのものだった。

要求仕様書 (1-6)

参考文書 (A-L)

判断構造

Clone this wiki locally