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).
| Field | Subdomain | Verifier | Status |
|---|
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.