{
  "tool_id": "art-653-pta-verifier",
  "tool_version": "1.0.0",
  "display_name": "Pta Verifier",
  "mcp_name": "compute_pta_verifier",
  "mandate_type": "compliance_control",
  "wave": 108,
  "gpu": false,
  "url": "https://ainumbers.co/tools/653-pta-verifier.html",
  "description": "Verifies a plain-text-accounting journal supplied as synthetic text: parses dated transactions and their indented postings, checks each transaction's postings sum to zero (double-entry balance), checks any inline running-balance assertions against computed account balances, builds a Merkle root over the parsed transactions for tamper evidence, and emits Evidence Envelope v0.1 receipt fields (schema, event_type, input/output hashes, result_status). Unsupported journal directives (anything outside dated-transaction and posting lines) are listed, not silently dropped or errored on. Scope limit: single-currency amounts only, no multi-commodity or price-conversion support.",
  "input_schema_ref": "tools/653-pta-verifier.html#manifest",
  "consumes": [],
  "feeds": [],
  "status": "planned",
  "conformance_fixtures": true,
  "compute_capability": "server",
  "compute_images": [{"system":"sha256-source","image_id":"sha256:ebbb6f4037561bc965add6110991854f0ebdb2fe8f9e73b011486ff577dcbd36","valid_from":"2026-07-10"}],
  "export_capability": ["json"],
  "standards_basis": "not_applicable",
  "cited_clause_digest": [],
  "compute_proof_ready": "deferred",
  "deferred_reason": "New gpu:false node, art-653-pta-verifier, scaffolded 2026-08-20 (KERNEL-SCAFFOLD-1). No GPU prove has been run and none is proposed by this scaffold — deferred per the section 18 steady-state rule (RIDER-KERNEL.md). Run GPU-CYCLE-PREFLIGHT-1's static pre-screen once compute() is real, then measure user_cycles with runq-cpu exec before booking."
}