StoneCypher / jssm / 1e831b335823e08d29973f1c8ffc4d828a2fb4ca

100%

master: 100%

push

github

docs(era-book): items slice — v12 Proven, 23 files

The verification era: the automata-ladder decision gate (W8.1), the
Dwyer-pattern temporal property language with past ops and
settles_within (W8.2,6,7), three-backend model checking with
verdict-agreement + export bridges + PCTL (W8.3-5), the testing
toolkit (statistical MC, in-language test/expect, tests-are-tapes,
MBT, FSM-shaped coverage) (W8.8-12), F6 composed checking with
assume-guarantee/flow/SLO contracts (W8.13-16), and the
evolution/M2-signing tooling (W8.17-23). issue-twins from =fsl# tags.

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.32 hits per line