CYCLE 6 Preregistration Seal Template v0.1

Date: Theorem: A01 Spec file: Designer: Primary auditor: Secondary auditor: Auditor independence declared: yes/no Cycle budget (max_independent_cycles for claim):

Preregistration payload

1. Claim source path:
2. Claim text hash:
3. Thresholds source path:
4. Thresholds hash:
5. Formula source path:
6. Formula hash:
7. Dataset manifest path:
8. Dataset manifest hash:
9. Script version source path:
10. Script version hash:
11. Context list source path:
12. Context list hash:
13. Benchmark overlap report path:
14. Benchmark overlap report hash:

Seal metadata

1. UTC timestamp:
2. Seal method:
3. Immutable storage path:
4. Gate-entry signature (pre-run):
5. Gate-entry timestamp (UTC):
6. Gate-exit signature (post-run):
7. Gate-exit timestamp (UTC):
8. Gate-exit status: not_executed | executed_no_promotion | executed_promotable | invalidated
9. Lock acknowledged: yes/no

Lock clauses acknowledged

• No synthetic proxy scoring as decisive theorem evidence.
• No benchmark overlap with Cycle 3 records/hashes.
• No threshold or formula substitution on same data after first fail.
• No evidence-class collapse.
• No unbounded sequential re-preregistration beyond declared cycle budget.

Acknowledged: yes/no