/Users/buger/.codex/worktrees/verification-plan-guide/reqforge/docs/research/remaining-library-refinement-2026-10-28/08-loop-invariant/research/captured/bin/proof-current: go1.26.3
	path	github.com/probelabs/proof/cmd/proof
	mod	github.com/probelabs/proof	(devel)	
	dep	github.com/dustin/go-humanize	v1.0.1	h1:GzkhY7T5VNhEkwH0PVJgjz+fX1rhBrR7pRT3mDkpeCY=
	dep	github.com/google/uuid	v1.6.0	h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=
	dep	github.com/ianlancetaylor/demangle	v0.0.0-20261012173340-cbb8aaea4290	h1:kv8MRpE97lV8dkoMAJzsAVZ86kv7BevizwSUo+1okU0=
	dep	github.com/klauspost/compress	v1.20.0	h1:a3C1ke2ohxFymNlb2HWAHjDeKCI90scRskErZkR0ezA=
	dep	github.com/klauspost/cpuid/v2	v2.0.12	h1:p9dKCg8i4gmOxtv35DvrYoWqYzQrvEVdjQ762Y0OqZE=
	dep	github.com/mattn/go-isatty	v0.0.20	h1:xfD0iDuEKnDkl03q4limB+vH+GxLEtL/jb4xVJSWWEY=
	dep	github.com/ncruces/go-strftime	v1.0.0	h1:HMFp8mLCTPp341M/ZnA4qaf7ZlsbTc+miZjCLOFAw7w=
	dep	github.com/pelletier/go-toml/v2	v2.2.4	h1:mye9XuhQ6gvn5h28+VilKrrPoQVanw5PMw/TB0t5Ec4=
	dep	github.com/probelabs/ste	v1.2.1-0.20260828085441-21a0ff0bae15	h1:neAyV2xTJzsZp3nqBalORJsYHsSbTq8pWLyAJGc/DsI=
	dep	github.com/remyoudompheng/bigfft	v0.0.0-20230129092748-24d4a6f8daec	h1:W09IVJc94icq4NjY3clb7Lk8O1qJ8BdBEF8z0ibU0rE=
	dep	github.com/smacker/go-tree-sitter	v0.0.0-20240827094217-dd81d9e9be82	h1:6C8qej6f1bStuePVkLSFxoU22XBS165D3klxlzRg8F4=
	dep	github.com/spf13/cobra	v1.10.2	h1:DMTTonx5m65Ic0GOoRY2c16WCbHxOOw6xxezuLaBpcU=
	dep	github.com/spf13/pflag	v1.0.9	h1:9exaQaMOCwffKiiiYk6/BndUBv+iRViNW+4lEMi0PvY=
	dep	github.com/tree-sitter-grammars/tree-sitter-zig	v1.1.2	h1:j8JARutysdxMwBEfVLGx9us7cdSzD1TTui/pPLGCFDk=
	dep	github.com/yalue/onnxruntime_go	v1.31.0	h1:1ln4YW1SFOFfGJZXe3jNOb2JUSt+l2pEneZfV8HdtFA=
	dep	github.com/yuin/goldmark	v1.8.2	h1:kEGpgqJXdgbkhcOgBxkC0X0PmoPG1ZyoZ117rDVp4zE=
	dep	github.com/zeebo/blake3	v0.2.4	h1:KYQPkhpRtcqh0ssGYcKLG1JYvddkEA8QwCM/yBqhaZI=
	dep	golang.org/x/mod	v0.35.0	h1:Ww1D637e6Pg+Zb2KrWfHQUnH2dQRLBQyAtpr/haaJeM=
	dep	golang.org/x/net	v0.53.0	h1:d+qAbo5L0orcWAr0a9JweQpjXF19LMXJE8Ey7hwOdUA=
	dep	golang.org/x/sync	v0.20.0	h1:e0PTpb7pjO8GAtTs2dQ6jYa5BWYlMuX047Dco/pItO4=
	dep	golang.org/x/sys	v0.43.0	h1:Rlag2XtaFTxp19wS8MXlJwTvoh8ArU6ezoyFsMyCTNI=
	dep	golang.org/x/text	v0.36.0	h1:JfKh3XmcRPqZPKevfXVpI1wXPTqbkE5f7JA92a55Yxg=
	dep	golang.org/x/tools	v0.44.0	h1:UP4ajHPIcuMjT1GqzDWRlalUEoY+uzoZKnhOjbIPD2c=
	dep	gopkg.in/yaml.v3	v3.0.1	h1:fxVm/GzAzEWqLHuvctI91KS9hhNmmWOoWu0XTYJS7CA=
	dep	modernc.org/libc	v1.70.0	h1:U58NawXqXbgpZ/dcdS9kMshu08aiA6b7gusEusqzNkw=
	dep	modernc.org/mathutil	v1.7.1	h1:GCZVGXdaN8gTqB1Mf/usp1Y/hSqgI2vAGGP4jZMCxOU=
	dep	modernc.org/memory	v1.11.0	h1:o4QC8aMQzmcwCK3t3Ux/ZHmwFPzE6hf2Y5LbkRs+hbI=
	dep	modernc.org/sqlite	v1.48.0	h1:ElZyLop3Q2mHYk5IFPPXADejZrlHu7APbpB0sF78bq4=
	build	-buildmode=exe
	build	-compiler=gc
	build	-trimpath=true
	build	CGO_ENABLED=1
	build	GOARCH=arm64
	build	GOOS=darwin
	build	GOARM64=v8.0
