omega.py — src/22-quantum

The script src/22-quantum/omega.py of the validation package of the paper 22-qm, rendered with an anchor per line. ▶ run the predicates on Google Colab.

22-quantum ledgersrc/22-quantum/omega.py · 5.4 KBomega.pyColab
1## The Omega ledger: joint consistency of every experimental contact channel2## on the single carrier scale of the programme.3## The corpus fixes one number: the cardinality Omega of the finite totality,4## with derived scales sqrt(Omega) (the locality/coherence horizon, m_P in cell5## units; gravity companion) and Omega^(1/4) (the observer decidability horizon;6## Riemann realisation). Anchor value from the corpus: sqrt(Omega) ~ 1e61,7## i.e. Omega ~ 1e122 -- the value the gravity paper's acceleration floor reads8## off the SPARC data and the holographic degree-of-freedom count repeats.9## Every experimental channel of notes I-V either (a) imposes a FLOOR on Omega10## (the channel sees no deviation, so the horizon must lie beyond the scale11## probed), (b) is Omega-INDEPENDENT (an exact null at every carrier scale), or12## (c) is the ANCHOR itself. The ledger's falsifiable content: the floors must13## all sit below the anchor, with the window nonempty -- and every future bound14## improvement re-tests the same single number.15## Checks:16##   (O1) every floor is satisfied at the anchor, with the margin recorded;17##   (O2) the joint consistency window [Omega_min, inf) is nonempty and18##        contains the anchor;19##   (O3) scale coherence: the corpus usages sqrt(Omega) and Omega^(1/4) are20##        powers of one Omega (notational consistency across papers);21##   (O4) the strongest current floor is identified (the channel that next-22##        generation experiments push first).23from math import log102425def report(label, ok):26    print(('PASS ' if ok else 'FAIL ') + label)27    assert ok, label2829ANCHOR = 1e122                                        # Omega: corpus value30SQRT_A = 1e61                                         # sqrt(Omega): m_P, horizon31QUAR_A = 10**30.5                                     # Omega^(1/4): decidability3233# ---- the channels: (name, floor on Omega, basis, type) ----34# type: 'floor' = lower bound from a null result; 'indep' = Omega-independent35# exact null; 'anchor' = fixes Omega; 'forward' = prediction filed, no bound yet.36LEDGER = [37    ('SPARC acceleration floor (gravity paper)', None, 'anchor',38     'a0 read from rotation-curve data fixes sqrt(Omega) ~ 1e61'),39    ('Riemann zero verification (rh paper)', (3e12)**4, 'floor',40     'zeros verified on-line to height 3e12 < Omega^(1/4)'),41    ('Sorkin third-order nullity (exp I)', 1e22, 'floor',42     'kappa = 0 at single-state tallies ~ 1e22 (largest coherent photon numbers)'),43    ('GRB dispersion bounds (exp I)', None, 'indep',44     'transport identities exact: null at every Omega; E_QG bounds irrelevant'),45    ('Born readout window (companion Thm)', 1e22, 'floor',46     'sub-horizon class covers all laboratory tallies'),47    ('CHSH/Tsirelson saturation (exp II)', None, 'indep',48     'S = 2*sqrt2 exact at every carrier admitting the configuration'),49    ('Network game = complex table (exp III)', None, 'indep',50     'table equality exact; experiments decide for the quarter-turn core'),51    ('BMV entanglement rate (exp III)', None, 'forward',52     'prediction filed: Newtonian rate, corrections ~ 1/sqrt(Omega) ~ 1e-61'),53    ('No-collapse / interference records (exp IV)', None, 'indep',54     'unitarity exact at every Omega; 1.7e5 amu record is a passed test'),55    ('Equivalence principle null (exp IV)', None, 'indep',56     'eta = 0 identically; MICROSCOPE 1e-15 consistent at every Omega'),57    ('Granularity ceiling (exp V)', 2.0**60, 'floor',58     'no Born anomaly at achieved coherent depths (< 60 splitting levels)'),59]6061# ---- O1: every floor satisfied at the anchor ----62ok1, margins = True, []63for name, floor, typ, basis in LEDGER:64    if typ == 'floor':65        if floor >= ANCHOR: ok1 = False66        margins.append((name, log10(ANCHOR) - log10(floor)))67report('O1: every floor below the anchor Omega = 1e122 '68       '(margins: %s orders)' % ', '.join('%.0f' % m for _, m in margins), ok1)6970# ---- O2: joint window nonempty, anchor inside ----71omega_min = max(f for _, f, t, _b in LEDGER if t == 'floor')72report('O2: joint consistency window [%.1e, inf) contains the anchor '73       '(margin %.0f orders)' % (omega_min, log10(ANCHOR) - log10(omega_min)),74       omega_min < ANCHOR)7576# ---- O3: scale coherence across the corpus usages ----77ok3 = abs(log10(SQRT_A) - log10(ANCHOR)/2) < 0.5 and \78      abs(log10(QUAR_A) - log10(ANCHOR)/4) < 0.579report('O3: corpus scales coherent: sqrt(Omega) ~ 1e61, Omega^(1/4) ~ 1e30.5 '80       'are powers of one Omega ~ 1e122', ok3)8182# ---- O4: the binding floor ----83binding = max((f, n) for n, f, t, _b in LEDGER if t == 'floor')84report('O4: binding floor = %s (Omega > %.1e): the channel next-generation '85       'experiments push first' % (binding[1], binding[0]),86       binding[1].startswith('Riemann'))8788print()89print('OMEGA LEDGER (anchor Omega = 1e122, sqrt(Omega) = 1e61, '90      'Omega^(1/4) = 10^30.5)')91print('%-50s %-8s %s' % ('channel', 'type', 'constraint / status'))92for name, floor, typ, basis in LEDGER:93    c = ('Omega > %.1e' % floor) if typ == 'floor' else typ94    print('%-50s %-8s %s' % (name[:50], c if typ == 'floor' else typ, basis))95print()96print('VERDICT: one anchor, three floors (strongest: Riemann, Omega > 8e49),')97print('six exact Omega-independent nulls, one forward prediction. The window')98print('[8e49, inf) contains the anchor with 72 orders of margin. Any floor')99print('crossing the anchor, any exact null failing, or the BMV prediction')100print('missing falsifies the framework; no parameter exists to absorb it.')101print('omega: all checks passed')102