NB. Copyright (C) 2026 Foundry J contributors
NB. SPDX-License-Identifier: AGPL-3.0-or-later
NB. Named constants props 19–25.

run_constants =: 3 : 0
  if. -. CORE_OK do.
    ('missing ' , FOUNDRY_IJS) blocked 'prop_19'
    '' return.
  end.

  NB. prop_19 K_MAX
  try.
    if. K_MAX = 133144 do. pass 'prop_19' else. (('got ' , ": K_MAX)) fail 'prop_19' end.
  catch. (13!:12 '') fail 'prop_19' end.

  NB. prop_20 MAX_DRIFT
  try.
    if. MAX_DRIFT = 300000000000000000x do. pass 'prop_20'
    else. (('got ' , ": MAX_DRIFT)) fail 'prop_20' end.
  catch. (13!:12 '') fail 'prop_20' end.

  NB. prop_21 PIRTM_MAGIC = 0x7F504952
  try.
    if. PIRTM_MAGIC = 2135945554x do. pass 'prop_21'
    else. (('got ' , ": PIRTM_MAGIC)) fail 'prop_21' end.
  catch. (13!:12 '') fail 'prop_21' end.

  NB. prop_22 PHI
  try.
    if. 1e_12 > | PHI - 1.618033988749895 do. pass 'prop_22'
    else. (('got ' , ": PHI)) fail 'prop_22' end.
  catch. (13!:12 '') fail 'prop_22' end.

  NB. prop_23 P_64 first 64 primes
  try.
    expect =. 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
    if. (64 = # P64) *. (P64 -: expect) *. (P_64 -: P64) do. pass 'prop_23'
    else. 'P64 mismatch' fail 'prop_23' end.
  catch. (13!:12 '') fail 'prop_23' end.

  NB. prop_24 GENESIS_HASH_SIZE (in foundry locale; not always exported)
  try.
    ghs =. GENESIS_HASH_SIZE_foundry_
    if. ghs = 32 do. pass 'prop_24' else. (('got ' , ": ghs)) fail 'prop_24' end.
  catch. (13!:12 '') fail 'prop_24' end.

  NB. prop_25 tier epsilons
  try.
    ok =. ((tier_eps 1) = 0.10) *. ((tier_eps 2) = 0.05) *. ((tier_eps 3) = 0.02) *. ((tier_eps 4) = 0.01) *. ((tier_eps 99) = 0.10)
    if. ok do. pass 'prop_25' else. 'tier_eps mismatch' fail 'prop_25' end.
  catch. (13!:12 '') fail 'prop_25' end.
  ''
)

run_constants ''