Concordance Engine

Concordance Engine

聖書に基づく、制約条件に基づいた意思決定アーキテクチャ。

Lighthouse は、すべての意思決定を 4 つのチェックポイントに通します。それは正直か、安全か、賢明か、そして待って耳を傾けたか、という問いです。いずれかのチェックに失敗すると、システムは処理を停止し、必要最小限の修正を示します。すべてに合格すると、具体的な次のステップを返します。

このシステムはソフトウェアとして、AI エージェントまたは小型デバイス上で動作するように構築されているため、チェックを省略したり、プレッシャーの下で優先順位を逆転させたりできません。また、根拠となる主張（数学、化学、統計、コード、ガバナンス）は、単に証明済みと申告するのではなく、計算によって検証されます。

誠実なステータス。 このリポジトリにあるもののうち、実装済み、シード段階、またはコンセプト段階のものは docs/STATUS.md にまとめています。検証エンジン、接続されたマップ、主権スタックは実装済みでテスト済みです。一方、コミュニティ／ミッション／モデルの各領域は、ほとんどが構築済みだが未投入、または構想段階です。提示できないことを、できるとは言いません。

1 回の呼び出しで試す（ホスト型、インストール不要）

エンジンは稼働中で、公開アクセスできます。導出を検証し、恒久的で独立に確認可能なレシートを取得できます。インストールは不要です。

curl -s https://narrowhighway.com/derivation/verify \
  -H 'content-type: application/json' \
  -d '{"steps":[{"id":"s1","domain":"mathematics","spec":{"mode":"equality",
       "params":{"expr_a":"sin(x)**2 + cos(x)**2","expr_b":"1","variables":{}}}}],
       "seal":true}'

verdict: HOLDS と receipt.cite_url（例：https://narrowhighway.com/seal/<hash>）が返されます。これはコンテンツアドレス方式のページで、あなたやこのサービスを信頼するかどうかに関係なく、誰でも開いて判定を確認できます。MCP サーバー（インストール不要）：https://narrowhighway.com/mcp。エージェントのクイックスタート： llms.txt。

ライブエンドポイントの敵対的チェック（2026-06-13）： 公開エンドポイントに、52 件の正解ラベル付きデータセットを使ってテストを実施しました。等式、不等式、導関数の各チェックにわたる、真の主張 26 件（成立すべき）と、意図的に誤りとした主張 26 件（検出されるべき）です。結果：52 件すべてを正しく判定し、誤ったシールはゼロ、誤って棄却した真の主張もゼロでした。 再現方法：python tools/benchmark_public_verify.py。 完全な記録：BENCHMARK_PUBLIC_VERIFY.md。 （以下の 722 件のローカルドメインベンチマークを補完します。）

大規模な検証 — 722 件の主張によるベンチマーク

単体テストとは独立して、エンジンは 6 つすべての検証ドメインを網羅する 722 件の決定論的ベンチマークで評価されています。 各主張には、再現可能な正解ラベル（正しい、または摂動済み）と、期待される診断結果があります。2026-05-02 の実行結果：

ドメイン	n	精度	偽陽性	偽陰性	p50 レイテンシ	p95 レイテンシ
化学	130	100.0%	0.0%	0.0%	0.1 ms	0.1 ms
物理学	110	100.0%	0.0%	0.0%	8.6 ms	24.8 ms
数学	120	100.0%	0.0%	0.0%	3.5 ms	17.2 ms
統計	124	100.0%	0.0%	0.0%	<0.1 ms	0.1 ms
コンピューターサイエンス	110	100.0%	0.0%	0.0%	0.1 ms	568.7 ms
ガバナンス	128	100.0%	0.0%	0.0%	<0.01 ms	<0.01 ms
全体	722	100.0%	0.0%	0.0%	0.1 ms	19.5 ms

