Astrophysics Pulsar Emission Regimes From Rs Period

The period ladder

A pulsar is a rotating neutron star that beams radio waves; its period is the time between pulses, from milliseconds to seconds. Astronomers have long sorted pulsars into rough families, the ordinary ones, the millisecond recyclers, the magnetars with their giant flares, the rotating radio transients, and the sources of fast radio bursts. The Recognition Science declaration groups exactly these five families and calls them emission regimes.

The framework's claim is about the periods themselves. In its model, each regime sits on a rung of a ladder, and the period of one rung is the golden ratio φ, about 1.618, times the period of the rung below it. The declaration proves a simple ratio: period (k+1) / period k = φ for every step k. The periods are always positive, and the count of regimes is exactly five. This is a formal statement in the framework's machine-checked library of formal theorems.

The golden ratio appears because the framework derives it as the unique self-similar scaling from its cost function, and the same φ then organizes the pulsar ladder. The declaration does not claim that real pulsar periods obey this ladder exactly. Measured periods scatter within each family, and the framework does not assign which observed pulsar belongs to which rung. It also does not derive the physical mechanism that makes a neutron star emit in one regime rather than another; the bridge from recognition structure to actual magnetosphere physics remains open.

What the declaration does establish is a clean combinatorial skeleton: five named regimes, a φ ratio between adjacent periods, and positivity throughout. That skeleton is a target for empirical comparison, not a measurement. The framework's own honesty rule applies: the scaling law is proved, but the comparison against observed pulsar periods is a check, not a theorem.

theorem pulsarRegime_count : Fintype.card PulsarRegime = 5 := by decide

theorem period_ratio (k : ℕ) : period (k + 1) / period k = phi := by
  unfold period
  have hpos : (0 : ℝ) < phi ^ k := pow_pos phi_pos k
  rw [div_eq_iff hpos.ne', pow_succ]
  ring

theorem period_pos (k : ℕ) : 0 < period k := pow_pos phi_pos k

What this page does not claim

The declaration does not match any measured pulsar period to a specific rung. The declaration does not derive the emission mechanism that distinguishes one regime from another. The declaration does not prove that real pulsar periods exactly follow the φ ratio.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Astrophysics/PulsarEmissionRegimesFromRS.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: