Skip to content
Hypatia Security Scan

ABI Layer 2: prove linear-pointer memory safety (no use-after-free/double-free) — flagship Idris2 proof #132

Sign in to view logs

ABI Layer 2: prove linear-pointer memory safety (no use-after-free/double-free) — flagship Idris2 proof

ABI Layer 2: prove linear-pointer memory safety (no use-after-free/double-free) — flagship Idris2 proof #132

Triggered via pull request June 27, 2026 21:51
@hyperpolymathhyperpolymath
opened #44
claude/new-session-znxgm7
Status Success
Total duration 28s
Artifacts 1

hypatia-scan.yml

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

Artifacts

Produced during runtime
Name Size Digest
hypatia-scan-findings
1.5 KB
sha256:ec7ef21660b99de58abd1147d2dcffe88adbfbb35f3a7a19123724460fb3a6c9