Skip to content

fix: close Phase E1 profile-binding soundness holes - #67

Merged
txmed82 merged 2 commits into
mainfrom
fix/stream-profile-binding-integrity
Sep 11, 2026
Merged

fix: close Phase E1 profile-binding soundness holes#67
txmed82 merged 2 commits into
mainfrom
fix/stream-profile-binding-integrity

fix: accept fully finite valid_range; reject only both-unbounded (dro…

7a040bb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar