Novelty audit · NOV-H1
H1 · Cross-protocol, game-typed certificate format
Novelty hypothesis
- Status
- HYPOTHESISPossible contribution; must survive the listed conflicts and outside review.unverified hypothesis; requires outside review
- Anchor
- —
- Source file
- research/NOVELTY_HYPOTHESES.md#2
Statement
A machine-checkable certificate that ties every ε to a named game (W1, W1_CV, S1, S2, D1, …), a theorem ID with a source anchor, assumption flags (e.g. P03 Table 6 A–G), and an evidence kind. The certificate refuses out-of-domain parameter tuples (UNCERTIFIED/OUT_OF_MODEL). *New only as engineering/infrastructure.* Not found as an open tool for token protocols. Similar "theorem-preconditions-as-code" ideas exist in QKD tooling.
Record
Every field of the source record, in file order.
No further fields.