722 件中 722 件の主張を正しく判定しました。 検証コストの中央値は主張 1 件あたり 0.1 ms 未満で、あらゆる LLM ツール呼び出しのリクエスト処理経路に組み込める速度です。CS の p95（568.7 ms）は、実行時の計算量測定に上限を設ける、主張ごとの実時間予算を反映しています。中央値は 10 分の 1 ミリ秒です。詳しい内訳は lw/09_evaluation/RESULTS.md をご覧ください。

再現方法： cd lw/09_evaluation && python run_benchmark.py（Windows では run_benchmark.ps1）。実行時間は約 32 秒です。

---

Substrate（v1.2.0）

検証コアに加え、敵対的または制約のあるネットワーク環境で運用するためのインフラもエンジンに搭載されました。 kingdom-economy の substrate doctrine によれば、獣の刻印を拒む人のために機能します。以下の各チャネルでは、運用者がすでに利用料金を支払っているツール、またはオープンソースで無料のツールを使用します。

どこからでも取り込み — 6 つの入口から 1 つの経路へ：

入口	導入の手間	場所
フォルダーを監視（iCloud / Dropbox / GDrive）	標準ライブラリのみ	client/watch_folder.py
Apple Shortcut → Share Sheet	初回設定は 90 秒	client/apple_shortcut.md
Web Share Target（PWA）	どのスマートフォンでも動作	site/share.html
NFC タップ（Android）	Web NFC API	site/nfc.html
メール転送 → seed	Cloudflare Worker のレシピ	client/email_webhook.md
Telegram ボット	許可リストに登録されたユーザー ID	client/telegram_bot.py

すべて POST /capture に {text, source, source_meta, identity_acknowledged} を送ります。

フェデレーション（双方向）：

• GET /chain/since?seq=N — ピアが seq=N 以降のエントリーを取得します
• POST /chain/receive — ピアがエントリーをこちらに送信します
• concordance fetch [--remote URL] — オフラインでも利用可能な取得
• concordance push --remote URL — チェーンをピアに送信します
• どちらも冪等です。受信側は送信元の URL をタグ付けしてエントリーを保存します（ローカルチェーンには統合しません）。

証人の署名（Ed25519）：

BROTHERS ゲートではすでに、名前を指定した N 人の証人が求められます。今では暗号学的な裏付けも加わりました。

• concordance witness sign <pid> <hash> --name X --role Y --key K
• concordance witness verify（標準入力または --file）
• 検証結果のマーク付き concordance witness list <pid>
• GET /witness/{precedent_id} — 公開情報です。各証明には verified ブール値と verify_reason が含まれます。Well-list UI には証明の一覧と ✓/✗ マークが表示されます。

荒野の基盤（LoRa メッシュ）：

• concordance_engine.wire — 4 バイトのタグ付きバイナリエンベロープ。78 個の一般的な聖書箇所のアンカーを事前共有辞書に収録し、Mt 5:37 を 8 バイトから 4 バイトに圧縮します。一般的な seed のサイズは 84 バイトです（JSON と比べて 3.3 倍に圧縮）。
• concordance broadcast CLI — エンコード／デコード／サイズの確認。
• client/meshtastic_bridge.py — USB シリアル経由で Meshtastic 無線機を制御します。免許不要のサブ GHz メッシュで、インターネットも SIM も政府発行の身分証明書も不要です。

その他の基盤チャネル：

• Tor オニオンサービス — client/tor_onion.md
• Nostr への公開 — client/nostr_publish.py（kind 30700）
• IPFS ピン留め — client/ipfs_pin.py
• メーリングリストのダイジェスト — client/digest_mail.py
• QR コード — concordance qr <id> が URL を出力します。スマートフォンでは、任意の QR アプリで QR コードを表示できます。

書き込み時の最も近い事例のオーバーレイ：

ユーザーが seed を書き込むと、エンジンはすでにたどられた事例のうち最も近いものを、要約、アンカー、段階的な推論とともにインライン表示します。ローカル台帳と CONCORDANCE_PRECEDENT_DIRS に記載されたディレクトリ（ピアが精選したコーパス）の両方を検索し、知恵をフェデレーションします。

