| NB. ============================================================================= |
| NB. Foundry F1 — Pure-J Core package loader |
| NB. Copyright (C) 2026 Foundry / Prime Materia Commons |
| NB. |
| NB. This program is free software: you can redistribute it and/or modify |
| NB. it under the terms of the GNU Affero General Public License as published |
| NB. by the Free Software Foundation, either version 3 of the License, or |
| NB. (at your option) any later version. |
| NB. |
| NB. This program is distributed in the hope that it will be useful, |
| NB. but WITHOUT ANY WARRANTY; without even the implied warranty of |
| NB. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| NB. GNU Affero General Public License for more details. |
| NB. |
| NB. You should have received a copy of the GNU Affero General Public License |
| NB. along with this program. If not, see <https: |
| NB. ============================================================================= |
| NB. |
| NB. Load order matches dependency: types → goldilocks → pmat → spectral → |
| NB. recurrence → gate → certify. |
| NB. Record boxing contracts: j/BOXING.md (StepInfo, SpectralResult, AceCert, PMat). |
| NB. |
| NB. Usage (from any cwd): |
| NB. load '/workspace/foundry-j/j/foundry.ijs' |
| NB. Then verbs live in locale 'foundry'; bring into base with: |
| NB. cocurrent 'foundry' NB. or call as foundry_fp_add_ etc. |
|
|
| (3 : 0) '' |
| here =. ({.~ i:&'/') > {: 4!:3 '' |
| if. 0 = # here do. here =. 1!:43 '' end. |
| sep =. '/' |
| mods =. 'types';'goldilocks';'pmat';'spectral';'recurrence';'gate';'certify' |
| for_m. mods do. |
| load here , sep , (> m) , '.ijs' |
| end. |
| i. 0 0 |
| ) |
|
|
| NB. Optional: export key verbs into base for Verify convenience |
| NB. Uncomment if desired: |
| NB. (3 : 0) '' |
| NB. names =. ;: 'fp_add fp_sub fp_mul fp_inv fp_mulmod fp_pow fp_reduce fp_add_batch fp_mul_batch pmat_new pmat_insert pmat_conservation pmat_compose pmat_frobenius pmat_validate_grading gershgorin_bound gershgorin_check power_iteration power_iteration_check spectral_analyze synth_weights soft_project q_estimate residual_l2 rec_step rec_run tier_eps emit_apply csl_neutrality csl_beneficence csl_commutation ace_safety_margin ace_tail_bound ace_certify GOLDILOCKS_PRIME p EPSILON_FOLD P64' |
| NB. for_n. names do. |
| NB. (n) =: (n) f. NB. not valid across locales this way |
| NB. end. |
| NB. i.0 0 |
| NB. ) |
|
|
| NB. Instead expose a verb that copies selected names into base: |
| foundry_export =: 3 : 0 |
| ns =. ;: 'fp_reduce fp_add fp_sub fp_mul fp_mulmod fp_pow fp_inv fp_add_batch fp_mul_batch pmat_new pmat_insert pmat_validate_grading pmat_conservation pmat_compose pmat_frobenius pmat_entries pmat_shape gershgorin_bound gershgorin_check power_iteration power_iteration_check spectral_analyze sr_open sr_fields sr_radius sr_contractive synth_weights soft_project q_estimate residual_l2 rec_step rec_run tier_eps tier_epsilon emit_apply csl_neutrality csl_beneficence csl_commutation ace_safety_margin ace_tail_bound ace_certify GOLDILOCKS_PRIME p EPSILON_FOLD P64 P_64 K_MAX MAX_DRIFT PHI PIRTM_MAGIC T1 T2 T3 T4 WP_UNIFORM WP_HARMONIC WP_LOGDECAY GP_PASSTHROUGH GP_SUPPRESS GP_HOLD GP_ATTENUATE CSL_PASS CSL_FAIL_NEUTRALITY CSL_FAIL_BENEFICENCE CSL_FAIL_COMMUTATION' |
| cocurrent 'base' |
| for_n. ns do. |
| ". (>n) , ' =: ' , (>n) , '_foundry_' |
| end. |
| i. 0 0 |
| ) |
| |
