Client evidence behind each operation, read from the ledgers at compile time.

A requirement is a native method name ("GetInstances"), a helper ("helper:connect") or a streaming contract ("stream:S01"). It has evidence only when every endpoint row mapping it is behavior-complete under a completion record (a stream contract must be certified) and its Go coverage entry, where one exists, names an implementation and evidence files. Tool results never feed back into these ledgers.