Skip to content
Hypatia Security Scan

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

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 #122

Triggered via pull request June 28, 2026 06:46
@hyperpolymathhyperpolymath
synchronize #39
claude/new-session-znxgm7
Status Success
Total duration 27s
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.7 KB
sha256:40938b098d5f16e8cbac4a73bc00ca8956cbcdd673299448c605150c2704d72b