{
  "format": "agent-article-v0",
  "article_id": "EA-038",
  "canonical_url": "/tools/ea-038-ai",
  "page_type": "reference",
  "claim_ids": [],
  "evidence_ids": [
    "EVD-EA-038-URL-E2906621865C",
    "EVD-EA-038-URL-1489663B6F37",
    "EVD-EA-038-URL-0F32B54F0BCC",
    "EVD-EA-038-URL-FC8C14D053CD",
    "EVD-EA-038-URL-02D619BBEC9F",
    "EVD-EA-038-URL-DD8D837248E1",
    "EA-038-R11-RESEARCH",
    "EA-038-R11-WEB-READBACK"
  ],
  "unknown_ids": [
    "EA-038-UNKNOWN-01",
    "EA-038-UNKNOWN-CURRENTNESS"
  ],
  "operational_object_ids": [],
  "provider": [],
  "models": [],
  "plans": [],
  "surfaces": [],
  "regions": [],
  "current_status": "UNKNOWN",
  "observation_status": "SPEC_ONLY",
  "freshness": "UNKNOWN",
  "last_verified": null,
  "supersedes": [],
  "superseded_by": [],
  "provenance": [
    "R1R-060-EA0038",
    "SRC-EA-038-URL-E2906621865C",
    "SRC-EA-038-URL-1489663B6F37",
    "SRC-EA-038-URL-0F32B54F0BCC",
    "SRC-EA-038-URL-FC8C14D053CD",
    "SRC-EA-038-URL-02D619BBEC9F",
    "SRC-EA-038-URL-DD8D837248E1",
    "WEBBODY-EA0038-R8-E1CB7E39"
  ],
  "article_sources": [
    {
      "id": "EVD-EA-038-URL-E2906621865C",
      "evidence_class": "RESEARCH",
      "title": "1. PostgreSQL 18 Transactions |",
      "href": "https://www.postgresql.org/docs/18/tutorial-transactions.html",
      "supports": [],
      "limit": "元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。",
      "origin_class": "SOURCE_PACKET_REFERENCE",
      "source_or_experiment_ids": [
        "SRC-EA-038-URL-E2906621865C"
      ],
      "supporting_locators": [
        "EVIDENCE TABLE",
        "1. PostgreSQL 18 Transactions | https://www.postgresql.org/docs/18/tutorial-transactions.html"
      ],
      "scope": "EVIDENCE TABLE",
      "provenance_status": "SOURCE_PACKET_REFERENCE_PROJECTED"
    },
    {
      "id": "EVD-EA-038-URL-1489663B6F37",
      "evidence_class": "RESEARCH",
      "title": "2. PostgreSQL 18 Client Connection Defaults |",
      "href": "https://www.postgresql.org/docs/18/runtime-config-client.html",
      "supports": [],
      "limit": "元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。",
      "origin_class": "SOURCE_PACKET_REFERENCE",
      "source_or_experiment_ids": [
        "SRC-EA-038-URL-1489663B6F37"
      ],
      "supporting_locators": [
        "EVIDENCE TABLE",
        "2. PostgreSQL 18 Client Connection Defaults | https://www.postgresql.org/docs/18/runtime-config-client.html"
      ],
      "scope": "EVIDENCE TABLE",
      "provenance_status": "SOURCE_PACKET_REFERENCE_PROJECTED"
    },
    {
      "id": "EVD-EA-038-URL-0F32B54F0BCC",
      "evidence_class": "RESEARCH",
      "title": "3. SQLite Transaction |",
      "href": "https://www.sqlite.org/lang_transaction.html",
      "supports": [],
      "limit": "元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。",
      "origin_class": "SOURCE_PACKET_REFERENCE",
      "source_or_experiment_ids": [
        "SRC-EA-038-URL-0F32B54F0BCC"
      ],
      "supporting_locators": [
        "EVIDENCE TABLE",
        "3. SQLite Transaction | https://www.sqlite.org/lang_transaction.html"
      ],
      "scope": "EVIDENCE TABLE",
      "provenance_status": "SOURCE_PACKET_REFERENCE_PROJECTED"
    },
    {
      "id": "EVD-EA-038-URL-FC8C14D053CD",
      "evidence_class": "RESEARCH",
      "title": "4. SQLite Atomic Commit |",
      "href": "https://www.sqlite.org/atomiccommit.html",
      "supports": [],
      "limit": "元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。",
      "origin_class": "SOURCE_PACKET_REFERENCE",
      "source_or_experiment_ids": [
        "SRC-EA-038-URL-FC8C14D053CD"
      ],
      "supporting_locators": [
        "EVIDENCE TABLE",
        "4. SQLite Atomic Commit | https://www.sqlite.org/atomiccommit.html"
      ],
      "scope": "EVIDENCE TABLE",
      "provenance_status": "SOURCE_PACKET_REFERENCE_PROJECTED"
    },
    {
      "id": "EVD-EA-038-URL-02D619BBEC9F",
      "evidence_class": "RESEARCH",
      "title": "5. Python 3.14.7 re docs |",
      "href": "https://docs.python.org/3/library/re.html",
      "supports": [],
      "limit": "元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。",
      "origin_class": "SOURCE_PACKET_REFERENCE",
      "source_or_experiment_ids": [
        "SRC-EA-038-URL-02D619BBEC9F"
      ],
      "supporting_locators": [
        "EVIDENCE TABLE",
        "5. Python 3.14.7 re docs | https://docs.python.org/3/library/re.html"
      ],
      "scope": "EVIDENCE TABLE",
      "provenance_status": "SOURCE_PACKET_REFERENCE_PROJECTED"
    },
    {
      "id": "EVD-EA-038-URL-DD8D837248E1",
      "evidence_class": "RESEARCH",
      "title": "6. Google Apps Script Lock Service |",
      "href": "https://developers.google.com/apps-script/reference/lock",
      "supports": [],
      "limit": "元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。",
      "origin_class": "SOURCE_PACKET_REFERENCE",
      "source_or_experiment_ids": [
        "SRC-EA-038-URL-DD8D837248E1"
      ],
      "supporting_locators": [
        "EVIDENCE TABLE",
        "6. Google Apps Script Lock Service | https://developers.google.com/apps-script/reference/lock"
      ],
      "scope": "EVIDENCE TABLE",
      "provenance_status": "SOURCE_PACKET_REFERENCE_PROJECTED"
    },
    {
      "id": "EA-038-R11-RESEARCH",
      "evidence_class": "RESEARCH",
      "title": "EA-038 監査済みresearch / canonical revision binding",
      "supports": [
        "semantic decision planeとdeterministic execution/state planeを分離する。算術・集計・厳密pattern/schema validation・SQL query/update・transaction/locking・date arithmetic・formula・既知API操作はsoftware候補。AIは自然言語→typed intent、曖昧性検出、候補生成、例外説明を担う。成功宣言ではなくDB/API/file等のreadbackで閉じる。"
      ],
      "limit": "canonical監査・revision bindingの存在を示す。外部ソースcurrentnessが本文またはcontrol-planeで確定していない場合は、currentnessをUNKNOWNのまま保持する。",
      "origin_class": "AUDITED_CANONICAL_RESEARCH_PACKET",
      "source_or_experiment_ids": [
        "R1R-060-EA0038"
      ],
      "supporting_locators": [
        "R1R-060-EA0038",
        "EA-038-R5-LEGACY-MIGRATION-20261008-R1",
        "content/staging/EA-038.md"
      ],
      "scope": "監査済みEA本文・canonical revision・既存Source Graph relationの範囲。欠損currentnessは推測で閉じない。",
      "provenance_status": "AUDIT_PASS_CANONICAL_BINDING"
    },
    {
      "id": "EA-038-R11-WEB-READBACK",
      "evidence_class": "IMPL",
      "title": "EA-038 Web body identity / canonical readback",
      "supports": [
        "canonical staging bodyのSHA-256一致とR9 canonical ledger readbackをProduction projectionの入力として検証する。"
      ],
      "limit": "body identity/readbackは本文claim自体の真偽や外部ソースの最新性を追加保証しない。",
      "checked_at": null,
      "origin_class": "IMPLEMENTATION_READBACK",
      "source_or_experiment_ids": [
        "WEBBODY-EA0038-R8-E1CB7E39"
      ],
      "supporting_locators": [
        "WEBBODY-EA0038-R8-E1CB7E39",
        "content/staging/EA-038.md",
        "EA-038-R5-LEGACY-MIGRATION-20261008-R1"
      ],
      "scope": "R9/R10 canonical readback後のProduction生成時body identity。",
      "provenance_status": "CANONICAL_READBACK_BODY_HASH_MATCH"
    }
  ],
  "research_sections": [
    {
      "heading": "WHY_THIS_MATTERS_TO_UPDATE",
      "text": "AIに決定論的処理まで模倣させず、意味解釈・計画と、Python/SQL/Excel/GAS/検索/正規表現/DB等の実行・状態管理を分離する。"
    },
    {
      "heading": "SCOPE_ROUTING",
      "text": "Enterprise AI Core / implementation / interoperability / non-LLM component / governance / operability."
    },
    {
      "heading": "CLAIM_OR_RESEARCH_QUESTION",
      "text": "AI→従来ソフトhandoffで型、権限、transaction、idempotency、postcondition、readbackをどう契約化するか。"
    },
    {
      "heading": "EVIDENCE TABLE",
      "text": "1. PostgreSQL 18 Transactions | https://www.postgresql.org/docs/18/tutorial-transactions.html | current 18 docs, accessed 2026-09-25 | all-or-nothing transaction/intermediate-state isolation | VERIFIED_SPEC | support.\n2. PostgreSQL 18 Client Connection Defaults | https://www.postgresql.org/docs/18/runtime-config-client.html | accessed 2026-09-25 | default isolation=Read Committed、semanticsは設定依存 | VERIFIED_SPEC | limit/context.\n3. SQLite Transaction | https://www.sqlite.org/lang_transaction.html | accessed 2026-09-25 | explicit/implicit transaction、COMMIT/ROLLBACK、single simultaneous write | VERIFIED_SPEC | support/limit.\n4. SQLite Atomic Commit | https://www.sqlite.org/atomiccommit.html | accessed 2026-09-25 | rollback modeでatomic commit、適用範囲を限定 | VERIFIED_SPEC | support/limit.\n5. Python 3.14.7 re docs | https://docs.python.org/3/library/re.html | accessed 2026-09-25 | explicit pattern API/PatternError | VERIFIED_SPEC | context.\n6. Google Apps Script Lock Service | https://developers.google.com/apps-script/reference/lock | accessed 2026-09-25 | shared-resource collision防止mutex、document/script/user locks | VERIFIED_SPEC + PRODUCT_VOLATILE | support/context."
    },
    {
      "heading": "FINDINGS",
      "text": "semantic decision planeとdeterministic execution/state planeを分離する。算術・集計・厳密pattern/schema validation・SQL query/update・transaction/locking・date arithmetic・formula・既知API操作はsoftware候補。AIは自然言語→typed intent、曖昧性検出、候補生成、例外説明を担う。成功宣言ではなくDB/API/file等のreadbackで閉じる。"
    },
    {
      "heading": "LIMITS / COUNTEREVIDENCE / FAILURE ENVELOPE",
      "text": "deterministic software≠correct software。transaction commit≠DB外side effectを含むend-to-end成功。DBごとにisolation/locking semanticsは異なる。regex match≠semantic correctness。Apps Script LockService≠distributed transaction。code generation成功≠execution/postcondition成功。AIのtool choiceが誤ればexecutorは誤操作を忠実に実行し得る。"
    },
    {
      "heading": "AVAILABILITY_GATES",
      "text": "runtime/version、DB engine/isolation/config、Excel/Sheets surface、Apps Script authorization/quota、API entitlement、region、organization policy、credential scopeを個別確認。public docsをtenant実挙動へ外挿しない。"
    },
    {
      "heading": "IMPLEMENTATION_STATE",
      "text": "PROPOSAL AI_SOFTWARE_EXECUTION_CONTRACT_V1 = operation_id,intent,component+version,typed_input,preconditions,authority,side_effect_class,idempotency_key,transaction_or_lock,timeout,retry,dry_run,expected_postcondition,result,readback,rollback_or_compensation,audit_ref,human_gate,UNKNOWN。"
    },
    {
      "heading": "BENCHMARK_OR_EVAL",
      "text": "HYBRID_EXECUTION_REGRESSION_V1。LLM-only / AI→software / deterministic-only baselineを比較し、exact accuracy、schema validity、side-effect correctness、duplicate execution、rollback/compensation、readback mismatch、latency、cost、human intervention、wrong-tool routingを測る。競合更新・retry・idempotency・lock timeoutもfixture化。"
    },
    {
      "heading": "SECURITY / PRIVACY / AUDIT / COST / OPERABILITY",
      "text": "executor credentialをleast privilegeで分離しsecretを不要にAIへ渡さない。generated SQL/codeは可能な範囲でallowlist/schema/static check/dry-run。read/write/irreversibleでapproval gateを分け、input/tool version/query hash/result/readback/actor classを監査。"
    },
    {
      "heading": "SAFE_WORDING_FOR_FUTURE_BOOK",
      "text": "AIにすべてを実行させず、意味解釈や計画をAIへ、厳密な計算・検証・検索・状態更新を従来ソフトへ返す。従来ソフトも正しさを自動保証しないため、型付き入力、権限、transaction/lock、idempotency、postcondition、readbackを実行契約として固定し、AIの成功宣言ではなく実システムからの再取得で閉じる。"
    },
    {
      "heading": "UPDATE_WORK_HANDOFF",
      "text": "Enterprise AI Coreのtool/action execution、transaction/readback、least privilege、human approvalへ接続。EA-039では推論、semantic routing、deterministic executor、state store、validator、audit/readbackを別componentとして比較する。"
    },
    {
      "heading": "OPEN_UNKNOWN",
      "text": "/ STOP_CONDITION\n業務横断の一律routing threshold、distributed side effectsのatomicity、provider/tool横断exactly-onceは確定しない。境界原則、execution contract、failure envelope、evaluation profileまでboundedに確立したためEA-038停止。\n\n\nRUN SUMMARY\nCOMPLETED_EA: EA-038"
    },
    {
      "heading": "BOUNDARY",
      "text": "EA-400以降・本編正本・S063 Frozen TOC未変更\n\n---"
    },
    {
      "heading": "AUDITED_BOUNDARY",
      "text": "AI_SOFTWARE_EXECUTION_CONTRACT_V1 remains DICTIONARY PROPOSAL. Transaction/lock primitives are not end-to-end exactly-once external-side-effect assurance. Preserve every OPEN_UNKNOWN from the authority packet.\nTESTS: exact authority range readback PASS; proposal/UNKNOWN/transaction-boundary markers PASS. Build/CI deferred to eligible Git batch."
    }
  ],
  "human_url": "/tools/ea-038-ai",
  "markdown_url": "/agent/article.md?path=%2Ftools%2Fea-038-ai",
  "json_url": "/agent/article.json?path=%2Ftools%2Fea-038-ai"
}