Proof marks for client builds: turn local soldr lint/test results into verifiable CI attestations so merge queues can skip re-running them (placeholder spike).