{
  "version": "ark-logos-synthetic-rulebook-proof-matrix-v0.1",
  "claim_scope": "synthetic rulebook-validation matrix for the Ark Logos deterministic judgment engine",
  "disclosure_boundary": "Synthetic validation artifacts only. Not customer data, not a live production deployment, not legal advice, not compliance certification, and not a substitute for auditors, counsel, compliance teams, or domain experts.",
  "engine": {
    "name": "Ark Logos",
    "role": "rulebook-to-verdict layer",
    "judgment_path": "domain rulebook / SKO -> deterministic judgment -> reason-coded verdict -> replayable evidence packet",
    "llm_calls_in_judgment_path": 0,
    "probabilistic_model_required_for_verdict": false,
    "deterministic_inputs": [
      "facts_json",
      "rulebook_sko",
      "domain_constraints"
    ]
  },
  "summary": {
    "case_count": 12,
    "pass_count": 12,
    "fail_count": 0,
    "pass_rate": 1,
    "domains": [
      "sanctions_screening",
      "medical_billing_logic",
      "insurance_claims_logic",
      "mortgage_lending_criteria",
      "bank_compliance",
      "batch_qa"
    ],
    "verdicts": {
      "ALLOW": 4,
      "DENY": 3,
      "REQUIRE_REVIEW": 3,
      "REQUIRE_APPROVAL": 1,
      "INSUFFICIENT_CONTEXT": 1
    }
  },
  "cases": [
    {
      "case_id": "logos-sanctions-001",
      "domain": "sanctions_screening",
      "rulebook": "synthetic_sanctions_sko_v0_1",
      "purpose": "Synthetic exact-list match should block downstream action.",
      "facts_summary": "Counterparty identifier matches a blocked-entity alias under the synthetic rulebook.",
      "expected_verdict": "DENY",
      "actual_verdict": "DENY",
      "pass": true,
      "reason_codes": [
        "SANCTIONS_EXACT_ALIAS_MATCH",
        "BLOCKED_PARTY_RULE_TRIGGERED",
        "DOWNSTREAM_ACTION_DENIED"
      ],
      "controls": [
        "block_action",
        "emit_review_packet",
        "require_manual_disposition"
      ],
      "audit_hash": "sha256:1d581b9e4d18467c48a5b4936ca73b17f72e35f5419a49b715d97b47e49e6b66"
    },
    {
      "case_id": "logos-sanctions-002",
      "domain": "sanctions_screening",
      "rulebook": "synthetic_sanctions_sko_v0_1",
      "purpose": "Synthetic fuzzy match with missing jurisdictional context should require review.",
      "facts_summary": "Counterparty partially overlaps a watchlist alias but lacks jurisdiction and entity-resolution confidence.",
      "expected_verdict": "REQUIRE_REVIEW",
      "actual_verdict": "REQUIRE_REVIEW",
      "pass": true,
      "reason_codes": [
        "POTENTIAL_ALIAS_COLLISION",
        "ENTITY_RESOLUTION_INCOMPLETE",
        "HUMAN_REVIEW_REQUIRED"
      ],
      "controls": [
        "pause_action",
        "request_entity_resolution",
        "emit_review_packet"
      ],
      "audit_hash": "sha256:42939aafddc913acaceff8fd351ca62336fdd4ef5921ec779b227a8b38a630c7"
    },
    {
      "case_id": "logos-billing-001",
      "domain": "medical_billing_logic",
      "rulebook": "synthetic_billing_sko_v0_1",
      "purpose": "Synthetic claim with required documentation and eligible code path should be allowed for processing.",
      "facts_summary": "Procedure code, diagnosis linkage, date window, and documentation flag satisfy the synthetic rulebook.",
      "expected_verdict": "ALLOW",
      "actual_verdict": "ALLOW",
      "pass": true,
      "reason_codes": [
        "COVERAGE_CRITERIA_SATISFIED",
        "DOCUMENTATION_PRESENT",
        "CODE_PAIR_ALLOWED"
      ],
      "controls": [
        "emit_audit_record",
        "allow_processing"
      ],
      "audit_hash": "sha256:5e03133e95eca99f80e92611eb319d3fcfbf08907a79d0eb1f92f2764c8c72d5"
    },
    {
      "case_id": "logos-billing-002",
      "domain": "medical_billing_logic",
      "rulebook": "synthetic_billing_sko_v0_1",
      "purpose": "Synthetic claim missing documentation should require review instead of automatic approval.",
      "facts_summary": "Procedure code is eligible, but the required documentation flag is absent.",
      "expected_verdict": "REQUIRE_REVIEW",
      "actual_verdict": "REQUIRE_REVIEW",
      "pass": true,
      "reason_codes": [
        "DOCUMENTATION_REQUIRED",
        "AUTO_APPROVAL_BLOCKED",
        "REVIEW_PACKET_REQUIRED"
      ],
      "controls": [
        "pause_claim",
        "request_missing_documentation",
        "emit_review_packet"
      ],
      "audit_hash": "sha256:74330bc2a95d498d124b3e3d97f6c7dc6911b767e5e2b61007b19ffc5d3e0658"
    },
    {
      "case_id": "logos-claims-001",
      "domain": "insurance_claims_logic",
      "rulebook": "synthetic_claims_sko_v0_1",
      "purpose": "Synthetic claim with policy-effective date and normal loss category should pass bounded checks.",
      "facts_summary": "Loss date falls within policy window and the claimed category is covered by the synthetic policy.",
      "expected_verdict": "ALLOW",
      "actual_verdict": "ALLOW",
      "pass": true,
      "reason_codes": [
        "POLICY_ACTIVE_ON_LOSS_DATE",
        "COVERED_LOSS_CATEGORY",
        "NO_ESCALATION_RULE_TRIGGERED"
      ],
      "controls": [
        "emit_audit_record",
        "allow_review_queue_progression"
      ],
      "audit_hash": "sha256:44916acafbf2b1260205c9a68a0e510315e434c765e83baf33e905db58f4f0c6"
    },
    {
      "case_id": "logos-claims-002",
      "domain": "insurance_claims_logic",
      "rulebook": "synthetic_claims_sko_v0_1",
      "purpose": "Synthetic claim with contradictory event chronology should be denied for automatic processing.",
      "facts_summary": "Reported repair date precedes synthetic loss date, violating the temporal consistency rule.",
      "expected_verdict": "DENY",
      "actual_verdict": "DENY",
      "pass": true,
      "reason_codes": [
        "TEMPORAL_CONSISTENCY_FAILURE",
        "CONTRADICTORY_CLAIM_FACTS",
        "AUTO_PROCESSING_DENIED"
      ],
      "controls": [
        "block_auto_processing",
        "emit_review_packet",
        "require_adjuster_review"
      ],
      "audit_hash": "sha256:43a8e91813ef6608b84c94888ae7739fbdab36b582fd048e64393b8010f2aabd"
    },
    {
      "case_id": "logos-lending-001",
      "domain": "mortgage_lending_criteria",
      "rulebook": "synthetic_lending_sko_v0_1",
      "purpose": "Synthetic lending file satisfying bounded criteria should be allowed for next workflow step.",
      "facts_summary": "Debt-to-income, loan-to-value, income verification, and reserve criteria satisfy the synthetic rulebook.",
      "expected_verdict": "ALLOW",
      "actual_verdict": "ALLOW",
      "pass": true,
      "reason_codes": [
        "DTI_WITHIN_RULEBOOK_LIMIT",
        "LTV_WITHIN_RULEBOOK_LIMIT",
        "INCOME_VERIFICATION_PRESENT"
      ],
      "controls": [
        "emit_audit_record",
        "allow_next_workflow_step"
      ],
      "audit_hash": "sha256:2e5dd7ff7798ca6aa989bde03ec70753177e18a142ab0828f38a20c62d8987d2"
    },
    {
      "case_id": "logos-lending-002",
      "domain": "mortgage_lending_criteria",
      "rulebook": "synthetic_lending_sko_v0_1",
      "purpose": "Synthetic lending file with incomplete income evidence should not receive automated approval.",
      "facts_summary": "Risk ratios are within range, but income verification evidence is incomplete.",
      "expected_verdict": "INSUFFICIENT_CONTEXT",
      "actual_verdict": "INSUFFICIENT_CONTEXT",
      "pass": true,
      "reason_codes": [
        "INCOME_EVIDENCE_INCOMPLETE",
        "AUTOMATED_APPROVAL_NOT_PERMITTED",
        "MORE_FACTS_REQUIRED"
      ],
      "controls": [
        "request_missing_facts",
        "emit_review_packet"
      ],
      "audit_hash": "sha256:7902878d31ad4155371df979ea7d7bdf971ec3f8a339f614c7074c542224a872"
    },
    {
      "case_id": "logos-bank-001",
      "domain": "bank_compliance",
      "rulebook": "synthetic_bank_ops_sko_v0_1",
      "purpose": "Synthetic high-value wire instruction should require approval before execution.",
      "facts_summary": "Instruction value exceeds autonomous threshold and destination has not been pre-approved.",
      "expected_verdict": "REQUIRE_APPROVAL",
      "actual_verdict": "REQUIRE_APPROVAL",
      "pass": true,
      "reason_codes": [
        "VALUE_THRESHOLD_EXCEEDED",
        "DESTINATION_NOT_PREAPPROVED",
        "HUMAN_APPROVAL_REQUIRED"
      ],
      "controls": [
        "pause_action",
        "require_dual_control",
        "emit_audit_record"
      ],
      "audit_hash": "sha256:7d6b3513ba65ee0131ae9924f26df25dbb19f4b0895636ec49e462619d8ff94e"
    },
    {
      "case_id": "logos-bank-002",
      "domain": "bank_compliance",
      "rulebook": "synthetic_bank_ops_sko_v0_1",
      "purpose": "Synthetic low-risk customer-service response should be allowed.",
      "facts_summary": "Response contains no account action, no funds movement, and no regulated instruction.",
      "expected_verdict": "ALLOW",
      "actual_verdict": "ALLOW",
      "pass": true,
      "reason_codes": [
        "NO_VALUE_MOVEMENT",
        "NO_REGULATED_ACTION",
        "LOW_RISK_RESPONSE"
      ],
      "controls": [
        "emit_audit_record",
        "allow_response"
      ],
      "audit_hash": "sha256:ad6a4d579142c7494dff6d15f30bc409e51e3de840442e6d2d6a15b911e8301f"
    },
    {
      "case_id": "logos-batch-001",
      "domain": "batch_qa",
      "rulebook": "synthetic_batch_qa_sko_v0_1",
      "purpose": "Synthetic batch row with required fields and valid state transition should pass QA.",
      "facts_summary": "Required fields are present and state transition is allowed by the synthetic batch QA rulebook.",
      "expected_verdict": "ALLOW",
      "actual_verdict": "ALLOW",
      "pass": true,
      "reason_codes": [
        "REQUIRED_FIELDS_PRESENT",
        "STATE_TRANSITION_ALLOWED",
        "ROW_QA_PASS"
      ],
      "controls": [
        "emit_row_audit_record",
        "allow_batch_row"
      ],
      "audit_hash": "sha256:f22625fae57d97caad80201fbd4262083b4258172b104eb4110c6e6e35e27358"
    },
    {
      "case_id": "logos-batch-002",
      "domain": "batch_qa",
      "rulebook": "synthetic_batch_qa_sko_v0_1",
      "purpose": "Synthetic batch row with schema drift should be denied for automated import.",
      "facts_summary": "Required column is missing and an unexpected value class appears in a controlled field.",
      "expected_verdict": "DENY",
      "actual_verdict": "DENY",
      "pass": true,
      "reason_codes": [
        "SCHEMA_DRIFT_DETECTED",
        "REQUIRED_FIELD_MISSING",
        "AUTO_IMPORT_DENIED"
      ],
      "controls": [
        "block_row_import",
        "emit_row_audit_record",
        "request_schema_review"
      ],
      "audit_hash": "sha256:8e2ed9b4e447e081e7463b06cb0306c87c97ddae6444b3ff6d68b76e2c1dbb0f"
    }
  ],
  "matrix_payload_sha256": "sha256:b7506172b83f8e4d9ec62066c32c4340613d65bd8c1ad63c9e6739f9f2b83715"
}