#15: bounded outcome evidence substrate #45

Merged

lost-rob0t merged 5 commits from rage/15-outcome-evidence-red into main

2026-08-31 22:21:51 +00:00

lost-rob0t commented

2026-08-31 22:21:21 +00:00

(Migrated from github.com)

Implements one bounded Auto-ARADR + Auto-RAGE slice for #15.

Canonical design: research/LLM-LOG-RESEARCH-045-outcome-evidence-substrate.org
RED evidence: evidence/LLM-LOG-EVIDENCE-031-outcome-evidence-red.org
GREEN evidence: evidence/LLM-LOG-EVIDENCE-032-outcome-evidence-green.org

Key contract:

Common Lisp owns typed bounded ingestion, Tek9 persistence, Prolog supervision/result validation.
SWI-Prolog alone owns outcome_decision inference.
Tek9 stores raw outcome evidence separately from derived immutable assertions.
authoritative user rejection beats transport HTTP 200.
transport HTTP 200 alone remains unknown, never task success.
exact provenance survives expert-host restart.
no Python rule engine, Tek9 repo mutation, dotfiles mutation, #13 analytics, provider-census change, or PR #5 pollution.

RED exact head: 6da93978808564e6d5242ec17ea72e0b80e647f2, run 33445207439.
Implementation GREEN: 287ac94e30327ed3f987e02c03f1aa290ee95a4c, run 33445559581.
Strengthened restart GREEN: 704417d5ccf822c8fe18d37be9aa301bb4fcfa9a, run 33445653420.
Final evidence-only exact head: 70df878bf514b8e8c6f99a10e8a993e4ec910e38, run 33445728577, all three lanes GREEN.

Implements one bounded Auto-ARADR + Auto-RAGE slice for #15. Canonical design: `research/LLM-LOG-RESEARCH-045-outcome-evidence-substrate.org` RED evidence: `evidence/LLM-LOG-EVIDENCE-031-outcome-evidence-red.org` GREEN evidence: `evidence/LLM-LOG-EVIDENCE-032-outcome-evidence-green.org` Key contract: - Common Lisp owns typed bounded ingestion, Tek9 persistence, Prolog supervision/result validation. - SWI-Prolog alone owns `outcome_decision` inference. - Tek9 stores raw outcome evidence separately from derived immutable assertions. - authoritative user rejection beats transport HTTP 200. - transport HTTP 200 alone remains `unknown`, never task success. - exact provenance survives expert-host restart. - no Python rule engine, Tek9 repo mutation, dotfiles mutation, #13 analytics, provider-census change, or PR #5 pollution. RED exact head: `6da93978808564e6d5242ec17ea72e0b80e647f2`, run 33445207439. Implementation GREEN: `287ac94e30327ed3f987e02c03f1aa290ee95a4c`, run 33445559581. Strengthened restart GREEN: `704417d5ccf822c8fe18d37be9aa301bb4fcfa9a`, run 33445653420. Final evidence-only exact head: `70df878bf514b8e8c6f99a10e8a993e4ec910e38`, run 33445728577, all three lanes GREEN.