Skip to content
Hypatia Security Scan

Resolve the monad/comonad/adjunction variance of loss in --safe Agda #473

Sign in to view logs

Resolve the monad/comonad/adjunction variance of loss in --safe Agda

Resolve the monad/comonad/adjunction variance of loss in --safe Agda #473

Triggered via pull request June 19, 2026 23:25
@hyperpolymathhyperpolymath
opened #243
claude/eager-heisenberg-r3gz3c
Status Success
Total duration 57s
Artifacts 1

hypatia-scan.yml

on: pull_request
Hypatia Neurosymbolic Analysis
53s
Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Hypatia Neurosymbolic Analysis
git push to hyperpolymath/gitbot-fleet failed — findings not persisted. Set FLEET_PUSH_TOKEN with contents:write on hyperpolymath/gitbot-fleet to enable delivery.

Artifacts

Produced during runtime
Name Size Digest
hypatia-findings
872 Bytes
sha256:d48872e2caa35ee1d74f2104f20562807ee0a61dae811a4dd922f11bea6b0a1f