cadrumo.domain.calculations.registry.checker_oracle_flow module

Canonical flow for read-only identifier-checker oracles.

The shared checker contract owns one observation shape, driver protocol, deterministic replay driver, declarative operation plan, and verification orchestrator. Concrete GROI and NIF-IVA modules declare only their AEAT endpoint policy, catalogue identity, and surface classification.

class CheckerDriverMode(*values)[source]

Bases: StrEnum

Whether a checker driver reaches AEAT or replays captured evidence.

LIVE

Executes against the live AEAT surface.

REPLAY

Replays previously captured evidence and performs no network operation.

CheckerDriverModeValue

Both modes, for the Protocol property a driver of either kind satisfies.

The concrete drivers narrow this to the single member they actually are, rooted as Literal[CheckerDriverMode.LIVE] or Literal[CheckerDriverMode.REPLAY]. Those narrowings are contracts – a live driver may never report itself as a replay – and are deliberately not widened to this alias.

alias of Literal[LIVE, REPLAY]

class CheckerObservation(**data)[source]

Bases: BaseModel

Normalized verdicts and raw-evidence locator from a checker surface.

Parameters:

data (Any)

values: dict[str, str]
raw_evidence_locator: str | None
normalize_verdict_mapping(values, *, blank_message)[source]

Normalize identifier/verdict mappings and reject blank entries.

Return type:

dict[str, str]

Parameters: