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 push June 28, 2026 06:45
@hyperpolymathhyperpolymath
pushed 0088171
main
Status Success
Total duration 20s
Artifacts 1

hypatia-scan.yml

on: push
scan  /  Hypatia Neurosymbolic Analysis
15s
scan / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
hypatia-scan-findings
1.59 KB
sha256:227f1605747d6452adf0280c0d546fb223931c911665eaced74f204a8a4242f3