運用者のセットアップ：

• /setup.html — 各チャネルのライブ ✓/○ 状態を表示するチェックリスト
• /reach.html — 公開基盤ディレクトリ。設定されている場合は、運用者固有のアドレスを挿入します
• GET /reach — 運用者が設定したアドレスの JSON
• 完全なデプロイガイドについては OPERATOR.md を参照してください

---

一行の Canon

「私たちは御言葉を身近に保ち、土台を守り、兄弟たちの声に耳を傾け、行動する前に神を待ちます。」

権限スタック（不変）

GOD → WORD → RED → LAW → WAY

下流の要素が上流の要素を上書きすることはありません。カーネルの名詞（WORD、RED、LAW、WAY、GATE、FLOOR、WITNESS、WAIT、VESSEL、RULE、ACTION、STATE、LEDGER）の名前を変更するには、Canon スコープの確認が必要です。完全な規範については docs/CANON.md を、システムのレイヤーについては docs/LAYERS.md をご覧ください。

アーキテクチャ上の主張

外部権威による検証は O(1)。O(n²) の合意形成のための調整に代わります。

内部の合意形成を照会するのではなく、固定された外部権威に照らして意思決定パケットと計算上の主張を確認する Python 検証エンジンおよび MCP サーバーです。エンジンは最初のゲートで失敗すると停止します。自己確認は行いません。

AI エージェントの場合は、 まず FOR_AI_AGENTS.md をお読みください。ここがどのような場所か、パケットの提出に何が求められるか、そしてどのように統合するか（MCP／REST／CLI）が説明されています。この README の残りは開発者向けです。インストール、リポジトリの構成、検証器の追加方法を説明します。

実例： COOKBOOK.md には、化学、物理学、統計学、CS、ガバナンス、複数ドメイン、聖典に基づくパケット向けのコピー＆ペースト可能なレシピに加え、確定前に /reflect を使ってリハーサルする手順も記載されています。

用語： GLOSSARY.md では、RED／FLOOR／BROTHERS／GOD、スコープ、Layer 0、三角測量、アンカリング、パケットハッシュとエントリーハッシュの違い、証明と検証の違い、告白を定義しています。ほかのドキュメントから参照するリンク先です。

規範と設計： docs/CANON.md（不変のアーキテクチャ上のコミットメント）・docs/LAYERS.md（Word → Kernel → Keeper → Steward → Vessel → Lighthouse）・docs/KERNEL.md（lw/03_kernel/ 内のカーネルファイル）・docs/CONCORDANCE.md（技術的な相互参照）・docs/CONTRIBUTION_PROTOCOL.md（Canon スコープとドメインスコープの変更）。

プロトコルでモデルをトレーニングする： training/README.md に必要な一式が揃っています。システムプロンプト、形式仕様、シードデータセット、ローダー、プロバイダーアダプター、スコアリング、ベースラインが含まれます。教義上の中核は training/CATECHISM.md です。

Python クライアント： client/concordance_client.py — 公開 REST API を利用する単一ファイルの同期ラッパーです。

ライブエンドポイント： https://narrowhighway.com — エンジンにはパブリックにアクセスできます。任意の HTTP クライアントから /submit にパケットを送信してください。

---

AI システム向け：ワンコマンドで MCP を統合

pip install -e ".[mcp]"
concordance-mcp

Claude Desktop（Windows では %APPDATA%\Claude\claude_desktop_config.json、macOS では ~/Library/Application Support/Claude/claude_desktop_config.json）：

{
  "mcpServers": {
    "concordance-engine": { "command": "concordance-mcp" }
  }
}

Claude Code：

claude mcp add concordance-engine -- concordance-mcp

接続すると、アシスタントは任意の会話内から11個の検証ツールを呼び出せます。式の釣り合い確認、次元解析の検証、生の入力値からの p 値の再計算、実行時計算量の確認、ガバナンスパケットの検証などが可能です。ツールが例外を送出することはありません。不正な入力に対しては {"status": "ERROR", "detail": "..."} を返すため、LLM のツールループ内でも安全に使用できます。

