hyperpolymath/proven-servers

main

proven-servers

Grade	Name	Complexity	Churn	Issues
A	tools\gen-abi.sh		3	-
A	tools\check-binding-policy.sh		1	-
A	tests\property_test.sh		2	-
A	tests\e2e.sh		7	-
A	tests\cross_binding_test.sh		3	-
A	tests\aspect\security_test.sh		2	-
A	setup.sh		2	-
A	scripts\maintenance\run-maintenance.sh		2	-
A	scripts\maintenance\perms-state.sh		2	-
A	protocols\proven-nesy\ffi\nesy_ffi.h	0	3	-
A	protocols\proven-agentic\ffi\agentic_ffi.h	0	3	-
A	container\entrypoint.sh		2	-
A	container\ct-build.sh		2	-
A	container\.gatekeeper.yaml		2	-
A	connectors\proven-nesy-solver-api\zig\deploy-fly.sh		1	-
A	bindings\swift\Sources\ProvenServers\ProvenZerotrust.swift		2	-
A	bindings\swift\Sources\ProvenServers\ProvenXmpp.swift		2	-
A	bindings\swift\Sources\ProvenServers\ProvenWebsocket.swift		2	-
A	bindings\swift\Sources\ProvenServers\ProvenWebdav.swift		2	-
A	bindings\swift\Sources\ProvenServers\ProvenWasm.swift		2	-