Repository navigation

feat: trace_invariants evaluator and max_invariant_violations budget - #35

Merged

babaliauskas merged 16 commits into

mainfrom

feat/trace-invariants

Oct 7, 2026

Merged

feat: trace_invariants evaluator and max_invariant_violations budget#35
babaliauskas merged 16 commits into
mainfrom
feat/trace-invariants

Commits on Oct 6, 2026
- feat(config): trace_invariants evaluator family and max_invariant_violations budget
  
  babaliauskas
  and
  claude
  committed
  b609ed2
- feat(evaluators): pure checker for hand-written trace rules
  
  babaliauskas
  and
  claude
  committed
  3bfaf69
- feat(evaluators): trace_invariants evaluator for replayed and imported traces
  
  babaliauskas
  and
  claude
  committed
  ab0e750
- feat(evaluate): score trace_invariants, honour its applies_to, keep every sample's violations
  
  babaliauskas
  and
  claude
  committed
  47d0e68
- feat(policy): max_invariant_violations budget; a broken trace rule fails the run
  
  babaliauskas
  and
  claude
  committed
  318bc1c
- fix(policy): a slice that broke a trace rule fails, however small
  
  babaliauskas
  and
  claude
  committed
  178705a
- feat(report): list every broken trace rule, including ones the source shared
  
  babaliauskas
  and
  claude
  committed
  01c3c44
- fix(capture): sync keeps a managed suite's hand-written trace_invariants
  
  babaliauskas
  and
  claude
  committed
  f7f10aa
- test(integration): a broken trace rule fails run → evaluate → analyze
  
  babaliauskas
  and
  claude
  committed
  ad5e8a6
- test(integration): pin that the trace-rule budget alone fails the run
  
  babaliauskas
  and
  claude
  committed
  244f4ac
- docs: trace_invariants evaluator and max_invariant_violations budget
  
  babaliauskas
  and
  claude
  committed
  81454be
- fix(policy): count trace-rule violations per distinct example, not per row
  
  babaliauskas
  and
  claude
  committed
  26655c6
- fix(evaluate): warn when a trace_invariants evaluator checks nothing
  
  babaliauskas
  and
  claude
  committed
  0760e2e
- feat(report): mark advisory trace-rule violations
  
  babaliauskas
  and
  claude
  committed
  f72c84a
- test(integration): reword the trace-rule gate class docstring
  
  babaliauskas
  and
  claude
  committed
  b6a8d82
- docs: trace-rule budget counts distinct examples; advisory rows; empty-scope warning
  
  babaliauskas
  and
  claude
  committed
  b409c3c

Commits

Commits on Oct 6, 2026