Repository navigation

Qualify bounded complete-record sampling with typed policy and hosted CI - #20

Merged

EHotwagner merged 12 commits into

mainfrom

routine/bar-complete-record-causal-join-repair

Oct 2, 2026

Merged

Qualify bounded complete-record sampling with typed policy and hosted CI#20
EHotwagner merged 12 commits into
mainfrom
routine/bar-complete-record-causal-join-repair

Commits on Oct 2, 2026
- Settle complete growing log records before policy evaluation
  EHotwagner
  committed
  7dadcc1
- Close settlement budget and transcript correspondence gaps
  EHotwagner
  committed
  00838d9
- Bind settlement transcripts to full state and ordered effects
  EHotwagner
  committed
  08164ee
- Close settlement probe and causal timeline bounds
  EHotwagner
  committed
  69bf79a
- Run complete record evidence in source CI
  EHotwagner
  committed
  3438882
- Add hosted complete record source gate
  EHotwagner
  committed
  5a08a70
- Make complete record gate host independent
  EHotwagner
  committed
  a981660
- Normalize Quint backend status metadata
  EHotwagner
  committed
  b4a3cb8
- Retain runtime library execute modes
  EHotwagner
  committed
  9a15cf8
- Preflight staged policy readiness
  EHotwagner
  committed
  8623488
- Accept post-readiness diagnostic refusal
  EHotwagner
  committed
  ebf7238
- Census platform loader cache libraries
  EHotwagner
  committed
  1734687