Plumbline

Checks Portaldot's documented calls against the runtime they claim to describe: documented call → verdict → proof.

Work in progress (check-in build). Plumbline is a command-line tool; this page is a placeholder, not the product. The README has the current status, the evidence files and how to run it.