Skip to content
Hypatia Security Scan

ABI Layer 3: reversible operations form a group (modulo denotational equivalence) #110

Sign in to view logs

ABI Layer 3: reversible operations form a group (modulo denotational equivalence)

ABI Layer 3: reversible operations form a group (modulo denotational equivalence) #110

Triggered via pull request June 28, 2026 05:41
@hyperpolymathhyperpolymath
synchronize #32
claude/new-session-znxgm7
Status Success
Total duration 28s
Artifacts 1

hypatia-scan.yml

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

Artifacts

Produced during runtime
Name Size Digest
hypatia-scan-findings
1.68 KB
sha256:2e1c1ff8f97a62cf149b370fc04fc8010877a61e4ec6561fee0fba87fbef4ead