Skip to content

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

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
Status Success
Total duration 27s
Artifacts –

hypatia-scan.yml

on: pull_request
scan  /  Hypatia Neurosymbolic Analysis
23s
scan / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in