Skip to content
ECHIDNA Validation

fix(proofs/idris2): redesign auditTrailCompleteness as per-insertion theorem (closes #131) #182

Sign in to view logs

fix(proofs/idris2): redesign auditTrailCompleteness as per-insertion theorem (closes #131)

fix(proofs/idris2): redesign auditTrailCompleteness as per-insertion theorem (closes #131) #182

Triggered via pull request June 2, 2026 23:36
@hyperpolymathhyperpolymath
opened #135
proofs/idris2-131-audit-trail-completeness-redesign
Status Failure
Total duration 2m 19s
Artifacts –

echidna-validation.yml

on: pull_request
ECHIDNA Proof Verification
2m 14s
ECHIDNA Proof Verification
Lean 4 ↔ Rust Correspondence
37s
Lean 4 ↔ Rust Correspondence
Fit to window
Zoom out
Zoom in

Annotations

1 error
ECHIDNA Proof Verification
Process completed with exit code 101.