Hardens Archimedes with subprocess timeouts, numeric benchmarks, finite-graph execution, candidate-ID binding and required-route checks.
Philosophy
Filled-in fields do not establish experimental success; execution results must belong to a specific candidate.
Architecture & control flow
- 01
Parse hard requirements into required routes
- 02
Run module-level solver, limit, benchmark and subprocess checks
- 03
Bind priors, deltas and experiment reports through candidate_id
- 04
Aggregate required-route gates into a candidate-bound package
Architecture outline derived from this version’s control flow.
What this version changes
Replaces several execution-shaped fields with executable module checks.
Inputs & outputs
- Inputs
Candidate genomes, required routes, priors and task tests.
- Outputs
Candidate-bound reports, numeric benchmarks, execution records and route verdicts.
Implementation & evidence scope
The archive’s default run is still Archimedes, so it should not be described as an end-to-end Dedalus default. Its mathematical checks also center on a preset graph-diffusion task.
Code & bundled material
The introduction draws on bundled notes, changelogs and central code. Software tests, synthetic diagnostics and scientific effectiveness use different evidence standards.
Source references
harness/discovery_v61/__init__.py· 1–28harness/run_agent.py· 1777–1792harness/discovery_v61/verifier/gates_math.py· 1–14harness/tests_v61/test_acceptance_criteria.py· 65–100V6_1_DEDALUS_CHANGELOG.md· 23–36v6_2_final_deep_validation_plan.md· 11–28