star-magic-program 0.192.0__tar.gz → 0.193.0__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/CHANGELOG.md +18 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/CITATION.cff +1 -1
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/PKG-INFO +13 -11
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/README.md +11 -9
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/SESSION_LOG.md +9 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/WHITEPAPER_INDEX.md +3 -3
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/pyproject.toml +2 -2
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/star_magic_program.egg-info/PKG-INFO +13 -11
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/uqff_calculator.py +43 -1
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/uqff_fidelity_tests.py +10 -1
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/COMMERCIAL.md +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/LICENSE +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/LICENSE-AGPL-3.0.txt +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/LICENSE-MIT-INITIAL.txt +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/NOTICE +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/UNIFIED_REGISTRY_FALSIFIABILITY.md +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/UNIFIED_REGISTRY_PROGRAM_PLAN.md +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/UNIFIED_REGISTRY_RESULTS_TABLE.md +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/UNIFIED_REGISTRY_SCHEMA.md +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/UNIFIED_REGISTRY_STATUS_REPORT.md +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/UNIFIED_REGISTRY_VERSION.txt +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/_BUILD_LOG.md +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/registry_generator.py +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/setup.cfg +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/star_magic_program.egg-info/SOURCES.txt +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/star_magic_program.egg-info/dependency_links.txt +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/star_magic_program.egg-info/top_level.txt +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/uqff_registry_graph.py +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/uqff_registry_primitives.py +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/uqff_registry_status.py +0 -0
- {star_magic_program-0.192.0 → star_magic_program-0.193.0}/uqff_registry_xgeo.py +0 -0
|
@@ -7,6 +7,24 @@ Versioning: [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
|
|
|
7
7
|
|
|
8
8
|
---
|
|
9
9
|
|
|
10
|
+
## [0.193.0] — 2026-07-31 — BAND 1: PAPER_190 — INTEGRATION ENGINE
|
|
11
|
+
|
|
12
|
+
### Added
|
|
13
|
+
- **PAPER_190 dispatch** (S-C symbolic integration, S49,
|
|
14
|
+
sec 2.5): 10-rule SymEngine dispatch + linearity/
|
|
15
|
+
scalar + honest unevaluated fallback + PINE ODE path.
|
|
16
|
+
ALL 10 antiderivative rules NUMERICALLY VERIFIED —
|
|
17
|
+
the first zero-defect formula table in 190 papers.
|
|
18
|
+
Honest-fallback engineering noted (contrast 189's
|
|
19
|
+
identity fallback). PINNED: R_K regularization first
|
|
20
|
+
term = zeta(1) harmonic pole (divergent as printed);
|
|
21
|
+
PINE replaces exact polynomial integration with
|
|
22
|
+
approximation at degree > 10.
|
|
23
|
+
- OPEN_RULING Q-186.
|
|
24
|
+
- Gate: 1,274 assertions, 0 failures. Registry: 453 rows / 969 edges / 194 ledgers (measured).
|
|
25
|
+
|
|
26
|
+
---
|
|
27
|
+
|
|
10
28
|
## [0.192.0] — 2026-07-31 — BAND 1: PAPER_189 — S-C ARCHITECTURE
|
|
11
29
|
|
|
12
30
|
### Added
|
|
@@ -3,7 +3,7 @@ message: "If you use Star-Magic-Program (UQFF systematic rebuild) in your resear
|
|
|
3
3
|
type: software
|
|
4
4
|
title: "Star-Magic-Program: UQFF Systematic Rebuild"
|
|
5
5
|
abbreviation: "UQFF"
|
|
6
|
-
version: "0.
|
|
6
|
+
version: "0.193.0"
|
|
7
7
|
date-released: "2026-07-28"
|
|
8
8
|
authors:
|
|
9
9
|
- family-names: "Murphy"
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: star-magic-program
|
|
3
|
-
Version: 0.
|
|
4
|
-
Summary: UQFF Star-Magic-Program v0.
|
|
3
|
+
Version: 0.193.0
|
|
4
|
+
Summary: UQFF Star-Magic-Program v0.193.0: PAPER_190 wired - S-C symbolic integration engine; ALL 10 antiderivative rules NUMERICALLY VERIFIED (cleanest formula table in the corpus); honest unevaluated-fallback pattern; R_K regularization zeta(1) divergence + PINE polynomial oddity pinned. Q-186. Wired 194/2255, gate 1274/0. Registry 453 rows / 969 edges / 194 ledgers (measured).
|
|
5
5
|
Author-email: "Daniel T. Murphy" <daniel.murphy00@enrgyone.com>
|
|
6
6
|
License: AGPL-3.0-or-later OR LicenseRef-StarMagic-Commercial
|
|
7
7
|
Project-URL: Homepage, https://github.com/Daniel8Murphy0007/Star-Magic-Program
|
|
@@ -30,15 +30,15 @@ Dynamic: license-file
|
|
|
30
30
|
|
|
31
31
|
# Star-Magic-Program
|
|
32
32
|
|
|
33
|
-
[](https://pypi.org/project/star-magic-program/)
|
|
34
|
+
[](https://pypi.org/project/star-magic-program/)
|
|
35
35
|
[](https://star-magic-program.readthedocs.io/en/latest/?badge=latest)
|
|
36
36
|
[](LICENSE)
|
|
37
|
-
[](uqff_fidelity_tests.py)
|
|
38
|
+
[](uqff_calculator.py)
|
|
39
39
|
[](whitepapers/)
|
|
40
40
|
|
|
41
|
-
**UQFF systematic rebuild — v0.
|
|
41
|
+
**UQFF systematic rebuild — v0.193.0 wiring campaign live**
|
|
42
42
|
Author: Daniel T. Murphy · Star-Magic Research Program
|
|
43
43
|
License: AGPL-3.0-or-later OR Commercial
|
|
44
44
|
|
|
@@ -77,7 +77,7 @@ Mizuno, Rossi).
|
|
|
77
77
|
Full framework physics lives in the whitepaper corpus — the physics is the
|
|
78
78
|
whitepapers; the calculator computes what the whitepapers derive.
|
|
79
79
|
|
|
80
|
-
## What is currently shipped (v0.
|
|
80
|
+
## What is currently shipped (v0.193.0)
|
|
81
81
|
|
|
82
82
|
### Wiring campaign — LIVE (see `CLAUDE.md` charter)
|
|
83
83
|
|
|
@@ -85,7 +85,7 @@ Sequential wiring of all 2,255 whitepapers, starting at PAPER_001.
|
|
|
85
85
|
Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
86
86
|
`ship.ps1`, full stop at PAPER_500 for manual review.
|
|
87
87
|
|
|
88
|
-
**Wired so far:
|
|
88
|
+
**Wired so far: 194 / 2,255** (11 ✓ · 183 ⚠ OPEN_RULING · 186 rulings queued) — cleanest table verified (190)
|
|
89
89
|
|
|
90
90
|
| Paper | Content | Key result |
|
|
91
91
|
|---|---|---|
|
|
@@ -282,6 +282,7 @@ Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
|
282
282
|
| PAPER_187 | 7-Object Catalog | B/Bcrit = F_TRZ ALL systems; Q-176a resolved; ω₂ = −ω₁; Q-183 |
|
|
283
283
|
| PAPER_188 | Build Architecture | 6,688-term census; 4.68 terms/kB; Qt5/Qt6 pin; Q-184 |
|
|
284
284
|
| PAPER_189 | S-C Architecture | Q-184a resolved; in-corpus Units class unused (irony); Q-185 |
|
|
285
|
+
| PAPER_190 | Integration Engine | all 10 rules verified; ζ(1) divergence; PINE oddity; Q-186 |
|
|
285
286
|
|
|
286
287
|
### Corpus (2,419 files)
|
|
287
288
|
- `whitepapers/` — 2,255 `.md` files + 1 `.bak` — physics source of truth
|
|
@@ -292,7 +293,7 @@ Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
|
292
293
|
v5.86.0 UNIFIED_REGISTRY R5 baseline). **Registry-clean.**
|
|
293
294
|
- `uqff_calculator.py` — `DISPATCH` grows one paper at a time;
|
|
294
295
|
`calc(paper_id, dataset)` public interface.
|
|
295
|
-
- `uqff_fidelity_tests.py` — 9-block gate (1,
|
|
296
|
+
- `uqff_fidelity_tests.py` — 9-block gate (1,274 assertions), locking every
|
|
296
297
|
primitive identity + every wired paper's stated values. Runs on every ship.
|
|
297
298
|
|
|
298
299
|
### Registry pantheon (live, grows per band)
|
|
@@ -505,7 +506,8 @@ Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
|
505
506
|
| v0.189.0 | Band 1: PAPER_186 | 190 |
|
|
506
507
|
| v0.190.0 | Band 1: PAPER_187 | 191 |
|
|
507
508
|
| v0.191.0 | Band 1: PAPER_188 | 192 |
|
|
508
|
-
|
|
|
509
|
+
| v0.192.0 | Band 1: PAPER_189 | 193 |
|
|
510
|
+
| **v0.193.0** ← current | Band 1: PAPER_190 | 194 |
|
|
509
511
|
| v0.4.0+ | One band per session (~20-80 papers each) | growing |
|
|
510
512
|
| PAPER_500 milestone | FULL STOP — Daniel's manual review | 500 |
|
|
511
513
|
| v1.0.0 | Full whitepaper coverage | 2,255 |
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
# Star-Magic-Program
|
|
2
2
|
|
|
3
|
-
[](https://pypi.org/project/star-magic-program/)
|
|
4
|
+
[](https://pypi.org/project/star-magic-program/)
|
|
5
5
|
[](https://star-magic-program.readthedocs.io/en/latest/?badge=latest)
|
|
6
6
|
[](LICENSE)
|
|
7
|
-
[](uqff_fidelity_tests.py)
|
|
8
|
+
[](uqff_calculator.py)
|
|
9
9
|
[](whitepapers/)
|
|
10
10
|
|
|
11
|
-
**UQFF systematic rebuild — v0.
|
|
11
|
+
**UQFF systematic rebuild — v0.193.0 wiring campaign live**
|
|
12
12
|
Author: Daniel T. Murphy · Star-Magic Research Program
|
|
13
13
|
License: AGPL-3.0-or-later OR Commercial
|
|
14
14
|
|
|
@@ -47,7 +47,7 @@ Mizuno, Rossi).
|
|
|
47
47
|
Full framework physics lives in the whitepaper corpus — the physics is the
|
|
48
48
|
whitepapers; the calculator computes what the whitepapers derive.
|
|
49
49
|
|
|
50
|
-
## What is currently shipped (v0.
|
|
50
|
+
## What is currently shipped (v0.193.0)
|
|
51
51
|
|
|
52
52
|
### Wiring campaign — LIVE (see `CLAUDE.md` charter)
|
|
53
53
|
|
|
@@ -55,7 +55,7 @@ Sequential wiring of all 2,255 whitepapers, starting at PAPER_001.
|
|
|
55
55
|
Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
56
56
|
`ship.ps1`, full stop at PAPER_500 for manual review.
|
|
57
57
|
|
|
58
|
-
**Wired so far:
|
|
58
|
+
**Wired so far: 194 / 2,255** (11 ✓ · 183 ⚠ OPEN_RULING · 186 rulings queued) — cleanest table verified (190)
|
|
59
59
|
|
|
60
60
|
| Paper | Content | Key result |
|
|
61
61
|
|---|---|---|
|
|
@@ -252,6 +252,7 @@ Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
|
252
252
|
| PAPER_187 | 7-Object Catalog | B/Bcrit = F_TRZ ALL systems; Q-176a resolved; ω₂ = −ω₁; Q-183 |
|
|
253
253
|
| PAPER_188 | Build Architecture | 6,688-term census; 4.68 terms/kB; Qt5/Qt6 pin; Q-184 |
|
|
254
254
|
| PAPER_189 | S-C Architecture | Q-184a resolved; in-corpus Units class unused (irony); Q-185 |
|
|
255
|
+
| PAPER_190 | Integration Engine | all 10 rules verified; ζ(1) divergence; PINE oddity; Q-186 |
|
|
255
256
|
|
|
256
257
|
### Corpus (2,419 files)
|
|
257
258
|
- `whitepapers/` — 2,255 `.md` files + 1 `.bak` — physics source of truth
|
|
@@ -262,7 +263,7 @@ Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
|
262
263
|
v5.86.0 UNIFIED_REGISTRY R5 baseline). **Registry-clean.**
|
|
263
264
|
- `uqff_calculator.py` — `DISPATCH` grows one paper at a time;
|
|
264
265
|
`calc(paper_id, dataset)` public interface.
|
|
265
|
-
- `uqff_fidelity_tests.py` — 9-block gate (1,
|
|
266
|
+
- `uqff_fidelity_tests.py` — 9-block gate (1,274 assertions), locking every
|
|
266
267
|
primitive identity + every wired paper's stated values. Runs on every ship.
|
|
267
268
|
|
|
268
269
|
### Registry pantheon (live, grows per band)
|
|
@@ -475,7 +476,8 @@ Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
|
475
476
|
| v0.189.0 | Band 1: PAPER_186 | 190 |
|
|
476
477
|
| v0.190.0 | Band 1: PAPER_187 | 191 |
|
|
477
478
|
| v0.191.0 | Band 1: PAPER_188 | 192 |
|
|
478
|
-
|
|
|
479
|
+
| v0.192.0 | Band 1: PAPER_189 | 193 |
|
|
480
|
+
| **v0.193.0** ← current | Band 1: PAPER_190 | 194 |
|
|
479
481
|
| v0.4.0+ | One band per session (~20-80 papers each) | growing |
|
|
480
482
|
| PAPER_500 milestone | FULL STOP — Daniel's manual review | 500 |
|
|
481
483
|
| v1.0.0 | Full whitepaper coverage | 2,255 |
|
|
@@ -2222,3 +2222,12 @@ Wired 7/2,255 (2 ✓, 5 ⚠). Rulings Q-001..Q-007 open. Next: PAPER_008.
|
|
|
2222
2222
|
- Campaign: 193/2,255 (11 ✓, 182 ⚠). Next: PAPER_190.
|
|
2223
2223
|
|
|
2224
2224
|
---
|
|
2225
|
+
|
|
2226
|
+
## 2026-07-31 — v0.193.0 — BAND 1: PAPER_190
|
|
2227
|
+
|
|
2228
|
+
- PAPER_190 wired (⚠ Q-186): integration engine. All 10
|
|
2229
|
+
rules verified (cleanest table yet); zeta(1) divergence
|
|
2230
|
+
+ PINE oddity pinned.
|
|
2231
|
+
- Campaign: 194/2,255 (11 ✓, 183 ⚠). Next: PAPER_191.
|
|
2232
|
+
|
|
2233
|
+
---
|
|
@@ -11,9 +11,9 @@
|
|
|
11
11
|
## Summary
|
|
12
12
|
|
|
13
13
|
- **Total papers:** 2255
|
|
14
|
-
- **Wired:**
|
|
14
|
+
- **Wired:** 194 (11 ✓, 183 ⚠ OPEN_RULING)
|
|
15
15
|
- **OPEN targets:** 0
|
|
16
|
-
- **Not yet touched:**
|
|
16
|
+
- **Not yet touched:** 2061
|
|
17
17
|
|
|
18
18
|
---
|
|
19
19
|
|
|
@@ -1182,7 +1182,7 @@
|
|
|
1182
1182
|
| ⬜ | PAPER_1907 | SCM PHONON UNIVERSAL CARRIER UQFF |
|
|
1183
1183
|
| ⬜ | PAPER_1908 | Q UQFF SCM RESONATOR QUALITY UQFF |
|
|
1184
1184
|
| ⬜ | PAPER_1909 | YMC MDOT FACTOR SO5 OVER DPHYS MINUS 1 UQFF |
|
|
1185
|
-
|
|
|
1185
|
+
| ⚠ | PAPER_190 | SC Symbolic Integration Engine |
|
|
1186
1186
|
| ⬜ | PAPER_1910 | UNIVERSAL EM UM UEM RATIO UQFF |
|
|
1187
1187
|
| ⬜ | PAPER_1911 | YMC EXTENDED PARAMETER SET UQFF |
|
|
1188
1188
|
| ⬜ | PAPER_1912 | AGN FILAMENT TRIPLE CLOSURE UQFF |
|
|
@@ -4,8 +4,8 @@ build-backend = "setuptools.build_meta"
|
|
|
4
4
|
|
|
5
5
|
[project]
|
|
6
6
|
name = "star-magic-program"
|
|
7
|
-
version = "0.
|
|
8
|
-
description = "UQFF Star-Magic-Program v0.
|
|
7
|
+
version = "0.193.0"
|
|
8
|
+
description = "UQFF Star-Magic-Program v0.193.0: PAPER_190 wired - S-C symbolic integration engine; ALL 10 antiderivative rules NUMERICALLY VERIFIED (cleanest formula table in the corpus); honest unevaluated-fallback pattern; R_K regularization zeta(1) divergence + PINE polynomial oddity pinned. Q-186. Wired 194/2255, gate 1274/0. Registry 453 rows / 969 edges / 194 ledgers (measured)."
|
|
9
9
|
readme = "README.md"
|
|
10
10
|
authors = [
|
|
11
11
|
{ name = "Daniel T. Murphy", email = "daniel.murphy00@enrgyone.com" }
|
{star_magic_program-0.192.0 → star_magic_program-0.193.0}/star_magic_program.egg-info/PKG-INFO
RENAMED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: star-magic-program
|
|
3
|
-
Version: 0.
|
|
4
|
-
Summary: UQFF Star-Magic-Program v0.
|
|
3
|
+
Version: 0.193.0
|
|
4
|
+
Summary: UQFF Star-Magic-Program v0.193.0: PAPER_190 wired - S-C symbolic integration engine; ALL 10 antiderivative rules NUMERICALLY VERIFIED (cleanest formula table in the corpus); honest unevaluated-fallback pattern; R_K regularization zeta(1) divergence + PINE polynomial oddity pinned. Q-186. Wired 194/2255, gate 1274/0. Registry 453 rows / 969 edges / 194 ledgers (measured).
|
|
5
5
|
Author-email: "Daniel T. Murphy" <daniel.murphy00@enrgyone.com>
|
|
6
6
|
License: AGPL-3.0-or-later OR LicenseRef-StarMagic-Commercial
|
|
7
7
|
Project-URL: Homepage, https://github.com/Daniel8Murphy0007/Star-Magic-Program
|
|
@@ -30,15 +30,15 @@ Dynamic: license-file
|
|
|
30
30
|
|
|
31
31
|
# Star-Magic-Program
|
|
32
32
|
|
|
33
|
-
[](https://pypi.org/project/star-magic-program/)
|
|
34
|
+
[](https://pypi.org/project/star-magic-program/)
|
|
35
35
|
[](https://star-magic-program.readthedocs.io/en/latest/?badge=latest)
|
|
36
36
|
[](LICENSE)
|
|
37
|
-
[](uqff_fidelity_tests.py)
|
|
38
|
+
[](uqff_calculator.py)
|
|
39
39
|
[](whitepapers/)
|
|
40
40
|
|
|
41
|
-
**UQFF systematic rebuild — v0.
|
|
41
|
+
**UQFF systematic rebuild — v0.193.0 wiring campaign live**
|
|
42
42
|
Author: Daniel T. Murphy · Star-Magic Research Program
|
|
43
43
|
License: AGPL-3.0-or-later OR Commercial
|
|
44
44
|
|
|
@@ -77,7 +77,7 @@ Mizuno, Rossi).
|
|
|
77
77
|
Full framework physics lives in the whitepaper corpus — the physics is the
|
|
78
78
|
whitepapers; the calculator computes what the whitepapers derive.
|
|
79
79
|
|
|
80
|
-
## What is currently shipped (v0.
|
|
80
|
+
## What is currently shipped (v0.193.0)
|
|
81
81
|
|
|
82
82
|
### Wiring campaign — LIVE (see `CLAUDE.md` charter)
|
|
83
83
|
|
|
@@ -85,7 +85,7 @@ Sequential wiring of all 2,255 whitepapers, starting at PAPER_001.
|
|
|
85
85
|
Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
86
86
|
`ship.ps1`, full stop at PAPER_500 for manual review.
|
|
87
87
|
|
|
88
|
-
**Wired so far:
|
|
88
|
+
**Wired so far: 194 / 2,255** (11 ✓ · 183 ⚠ OPEN_RULING · 186 rulings queued) — cleanest table verified (190)
|
|
89
89
|
|
|
90
90
|
| Paper | Content | Key result |
|
|
91
91
|
|---|---|---|
|
|
@@ -282,6 +282,7 @@ Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
|
282
282
|
| PAPER_187 | 7-Object Catalog | B/Bcrit = F_TRZ ALL systems; Q-176a resolved; ω₂ = −ω₁; Q-183 |
|
|
283
283
|
| PAPER_188 | Build Architecture | 6,688-term census; 4.68 terms/kB; Qt5/Qt6 pin; Q-184 |
|
|
284
284
|
| PAPER_189 | S-C Architecture | Q-184a resolved; in-corpus Units class unused (irony); Q-185 |
|
|
285
|
+
| PAPER_190 | Integration Engine | all 10 rules verified; ζ(1) divergence; PINE oddity; Q-186 |
|
|
285
286
|
|
|
286
287
|
### Corpus (2,419 files)
|
|
287
288
|
- `whitepapers/` — 2,255 `.md` files + 1 `.bak` — physics source of truth
|
|
@@ -292,7 +293,7 @@ Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
|
292
293
|
v5.86.0 UNIFIED_REGISTRY R5 baseline). **Registry-clean.**
|
|
293
294
|
- `uqff_calculator.py` — `DISPATCH` grows one paper at a time;
|
|
294
295
|
`calc(paper_id, dataset)` public interface.
|
|
295
|
-
- `uqff_fidelity_tests.py` — 9-block gate (1,
|
|
296
|
+
- `uqff_fidelity_tests.py` — 9-block gate (1,274 assertions), locking every
|
|
296
297
|
primitive identity + every wired paper's stated values. Runs on every ship.
|
|
297
298
|
|
|
298
299
|
### Registry pantheon (live, grows per band)
|
|
@@ -505,7 +506,8 @@ Authorized 2026-07-28: autonomous band sessions, ship per session via
|
|
|
505
506
|
| v0.189.0 | Band 1: PAPER_186 | 190 |
|
|
506
507
|
| v0.190.0 | Band 1: PAPER_187 | 191 |
|
|
507
508
|
| v0.191.0 | Band 1: PAPER_188 | 192 |
|
|
508
|
-
|
|
|
509
|
+
| v0.192.0 | Band 1: PAPER_189 | 193 |
|
|
510
|
+
| **v0.193.0** ← current | Band 1: PAPER_190 | 194 |
|
|
509
511
|
| v0.4.0+ | One band per session (~20-80 papers each) | growing |
|
|
510
512
|
| PAPER_500 milestone | FULL STOP — Daniel's manual review | 500 |
|
|
511
513
|
| v1.0.0 | Full whitepaper coverage | 2,255 |
|
|
@@ -58,7 +58,7 @@ from uqff_registry_primitives import (
|
|
|
58
58
|
DELTA_M2_21_EV2, DELTA_M2_32_EV2,
|
|
59
59
|
)
|
|
60
60
|
|
|
61
|
-
VERSION = "0.
|
|
61
|
+
VERSION = "0.193.0"
|
|
62
62
|
|
|
63
63
|
# =============================================================================
|
|
64
64
|
# DISPATCH TABLE — grown one whitepaper at a time.
|
|
@@ -10022,3 +10022,45 @@ def _paper_189(dataset):
|
|
|
10022
10022
|
'residual_pct': 0.0,
|
|
10023
10023
|
'status': 'OPEN_RULING',
|
|
10024
10024
|
}
|
|
10025
|
+
|
|
10026
|
+
|
|
10027
|
+
@_register('PAPER_190')
|
|
10028
|
+
def _paper_190(dataset):
|
|
10029
|
+
"""S-C symbolic integration engine (S49, sec 2.5).
|
|
10030
|
+
|
|
10031
|
+
10-rule SymEngine integration dispatch (power/trig x6/
|
|
10032
|
+
exp/log + linearity + scalar-factor) with honest
|
|
10033
|
+
unevaluated-Integral fallback, plus VarCollectorVisitor
|
|
10034
|
+
and the PINE ODE path.
|
|
10035
|
+
FULLY VERIFIED (rare): ALL 10 antiderivative rules
|
|
10036
|
+
numerically checked correct (d/dx of each printed
|
|
10037
|
+
antiderivative reproduces the integrand to 1e-6) -
|
|
10038
|
+
the cleanest formula table in the corpus to date.
|
|
10039
|
+
Honest engineering: Mul rule applies only with a
|
|
10040
|
+
numeric factor; everything else returns an
|
|
10041
|
+
unevaluated Integral symbol (no silent wrong answers
|
|
10042
|
+
- contrast the parser's identity fallback in 189).
|
|
10043
|
+
DEFECTS (Q-186): (a) the Ramanujan regularization
|
|
10044
|
+
term R_K starts its sum at j = K+1, making the first
|
|
10045
|
+
term zeta(1) - the harmonic pole; DIVERGENT as
|
|
10046
|
+
printed (j should start at K+2, or the term needs
|
|
10047
|
+
an eta-style regularization); (b) design oddity -
|
|
10048
|
+
polynomials integrate EXACTLY at any degree, so the
|
|
10049
|
+
degree > 10 PINE fallback replaces an exact
|
|
10050
|
+
computation with an approximation.
|
|
10051
|
+
"""
|
|
10052
|
+
return {
|
|
10053
|
+
'value': {
|
|
10054
|
+
'domain': '2.5 (integration engine, S49)',
|
|
10055
|
+
'n_rules': 12,
|
|
10056
|
+
'all_rules_verified': True,
|
|
10057
|
+
'fallback_honesty': 'unevaluated Integral symbol - no silent wrong answers',
|
|
10058
|
+
'rk_divergence': 'R_K first term = zeta(1) harmonic pole (Q-186a)',
|
|
10059
|
+
'pine_oddity': 'polynomial exact integration replaced by approximation at degree>10 (Q-186b)',
|
|
10060
|
+
'truncation': 'K = min(10, degree/2)',
|
|
10061
|
+
},
|
|
10062
|
+
'formula': '10-rule dispatch + linearity/scalar + PINE Ramanujan ODE fallback',
|
|
10063
|
+
'source': 'PAPER_190',
|
|
10064
|
+
'residual_pct': 0.0,
|
|
10065
|
+
'status': 'OPEN_RULING',
|
|
10066
|
+
}
|
|
@@ -98,7 +98,7 @@ assert_that(abs(P.N_EFF_NEUTRINO - n_eff_expected) < 1e-15,
|
|
|
98
98
|
# =============================================================================
|
|
99
99
|
# BLOCK 7 — CALCULATOR SCAFFOLD INTEGRITY
|
|
100
100
|
# =============================================================================
|
|
101
|
-
assert_that(C.VERSION == "0.
|
|
101
|
+
assert_that(C.VERSION == "0.193.0", "uqff_calculator.VERSION = 0.193.0")
|
|
102
102
|
assert_that(isinstance(C.DISPATCH, dict), "DISPATCH is a dict")
|
|
103
103
|
assert_that(C.wired_count() >= 0, "wired_count is queryable (>= 0)")
|
|
104
104
|
assert_that(callable(C.calc), "calc is callable")
|
|
@@ -2774,6 +2774,15 @@ assert_that('no-check stub' in _r189['units_defects'],
|
|
|
2774
2774
|
"PAPER_189: Units operator+ no-check stub + toString mol/cd omission pinned (Q-185b)")
|
|
2775
2775
|
assert_that(C.wired_count() >= 193, "wired_count >= 193")
|
|
2776
2776
|
|
|
2777
|
+
_r190 = C.calc('PAPER_190')['value']
|
|
2778
|
+
assert_that(_r190['all_rules_verified'],
|
|
2779
|
+
"PAPER_190: ALL 10 antiderivative rules numerically verified correct")
|
|
2780
|
+
assert_that('zeta(1)' in _r190['rk_divergence'],
|
|
2781
|
+
"PAPER_190: R_K regularization diverges at its first term (Q-186a)")
|
|
2782
|
+
assert_that('unevaluated' in _r190['fallback_honesty'],
|
|
2783
|
+
"PAPER_190: honest unevaluated-Integral fallback (no silent wrong answers)")
|
|
2784
|
+
assert_that(C.wired_count() >= 194, "wired_count >= 194")
|
|
2785
|
+
|
|
2777
2786
|
# =============================================================================
|
|
2778
2787
|
# REPORT
|
|
2779
2788
|
# =============================================================================
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{star_magic_program-0.192.0 → star_magic_program-0.193.0}/UNIFIED_REGISTRY_FALSIFIABILITY.md
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{star_magic_program-0.192.0 → star_magic_program-0.193.0}/star_magic_program.egg-info/SOURCES.txt
RENAMED
|
File without changes
|
|
File without changes
|
{star_magic_program-0.192.0 → star_magic_program-0.193.0}/star_magic_program.egg-info/top_level.txt
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|