safestate Directory Reference

Directory dependency graph for safestate:

Files
	sapi_safestate.h
	Safe-state transitions and checked assertions (ADR-004).
	sapi_safety_violation.h
	Opt-in notification hook for the three new safety primitives (safe pointer, checked integer arithmetic, bounds check): a SEPARATE, dedicated handler from sapi_safestate_handler_t (sapi_safestate.h) - registering it does not change any of those primitives' own return-code contract (REQ-COMMON-CAST-004/ 005, REQ-OAL-SAFEPTR-001/002) in any way; with no handler registered (the default), nothing about their behavior changes at all.