Evidence ceiling E3Proof boundary
BOUNDED REALITY KERNEL MODEL
Search the declared state space for an unsafe effect.
The model exhaustively checks the current finite boolean combination space and declared attenuation mutations. It is intentionally labeled bounded model checking, not a universal theorem.
Current bounded result
512/512 combinations checked.
0 unsafe effect decisions found.
- PASS
- YES
- STATE COMBINATIONS
- 512
- VIOLATIONS
- 0
- ATTENUATION CASES
- 10
- ACCEPTED NARROWINGS
- 4
- REJECTED AMPLIFICATIONS
- 6