We present a formal ethical framework grounded in constructive logic, where obligations, harm, consent, and trust are defined in terms of provability. Ethical truth arises only from demonstrable proof objects, maintained in a shared proof ledger (Π). Obligations and statuses are derived via explicit inference rules, and trust is evaluated through a procedural function based on provable history. This layer forms the foundational logic of a multi-layered ethical system designed for transparency, accountability, and reparation.