{
 "schema_id": "dm11.reality_receipt",
 "schema_version": "2.1",
 "receipt_version": "2.1",
 "transaction_id": "TXN-HERO-0001",
 "intent": "Activate 5,000 trial customers: set plan TRIAL to ACTIVE across CRM, Billing and Entitlement",
 "authority": {
  "scope": "crm.customer.write",
  "limit_records": 10000,
  "expiry": "2026-12-31"
 },
 "plan_hash": "e66f5facff467ef98ebd30b6ae2b2bc9ab0df3b9fa5d09bb9c9617022dae72c5",
 "before_state_ref": {
  "origin": "SYNTHETIC_DEMO",
  "systems": {
   "Billing": {
    "system": "Billing",
    "origin": "SYNTHETIC_DEMO",
    "version": 1,
    "record_count": 5000,
    "state_hash": "09422d3a9b3173d545e350505a85545699897d32bfb4727687a1f25f14f814c4"
   },
   "CRM": {
    "system": "CRM",
    "origin": "SYNTHETIC_DEMO",
    "version": 1,
    "record_count": 5000,
    "state_hash": "09422d3a9b3173d545e350505a85545699897d32bfb4727687a1f25f14f814c4"
   },
   "Entitlement": {
    "system": "Entitlement",
    "origin": "SYNTHETIC_DEMO",
    "version": 1,
    "record_count": 5000,
    "state_hash": "09422d3a9b3173d545e350505a85545699897d32bfb4727687a1f25f14f814c4"
   }
  }
 },
 "preconditions": [
  {
   "name": "CRM is at the version seen when planning",
   "ok": true,
   "measured_version": 1
  },
  {
   "name": "Billing is at the version seen when planning",
   "ok": true,
   "measured_version": 1
  }
 ],
 "approvals": [],
 "actual_steps": [
  {
   "system": "CRM",
   "origin": "SYNTHETIC_DEMO",
   "op": "UPDATE",
   "applied": 5000,
   "version": 2,
   "ok": true,
   "seq": 0
  },
  {
   "system": "Billing",
   "origin": "SYNTHETIC_DEMO",
   "op": "UPDATE",
   "applied": 5000,
   "version": 2,
   "ok": true,
   "seq": 0
  },
  {
   "system": "Entitlement",
   "origin": "SYNTHETIC_DEMO",
   "op": "UPDATE",
   "applied": 5000,
   "version": 2,
   "ok": true,
   "seq": 0
  }
 ],
 "side_effects": [],
 "after_state_ref": {
  "origin": "SYNTHETIC_DEMO",
  "systems": {
   "Billing": {
    "system": "Billing",
    "origin": "SYNTHETIC_DEMO",
    "version": 3,
    "record_count": 5000,
    "state_hash": "b5a72db148e53a2f3f3e4d1e0bf5ea717d90fbe948a4f3a287b284a64ca288ca"
   },
   "CRM": {
    "system": "CRM",
    "origin": "SYNTHETIC_DEMO",
    "version": 3,
    "record_count": 5000,
    "state_hash": "b5a72db148e53a2f3f3e4d1e0bf5ea717d90fbe948a4f3a287b284a64ca288ca"
   },
   "Entitlement": {
    "system": "Entitlement",
    "origin": "SYNTHETIC_DEMO",
    "version": 3,
    "record_count": 5000,
    "state_hash": "b5a72db148e53a2f3f3e4d1e0bf5ea717d90fbe948a4f3a287b284a64ca288ca"
   }
  }
 },
 "postcondition_results": [
  {
   "name": "CRM: every record is ACTIVE",
   "ok": true,
   "why": null
  },
  {
   "name": "Billing: every record is ACTIVE",
   "ok": true,
   "why": null
  },
  {
   "name": "Entitlement: every record is ACTIVE",
   "ok": true,
   "why": null
  },
  {
   "name": "Each system wrote the number of records requested",
   "ok": true,
   "why": null
  },
  {
   "name": "A customer recorded as ACTIVE can actually use the product (seats >= 1)",
   "ok": false,
   "why": "Entitlement: 83 records are ACTIVE with 0 seats (e.g. CUST-00001, CUST-00002, CUST-00003)"
  },
  {
   "name": "The three systems do not disagree",
   "ok": true,
   "why": null
  }
 ],
 "action_status": "RECOVERED",
 "settlement_status": "PARTIALLY_SETTLED",
 "outcome_status": "OUTCOME_UNKNOWN",
 "economic_exposure": {
  "value": null,
  "currency": null,
  "basis": "amounts cannot be measured on synthetic data, and are not invented"
 },
 "assurance": {
  "profile": "BUSINESS_WRITE",
  "mode": "ENFORCE",
  "required": [
   "BLAST_RADIUS_MEASURED",
   "COMPENSATION_PLAN",
   "PLAN_HASHED",
   "POSTCONDITIONS_DECLARED",
   "PRECONDITIONS_MEASURED"
  ],
  "satisfied": [
   "BLAST_RADIUS_MEASURED",
   "COMPENSATION_PLAN",
   "PLAN_HASHED",
   "POSTCONDITIONS_DECLARED",
   "PRECONDITIONS_MEASURED"
  ],
  "missing": [],
  "allowed": true,
  "blocks": false,
  "note": ""
 },
 "compensation": [
  {
   "system": "CRM",
   "origin": "SYNTHETIC_DEMO",
   "op": "COMPENSATE",
   "applied": 83,
   "version": 3,
   "ok": true,
   "seq": 1,
   "restored_to": "TRIAL"
  },
  {
   "system": "Billing",
   "origin": "SYNTHETIC_DEMO",
   "op": "COMPENSATE",
   "applied": 83,
   "version": 3,
   "ok": true,
   "seq": 1,
   "restored_to": "TRIAL"
  },
  {
   "system": "Entitlement",
   "origin": "SYNTHETIC_DEMO",
   "op": "COMPENSATE",
   "applied": 83,
   "version": 3,
   "ok": true,
   "seq": 1,
   "restored_to": "TRIAL"
  },
  {
   "check": "re-measured the business rule after compensating",
   "ok": true,
   "still_violating": 0,
   "values": {
    "CRM": [
     "ACTIVE",
     "TRIAL"
    ],
    "Billing": [
     "ACTIVE",
     "TRIAL"
    ],
    "Entitlement": [
     "ACTIVE",
     "TRIAL"
    ]
   }
  }
 ],
 "final_status": "RECOVERED",
 "reality_diff": {
  "Billing": {
   "changed": true,
   "version_before": 1,
   "version_after": 3,
   "record_count_before": 5000,
   "record_count_after": 5000
  },
  "CRM": {
   "changed": true,
   "version_before": 1,
   "version_after": 3,
   "record_count_before": 5000,
   "record_count_after": 5000
  },
  "Entitlement": {
   "changed": true,
   "version_before": 1,
   "version_after": 3,
   "record_count_before": 5000,
   "record_count_after": 5000
  }
 },
 "projected_after": {
  "systems": {
   "CRM": {
    "all_plan": "ACTIVE",
    "all_seats_at_least": 1
   },
   "Billing": {
    "all_plan": "ACTIVE",
    "all_seats_at_least": 1
   },
   "Entitlement": {
    "all_plan": "ACTIVE",
    "all_seats_at_least": 1
   }
  }
 },
 "data_origin": "SYNTHETIC_DEMO",
 "issued_at": "2026-09-28T02:00:00Z",
 "issued_by": "rcp.hero_demo",
 "limitations": [
  "Measured on synthetic systems. Not run against a real CRM, billing platform or entitlement service.",
  "No customer business result measured (churn, revenue) — outcome_status is OUTCOME_UNKNOWN.",
  "Economic exposure cannot be measured on synthetic data.",
  "No exactly-once claim. What is shown is that a repeat of the same idempotency key added no further side effects.",
  "Latency and throughput were not measured; that is not what this run is for."
 ],
 "integrity_note": "The hash says this record was not altered. **It does not say the business reached the state described** - that is what postcondition_results and reality_diff say.",
 "causality_note": "This transaction is not claimed to have caused any later business result. What can be said stops at what the postconditions measured.",
 "trail_head": "cedf69d59ad94c5f76643a503af8675cc34a0703714c1311a68caf83c91c1e00",
 "trail_length": 15,
 "receipt_hash": "97233f4fe6f6607e5170af4522b55e647dcef148238aad40af86f447b21786a4"
}