{
  "status": "passed",
  "exhaustive_two_variable_programs": 256,
  "closure_and_extension_comparisons": 3072,
  "random_retained_version_extensions": 4000,
  "random_independent_fragment_pairs": 1000,
  "maximum_notifications_b2": 4,
  "branch_repeated_work": [
    {
      "variables": 16,
      "branches": 3,
      "activation_events": 48
    },
    {
      "variables": 64,
      "branches": 3,
      "activation_events": 192
    },
    {
      "variables": 256,
      "branches": 3,
      "activation_events": 768
    }
  ],
  "scope": "Finite high-level immutable-trie/event checks against assignment enumeration; no microinstruction, loader, asymptotic or Lean proof.",
  "sha256": {
    "persistent-horn-closure.md": "b040ce5717cb3b577f0d5a104b433ddfc6a4e5f1735b14416d1af8a93e7063fb",
    "verify_persistent_horn.py": "24e6ebb45bcc3fec4231c11966b900bc641a7c5409573e37507a0ffa6d118611",
    "sat-boundary-dynamics.md": "dda59c078468c21a6a7e0a7cbd46f26814fa0ba025424565d19db46404b2eda3"
  }
}