Novelty audit · NOV-C4
C4 · QKD numerical-security tooling (P19–P22: openQKDsecurity, numerical_qkd, Rényi finite-size frameworks, ML parameter prediction)
Novelty conflict (prior art)
- Status
- CONFLICTPrior art that blocks a novelty claim until resolved.prior art identified by lane A
- Game
- none stated
- Anchor
- —
- Source file
- research/NOVELTY_HYPOTHESES.md#3
Statement
Generic "certified numerical bound + parameter optimisation from device data" is established in QKD. A QMint compiler is at best a domain transfer and must benchmark against or cite these.
Record
Every field of the source record, in file order.
No further fields.