Skip to content

feat: add contradiction-lift skill (v0.36.0) - #65

Merged
masuP9 merged 2 commits into
mainfrom
feat/contradiction-lift-skill
Jun 21, 2026
Merged

feat: add contradiction-lift skill (v0.36.0)#65
masuP9 merged 2 commits into
mainfrom
feat/contradiction-lift-skill

Conversation

@masuP9

@masuP9 masuP9 commented Jun 21, 2026

Copy link
Copy Markdown
Owner

概要

4つ目の分析系スキル contradiction-lift(Contradiction Lift / 矛盾リフト) を追加します。Claude と Codex に同じ問いを独立に解かせ、答えのズレから矛盾を立ち上げ、アウフヘーベン(止揚)——平均化でも折衷でもなく、両者の真理契機を保存したまま一段高い枠へ持ち上げる——を目指します。

なぜ

既存3スキルが埋めない隙間: 「2つの良質だが食い違う解」を平均化せず統合する。devils-advocate は反対役を外から割り当てる(外在的矛盾)のに対し、本スキルは独立解の内在的ズレから矛盾を立ち上げる。

設計の核心は 「アウフヘーベンの敵は対立でなく平均化(薄まったミドルグラウンド)」。機構の大半は平均化に逃がさず膠着もさせずリフトを起こすことに費やされる。

アーキテクチャ(情報障壁を持つ状態機械)

contract → sealed → mapped → adjudicated → preserved → lifted → accepted | aporia | no_material_divergence

  • Phase 0 Decision Contract: 問い・制約・観測変数・決定形式を固定(解釈差を矛盾と誤認しない)
  • Phase 1 Sealed Solutions: Claude/Codex が相互非開示で決定関数を提出(封緘が load-bearing)
  • Phase 2 Divergence Mapping: 匿名 X/Y で型分類+反転テスト(load-bearing 前提の特定)
  • Phase 3 Adjudication Router: 経験的に決着する対立は事前登録の上 Codex 実行へ、残りは保存へ
  • Phase 4 Preservation: 相互スティールマン(accept/repair-once)
  • Phase 5 Lift Construction: 位置でなく選択機構 f(C) → A | B | N(Q' は任意)
  • Phase 6 Lift Audit: 7テスト(Conservation/Discrimination/Novelty/Non-vacuity/Dominance/Falsifiability/Feasibility)+causal gate。失敗2回で正直なアポリア

独立性の扱い(正直な近似)

モデルは2つだけなので第三者役(Mapper/Lift Architect/Meta Auditor)は fresh thread+匿名化+履歴非開示で近似——この限界を SKILL.md に明記(誇張しない)。

兄弟との差別化

  • vs devils-advocate: 事前割当を禁止(独立解からズレを立ち上げる)
  • vs strong-inference: 単一勝者の選別でなく複数の決定規則を保存し上位の選択機構を作る
  • vs dialectic-loop: 外部 corpus でなく両者の内的ズレ自体が証拠
  • 成功指標に合意・平均・残差縮小を使わない

主な変更

  • commands/contradiction-lift.md / skills/contradiction-lift/SKILL.md
  • skills/contradiction-lift/references/{sealed-solution,divergence-map,lift-audit}-template.md
  • version 0.35.0 → 0.36.0(両 manifest)

検証

  • bash scripts/lint-plugin.sh → errors=0
  • bash scripts/test-helpers.sh → 99 passed / claude-helpers pass
  • 厳格 YAML で SKILL.md front-matter 解析可能
  • トリガー語が既存3スキルと分離(止揚/アウフヘーベン/矛盾を止揚 vs 弁証法/設計検証/原因究明)
  • 設計を collab-planning+Codex 独立設計で共創、実装を codex-collab(Codex レビュー4周で pass)で検証

Note: ライブスモークテスト(実走1周)は未実施。別途実施予定。

🤖 Generated with Claude Code

https://claude.ai/code/session_017jzxmqCGKaahJU922LT9LZ

masuP9 and others added 2 commits June 21, 2026 10:52
Claude と Codex に同じ問いを独立に解かせ、答えのズレから矛盾を立ち上げ、
アウフヘーベン(止揚=平均化でも折衷でもなく両者の真理契機を保存したまま
一段高い枠へ持ち上げる)を目指す分析系スキルを追加。devils-advocate(外から
反対役を割り当てる)と違い矛盾を内在的に立ち上げる。

情報障壁を持つ状態機械:
contract → sealed → mapped → adjudicated → preserved → lifted
→ accepted | aporia | no_material_divergence

- commands/contradiction-lift.md: /contradiction-lift(Phase 0-6、MCP+Bash)
- skills/contradiction-lift/SKILL.md: 方法論、7テスト Lift Audit、3つの一級出力
- references/{sealed-solution,divergence-map,lift-audit}-template.md
- version 0.35.0 → 0.36.0

設計の核心は「アウフヘーベンの敵は対立でなく平均化」。事前割当しない独立解、
load-bearing 前提の名指し(反転テスト)、保存(accept/repair-once)、経験的に
決着する対立は Codex 実行へ routing、リフトは選択機構 f(C)→A|B|N、メタ判定は
7テスト+causal gate、還元不能なら正直なアポリアを一級出力として許す。
第三者役は fresh thread+匿名化で近似(限界を明記)。

設計を collab-planning+Codex 独立設計で共創、実装を codex-collab
(Codex レビュー4周 conditional×3→pass)で検証。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017jzxmqCGKaahJU922LT9LZ
ライブスモークテストで判明したスキーマの隙間を修正。empirical な不一致は
存在するが判別実験を当該セッションで実行できない(ベンチ/コーパス不在)
ケースを既存 enum (pending|done|not_applicable) が表せなかった。

- `empirical_arbiter` に `deferred` を追加(experiment は pre-register し、
  残差を observable に条件付けて lift へ回す。結果は推測しない)
- SKILL.md state schema と command Step 3(Adjudication Router)に反映

未マージの 0.36.0 スキルへの調整のため version 据え置き。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017jzxmqCGKaahJU922LT9LZ
@masuP9
masuP9 merged commit bc06cb4 into main Jun 21, 2026
4 checks passed
@masuP9
masuP9 deleted the feat/contradiction-lift-skill branch June 21, 2026 02:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant