{
  "algebra_case_counts": {
    "A01_TELESCOPING_SYMBOLIC": 3,
    "B01_QUANTIZED_LINEAR_LAYER": 397,
    "C01_SYMBOLIC_INTERPOLATION": 2,
    "C02_EXACT_DECODERS": 183,
    "C03_CODE_DISTANCE_MINORS": 94,
    "C04_INVISIBLE_PROFILE": 8,
    "F01_FORCED_FLOW": 10,
    "G01_SIMILARITY": 21,
    "G02_GRAM_AND_DIMENSION": 58,
    "H01_ICOSAHEDRAL_CUBATURE": 163,
    "I01_BOUNDARY_AND_COMPRESSION": 14,
    "I02_CHART_METRIC": 1,
    "O01_MOMENT_AND_PULLBACK": 8,
    "O02_OPERATOR_ALGEBRA": 19,
    "O03_BLOCH_ELLIPSE": 8,
    "S01_SYMPLECTIC": 8,
    "T01_TENSOR_RECONSTRUCTION": 1296,
    "U01_COMPOSITION_EXAMPLE": 9,
    "V01_CONVEX_POLARS": 12
  },
  "algebra_checks": 2314,
  "certificate_sha256": "daaee23b3c27bbb320d0f8db2c8d00a4a077f08e5fe0056864323873ddf71b19",
  "engine": "Python",
  "external_manuscript_proofs": "NOT_VERIFIED",
  "finite_audit": {
    "binary": {
      "boolean_floor_cases": 261,
      "byte_roundtrips": 12,
      "full_adder_rows": 8,
      "toffoli_rows": 8
    },
    "cyclotomic_ambient_real_degree": 345600,
    "end_to_end": {
      "auxiliary_seed": "1/2",
      "byte_ledgers": 24,
      "packet_bytes": 24,
      "point_measurements": 6,
      "recovered_intercept": "3",
      "recovered_slope": "-2"
    },
    "floor_prefix": {
      "first_disagreement": "42189065",
      "floor_sum_small_cases": 1944,
      "lambda_lower": "119090019690245953872792286883505247753808202262228943945275565685632681810515148561954572566564315881717571635867312160739063907495468151250793000930975500405346147845514688448520591981996018873251667763233184814453125/350316516522860667827898206124103199226129569019074732908030896790305729865339745178651958308155867258982769046529338491603468133164416740159888845708729614299906687922995873280958421179352644508507428035829238091469189",
      "lambda_upper": "1347037824698324580429261033479743219197084816122926635068927839114658300534343727134339588991231908726161313419861112396522754466694188148838929613411773808647838142293619139939329538789806044004055419743824005126953125/3962461334713331526138093748913841355048662794443280756126659971397832391832209531317475026782563374542673095045467030211124835460105115871070576103164998958172815092381759999729705082460454667181546282153475938563397797",
      "prefix_common_sum": "302541195258184",
      "rational_floor": "14342162",
      "real_floor": "14342163"
    },
    "ledger": {
      "first_residue_checks": 32768,
      "horizon": 23,
      "malformed_inputs_rejected": 8,
      "max_extinction": 10,
      "seeds": 32768,
      "telescoping_checks": 32768,
      "transitions": 753664
    }
  },
  "formal_proof_kernel": "NOT_RUN",
  "format": "OMEGA_EXECUTION_REPORT/1.0",
  "neural_performance_claims": "NOT_ESTABLISHED",
  "runtime": "3.13.5",
  "status": "CHECKS_PASSED"
}