OMEGA NAUGHT Julia proof companion v0.1
Julia 1.11.6 | Linux x86_64 | x86_64-linux-gnu
Exact certificates use BigInt/Rational arithmetic; analytic proofs are literate text.
Source inventory and 147 theorem mappings verified.
Exact rational enclosures verified (Machin identity and integer square root).
Exact polynomial certificates: 97
Full domain: 32768 seeds; 753664 transitions; all records reconstructed.
Precision sweep 0:18 verified; universal threshold proof is P08.
Generic signed ledgers: 60390 generated cases; 22680 candidate records.
Exact scalar, grid, frame, and outline realization checks completed.
Separate BigFloat illustrations: 31
Completed checks by group:
  admissible_candidates: 47984
  canonical_ledger: 98304
  canonical_trajectory: 1540096
  census: 4
  exact_interval: 4
  extinction: 360449
  finite_blocks: 128
  finite_floor: 163840
  finite_gap: 32770
  full_period_probes: 12
  generic_ledger: 197274
  grid_realization: 11904
  input_validation: 9
  modular_inverse: 65539
  normalizer_controls: 5
  numerical_illustration: 124
  ordered_data: 2
  outline_reconstruction: 27
  placement_polynomials: 648
  precision: 41
  predecessor_inequalities: 28985
  rational_enclosures: 14
  residual_types: 65536
  rounding_counterexample: 1
  scalar_coordinates: 470
  scalar_external: 32768
  signed_division: 19215
  source_inventory: 28
  symbolic_polynomials: 97
  theorem_coverage: 443
  zero_multiplier_admissibility: 40
No Julia check failed. Universal analytic inferences are documented, not kernel-checked by Julia.