lakshmi-chakradhar-vijayarao

Epistemic guard for AI coding: tracks uncertain values and blocks writes until verified.