pj a449c99f08 test(ltl): pin that a slow policy does not fail on time alone ...

Same 300-observation trace at two cadences: a 300 second bound holds for the
seeded arm and violates for the model arm eight observations before the
predicate fires, while a step bound holds for both. Green before and after,
because the step unit already worked; this pins the property rather than
fixing it.

Claude-Session: https://claude.ai/code/session_01A5KmftdEJ49A9z5mF5ESrX

2026-08-14 17:50:37 +05:30

..

duality_test.go

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30

evaluator_test.go

test(ltl): pin that a slow policy does not fail on time alone

2026-08-14 17:50:37 +05:30

evaluator.go

fix(ltl): keep the authored window on a step-bounded obligation

2026-08-14 17:50:19 +05:30

false_negative_test.go

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30

finalize_test.go

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30

formula_test.go

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30

formula.go

fix(ltl): keep the authored window on a step-bounded obligation

2026-08-14 17:50:19 +05:30

nnf_test.go

UX refactor (#52)

2026-06-02 09:52:53 +05:30

nnf.go

fix(ltl): keep the authored window on a step-bounded obligation

2026-08-14 17:50:19 +05:30

root_test.go

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30

step_bound_test.go

fix(ltl): keep the authored window on a step-bounded obligation

2026-08-14 17:50:19 +05:30

witness_test.go

Attribute violations to the causing step and render witness evidence (#59)

2026-06-05 23:46:36 +05:30