2 post(s) tagged here.

@ttsc/evidence turns missing specification obligations into compiler errors, replacing review-until-dry with a graph that reached 100% coverage on 4.8β13.3x fewer tokens.

Built on the TypeScript compiler's own APIs, it reads the graph the compiler already resolved instead of guessing at it, so it stays exact and cuts tokens about 10x even on...