结论:L4-TOOL-DB native protocol proof 已通过,ToolDbProcessPort/OPFS/browser gates 保持 contract-only 且不解锁 promotion。