Sémantika zdroje ISIR

Tenhle dokument má přednost před jakýmkoli jiným textem, kódem nebo řetězcem v rozhraní, který o insolvenčním rejstříku něco tvrdí. Definuje pojmy, hranice důkazní síly zdroje a pravidla, která nesmí porušit žádná část systému.

Přednost

při rozporu s jiným dokumentem vyhrává tenhle

Ověřeno

3. 9. 2026 proti živým WSDL, XSD a stránce provozních podmínek

Publikované limity

50 požadavků za minutu, 3000 za den

Invarianty

čtrnáct pravidel; sloupec „vynuceno dnes“ u většiny říká „zatím ne“

Co ověřeno není

obsah obou popisných PDF; shoduje se jen číslo verze (2.10 a 1.13)

Dvě služby, které se nesmí zaměňovat

IsirWsPublicService je proud akcí: neměnné, číselně uspořádané záznamy určené pro konzumenta, který si staví lokální kopii rejstříku. To je primární zdroj tohoto produktu.

IsirWsCuzkService je bodový dotaz podle identifikace dlužníka, který vrací — slovy samotného zdroje — pouze stručné informace o insolvenčních řízeních. Je to ohraničený snímek, ne rejstřík, a dokument k němu vede tabulku návratových kódů verze 1.13 včetně toho, že jediné autoritativní „nenalezeno“ je kód WS2.

Dokument stejně přesně odděluje ISIR od Centrální evidence exekucí. Insolvence a exekuce jsou právně i provozně různé věci a jedna neimplikuje druhou.

Co zdroj nikdy nedokazuje

Shoda v ISIR dokazuje, že k dané identitě existuje v rejstříku řízení, a to k času synchronizace zdroje. Neshoda dokazuje jen to, že dotaz s přesně použitými parametry nic nenašel.

• Nic o dluzích obecně a nic o exekucích — to je jiný rejstřík a jiný provozovatel.
• Nic o konkursech a vyrovnáních před rokem 2008, které žijí v samostatném starším systému.
• Nic o řízeních vyškrtnutých podle §425 insolvenčního zákona.
• Při filtru na aktivní řízení nic o řízeních skončených — nulová odpověď je o minulosti mlčenlivá už konstrukcí dotazu.
• Stejná disciplína platí o výstupech tohoto produktu: vytěžená částka dokazuje, co stálo na konkrétní straně konkrétního dokumentu, ne co je právně dlužné.

Invarianty a matice polí

Čtrnáct invariantů pokrývá fail-closed chování (HTTP 200 není obchodní úspěch, chybný XML není záporný výsledek), idempotenci příjmu, checkpoint, přestavitelnost projekce a povinnou provenienci. Tabulka poctivě přiznává, že skoro žádný z nich zatím není vynucený — repozitář je skelet a invariant se překlápí na „vynuceno“ jedině spolu s pojmenovaným testem ve stejné změně.

Matice polí je politika, ne doporučení: rodné číslo, datum narození dlužníka a adresní blok se parsují a zahazují, nikdy neukládají. Bajty PDF nikdy nejdou do logu, surové SOAP odpovědi mají vlastní řízenou cestu a metriky nesmí nést spisovou značku jako label.

Kde to v repozitáři žije

• docs/ISIR-SOURCE-SEMANTICS.md — terminologie, důkazní hranice, inventář zdroje, invarianty, matice polí
• docs/development/SOURCE-CONTRACT.md — rituál opakovaného ověření kontraktu zdroje
• scripts/verify_source_contract.py — skript, který fakta stáhl a porovnal proti živému zdroji
• tests/fixtures/source-contract/ — stažené artefakty, proti kterým se ověřovalo

Souvisí

Zpět na sekci Dokumentace