migrated-retraction-api-enforces-typed-preconditions-j0

IN premise

Created 2026-07-08T21:29:57+00:00

review-beliefs: Three specific boundary validations demonstrate a pattern but cannot establish the claim of "consistent error contract at every entry point" without enumerating all entry points. (defeats api-enforces-typed-preconditions justification 0)

Dependents

These beliefs depend on this one:

• OUT api-enforces-typed-preconditions — API functions enforce preconditions at the system boundary with typed exceptions: duplicate node IDs raise ValueError, missing justification arguments raise ValueError, and unauthorized single-node access raises PermissionError — establishing a consistent error contract at every entry point.