fix(proofs/idris2): RMO.idr overwriteIrreversible + auditTrailCompleteness type fixes#117

hyperpolymath merged 1 commit into

mainhyperpolymath/valence-shell:mainfrom

claude/rmo-overwrite-audittrail-fixeshyperpolymath/valence-shell:claude/rmo-overwrite-audittrail-fixesCopy head branch name to clipboard