{
  "status": "PASS",
  "ledger_rows_preserved": 448,
  "historical_rows_compared": 235,
  "changed_fields_rows": 6,
  "new_rows": 213,
  "unchanged_rows": 229,
  "amendments": 10,
  "rows_with_amendments": 91,
  "substantive_source_views": 65,
  "original_exact_name_derivations_recovered": 0,
  "original_zip_byte_hash_preserved": true,
  "polarity_conditional_check": {
    "complete_states": 125,
    "ordered_pairs": 15625,
    "idle_histogram": [
      64,
      48,
      12,
      1
    ],
    "index_equals_full_polarity": 6545,
    "saturated_prior_pairs": 8000,
    "saturated_both_equalities": 4096,
    "status": "exact finite check of declared admissible domain; not physical data"
  },
  "gap2_sign_audit": {
    "symbolic_reason": "For n_s<1 and 0<rho,r<1, each factor in -(n_s-1)*abs(ln rho)/ln(1/r) is positive.",
    "numerical_witness": 0.049999999999999996,
    "scope": "No sign-repaired physical formula or primordial prediction is inferred."
  },
  "proof_dependency_DAG": "OPEN_GATED; explicit references only",
  "review": "constructor reconciliation and standard-library independent implementation; no human review",
  "physical_promotion": 0
}