hyperpolymath/proven

main

proven

Grade	Name	Complexity	Churn	Issues
A	.github\workflows\cflite_pr.yml		5	-
A	.github\workflows\e2e.yml		5	-
A	.github\workflows\echidna-verify.yml		5	-
A	.github\workflows\casket-pages.yml		5	-
A	.github\workflows\publish-jsr.yml		5	-
A	.github\workflows\cflite_batch.yml		5	-
A	.clusterfuzzlite\build.sh		4	1
A	.github\workflows\d-ci.yml		4	-
A	.github\workflows\ffi-full-integration.yml		4	-
A	.github\workflows\ocaml-ci.yml		4	-
A	.github\dependabot.yml		3	-
A	.github\workflows\push-email-notify.yml		3	-
A	.github\workflows\pages.yml		3	-
A	.devcontainer\post-create.sh		2	-
A	bindings\typescript\package.json		2	-
A	bindings\ephapax\src\stubs.c	28	2	-
A	bindings\c\include\proven.h	0	2	-
A	.clusterfuzzlite\Dockerfile		2	-
A	.clusterfuzzlite\project.yaml		2	-
A	.github\copilot\coding-agent.yml		1	-