Alint

v0.13.0 Feature

This release adds 5 notable features for engineering teams evaluating rollout.

Published 1mo Developer Productivity

View tool

✓ No known CVEs patched

Read the diff → Tool health → What is this tool? →

✓ No known CVEs patched in this version

Topics

agent-friendly ci-cd devtools file-structure language-agnostic linter

+4 more

monorepo repolinter-alternative repository-quality rust-cli

Summary

AI summary

Updates span roadmap, xtask, ci pipelines, rule schemas, formal methods, and architecture diagrams.

Full changelog

What's Changed

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