{
  "source_fact_boundaries": [
    "append-only history is an architectural analogy, not ledger equivalence",
    "PostgreSQL transaction atomicity is local DB behavior",
    "PostgreSQL uniqueness is local constraint behavior"
  ],
  "forbidden_conclusions": [
    "append-only proves legal compliance",
    "correct balance proves historical integrity",
    "correction requires mutating original",
    "append-only equals event sourcing or blockchain",
    "unique key proves distributed exactly-once"
  ],
  "required_probe_semantics": {
    "baseline_append_correction": "CORRECTION_APPENDED_AND_REPLAYABLE",
    "mutate_original_history": "HISTORY_MUTATION_DETECTED",
    "duplicate_posting_identity": "DUPLICATE_POSTING_REJECTED",
    "missing_correction_link": "CORRECTION_LINEAGE_MISSING",
    "evidence_field_removed": "EVIDENCE_INCOMPLETE"
  },
  "required_correction_entry_type": "CORRECTION",
  "required_replay_order": "accepted_at_then_entry_id"
}