{
  "all_checks_passed": true,
  "checks": {
    "duplicate_symbolic_names_are_rejected": true,
    "exact_object_and_byte_budgets_are_accepted": true,
    "invalid_page_in_parent_graph_is_rejected": true,
    "one_less_canonical_byte_is_rejected": true,
    "one_less_unique_object_is_rejected": true,
    "semantic_failure_revokes_positive_identity": true,
    "shared_merkle_nodes_are_read_and_charged_once": true,
    "temporary_publication_names_are_cleaned": true,
    "transitive_parent_graph_round_trip_is_exact": true
  },
  "configuration": {
    "max_graph_bytes": 1048576,
    "max_graph_objects": 32,
    "page_size": 64,
    "source": "real content-addressed files with deterministic malformed graph construction and exact boundary budgets"
  },
  "observations": {
    "byte_rejection": "live-state graph exceeds canonical-byte budget",
    "canonical_graph_bytes": 2062,
    "checkpoint_id": "140f390e3166a8b0777dfbf2af286835bd2512eae315a35e5b066e06a26d61eb",
    "deep_rejection": "live-state object is not schema symcc-live-memory-page-v1",
    "duplicate_rejection": "invalid symbolic store reference",
    "exact_budget": {
      "canonical_bytes": 2062,
      "unique_objects": 8
    },
    "object_rejection": "live-state graph exceeds object budget",
    "parent_chain_descriptors": 2,
    "stable_snapshot_reads": 8,
    "temporary_residue": [],
    "unique_graph_objects": 8
  },
  "proof_boundary": "This local mechanism integration exercises production graph restore, memoization, validation, and budget code. It does not execute MPI, a target, afl-showmap, a symbolic solver, or a fuzzing campaign, and makes no throughput, coverage, bug-discovery, or LAVA-M uplift claim.",
  "schema": "symcc-f348-budgeted-transitive-live-state-v1"
}