{
  "cases": {
    "original_anchored": {
      "accepted": true,
      "expected": true
    },
    "edit": {
      "accepted": false,
      "expected": false
    },
    "middle_delete": {
      "accepted": false,
      "expected": false
    },
    "replay_duplicate": {
      "accepted": false,
      "expected": false
    },
    "truncated_without_checkpoint": {
      "accepted": true,
      "expected": true
    },
    "truncated_with_checkpoint": {
      "accepted": false,
      "expected": false
    },
    "restart_from_verified_state": {
      "accepted": true,
      "expected": true
    },
    "restart_lost_state": {
      "accepted": false,
      "expected": false
    },
    "producer_drop_chain_only": {
      "accepted": true,
      "expected": true
    },
    "producer_drop_sequence_check": {
      "accepted": false,
      "expected": false
    },
    "never_emitted_invisible": {
      "accepted": true,
      "expected": true
    },
    "signer_rewrite_without_checkpoint": {
      "accepted": true,
      "expected": true
    },
    "signer_rewrite_original_checkpoint": {
      "accepted": false,
      "expected": false
    },
    "signer_forges_after_checkpoint": {
      "accepted": true,
      "expected": true
    }
  },
  "checkpoint": {
    "count": 3,
    "head": "ee3365b944887ec4c11dfbbc53e20ab3132be87d87004d35dffdcf359f08d841"
  },
  "limitations": [
    "Public fixed HMAC key; all readers can forge.",
    "Separate local directories simulate independent custody only.",
    "No protected retention, asymmetric signature, fsync/crash recovery or concurrent writers.",
    "Restart means fresh state deserialization, not a power-loss test.",
    "All actions are labels; no agent or external tool executed."
  ],
  "cleanup": "Both temporary directories removed automatically."
}