kore/rpc, cterm/symbolic, proof: client_label for per-claim RPC attribution - #4923

Closed

ehildenb wants to merge 1 commit into

kore-rpc-client-label

Commits on May 29, 2026

kore/rpc, cterm/symbolic, proof/{reachability,implies}: add client_label for per-claim RPC attribution

ehildenb
and
claude
committed
d73315a