Skip to content
Hypatia Security Scan

ABI Layer 3: monotonicity of cost accounting + downward-closed budget #110

Sign in to view logs

ABI Layer 3: monotonicity of cost accounting + downward-closed budget

ABI Layer 3: monotonicity of cost accounting + downward-closed budget #110

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

hypatia-scan.yml

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

Artifacts

Produced during runtime
Name Size Digest
hypatia-scan-findings
1.65 KB
sha256:88d0a8e1c5c8bfa3fa61bdcd6edca0c1c570eaa2da66d38118cc4fa7e782b10e