Skip to content
Hypatia Security Scan

ABI Layer 4: prove the FFI result-code seam is injective + faithful #137

Sign in to view logs

ABI Layer 4: prove the FFI result-code seam is injective + faithful

ABI Layer 4: prove the FFI result-code seam is injective + faithful #137

Triggered via pull request June 28, 2026 06:47
@hyperpolymathhyperpolymath
synchronize #46
claude/new-session-znxgm7
Status Success
Total duration 29s
Artifacts 1

hypatia-scan.yml

on: pull_request
scan  /  Hypatia Neurosymbolic Analysis
23s
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:03262352a322a4844bece9fc6631331793371ca1c34fd429a4d6866479a9ab1c