Expand description
Fault taxonomy and stable exit codes (ADR-0009).
Errors are categorized by who is at fault: the user’s input (CoreError::User),
the system under test (CoreError::TestFailure), or the environment / proef
itself (CoreError::System). The mapping to process exit codes is total and a
public contract, pinned by the CLI integration test suite.
Engines report through the separate EngineError layer — engines cannot know
exit codes, and the core cannot know engine internals; EngineErrorClass folds
into the core taxonomy at the seam.
Structs§
- Engine
Error - An error reported by an engine across the seam (ADR-0002 / ADR-0009).
Enums§
- Core
Error - Core error taxonomy, categorized by fault (ADR-0009).
- Engine
Error Class - How an engine failure folds into the core taxonomy (ADR-0009).
- Exit
Code - Process exit codes — a public contract (
0ok ·1test failure ·2user error ·3system error), pinned byassert_cmdintegration tests.