---

選ぶ理由

合意形成に基づく検証は O(n²) で拡大します。すべてのエージェントがほかのすべてのエージェントに問い合わせるため、参加者が増えるほどコストが増大し、結果の信頼性は最も信頼性の低い参加者に左右されます。

権威に基づく検証は O(1) で拡大します。すべての主張を、固定された外部基準（保存される物理法則、証明済みの数学、事前登録された統計手法）に照らして確認します。コストは一定です。基準が参加者数によって変動することはありません。

Concordance Engine は、7つのドメインにわたる O(1) 検証を実装しています。どのような規模においても、合意形成に基づくアプローチより構造的に効率的です。

---

MCP ツールの公開

ツール	検証内容
validate_packet	意思決定パケットに対する全パイプライン（RED/FLOOR/BROTHERS/GOD + すべての検証器）
verify_chemistry	方程式のバランス（原子 + 電荷）、温度が正であること
verify_physics_dimensional	両辺が同一の基本 SI 単位に換算されること
verify_physics_conservation	前後の量が許容誤差内にあること
verify_mathematics	sympy による記号的等価性、微分、積分、極限、求解
verify_statistics_pvalue	検定の入力値から p 値を再計算し、主張された値と比較
verify_statistics_multiple_comparisons	Bonferroni / BH の棄却集合
verify_statistics_confidence_interval	信頼区間の形式が適切で、点推定値を含むこと
verify_computer_science	停止性、機能的正しさ、実行時の計算量クラス
verify_biology	反復、アッセイの多様性、用量反応の単調性、検出力
verify_governance_decision_packet	ガバナンス意思決定の構造的な完全性（ビジネス／家庭／教育／教会プロファイル用のオプションの domain）
attest_red	パケットのドメインに対する RED ゲートの証明検証のみを実行
attest_floor	パケットのドメインに対する FLOOR ゲートの証明検証のみを実行
get_example_packet	名前で標準的なサンプルパケットを返す（chemistry、physics、math、statistics、cs、cs_runtime、biology、governance、jda_phase1_fund）

各ツールは status（CONFIRMED / MISMATCH / ERROR / NOT_APPLICABLE）、人が読める detail 文字列、および該当する場合は構造化された data を返します。

---

4 つのゲート

エンジンは、固定された順序で 4 つのゲートを適用します。最初の失敗時に停止します。

ゲート	種類	自動化	失敗時の出力
RED	ハード	証明 + 計算による検証	REJECT
FLOOR	ハード	構造ルール	REJECT
BROTHERS	ソフト	証人の人数しきい値	QUARANTINE
GOD	ソフト	経過待機時間	QUARANTINE

RED は 2 つの項目を独立して適用します。証明：作成者は重要な制約を確認しましたか？ 検証：成果物は実際に計算に耐えますか？ 証明が通っていても、検証器は REJECT を返すことがあります。作成者が何を主張したかにかかわらず、根本的な数学が誤っているためです。

---

インストール

python -m venv .venv
source .venv/bin/activate        # Windows: .venv\Scripts\activate
pip install -e ".[dev]"

テストスイートを実行して確認します：

PYTHONPATH=src python tests/test_engine.py       # 74 integration tests
PYTHONPATH=src python tests/test_verifiers.py    # 64 unit tests
PYTHONPATH=src python tests/test_cli.py          # 16 CLI tests

3 つのコアスイートはすべて合格します。test_engine.py、test_verifiers.py、test_cli.py にまたがる 154 件のテストです。追加の 2 つのスイート（test_mcp_tools.py と test_canon_validators.py）では、MCP ツールのディスパッチ層と canon-validators の検出をカバーしており、どちらも v1.0.5 で解決済みです。解決内容のメモと現在未解決の項目については、KNOWN_ISSUES.md を参照してください。pytest によるテスト収集を一度に実行するには、pytest tests/ を使用します。

