computation-audit

From README

Mathematical computation audit Separate the mathematical claim from the finite assertion actually computed (recorded as assertiontested). Default to read-only for an existing audit: no project edits or run directories. Execute and persist only within user or project authorization; otherwise report the proposed command. Specify the contract Read applicable instructions and locate authoritative code, data and outputs. State the claim, finite assertion, domain, conventions, inputs, bounds, exclusions, caps, each outcome's implications and non-claims. For reproduction, stop if no documented command exists and report reproduction command unavailable; do not guess. For authorized design or new experiments, establish the contract, code and command first. Design permission alone does not authorize execution. Route external theorem questions through the available literature-check skill (mathbox:literature-check in plugin installations), or check the exact source directly if unavailable.