# Foundry J Verify — Test Inventory Sources: `src/test.cpp`, `spec/PROPERTIES.md`, Core `j/foundry.ijs`. Detail map: `PROPERTY_MAP.md` (all 56 properties). ## Named mathematical tests (baseline) | # | Test | Family | Property # | Core verbs | Measured | |---|------|--------|------------|------------|----------| | 1 | `goldilocks_add` | goldilocks | **13** | `fp_add` | PASS | | 2 | `goldilocks_mul` | goldilocks | **15** | `fp_mul` | PASS | | 3 | `goldilocks_inv` | goldilocks | **16** | `fp_inv`/`fp_mul` | PASS | | 4 | `goldilocks_sub` | goldilocks | **14** | `fp_sub` | PASS | | 5 | `pmat_insert` | pmat | **27** | `pmat_new`/`pmat_insert`/`pmat_entries` | PASS | | 6 | `pmat_conservation` | pmat | **29** | `pmat_conservation` | PASS | | 7 | `spectral_contractive` | spectral | **38** | `spectral_analyze` | PASS | | 8 | `spectral_expansive` | spectral | **38** | `spectral_analyze` | PASS | | 9 | `recurrence_converges` | recurrence | **46** | `rec_run`/`synth_weights` | PASS | **Named count: 9** · Latest: **9 PASS / 0 FAIL** (`logs/run-20261007-075943.log`) ## Property coverage files | File | Props | |------|-------| | `tests/goldilocks.ijs` | 1–18 (+ named) | | `tests/constants.ijs` | 19–25 | | `tests/pmat.ijs` | 26–32 (+ named) | | `tests/spectral.ijs` | 33–38 (+ named) | | `tests/recurrence.ijs` | 39–46 (+ named; 41 SKIP) | | `tests/emit_csl_ace.ijs` | 47–56 (47/55/56 SKIP; 49–50 FAIL) | ### Load convention ``` load '../j/foundry.ijs' foundry_export '' NB. copies J_API names into base ``` ## Out of scope / SKIP - **41** narrative Banach unique fixed-point - **47** WORM/seal / triple-lock theater - **55** guardian (no Core verb) - **56** consensus narrative ## Known Core FAILs (honest) - **49** attenuate scale (J RTL vs Spec) - **50** `csl_neutrality` index error (J RTL loop bound)