Skip to content
This repository was archived by the owner on May 9, 2026. It is now read-only.

Commit 6f3feef

Browse files
woz5999woz5999
committed
Update derivations.ipynb
1 parent bbb9a1b commit 6f3feef

1 file changed

Lines changed: 60 additions & 49 deletions

File tree

‎notebooks/derivations.ipynb‎

Lines changed: 60 additions & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"cells": [
33
{
44
"cell_type": "markdown",
5-
"id": "3c9820f22485",
5+
"id": "f82b34b76f89",
66
"metadata": {},
77
"source": [
88
"# Verification Ledger\n",
@@ -27,7 +27,7 @@
2727
},
2828
{
2929
"cell_type": "markdown",
30-
"id": "2187d7951a8b",
30+
"id": "53d3bc94943a",
3131
"metadata": {},
3232
"source": [
3333
"## Setup\n",
@@ -38,7 +38,7 @@
3838
{
3939
"cell_type": "code",
4040
"execution_count": null,
41-
"id": "db51ae3573d5",
41+
"id": "eeb12cf50bac",
4242
"metadata": {},
4343
"outputs": [],
4444
"source": [
@@ -82,7 +82,7 @@
8282
{
8383
"cell_type": "code",
8484
"execution_count": null,
85-
"id": "ebcddfc6b315",
85+
"id": "cb71061e51f9",
8686
"metadata": {},
8787
"outputs": [],
8888
"source": [
@@ -223,7 +223,7 @@
223223
},
224224
{
225225
"cell_type": "markdown",
226-
"id": "5655d716732b",
226+
"id": "7571f58d6eb1",
227227
"metadata": {},
228228
"source": [
229229
"## Master scorecard\n",
@@ -247,7 +247,7 @@
247247
{
248248
"cell_type": "code",
249249
"execution_count": null,
250-
"id": "1bf6a798f298",
250+
"id": "09af287eb189",
251251
"metadata": {},
252252
"outputs": [],
253253
"source": [
@@ -303,7 +303,7 @@
303303
{
304304
"cell_type": "code",
305305
"execution_count": null,
306-
"id": "8b4613d534df",
306+
"id": "2f7b631c12d1",
307307
"metadata": {},
308308
"outputs": [],
309309
"source": [
@@ -381,7 +381,7 @@
381381
},
382382
{
383383
"cell_type": "markdown",
384-
"id": "fc70c2f3000a",
384+
"id": "76e9d6ce3a37",
385385
"metadata": {},
386386
"source": [
387387
"## §T.1 Arena — CP³ spectral data\n",
@@ -395,7 +395,7 @@
395395
{
396396
"cell_type": "code",
397397
"execution_count": null,
398-
"id": "c44a6ba81eed",
398+
"id": "60b778868901",
399399
"metadata": {},
400400
"outputs": [],
401401
"source": [
@@ -430,7 +430,7 @@
430430
},
431431
{
432432
"cell_type": "markdown",
433-
"id": "b905792e15b2",
433+
"id": "8c8f69787e31",
434434
"metadata": {},
435435
"source": [
436436
"## §T.2 Operator and Variational Principle\n",
@@ -444,7 +444,7 @@
444444
{
445445
"cell_type": "code",
446446
"execution_count": null,
447-
"id": "41e5629429ba",
447+
"id": "651ab5a17ba9",
448448
"metadata": {},
449449
"outputs": [],
450450
"source": [
@@ -483,7 +483,7 @@
483483
},
484484
{
485485
"cell_type": "markdown",
486-
"id": "e0420b7d2870",
486+
"id": "3d5a02fe9bc8",
487487
"metadata": {},
488488
"source": [
489489
"## §T.4 Fact Types and EWSB\n",
@@ -497,7 +497,7 @@
497497
{
498498
"cell_type": "code",
499499
"execution_count": null,
500-
"id": "924fd7a85f82",
500+
"id": "b4cb01196a0c",
501501
"metadata": {},
502502
"outputs": [],
503503
"source": [
@@ -565,7 +565,7 @@
565565
},
566566
{
567567
"cell_type": "markdown",
568-
"id": "62a1ef78cc43",
568+
"id": "18f185e433d7",
569569
"metadata": {},
570570
"source": [
571571
"## §T.5 Three Generations\n",
@@ -578,7 +578,7 @@
578578
{
579579
"cell_type": "code",
580580
"execution_count": null,
581-
"id": "7824bf6dfe5b",
581+
"id": "020f73983a25",
582582
"metadata": {},
583583
"outputs": [],
584584
"source": [
@@ -607,7 +607,7 @@
607607
},
608608
{
609609
"cell_type": "markdown",
610-
"id": "1a5700f696c0",
610+
"id": "d1f545b8cc44",
611611
"metadata": {},
612612
"source": [
613613
"## §T.6 Information and Thermodynamics\n",
@@ -619,7 +619,7 @@
619619
{
620620
"cell_type": "code",
621621
"execution_count": null,
622-
"id": "23d8c6006f7c",
622+
"id": "282d52b0c622",
623623
"metadata": {},
624624
"outputs": [],
625625
"source": [
@@ -644,7 +644,7 @@
644644
},
645645
{
646646
"cell_type": "markdown",
647-
"id": "a30da919cff4",
647+
"id": "7d77622e08f2",
648648
"metadata": {},
649649
"source": [
650650
"## §T.7 Energy Hierarchy\n",
@@ -661,7 +661,7 @@
661661
{
662662
"cell_type": "code",
663663
"execution_count": null,
664-
"id": "7233e32d6bfc",
664+
"id": "957471edfbcd",
665665
"metadata": {},
666666
"outputs": [],
667667
"source": [
@@ -772,7 +772,7 @@
772772
},
773773
{
774774
"cell_type": "markdown",
775-
"id": "7bf5ebc04636",
775+
"id": "23c5cdb88e26",
776776
"metadata": {},
777777
"source": [
778778
"## §T.8 Six Bridges\n",
@@ -787,7 +787,7 @@
787787
{
788788
"cell_type": "code",
789789
"execution_count": null,
790-
"id": "03a21bd6998f",
790+
"id": "c0395224a005",
791791
"metadata": {},
792792
"outputs": [],
793793
"source": [
@@ -857,7 +857,7 @@
857857
},
858858
{
859859
"cell_type": "markdown",
860-
"id": "4b23bc2357da",
860+
"id": "cc7b8de3901d",
861861
"metadata": {},
862862
"source": [
863863
"## §T.9 Particle Masses\n",
@@ -871,7 +871,7 @@
871871
{
872872
"cell_type": "code",
873873
"execution_count": null,
874-
"id": "7fd9111e2695",
874+
"id": "56424a8736d2",
875875
"metadata": {},
876876
"outputs": [],
877877
"source": [
@@ -960,7 +960,7 @@
960960
},
961961
{
962962
"cell_type": "markdown",
963-
"id": "a3997c3c4833",
963+
"id": "98c9637ce071",
964964
"metadata": {},
965965
"source": [
966966
"## §T.10 Mixing and CP\n",
@@ -973,7 +973,7 @@
973973
{
974974
"cell_type": "code",
975975
"execution_count": null,
976-
"id": "97d3778c9850",
976+
"id": "e0ba4192831a",
977977
"metadata": {},
978978
"outputs": [],
979979
"source": [
@@ -1113,7 +1113,7 @@
11131113
},
11141114
{
11151115
"cell_type": "markdown",
1116-
"id": "f0afb0aa818a",
1116+
"id": "cc4d6bab7206",
11171117
"metadata": {},
11181118
"source": [
11191119
"## §T.11 Fine-Structure Constant\n",
@@ -1131,7 +1131,7 @@
11311131
{
11321132
"cell_type": "code",
11331133
"execution_count": null,
1134-
"id": "d45dc0e02ed7",
1134+
"id": "4068f008ce41",
11351135
"metadata": {},
11361136
"outputs": [],
11371137
"source": [
@@ -1241,7 +1241,7 @@
12411241
{
12421242
"cell_type": "code",
12431243
"execution_count": null,
1244-
"id": "2d301cc944ea",
1244+
"id": "3a499c0c090c",
12451245
"metadata": {},
12461246
"outputs": [],
12471247
"source": [
@@ -1281,7 +1281,7 @@
12811281
{
12821282
"cell_type": "code",
12831283
"execution_count": null,
1284-
"id": "113bcc24b45c",
1284+
"id": "5169ff4eae0f",
12851285
"metadata": {},
12861286
"outputs": [],
12871287
"source": [
@@ -1360,7 +1360,7 @@
13601360
{
13611361
"cell_type": "code",
13621362
"execution_count": null,
1363-
"id": "cfc60b1b678b",
1363+
"id": "b6587aab9099",
13641364
"metadata": {},
13651365
"outputs": [],
13661366
"source": [
@@ -1457,7 +1457,7 @@
14571457
},
14581458
{
14591459
"cell_type": "markdown",
1460-
"id": "7d1c6f795e89",
1460+
"id": "e2fff750aab4",
14611461
"metadata": {},
14621462
"source": [
14631463
"## §T.12 Gravity and Cosmology\n",
@@ -1474,7 +1474,7 @@
14741474
{
14751475
"cell_type": "code",
14761476
"execution_count": null,
1477-
"id": "18777f1947db",
1477+
"id": "d069d4e35293",
14781478
"metadata": {},
14791479
"outputs": [],
14801480
"source": [
@@ -1660,7 +1660,7 @@
16601660
{
16611661
"cell_type": "code",
16621662
"execution_count": null,
1663-
"id": "92e0692f5001",
1663+
"id": "73c8eea88878",
16641664
"metadata": {},
16651665
"outputs": [],
16661666
"source": [
@@ -1702,7 +1702,7 @@
17021702
},
17031703
{
17041704
"cell_type": "markdown",
1705-
"id": "0f5572104b13",
1705+
"id": "2599895226b9",
17061706
"metadata": {},
17071707
"source": [
17081708
"## §T.13 Consciousness Numerics\n",
@@ -1717,7 +1717,7 @@
17171717
{
17181718
"cell_type": "code",
17191719
"execution_count": null,
1720-
"id": "20d54d3b758e",
1720+
"id": "7281903434aa",
17211721
"metadata": {},
17221722
"outputs": [],
17231723
"source": [
@@ -1765,26 +1765,23 @@
17651765
},
17661766
{
17671767
"cell_type": "markdown",
1768-
"id": "814588d1cea6",
1768+
"id": "29261f13f8d1",
17691769
"metadata": {},
17701770
"source": [
17711771
"## Package self-consistency suite\n",
17721772
"\n",
1773-
"Click to run the 42-check self-consistency suite. The same suite runs in CI on\n",
1774-
"every commit and via `python -m ppm.verify` locally; this button is a\n",
1775-
"convenience for inspecting it interactively. On constrained shared\n",
1776-
"infrastructure the run may be slow or memory-bound — skip if so.\n",
1777-
"\n",
1778-
"Output is grouped by sector (geometric constants, instanton, gauge,\n",
1779-
"cosmology, quantum dynamics, active inference, Kähler spectrum, …) with a\n",
1780-
"one-line description of what each sector tests and the per-check status\n",
1781-
"and percent deviation.\n"
1773+
"The 42-check self-consistency suite. The same suite runs in CI on every\n",
1774+
"commit and via `python -m ppm.verify` locally; this button is a convenience\n",
1775+
"for inspecting it interactively. Output is grouped by sector (geometric\n",
1776+
"constants, instanton, gauge, cosmology, quantum dynamics, active inference,\n",
1777+
"Kähler spectrum, …) with a one-line description of what each sector tests\n",
1778+
"and the per-check status and percent deviation.\n"
17821779
]
17831780
},
17841781
{
17851782
"cell_type": "code",
17861783
"execution_count": null,
1787-
"id": "2876779ef67b",
1784+
"id": "55025ff7b710",
17881785
"metadata": {},
17891786
"outputs": [],
17901787
"source": [
@@ -1965,12 +1962,26 @@
19651962
" return ''.join(parts)\n",
19661963
"\n",
19671964
"\n",
1965+
"_VERIFY_WARNING_HTML = (\n",
1966+
" '<div style=\"font-family:\\'SF Pro Display\\',\\'Helvetica Neue\\','\n",
1967+
" '\\'Helvetica\\',sans-serif;font-size:13px;line-height:1.5;'\n",
1968+
" 'background:#fff7e6;border-left:3px solid #c87a00;color:#5a3a00;'\n",
1969+
" 'padding:9px 14px;border-radius:4px;margin-bottom:10px;'\n",
1970+
" 'max-width:560px;\">'\n",
1971+
" '<b>Heads-up — heavy compute.</b> The suite runs Lindblad evolutions, '\n",
1972+
" 'eigenvalue decompositions, and convergence simulations. ~15-20s on a '\n",
1973+
" 'workstation, similar on the Fly.io deployment; on Binder\\'s free tier '\n",
1974+
" 'it reliably exhausts memory and locks the kernel. Run locally, on Fly, '\n",
1975+
" 'or rely on CI logs if you don\\'t need to see it interactively here.'\n",
1976+
" '</div>')\n",
1977+
"\n",
19681978
"_verify_btn = _VerifyButton(\n",
19691979
" description='Run self-consistency suite',\n",
1970-
" tooltip='Runs 42 internal checks. ~17s locally, 30-60s on Binder.',\n",
1980+
" tooltip='Runs 42 internal checks. ~17s locally; may OOM on Binder.',\n",
19711981
" button_style='primary',\n",
19721982
" layout={'width': '320px'})\n",
19731983
"_verify_out = _VerifyOutput()\n",
1984+
"_verify_display(_VerifyHTML(_VERIFY_WARNING_HTML))\n",
19741985
"\n",
19751986
"def _on_verify_click(_btn):\n",
19761987
" with _verify_out:\n",
@@ -1997,7 +2008,7 @@
19972008
},
19982009
{
19992010
"cell_type": "markdown",
2000-
"id": "3531934a4d8c",
2011+
"id": "8a3954003d9f",
20012012
"metadata": {},
20022013
"source": [
20032014
"## Closing summary\n",
@@ -2008,7 +2019,7 @@
20082019
{
20092020
"cell_type": "code",
20102021
"execution_count": null,
2011-
"id": "677d571c61ff",
2022+
"id": "dc0af4629204",
20122023
"metadata": {},
20132024
"outputs": [],
20142025
"source": [

0 commit comments

Comments
 (0)