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.64 KB
sha256:e5fa1ca90ff6639d32dc90ae5f029753f67baf7897b4fb8b3e0d0d107fd14d4b