test: framework porównania domów z wyrocznią + DWA błędy, które od razu wykrył
Testy / Testy warstwy logicznej (silnik) (pull_request) Successful in 10m29s
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) Failing after 14s
Testy / Kontrola składni wszystkich warstw (pull_request) Successful in 8s
build / build (push) Successful in 19s
Testy / Testy warstwy logicznej (silnik) (push) Successful in 10m29s
Testy / Testy warstwy prezentacji (dostęp do baz) (push) Successful in 9m28s
Testy / Testy warstwy bazodanowej (ochrona baz) (push) Successful in 9m29s
Testy / Build obrazu silnika B (swisseph) (push) Failing after 13s
Testy / Kontrola składni wszystkich warstw (push) Successful in 8s
Testy / Testy warstwy logicznej (silnik) (pull_request) Successful in 10m29s
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) Failing after 14s
Testy / Kontrola składni wszystkich warstw (pull_request) Successful in 8s
build / build (push) Successful in 19s
Testy / Testy warstwy logicznej (silnik) (push) Successful in 10m29s
Testy / Testy warstwy prezentacji (dostęp do baz) (push) Successful in 9m28s
Testy / Testy warstwy bazodanowej (ochrona baz) (push) Successful in 9m29s
Testy / Build obrazu silnika B (swisseph) (push) Failing after 13s
Testy / Kontrola składni wszystkich warstw (push) Successful in 8s
Etap 0 planu egzotycznych systemów domów: zanim zaczniemy implementować Placidusa i spółkę, potrzebujemy narzędzia, które powie, czy wynik jest poprawny. Błąd w domach jest CICHY — wykres wygląda dobrze, tylko planety siedzą w złych domach. FRAMEWORK (tests/oracle): liczenie cuspów jako funkcja (RAMC, ε, φ), Swiss Ephemeris jako wyrocznia. Trzy decyzje projektowe, które okazały się kluczowe: - IZOLACJA: obu implementacjom podajemy TE SAME wejścia przez swe_houses_armc. Porównywanie „naszego horoskopu" z „horoskopem swissepha" mieszałoby różnice czasu gwiazdowego i ε z błędami domów — utonęlibyśmy w fałszywych alarmach. Czas gwiazdowy i ε mają własny test. - KRYTERIUM to liczba przypadków powyżej tolerancji (1″), max odchylenie I MIEJSCE, a nie procent zgodności. Procent ukrywa kształt błędu: „97%" nie odróżnia szumu zmiennoprzecinkowego od rogu dziedziny, w którym mylimy się o 30°. - GRANICE PER DATA: koło podbiegunowe nie jest stałą 66,56° — zależy od ε, które zmienia się z datą (23,75° w 370 p.n.e.), więc przesuwa się o ~0,3°. Uruchomiony na kodzie uchodzącym za poprawny, w PIERWSZYM przebiegu znalazł dwa realne błędy: 1. ASCENDENT O 180° ZA KOŁEM PODBIEGUNOWYM. `atan2` wybierał niewłaściwy punkt przecięcia ekliptyki z horyzontem — zwracaliśmy Descendent. Planety lądowały w PRZECIWNYCH domach dla całej północnej Skandynawii (Tromsø, Rovaniemi, Murmańsk), na ~11% przypadków przy tych szerokościach. Rozstrzyga położenie względem MC: punkt wschodzący leży w półkolu (0°,180°) na wschód od MC. 2. NIEDETERMINIZM WHOLE SIGN NA GRANICY ZNAKU. Ascendent o włos od granicy (359,999999999976 vs 1e-10 — ta sama wartość, różne strony) przerzucał dom I o 30°. Ten sam horoskop na innej maszynie dawał inny wynik. Przyciąganie do granicy przy 1e-9° (3,6 mikrosekundy łuku — poniżej realnej dokładności danych). Oba mają testy regresji w zwykłej suicie, więc są łapane też bez swissepha. Po poprawkach: build 0 przekroczeń, sweep 20 000 przypadków = 760 000 porównań, max odchylenie 0.000000000°. Istniejące suity bez regresji (logika 277+3, prez. 249). CI: krok BLOKUJĄCY w jobie swisseph-image, odpalany wewnątrz obrazu silnika B z zamontowaną warstwą logiczną. pyswisseph zostaje wyłącznie wyrocznią testową — nie wchodzi do zależności produktu, izolacja z LOG-27 nienaruszona. Dodane `cusps_for(ramc, eps, lat, system)` — kanoniczne wejście, w które Etap 1 będzie tylko dopisywał kolejne systemy. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
This commit was merged in pull request #60.
This commit is contained in:
@@ -0,0 +1,74 @@
|
||||
"""Uruchomienie porównania z wyrocznią. Punkt wejścia dla CI i dla Joba w klastrze.
|
||||
|
||||
Dwa tryby:
|
||||
--mode build (domyślny) zestaw BRZEGOWY + tyle samo przypadków z wnętrza.
|
||||
Szybki, deterministyczny, BLOKUJE build przy błędzie.
|
||||
--mode sweep wielki losowy przemiał, o rząd wielkości większy.
|
||||
Do Joba w klastrze; ziarno raportowane, więc każdy
|
||||
błąd da się odtworzyć komendą z raportu.
|
||||
|
||||
Kod wyjścia: 0 = zgodność w granicach tolerancji, 1 = przekroczenia albo
|
||||
niezgodność dziedziny. Dzięki temu CI może na tym polegać bez parsowania tekstu.
|
||||
"""
|
||||
from __future__ import annotations
|
||||
|
||||
import argparse
|
||||
import os
|
||||
import sys
|
||||
|
||||
# Ścieżka do warstwy logicznej: w CI montujemy ją do kontenera swissepha.
|
||||
sys.path.insert(0, os.environ.get("LOGIC_PATH", "/logic"))
|
||||
sys.path.insert(0, os.path.dirname(os.path.abspath(__file__)))
|
||||
|
||||
from domain import boundary_cases, interior_cases, random_cases # noqa: E402
|
||||
from harness import ( # noqa: E402
|
||||
SWE_CODE, compare_asc_mc, compare_system, format_report,
|
||||
)
|
||||
|
||||
# Systemy do sprawdzenia. Rośnie wraz z implementacją kolejnych (Etap 1 i 2) —
|
||||
# dopisanie nazwy tutaj wystarcza, żeby weszła do każdego builda.
|
||||
SYSTEMS = ["whole_sign", "equal", "porphyry"]
|
||||
|
||||
|
||||
def main() -> int:
|
||||
p = argparse.ArgumentParser(description="Zgodność domów z wyrocznią (Swiss Ephemeris)")
|
||||
p.add_argument("--mode", choices=("build", "sweep"), default="build")
|
||||
p.add_argument("--seed", type=int, default=0, help="ziarno losowania (do odtworzenia błędu)")
|
||||
p.add_argument("--count", type=int, default=20000, help="liczba przypadków w trybie sweep")
|
||||
p.add_argument("--systems", default=",".join(SYSTEMS))
|
||||
args = p.parse_args()
|
||||
|
||||
systems = [s.strip() for s in args.systems.split(",") if s.strip()]
|
||||
unknown = [s for s in systems if s not in SWE_CODE]
|
||||
if unknown:
|
||||
print(f"Nieznane systemy: {unknown}", file=sys.stderr)
|
||||
return 2
|
||||
|
||||
if args.mode == "build":
|
||||
boundary = boundary_cases()
|
||||
# Tyle samo z wnętrza, ile brzegowych — brzegi łapią osobliwości,
|
||||
# wnętrze pilnuje, że nie zepsuliśmy zwykłych przypadków.
|
||||
cases = boundary + interior_cases(len(boundary), seed=args.seed)
|
||||
seed_note = args.seed
|
||||
else:
|
||||
cases = random_cases(args.count, seed=args.seed)
|
||||
seed_note = args.seed
|
||||
|
||||
results = [compare_asc_mc(cases)]
|
||||
results += [compare_system(s, cases) for s in systems]
|
||||
|
||||
print(f"\nprzypadków wejściowych: {len(cases)} (tryb: {args.mode})")
|
||||
print(format_report(results, seed=seed_note))
|
||||
|
||||
failed = [r for r in results if not r.passed]
|
||||
if failed:
|
||||
print("\nBŁĄD: " + ", ".join(r.system for r in failed))
|
||||
print(f"Odtworzenie: python run.py --mode {args.mode} --seed {args.seed}"
|
||||
+ (f" --count {args.count}" if args.mode == "sweep" else ""))
|
||||
return 1
|
||||
print("\nWszystkie systemy zgodne z wyrocznią w granicach tolerancji.")
|
||||
return 0
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
raise SystemExit(main())
|
||||
Reference in New Issue
Block a user