feat(expert): bounded classifier timestamp-range history #31

Merged

lost-rob0t merged 9 commits from rage/12-classifier-time-range-red into main

2026-08-31 12:32:11 +00:00

lost-rob0t commented

2026-08-31 12:31:54 +00:00

(Migrated from github.com)

Completes the remaining bounded timestamp/time-range acceptance in #12.

Canonical ARADR: research/LLM-LOG-RESEARCH-038-request-classifier-time-range.org
Implementation evidence: evidence/LLM-LOG-EVIDENCE-019-request-classifier-time-range.org

Verified RED:

exact head b3a1fcab67e17bf5de46f68c6e99d3bcbe8e8077
run 33391599303
all prior #10/#12, Python and Home Manager contracts passed; only the new time-only history query failed with the intended bounded-selector rejection.

Verified GREEN:

exact current head c5ddbcc0de54e8d2a9eb12cfb215011b6fed053d
run 33392092606 concluded success.

Implementation:

canonical whole-second UTC started_at_gte / started_at_lt filters;
finite half-open [gte,lt) semantics;
bounded existing Tek9 time index over request-event evidence;
stable point join to classifier-source evidence;
bounded assertion-index join with existing provenance;
malformed/inverted/unbounded requests rejected typed.

No Python rule engine. No Prolog rule change. No Tek9 repository mutation. No dotfiles mutation.

Completes the remaining bounded timestamp/time-range acceptance in #12. Canonical ARADR: `research/LLM-LOG-RESEARCH-038-request-classifier-time-range.org` Implementation evidence: `evidence/LLM-LOG-EVIDENCE-019-request-classifier-time-range.org` Verified RED: - exact head `b3a1fcab67e17bf5de46f68c6e99d3bcbe8e8077` - run 33391599303 - all prior #10/#12, Python and Home Manager contracts passed; only the new time-only history query failed with the intended bounded-selector rejection. Verified GREEN: - exact current head `c5ddbcc0de54e8d2a9eb12cfb215011b6fed053d` - run 33392092606 concluded success. Implementation: - canonical whole-second UTC `started_at_gte` / `started_at_lt` filters; - finite half-open `[gte,lt)` semantics; - bounded existing Tek9 time index over request-event evidence; - stable point join to classifier-source evidence; - bounded assertion-index join with existing provenance; - malformed/inverted/unbounded requests rejected typed. No Python rule engine. No Prolog rule change. No Tek9 repository mutation. No dotfiles mutation.