Skip to content

docs(api): clarify crash_point() phase semantics#22

Merged
siphonite merged 1 commit intomainfrom
issue-15-crash-point-noop
Feb 6, 2026
Merged

docs(api): clarify crash_point() phase semantics#22
siphonite merged 1 commit intomainfrom
issue-15-crash-point-noop

Conversation

@siphonite
Copy link
Owner

Summary

Clarifies crash_point() no-op semantics with explicit documentation.

Changes

  • Add explicit safety contract: calling is always safe in all phases
  • Add phase behavior table (Orchestrator/Execution/Verify)
  • Document that crash counter is not incremented outside Execution

Verification

  • cargo fmt -- --check
  • cargo clippy -- -D warnings
  • cargo test --lib ✅ (3 tests pass)

Closes #15

- Add explicit safety contract for all phases
- Add phase behavior table (Orchestrator/Execution/Verify)
- Document that crash counter is not incremented outside Execution

Closes #15
@siphonite siphonite merged commit ed6424a into main Feb 6, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Define crash_point() No-op Semantics

1 participant