Release 0.9.5 - #20

Merged

CoderGamester merged 26 commits into

Aug 4, 2026

Commits on Jul 28, 2026

docs: author AGENTS.md/CLAUDE.md, rewrite README

CoderGamester
and
claude
committed
df2ea0f

Commits on Aug 2, 2026

docs: add Tests/ agent guide with shared ADMIT/RCR conventions

CoderGamester
and
claude
committed
4eb8a8c
test: RCR-backfill 18 of 89 statechart tests (validation, transition, state)

CoderGamester
and
claude
committed
8144a0e
test: RCR-backfill 7 ChoiceState tests

CoderGamester
and
claude
committed
bf08195
test: RCR-backfill 14 Wait/TaskWait tests

CoderGamester
and
claude
committed
995de23
docs: add UNFALSIFIABLE exemption and per-class verdicts to RCR (shared §2)

CoderGamester
and
claude
committed
186b595
test: strengthen the TaskWait D2 overclaim, reclassify the event-miss exemption

CoderGamester
and
claude
committed
4faca33
docs: record the first trustworthy coverage baseline (runtime 84.1%)

CoderGamester
and
claude
committed
620f21c
test: RCR-backfill the 8 StatechartLeave tests

CoderGamester
and
claude
committed
11c92d8
test: RCR-backfill the 17 StatechartNest tests

CoderGamester
and
claude
committed
46d32dc
style: prefix StatechartWaitTest's activity field with underscore

CoderGamester
and
claude
committed
7d07d3e
docs: add the A6 ENVIRONMENT admission criterion

CoderGamester
and
claude
committed
e919e9d
test: RCR-backfill the final 25 statechart tests - package complete at 89/89

CoderGamester
and
claude
committed
a2d1827

Commits on Aug 3, 2026

docs: add the SHARED-PATH verdict class to the shared section 2

CoderGamester
and
claude
committed
b985954
docs: record the verified coverage baseline and the OPEN rows the audit proved

CoderGamester
and
claude
committed
593e8db

Commits on Aug 4, 2026

docs: add CLOSED as a §13 state and require re-derivation to close a row

CoderGamester
and
claude
committed
51d3b20
docs: align XML doc comments with AGENTS.md §6.6

CoderGamester
and
claude
committed
5523434
docs+test: Smoke RCR exemption, the three unannotated states, and the unowned-edit measurement
CoderGamester
committed
d0a6b8c
docs: document the remaining public surface, per AGENTS.md §6.6

CoderGamester
and
claude
committed
cffed19
docs: normalise two doc-comment indent characters in Statechart.cs

CoderGamester
and
claude
committed
62557dc
docs: refine Statechart 0.9.5 release changelog
CoderGamester
committed
f201a2a
ci: add release-preflight check for develop->master PRs
CoderGamester
committed
acfcba1
ci: add release-preflight check for develop->master PRs
CoderGamester
committed
b93a357
fix: restore CRLF line endings in CHANGELOG.md
CoderGamester
committed
b525a5b
build: exclude .github/ from the published tarball
CoderGamester
committed
7bcc397
ci: add release-preflight check for develop->master PRs
CoderGamester
committed
28ec448