Skip to content

Session/epi mono consumer - #155

Merged
hyperpolymath merged 3 commits into
mainfrom
session/epi-mono-consumer
May 29, 2026
Merged

Session/epi mono consumer#155
hyperpolymath merged 3 commits into
mainfrom
session/epi-mono-consumer

Merge branch 'main' into session/epi-mono-consumer

5b6895e
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / Hypatia failed May 29, 2026 in 2s

1 new alert including 1 error

New alerts in code changed by this pull request

  • 1 error

See annotations below for details.

View all branch alerts.

Annotations

Check failure on line 1 in proofs/agda/EchoImageFactorizationPropPostulated.agda

See this annotation in the file changed.

Code scanning / Hypatia

Hypatia code_safety: agda_postulate Error

Agda postulate assumes without proof -- potential soundness hole (3 occurrences, CWE-704)