Applications
D-04exploratoryUnder investigation
Scientific Discovery
Programmatic hypothesis generation subject to reproducible verification.
Current scope
Investigating whether verified mutation and provenance discipline can shape a research loop in domains where the verifier is a simulation, experimental protocol, or replay corpus.
Explicitly out of scope
- No wet-lab or physical-experiment integration is planned.
- This is not a claim of scientific autonomy — human interpretation stays in the loop.
Research strands informing this scope
Scientific integrity protocol
Falsification-first methodology and honest-limitations clauses are already the norm for Prodia's own experiments.
Runtime verification methodology
The verifier becomes domain-specific (simulation, corpus, protocol) but the gate criteria are preserved.
Evidence references
Each reference links to the signed dossier for that experiment. Nothing on this page claims deployment — these are the artifacts that inform the current scope.
Open questions
- What qualifies as a signed dossier when the verifier is a physical protocol?
- How is reproducibility measured when the substrate is stochastic?
Next milestone
Publish a small in-silico pilot with a signed hypothesis lineage and a stated null.