Domy: osiem systemów potwierdzonych co do zera wobec wyroczni (Etap 1) #62

Merged
gitea merged 1 commits from feat/exotic-house-systems into master 2026-08-05 17:50:38 +00:00
Owner

Etap 1 planu domów egzotycznych: wszystkie systemy o zamkniętym wzorze.

Wynik

System Maks. odchylenie od wyroczni
whole sign, equal, porphyry 0,000000000°
vehlow, morinus 0,000000000°
regiomontanus, campanus, alcabitus 0,000000000°

Zestaw brzegowy (2520 porównań/system) oraz losowy przemiał 20 000 przypadków — łącznie 1 960 000 porównań, wszystkie zerowe. Zestaw brzegowy blokuje build w CI.

Jak liczone

Koło domu to przecięcie dwóch płaszczyzn (iloczyn wektorowy normalnych) rzutowane na ekliptykę. Dwa punkty przecięcia → wybór gałęzi po stronie względem MC; cztery osie bierzemy z dokładnych wzorów, bo przy przesunięciu dokładnie 0°/180° test strony jest numerycznie niestabilny.

Dwie rzeczy wyszły dopiero z wyroczni:

  • swisseph zamienia MC z IC dla systemów opartych na horyzoncie, gdy punkt kulminujący jest pod horyzontem (za kołem podbiegunowym),
  • morinus wymaga bezpośredniej zamiany współrzędnych, a nie rzutu po kole godzinnym.

Topocentric — świadomie niewypuszczony

Zaimplementowany, ale nie ma go w houses.SYSTEMS, więc nie da się go wybrać. Zgadza się z wyrocznią wszędzie poza otoczeniem bieguna: przy |φ| ≈ 89,9° i RAMC 90°/270° kolejność domów się odwraca i reguła oparta na łuku kwadrantu nie rozstrzyga. Przyczyna jest rzeczywista, nie numeryczna — „biegun" Polich–Page'a atan(tan(89,9°)/3) wynosi już 89,7°.

Zawężenie dziedziny tylko po to, żeby test przeszedł, byłoby dopasowaniem kryterium do wyniku — więc tego nie robię. System dołączy, gdy będzie poprawny wszędzie.

Testy bez swissepha

Sześć nowych testów regresji w suicie logiki, działających w każdym środowisku: antypodyczność domów przeciwległych (łapie błąd wyboru gałęzi), zakotwiczenie systemów kwadrantowych na Ascendencie, Ascendent w środku domu I dla vehlowa, niezależność morinusa od szerokości, odrzucanie nieznanej nazwy.

Regresja: logika 286 zielonych, prezentacja 249 zielonych.

Następne

Etap 2 — Placidus i Koch (iteracyjne, z realną granicą dziedziny na kole podbiegunowym i głośnym fallbackiem).

🤖 Generated with Claude Code

