{
  "status": "pass",
  "scope": "statement-level alignment; not a proof of the sequence implementation or palindrome theorem",
  "paper_sha256": {
    "direct_html": "991f804138b6b764b6ef102ca1b7aefbc40701ad13be142278cd98b678a7425f",
    "causal_html": "c428f0e66953d6cdc0cee8d3074e3291bb76c92fe2d26339598009cb93d087d5"
  },
  "direct_statement": {
    "theorem_is_conditional_on_sequence_contract": true,
    "source_evidence_is_explicitly_informal": true,
    "complete_old_fresh_provenance_automated": false,
    "direct_current_edition": "Draft 5, 21 September 2026"
  },
  "causal_statement": {
    "generic_compiler_is_separate": true,
    "palindrome_application_is_scoped_to_companion_abstract_model": true,
    "description_uses_stronger_implementation_language": true,
    "bibliography_still_names_direct_draft_4": true
  },
  "source_evidence": {
    "typed_units": 3,
    "typed_expressions": 3912,
    "typed_direct_calls": 454,
    "cat_reachable_bindings": 81,
    "cat_slots": 952,
    "context_sensitive_source_sites": 474,
    "context_sensitive_sites_resolved": 0,
    "old_fresh_interpretation_executed": false,
    "numerical_radius_derived": false
  }
}