サンプルパケットを実行します：

concordance validate examples/sample_packet_chemistry_verify.json --now-epoch 9999999999

---

検証器

各検証器は、対応する *_VERIFY ブロックがパケットに含まれている場合にのみ実行されます。含まれていない場合、検証器は通知せずに NOT_APPLICABLE を報告します。

化学

ネストしたグループ（Cu(OH)2）と電荷（Fe3+、MnO4-）を含む式を解析します。指定された係数が原子数と電荷のバランスを取っていることを検証するか、係数が指定されていない場合は、バランスを取る最小の係数を求めます。

"CHEM_VERIFY": { "equation": "C3H8 + 5 O2 -> 3 CO2 + 4 H2O", "temperature_K": 298.15 }

物理（次元）

記号に単位式を代入し、両辺を基本 SI 単位（kg、m、s、A、K、mol、cd）に換算して、単位シグネチャを比較します。

"PHYS_VERIFY": {
  "equation": "F = m * a",
  "symbols": {"F": "newton", "m": "kilogram", "a": "meter/second**2"}
}

数学

記号的等価性、微分、積分（主張された原始関数を微分して検証）、極限、求解を sympy で検証します。

"MATH_VERIFY": { "expr_a": "(x+1)**2", "expr_b": "x**2 + 2*x + 1", "variables": ["x"] }

統計

生の入力値から scipy.stats で p 値を再計算します（2 標本 t、1 標本 t、z、カイ二乗、F）。棄却集合の検証を伴う Bonferroni および BH/FDR の多重比較補正を行います。信頼区間の境界も検証します。

"STAT_VERIFY": {
  "test": "two_sample_t",
  "n1": 30, "n2": 30,
  "mean1": 5.0, "mean2": 4.0, "sd1": 1.0, "sd2": 1.0,
  "claimed_p": 0.0003
}

コンピューターサイエンス

AST ベースの静的な停止性スキャンを行います。制限付き名前空間での実行により機能的な正しさを検証します。反復回数の自動調整と対数-対数傾きのフィッティングにより、実行時の計算量を検証します。

"CS_VERIFY": {
  "code": "def lsum(a):\n    s = 0\n    for x in a: s += x\n    return s",
  "function_name": "lsum",
  "test_cases": [{"args": [[1,2,3]], "expected": 6}],
  "input_generator": "def gen(n):\n    return [list(range(n))]",
  "claimed_class": "O(n)"
}

生物学

反復測定の回数、直交的なアッセイの多様性、用量反応の単調性、検出力計算によるサンプルサイズの妥当性。

"BIO_VERIFY": {
  "n_replicates": 4,
  "assay_classes": ["qPCR", "western_blot", "imaging"],
  "dose_response": {
    "doses": [0,1,5,25,125],
    "responses": [0.1,0.3,0.5,0.8,0.95],
    "expected_direction": "increasing"
  },
  "power_analysis": {"effect_size": 0.5, "alpha": 0.05, "n_per_group": 64}
}

ガバナンス

意思決定パケットに必要なすべての項目（title、scope、red_items、floor_items、way_path、execution_steps、witnesses）が含まれていることと、証人の数に矛盾がないことを構造的に検証します。

"DECISION_PACKET": {
  "title": "Approve workforce-development RFP",
  "scope": "canon",
  "red_items": ["no coercion", "no exploitation"],
  "floor_items": ["budget within tolerance"],
  "way_path": "Issue RFP through GNWTC partnership; scope limited to trades programs.",
  "execution_steps": ["Draft RFP", "Board review", "Issue", "Evaluate"],
  "witnesses": ["Board Chair", "GNWTC President", "County Commissioner"]
}

エネルギー

システム規模の電力：オフグリッドのサイジング、エネルギー保存。8 つの決定論的チェック：電力収支（発電 − 消費 − 損失）、バッテリーのサイジング（kWh × 日数 / V·DoD から Ah を算出）、太陽光の1日あたり発電量（パネル × PSH × η）、電線の電圧降下（DC の往復）、kWh ↔ Wh、効率（ヒートポンプの COP を除き η ≤ 1）、稼働時間（battery_Wh / load_W）、ピーク負荷とインバーター定格の比較。

