Bind claims to code
We parse every doc into discrete, checkable assertions — a command, an env var, an endpoint, a file path, a threshold — and anchor each one to a symbol in your AST. Not a keyword match. A real binding.
L14 claim "run pg_failover --zone=b"
└─ bound → cmd/failover.go:88
L27 claim "timeout is 30s"
└─ bound → config/db.yaml:12