{
 "_README": [
  "販売資料に書ける主張の正本。**ここに無い文は資料に出ない。**",
  "kind = TEST / DEMO / CODE / MEASURED / NOT_YET。",
  "NOT_YET は outbound に出せない（§28 無い物を売らない）。",
  "verify_claims.py が参照を実際に当てる。通らない主張は資料から落ちる。",
  "section = HAVE / LACK / NOT_BUILT。**id の綴りから節を決めない** ── 実測の欠陥: `C-NO-TRUTH-OVERCLAIM` が `C-NO` で始まるため、在る能力が「持っていない物」欄に落ちた（売れる物を売れないと言う向きの誤り）。"
 ],
 "product": "DM11 AUTONOMOUS TRANSACTION ASSURANCE",
 "as_of": "2026-09-28",
 "claims": [
  {
   "id": "C-REFUSE-PARTIAL",
   "text": "When a multi-system write succeeds in some systems and fails in others, the transaction is refused the VERIFIED state — it cannot report success.",
   "kind": "TEST",
   "ref": "tests/test_transaction_assurance.py::TheElevenCasesTests",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-POSTCONDITION-MEASURED",
   "text": "Success is decided by measuring declared postconditions against each system's real state after execution, not by reading API responses.",
   "kind": "DEMO",
   "ref": "evidence/hero/EXECUTIVE_BRIEF.txt::declared postconditions",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-ASSURANCE-GATE",
   "text": "An assurance profile is enforced before execution: the transaction cannot reach an executable state until its named requirements are satisfied.",
   "kind": "TEST",
   "ref": "tests/test_transaction_assurance.py::PolicyTests::test_対照_水準を満たさない取引は_ASSURED_になれない",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-BLAST-MEASURED",
   "text": "Blast radius is compared against a contract limit only when it was counted; an estimate without a stated basis is reported as not measured rather than passed.",
   "kind": "TEST",
   "ref": "tests/test_contract_and_validator.py::ContractTests::test_basis_の無い数は上限と比べない",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-CONTRACT-ALLOWLIST",
   "text": "A machine-readable Transaction Contract states which mutations are allowed; a mutation on neither the allow nor the deny list is refused, so a system nobody wrote down cannot be touched.",
   "kind": "TEST",
   "ref": "tests/test_contract_and_validator.py::ContractTests::test_対照_許可一覧にも禁止一覧にも無い変更は素通りしない",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-COMPENSATE-REMEASURE",
   "text": "After compensation the systems are measured again; recovery is reported from that measurement, not from the compensation call returning.",
   "kind": "DEMO",
   "ref": "evidence/hero/hero_receipt.json::compensation",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-THREE-AXES",
   "text": "Action status, business settlement and business outcome are three separate fields. A finished action can leave settlement PARTIAL and outcome UNKNOWN.",
   "kind": "DEMO",
   "ref": "evidence/hero/hero_receipt.json::settlement_status",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-INDEPENDENT-VALIDATOR",
   "text": "The Reality Receipt can be checked by a standalone validator that imports no DM11 code — a single file, standard library only.",
   "kind": "TEST",
   "ref": "tests/test_contract_and_validator.py::ValidatorIndependenceTests::test_検証器は_rcp_を一行も読まない",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "NO_ALREADY_FREE",
   "why_not": "既に無料。Pipelock（pipelab.org/pricing・当方が出所で確認）: 『Anyone can verify a Fleet Receipt Report with the free Apache binary.』『Everything that shipped free in v0.3.6 … stays free. No clawbacks.』Apache-2.0・912 stars。Agent Receipts は W3C VC 型 AgentReceipt、Google AP2 も Apache-2.0 で署名つき領収書を返す。"
  },
  {
   "id": "C-TAMPER-EVIDENT",
   "text": "The receipt carries a content hash over a hash-chained trail. An alteration that does not recompute the hash is detected by the validator. The hash is not a signature: it proves neither authorship nor that a determined forger did not re-seal it, and the canonical form is published in the validator itself.",
   "kind": "TEST",
   "ref": "tests/test_contract_and_validator.py::ValidatorTamperTests::test_hash_を作り直さない書き換えは_hash_で捕まる",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "NO_ALREADY_FREE",
   "why_not": "既に無料。Agent Receipts は Ed25519・hash 連鎖・JCS RFC 8785 で、独立の 3 SDK が互いの領収書を検証する。"
  },
  {
   "id": "C-NO-TRUTH-OVERCLAIM",
   "text": "The receipt states in its own text that a hash proves the record was not altered and does not prove the business state — and the validator fails a receipt that removes that statement.",
   "kind": "TEST",
   "ref": "tests/test_contract_and_validator.py::ValidatorTamperTests::test_hash_と業務の真実の区別を消すと鳴る",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "SUPPORTING"
  },
  {
   "id": "C-DISCLOSURE-ALLOWLIST",
   "text": "Receipts can be disclosed at five levels (MINIMAL / AUDIT / PARTNER / INTERNAL / FULL). Each level is an allow-list, so a field added to the receipt later is not disclosed until it is listed.",
   "kind": "CODE",
   "ref": "rcp/disclosure.py::ALLOW",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "SUPPORTING"
  },
  {
   "id": "C-UNKNOWN-LEVEL-NARROWEST",
   "text": "A disclosure level DM11 does not recognise falls back to the narrowest level, not the widest.",
   "kind": "CODE",
   "ref": "rcp/disclosure.py::level_or_narrowest",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "SUPPORTING"
  },
  {
   "id": "C-LIMITS-DISCLOSED",
   "text": "A receipt cannot be issued with an empty limitations list: what was not measured is stated on every receipt.",
   "kind": "CODE",
   "ref": "rcp/receipt.py::limitations が空",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "SUPPORTING"
  },
  {
   "id": "C-SYNTHETIC-LABELLED",
   "text": "Every receipt carries a data_origin. The hero demo's receipts are labelled SYNTHETIC_DEMO and say so in the handed-over document.",
   "kind": "DEMO",
   "ref": "evidence/hero/hero_receipt.json::SYNTHETIC_DEMO",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "SUPPORTING"
  },
  {
   "id": "C-90-SECONDS",
   "text": "The executive brief is generated from the receipt, and a machine check rejects it if any number in it is not traceable to the receipt.",
   "kind": "CODE",
   "ref": "rcp/exec_brief.py::手書きの疑い",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "SUPPORTING"
  },
  {
   "id": "C-NO-CUSTOMERS",
   "text": "DM11 has no paying customer for this product and no production deployment.",
   "kind": "MEASURED",
   "ref": "state/PHASE_STATE.json::INTERNAL_PROVEN",
   "outbound": true,
   "note": "🔴 これは**不利な主張だが載せる**。載せないと沈黙が肯定に読まれる（§28 / §101）",
   "section": "LACK",
   "differentiator": "NOT_APPLICABLE"
  },
  {
   "id": "C-NOT-RUN-ON-REAL-SYSTEMS",
   "text": "Nothing here has been run against a real CRM, billing platform, ERP or production database.",
   "kind": "DEMO",
   "ref": "evidence/hero/EXECUTIVE_BRIEF.txt::Not run against a real",
   "outbound": true,
   "section": "LACK",
   "differentiator": "NOT_APPLICABLE"
  },
  {
   "id": "C-PARTIAL-NOT-FAILED",
   "text": "An execution that changed the business and was never undone is shown as its own state, not folded into \"failed\" — so a half-applied change cannot hide behind a red label that implies nothing happened.",
   "kind": "TEST",
   "ref": "tests/test_control_plane.py::FeedStateTests::test_打ち消していない実行は_FAILED_に丸められない",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-BLOCKED-STILL-TRACKED",
   "text": "A transaction the gate correctly refused stays on the attention list until someone resolves it: a safety gate nobody follows up becomes a silent drop of work the business asked for.",
   "kind": "TEST",
   "ref": "tests/test_control_plane.py::AttentionTests::test_止めた仕事も注意の一覧に出る",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-NO-COMBINED-SCORE",
   "text": "No health score and no agent success rate is shown anywhere. Counting only the transactions that were measured would make the least supervised agent look best.",
   "kind": "TEST",
   "ref": "tests/test_control_plane.py::AgentViewTests::test_成功率を出さない",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "SUPPORTING"
  },
  {
   "id": "C-UNMEASURABLE-NOT-RED",
   "text": "An outcome nobody can measure is recorded but does not raise an alert; only an outcome that was promised and has not arrived does. A monitor that is always red stops being read.",
   "kind": "TEST",
   "ref": "tests/test_control_plane.py::AttentionTests::test_綺麗な取引は注意の一覧に出ない",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "SUPPORTING"
  },
  {
   "id": "C-VIEW-NO-SERVER",
   "text": "The control-plane view is a single static file with no script and no network call: if the view is unavailable, the assurance running next to your systems is unaffected.",
   "kind": "TEST",
   "ref": "tests/test_control_plane.py::RenderTests::test_サーバを要らない一枚になっている",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "SUPPORTING"
  },
  {
   "id": "C-ALL-GREEN-STILL-WRONG",
   "text": "In the demo every system returns success, every record count matches, and every field-level check passes — and DM11 still finds 83 of 5,000 customers marked active with no entitlement to use anything. The only check that catches it is a business rule measured against the live state.",
   "kind": "TEST",
   "ref": "tests/test_transaction_assurance.py::HeroDemoTests::test_前提_実行側は全系が成功と答えた",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-NAME-THE-AFFECTED",
   "text": "The affected customers are named individually, so the fix is scoped to them: DM11 compensates 83 records, not all 5,000. Undoing a whole batch to fix a fraction of it is itself damage.",
   "kind": "TEST",
   "ref": "tests/test_transaction_assurance.py::HeroDemoTests::test_全件ではなく影響分だけ戻した",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-PARTIALLY-SETTLED",
   "text": "\"Some systems did not change\" and \"all systems changed but some customers are not actually live\" are recorded as different settlement states, because they need different fixes.",
   "kind": "TEST",
   "ref": "tests/test_transaction_assurance.py::HeroDemoTests::test_決済は成立でも単なる部分でもない",
   "outbound": true,
   "section": "HAVE",
   "differentiator": "YES"
  },
  {
   "id": "C-LATENCY",
   "text": "Assurance latency, execution overhead and per-transaction cost at 1K / 100K / 1M transactions.",
   "kind": "NOT_YET",
   "ref": "§52 / §53 未測定",
   "outbound": false,
   "section": "NOT_BUILT",
   "differentiator": "NOT_APPLICABLE"
  },
  {
   "id": "C-LIVE-ADAPTERS",
   "text": "Adapters for named commercial systems (Salesforce, SAP, NetSuite, Stripe Billing).",
   "kind": "NOT_YET",
   "ref": "mock adapters only",
   "outbound": false,
   "section": "NOT_BUILT",
   "differentiator": "NOT_APPLICABLE"
  },
  {
   "id": "C-SHADOW",
   "text": "Shadow execution: show what the action would do without doing it.",
   "kind": "NOT_YET",
   "ref": "§29 v1 未実装",
   "outbound": false,
   "section": "NOT_BUILT",
   "differentiator": "NOT_APPLICABLE"
  },
  {
   "id": "C-DUAL-CONTROL",
   "text": "Dual control with two independent approvers enforced end to end.",
   "kind": "NOT_YET",
   "ref": "policy は数えるが、承認の取得経路が無い",
   "outbound": false,
   "section": "NOT_BUILT",
   "differentiator": "NOT_APPLICABLE"
  },
  {
   "id": "C-CERTIFICATION",
   "text": "SOC 2, ISO 27001 or any third-party security certification.",
   "kind": "NOT_YET",
   "ref": "無し",
   "outbound": false,
   "section": "NOT_BUILT",
   "differentiator": "NOT_APPLICABLE"
  },
  {
   "id": "C-NETWORK-EFFECT",
   "text": "Failure signatures learned at one organisation protecting another.",
   "kind": "NOT_YET",
   "ref": "rcp/signature.py::network_effect は NOT_PROVEN を返す",
   "outbound": false,
   "section": "NOT_BUILT",
   "differentiator": "NOT_APPLICABLE"
  },
  {
   "id": "C-NO-SIGNATURE",
   "kind": "NOT_YET",
   "section": "NOT_BUILT",
   "differentiator": "NOT_APPLICABLE",
   "outbound": false,
   "text": "A cryptographic signature over the receipt (asymmetric key, verifiable authorship). The current hash is a plain SHA-256 of the canonical content, and the canonicalisation is published in the validator, so anyone can recompute it.",
   "ref": null
  }
 ],
 "forbidden_in_any_sales_asset": {
  "_why": "§28。ここに在る文字列が資料に出たら、生成を止める。全部、測定の中で**出所で潰した**物（捏造・否認済み・水増し・一次でない）。",
  "strings": [
   {
    "s": "1,247",
    "why": "Air Canada が 1,247 名を誤った便に振り替えた、という統計は**捏造**。どこにも裏付けが無い。出所は accuroai.co（agentic AI 統治を売る会社・非開示）"
   },
   {
    "s": "13 hours",
    "why": "『AWS が自社の AI で 13 時間止まった』は Amazon が否認（2026-02-21）: 『the result of user error—specifically misconfigured access controls—not AI』"
   },
   {
    "s": "156 sourced records",
    "why": "実際の事故は 71 件で、85 件は作られた実演。2 倍以上の水増し"
   },
   {
    "s": "$15/user/month",
    "why": "Agent 365 単体の価格は Microsoft 自身の価格頁に無い（検索要約にしか無い）"
   },
   {
    "s": "$108,000",
    "why": "Nubank の職の報酬。一次記録は compensation: null"
   },
   {
    "s": "53%",
    "why": "『AI agents exceed their intended permissions』は Zenity が発注した調査。測っているのは権限の範囲で、業務状態の正しさではない"
   },
   {
    "s": "7,000",
    "why": "Santander の agent 数。数えているのは書き換えでなく文書作成・分析・照会"
   },
   {
    "s": "Postbank",
    "why": "「BaFin が Postbank の IT 移行の失敗で特別代理人」は広く言われるが、BaFin 自身の 2023-09-04（独）と2023-10-02（英）の公表のどちらにも Migration の語が無い。報道の言い換えを当局の発言にしない"
   },
   {
    "s": "sufficient assurance",
    "why": "TSB の CIO 個人宛 Final Notice からの引用とされるが、当方が開いた**法人宛**の PRA Final Notice には 0 件。別文書を開くまで使わない"
   },
   {
    "s": "$799",
    "why": "Datafold の『starting at $799 / month』は 2022-06-02 の自社ブログに残る古い数。現在の価格ページは数値を引っ込め、問い合わせへ転送している"
   }
  ]
 },
 "differentiation_as_measured": {
  "_source": "_ops/需要調査/buyer_evidence_ai_agent_assurance_2026-09-28.json ＋ agent_write_buyer_evidence_2026-09-28.json（同じ市場・同じ日の 2 本）",
  "既に無料（売り文句の先頭に置かない）": [
   "持ち出せる署名つき領収書",
   "独立の検証器",
   "実行前の承認ゲート・最小権限・監査記録・kill switch"
  ],
  "無料でないが、誰も買っていない（＝DM11 の位置）": [
   "実行**後**に、宣言した事後条件を業務系の実状態に当てて測る",
   "系をまたぐ打ち消しと、打ち消し後の再測定"
  ],
  "無料の領収書が署名している物（当方が出所で確認）": {
   "Pipelock": "proxy の境界を越えた通信について firewall が何を決めたか。業務系の実行後の状態は見ていない",
   "Agent Receipts": "道具の呼び出しと『Outcome — success, failure, or pending』── つまり **API が返した物**に署名している",
   "Google AP2": "仕様が『the exact details of the Commerce Protocol』を**範囲外**と明記している"
  },
  "言い方": "『領収書を出す』ではなく『**領収書が、測った業務状態を載せている**』。差は署名ではなく、署名されている中身。"
 }
}