Experiment with F* formally verified components generated via Claude#3236

Stringy wants to merge 18 commits into

masterstackrox/collector:masterfrom

giles/formal-verificationstackrox/collector:giles/formal-verificationCopy head branch name to clipboard