CYCLE 5 EXECUTION REPORT - D03 v1.0
Date: 2026-05-04
Theorem: D03
Decision: reject_candidate
Locked thresholds
- t_low:
0.1 - t_high:
0.22 - max_ambiguous_rate:
0.35 - formula:
0.5*abs(Delta_Coh)+0.5*abs(Delta_Phi)
Context summary
| Context | n | preservative | degenerative | ambiguous | ambiguous_rate |
|---|---|---|---|---|---|
| D03_CTX_01 | 87 | 0 | 77 | 10 | 0.114943 |
| D03_CTX_02 | 87 | 0 | 76 | 11 | 0.126437 |
| D03_CTX_03 | 86 | 0 | 77 | 9 | 0.104651 |
Criteria / Reject triggers
- Criteria:
{"both_classes_non_empty_in_2_of_3_contexts": false, "ambiguous_below_threshold_in_2_of_3_contexts": true, "coh_and_phi_participate": true} - Reject triggers:
{"missing_explicit_U_mapping": false, "criterion_shift_after_fail": false, "class_unreachable_under_locked_formula": true, "coh_absent_from_logic": false} - Decision raw:
reject_candidate
Notes
- Under locked formula and thresholds, preservative regime remains unreachable in required contexts.