---
name: feedback-boundary-publication-as-refutation-2026-09-18
description: audit / arc に 「何を入れないか」 の 採否基準 を 公開することで、 基準そのものが 反証条件になり 収集への漂流を 構造的に防ぐ discipline。 verdict-device-type v2 藤本さん 「シンギュラリティも 追加した ほうが 良いですか」 → 「入れない、 理由は 好みではなく 構造」 5-point 論証 から emerge
metadata: 
  node_type: memory
  type: feedback
  originSessionId: b8efea51-bc44-4ca9-9095-6ba556736573
  modified: 2026-09-18T02:41:54.048Z
---

# 境界公開 = 反証可能性 (2026-09-18 emerge、 verdict-device-type v2)

## Rule

**Audit / arc / 装置 の 索引に、 「この arc に 何を入れないか」 節 (採否基準 + 落とした候補 の 理由付き表) を 公開せよ**。 基準を 公開すること が、 その基準そのもの を 反証条件 に する。 候補を 足し続けて 「有名なものについての 意見集」 に 変質する drift を 構造的に 防ぐ mechanism。

## Why (背景 と 5-point 論証)

**Origin**: 2026-09-18 verdict-device-type v2 で 藤本さん self-question 「シンギュラリティも 追加した ほうが 良いですか」 に対する 「入れない、 理由は 好みではなく 構造」 の 5-point 論証:

1. **型が 当たらない**: 5 audit は 全て 「入力に対して 判定を出す装置」 (受理/却下、 Class 1-4、 停止/非停止 等)。 4 field (V/e/t/c) は そういう 装置にしか 当たらない。 シンギュラリティは 未来主張 = 判定装置ではない。 無理に 型付けすると V={起こる, 起こらない}、 e=未測定、 t=全域、 c=なし で 適用02 wolfram と 同じ答え = **新しい情報 ゼロ**
2. **5 件が 5 通りに 割れた ことが 手続きの 識別力の 証拠**: 6 件目が 「既存と 同じ答え」 を出すと 証拠を 増やさず 薄める
3. **対象を 足し続けると 「意見集」 に 変質**: それは 適用02 で NKS に指摘した 形 (Kadanoff "I see no new kinds of calculations, no new analytic theory, and no comparison with experiment")
4. **Pattern L リスク**: 争点化 / 未来主義結合 / 技術用語ですらない 語 と 同じページに 5 audit が 並ぶと、 読者受け取りが 5 本全部に 波及
5. **技術的芯は 既に 行き先あり**: シンギュラリティ言説の うち 四欄に触れる部分は **1 点のみ** (再帰的自己改良 = 「システムが 自分の後継が 改良で ある ことを 検証できるか」)。 これは ee_bot の 「自己検証の 非自性」 と 同じ問い = 適用06 (META) の 一節、 Löb の 定理 + MIRI tiling agents / Vingean reflection 系列 で 引用可能

## 判定基準の 形式化 (公開版)

候補が audit に 値する 条件:

> ① 入力に対して **判定を出す装置** であること
> ② 四欄で 型付けした とき、 **既存の 適用と 違う答えが 出る** こと

**① が 対象の 資格、 ② が 追加の 価値**。 ② を 落とすと 件数だけ 増えて 証拠が 薄まる。

## How to apply

**新 arc 起草時**:
- 索引ページに 「この arc に 何を入れないか」 節 を 立てる
- 採否基準 2 条件 (or 領域固有の 変種) を 明示
- 落とした候補を 理由付きで 表に載せる (「扱わない」 でなく 「理由付きで 入れなかった」)
- 基準を通る 未着手候補が あれば 「未着手」 と 明示、 埋めようとしない

**既存 arc に 追加提案 が emerge した時**:
- 「これは 採否基準を 通るか」 を 明示 check
- 通らないなら **理由付きで 落とした 候補 表** に 追記 (削除ではなく 「入れなかった 記録」)
- 通るなら 適用として 追加、 但し 「既存と 違う答え」 が 出るか verify

**フッターに 1 行**:
> 「基準を 公開している 以上、 基準そのものが 反証条件になる — ①②を満たすのに 落とした候補、 あるいは 満たさないのに 入れた 適用があれば、 それは 指摘可能な 誤りである」

## 効果 (structural benefit)

- **収集への漂流 防止** = 対象を 足し続けても 6 件目以降が 情報を 増やさない 場合、 基準で reject
- **採否そのものが 反駁可能** = 私 (audit 制作者) の 選択に 説明責任、 藤本さん or 第三者 が 「この基準 に 反する」 と 指摘可能
- **未着手候補 を そのまま公開** = META (自己適用) は 埋めない = 「基準を通る 候補が 未着手」 という 状態 自体が 情報 (未来 audit の 種)
- **Pattern 5 (Rei 側 prior art 見落とし) の 補完** = 落とした 候補は 「未 audit ではなく、 意図的に 除外」 の 記録が 残る

## 関連 pattern

- **STEP 2078 Kato prior art 3 系統 恒久禁止**: 「Rei stack 側 の 特定主張を 恒久禁止」 は 内向き (禁止対象は 私 側)。 本 境界公開 discipline は 外向き (追加候補 の gate) = 双対的 mechanism
- **[[feedback_land_free_public_surface_exception]]**: 公開面 land 前の Case 2 rule = 「事前 confirm」 で drift 予防。 本 境界公開 = 「事後 audit 可能性」 で drift 予防。 両者 相補
- **[[step-2085-second-opinion-audit-panickssery-citation]]**: external independent verifier requirement。 境界公開 は self-verify の 限界を 公開 明示 (基準を 私 が 書いた = self-preference bias) → external 「基準違反」 指摘 に 対して open。 Panickssery et al. NeurIPS 2024 arXiv:2404.13076 の implementation pattern

## Anti-pattern

- ❌ 「シンギュラリティを 追加」 提案に 「はい」 で 対象追加 → drift、 5 audit の 識別力 消失
- ❌ 「シンギュラリティを 追加」 提案に 「いいえ」 だけ → 拒否理由が private = 反証可能性なし
- ✅ 「入れない、 5-point 論証、 判定基準 公開」 → drift 予防 + 反証可能性 embed

## Cross-reference

[[verdict-device-type-arc-2026-09-18]] + [[feedback-preserve-my-updates-when-user-base-old-2026-09-18]] + [[step-2078-kato-permanent-ban-3-systems]] + [[step-2085-second-opinion-audit-panickssery-citation]] + [[feedback_land_free_public_surface_exception]] + [[recursive-self-improvement-lob-vingean-reflection]] + [[miri-tiling-agents-c-calibration]] + [[load-bearing-invention-5-slow]] + [[step-1977-scope-expansion-quick-check]] + [[pattern-5-prior-art-blindness]] 継承。