Generative testing: grammar-derived inputs + by-construction consistency (#25)#28

Merged

johnsoncodehk merged 6 commits into

generative-testing

Jun 8, 2026

Commits on Jun 8, 2026

Generative testing: grammar-derived inputs + by-construction consistency (#25)
johnsoncodehk
committed
Generator: directed tokenCover strategy for deterministic per-token coverage
johnsoncodehk
committed
Generator: replace random fuzz with deterministic systematic coverage
johnsoncodehk
committed
Generator precision: make the gap shape-classes systematically producible
johnsoncodehk
committed
Gap ledger: deterministic, minimized, oracle-classified findings (KNOWN-GAPS.md)
johnsoncodehk
committed
Generative: close the comment coverage hole via injected witnesses
johnsoncodehk
committed