Every artifact¶

25 published artifacts. Each links to its own repository, where the README carries the worked example and the honest-scope section for that tool.

Tools¶

artifact	what it answers
`abstain-bench`	how often does a verifier pass input it could not check?
`evidence`	run the whole portfolio over your repo — the weakest leg, never the mean
`floorgen`	what must your system remember? an exact lower bound
`formal-proof-mcp`	a proof kernel for your coding agent
`gatecount`	exactly how many states does removing this check admit?
`gridlock`	certify a wait-for relation cannot wedge
`honestbench`	measure your CI's escape rate
`kvleak`	cross-tenant leak scanner
`kvprobe`	model-substitution detector with a measured FPR
`preregister`	refuses to seal a plan whose conclusion is already fixed
`proof-carrying-ci`	the whole portfolio as one CI check, with SARIF
`proof-to-code-drift`	fail the build when the proof stops matching
`sf-verify`	re-derive admission decisions offline
`signoff-cert`	certificates that carry their own false-pass bound
`tokencount`	a token count both parties can recompute

artifact	what it answers
`illusion-bench`	how many broken kernels does your oracle admit?
`kv-reuse-econ-bench`	recompute our economics headline
`llm-tenant-isolation-bench`	recompute our isolation figures

artifact	what it answers
`abstain-corpus`	32 inputs a verifier must NOT pass
`kv-reuse-econ-traces`	per-workload reuse accounting + the closed form
`kv-tenant-isolation-bench`	isolation observations, uninterpretable rows included
`llm-precision-fingerprints`	precision-labelled logprobs with a negative control

artifact	what it answers
`negative-results-atlas`	ten claims we took back
`tenant-leak-demo`	the residency calculator
`wait-for-visualiser`	paste a wait-for graph, see the cycle

pip install "evidence[all]"

Individual packages install from GitHub until the PyPI publisher is enabled:

pip install "git+https://github.com/nickharris808/<name>"