github.com/ritchiecarroll/hashset — module validation summary

Every package of this module whose Go tests go2cs converted and validated, summed from the proof pages beside this file. Generated by the converter; regenerate rather than edit.

Both sides of every reading were built with -tags purego,math_big_pure_go,safe.

Package	Matched	Disclosed	Input digest	Proof
github.com/ritchiecarroll/hashset	37	0	sha256-7fb2058d54e18d61eaa288b0e79c847c953bdadf87cdd00fdb0d832750903114	index.md

Total: 37 matched · 0 disclosed across 1 package(s).

Excluded declarations

5 declaration(s) were excluded from both sides of the comparison and are not counted above; each package’s proof page gives the reason for its own.

• github.com/ritchiecarroll/hashset: ExampleHashSet_Add (example): example execution is deferred to Phase 4D
• github.com/ritchiecarroll/hashset: ExampleHashSet_IntersectWith (example): example execution is deferred to Phase 4D
• github.com/ritchiecarroll/hashset: ExampleHashSet_IsSubsetOfSet (example): example execution is deferred to Phase 4D
• github.com/ritchiecarroll/hashset: ExampleHashSet_UnionWithSet (example): example execution is deferred to Phase 4D
• github.com/ritchiecarroll/hashset: ExampleNewHashSet (example): example execution is deferred to Phase 4D