StoneCypher / jssm / 501b4871f5b93a75e8530caaf614f774857057a0

100%

master: 100%

push

github

docs(era-book): v12/e3 tracker residue — 5 files

The non-twin e3 residue: the leanstral prover backend spike
(Tfsl-1399), the semantic debugger (Tfsl-1385), the deferred
dense-time / probabilistic-timed-automata tiers (Tfsl-1361 blocks
Tfsl-1362), and Playwright-driven MBT (Tfsl-1146). W8 twins
(#492/#1360/#485/#497/#1244-1249/#622) and the stochastic-META
umbrellas (#465/#994, fully covered by W8.5/W8.8) excluded. Two
clusters aligned to their W8 siblings for diagram grouping.

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

3239 of 3239 branches covered (100.0%)

Branch coverage included in aggregate %.

5258 of 5258 relevant lines covered (100.0%)

10308.34 hits per line