Foundry J — Verification Harness
Pure-J checks for all 56 mathematical properties from spec/PROPERTIES.md.
Core is the arithmetic authority (no Python).
Run
cd verify
./run.sh
# → logs/run-<timestamp>.log
jconsole: /home/box/j/j9.7/bin/jconsole (override with JCONSOLE).
Core load
load '../j/foundry.ijs'
foundry_export ''
Verdicts
PASS / FAIL <name>: reason / SKIP <name>: reason / BLOCKED <name>: missing …
Per-property lines use ids prop_1 … prop_56. Named baseline tests (goldilocks_add, …) are retained.
Exit non-zero on any FAIL. See PROPERTY_MAP.md for the authoritative table.