docs+formal: dev roadmap, ADRs 0020–0023, proved Lean authority model + TLA+ store#236

hartsock merged 1 commit into

mainGilamonster-Foundation/agent-bridle:mainfrom

docs/roadmap-adrs-formalGilamonster-Foundation/agent-bridle:docs/roadmap-adrs-formalCopy head branch name to clipboard