Skip to content
Hypatia Security Scan

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

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

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

hypatia-scan.yml

on: pull_request
scan  /  Hypatia Neurosymbolic Analysis
17s
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:b42f1077ba4d9450ee72c907540dd0b51336e727578bc2cb957f14aa6f991c93