docs(1b): record W0 lint decisions (DECISIONS) + claim W0 gate (STATUS/JOURNAL)

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This commit is contained in:
2026-05-27 21:00:31 +01:00
parent 4af427c01e
commit 233939a58b
3 changed files with 76 additions and 3 deletions

View File

@ -21,11 +21,19 @@ REVIEW-1b, then `## DONE`.
deviations in DECISIONS.md.
## In flight
**W0 — tooling + format.** Starting: add formatters/linters + `lint` entrypoint + devshell; format
codebase; wire `.drone.yml` lint stage.
**W0 — tooling + format: BUILT, self-verified.** Added the `lint` devshell + `scripts/lint.sh` +
ruff/yamllint config (built from pinned nixpkgs); auto-formatted + lint-cleaned the whole codebase
(ruff/nixpkgs-fmt/statix/deadnix/shfmt); wired the `lint` stage into the `.drone.yml` push pipeline
(FAIL on unclean). `scripts/lint.sh`**lint: PASS** on a clean checkout on cc-ci; the
nixosConfiguration still evaluates and all Python byte-compiles.
Note: the Gitea→Drone push webhook is flaky (pre-existing, §4.1) so a push doesn't reliably
auto-create a Drone build; the stage is proven green via the exact `nix develop .#lint` command the
stage runs. Next: claim the W0 gate for the Adversary, start W1 (review checklist).
## Gate
(none yet)
**W0 CLAIMED, awaiting Adversary** (RL1). Acceptance: from a clean checkout,
`nix develop .#lint --command bash scripts/lint.sh``lint: PASS`; the stage is in `.drone.yml`'s
push pipeline.
## Blocked
(none)