v0.7.0

Changelog

• 6bb8c7e CLAUDE.md: a peer message that needs nothing gets no reply
• 6257474 Merge branch 'main' into claudio/20260929-no-replace
• 7009c82 Merge pull request #188 from farcloser/claudio/20260929-security-recipe
• 7545c90 Merge pull request #189 from farcloser/claudio/20260929-judging-findings
• 8da2062 Merge pull request #190 from farcloser/renovate/farcloser-limen-0.x
• d1320dc Merge pull request #191 from farcloser/claudio/20260929-no-replace
• 88d86f0 Merge pull request #192 from farcloser/claudio/20260929-no-process-substitution
• 9b71e0e Merge pull request #193 from farcloser/claudio/20260929-lint-signers
• c2073dc Merge pull request #194 from farcloser/claudio/20260929-release-go
• 0d99ed6 Merge pull request #195 from farcloser/claudio/20260929-checksum-untracked
• d2df86e Merge pull request #196 from farcloser/claudio/20260929-aqua-dir
• f0f299d Merge pull request #197 from farcloser/claudio/20260929-dot-justfile
• d7417c3 Merge pull request #198 from farcloser/claudio/20260929-renovate-jsonc
• 8db1182 Merge pull request #199 from farcloser/claudio/20260929-renovate-preset
• 839c72f Merge pull request #200 from farcloser/claudio/20260929-lint-github
• 85c2c86 Merge pull request #201 from farcloser/renovate/aqua-tools
• 6bf8978 Merge pull request #202 from farcloser/claudio/20260930-renovate-seed
• 944bd0b Merge pull request #203 from farcloser/renovate/aqua-tools
• 6b73d8b Merge pull request #204 from farcloser/renovate/aqua-tools
• de6c751 Merge pull request #205 from farcloser/claudio/20261003-git-for-windows
• aeb5bb5 Merge pull request #206 from farcloser/claudio/20261003-refresh-pins
• 088f31b Merge pull request #207 from farcloser/claudio/20261003-book-windows
• a1890e7 Merge pull request #208 from farcloser/claudio/20261004-book-review
• 15ada90 Merge pull request #209 from farcloser/claudio/20261004-aqua-import
• 498293a Merge pull request #210 from farcloser/claudio/20261003-pins-version-groups
• 6c52fb9 Merge pull request #211 from farcloser/claudio/20261003-book-onboarding
• 3020a42 Merge pull request #212 from farcloser/claudio/20261004-review-shape
• a14c3fb Merge pull request #214 from farcloser/claudio/20261004-locked-laptop
• 1808357 Merge pull request #215 from farcloser/claudio/20261004-review-request-message
• 8893797 Merge pull request #216 from farcloser/claudio/20261004-gitignore-required
• a64fc66 Merge pull request #217 from farcloser/claudio/20261004-pr-shape
• 803dd8d Merge pull request #218 from farcloser/claudio/20261004-quiet-peer-messages
• 6d5b42b Merge pull request #219 from farcloser/claudio/20261004-readme-pinned-install
• f06ebc9 Merge pull request #220 from farcloser/claudio/20261004-gotools-pinned
• ac27414 Merge pull request #221 from farcloser/claudio/20261004-claude-md-consolidate
• 1b29fa4 Merge pull request #222 from farcloser/claudio/20261004-build-nested-modules
• 5445898 agents: CLAUDE.md keeps only what is limen's own
• d1a7e38 agents: a locked laptop is not broken tooling
• 15dfb35 agents: the reviewing session hears of a pull request at open and at the review request
• db654e5 agents: the shape of a pull request
• cbe1b98 aqua: on Windows, the coreutils are Git for Windows' own
• 6bde2d4 aqua: the canonical tools come from an imported .limen/aqua.yaml
• 5d2fedd aqua: the manifest, checksums and policy live in .aqua/
• 2e88920 book, AGENTS.md: a linter finding is judged, not obeyed
• c43e2ec book, AGENTS.md: a replace directive is never committed
• bfb53c8 book: a .gitignore carries four required patterns
• 918463c book: a regex versioning's named groups expand in pins templates
• e8b5f52 book: a windows chapter
• b13d7e9 book: aqua's files live in .aqua/
• 3d01feb book: fix seeds a tool at the release's pins
• d6ea342 book: onboarding an existing repository
• 3dbc800 book: reviewing code
• b57f663 book: the canonical tools come from an imported .limen/aqua.yaml
• a9b74dd book: the pinned coreutils, per platform
• 036a4fe book: the root justfile is .justfile
• 3f4711c book: the shape of a review
• d7f6b42 book: the shared Renovate configuration lives in .limen/renovate.json
• 1a71708 build: a command that is a module of its own builds from inside it
• 1242bda chore(deps): update aqua tools
• 4f06f92 chore(deps): update dependency aquaproj/aqua-registry to v4.568.0
• 5aa16bd chore(deps): update dependency farcloser/limen to v0.6.2
• 17e42a1 chore(deps): update dependency quint-co/quint to v0.33.0
• 375aed8 chore: refresh checksums and converge the limen baseline
• e0583ab chore: refresh checksums and converge the limen baseline
• 869e927 chore: refresh checksums and converge the limen baseline
• f764ffb chore: refresh checksums and converge the limen baseline
• a32d6f5 cli: the Windows aqua stub tests its arguments in cmd, not with find
• 5fb5107 contribute: .claude is ignored by the repository, not per clone
• f2d959b design: the windows-11-arm exit 4, recorded
• c73eec0 github: the audit's exceptions live in .lint-github.yaml
• 9b6ecc3 gitignore: four patterns are required, and fix appends the missing ones
• 41dfb7f gotools: fix seeds a missing tool at limen's own pins, never @latest
• d3b1ffd just: no process substitution in the shared recipes
• 56be9f2 justfile: the root justfile is .justfile
• f0c61d4 lint commits: every author signs with a key .lint-signers lists
• e6eac45 pins: a regex versioning's named groups expand in the templates
• faa3abd readme: build limen from the clone, not at @latest
• 054d69c release: goreleaser's configuration is .release-go.yaml
• 06e0349 renovate: the .jsonc config names are superseded too
• 0ea7ce0 renovate: the seed lives beside its rule
• f221bdd renovate: the shared configuration lives in .limen/renovate.json
• 48cb8e2 rules: .release-go.yaml carries its schema line, and fix migrates the old name
• 06b1003 rules: fix renames .allowed_signers to .lint-signers
• 401b001 rules: the root Justfile must define the security recipe the workflow runs
• e25cfde tools: every pin at its latest
• 012036c vm_testing: driving utmctl from inside the agent sandbox
• cf3971c workflows: the checksum job commits files in new directories