audit_contracts.py File Reference

Go to the source code of this file.

Namespaces
namespace	audit_contracts

Functions
dict	audit_contracts.load_registry ()
	Load the invariant-contract registry.
list[str]	audit_contracts.validate_records (list contracts, dict registry)
	Verify each contract record is complete, uses the closed vocabularies, and points at things that exist.
tuple	audit_contracts.run_checkers (list contracts)
	Execute each enforced contract's checker, honouring declared prerequisites.
int	audit_contracts.main ()
	Verify enforced invariant contracts and report the tracked ones.

Variables
	audit_contracts.REPO_ROOT = Path(__file__).resolve().parents[2]
str	audit_contracts.REGISTRY_PATH = REPO_ROOT / "tests" / "tooling" / "contract_registry.json"
str	audit_contracts.PAGES_DIR = REPO_ROOT / "docs" / "pages"