Repository navigation

Shorten AGENTS.md to tips; move the parity-gate rules to docs - #327

Merged

bdbarnett merged 1 commit into

mainfrom

Oct 28, 2026

Merged

Shorten AGENTS.md to tips; move the parity-gate rules to docs#327
bdbarnett merged 1 commit into
mainfrom
docs/agents-md

Commits on Oct 28, 2026
- Shorten AGENTS.md to tips; the parity-gate and oracle rules move to a docs page
  bdbarnett
  committed
  e068e71