claim: ラムダ計算を connector として実装する (総合一覧 catalog / MCP コネクタ層で)

verdict: REFUTED

method: connector 三条件テスト (未知データ / 鮮度 / 検索量)

criteria_checked: 未知データ 鮮度 検索量

result: いずれにも該当せず

reopen_when: meta_compose 層 (型検査 / 合成規則) が 3-4 コネクタ規模を超えて 合成失敗が実地で出た時。 圏論 precedent (可換でない図式が実地で出てから持ち出した) と 同じ基準。

note: ただし一覧側の抜けは埋めた (id 435 ラムダ計算 as catalog entry、 not as connector)

witness_type: static-knowledge repeat pattern

explanation: 静的で閉じていて既に持っている知識、 connector 経由で取りに行くと迂回になる


claim: Collatz second-monotone quantity として piecewise V = log_2(n) + α(t_1) が descent Lyapunov 関数として機能する

method: concrete small-number witnesses (n=3, n=25)

space: additive Lyapunov family V = log_2(n) + α(t_1) with piecewise α

conclusion: contradiction — no α function satisfies both

reopen_when: 追加 feature (t_1 以外の 局所指標) を V に加える extension、 または piecewise でない α 形式、 または 加法形以外の Lyapunov family (cross-term β を含む non-monotone family)

related_arc: STEP 622-624 trailing 1-bits ≥ 4 wall (same type)

chang_map: Chang v6 Paradigm Exhaustion Theorem, (log_2, t_1) feature space instantiation

explanation: 反例ではなく 「そのクラスの関数が存在しない」 = search_counterexample の schema では格納できない