Skip to content
Hypatia Security Scan

ABI Layer 2: prove forbidden actions are never permitted (ethical safety) — flagship Idris2 proof #113

Sign in to view logs

ABI Layer 2: prove forbidden actions are never permitted (ethical safety) — flagship Idris2 proof

ABI Layer 2: prove forbidden actions are never permitted (ethical safety) — flagship Idris2 proof #113

Triggered via pull request June 27, 2026 19:49
@hyperpolymathhyperpolymath
opened #33
claude/new-session-znxgm7
Status Success
Total duration 41s
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.84 KB
sha256:7efb0264700e0137f1f39746f69e0f06eefe46a7174905ec55b02c9654845659