| NB. ============================================================================= |
| NB. Foundry F1 — Shared types and constants (PURE J) |
| 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://www.gnu.org/licenses/>. |
| NB. ============================================================================= |
| NB. |
| NB. Contract: spec/J_API.md nouns + PROPERTIES.md §A,D (constants). |
| NB. GAP_DECISIONS: EPSILON_FOLD fold noun; BARRITT_MU omitted (no Barrett path); |
| NB. PHI exposed, no math consumer. Boxing: see j/BOXING.md. |
| NB. Locale: foundry |
|
|
| cocurrent 'foundry' |
|
|
| NB. ── Field / system constants (PROPERTIES 1–2, 6, 19–24) ───────────────────── |
| NB. GOLDILOCKS_PRIME = 2^64 - 2^32 + 1 = 0xFFFFFFFF00000001 |
| GOLDILOCKS_PRIME =: 18446744069414584321x |
| p =: GOLDILOCKS_PRIME |
| NB. Fold constant EPSILON (README) / EPSILON_FOLD (J_API): 2^32 - 1 |
| EPSILON_FOLD =: 4294967295x |
| TWO64 =: 18446744073709551616x |
| TWO32 =: 4294967296x |
|
|
| K_MAX =: 133144 |
| MAX_DRIFT =: 300000000000000000x |
| PIRTM_MAGIC =: 2135945554x NB. 0x7F504952 |
| PHI =: 1.618033988749895 |
| GENESIS_HASH_SIZE=: 32 |
|
|
| NB. First 64 primes — types.h P_64 / J_API noun P64 |
| P64 =: 2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 101 103 107 109 113 127 131 137 139 149 151 157 163 167 173 179 181 191 193 197 199 211 223 227 229 233 239 241 251 257 263 269 271 277 281 283 293 307 311 |
| P_64 =: P64 NB. C++ name alias |
|
|
| NB. ── Tier (PROPERTIES 25) ──────────────────────────────────────────────────── |
| NB. Tier atoms: 1=T1 2=T2 3=T3 4=T4 |
| T1 =: 1 |
| T2 =: 2 |
| T3 =: 3 |
| T4 =: 4 |
|
|
| NB. tier_eps / tier_epsilon — T1:0.10 T2:0.05 T3:0.02 T4:0.01; default 0.10 |
| tier_eps =: 3 : 0 |
| select. y |
| case. 1 do. 0.10 |
| case. 2 do. 0.05 |
| case. 3 do. 0.02 |
| case. 4 do. 0.01 |
| case. do. 0.10 |
| end. |
| ) |
| tier_epsilon =: tier_eps |
|
|
| NB. Weight profile codes (WeightProfile) |
| WP_UNIFORM =: 0 |
| WP_HARMONIC =: 1 |
| WP_LOGDECAY =: 2 |
|
|
| NB. GatePolicy (J_API) |
| GP_PASSTHROUGH =: 0 |
| GP_SUPPRESS =: 1 |
| GP_HOLD =: 2 |
| GP_ATTENUATE =: 3 |
|
|
| NB. CSLVerdict |
| CSL_PASS =: 0 |
| CSL_FAIL_NEUTRALITY =: 1 |
| CSL_FAIL_BENEFICENCE =: 2 |
| CSL_FAIL_COMMUTATION =: 3 |
|
|
| NB. Signature helpers: length-2 integer list (delta_source, delta_target) |
| sig_sub =: - |
| sig_eq =: -: |
|
|
| cocurrent 'base' |
|
|
