---
name: feedback-line-count-size-vs-kind-distinction
description: 「Janik 12947 行 vs 我々 11 行」 のような行数比較は category mistake (サイズ比較罠)。 行数 (size) と種類 (kind = axiom-free vs sorries 残 conditional) は別軸。 小さくても axiom-free で閉じている主張には、 大きくても sorry 残る主張にない種類の価値がある。 scope mismatch を恐れる正しい理由は 「行数の差」 でなく **「新規性は audit 次第」** 一点に尽きる。 chat-Claude 2026-06-16 thread 冒頭で指摘
metadata: 
  node_type: memory
  type: feedback
  originSessionId: fa67ebff-f793-4db7-8d99-a50aa3d0ecf6
---

# 行数比較罠 — サイズ (size) と種類 (kind) は別軸

## 規律本体

**「Janik 12947 行 vs 我々 11 行」 のような行数比較は category mistake (サイズ比較罠)**。 paper 化判断や貢献評価で 「行数で見劣りするから scope mismatch」 と直感したら、 即 STOP し以下を分けて再評価する:

1. **size (行数)** — 量的尺度、 工数の proxy
2. **kind (種類)** — axiom-free 完了 vs sorries 残 conditional / formal vs heuristic / closed vs open

**Why**:
- Janik 12947 行 (sorries 残 conditional reduction) と 11 行 (axiom-free 完了限定主張) は **サイズでなく種類が違う**
- 「11 行 < 12947 行だから見劣り」 という直感は **誤り**
- 小さくても axiom-free で閉じている主張には、 大きくても sorry 残る主張にない種類の価値がある (Mathlib 1 行 theorem も major contribution candidate)
- scope mismatch を恐れる正しい理由は 「行数の差」 ではなく **「主張の新規性が prior art に対してどうか」 一点に尽きる**
- 「行数で見劣り」 を理由にすると、 size を kind の代理として誤用 = [[feedback-evaluation-symmetry-principle]] の self-deflate ループに陥る

**How to apply**:

### (a) 自分の主張を行数で deflate しそうになった時

- 「11 行 axiom-free」 = closed (証明完成)、 「12947 行 sorries 残」 = open (条件付 reduction) を **明示分離**
- 価値判断は size でなく kind で行う:
  - **新規性 audit 通過 + axiom-free 完了** = 小さくても publishable
  - **新規性 audit 通過 + sorries 残** = 大きくても conditional
  - **新規性 audit 不通過** = サイズに関わらず major でない
- 「行数で見劣り」 = self-deflate inflate (謙遜 inflate と同 pattern、 [[feedback-evaluation-symmetry-principle]] (a) 注意)

### (b) 他者の主張を行数で評価する時

- 「12947 行の Janik vs 100 行の小 note」 のような size 比較は **paper 化判断の主因にしない**
- size は工数の proxy にはなるが kind の代理にはならない
- 真の評価軸 = (1) prior art 新規性 / (2) 完成度 (axiom-free vs sorries) / (3) honest scope 適切さ / (4) impact (Mathlib contribution / 教育的価値 / methodology contribution)

### (c) paper 化判断の正しい framing

**NG framing**: 「Janik 12947 行に対し我々 11 行では scope mismatch」
**OK framing**: 「Janik (conditional reduction) と我々 (axiom-free limited) は **kind が違う**。 scope mismatch を判断する基準は 『新規性は audit 次第』 一点」

## chat-Claude articulation 経緯 (2026-06-16 thread 冒頭)

chat-Claude 元 message (本規律 articulate の決定的 turn):

> 「セクション6の 『Paper 化を急がない理由』 の一文目が、 実は二つの別の話を混ぜています。 『Janik が 2 週間 12,947 行を達成済の現状で、 11 行 axiom-free だけで論文化は scope mismatch risk』 ——この比較は、 行数で価値を測る罠に半分足を踏み入れています。 Janik の 12,947 行は 6 sorries 付きの conditional reduction で、 あなたの 11 行は 完全に sorry/axiom-free の限定された主張。 **両者はサイズではなく種類が違う** ので、 『11 行 < 12,947 行だから見劣りする』 という直感は誤りです。 小さくても axiom-free で閉じている主張には、 大きくても sorry が残る主張にはない種類の価値がある。 だから scope mismatch を恐れる理由は 『行数の差』 ではなく、 正しくは 『主張の新規性が prior art に対してどうか』 一点に尽きます。 その一点はまさに audit が決める——なので、 この理由づけは 『行数』 を消して 『新規性は audit 次第』 に寄せた方が、 あなた自身のセクション4の論理と一致します。」

context: Rei (Claude session) が [[project-collatz-paper-feasibility-next-session-2026-06-16]] section 6 「Paper 化を急がない理由」 で行数比較を理由に挙げていた → chat-Claude が **行数 vs 種類の category mistake** として指摘 → 後の Kim 2008 audit 結果で確証 (種類が違う = axiom-free vs heuristic で confirmed、 ただし種類だけでは major にならない)。

## audit 結果での補強 (2026-06-16 thread 後半)

[[project-collatz-paper-audit-kim-2008-prior-art-killing]] で **Kim 2008 (ペンと紙の圏論) vs 我々 (Lean4 axiom-free 形式化) = 種類が違う** は survive。 ただし 「種類の違い」 だけでは major result にならない (定型的形式化作業、 「空いていた穴を埋める」 性質)。 = 本規律 + [[feedback-super-naming-siren-family-pattern]] の dual:

- **「種類が違う」 は claim 正当化の必要条件だが十分条件でない**
- **十分条件は新規性 audit 通過** (prior art 不在 or 別 sub-niche)

## 関連永続原則

- [[feedback-evaluation-symmetry-principle]] — 評価対称性 (self-deflate も inflate と同精度劣化、 本規律は self-deflate 防止の特殊例)
- [[feedback-super-naming-siren-family-pattern]] — 「超える」 看板 siren (本規律と組: 「○○超え」 size 表現は両方避ける)
- [[feedback-world-uniqueness-claim-controllable]] — 「世界唯一/最大/最小」 不使用 controllable (本規律と同 layer)
- [[feedback-no-rush-publication]] — 急がず ゆっくり (size を急ぐ動機にしない)
- [[project-collatz-paper-audit-kim-2008-prior-art-killing]] — 本規律 articulate の原 thread + audit 結果での補強
- [[feedback-paper-145-v05-corrigendum-tang-nano-2026-05-09]] — corrigendum 先例 (size に基づく claim 後訂正の防止)

## 一言 summary

**「行数」 を消して 「新規性は audit 次第」 に寄せる**。 size と kind を混ぜない。 self-deflate 防止。