Krv Labs

Structural code quality metrics, lattice verification, and refactor loops for agent-written code.