Found during #58 review. **Gap** - `banking` sample cleanliness is CI-gated (`operators-constants.spec.ts` problems-badge assertion). - `acme-tickets`, `acme-payments`, `model/` have no error-free gate — #58's sample sweep was trusted only via a manual `pds doc` run. **Ask** - CI step: `pds doc` over `web-ide/src/lib/samples/*` + `model/`; fail on any error-severity diagnostic. - Keeps the CLAUDE.md contract ("every worked example compiling and exemplary") measured, not assumed. refs #58
Found during #58 review.
Gap
bankingsample cleanliness is CI-gated (operators-constants.spec.tsproblems-badge assertion).acme-tickets,acme-payments,model/have no error-free gate — lang: mandatory return types — every callable declares: Type,voidexplicit #58's sample sweep was trusted only via a manualpds docrun.Ask
pds docoverweb-ide/src/lib/samples/*+model/; fail on any error-severity diagnostic.refs #58