Skip to content
Hypatia Neurosymbolic Scan

feat: add ClassificationSoundness.idr + PatternCompleteness.idr + aud… #147

Sign in to view logs

feat: add ClassificationSoundness.idr + PatternCompleteness.idr + aud…

feat: add ClassificationSoundness.idr + PatternCompleteness.idr + aud… #147

Triggered via push March 30, 2026 12:29
@hyperpolymathhyperpolymath
pushed 349e4ba
main
Status Failure
Total duration 22m 31s
Artifacts –

hypatia-scan.yml

on: push
Neurosymbolic Security Scan
3s
Neurosymbolic Security Scan
Fit to window
Zoom out
Zoom in

Annotations

1 error
Neurosymbolic Security Scan
Process completed with exit code 1.