Module

contracts.checker

Hypermedia contracts checker orchestration.

Functions

_route_prepass 3 tuple[set[str], set[str]]
Single pass over router.routes. Returns (referenced_templates, referenced_route…
def _route_prepass(router: object, kida_env: Environment | None, result: CheckResult) -> tuple[set[str], set[str]]

Single pass over router.routes. Returns (referenced_templates, referenced_route_paths).

Parameters
Name Type Description
router object
kida_env Environment | None
result CheckResult
Returns
tuple[set[str], set[str]]
check_hypermedia_surface 1 CheckResult
Validate app route/template contract consistency.
def check_hypermedia_surface(app: App) -> CheckResult
Parameters
Name Type Description
app App
Returns
CheckResult