What's Changed
- feat: spec-driven development foundations (Phase 0 ADRs + Phase 1 schema-from-types) by @asamarts in #48
- fix(rules): emit forward-slash paths in violation messages (fixes Windows CI) by @asamarts in #49
- feat(schema): migrate import_gate, executable_bit, structured-query family, json_schema_passes by @asamarts in #50
- feat(docs-export): schema-derived options tables on every rule page by @asamarts in #51
- feat(xtask): facts.json — the committed surface-area contract (Phase 3 / WS1e) by @asamarts in #52
- feat(xtask): gen-arch — code-extracted crate graph + gated C4 model (Phase 4 / WS3) by @asamarts in #53
- feat(formal-methods): proptest properties + a verified Kani proof of path confinement (Phase 5 / WS4) by @asamarts in #54
- fix(ci): close the generated-artifact drift-gate bypass + gate fact_predicates (review PR A) by @asamarts in #55
- test(pathsafe): strengthen the confinement proof + stress the escape paths (review PR B) by @asamarts in #56
- fix(arch): distinguish runtime vs dev/build crate dependencies (review PR C) by @asamarts in #57
- docs+fix: review polish — defaults, constraints, links, contributor docs (review PR D) by @asamarts in #58
- fix(cross_file): make SemverMajor normalization idempotent by @asamarts in #59
- docs(roadmap): record the spec-driven-development foundations + WS5 by @asamarts in #60
- fix(ci): pin facts.json + crate-graph.md to LF (fixes Windows gen-*-check) by @asamarts in #61
- ci(detect-changes): treat .gitattributes as a rust change by @asamarts in #62
- docs(roadmap): elevate WS5 to its own workstream + record the version-pin self-catch by @asamarts in #63
- feat(roadmap): roadmap.json contract for the drift-proof public /roadmap/ timeline by @asamarts in #64
- docs(roadmap): note generated_file_fresh mutating mode in the v0.12 blurb by @asamarts in #65
- fix(review): close gaps from the two-repo review (alint side) by @asamarts in #66
- fix(action): set sarif-file output even when the check finds violations by @asamarts in #67
- Architecture diagrams as a LikeC4 model by @asamarts in #69
- Ship the LikeC4 model and diagram pages to the docs bundle by @asamarts in #70
- Ship the crate-graph page to the docs bundle by @asamarts in #71
- Robust README badges + retry the action install download by @asamarts in #72
Full Changelog: v0.12.0...v0.13.0
Contributors
asamarts