eBPF verifier limits are a design constraint: what CO-RE field offsets and bounded loops taught me

Writing kernel eBPF programs in a portable way — CO-RE relocation, verifier-friendly loops, amortized map design — from the trenches of talus-process-monitor and its CI verification chain.