Dostupné
Ověření kontraktu zdroje
Všechno, co repozitář tvrdí o webových službách ISIR, je tvrzení o cizím systému, který se může změnit, aniž by to někomu řekl. Rituál dělá z toho tvrzení něco, co se dá pustit.
- Příkaz
just source-contract-verify— živě, se stažením artefaktů- Offline varianta
just source-contract-check— v bráně kvality, bez sítě- Rozsah
- obě WSDL, obě XSD, stránka dokumentace a stránka provozních podmínek
- Zátěž
- 6 pacovaných požadavků
- Poslední běh
- 2026-09-03, bez driftu; doplněny čtyři fakty o feedu
Tři kroky automaticky, čtvrtý ne
Skript stáhne živé artefakty, porovná je s tím, co je zapsané v ISIR-SOURCE-SEMANTICS.md §3, a na čistém běhu posune datum ověření. Datum, které se nepohnulo, znamená, že se kontrola nekonala.
Čtvrtý krok — přizpůsobení kódu změněnému kontraktu — automatizovaný záměrně není. Právě tohle je okamžik, kdy se dataset tiše poškodí. Skript se zastaví a odkáže na runbook, protože tady je potřeba člověk, ne chytrý skript.
Offline režim jde do brány
V režimu --check skript nesahá na síť a jen tvrdí, že každý literál, který očekává, se opravdu vyskytuje i v dokumentu. Skript a dokument se tak nemohou rozejít, aniž by jeden z nich spadl.
Tenhle krok je součástí just quality. Živý běh je rituál s vlastní kadencí, ne něco, co se pouští při každém commitu — je to zátěž na cizí systém.
Proč to blokovalo příjem dat
Do prvního běhu byl rituál jen prózou a nikdy se neprovedl. Dokud nebylo ověřeno, že zapsaný kontrakt odpovídá živé službě, nemělo smysl psát klienta feedu — psal by se proti dokumentaci neznámého stáří.
Kde to v repozitáři žije
docs/development/SOURCE-CONTRACT.md— procedura, kadence a co se považuje za citlivé na zdrojscripts/verify_source_contract.py— spustitelné kroky 1 až 3 rituálu, offline i živý režimdocs/runbooks/contract-drift.md— co dělat, když se kontrakt změnildocs/ISIR-SOURCE-SEMANTICS.md— §3 — inventář zdrojů, proti kterému se porovnává
Souvisí
Dokumentace zdroje
DostupnéKanonická sémantika ISIR: co rejstřík dokazuje, co nikdy nedokazuje, provozní podmínky a invarianty. Každý údaj v dokumentu je dohledatelný ke zdroji, ze kterého pochází.
Detail
Klient WS ISIR a limity
PlánovánoSOAP klient k IsirWsPublicService, typované parsování akcí, fail-closed mapování chybových stavů a limiter vynucený dřív, než požadavek opustí proces. Publikované stropy 50/min a 3000/den půjde nastavit jen přísněji, nikdy volněji.
Detail