#15: bounded outcome dataset export #49

Merged

lost-rob0t merged 17 commits from rage/15-outcome-dataset-red into main

2026-09-01 00:34:15 +00:00

lost-rob0t commented

2026-09-01 00:33:51 +00:00

(Migrated from github.com)

Completes one bounded #15 slice on the exact tested head.

Canonical design: research/LLM-LOG-RESEARCH-047-outcome-dataset-export.org.
Evidence: evidence/LLM-LOG-EVIDENCE-035-outcome-dataset-red.org, EVIDENCE-036-outcome-dataset-upgrade-red.org, and EVIDENCE-037-outcome-dataset-green.org.

Implements finite query_outcome_dataset over stored immutable outcome assertions, complete evidence/rule/expert provenance, default exclusion of superseded labels, truthful bounded truncation, and a versioned one-time Tek9 index backfill for existing corpora. Export never reruns Prolog.

Exact final head 9bf2d997d10a3b2340858a24f1141fdf655832e9 passed all Common Lisp/Tek9/SWI-Prolog, Python policy/transport, and Home Manager gates in run 33455152519.

No Tek9 repository production change and no dotfiles change.

Completes one bounded #15 slice on the exact tested head. Canonical design: `research/LLM-LOG-RESEARCH-047-outcome-dataset-export.org`. Evidence: `evidence/LLM-LOG-EVIDENCE-035-outcome-dataset-red.org`, `EVIDENCE-036-outcome-dataset-upgrade-red.org`, and `EVIDENCE-037-outcome-dataset-green.org`. Implements finite `query_outcome_dataset` over stored immutable outcome assertions, complete evidence/rule/expert provenance, default exclusion of superseded labels, truthful bounded truncation, and a versioned one-time Tek9 index backfill for existing corpora. Export never reruns Prolog. Exact final head `9bf2d997d10a3b2340858a24f1141fdf655832e9` passed all Common Lisp/Tek9/SWI-Prolog, Python policy/transport, and Home Manager gates in run 33455152519. No Tek9 repository production change and no dotfiles change.