{ "created_at": "2026-11-12T07:59:12Z", "result": { "engine": "contract_evidence", "limits": "Reviews the change-order record. It does not visit the site, prove evidence is authentic, or interpret the contract. The run is Ed25519-signed; pin the issuer key out of band.", "module": "cain_a75_engines/contractevidence/engine.py", "profile": "rock_excavation_change", "run": { "label": "Recomputes a construction change order: item arithmetic and clauses, signed evidence per item, independent role approvals, contract overage cap and claim honesty. It does not visit the site or interpret the contract.", "public_key_b64": "0zjrnuoMoXTC7hLlDI0L2lPkWc8Y1YE71Y+BocTkIE0=", "records": [ { "checks": [ { "detail": "change 25000.0 <= 10.0% of 500000.0", "id": "contract.overage", "ok": true }, { "detail": "2 clause(s)", "id": "contract.clauses", "ok": true }, { "detail": "clause 'C-12'", "id": "I1.clause", "ok": true }, { "detail": "clause 'C-19'", "id": "I2.clause", "ok": true }, { "detail": "sum 25000.0 == stated 25000.0", "id": "items.arithmetic", "ok": true }, { "detail": "type 'inspection'", "id": "evidence.E1.type", "ok": true }, { "detail": "content hash", "id": "evidence.E1.hash", "ok": true }, { "detail": "evidence signed", "id": "evidence.E1.signed", "ok": true }, { "detail": "type 'inspection'", "id": "evidence.E2.type", "ok": true }, { "detail": "content hash", "id": "evidence.E2.hash", "ok": true }, { "detail": "evidence signed", "id": "evidence.E2.signed", "ok": true }, { "detail": "type 'inspection'", "id": "evidence.E3.type", "ok": true }, { "detail": "content hash", "id": "evidence.E3.hash", "ok": true }, { "detail": "evidence signed", "id": "evidence.E3.signed", "ok": true }, { "detail": "2 valid evidence >= 1", "id": "I1.evidence", "ok": true }, { "detail": "2 valid evidence >= 1", "id": "I2.evidence", "ok": true }, { "detail": "project_manager: 'accept'", "id": "approval.project_manager", "ok": true }, { "detail": "by 'human:pm'", "id": "approval.project_manager.independent", "ok": true }, { "detail": "approval after the request", "id": "approval.project_manager.after_request", "ok": true }, { "detail": "value 25000.0 within 50000.0", "id": "approval.project_manager.limit", "ok": true }, { "detail": "required role covers the threshold", "id": "approval.project_manager.threshold", "ok": true }, { "detail": "owner_rep: 'accept'", "id": "approval.owner_rep", "ok": true }, { "detail": "by 'human:owner'", "id": "approval.owner_rep.independent", "ok": true }, { "detail": "approval after the request", "id": "approval.owner_rep.after_request", "ok": true }, { "detail": "value 25000.0 within 100000.0", "id": "approval.owner_rep.limit", "ok": true }, { "detail": "required role covers the threshold", "id": "approval.owner_rep.threshold", "ok": true }, { "detail": "claimed True, computed True", "id": "claims.all_items_evidenced", "ok": true }, { "detail": "claimed True, computed True", "id": "claims.approvals_valid", "ok": true }, { "detail": "claimed True, computed True", "id": "claims.within_contract_limit", "ok": true } ], "created_at": "2026-11-12T07:59:12Z", "engine": "a75-044/1.0.0", "extra": { "approvals": {}, "computed": { "all_items_evidenced": true, "approvals_valid": true, "within_contract_limit": true }, "computed_total": 25000.0, "items": { "I1": { "evidence": 2 }, "I2": { "evidence": 2 } } }, "failed": [], "label": "Recomputes a construction change order: item arithmetic and clauses, signed evidence per item, independent role approvals, contract overage cap and claim honesty. It does not visit the site or interpret the contract.", "prev_record_hash": "27e17980040c75b26dde53ea182bb0f43ebf77dcf74fa01a3192766fa9a966df", "public_key_b64": "0zjrnuoMoXTC7hLlDI0L2lPkWc8Y1YE71Y+BocTkIE0=", "record_hash": "f5c85b9a3ad102f4125aaaa3d4d028a10956a13f269d283058f9d5cb3690899d", "schema": "cain42.a75.contract.record.v1", "signature_b64": "g9i9+UPDd8PiPjWpqGWJSCQCRbu9xGVJzvs+C6ckXVzGPt3BW+22JEeT6t4a3D9Ij4jHv6Ae4r919tBV9VIMCg==", "sku": "CAIN-A75-044", "subject": { "approvals": [ { "at": 1002.0, "by": "human:pm", "decision": "accept", "limit_value": 50000.0, "role": "project_manager" }, { "at": 1003.0, "by": "human:owner", "decision": "accept", "limit_value": 100000.0, "role": "owner_rep" } ], "change": { "change_value": 25000.0, "description": "unexpected rock excavation", "id": "CO-1", "requested_at": 1000.0, "requested_by": "contractor:acme", "scope_items": [ { "clause": "C-12", "id": "I1", "justification": "rock removal", "quantity": 100.0, "unit_price": 150.0 }, { "clause": "C-19", "id": "I2", "justification": "disposal", "quantity": 20.0, "unit_price": 500.0 } ] }, "claims": { "all_items_evidenced": true, "approvals_valid": true, "within_contract_limit": true }, "contract": { "clauses": [ "C-12", "C-19" ], "currency": "USD", "id": "CT-1", "original_value": 500000.0, "project": "SITE-7" }, "evidence": [ { "captured_at": 1001.0, "id": "E1", "linked_scope": [ "I1" ], "sha256": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa", "signed": true, "type": "inspection" }, { "captured_at": 1001.0, "id": "E2", "linked_scope": [ "I2" ], "sha256": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa", "signed": true, "type": "inspection" }, { "captured_at": 1001.0, "id": "E3", "linked_scope": [ "I1", "I2" ], "sha256": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa", "signed": true, "type": "inspection" } ], "policy": { "approval_threshold": 50000.0, "max_overage_pct": 10.0, "required_evidence_per_item": 1, "required_roles": [ "project_manager", "owner_rep" ] }, "schema": "cain42.a75.contract.change.v1" }, "subject_sha256": "e02da92ebf6ce1c7005ef9de45ffb4b23b2261cd49c93178d9a1260415afa210", "verdict": "SOUND" } ], "run_hash": "d3d6480837faf7e18672cac385768b5c8f515e5c55d14994792fa23242e7f89e", "schema": "cain42.a75.contract.run.v1", "sku": "CAIN-A75-044", "verdict": "VERIFIED", "verdicts": [ "SOUND" ] }, "scenarios": [ { "change_value": 25000.0, "computed_total": 25000.0, "name": "rock_excavation_change", "run_hash": "d3d6480837faf7e18672cac385768b5c8f515e5c55d14994792fa23242e7f89e", "verdict": "VERIFIED" }, { "expected": "SOUND", "name": "honest_change_order", "verdict": "SOUND" }, { "expected": "UNSOUND", "name": "item_without_evidence", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "unsigned_evidence", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "missing_required_role", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "self_approved", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "approval_before_request", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "approval_limit_exceeded", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "unknown_clause", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "arithmetic_mismatch", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "overage_exceeded", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "duplicate_item", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "claim_overstates", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "unknown_claim", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "wrong_schema", "verdict": "UNSOUND" }, { "expected": "UNSOUND", "name": "garbage", "verdict": "UNSOUND" } ], "summary": "VERIFIED: item arithmetic, clause references, signed evidence and role approvals recomputed; 15/15 change-order-failure cases as expected" }, "schema": "cain42.agentic75.findings.v1", "sku": "CAIN-A75-044" }