Skip to content
Hypatia Security Scan

ABI Layer 2: prove operation reversibility (round-trip law) — flagship Idris2 proof #107

Sign in to view logs

ABI Layer 2: prove operation reversibility (round-trip law) — flagship Idris2 proof

ABI Layer 2: prove operation reversibility (round-trip law) — flagship Idris2 proof #107

Triggered via pull request June 27, 2026 19:47
@hyperpolymathhyperpolymath
opened #31
claude/new-session-znxgm7
Status Success
Total duration 24s
Artifacts 1

hypatia-scan.yml

on: pull_request
scan  /  Hypatia Neurosymbolic Analysis
17s
scan / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
hypatia-scan-findings
1.68 KB
sha256:9cc5d8dc4ae612584162158e0ea255f14e8ac792010097e4e9212464374a18d2