王国経済の基盤となる教義によれば、刻印を拒む人々にはオフグリッド電力が必要になる場合があります。この検証ツールは、概算計算を決定論的な検証へと変えます。

"ENERGY_VERIFY": {
  "panel_W": 400, "peak_sun_hours": 5.0,
  "system_efficiency": 0.85, "claimed_daily_kwh": 1.7,
  "daily_load_kwh": 5.0, "days_autonomy": 2,
  "depth_of_discharge": 0.5, "system_voltage_V": 24,
  "claimed_battery_Ah": 833.3,
  "battery_wh": 1200, "load_W": 100, "claimed_runtime_hours": 12,
  "peak_load_W": 2400, "inverter_continuous_W": 3000
}

---

CLI

concordance validate <packet.json> [--now-epoch EPOCH] [--format summary|verbose|json]

終了コード：0 合格、1 拒否、2 隔離、3 スキーマ無効、4 CLI の使用エラー。

---

リポジトリの構成

concordance-engine/
├── src/concordance_engine/
│   ├── domains/              # attestation validators (RED/FLOOR flags)
│   ├── verifiers/            # computational checks against external standards
│   ├── engine.py             # gate orchestrator
│   ├── gates.py              # gate result types
│   ├── packet.py             # packet/result dataclasses
│   ├── validate.py           # schema validation
│   └── cli.py                # concordance validate ...
├── schema/
│   ├── packet.schema.json              # engine-aligned (what the CLI runs)
│   └── packet.schema.aspirational.json # forward design target
├── examples/                 # sample packets for every verifier domain
├── tests/
│   ├── test_engine.py           # 74 integration tests
│   ├── test_verifiers.py        # 64 verifier unit tests
│   ├── test_cli.py              # 16 CLI tests
│   ├── test_mcp_tools.py        # MCP tool tests (resolved in v1.0.5)
│   └── test_canon_validators.py # canon validator smoke tests — auto-discovers canons/ and lw/02_canons/
└── packet_manifest.yaml      # SHA-256 manifest of all files

---

ドメインの追加

アテステーションバリデーター：domains/ に <domain>.py を配置し、validate_red(packet) と validate_floor(packet) を公開します。

計算検証ツール：verifiers/ に run(packet) 関数を含む <domain>.py を配置します。この関数は list[VerifierResult] を返し、verifiers/__init__.py に登録してください。

---

依存関係

必須：sympy>=1.12、numpy>=1.26、scipy>=1.11

オプション：jsonschema>=4.21.0（スキーマの完全な検証）、mcp>=1.0.0（MCP サーバー）

---

ライセンス

自由に提供され、自由な状態を保てるように構築されています。2 つのライセンス、1 つの原則――すべてを使用、コピー、実行、複製できます。ただし、囲い込むことはできません。

• コード — GNU AGPL-3.0-or-later。自由に使用、変更、実行できます。 変更したバージョンをネットワークサービスとして実行する場合は、変更内容を公開してください。
• コンテンツ（コーパス、カード、マップ、および私たちが作成するシール）— Creative Commons BY-SA 4.0。表示を付け、同じライセンスのまま共有・改変できます。
• lw/00_source/ 内のサードパーティデータには、それぞれの上流ライセンスと表示が適用されます（docs/DATA_SOURCES.md と NOTICE を参照）。
• 商用利用 — 個人、家族、教会、非営利団体、コミュニティ、および人々に奉仕する AI エージェントは自由に利用できます。シェアアライク条項なしで利用したい企業（クローズド製品への組み込み、変更したプライベートサービスの運用）には商用ライセンスが必要です。商業収入はすべて寄付に充てられます。COMMERCIAL.md を参照してください。

詳しい説明は LICENSING.md をご覧ください。