proofloop-sol-luna

Run bounded Sol implementation work with an enforceable Git-based test-distillation gate and an optional fresh read-only Luna review, without Herdr or a background watcher. Use when agent-generated tests should remain temporary during BUILD and require proof before permanent admission in HARDEN.