math.factorial

Exact decimal-string identity vs Python math.factorial on the 23 published tabulated vectors (named 0,1,5,10,20,100,5000 plus 16 seeded n in 0–4999). 5000! is verified as the full 16,326-digit value and as SHA-256 of those ASCII digits. This is not a whole-domain proof beyond the published table.

This summary records the outcome of the verification run. The full test corpus, oracle implementations, reference tables and generators are retained privately. Their digests identify those artifacts; a digest alone does not let a reader independently reproduce the full verification run.

Recorded result

23/23 passed

Oracle

O3 · Python 3.13.5 math.factorial

Reference table commitment (SHA-256)

f96ef604c13d8e4da222c3e1e5347cb80273ab2b4b5f794c5a23cb956ba4a9a6

Generator commitment (SHA-256)

de8c1b59ea29ed21ee36376627208b80872710dfa87b27bb367a39fdc609a782

Check a calculation

Use the capability's public input schema and examples to call the versioned REST API or MCP. These interfaces remain available without downloading the validation infrastructure. A successful example checks that example; it does not establish that the complete private suite has been independently reproduced.