Etap 1 planu domów egzotycznych: **wszystkie systemy o zamkniętym wzorze**. ## Wynik | System | Maks. odchylenie od wyroczni | |---|---| | whole sign, equal, porphyry | 0,000000000° | | vehlow, morinus | 0,000000000° | | regiomontanus, campanus, alcabitus | 0,000000000° | Zestaw brzegowy (2520 porównań/system) **oraz** losowy przemiał 20 000 przypadków — łącznie **1 960 000 porównań, wszystkie zerowe**. Zestaw brzegowy blokuje build w CI. ## Jak liczone Koło domu to przecięcie dwóch płaszczyzn (iloczyn wektorowy normalnych) rzutowane na ekliptykę. Dwa punkty przecięcia → wybór gałęzi po stronie względem MC; cztery osie bierzemy z dokładnych wzorów, bo przy przesunięciu dokładnie 0°/180° test strony jest numerycznie niestabilny. Dwie rzeczy wyszły dopiero z wyroczni: - swisseph **zamienia MC z IC** dla systemów opartych na horyzoncie, gdy punkt kulminujący jest pod horyzontem (za kołem podbiegunowym), - morinus wymaga bezpośredniej zamiany współrzędnych, a nie rzutu po kole godzinnym. ## Topocentric — świadomie niewypuszczony Zaimplementowany, ale **nie ma go w `houses.SYSTEMS`**, więc nie da się go wybrać. Zgadza się z wyrocznią wszędzie poza otoczeniem bieguna: przy |φ| ≈ 89,9° i RAMC 90°/270° kolejność domów się odwraca i reguła oparta na łuku kwadrantu nie rozstrzyga. Przyczyna jest rzeczywista, nie numeryczna — „biegun" Polich–Page'a `atan(tan(89,9°)/3)` wynosi już 89,7°. Zawężenie dziedziny tylko po to, żeby test przeszedł, byłoby dopasowaniem kryterium do wyniku — więc tego nie robię. System dołączy, gdy będzie poprawny wszędzie. ## Testy bez swissepha Sześć nowych testów regresji w suicie logiki, działających w każdym środowisku: antypodyczność domów przeciwległych (łapie błąd wyboru gałęzi), zakotwiczenie systemów kwadrantowych na Ascendencie, Ascendent w środku domu I dla vehlowa, niezależność morinusa od szerokości, odrzucanie nieznanej nazwy. Regresja: logika 286 zielonych, prezentacja 249 zielonych. ## Następne Etap 2 — Placidus i Koch (iteracyjne, z realną granicą dziedziny na kole podbiegunowym i głośnym fallbackiem). 🤖 Generated with [Claude Code](https://claude.com/claude-code)
gitea added 1 commit 2026-08-05 12:22:35 +00:00
feat(domy): osiem systemów potwierdzonych co do zera wobec wyroczni
Testy / Testy warstwy logicznej (silnik) (pull_request) Successful in 10m31s
Testy / Testy warstwy prezentacji (dostęp do baz) (pull_request) Successful in 9m28s
Testy / Testy warstwy bazodanowej (ochrona baz) (pull_request) Successful in 9m28s
Testy / Build obrazu silnika B (swisseph) (pull_request) Successful in 17s
Testy / Kontrola składni wszystkich warstw (pull_request) Successful in 8s
build / build (push) Successful in 20s
Testy / Testy warstwy logicznej (silnik) (push) Successful in 11m3s
Testy / Testy warstwy prezentacji (dostęp do baz) (push) Successful in 9m28s
Testy / Testy warstwy bazodanowej (ochrona baz) (push) Successful in 9m28s
Testy / Build obrazu silnika B (swisseph) (push) Successful in 18s
Testy / Kontrola składni wszystkich warstw (push) Successful in 9s
1be57a47d8
Etap 1: systemy o zamkniętym wzorze. Dochodzą vehlow, morinus, regiomontanus,
campanus i alcabitus — każdy zgodny ze Swiss Ephemeris z maksymalnym odchyleniem
0,000000000° na 240 000 porównań (zestaw brzegowy + przemiał 20 000 losowych).

Cuspy pośrednie liczone wektorowo: koło domu to przecięcie płaszczyzny
(wyznaczonej iloczynem wektorowym normalnych) z ekliptyką. Dwa punkty przecięcia
wymagają wyboru gałęzi — rozstrzygany stroną względem MC, przy czym cztery osie
bierzemy z dokładnych wzorów, bo przy przesunięciu równym 0° albo 180° test
strony jest numerycznie niestabilny.

Dwie rzeczy, które wyszły dopiero z porównania z wyrocznią:
- swisseph zamienia MC z IC dla systemów opartych na horyzoncie, gdy punkt
  kulminujący jest pod horyzontem (za kołem podbiegunowym) — stąd _culminating_mc,
- morinus wymaga bezpośredniej zamiany współrzędnych, nie rzutu po kole godzinnym.

Topocentric (Polich–Page) zaimplementowany, ale świadomie POZA houses.SYSTEMS:
rozjeżdża się z wyrocznią przy |φ| ≈ 89,9° i RAMC 90°/270°, gdzie kolejność domów
się odwraca. Powód jest rzeczywisty, nie numeryczny — jego „biegun"
atan(tan(89,9°)/3) to już 89,7°. Zawężenie dziedziny tylko po to, żeby test
przeszedł, byłoby dopasowaniem kryterium do wyniku.

Testy regresji w suicie logiki działają bez swissepha: antypodyczność domów
przeciwległych, zakotwiczenie kwadrantowych na Ascendencie, niezależność morinusa
od szerokości, odrzucanie nieznanej nazwy.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
gitea merged commit 1be57a47d8 into master 2026-08-05 17:50:38 +00:00
gitea deleted branch feat/exotic-house-systems 2026-08-05 17:50:38 +00:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: gitea/astrololo#62