Added a TLA+/TLC trace-validation baseline with trace export, runner integration, and experiment tooling. - #90

Open

baochunli wants to merge 12 commits into

mainfrom

Commits on Jan 30, 2026

Added the 5.2-xhigh TLA related implementation.
XindanZhang
committed
6a59091
Updated bench results.
XindanZhang
committed
850d73f
Propagate TLC baseline to testgen
XindanZhang
committed
b855cd2
Added fault-injection agreement and RSS sampling.
XindanZhang
committed
4ab186a
Ignore Python bytecode
XindanZhang
committed
d7a3ce6
Export experiment results
XindanZhang
committed
398e686
Document experiment reproduction
XindanZhang
committed
2c89e21

Commits on Feb 1, 2026

Commits on Feb 2, 2026

Implemented coverpoint catalog emission in the checkers.
baochunli
committed
09caa05

Commits on Feb 3, 2026

Added local timings for `leanguard-testgen`.
XindanZhang
committed
1eb3ee1

Commits on Feb 4, 2026

Made the goal-oriented experiments much stronger by adding a non-DCQCN goal campaign.
baochunli
committed
fb7c850