# DAT008 learner submission

Create exactly these two files before a real run:

- `03_search_workbench.sql` — copy from `../sql/03_search_workbench.template.sql` and replace every `__TODO_*__` token.
- `04_failure_probe.sql` — copy from `../sql/04_failure_probes.template.sql`, implement at least one predicted negative probe, and remove the placeholder.

Run only through `../src/run_postgres.py`. The runner is fail-closed: loopback host, database name prefix `maknow_dat008_`, explicit disposable confirmation, PostgreSQL major 18, bounded timeouts, fresh runtime evidence, and cleanup are mandatory.