{
  "status": "passed",
  "random_join_operations": 221,
  "random_pin_operations": 239,
  "retained_snapshots": "unchanged",
  "cross_operand_old_fact": "passed",
  "private_occurrence_separation": "passed",
  "empty_cache_no_descent": "passed",
  "deep_composite_pin_events": {
    "z": 0,
    "k": 1,
    "D": 40,
    "A": 42,
    "E": 1,
    "calls": 81
  },
  "counter_sum_and_max_negative_controls": "passed",
  "conditional_assumption_scope": "passed",
  "scope": "Finite semantic Join/Pin histories against truth assignments; recursive sets and existing leaf checker, not pointer-cost or Lean verification.",
  "sha256": {
    "compositional-horn-join.md": "c3d1235ab7405b52dfe1fc885a1c5f14f04a3d0be051dca43ee83e5afa91feb4",
    "verify_horn_join.py": "d69823320efffbc61b3f925ecaf48006fa4cf1f08f5783910d49b0205385d964",
    "verify_persistent_horn.py": "24e6ebb45bcc3fec4231c11966b900bc641a7c5409573e37507a0ffa6d118611"
  }
}