Skip to content
Hypatia Security Scan

ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof #122

Sign in to view logs

ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof

ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof #122

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