Framework internal-fault model (FEAT_0024)¶
Verification for the fail-fast boundary (Framework-invariant violati... (REQ_0123)), the user fatal handler (User-registered fatal handler (REQ_0125)), and the contained-item-panic guarantee (User-item panic is containe... (REQ_0124)).
In-process boundary test. A recording terminal (instead of aborting)
is installed, and a synthetic non-item panic — |
Subprocess test. A child process with the default (no-op) fatal
handler triggers a framework-boundary panic; the parent asserts the
child terminated via |
Regression guard for the inner layer. A user item that panics in
|