Skip to content
Hypatia Security Scan

ABI Layer 2: prove C-binding signature preservation — flagship Idris2 proof #118

Sign in to view logs

ABI Layer 2: prove C-binding signature preservation — flagship Idris2 proof

ABI Layer 2: prove C-binding signature preservation — flagship Idris2 proof #118

Triggered via pull request June 27, 2026 19:46
@hyperpolymathhyperpolymath
opened #36
claude/new-session-znxgm7
Status Success
Total duration 1m 6s
Artifacts –

hypatia-scan.yml

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