EXPERIMENTAL_POLAR_HOUSE_PROOF - TheDaniel166/moira GitHub Wiki
Experimental Polar House Proof Register
Status: reproducible experiment register
Purpose
This page is for direct reproduction.
Each entry below is meant to be read like this:
Here is the date, time, place, and house system. Run that chart. If the experimental implementation is working, you should get these house cusps.
That is the whole purpose of this document.
How to use this page
For each experiment below:
- use the exact date and time shown
- use the exact latitude and longitude shown
- use the exact house system shown
- use
HousePolicy.experimental() - compare your returned 12 house cusps to the expected 12 cusps listed here
If the result matches, the experiment passed.
Authoritative runtime
All experiments on this page were checked in:
.venv\Scripts\python.exe
Public engine command template
@'
from datetime import datetime, timezone
from moira.constants import HouseSystem
from moira.houses import calculate_houses, HousePolicy
from moira.julian import jd_from_datetime
dt = datetime(2000, 1, 1, 12, 0, tzinfo=timezone.utc)
jd = jd_from_datetime(dt)
h = calculate_houses(
jd,
77.0,
169.54292771060392,
HouseSystem.PLACIDUS,
policy=HousePolicy.experimental(),
)
print("effective_system =", h.effective_system)
print("fallback =", h.fallback)
for i, cusp in enumerate(h.cusps, start=1):
print(f"H{i:02d} = {cusp:.12f}")
'@ | .venv\Scripts\python.exe -
Admitted systems
This page currently contains reproducible experiments for:
- Placidus
- Koch
- Regiomontanus
- Topocentric
- Campanus
- Alcabitius
Validation status
| System | Experimental live | Ordered latitudes | Practical latitudes | Stable latitudes | Dominant failure mode | Promotion readiness |
|---|---|---|---|---|---|---|
Placidus |
yes | 217 / 468 |
217 / 468 |
14 / 468 |
missing required roots | already integrated |
Alcabitius |
yes | 468 / 468 |
468 / 468 |
468 / 468 |
rare unordered cusp cycle | already integrated |
Campanus |
yes | 468 / 468 |
468 / 468 |
290 / 468 |
unordered cusp cycle | integrated |
Regiomontanus |
yes | 468 / 468 |
298 / 468 |
162 / 468 |
no valid ordered figure near pole | integrated |
Topocentric |
yes | 468 / 468 |
342 / 468 |
162 / 468 |
unordered cusp cycle | integrated |
Koch |
yes | 468 / 468 |
256 / 468 |
64 / 468 |
circumpolar DSA collapse | research solver (retained in _POLAR_SYSTEMS) |
Integrated High-Latitude Solvers:
- Placidus, Alcabitius, Campanus, Regiomontanus, and Topocentric are fully integrated into Moira's primary calculation pipeline (
polar_capable=True). - At polar latitudes ($|\phi| \ge 90^\circ - \varepsilon$), default policy delivers real cusps whenever a unique ordered 12-house cycle exists, falling back cleanly to Porphyry when geometry folds.
- Koch remains in
_POLAR_SYSTEMSdue to intrinsic circumpolar diurnal semi-arc collapse.
Current practical-screening doctrine
The validation corpus now records three distinct layers:
ordered: the cusp cycle stays strictly forward in house orderpractically admissible: the ordered cycle also satisfiesrho_max = 7.0practically stable: the practical result survives a fullstability_radius = 2neighborhood
That means a chart can be:
- ordered but still too distorted to count as practical
- practical at one timestamp but too fragile to count as stable
This matters most near the pole. The witness charts below prove that the implementations are real. The sweep artifacts show how much of the polar surface remains merely ordered, how much remains practical, and how much remains stable under the current doctrine.
Part I - Placidus experiments
Greenwich year-2000 coverage sweep
This is the broader proof run for experimental Placidus:
- System:
HouseSystem.PLACIDUS - Policy:
HousePolicy.experimental() - Longitude:
0.0 - Date range:
2000-01-01 00:00:00 UTCthrough2000-12-31 22:00:00 UTC - Time cadence: every
2hours - Latitude range: every polar latitude from
-89.9to89.9in0.1increments, using the sampled polar-cap band - Timestamp count:
4392 - Latitude count:
468 - Total evaluations:
2055456
What was successful:
217 / 468sampled latitudes produced some ordered figure217 / 468sampled latitudes produced some practically admissible figure underrho_max = 7.014 / 468sampled latitudes produced some practically stable figure understability_radius = 2- the dominant failure mode remained
NO_REQUIRED_ROOTS, not ordering failure
Representative success fractions:
| Latitude | Successful charts | Total charts | Success fraction | Practical charts | Stable charts |
|---|---|---|---|---|---|
66.6 |
3945 |
4392 |
0.898224043716 |
2080 |
536 |
77.0 |
21 |
4392 |
0.004781420765 |
21 |
0 |
89.9 |
0 |
4392 |
0.0 |
0 |
0 |
Sweep artifacts:
- experimental_placidus_greenwich_2000_2h_by_latitude.csv
- experimental_placidus_greenwich_2000_2h_summary.json
- experimental_placidus_greenwich_2000_2h_daily_calendar.csv
- experimental_placidus_greenwich_2000_2h_daily_calendar_summary.json
Experiment P1 - Experimental Placidus
Witness type:
- shared witness
- this same chart is also a valid Koch experiment
Run this chart:
- System:
HouseSystem.PLACIDUS - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
12:00:00 UTC - Latitude:
77.0 - Longitude:
169.54292771060392
You should get:
- effective system:
P - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 180.000000000000 |
| H02 | 194.281463173407 |
| H03 | 214.240152504128 |
| H04 | 270.000000000000 |
| H05 | 325.759847495872 |
| H06 | 345.718536826593 |
| H07 | 0.000000000000 |
| H08 | 14.281463173407 |
| H09 | 34.240152504128 |
| H10 | 90.000000000000 |
| H11 | 145.759847495872 |
| H12 | 165.718536826593 |
Experiment P2 - Experimental Placidus
Witness type:
- system-specific witness
- this chart is recorded here as a Placidus proof chart
Run this chart:
- System:
HouseSystem.PLACIDUS - Policy:
HousePolicy.experimental() - Date:
2025-05-01 - Time:
12:00:00 UTC - Latitude:
77.0 - Longitude:
50.0
You should get:
- effective system:
P - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 179.875079261148 |
| H02 | 194.129510719138 |
| H03 | 214.180196624749 |
| H04 | 269.697374937284 |
| H05 | 325.708437616338 |
| H06 | 345.567246855225 |
| H07 | 359.875079261148 |
| H08 | 14.129510719138 |
| H09 | 34.180196624749 |
| H10 | 89.697374937284 |
| H11 | 145.708437616338 |
| H12 | 165.567246855225 |
Experiment P3 - Experimental Placidus
Witness type:
- shared witness
- this same chart is also a valid Koch experiment
Run this chart:
- System:
HouseSystem.PLACIDUS - Policy:
HousePolicy.experimental() - Date:
2025-09-01 - Time:
12:00:00 UTC - Latitude:
77.0 - Longitude:
290.0
You should get:
- effective system:
P - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 180.343009791728 |
| H02 | 194.696843786223 |
| H03 | 214.366161042946 |
| H04 | 270.830970848494 |
| H05 | 325.936889227409 |
| H06 | 346.135797976120 |
| H07 | 0.343009791728 |
| H08 | 14.696843786223 |
| H09 | 34.366161042946 |
| H10 | 90.830970848493 |
| H11 | 145.936889227409 |
| H12 | 166.135797976120 |
Part II - Koch experiments
Greenwich year-2000 coverage sweep
This is the broader proof run for experimental Koch:
- System:
HouseSystem.KOCH - Policy:
HousePolicy.experimental() - Longitude:
0.0 - Date range:
2000-01-01 00:00:00 UTCthrough2000-12-31 22:00:00 UTC - Time cadence: every
2hours - Latitude range: every polar latitude from
-89.9to89.9in0.1increments, using the sampled polar-cap band - Timestamp count:
4392 - Latitude count:
468 - Total evaluations:
2055456
What was successful:
468 / 468sampled latitudes produced some ordered figure256 / 468sampled latitudes produced some practically admissible figure underrho_max = 7.064 / 468sampled latitudes produced some practically stable figure understability_radius = 2- failures were dominated by
UNORDERED_CUSP_CYCLE, not branch-selection or assembly failure
Representative success fractions:
| Latitude | Successful charts | Total charts | Success fraction | Practical charts | Stable charts |
|---|---|---|---|---|---|
66.6 |
4243 |
4392 |
0.966074681239 |
2124 |
654 |
77.0 |
668 |
4392 |
0.152094717668 |
246 |
0 |
89.9 |
6 |
4392 |
0.001366120219 |
0 |
0 |
Sweep artifacts:
- experimental_koch_greenwich_2000_2h_by_latitude.csv
- experimental_koch_greenwich_2000_2h_summary.json
- experimental_koch_greenwich_2000_2h_daily_calendar.csv
- experimental_koch_greenwich_2000_2h_daily_calendar_summary.json
Experiment K1 - Experimental Koch
Witness type:
- shared witness
- this same chart is also a valid Placidus experiment
Run this chart:
- System:
HouseSystem.KOCH - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
12:00:00 UTC - Latitude:
77.0 - Longitude:
169.54292771060392
You should get:
- effective system:
K - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 180.000000000000 |
| H02 | 201.651522746749 |
| H03 | 214.414674624403 |
| H04 | 270.000000000000 |
| H05 | 325.585325375597 |
| H06 | 338.348477253251 |
| H07 | 0.000000000000 |
| H08 | 21.651522746749 |
| H09 | 34.414674624403 |
| H10 | 90.000000000000 |
| H11 | 145.585325375597 |
| H12 | 158.348477253251 |
Experiment K2 - Experimental Koch
Witness type:
- system-specific witness
- this chart is recorded here as a Koch proof chart
Run this chart:
- System:
HouseSystem.KOCH - Policy:
HousePolicy.experimental() - Date:
2025-05-01 - Time:
12:00:00 UTC - Latitude:
77.0 - Longitude:
55.0
You should get:
- effective system:
K - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 181.768256750332 |
| H02 | 203.135525327552 |
| H03 | 214.403361812087 |
| H04 | 274.286313801183 |
| H05 | 325.807806387214 |
| H06 | 339.878558759098 |
| H07 | 1.768256750332 |
| H08 | 23.135525327552 |
| H09 | 34.403361812087 |
| H10 | 94.286313801183 |
| H11 | 145.807806387214 |
| H12 | 159.878558759098 |
Experiment K3 - Experimental Koch
Witness type:
- shared witness
- this same chart is also a valid Placidus experiment
Run this chart:
- System:
HouseSystem.KOCH - Policy:
HousePolicy.experimental() - Date:
2025-09-01 - Time:
12:00:00 UTC - Latitude:
77.0 - Longitude:
290.0
You should get:
- effective system:
K - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 180.343009791728 |
| H02 | 201.942603995302 |
| H03 | 214.430622315864 |
| H04 | 270.830970848494 |
| H05 | 325.612517675549 |
| H06 | 338.642242453556 |
| H07 | 0.343009791728 |
| H08 | 21.942603995302 |
| H09 | 34.430622315864 |
| H10 | 90.830970848493 |
| H11 | 145.612517675549 |
| H12 | 158.642242453556 |
Part III - Regiomontanus experiments
Why this section is different
The Placidus and Koch sections above are witness-chart proofs.
This Regiomontanus section does two jobs:
- it records exact charts a user can reproduce
- it records the larger latitude sweep that shows the implementation works far beyond one latitude
Greenwich year-2000 coverage sweep
This is the broader proof run for experimental Regiomontanus:
- System:
HouseSystem.REGIOMONTANUS - Policy:
HousePolicy.experimental() - Longitude:
0.0 - Date range:
2000-01-01 00:00:00 UTCthrough2000-12-31 22:00:00 UTC - Time cadence: every
2hours - Latitude range: every polar latitude from
-89.9to89.9in0.1increments, using the sampled polar-cap band - Timestamp count:
4392 - Latitude count:
468 - Total evaluations:
2055456
What was successful:
- every sampled polar latitude had at least one ordered experimental Regiomontanus chart
468 / 468sampled latitudes produced some ordered figure298 / 468sampled latitudes produced some practically admissible figure underrho_max = 7.0162 / 468sampled latitudes produced some practically stable figure understability_radius = 2
Representative success fractions:
| Latitude | Successful charts | Total charts | Success fraction |
|---|---|---|---|
66.6 |
4308 |
4392 |
0.980874316940 |
70.0 |
3592 |
4392 |
0.817850637523 |
77.0 |
2979 |
4392 |
0.678278688525 |
80.0 |
2784 |
4392 |
0.633879781421 |
85.0 |
2482 |
4392 |
0.565118397086 |
89.9 |
2201 |
4392 |
0.501138433515 |
Sweep artifacts:
- experimental_regiomontanus_greenwich_2000_2h_by_latitude.csv
- experimental_regiomontanus_greenwich_2000_2h_summary.json
- experimental_regiomontanus_greenwich_2000_2h_daily_calendar.csv
- experimental_regiomontanus_greenwich_2000_2h_daily_calendar_summary.json
Experiment R1 - Experimental Regiomontanus
Witness type:
- coverage witness
- low-edge polar witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.REGIOMONTANUS - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
66.6 - Longitude:
0.0
You should get:
- effective system:
R - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 185.422680983809 |
| H02 | 203.191770783464 |
| H03 | 230.519362855719 |
| H04 | 279.156665557363 |
| H05 | 323.843615316397 |
| H06 | 348.324626233702 |
| H07 | 5.422680983809 |
| H08 | 23.191770783464 |
| H09 | 50.519362855719 |
| H10 | 99.156665557363 |
| H11 | 143.843615316397 |
| H12 | 168.324626233702 |
Experiment R2 - Experimental Regiomontanus
Witness type:
- coverage witness
- middle polar witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.REGIOMONTANUS - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
77.0 - Longitude:
0.0
You should get:
- effective system:
R - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 183.769189611989 |
| H02 | 196.309044833020 |
| H03 | 218.626144638566 |
| H04 | 279.156665557363 |
| H05 | 332.151903075644 |
| H06 | 351.719179610235 |
| H07 | 3.769189611989 |
| H08 | 16.309044833020 |
| H09 | 38.626144638566 |
| H10 | 99.156665557363 |
| H11 | 152.151903075644 |
| H12 | 171.719179610235 |
Experiment R3 - Experimental Regiomontanus
Witness type:
- coverage witness
- near-pole witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.REGIOMONTANUS - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
89.9 - Longitude:
0.0
You should get:
- effective system:
R - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 180.043331186262 |
| H02 | 180.185804533130 |
| H03 | 180.471085418668 |
| H04 | 279.156665557363 |
| H05 | 359.616599040921 |
| H06 | 359.900971410093 |
| H07 | 0.043331186262 |
| H08 | 0.185804533130 |
| H09 | 0.471085418668 |
| H10 | 99.156665557363 |
| H11 | 179.616599040921 |
| H12 | 179.900971410093 |
Part IV - Topocentric experiments
Greenwich year-2000 coverage sweep
This is the broader proof run for experimental Topocentric:
- System:
HouseSystem.TOPOCENTRIC - Policy:
HousePolicy.experimental() - Longitude:
0.0 - Date range:
2000-01-01 00:00:00 UTCthrough2000-12-31 22:00:00 UTC - Time cadence: every
2hours - Latitude range: every polar latitude from
-89.9to89.9in0.1increments, using the sampled polar-cap band - Timestamp count:
4392 - Latitude count:
468 - Total evaluations:
2055456
What was successful:
- every sampled polar latitude had at least one successful experimental Topocentric chart
468 / 468sampled latitudes produced some valid ordered figure342 / 468sampled latitudes produced some practically admissible figure underrho_max = 7.0162 / 468sampled latitudes produced some practically stable figure understability_radius = 2- failures were
UNORDERED_CUSP_CYCLE, not assembly failures
Representative success fractions:
| Latitude | Successful charts | Total charts | Success fraction |
|---|---|---|---|
66.6 |
3327 |
4392 |
0.757513661202 |
77.0 |
2388 |
4392 |
0.543715846995 |
89.9 |
1669 |
4392 |
0.380009107468 |
Experiment T1 - Experimental Topocentric
Witness type:
- coverage witness
- lower polar-band witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.TOPOCENTRIC - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
66.6 - Longitude:
0.0
You should get:
- effective system:
T - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 185.422680983809 |
| H02 | 206.016381205250 |
| H03 | 236.546906354382 |
| H04 | 279.156665557363 |
| H05 | 319.446511000292 |
| H06 | 346.921172025266 |
| H07 | 5.422680983809 |
| H08 | 26.016381205250 |
| H09 | 56.546906354382 |
| H10 | 99.156665557363 |
| H11 | 139.446511000292 |
| H12 | 166.921172025266 |
Experiment T2 - Experimental Topocentric
Witness type:
- coverage witness
- middle polar witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.TOPOCENTRIC - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
77.0 - Longitude:
0.0
You should get:
- effective system:
T - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 183.769189611989 |
| H02 | 199.129688499338 |
| H03 | 226.593516688705 |
| H04 | 279.156665557363 |
| H05 | 326.627676452184 |
| H06 | 350.329358358323 |
| H07 | 3.769189611989 |
| H08 | 19.129688499338 |
| H09 | 46.593516688705 |
| H10 | 99.156665557363 |
| H11 | 146.627676452184 |
| H12 | 170.329358358323 |
Experiment T3 - Experimental Topocentric
Witness type:
- coverage witness
- near-pole witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.TOPOCENTRIC - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
89.9 - Longitude:
0.0
You should get:
- effective system:
T - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 180.043331186262 |
| H02 | 180.241110603150 |
| H03 | 180.705637702471 |
| H04 | 279.156665557363 |
| H05 | 359.426384876755 |
| H06 | 359.871525237486 |
| H07 | 0.043331186262 |
| H08 | 0.241110603150 |
| H09 | 0.705637702471 |
| H10 | 99.156665557363 |
| H11 | 179.426384876755 |
| H12 | 179.871525237486 |
Part V - Campanus experiments
Greenwich year-2000 coverage sweep
This is the broader proof run for experimental Campanus:
- System:
HouseSystem.CAMPANUS - Policy:
HousePolicy.experimental() - Longitude:
0.0 - Date range:
2000-01-01 00:00:00 UTCthrough2000-12-31 22:00:00 UTC - Time cadence: every
2hours - Latitude range: every polar latitude from
-89.9to89.9in0.1increments, using the sampled polar-cap band - Timestamp count:
4392 - Latitude count:
468 - Total evaluations:
2055456
What was successful:
- every sampled polar latitude had at least one successful experimental Campanus chart
468 / 468sampled latitudes produced some valid ordered figure468 / 468sampled latitudes produced some practically admissible figure underrho_max = 7.0290 / 468sampled latitudes produced some practically stable figure understability_radius = 2- failures were
UNORDERED_CUSP_CYCLE, not branch-selection or assembly failures
Representative success fractions:
| Latitude | Successful charts | Total charts | Success fraction |
|---|---|---|---|
66.6 |
4308 |
4392 |
0.980874316940 |
77.0 |
2979 |
4392 |
0.678278688525 |
89.9 |
2201 |
4392 |
0.501138433515 |
Experiment C1 - Experimental Campanus
Witness type:
- coverage witness
- lower polar-band witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.CAMPANUS - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
66.6 - Longitude:
0.0
You should get:
- effective system:
C - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 185.422680983809 |
| H02 | 225.230044828834 |
| H03 | 255.803255540707 |
| H04 | 279.156665557363 |
| H05 | 301.388371591396 |
| H06 | 328.493210273848 |
| H07 | 5.422680983809 |
| H08 | 45.230044828834 |
| H09 | 75.803255540707 |
| H10 | 99.156665557363 |
| H11 | 121.388371591396 |
| H12 | 148.493210273848 |
Experiment C2 - Experimental Campanus
Witness type:
- coverage witness
- middle polar witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.CAMPANUS - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
77.0 - Longitude:
0.0
You should get:
- effective system:
C - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 183.769189611989 |
| H02 | 230.593447963054 |
| H03 | 259.739210989730 |
| H04 | 279.156665557363 |
| H05 | 297.446564645606 |
| H06 | 322.183166416833 |
| H07 | 3.769189611989 |
| H08 | 50.593447963054 |
| H09 | 79.739210989730 |
| H10 | 99.156665557363 |
| H11 | 117.446564645606 |
| H12 | 142.183166416833 |
Experiment C3 - Experimental Campanus
Witness type:
- coverage witness
- near-pole witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.CAMPANUS - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
89.9 - Longitude:
0.0
You should get:
- effective system:
C - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 180.043331186262 |
| H02 | 241.596663353028 |
| H03 | 265.831566365174 |
| H04 | 279.156665557363 |
| H05 | 291.570947659290 |
| H06 | 310.823617351052 |
| H07 | 0.043331186262 |
| H08 | 61.596663353028 |
| H09 | 85.831566365174 |
| H10 | 99.156665557363 |
| H11 | 111.570947659290 |
| H12 | 130.823617351052 |
Part VI - Alcabitius experiments
Greenwich year-2000 coverage sweep
This is the broader proof run for experimental Alcabitius:
- System:
HouseSystem.ALCABITIUS - Policy:
HousePolicy.experimental() - Longitude:
0.0 - Date range:
2000-01-01 00:00:00 UTCthrough2000-12-31 22:00:00 UTC - Time cadence: every
2hours - Latitude range: every polar latitude from
-89.9to89.9in0.1increments, using the sampled polar-cap band - Timestamp count:
4392 - Latitude count:
468 - Total evaluations:
2055456
What was successful:
- every sampled polar latitude had at least one successful experimental Alcabitius chart
468 / 468sampled latitudes produced some valid ordered figure468 / 468sampled latitudes produced some practically admissible figure underrho_max = 7.0468 / 468sampled latitudes produced some practically stable figure understability_radius = 2- failures were rare
UNORDERED_CUSP_CYCLEcases, not assembly failures
Representative success fractions:
| Latitude | Successful charts | Total charts | Success fraction |
|---|---|---|---|
66.6 |
4386 |
4392 |
0.998633879781 |
77.0 |
4333 |
4392 |
0.986566484517 |
89.9 |
4391 |
4392 |
0.999772313297 |
Experiment A1 - Experimental Alcabitius
Witness type:
- coverage witness
- lower polar-band witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.ALCABITIUS - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
66.6 - Longitude:
0.0
You should get:
- effective system:
B - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 185.422680983809 |
| H02 | 219.029154047627 |
| H03 | 249.944020921531 |
| H04 | 279.156665557363 |
| H05 | 305.928797557541 |
| H06 | 334.791105091424 |
| H07 | 5.422680983809 |
| H08 | 39.029154047627 |
| H09 | 69.944020921531 |
| H10 | 99.156665557363 |
| H11 | 125.928797557541 |
| H12 | 154.791105091424 |
Experiment A2 - Experimental Alcabitius
Witness type:
- coverage witness
- middle polar witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.ALCABITIUS - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
77.0 - Longitude:
0.0
You should get:
- effective system:
B - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 183.769189611989 |
| H02 | 217.993380660366 |
| H03 | 249.469077701176 |
| H04 | 279.156665557363 |
| H05 | 305.434657698176 |
| H06 | 333.720583982106 |
| H07 | 3.769189611989 |
| H08 | 37.993380660366 |
| H09 | 69.469077701176 |
| H10 | 99.156665557363 |
| H11 | 125.434657698176 |
| H12 | 153.720583982106 |
Experiment A3 - Experimental Alcabitius
Witness type:
- coverage witness
- near-pole witness from the Greenwich full-year sweep
Run this chart:
- System:
HouseSystem.ALCABITIUS - Policy:
HousePolicy.experimental() - Date:
2000-01-01 - Time:
00:00:00 UTC - Latitude:
89.9 - Longitude:
0.0
You should get:
- effective system:
B - fallback:
False
Expected houses:
| House | Expected cusp |
|---|---|
| H01 | 180.043331186262 |
| H02 | 215.651340496334 |
| H03 | 248.400203284023 |
| H04 | 279.159938738206 |
| H05 | 304.326984335703 |
| H06 | 331.321088710194 |
| H07 | 0.043331186262 |
| H08 | 35.651340496334 |
| H09 | 68.400203284023 |
| H10 | 99.159938738206 |
| H11 | 124.326984335703 |
| H12 | 151.321088710194 |
What this page proves
It proves that:
- there are real experimental Placidus charts a user can run and reproduce
- there are real experimental Koch charts a user can run and reproduce
- there are real experimental Regiomontanus charts a user can run and reproduce
- there are real experimental Topocentric charts a user can run and reproduce
- there are real experimental Campanus charts a user can run and reproduce
- there are real experimental Alcabitius charts a user can run and reproduce
- experimental Regiomontanus has successful charts across the full sampled polar latitude band at Greenwich in the year 2000
- experimental Topocentric has successful charts across the full sampled polar latitude band at Greenwich in the year 2000
- experimental Campanus has successful charts across the full sampled polar latitude band at Greenwich in the year 2000
- experimental Alcabitius has successful charts across the full sampled polar latitude band at Greenwich in the year 2000
- the expected house cusps for those experiments are now recorded plainly
Proof surfaces
- test_experimental_placidus.py
- experimental_placidus_greenwich_2000_2h_by_latitude.csv
- experimental_placidus_greenwich_2000_2h_summary.json
- experimental_placidus_greenwich_2000_2h_daily_calendar.csv
- experimental_placidus_greenwich_2000_2h_daily_calendar_summary.json
- test_experimental_koch.py
- experimental_koch_greenwich_2000_2h_by_latitude.csv
- experimental_koch_greenwich_2000_2h_summary.json
- experimental_koch_greenwich_2000_2h_daily_calendar.csv
- experimental_koch_greenwich_2000_2h_daily_calendar_summary.json
- test_experimental_regiomontanus.py
- experimental_regiomontanus_greenwich_2000_2h_by_latitude.csv
- experimental_regiomontanus_greenwich_2000_2h_summary.json
- experimental_regiomontanus_greenwich_2000_2h_daily_calendar.csv
- experimental_regiomontanus_greenwich_2000_2h_daily_calendar_summary.json
- test_experimental_topocentric.py
- experimental_topocentric_greenwich_2000_2h_by_latitude.csv
- experimental_topocentric_greenwich_2000_2h_summary.json
- experimental_topocentric_greenwich_2000_2h_daily_calendar.csv
- experimental_topocentric_greenwich_2000_2h_daily_calendar_summary.json
- test_experimental_campanus.py
- experimental_campanus_greenwich_2000_2h_by_latitude.csv
- experimental_campanus_greenwich_2000_2h_summary.json
- experimental_campanus_greenwich_2000_2h_daily_calendar.csv
- experimental_campanus_greenwich_2000_2h_daily_calendar_summary.json
- test_experimental_alcabitius.py
- experimental_alcabitius_greenwich_2000_2h_by_latitude.csv
- experimental_alcabitius_greenwich_2000_2h_summary.json
- experimental_alcabitius_greenwich_2000_2h_daily_calendar.csv
- experimental_alcabitius_greenwich_2000_2h_daily_calendar_summary.json
Verification receipt
Checked in .venv with:
.venv\Scripts\python.exe -m pytest tests/unit/test_experimental_placidus.py tests/unit/test_experimental_koch.py tests/unit/test_experimental_regiomontanus.py tests/unit/test_experimental_topocentric.py tests/unit/test_experimental_campanus.py tests/unit/test_experimental_alcabitius.py -q
Result at time of writing:
58 passed