pj 5dc137d11c fix(ltl): serialize the resolved deadline of a bounded window ...

Two obligations spawned at different steps from one duration-bounded formula
differ only in the deadline the evaluator resolved for them, so they serialized
identically and the trace erased a distinction the evaluator makes. The authored
window stays in amount/unit; the resolved deadline rides alongside.

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

2026-08-12 16:47:05 +05:30

..

duality_test.go

fix(ltl): make a bounded always the dual of a bounded eventually

2026-08-12 16:46:36 +05:30

evaluator_test.go

test: full test-suite refactor sweep (#61)

2026-06-06 13:59:08 +05:30

evaluator.go

fix(ltl): arm a one-shot root once per run

2026-08-12 16:46:43 +05:30

false_negative_test.go

fix(ltl): make a bounded always the dual of a bounded eventually

2026-08-12 16:46:36 +05:30

finalize_test.go

fix(ltl): reduce a thrown-predicate residual instead of panicking

2026-08-12 16:46:26 +05:30

formula_test.go

fix(ltl): serialize the resolved deadline of a bounded window

2026-08-12 16:47:05 +05:30

formula.go

fix(ltl): serialize the resolved deadline of a bounded window

2026-08-12 16:47:05 +05:30

nnf_test.go

UX refactor (#52)

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

nnf.go

UX refactor (#52)

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

root_test.go

fix(ltl): arm a one-shot root once per run

2026-08-12 16:46:43 +05:30

witness_test.go

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

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