docs(flake): annotate KEEP+DEP rationale (standards#102) - #83

Merged

hyperpolymath merged 3 commits into

mainfrom

keep-nix-mirror-101-langtools

May 19, 2026

Commits on May 18, 2026

docs(proof-needs): reconcile believe_me audit — 5 justified axioms, not zero/4

hyperpolymath
and
claude
committed

Commits on May 19, 2026

docs(flake): annotate KEEP+DEP rationale per standards#102 rule 3

hyperpolymath
and
claude
committed
Merge branch 'main' into keep-nix-mirror-101-langtools
hyperpolymath
authored