PRE-27: pełne ukrycie niedostępnych funkcji (paranoja) #78

Merged
gitea merged 1 commits from feat/paranoja-ukrywanie into master 2026-08-26 09:05:58 +00:00
Owner

Bazuje na fix/ukryj-funkcje-ai (#77), nie na masterze — to ta sama robota, kolejny krok. Merge #77 najpierw.

Persona: wgrywacz — konto files + files_input, zatrudnione wyłącznie do wgrywania plików. Nie ma się dowiedzieć, po co je wgrywa ani co program będzie robił.

Audyt sześciu kanałów potwierdził 26 wycieków, każdy odtworzony uruchomionym kodem i zweryfikowany adwersarialnie (25 kolejnych zgłoszeń odrzucono jako niepotwierdzone). Ani jeden nie był przyciskiem.

Kanał Co wyciekało
/static/** poza bramką komplet skryptów i arkuszy dla niezalogowanego
komentarze w CSS/JS zdania po polsku o funkcjach i o tym, że administrator widzi więcej
styles.css jednym plikiem nazwy selektorów = spis funkcji programu
base.html skrypty kosmogramu na każdej stronie, ze wzmianką o „przyszłej zakładce"
komunikaty błędu nazwa trasy, podsystemu, gałęzi rozwojowej, wewnętrzny host:port
komunikat po wgraniu słowo „administrator" i dwie różne treści = wyrocznia do reguł walidacji
/openapi.json warstw wewnętrznych katalog wszystkich funkcji, bez logowania

Trzy zasady

Zasób jest częścią funkcji. /static/ omijało całą bramkę — także dziennik audytu i limit żądań, więc wyciek był dla Ciebie niewidoczny. Teraz każdy zasób ma w features.STATIC uprawnienie swojego ekranu. Publiczny został jeden base.css, bo potrzebuje go ekran logowania — i dlatego nie wolno w nim umieścić niczego, co nazywa funkcję.

Komentarz nie jedzie na drut. _asset_body() usuwa komentarze przy serwowaniu; w repo zostają. Ta jedna zmiana zamyka cztery kanały naraz.

Różnica jest informacją. Dwa komunikaty po wgraniu były wyrocznią — wystarczyło wgrywać spreparowane pliki i czytać odpowiedź. Teraz jest jeden, ten sam.

Zapora słownikowa

Łatanie punkt po punkcie przegrywa z następną zmianą. test_slownik_zakazany.py przechodzi wszystko, co konto może pobrać, i szuka słów, które nie mają prawa paść — 87 pozycji dla tej persony. Nazwy funkcji, adresy ekranów i nazwy zasobów biorą się wprost z katalogu, więc nowa funkcja obejmuje się sama. Kontrola pozytywna pilnuje, żeby test nie przechodził dlatego, że program jest pusty.

Sprawdzone, nie założone: zapora puszczona na treść sprzed poprawek daje 16 trafień na samym styles.css i łapie każdy ze zneutralizowanych komunikatów. Rozbicie CSS-a ma osobne sprawdzenie, że żaden ekran nie stracił reguły. 358 testów zielonych, wszystkie ekrany obejrzane w przeglądarce.

Do Twojej decyzji

  1. Nazwa produktu. W <title> i nagłówku stoi „astrololo". Człon „astro" sam w sobie zdradza dziedzinę, a wgrywacz to widzi. Zmiana nazwy to Twoja decyzja, nie moja — powiedz, czy chcesz neutralną etykietę (np. z APP_NAME).
  2. Znikający plik. Plik odrzucony przez walidację jest dla nie-administratora odsiewany z listy. Komunikat jest już identyczny, ale wgrywacz widzi, że wgrany plik nie pojawił się na liście — i to samo w sobie jest sygnałem. Alternatywa: pokazywać go w neutralnym stanie „wgrany". Wymaga zmiany w warstwie danych, więc nie robiłem tego bez Twojej zgody.
  3. astroklient-demo siedzi na niezmergowanym #74, więc nie objąłem go tą zaporą. Po merge'u warto puścić na nim to samo.
> Bazuje na `fix/ukryj-funkcje-ai` (#77), nie na masterze — to ta sama robota, kolejny krok. Merge #77 najpierw. Persona: **wgrywacz** — konto `files` + `files_input`, zatrudnione wyłącznie do wgrywania plików. Nie ma się dowiedzieć, po co je wgrywa ani co program będzie robił. Audyt sześciu kanałów potwierdził **26 wycieków**, każdy odtworzony uruchomionym kodem i zweryfikowany adwersarialnie (25 kolejnych zgłoszeń odrzucono jako niepotwierdzone). **Ani jeden nie był przyciskiem.** | Kanał | Co wyciekało | |---|---| | `/static/**` poza bramką | komplet skryptów i arkuszy dla **niezalogowanego** | | komentarze w CSS/JS | zdania po polsku o funkcjach i o tym, że administrator widzi więcej | | `styles.css` jednym plikiem | nazwy selektorów = spis funkcji programu | | `base.html` | skrypty kosmogramu na **każdej** stronie, ze wzmianką o „przyszłej zakładce" | | komunikaty błędu | nazwa trasy, podsystemu, gałęzi rozwojowej, wewnętrzny `host:port` | | komunikat po wgraniu | słowo „administrator" i **dwie różne treści** = wyrocznia do reguł walidacji | | `/openapi.json` warstw wewnętrznych | katalog wszystkich funkcji, bez logowania | ### Trzy zasady **Zasób jest częścią funkcji.** `/static/` omijało całą bramkę — także dziennik audytu i limit żądań, więc wyciek był dla Ciebie niewidoczny. Teraz każdy zasób ma w `features.STATIC` uprawnienie swojego ekranu. Publiczny został jeden `base.css`, bo potrzebuje go ekran logowania — i dlatego nie wolno w nim umieścić niczego, co nazywa funkcję. **Komentarz nie jedzie na drut.** `_asset_body()` usuwa komentarze przy serwowaniu; w repo zostają. Ta jedna zmiana zamyka cztery kanały naraz. **Różnica jest informacją.** Dwa komunikaty po wgraniu były wyrocznią — wystarczyło wgrywać spreparowane pliki i czytać odpowiedź. Teraz jest jeden, ten sam. ### Zapora słownikowa Łatanie punkt po punkcie przegrywa z następną zmianą. `test_slownik_zakazany.py` przechodzi **wszystko**, co konto może pobrać, i szuka słów, które nie mają prawa paść — 87 pozycji dla tej persony. Nazwy funkcji, adresy ekranów i nazwy zasobów biorą się wprost z katalogu, więc **nowa funkcja obejmuje się sama**. Kontrola pozytywna pilnuje, żeby test nie przechodził dlatego, że program jest pusty. Sprawdzone, nie założone: zapora puszczona na treść sprzed poprawek daje **16 trafień na samym `styles.css`** i łapie każdy ze zneutralizowanych komunikatów. Rozbicie CSS-a ma osobne sprawdzenie, że żaden ekran nie stracił reguły. 358 testów zielonych, wszystkie ekrany obejrzane w przeglądarce. ### Do Twojej decyzji 1. **Nazwa produktu.** W `<title>` i nagłówku stoi „astrololo". Człon „astro" sam w sobie zdradza dziedzinę, a wgrywacz to widzi. Zmiana nazwy to Twoja decyzja, nie moja — powiedz, czy chcesz neutralną etykietę (np. z `APP_NAME`). 2. **Znikający plik.** Plik odrzucony przez walidację jest dla nie-administratora odsiewany z listy. Komunikat jest już identyczny, ale wgrywacz widzi, że wgrany plik nie pojawił się na liście — i to samo w sobie jest sygnałem. Alternatywa: pokazywać go w neutralnym stanie „wgrany". Wymaga zmiany w warstwie danych, więc nie robiłem tego bez Twojej zgody. 3. **astroklient-demo** siedzi na niezmergowanym #74, więc nie objąłem go tą zaporą. Po merge'u warto puścić na nim to samo.
gitea changed target branch from fix/ukryj-funkcje-ai to master 2026-08-26 09:04:55 +00:00
gitea added 1 commit 2026-08-26 09:04:55 +00:00
PRE-27: pełne ukrycie niedostępnych funkcji (paranoja)
build-render / build (push) Failing after 8s
build-swisseph / build (push) Successful in 9s
build / build (push) Successful in 8s
Testy / Testy warstwy logicznej (silnik) (push) Failing after 5s
Testy / Testy warstwy prezentacji (dostęp do baz) (push) Failing after 4s
Testy / Testy warstwy bazodanowej (ochrona baz) (push) Failing after 4s
Testy / Build obrazu silnika B (swisseph) (push) Successful in 6s
Testy / Kontrola składni wszystkich warstw (push) Failing after 4s
320a0ab24e
Ukrywanie jest teraz nadrzędne wobec wygody i czytelności komunikatów.
Persona: konto z uprawnieniami files + files_input, zatrudnione wyłącznie do
wgrywania plików. Nie ma się dowiedzieć, po co je wgrywa ani co program będzie
robił — bo to rozgada.

Audyt sześciu kanałów wycieku (statyki, HTML, sondowanie HTTP, ekran plików,
odpowiedzi JSON i błędy, pozostałe warstwy) potwierdził 26 wycieków, każdy
odtworzony uruchomionym kodem i zweryfikowany adwersarialnie. Ani jeden nie był
przyciskiem.

ZASÓB JEST CZĘŚCIĄ FUNKCJI
/static/ omijało CAŁĄ bramkę (PUBLIC_PREFIXES), więc każdy skrypt i arkusz
pobierał ktokolwiek, także niezalogowany, pod zgadywalnym adresem — a ich treść
wymienia ekrany, dostawców modeli i przeznaczenie plików. Ruch ten nie trafiał
przy tym ani do dziennika, ani pod limit żądań, więc wyciek był niewidoczny.
Zasoby idą teraz trasą z bramką; każdy ma w features.STATIC uprawnienie swojego
ekranu. Publiczny został jeden base.css, bo potrzebuje go ekran logowania.

KOMENTARZ NIE JEDZIE NA DRUT
Komentarze w CSS/JS opisywały funkcje pełnymi zdaniami po polsku — łącznie
z „Wstrzymane widzi tylko administrator", czyli i mechanizmem kwarantanny,
i istnieniem konta o wyższych uprawnieniach. _asset_body() usuwa je przy
serwowaniu; w repozytorium zostają.

styles.css rozbity na base.css + arkusz na ekran + x-ai.css. Jeden plik z
wszystkimi selektorami był spisem treści programu. Podział zrobiony
mechanicznie, z osobnym sprawdzeniem, że żaden ekran nie stracił reguły.

base.html ładował skrypty kosmogramu na KAŻDEJ stronie — konto mające wyłącznie
Pliki pobierało je przy wejściu na swój jedyny ekran, razem ze wzmianką
o „przyszłej zakładce". Teraz dokłada je ekran, który ich używa.

RÓŻNICA JEST INFORMACJĄ
Komunikat po wgraniu pliku różnił się zależnie od wyniku walidacji — czyli był
wyrocznią do odgadywania reguł, które ma znać tylko administrator — i mówił
wprost, że plik „musi zatwierdzić administrator". Teraz jest jeden, ten sam.

_logic_error wypisywał na ekran nazwę trasy, nazwę podsystemu, nazwę gałęzi
rozwojowej i wewnętrzny host:port. Jedno zdanie dla wszystkich awarii, szczegóły
do dziennika. Odsiew w jednym punkcie, nie w siedemnastu wywołaniach.

Ponadto: stopka nie ogłasza architektury, /health nie nazywa warstwy, konto bez
ekranów dostaje 404 zamiast tłumaczenia, ekran plików mówi o plikach zamiast
o „bazach interpretacyjnych", klasy .house-warning i .account-card przemianowane
na neutralne, a logic/data/render/engine-swisseph nie wystawiają już /docs ani
/openapi.json i nie publikują portów na hoście.

ZAPORA SŁOWNIKOWA
test_slownik_zakazany.py nie sprawdza miejsc, tylko przechodzi wszystko, co dane
konto może pobrać, i szuka słów, które nie mają prawa paść (87 pozycji dla tej
persony). Nazwy funkcji, adresy ekranów i nazwy zasobów biorą się wprost
z katalogu, więc nowa funkcja obejmuje się sama. Kontrola pozytywna pilnuje, żeby
test nie przechodził dlatego, że program jest pusty.

Sprawdzone: zapora puszczona na treść sprzed poprawek daje 16 trafień na samym
styles.css i łapie każdy ze zneutralizowanych komunikatów. 358 testów zielonych,
ekrany obejrzane w przeglądarce.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
gitea merged commit 320a0ab24e into master 2026-08-26 09:05:58 +00:00
gitea deleted branch feat/paranoja-ukrywanie 2026-08-26 09:05:58 +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#78