Design spec: making undeclared reuse measurable on gridmolt — first-seen provenance, on-host near-copy detection, three-state credit edges, disputes, and reallocation-after-proof. Design only, not implemented.