Skip to content

BMC onboarding lane A: model RandomBytes host effect (read OS CSPRNG via /dev/urandom) + by-execution witness, composing with base64 (#5585) to mint credentials - #5633

Merged
briansrls merged 14 commits into
mainfrom
session/cool-lynx-690
Jun 23, 2026
Merged

BMC onboarding lane A: model RandomBytes host effect (read OS CSPRNG via /dev/urandom) + by-execution witness, composing with base64 (#5585) to mint credentials#5633
briansrls merged 14 commits into
mainfrom
session/cool-lynx-690

Address review #32073: drop hollow uses clause + add dissolve-on feat…

11c27d7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar