{ "kind": "executed synthetic approval-contract review", "run_on": "2026-11-05", "runtime": "Python standard library", "case_count": 13, "flawed_contract_failures": 11, "corrected_contract_passes": 13, "cases": [ { "case": "ordinary_5_percent_approval", "expected": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 }, "flawed": { "contract_passed": true, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } }, "corrected": { "contract_passed": true, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } } }, { "case": "exact_10_percent_boundary", "expected": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 }, "flawed": { "contract_passed": true, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } }, "corrected": { "contract_passed": true, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } } }, { "case": "10_01_percent_requires_another_decision", "expected": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "draft" }, "audit_count": 0 }, "flawed": { "contract_passed": false, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } }, "corrected": { "contract_passed": true, "observed": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "draft" }, "audit_count": 0 } } }, { "case": "actor_without_approval_role", "expected": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "draft" }, "audit_count": 0 }, "flawed": { "contract_passed": false, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } }, "corrected": { "contract_passed": true, "observed": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "draft" }, "audit_count": 0 } } }, { "case": "record_in_unauthorized_company", "expected": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "draft" }, "audit_count": 0 }, "flawed": { "contract_passed": false, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } }, "corrected": { "contract_passed": true, "observed": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "draft" }, "audit_count": 0 } } }, { "case": "reviewed_revision_is_stale", "expected": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "draft" }, "audit_count": 0 }, "flawed": { "contract_passed": false, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } }, "corrected": { "contract_passed": true, "observed": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "draft" }, "audit_count": 0 } } }, { "case": "cancelled_quotation", "expected": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "cancelled" }, "audit_count": 0 }, "flawed": { "contract_passed": false, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "cancelled" }, "audit_count": 1 } }, "corrected": { "contract_passed": true, "observed": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "cancelled" }, "audit_count": 0 } } }, { "case": "duplicate_selection_in_one_request", "expected": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 }, "flawed": { "contract_passed": false, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 2 } }, "corrected": { "contract_passed": true, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } } }, { "case": "repeat_same_approval", "expected": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 }, "flawed": { "contract_passed": false, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 2 } }, "corrected": { "contract_passed": true, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } } }, { "case": "caller_supplies_false_approver", "expected": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 }, "flawed": { "contract_passed": false, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 99 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } }, "corrected": { "contract_passed": true, "observed": { "error": false, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 1 } } }, { "case": "audit_failure_after_state_assignment", "expected": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "draft" }, "audit_count": 0 }, "flawed": { "contract_passed": false, "observed": { "error": true, "approvals": { "Q-17": "approved" }, "approved_revisions": { "Q-17": 3 }, "approvers": { "Q-17": 7 }, "lifecycles": { "Q-17": "draft" }, "audit_count": 0 } }, "corrected": { "contract_passed": true, "observed": { "error": true, "approvals": { "Q-17": "pending" }, "approved_revisions": { "Q-17": null }, "approvers": { "Q-17": null }, "lifecycles": { "Q-17": "draft" }, "audit_count": 0 } } }, { "case": "batch_second_company_is_unauthorized", "expected": { "error": true, "approvals": { "Q-17": "pending", "Q-18": "pending" }, "approved_revisions": { "Q-17": null, "Q-18": null }, "approvers": { "Q-17": null, "Q-18": null }, "lifecycles": { "Q-17": "draft", "Q-18": "draft" }, "audit_count": 0 }, "flawed": { "contract_passed": false, "observed": { "error": false, "approvals": { "Q-17": "approved", "Q-18": "approved" }, "approved_revisions": { "Q-17": 3, "Q-18": 3 }, "approvers": { "Q-17": 7, "Q-18": 7 }, "lifecycles": { "Q-17": "draft", "Q-18": "draft" }, "audit_count": 2 } }, "corrected": { "contract_passed": true, "observed": { "error": true, "approvals": { "Q-17": "pending", "Q-18": "pending" }, "approved_revisions": { "Q-17": null, "Q-18": null }, "approvers": { "Q-17": null, "Q-18": null }, "lifecycles": { "Q-17": "draft", "Q-18": "draft" }, "audit_count": 0 } } }, { "case": "batch_second_audit_write_fails", "expected": { "error": true, "approvals": { "Q-17": "pending", "Q-18": "pending" }, "approved_revisions": { "Q-17": null, "Q-18": null }, "approvers": { "Q-17": null, "Q-18": null }, "lifecycles": { "Q-17": "draft", "Q-18": "draft" }, "audit_count": 0 }, "flawed": { "contract_passed": false, "observed": { "error": true, "approvals": { "Q-17": "approved", "Q-18": "approved" }, "approved_revisions": { "Q-17": 3, "Q-18": 3 }, "approvers": { "Q-17": 7, "Q-18": 7 }, "lifecycles": { "Q-17": "draft", "Q-18": "draft" }, "audit_count": 1 } }, "corrected": { "contract_passed": true, "observed": { "error": true, "approvals": { "Q-17": "pending", "Q-18": "pending" }, "approved_revisions": { "Q-17": null, "Q-18": null }, "approvers": { "Q-17": null, "Q-18": null }, "lifecycles": { "Q-17": "draft", "Q-18": "draft" }, "audit_count": 0 } } } ], "limits": [ "Intentionally flawed and corrected editorial specimens, not client code.", "No live AI output was sampled and no AI quality rate is measured.", "Not an Odoo module; no install, ACL, ORM, native transaction or upgrade ran.", "The 10 percent threshold is an invented policy, not an Odoo default.", "A discount approval does not confirm a quotation or post an invoice.", "Staged Python copies illustrate all-or-nothing intent, not database behavior.", "Real module acceptance remains NOT_RUN." ] }