Deterministická omezení výpočtu

Tento dokument definuje, co “deterministický” znamená pro doménový engine OPORA a jaká omezení je nutné udržet pro zachování auditovatelnosti.

Definice

Pro pevně danou verzi enginu:

Pokud jsou dva vstupy po normalizaci ekvivalentní, engine musí vrátit identické výstupy (včetně ordering a rounding pravidel).

Čisté funkce: doménové výpočty nemají vedlejší efekty.
Bez závislosti na čase: žádné použití aktuálního času jako implicitního vstupu.
Bez náhody: žádná nezaseedovaná náhoda; ideálně žádná náhoda vůbec.
Stabilní pořadí: pořadí BOM a varování je stabilní pro identické vstupy.
Explicitní rounding pravidla: přesnost/zaokrouhlování je definované a konzistentní.
Verzované chování: změny ovlivňující výstupy vyžadují inkrement verze enginu.

Kanonické jednotky (např. metry vs milimetry) před výpočtem.
“Range clamping” jen pokud je explicitně definovaný; jinak odmítnout nevalidní rozsahy.
Konzistentní zacházení s “ekvivalentními” vstupy (např. prázdné vs null vs vynechané) pomocí normalizace.

Formát výstupu se může vyvíjet, pokud historické výsledky zůstávají interpretovatelné (policy rozhodnutí).
Nová varování/metriky lze přidat, pokud:
jsou deterministické
jsou jasně verzované