{
  "actual": [
    "F",
    "F",
    "F",
    "F",
    "F",
    "F",
    "T",
    "T",
    "F",
    "F",
    "F",
    "F",
    "T",
    "T",
    "T"
  ],
  "checker": "scripts/check_tau_semantic_conflict_hypergraph_v1.py",
  "checker_sha256": "0129371cfb246ccc1baa90945e65fbc4f5ccd2380e58089a22f81c41c6a64869",
  "claim_boundary": "PASS reproduces 15 bounded Tau normalizations and validates 17 Python tests for the finite reference model. Those tests cover higher-order conflicts, exact small-instance optimization, dependency closure, all 24 arrival permutations, canonical sealed proposal roots, subject- and policy-bound resolution certificates, mutation rejection, and fail-closed UNKNOWN and budget outcomes. It does not establish a production network protocol, agreement on the epoch input set, unbounded tractability, or Tau semantic soundness.",
  "expected": [
    "F",
    "F",
    "F",
    "F",
    "F",
    "F",
    "T",
    "T",
    "F",
    "F",
    "F",
    "F",
    "T",
    "T",
    "T"
  ],
  "expected_python_test_count": 17,
  "model": "examples/tau_coordination_boundary/semantic_conflict_hypergraph_v1.py",
  "model_sha256": "38b54fadaa9e2fe00adab62876c3781cadd1097faad32c3740faba6d530ed106",
  "passed": true,
  "proposal_set_root": "1ffa0f9a1e16026032c6a29ca38e9b27a14b00a6acbd1d66d4fa9a98efbd02e5",
  "python_demo_passed": true,
  "python_test_count": 17,
  "python_tests_passed": true,
  "required_python_tests_observed": true,
  "resolution_root": "958b05ab14ac8b1cde417175dfc31fc256e14a0dc53385a82921dbe50e550fff",
  "schema": "formal-philosophy.tau-semantic-conflict-hypergraph-replay.v1",
  "spec": "examples/tau/consensus_hypergraph_v1.tau",
  "spec_sha256": "0c5c76659e70d2daa3be533c30eaf44495cf4b6eff3cdffd9e60df539ed92732",
  "tau_binary_name": "tau",
  "tau_exit_code": 0,
  "tau_version_output": "Tau Language Framework version 0.7.0-alpha (f7423804)",
  "tests": "examples/tau_coordination_boundary/test_semantic_conflict_hypergraph_v1.py",
  "tests_sha256": "42e73f68c320b6e77cf4f0a911c7f268c03cce8416be4310009223f7e80c40e9"
}