SRD Engine / Domain Catalogue

The SRD Engine domain catalogue

Every domain below is cast into the same verifier-gated SRD discipline: propose candidates, re-enter the exact original domain, and let a domain-specific external verifier decide - or abstain. This is a catalogue of surfaces, not a list of solved problems. Status is honest and per-domain: delivered-verified means a real, poly-time, externally-checked closure exists today; research is a measured candidate; open means the verifier is defined but the closure is not yet delivered (search may remain exponential - no P=NP is claimed).

47
delivered-verified
46
research candidates
1,335
open (verifier defined)
1,428
total domains

FieldSubdomainVerifierStatus

Verifier-gated: a domain is only ever publicly claimed delivered when its external verifier closes reproducibly. The SRD method and engine internals are sealed; this page exposes only the public status ledger.