CYCLE 6 Execution and Reject Rules v0.1
Date: 2026-05-05
Cycle: CYCLE_6_2026-05-05
Scope: A01 only
1) Execution order (fixed)
- Run governance compliance check.
- Verify dataset independence proof.
- Run
P_clson all contexts. - Run
P_ordon all contexts. - Build full trajectory logs.
- Compute pre-registered metrics.
- Produce decision artifact.
No permutation of step order is allowed without new preregistration.
2) Hard reject triggers
Any trigger below sets theorem decision to reject_candidate:
- Reuse of synthetic proxy formula as decisive metric source.
- Missing context coverage (
< 3contexts executed). - Benchmark overlap with
cycle3_inputsabove allowed limit (> 0record-level overlap by ID/hash). - Missing hash-chain integrity in trajectory logs.
- Post-hoc threshold/criterion change after first failed evaluation.
- Role-separation failure (
designer == auditor). - Gate-entry or gate-exit signature invalid/missing.
3) Soft fail / revise triggers
If no hard reject is triggered, mark revise_needed when:
- Fewer than
2/3contexts satisfy process advantage criteria. - Matched-output subsets exist in fewer than
2/3contexts. - Metrics are complete but insufficient for promotion.
4) Integrity checks
Required integrity checks:
- All reports reference exact script-lock hashes.
- Seal timestamp is earlier than first trajectory event.
- Decision criteria are evaluated from pre-registered thresholds only.
- Final report includes explicit non-claim section.
5) Output naming contract
results/A01_real_pipeline_metrics_v1_0.jsontrajectory/A01_trajectory_events.jsonlCYCLE_6_EXECUTION_REPORT_A01_v1_0.mdCYCLE_6_DECISION_GATE_v1_0.mdCYCLE_6_REPRO_PACK_MANIFEST_v1_0.md