api-add-justification-requires-justification-arg
IN premise
`api.add_justification` raises `ValueError` if none of `sl`, `cp`, or `unless` is provided — at least one justification specification is mandatory.
Summary
When adding a justification to an existing node through the API, you must specify at least one justification type (support-list, conditional-proof, or unless/default). Calling add_justification with no justification argument is treated as a programming error and raises an exception, preventing the creation of empty or meaningless justification records.
Dependents
These beliefs depend on this one:
- 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.
Details
| Source | entries/2026/04/24/tests-test_add_justification.md |