Dostupné
Dokumentace zdroje
Nejdražší chyby v tomhle produktu nejsou chyby v kódu — jsou to chyby ve výkladu zdroje. ISIR-SOURCE-SEMANTICS.md je jediné místo, kde je výklad zapsaný, a všechno ostatní na něj odkazuje.
- Dokument
docs/ISIR-SOURCE-SEMANTICS.md- Obsah
- terminologie, důkazní hodnota, inventář služeb, invarianty, nakládání s poli
- Provozní podmínky
- 50 požadavků za minutu, 3000 za den — publikované zdrojem
- Provenience
- §0 uvádí, odkud každé tvrzení pochází a kdy bylo ověřeno
Co rejstřík dokazuje a co ne
Nejdůležitější sekce dokumentu je ta o hranicích. Zveřejněná přihláška dokazuje, že věřitel něco přihlásil — nedokazuje, že ta pohledávka existuje ani v jaké výši. Teprve přezkumné jednání s tím něco udělá, a i to se dá zvrátit incidenčním sporem.
Podobně uspokojena nikdy neznamená „zaplaceno v plné výši“, jen „uspokojena v rozsahu, který řízení umožnilo“. Systém, který tenhle rozdíl smaže, vyrábí čísla, která vypadají jako výtěžnost a nejsou jí.
Terminologie se nepřekládá
Přihláška pohledávky, dílčí pohledávka, přezkumné jednání, popření, incidenční spor, rozvrhové usnesení, spisová značka, oddíl P — všechno zůstává česky i uvnitř anglicky psaného kódu a dokumentace.
Není to stylová preference. Je to požadavek přesnosti: anglický ekvivalent, který se pro tyhle termíny nabízí, vždycky odpovídá jinému právnímu institutu.
Invarianty a nakládání s poli
Dokument vyjmenovává, co musí platit vždy — číselné uspořádání akcí, jednoznačnost identifikátoru akce, vztah oddílu P k přihlášce — a co se z dat zahazuje hned při parsování, protože to produkt nepotřebuje: rodná čísla, datum narození dlužníka, adresy.
Provozní podmínky jsou v témže dokumentu záměrně. Limit není technické nastavení, je to hranice, kterou zdroj publikoval, a lokální limiter se smí konfigurovat jen přísněji.
Kde to v repozitáři žije
docs/ISIR-SOURCE-SEMANTICS.md— kanonická sémantika zdroje, inventář služeb a invarianty.claude/modules/isir.md— doménový model, kontrakt zdroje a architektura příjmu pro agentydocs/SPEC.md— rozsah v1, moduly a fázování
Souvisí
Ověření kontraktu zdroje
DostupnéŽivé WSDL, XSD, publikované verze dokumentace a provozní podmínky ověřené proti tomu, co je zapsané — jedním příkazem, se staženými artefakty jako důkazem. První běh: bez driftu. Na driftu se zastaví a nepřizpůsobí parser potichu.
Detail
Sémantika zdroje ISIR
Kanonická terminologie, hranice toho, co ISIR dokazuje, publikované provozní limity, čtrnáct invariantů a matice zacházení s poli. Fakta o zdroji ověřil skript proti živým WSDL a XSD.
Detail