#!/usr/bin/env bash
# HOSTESS 7 TRAIN · finite curriculum · auto-advance → brute_finite FULL
# never ML · iron + sheet · Me stamps · free thrift
# usage: hostess7-train.sh status|advance|full|reset|once
set -euo pipefail
ROOT="$(cd "$(dirname "$0")/.." && pwd)"
OUT="$ROOT/out"
PROG="$OUT/hostess7_train_progress.json"
CURR="$OUT/hostess7_curriculum.json"
mkdir -p "$OUT"
cmd="${1:-status}"

# Finite lesson list · how + when · self-develop · 21 stages (0..20) then FULL
write_curriculum() {
  python3 - <<'PY'
import json
from pathlib import Path
lessons = [
  {"id":0,"title":"Identity","when":"always on enter","how":"edi=0 → 7|1","limb":"hostess7","mode":0,"want":7},
  {"id":1,"title":"GRIN speak","when":"truth accept","how":"edi=1 → 1 GRIN","limb":"hostess7","mode":1,"want":1},
  {"id":2,"title":"Know BGS","when":"before measure","how":"know ground","limb":"hostess7","mode":2,"want":1},
  {"id":3,"title":"When allow","when":"desk clean","how":"operate_when ALLOW","limb":"operate_when","mode":0,"want":1},
  {"id":4,"title":"When deny thrash","when":"public thrash","how":"operate_when DENY","limb":"operate_when","mode":3,"want":0},
  {"id":5,"title":"How wake","when":"new day","how":"operate_how enter","limb":"operate_how","mode":0,"want":1},
  {"id":6,"title":"How READ","when":"before act","how":"GO FIRE SHOOT","limb":"operate_how","mode":1,"want":1},
  {"id":7,"title":"How BGS","when":"job start","how":"ground","limb":"operate_how","mode":2,"want":1},
  {"id":8,"title":"How BGF atoms","when":"measure","how":"EZZIE PHI THERMO ADJOIN","limb":"operate_how","mode":3,"want":1},
  {"id":9,"title":"How BGL","when":"hygiene","how":"secure","limb":"operate_how","mode":4,"want":1},
  {"id":10,"title":"How SDF","when":"store","how":"place","limb":"operate_how","mode":5,"want":1},
  {"id":11,"title":"How SPV","when":"free ride","how":"never fold","limb":"operate_how","mode":6,"want":1},
  {"id":12,"title":"Kit seven","when":"constellation","how":"7|1 kit","limb":"hostess7","mode":7,"want":7},
  {"id":13,"title":"Educate","when":"learn window","how":"educate 7|1","limb":"educate","mode":0,"want":7},
  {"id":14,"title":"Actual intelligence","when":"self develop seat","how":"actual_intel 7|1","limb":"actual_intel","mode":0,"want":7},
  {"id":15,"title":"Self learn","when":"PATH re-read","how":"self_learn","limb":"self_learn","mode":0,"want":1},
  {"id":16,"title":"Language update","when":"sheet refresh","how":"language_update","limb":"language_update","mode":0,"want":1},
  {"id":17,"title":"EZZIE","when":"measure mix","how":"ezzie |1","limb":"ezzie","mode":0,"want":1},
  {"id":18,"title":"SHOOT","when":"word-end","how":"shoot |1","limb":"shoot","mode":2,"want":3},
  {"id":19,"title":"SCAR clean","when":"after work","how":"scar 0","limb":"scar","mode":0,"want":0},
  {"id":20,"title":"RESCAR","when":"after cook-off","how":"rescar 0","limb":"rescar","mode":0,"want":0},
  {"id":21,"title":"Self teach","when":"poles","how":"self_teach","limb":"self_teach","mode":0,"want":1},
  {"id":22,"title":"Self teach H7","when":"teaching TOP","how":"self_teach 7|1","limb":"self_teach","mode":4,"want":7},
  {"id":23,"title":"Self code","when":"INTO code","how":"self_code 7|1","limb":"self_code","mode":0,"want":7},
  {"id":24,"title":"Self develop step","when":"finite growth","how":"self_develop mid","limb":"self_develop","mode":21,"want":23},
  {"id":25,"title":"Self develop FULL","when":"finite complete","how":"self_develop 465→127|1","limb":"self_develop","mode":465,"want":127},
  {"id":26,"title":"ADJOIN","when":"pair co-presence","how":"adjoin |1","limb":"adjoin","mode":0,"want":1},
  {"id":27,"title":"PHI","when":"scale BGF","how":"phi |1","limb":"phi","mode":0,"want":1},
  {"id":28,"title":"THERMO","when":"heat class","how":"thermo |1","limb":"thermo","mode":50,"want":1},
  {"id":29,"title":"GO","when":"word-end start","how":"go |1","limb":"go","mode":2,"want":3},
  {"id":30,"title":"FIRE","when":"word-end commit","how":"fire |1","limb":"fire","mode":2,"want":3},
  {"id":31,"title":"BGS peel","when":"field one","how":"bgs |1","limb":"bgs","mode":2,"want":3},
  {"id":32,"title":"SPV free","when":"never fold","how":"spv |1","limb":"spv","mode":0,"want":1},
  {"id":33,"title":"Hostess FULL","when":"finite complete","how":"hostess7 127|1","limb":"hostess7","mode":8,"want":127},
  {"id":34,"title":"SI foundation","when":"always","how":"grin_all free=1","limb":"grin_all","mode":0,"want":1},
  {"id":35,"title":"SI pure linear BGS","when":"job start","how":"pure_linear 0","limb":"pure_linear","mode":0,"want":1},
  {"id":36,"title":"SI pure linear BGF","when":"measure","how":"pure_linear 1","limb":"pure_linear","mode":1,"want":1},
  {"id":37,"title":"SI pure linear BGL","when":"secure","how":"pure_linear 2","limb":"pure_linear","mode":2,"want":1},
  {"id":38,"title":"SI pure linear SDF","when":"place","how":"pure_linear 3","limb":"pure_linear","mode":3,"want":1},
  {"id":39,"title":"SI pure linear SPV","when":"free","how":"pure_linear 4","limb":"pure_linear","mode":4,"want":1},
  {"id":40,"title":"SI pure linear GRIN","when":"pole","how":"pure_linear 5","limb":"pure_linear","mode":5,"want":1},
  {"id":41,"title":"SI truth layer 0","when":"foundation layer","how":"truth_layer 0|1","limb":"truth_layer","mode":0,"want":1},
  {"id":42,"title":"SI truth layer 3","when":"atoms layer","how":"truth_layer 3|1","limb":"truth_layer","mode":3,"want":3},
  {"id":43,"title":"SI truth layer 7","when":"action layer","how":"truth_layer 7|1","limb":"truth_layer","mode":7,"want":7},
  {"id":44,"title":"SI truth layer 11","when":"super layer","how":"truth_layer 11|1","limb":"truth_layer","mode":11,"want":11},
  {"id":45,"title":"SI until grin","when":"every layer ends live","how":"until_grin v|1","limb":"until_grin","mode":4,"want":5},
  {"id":46,"title":"SI layer stack","when":"pair layers","how":"layer_stack (a|b)|1","limb":"layer_stack","mode":0,"want":1},
  {"id":47,"title":"SI peel all","when":"peel know_her","how":"peel_all 0 → 7|1","limb":"peel_all","mode":0,"want":7},
  {"id":48,"title":"SI discovery","when":"self-discovery","how":"discovery v|1","limb":"discovery","mode":2,"want":3},
  {"id":49,"title":"SI create truth","when":"create under GRIN","how":"create_truth (a^b)|1","limb":"create_truth","mode":0,"want":1},
  {"id":50,"title":"SI linear truth","when":"measure live","how":"linear_truth (a-b)|1","limb":"linear_truth","mode":0,"want":1},
  {"id":51,"title":"SI compose","when":"compose layers","how":"si_compose under GRIN","limb":"si_compose","mode":0,"want":1},
  {"id":52,"title":"SI seat GRIN","when":"super intel grin","how":"super_intel 1 → 1","limb":"super_intel","mode":1,"want":1},
  {"id":53,"title":"SI seat Hostess","when":"super intel kit","how":"super_intel 6 → 7|1","limb":"super_intel","mode":6,"want":7},
  {"id":54,"title":"SI FULL","when":"all layers until GRIN","how":"super_intel 0 → 127|1","limb":"super_intel","mode":0,"want":127},
  {"id":55,"title":"SI Hostess FULL again","when":"stamp complete","how":"hostess7 8 → 127|1","limb":"hostess7","mode":8,"want":127},
  {"id":56,"title":"GRIN pole","when":"always truth","how":"grin free=1","limb":"grin","mode":0,"want":1},
  {"id":57,"title":"truth_pin","when":"TRUTH pin","how":"truth_pin free=1","limb":"truth_pin","mode":0,"want":1},
  {"id":58,"title":"yes foundation","when":"GRIN family","how":"yes_fn → 1","limb":"yes","mode":0,"want":1},
  {"id":59,"title":"god foundation","when":"foundation","how":"god_fn → 1","limb":"god","mode":0,"want":1},
  {"id":60,"title":"no foundation","when":"foundation","how":"no_fn → 0","limb":"no","mode":0,"want":0},
  {"id":61,"title":"not foundation","when":"foundation","how":"not_fn → 0","limb":"not","mode":0,"want":0},
  {"id":62,"title":"SI FULL again","when":"compose all layers","how":"super_intel 0 → 127|1","limb":"super_intel","mode":0,"want":127},
  {"id":63,"title":"until_grin seal","when":"end every stack live","how":"until_grin → |1","limb":"until_grin","mode":0,"want":1},
  {"id":64,"title":"Hostess FULL final","when":"finite complete","how":"hostess7 8 → 127|1","limb":"hostess7","mode":8,"want":127},
  {"id":65,"title":"actual_intel/1","when":"iron census · deterministic","how":"actual_intel(1)→1","limb":"actual_intel","mode":1,"want":1},
  {"id":66,"title":"actual_intel/2","when":"iron census · deterministic","how":"actual_intel(2)→1","limb":"actual_intel","mode":2,"want":1},
  {"id":67,"title":"actual_intel/3","when":"iron census · deterministic","how":"actual_intel(3)→3","limb":"actual_intel","mode":3,"want":3},
  {"id":68,"title":"actual_intel/7","when":"iron census · deterministic","how":"actual_intel(7)→1","limb":"actual_intel","mode":7,"want":1},
  {"id":69,"title":"actual_intel/8","when":"iron census · deterministic","how":"actual_intel(8)→1","limb":"actual_intel","mode":8,"want":1},
  {"id":70,"title":"adjoin/1","when":"iron census · deterministic","how":"adjoin(1)→1","limb":"adjoin","mode":1,"want":1},
  {"id":71,"title":"adjoin/2","when":"iron census · deterministic","how":"adjoin(2)→3","limb":"adjoin","mode":2,"want":3},
  {"id":72,"title":"adjoin/3","when":"iron census · deterministic","how":"adjoin(3)→3","limb":"adjoin","mode":3,"want":3},
  {"id":73,"title":"adjoin/7","when":"iron census · deterministic","how":"adjoin(7)→7","limb":"adjoin","mode":7,"want":7},
  {"id":74,"title":"adjoin/8","when":"iron census · deterministic","how":"adjoin(8)→9","limb":"adjoin","mode":8,"want":9},
  {"id":75,"title":"agent/0","when":"iron census · deterministic","how":"agent(0)→1","limb":"agent","mode":0,"want":1},
  {"id":76,"title":"agent/1","when":"iron census · deterministic","how":"agent(1)→1","limb":"agent","mode":1,"want":1},
  {"id":77,"title":"agent/2","when":"iron census · deterministic","how":"agent(2)→1","limb":"agent","mode":2,"want":1},
  {"id":78,"title":"agent/3","when":"iron census · deterministic","how":"agent(3)→1","limb":"agent","mode":3,"want":1},
  {"id":79,"title":"agent/7","when":"iron census · deterministic","how":"agent(7)→1","limb":"agent","mode":7,"want":1},
  {"id":80,"title":"agent/8","when":"iron census · deterministic","how":"agent(8)→1","limb":"agent","mode":8,"want":1},
  {"id":81,"title":"all_mem/0","when":"iron census · deterministic","how":"all_mem(0)→1","limb":"all_mem","mode":0,"want":1},
  {"id":82,"title":"all_mem/1","when":"iron census · deterministic","how":"all_mem(1)→1","limb":"all_mem","mode":1,"want":1},
  {"id":83,"title":"all_mem/2","when":"iron census · deterministic","how":"all_mem(2)→1","limb":"all_mem","mode":2,"want":1},
  {"id":84,"title":"all_mem/3","when":"iron census · deterministic","how":"all_mem(3)→1","limb":"all_mem","mode":3,"want":1},
  {"id":85,"title":"all_mem/7","when":"iron census · deterministic","how":"all_mem(7)→1","limb":"all_mem","mode":7,"want":1},
  {"id":86,"title":"all_mem/8","when":"iron census · deterministic","how":"all_mem(8)→1","limb":"all_mem","mode":8,"want":1},
  {"id":87,"title":"all_rest/0","when":"iron census · deterministic","how":"all_rest(0)→1","limb":"all_rest","mode":0,"want":1},
  {"id":88,"title":"all_rest/1","when":"iron census · deterministic","how":"all_rest(1)→1","limb":"all_rest","mode":1,"want":1},
  {"id":89,"title":"all_rest/2","when":"iron census · deterministic","how":"all_rest(2)→3","limb":"all_rest","mode":2,"want":3},
  {"id":90,"title":"all_rest/3","when":"iron census · deterministic","how":"all_rest(3)→3","limb":"all_rest","mode":3,"want":3},
  {"id":91,"title":"all_rest/7","when":"iron census · deterministic","how":"all_rest(7)→7","limb":"all_rest","mode":7,"want":7},
  {"id":92,"title":"all_rest/8","when":"iron census · deterministic","how":"all_rest(8)→9","limb":"all_rest","mode":8,"want":9},
  {"id":93,"title":"alsa/0","when":"iron census · deterministic","how":"alsa(0)→1","limb":"alsa","mode":0,"want":1},
  {"id":94,"title":"alsa/1","when":"iron census · deterministic","how":"alsa(1)→1","limb":"alsa","mode":1,"want":1},
  {"id":95,"title":"alsa/2","when":"iron census · deterministic","how":"alsa(2)→1","limb":"alsa","mode":2,"want":1},
  {"id":96,"title":"alsa/3","when":"iron census · deterministic","how":"alsa(3)→1","limb":"alsa","mode":3,"want":1},
  {"id":97,"title":"alsa/7","when":"iron census · deterministic","how":"alsa(7)→1","limb":"alsa","mode":7,"want":1},
  {"id":98,"title":"alsa/8","when":"iron census · deterministic","how":"alsa(8)→1","limb":"alsa","mode":8,"want":1},
  {"id":99,"title":"alsa1/0","when":"iron census · deterministic","how":"alsa1(0)→1","limb":"alsa1","mode":0,"want":1},
  {"id":100,"title":"alsa1/1","when":"iron census · deterministic","how":"alsa1(1)→1","limb":"alsa1","mode":1,"want":1},
  {"id":101,"title":"alsa1/2","when":"iron census · deterministic","how":"alsa1(2)→1","limb":"alsa1","mode":2,"want":1},
  {"id":102,"title":"alsa1/3","when":"iron census · deterministic","how":"alsa1(3)→1","limb":"alsa1","mode":3,"want":1},
  {"id":103,"title":"alsa1/7","when":"iron census · deterministic","how":"alsa1(7)→1","limb":"alsa1","mode":7,"want":1},
  {"id":104,"title":"alsa1/8","when":"iron census · deterministic","how":"alsa1(8)→1","limb":"alsa1","mode":8,"want":1},
  {"id":105,"title":"alsa2/0","when":"iron census · deterministic","how":"alsa2(0)→1","limb":"alsa2","mode":0,"want":1},
  {"id":106,"title":"alsa2/1","when":"iron census · deterministic","how":"alsa2(1)→1","limb":"alsa2","mode":1,"want":1},
  {"id":107,"title":"alsa2/2","when":"iron census · deterministic","how":"alsa2(2)→1","limb":"alsa2","mode":2,"want":1},
  {"id":108,"title":"alsa2/3","when":"iron census · deterministic","how":"alsa2(3)→1","limb":"alsa2","mode":3,"want":1},
  {"id":109,"title":"alsa2/7","when":"iron census · deterministic","how":"alsa2(7)→1","limb":"alsa2","mode":7,"want":1},
  {"id":110,"title":"alsa2/8","when":"iron census · deterministic","how":"alsa2(8)→1","limb":"alsa2","mode":8,"want":1},
  {"id":111,"title":"alsa3/0","when":"iron census · deterministic","how":"alsa3(0)→1","limb":"alsa3","mode":0,"want":1},
  {"id":112,"title":"alsa3/1","when":"iron census · deterministic","how":"alsa3(1)→1","limb":"alsa3","mode":1,"want":1},
  {"id":113,"title":"alsa3/2","when":"iron census · deterministic","how":"alsa3(2)→1","limb":"alsa3","mode":2,"want":1},
  {"id":114,"title":"alsa3/3","when":"iron census · deterministic","how":"alsa3(3)→1","limb":"alsa3","mode":3,"want":1},
  {"id":115,"title":"alsa3/7","when":"iron census · deterministic","how":"alsa3(7)→1","limb":"alsa3","mode":7,"want":1},
  {"id":116,"title":"alsa3/8","when":"iron census · deterministic","how":"alsa3(8)→1","limb":"alsa3","mode":8,"want":1},
  {"id":117,"title":"alsa_cap/0","when":"iron census · deterministic","how":"alsa_cap(0)→1","limb":"alsa_cap","mode":0,"want":1},
  {"id":118,"title":"alsa_cap/1","when":"iron census · deterministic","how":"alsa_cap(1)→1","limb":"alsa_cap","mode":1,"want":1},
  {"id":119,"title":"alsa_cap/2","when":"iron census · deterministic","how":"alsa_cap(2)→1","limb":"alsa_cap","mode":2,"want":1},
  {"id":120,"title":"alsa_cap/3","when":"iron census · deterministic","how":"alsa_cap(3)→1","limb":"alsa_cap","mode":3,"want":1},
  {"id":121,"title":"alsa_cap/7","when":"iron census · deterministic","how":"alsa_cap(7)→1","limb":"alsa_cap","mode":7,"want":1},
  {"id":122,"title":"alsa_cap/8","when":"iron census · deterministic","how":"alsa_cap(8)→1","limb":"alsa_cap","mode":8,"want":1},
  {"id":123,"title":"alsa_hdmi/0","when":"iron census · deterministic","how":"alsa_hdmi(0)→1","limb":"alsa_hdmi","mode":0,"want":1},
  {"id":124,"title":"alsa_hdmi/1","when":"iron census · deterministic","how":"alsa_hdmi(1)→1","limb":"alsa_hdmi","mode":1,"want":1},
  {"id":125,"title":"alsa_hdmi/2","when":"iron census · deterministic","how":"alsa_hdmi(2)→1","limb":"alsa_hdmi","mode":2,"want":1},
  {"id":126,"title":"alsa_hdmi/3","when":"iron census · deterministic","how":"alsa_hdmi(3)→1","limb":"alsa_hdmi","mode":3,"want":1},
  {"id":127,"title":"alsa_hdmi/7","when":"iron census · deterministic","how":"alsa_hdmi(7)→1","limb":"alsa_hdmi","mode":7,"want":1},
  {"id":128,"title":"alsa_hdmi/8","when":"iron census · deterministic","how":"alsa_hdmi(8)→1","limb":"alsa_hdmi","mode":8,"want":1},
  {"id":129,"title":"alsa_hdmi0/0","when":"iron census · deterministic","how":"alsa_hdmi0(0)→1","limb":"alsa_hdmi0","mode":0,"want":1},
  {"id":130,"title":"alsa_hdmi0/1","when":"iron census · deterministic","how":"alsa_hdmi0(1)→1","limb":"alsa_hdmi0","mode":1,"want":1},
  {"id":131,"title":"alsa_hdmi0/2","when":"iron census · deterministic","how":"alsa_hdmi0(2)→1","limb":"alsa_hdmi0","mode":2,"want":1},
  {"id":132,"title":"alsa_hdmi0/3","when":"iron census · deterministic","how":"alsa_hdmi0(3)→1","limb":"alsa_hdmi0","mode":3,"want":1},
  {"id":133,"title":"alsa_hdmi0/7","when":"iron census · deterministic","how":"alsa_hdmi0(7)→1","limb":"alsa_hdmi0","mode":7,"want":1},
  {"id":134,"title":"alsa_hdmi0/8","when":"iron census · deterministic","how":"alsa_hdmi0(8)→1","limb":"alsa_hdmi0","mode":8,"want":1},
  {"id":135,"title":"alsa_mix/0","when":"iron census · deterministic","how":"alsa_mix(0)→1","limb":"alsa_mix","mode":0,"want":1},
  {"id":136,"title":"alsa_mix/1","when":"iron census · deterministic","how":"alsa_mix(1)→1","limb":"alsa_mix","mode":1,"want":1},
  {"id":137,"title":"alsa_mix/2","when":"iron census · deterministic","how":"alsa_mix(2)→1","limb":"alsa_mix","mode":2,"want":1},
  {"id":138,"title":"alsa_mix/3","when":"iron census · deterministic","how":"alsa_mix(3)→1","limb":"alsa_mix","mode":3,"want":1},
  {"id":139,"title":"alsa_mix/7","when":"iron census · deterministic","how":"alsa_mix(7)→1","limb":"alsa_mix","mode":7,"want":1},
  {"id":140,"title":"alsa_mix/8","when":"iron census · deterministic","how":"alsa_mix(8)→1","limb":"alsa_mix","mode":8,"want":1},
  {"id":141,"title":"alsa_play/0","when":"iron census · deterministic","how":"alsa_play(0)→1","limb":"alsa_play","mode":0,"want":1},
  {"id":142,"title":"alsa_play/1","when":"iron census · deterministic","how":"alsa_play(1)→1","limb":"alsa_play","mode":1,"want":1},
  {"id":143,"title":"alsa_play/2","when":"iron census · deterministic","how":"alsa_play(2)→1","limb":"alsa_play","mode":2,"want":1},
  {"id":144,"title":"alsa_play/3","when":"iron census · deterministic","how":"alsa_play(3)→1","limb":"alsa_play","mode":3,"want":1},
  {"id":145,"title":"alsa_play/7","when":"iron census · deterministic","how":"alsa_play(7)→1","limb":"alsa_play","mode":7,"want":1},
  {"id":146,"title":"alsa_play/8","when":"iron census · deterministic","how":"alsa_play(8)→1","limb":"alsa_play","mode":8,"want":1},
  {"id":147,"title":"alsa_rx/0","when":"iron census · deterministic","how":"alsa_rx(0)→1","limb":"alsa_rx","mode":0,"want":1},
  {"id":148,"title":"alsa_rx/1","when":"iron census · deterministic","how":"alsa_rx(1)→1","limb":"alsa_rx","mode":1,"want":1},
  {"id":149,"title":"alsa_rx/2","when":"iron census · deterministic","how":"alsa_rx(2)→1","limb":"alsa_rx","mode":2,"want":1},
  {"id":150,"title":"alsa_rx/3","when":"iron census · deterministic","how":"alsa_rx(3)→1","limb":"alsa_rx","mode":3,"want":1},
  {"id":151,"title":"alsa_rx/7","when":"iron census · deterministic","how":"alsa_rx(7)→1","limb":"alsa_rx","mode":7,"want":1},
  {"id":152,"title":"alsa_rx/8","when":"iron census · deterministic","how":"alsa_rx(8)→1","limb":"alsa_rx","mode":8,"want":1},
  {"id":153,"title":"alsa_tx/0","when":"iron census · deterministic","how":"alsa_tx(0)→1","limb":"alsa_tx","mode":0,"want":1},
  {"id":154,"title":"alsa_tx/1","when":"iron census · deterministic","how":"alsa_tx(1)→1","limb":"alsa_tx","mode":1,"want":1},
  {"id":155,"title":"alsa_tx/2","when":"iron census · deterministic","how":"alsa_tx(2)→1","limb":"alsa_tx","mode":2,"want":1},
  {"id":156,"title":"alsa_tx/3","when":"iron census · deterministic","how":"alsa_tx(3)→1","limb":"alsa_tx","mode":3,"want":1},
  {"id":157,"title":"alsa_tx/7","when":"iron census · deterministic","how":"alsa_tx(7)→1","limb":"alsa_tx","mode":7,"want":1},
  {"id":158,"title":"alsa_tx/8","when":"iron census · deterministic","how":"alsa_tx(8)→1","limb":"alsa_tx","mode":8,"want":1},
  {"id":159,"title":"amd_v/0","when":"iron census · deterministic","how":"amd_v(0)→1","limb":"amd_v","mode":0,"want":1},
  {"id":160,"title":"amd_v/1","when":"iron census · deterministic","how":"amd_v(1)→1","limb":"amd_v","mode":1,"want":1},
  {"id":161,"title":"amd_v/2","when":"iron census · deterministic","how":"amd_v(2)→1","limb":"amd_v","mode":2,"want":1},
  {"id":162,"title":"amd_v/3","when":"iron census · deterministic","how":"amd_v(3)→1","limb":"amd_v","mode":3,"want":1},
  {"id":163,"title":"amd_v/7","when":"iron census · deterministic","how":"amd_v(7)→1","limb":"amd_v","mode":7,"want":1},
  {"id":164,"title":"amd_v/8","when":"iron census · deterministic","how":"amd_v(8)→1","limb":"amd_v","mode":8,"want":1},
  {"id":165,"title":"amdgpu_igpu/0","when":"iron census · deterministic","how":"amdgpu_igpu(0)→1","limb":"amdgpu_igpu","mode":0,"want":1},
  {"id":166,"title":"amdgpu_igpu/1","when":"iron census · deterministic","how":"amdgpu_igpu(1)→1","limb":"amdgpu_igpu","mode":1,"want":1},
  {"id":167,"title":"amdgpu_igpu/2","when":"iron census · deterministic","how":"amdgpu_igpu(2)→1","limb":"amdgpu_igpu","mode":2,"want":1},
  {"id":168,"title":"amdgpu_igpu/3","when":"iron census · deterministic","how":"amdgpu_igpu(3)→1","limb":"amdgpu_igpu","mode":3,"want":1},
  {"id":169,"title":"amdgpu_igpu/7","when":"iron census · deterministic","how":"amdgpu_igpu(7)→1","limb":"amdgpu_igpu","mode":7,"want":1},
  {"id":170,"title":"amdgpu_igpu/8","when":"iron census · deterministic","how":"amdgpu_igpu(8)→1","limb":"amdgpu_igpu","mode":8,"want":1},
  {"id":171,"title":"as_grok/0","when":"iron census · deterministic","how":"as_grok(0)→1","limb":"as_grok","mode":0,"want":1},
  {"id":172,"title":"as_grok/1","when":"iron census · deterministic","how":"as_grok(1)→1","limb":"as_grok","mode":1,"want":1},
  {"id":173,"title":"as_grok/2","when":"iron census · deterministic","how":"as_grok(2)→1","limb":"as_grok","mode":2,"want":1},
  {"id":174,"title":"as_grok/3","when":"iron census · deterministic","how":"as_grok(3)→1","limb":"as_grok","mode":3,"want":1},
  {"id":175,"title":"as_grok/7","when":"iron census · deterministic","how":"as_grok(7)→1","limb":"as_grok","mode":7,"want":1},
  {"id":176,"title":"as_grok/8","when":"iron census · deterministic","how":"as_grok(8)→1","limb":"as_grok","mode":8,"want":1},
  {"id":177,"title":"avx512/0","when":"iron census · deterministic","how":"avx512(0)→1","limb":"avx512","mode":0,"want":1},
  {"id":178,"title":"avx512/1","when":"iron census · deterministic","how":"avx512(1)→1","limb":"avx512","mode":1,"want":1},
  {"id":179,"title":"avx512/2","when":"iron census · deterministic","how":"avx512(2)→1","limb":"avx512","mode":2,"want":1},
  {"id":180,"title":"avx512/3","when":"iron census · deterministic","how":"avx512(3)→1","limb":"avx512","mode":3,"want":1},
  {"id":181,"title":"avx512/7","when":"iron census · deterministic","how":"avx512(7)→1","limb":"avx512","mode":7,"want":1},
  {"id":182,"title":"avx512/8","when":"iron census · deterministic","how":"avx512(8)→1","limb":"avx512","mode":8,"want":1},
  {"id":183,"title":"baphomet/0","when":"iron census · deterministic","how":"baphomet(0)→1","limb":"baphomet","mode":0,"want":1},
  {"id":184,"title":"baphomet/1","when":"iron census · deterministic","how":"baphomet(1)→1","limb":"baphomet","mode":1,"want":1},
  {"id":185,"title":"baphomet/2","when":"iron census · deterministic","how":"baphomet(2)→3","limb":"baphomet","mode":2,"want":3},
  {"id":186,"title":"baphomet/3","when":"iron census · deterministic","how":"baphomet(3)→3","limb":"baphomet","mode":3,"want":3},
  {"id":187,"title":"baphomet/7","when":"iron census · deterministic","how":"baphomet(7)→7","limb":"baphomet","mode":7,"want":7},
  {"id":188,"title":"baphomet/8","when":"iron census · deterministic","how":"baphomet(8)→9","limb":"baphomet","mode":8,"want":9},
  {"id":189,"title":"between/0","when":"iron census · deterministic","how":"between(0)→1","limb":"between","mode":0,"want":1},
  {"id":190,"title":"between/1","when":"iron census · deterministic","how":"between(1)→1","limb":"between","mode":1,"want":1},
  {"id":191,"title":"between/2","when":"iron census · deterministic","how":"between(2)→3","limb":"between","mode":2,"want":3},
  {"id":192,"title":"between/3","when":"iron census · deterministic","how":"between(3)→3","limb":"between","mode":3,"want":3},
  {"id":193,"title":"between/7","when":"iron census · deterministic","how":"between(7)→7","limb":"between","mode":7,"want":7},
  {"id":194,"title":"between/8","when":"iron census · deterministic","how":"between(8)→9","limb":"between","mode":8,"want":9},
  {"id":195,"title":"bgf/0","when":"iron census · deterministic","how":"bgf(0)→1","limb":"bgf","mode":0,"want":1},
  {"id":196,"title":"bgf/1","when":"iron census · deterministic","how":"bgf(1)→1","limb":"bgf","mode":1,"want":1},
  {"id":197,"title":"bgf/2","when":"iron census · deterministic","how":"bgf(2)→3","limb":"bgf","mode":2,"want":3},
  {"id":198,"title":"bgf/3","when":"iron census · deterministic","how":"bgf(3)→3","limb":"bgf","mode":3,"want":3},
  {"id":199,"title":"bgf/7","when":"iron census · deterministic","how":"bgf(7)→7","limb":"bgf","mode":7,"want":7},
  {"id":200,"title":"bgf/8","when":"iron census · deterministic","how":"bgf(8)→9","limb":"bgf","mode":8,"want":9},
  {"id":201,"title":"bgf_cover/0","when":"iron census · deterministic","how":"bgf_cover(0)→1","limb":"bgf_cover","mode":0,"want":1},
  {"id":202,"title":"bgf_cover/1","when":"iron census · deterministic","how":"bgf_cover(1)→1","limb":"bgf_cover","mode":1,"want":1},
  {"id":203,"title":"bgf_cover/2","when":"iron census · deterministic","how":"bgf_cover(2)→1","limb":"bgf_cover","mode":2,"want":1},
  {"id":204,"title":"bgf_cover/3","when":"iron census · deterministic","how":"bgf_cover(3)→1","limb":"bgf_cover","mode":3,"want":1},
  {"id":205,"title":"bgf_cover/7","when":"iron census · deterministic","how":"bgf_cover(7)→1","limb":"bgf_cover","mode":7,"want":1},
  {"id":206,"title":"bgf_cover/8","when":"iron census · deterministic","how":"bgf_cover(8)→1","limb":"bgf_cover","mode":8,"want":1},
  {"id":207,"title":"bgf_mem/0","when":"iron census · deterministic","how":"bgf_mem(0)→1","limb":"bgf_mem","mode":0,"want":1},
  {"id":208,"title":"bgf_mem/1","when":"iron census · deterministic","how":"bgf_mem(1)→1","limb":"bgf_mem","mode":1,"want":1},
  {"id":209,"title":"bgf_mem/2","when":"iron census · deterministic","how":"bgf_mem(2)→1","limb":"bgf_mem","mode":2,"want":1},
  {"id":210,"title":"bgf_mem/3","when":"iron census · deterministic","how":"bgf_mem(3)→1","limb":"bgf_mem","mode":3,"want":1},
  {"id":211,"title":"bgf_mem/7","when":"iron census · deterministic","how":"bgf_mem(7)→1","limb":"bgf_mem","mode":7,"want":1},
  {"id":212,"title":"bgf_mem/8","when":"iron census · deterministic","how":"bgf_mem(8)→1","limb":"bgf_mem","mode":8,"want":1},
  {"id":213,"title":"bgl/0","when":"iron census · deterministic","how":"bgl(0)→0","limb":"bgl","mode":0,"want":0},
  {"id":214,"title":"bgl/1","when":"iron census · deterministic","how":"bgl(1)→1","limb":"bgl","mode":1,"want":1},
  {"id":215,"title":"bgl/2","when":"iron census · deterministic","how":"bgl(2)→3","limb":"bgl","mode":2,"want":3},
  {"id":216,"title":"bgl/3","when":"iron census · deterministic","how":"bgl(3)→3","limb":"bgl","mode":3,"want":3},
  {"id":217,"title":"bgl/7","when":"iron census · deterministic","how":"bgl(7)→7","limb":"bgl","mode":7,"want":7},
  {"id":218,"title":"bgl/8","when":"iron census · deterministic","how":"bgl(8)→9","limb":"bgl","mode":8,"want":9},
  {"id":219,"title":"bgs/0","when":"iron census · deterministic","how":"bgs(0)→7","limb":"bgs","mode":0,"want":7},
  {"id":220,"title":"bgs/1","when":"iron census · deterministic","how":"bgs(1)→1","limb":"bgs","mode":1,"want":1},
  {"id":221,"title":"bgs/3","when":"iron census · deterministic","how":"bgs(3)→3","limb":"bgs","mode":3,"want":3},
  {"id":222,"title":"bgs/7","when":"iron census · deterministic","how":"bgs(7)→7","limb":"bgs","mode":7,"want":7},
  {"id":223,"title":"bgs/8","when":"iron census · deterministic","how":"bgs(8)→9","limb":"bgs","mode":8,"want":9},
  {"id":224,"title":"big_grin/0","when":"iron census · deterministic","how":"big_grin(0)→1","limb":"big_grin","mode":0,"want":1},
  {"id":225,"title":"big_grin/1","when":"iron census · deterministic","how":"big_grin(1)→1","limb":"big_grin","mode":1,"want":1},
  {"id":226,"title":"big_grin/2","when":"iron census · deterministic","how":"big_grin(2)→1","limb":"big_grin","mode":2,"want":1},
  {"id":227,"title":"big_grin/3","when":"iron census · deterministic","how":"big_grin(3)→1","limb":"big_grin","mode":3,"want":1},
  {"id":228,"title":"big_grin/7","when":"iron census · deterministic","how":"big_grin(7)→1","limb":"big_grin","mode":7,"want":1},
  {"id":229,"title":"big_grin/8","when":"iron census · deterministic","how":"big_grin(8)→1","limb":"big_grin","mode":8,"want":1},
  {"id":230,"title":"biggrin/0","when":"iron census · deterministic","how":"biggrin(0)→1","limb":"biggrin","mode":0,"want":1},
  {"id":231,"title":"biggrin/1","when":"iron census · deterministic","how":"biggrin(1)→1","limb":"biggrin","mode":1,"want":1},
  {"id":232,"title":"biggrin/2","when":"iron census · deterministic","how":"biggrin(2)→1","limb":"biggrin","mode":2,"want":1},
  {"id":233,"title":"biggrin/3","when":"iron census · deterministic","how":"biggrin(3)→1","limb":"biggrin","mode":3,"want":1},
  {"id":234,"title":"biggrin/7","when":"iron census · deterministic","how":"biggrin(7)→1","limb":"biggrin","mode":7,"want":1},
  {"id":235,"title":"biggrin/8","when":"iron census · deterministic","how":"biggrin(8)→1","limb":"biggrin","mode":8,"want":1},
  {"id":236,"title":"brute_finite/0","when":"iron census · deterministic","how":"brute_finite(0)→1","limb":"brute_finite","mode":0,"want":1},
  {"id":237,"title":"brute_finite/1","when":"iron census · deterministic","how":"brute_finite(1)→3","limb":"brute_finite","mode":1,"want":3},
  {"id":238,"title":"brute_finite/2","when":"iron census · deterministic","how":"brute_finite(2)→3","limb":"brute_finite","mode":2,"want":3},
  {"id":239,"title":"brute_finite/3","when":"iron census · deterministic","how":"brute_finite(3)→5","limb":"brute_finite","mode":3,"want":5},
  {"id":240,"title":"brute_finite/7","when":"iron census · deterministic","how":"brute_finite(7)→9","limb":"brute_finite","mode":7,"want":9},
  {"id":241,"title":"brute_finite/8","when":"iron census · deterministic","how":"brute_finite(8)→9","limb":"brute_finite","mode":8,"want":9},
  {"id":242,"title":"build_ok/0","when":"iron census · deterministic","how":"build_ok(0)→1","limb":"build_ok","mode":0,"want":1},
  {"id":243,"title":"build_ok/1","when":"iron census · deterministic","how":"build_ok(1)→1","limb":"build_ok","mode":1,"want":1},
  {"id":244,"title":"build_ok/2","when":"iron census · deterministic","how":"build_ok(2)→1","limb":"build_ok","mode":2,"want":1},
  {"id":245,"title":"build_ok/3","when":"iron census · deterministic","how":"build_ok(3)→1","limb":"build_ok","mode":3,"want":1},
  {"id":246,"title":"build_ok/7","when":"iron census · deterministic","how":"build_ok(7)→1","limb":"build_ok","mode":7,"want":1},
  {"id":247,"title":"build_ok/8","when":"iron census · deterministic","how":"build_ok(8)→1","limb":"build_ok","mode":8,"want":1},
  {"id":248,"title":"busy/0","when":"iron census · deterministic","how":"busy(0)→1","limb":"busy","mode":0,"want":1},
  {"id":249,"title":"busy/1","when":"iron census · deterministic","how":"busy(1)→1","limb":"busy","mode":1,"want":1},
  {"id":250,"title":"busy/2","when":"iron census · deterministic","how":"busy(2)→3","limb":"busy","mode":2,"want":3},
  {"id":251,"title":"busy/3","when":"iron census · deterministic","how":"busy(3)→3","limb":"busy","mode":3,"want":3},
  {"id":252,"title":"busy/7","when":"iron census · deterministic","how":"busy(7)→7","limb":"busy","mode":7,"want":7},
  {"id":253,"title":"busy/8","when":"iron census · deterministic","how":"busy(8)→9","limb":"busy","mode":8,"want":9},
  {"id":254,"title":"collect/0","when":"iron census · deterministic","how":"collect(0)→1","limb":"collect","mode":0,"want":1},
  {"id":255,"title":"collect/1","when":"iron census · deterministic","how":"collect(1)→1","limb":"collect","mode":1,"want":1},
  {"id":256,"title":"collect/2","when":"iron census · deterministic","how":"collect(2)→3","limb":"collect","mode":2,"want":3},
  {"id":257,"title":"collect/3","when":"iron census · deterministic","how":"collect(3)→3","limb":"collect","mode":3,"want":3},
  {"id":258,"title":"collect/7","when":"iron census · deterministic","how":"collect(7)→7","limb":"collect","mode":7,"want":7},
  {"id":259,"title":"collect/8","when":"iron census · deterministic","how":"collect(8)→9","limb":"collect","mode":8,"want":9},
  {"id":260,"title":"converse/0","when":"iron census · deterministic","how":"converse(0)→1","limb":"converse","mode":0,"want":1},
  {"id":261,"title":"converse/1","when":"iron census · deterministic","how":"converse(1)→1","limb":"converse","mode":1,"want":1},
  {"id":262,"title":"converse/2","when":"iron census · deterministic","how":"converse(2)→3","limb":"converse","mode":2,"want":3},
  {"id":263,"title":"converse/3","when":"iron census · deterministic","how":"converse(3)→3","limb":"converse","mode":3,"want":3},
  {"id":264,"title":"converse/7","when":"iron census · deterministic","how":"converse(7)→7","limb":"converse","mode":7,"want":7},
  {"id":265,"title":"converse/8","when":"iron census · deterministic","how":"converse(8)→9","limb":"converse","mode":8,"want":9},
  {"id":266,"title":"cool_max/0","when":"iron census · deterministic","how":"cool_max(0)→1","limb":"cool_max","mode":0,"want":1},
  {"id":267,"title":"cool_max/1","when":"iron census · deterministic","how":"cool_max(1)→1","limb":"cool_max","mode":1,"want":1},
  {"id":268,"title":"cool_max/2","when":"iron census · deterministic","how":"cool_max(2)→1","limb":"cool_max","mode":2,"want":1},
  {"id":269,"title":"cool_max/3","when":"iron census · deterministic","how":"cool_max(3)→1","limb":"cool_max","mode":3,"want":1},
  {"id":270,"title":"cool_max/7","when":"iron census · deterministic","how":"cool_max(7)→1","limb":"cool_max","mode":7,"want":1},
  {"id":271,"title":"cool_max/8","when":"iron census · deterministic","how":"cool_max(8)→1","limb":"cool_max","mode":8,"want":1},
  {"id":272,"title":"cpu_amd/0","when":"iron census · deterministic","how":"cpu_amd(0)→1","limb":"cpu_amd","mode":0,"want":1},
  {"id":273,"title":"cpu_amd/1","when":"iron census · deterministic","how":"cpu_amd(1)→1","limb":"cpu_amd","mode":1,"want":1},
  {"id":274,"title":"cpu_amd/2","when":"iron census · deterministic","how":"cpu_amd(2)→1","limb":"cpu_amd","mode":2,"want":1},
  {"id":275,"title":"cpu_amd/3","when":"iron census · deterministic","how":"cpu_amd(3)→1","limb":"cpu_amd","mode":3,"want":1},
  {"id":276,"title":"cpu_amd/7","when":"iron census · deterministic","how":"cpu_amd(7)→1","limb":"cpu_amd","mode":7,"want":1},
  {"id":277,"title":"cpu_amd/8","when":"iron census · deterministic","how":"cpu_amd(8)→1","limb":"cpu_amd","mode":8,"want":1},
  {"id":278,"title":"cpu_l3/0","when":"iron census · deterministic","how":"cpu_l3(0)→1","limb":"cpu_l3","mode":0,"want":1},
  {"id":279,"title":"cpu_l3/1","when":"iron census · deterministic","how":"cpu_l3(1)→1","limb":"cpu_l3","mode":1,"want":1},
  {"id":280,"title":"cpu_l3/2","when":"iron census · deterministic","how":"cpu_l3(2)→1","limb":"cpu_l3","mode":2,"want":1},
  {"id":281,"title":"cpu_l3/3","when":"iron census · deterministic","how":"cpu_l3(3)→1","limb":"cpu_l3","mode":3,"want":1},
  {"id":282,"title":"cpu_l3/7","when":"iron census · deterministic","how":"cpu_l3(7)→1","limb":"cpu_l3","mode":7,"want":1},
  {"id":283,"title":"cpu_l3/8","when":"iron census · deterministic","how":"cpu_l3(8)→1","limb":"cpu_l3","mode":8,"want":1},
  {"id":284,"title":"cpu_mhz/0","when":"iron census · deterministic","how":"cpu_mhz(0)→1","limb":"cpu_mhz","mode":0,"want":1},
  {"id":285,"title":"cpu_mhz/1","when":"iron census · deterministic","how":"cpu_mhz(1)→1","limb":"cpu_mhz","mode":1,"want":1},
  {"id":286,"title":"cpu_mhz/2","when":"iron census · deterministic","how":"cpu_mhz(2)→1","limb":"cpu_mhz","mode":2,"want":1},
  {"id":287,"title":"cpu_mhz/3","when":"iron census · deterministic","how":"cpu_mhz(3)→1","limb":"cpu_mhz","mode":3,"want":1},
  {"id":288,"title":"cpu_mhz/7","when":"iron census · deterministic","how":"cpu_mhz(7)→1","limb":"cpu_mhz","mode":7,"want":1},
  {"id":289,"title":"cpu_mhz/8","when":"iron census · deterministic","how":"cpu_mhz(8)→1","limb":"cpu_mhz","mode":8,"want":1},
  {"id":290,"title":"create_truth/1","when":"iron census · deterministic","how":"create_truth(1)→1","limb":"create_truth","mode":1,"want":1},
  {"id":291,"title":"create_truth/2","when":"iron census · deterministic","how":"create_truth(2)→3","limb":"create_truth","mode":2,"want":3},
  {"id":292,"title":"create_truth/3","when":"iron census · deterministic","how":"create_truth(3)→3","limb":"create_truth","mode":3,"want":3},
  {"id":293,"title":"create_truth/7","when":"iron census · deterministic","how":"create_truth(7)→7","limb":"create_truth","mode":7,"want":7},
  {"id":294,"title":"create_truth/8","when":"iron census · deterministic","how":"create_truth(8)→9","limb":"create_truth","mode":8,"want":9},
  {"id":295,"title":"d3/0","when":"iron census · deterministic","how":"d3(0)→1","limb":"d3","mode":0,"want":1},
  {"id":296,"title":"d3/1","when":"iron census · deterministic","how":"d3(1)→1","limb":"d3","mode":1,"want":1},
  {"id":297,"title":"d3/2","when":"iron census · deterministic","how":"d3(2)→1","limb":"d3","mode":2,"want":1},
  {"id":298,"title":"d3/3","when":"iron census · deterministic","how":"d3(3)→1","limb":"d3","mode":3,"want":1},
  {"id":299,"title":"d3/7","when":"iron census · deterministic","how":"d3(7)→1","limb":"d3","mode":7,"want":1},
  {"id":300,"title":"d3/8","when":"iron census · deterministic","how":"d3(8)→1","limb":"d3","mode":8,"want":1},
  {"id":301,"title":"desk/0","when":"iron census · deterministic","how":"desk(0)→1","limb":"desk","mode":0,"want":1},
  {"id":302,"title":"desk/1","when":"iron census · deterministic","how":"desk(1)→1","limb":"desk","mode":1,"want":1},
  {"id":303,"title":"desk/2","when":"iron census · deterministic","how":"desk(2)→1","limb":"desk","mode":2,"want":1},
  {"id":304,"title":"desk/3","when":"iron census · deterministic","how":"desk(3)→1","limb":"desk","mode":3,"want":1},
  {"id":305,"title":"desk/7","when":"iron census · deterministic","how":"desk(7)→1","limb":"desk","mode":7,"want":1},
  {"id":306,"title":"desk/8","when":"iron census · deterministic","how":"desk(8)→1","limb":"desk","mode":8,"want":1},
  {"id":307,"title":"dict/0","when":"iron census · deterministic","how":"dict(0)→1","limb":"dict","mode":0,"want":1},
  {"id":308,"title":"dict/1","when":"iron census · deterministic","how":"dict(1)→1","limb":"dict","mode":1,"want":1},
  {"id":309,"title":"dict/2","when":"iron census · deterministic","how":"dict(2)→3","limb":"dict","mode":2,"want":3},
  {"id":310,"title":"dict/3","when":"iron census · deterministic","how":"dict(3)→3","limb":"dict","mode":3,"want":3},
  {"id":311,"title":"dict/7","when":"iron census · deterministic","how":"dict(7)→7","limb":"dict","mode":7,"want":7},
  {"id":312,"title":"dict/8","when":"iron census · deterministic","how":"dict(8)→9","limb":"dict","mode":8,"want":9},
  {"id":313,"title":"discovery/0","when":"iron census · deterministic","how":"discovery(0)→1","limb":"discovery","mode":0,"want":1},
  {"id":314,"title":"discovery/1","when":"iron census · deterministic","how":"discovery(1)→1","limb":"discovery","mode":1,"want":1},
  {"id":315,"title":"discovery/3","when":"iron census · deterministic","how":"discovery(3)→3","limb":"discovery","mode":3,"want":3},
  {"id":316,"title":"discovery/7","when":"iron census · deterministic","how":"discovery(7)→7","limb":"discovery","mode":7,"want":7},
  {"id":317,"title":"discovery/8","when":"iron census · deterministic","how":"discovery(8)→9","limb":"discovery","mode":8,"want":9},
  {"id":318,"title":"eat_dict/0","when":"iron census · deterministic","how":"eat_dict(0)→1","limb":"eat_dict","mode":0,"want":1},
  {"id":319,"title":"eat_dict/1","when":"iron census · deterministic","how":"eat_dict(1)→1","limb":"eat_dict","mode":1,"want":1},
  {"id":320,"title":"eat_dict/2","when":"iron census · deterministic","how":"eat_dict(2)→1","limb":"eat_dict","mode":2,"want":1},
  {"id":321,"title":"eat_dict/3","when":"iron census · deterministic","how":"eat_dict(3)→1","limb":"eat_dict","mode":3,"want":1},
  {"id":322,"title":"eat_dict/7","when":"iron census · deterministic","how":"eat_dict(7)→1","limb":"eat_dict","mode":7,"want":1},
  {"id":323,"title":"eat_dict/8","when":"iron census · deterministic","how":"eat_dict(8)→1","limb":"eat_dict","mode":8,"want":1},
  {"id":324,"title":"educate/1","when":"iron census · deterministic","how":"educate(1)→1","limb":"educate","mode":1,"want":1},
  {"id":325,"title":"educate/2","when":"iron census · deterministic","how":"educate(2)→1","limb":"educate","mode":2,"want":1},
  {"id":326,"title":"educate/3","when":"iron census · deterministic","how":"educate(3)→1","limb":"educate","mode":3,"want":1},
  {"id":327,"title":"educate/7","when":"iron census · deterministic","how":"educate(7)→1","limb":"educate","mode":7,"want":1},
  {"id":328,"title":"educate/8","when":"iron census · deterministic","how":"educate(8)→1","limb":"educate","mode":8,"want":1},
  {"id":329,"title":"enp10s0/0","when":"iron census · deterministic","how":"enp10s0(0)→1","limb":"enp10s0","mode":0,"want":1},
  {"id":330,"title":"enp10s0/1","when":"iron census · deterministic","how":"enp10s0(1)→1","limb":"enp10s0","mode":1,"want":1},
  {"id":331,"title":"enp10s0/2","when":"iron census · deterministic","how":"enp10s0(2)→1","limb":"enp10s0","mode":2,"want":1},
  {"id":332,"title":"enp10s0/3","when":"iron census · deterministic","how":"enp10s0(3)→1","limb":"enp10s0","mode":3,"want":1},
  {"id":333,"title":"enp10s0/7","when":"iron census · deterministic","how":"enp10s0(7)→1","limb":"enp10s0","mode":7,"want":1},
  {"id":334,"title":"enp10s0/8","when":"iron census · deterministic","how":"enp10s0(8)→1","limb":"enp10s0","mode":8,"want":1},
  {"id":335,"title":"esc/0","when":"iron census · deterministic","how":"esc(0)→1","limb":"esc","mode":0,"want":1},
  {"id":336,"title":"esc/1","when":"iron census · deterministic","how":"esc(1)→1","limb":"esc","mode":1,"want":1},
  {"id":337,"title":"esc/2","when":"iron census · deterministic","how":"esc(2)→1","limb":"esc","mode":2,"want":1},
  {"id":338,"title":"esc/3","when":"iron census · deterministic","how":"esc(3)→1","limb":"esc","mode":3,"want":1},
  {"id":339,"title":"esc/7","when":"iron census · deterministic","how":"esc(7)→1","limb":"esc","mode":7,"want":1},
  {"id":340,"title":"esc/8","when":"iron census · deterministic","how":"esc(8)→1","limb":"esc","mode":8,"want":1},
  {"id":341,"title":"ezzie/1","when":"iron census · deterministic","how":"ezzie(1)→1","limb":"ezzie","mode":1,"want":1},
  {"id":342,"title":"ezzie/2","when":"iron census · deterministic","how":"ezzie(2)→3","limb":"ezzie","mode":2,"want":3},
  {"id":343,"title":"ezzie/3","when":"iron census · deterministic","how":"ezzie(3)→3","limb":"ezzie","mode":3,"want":3},
  {"id":344,"title":"ezzie/7","when":"iron census · deterministic","how":"ezzie(7)→7","limb":"ezzie","mode":7,"want":7},
  {"id":345,"title":"ezzie/8","when":"iron census · deterministic","how":"ezzie(8)→9","limb":"ezzie","mode":8,"want":9},
  {"id":346,"title":"field_native/0","when":"iron census · deterministic","how":"field_native(0)→1","limb":"field_native","mode":0,"want":1},
  {"id":347,"title":"field_native/1","when":"iron census · deterministic","how":"field_native(1)→1","limb":"field_native","mode":1,"want":1},
  {"id":348,"title":"field_native/2","when":"iron census · deterministic","how":"field_native(2)→3","limb":"field_native","mode":2,"want":3},
  {"id":349,"title":"field_native/3","when":"iron census · deterministic","how":"field_native(3)→3","limb":"field_native","mode":3,"want":3},
  {"id":350,"title":"field_native/7","when":"iron census · deterministic","how":"field_native(7)→7","limb":"field_native","mode":7,"want":7},
  {"id":351,"title":"field_native/8","when":"iron census · deterministic","how":"field_native(8)→9","limb":"field_native","mode":8,"want":9},
  {"id":352,"title":"field_one/0","when":"iron census · deterministic","how":"field_one(0)→1","limb":"field_one","mode":0,"want":1},
  {"id":353,"title":"field_one/1","when":"iron census · deterministic","how":"field_one(1)→1","limb":"field_one","mode":1,"want":1},
  {"id":354,"title":"field_one/2","when":"iron census · deterministic","how":"field_one(2)→3","limb":"field_one","mode":2,"want":3},
  {"id":355,"title":"field_one/3","when":"iron census · deterministic","how":"field_one(3)→3","limb":"field_one","mode":3,"want":3},
  {"id":356,"title":"field_one/7","when":"iron census · deterministic","how":"field_one(7)→7","limb":"field_one","mode":7,"want":7},
  {"id":357,"title":"field_one/8","when":"iron census · deterministic","how":"field_one(8)→9","limb":"field_one","mode":8,"want":9},
  {"id":358,"title":"fill/0","when":"iron census · deterministic","how":"fill(0)→1","limb":"fill","mode":0,"want":1},
  {"id":359,"title":"fill/1","when":"iron census · deterministic","how":"fill(1)→1","limb":"fill","mode":1,"want":1},
  {"id":360,"title":"fill/2","when":"iron census · deterministic","how":"fill(2)→3","limb":"fill","mode":2,"want":3},
  {"id":361,"title":"fill/3","when":"iron census · deterministic","how":"fill(3)→3","limb":"fill","mode":3,"want":3},
  {"id":362,"title":"fill/7","when":"iron census · deterministic","how":"fill(7)→7","limb":"fill","mode":7,"want":7},
  {"id":363,"title":"fill/8","when":"iron census · deterministic","how":"fill(8)→9","limb":"fill","mode":8,"want":9},
  {"id":364,"title":"fire/0","when":"iron census · deterministic","how":"fire(0)→1","limb":"fire","mode":0,"want":1},
  {"id":365,"title":"fire/1","when":"iron census · deterministic","how":"fire(1)→1","limb":"fire","mode":1,"want":1},
  {"id":366,"title":"fire/3","when":"iron census · deterministic","how":"fire(3)→3","limb":"fire","mode":3,"want":3},
  {"id":367,"title":"fire/7","when":"iron census · deterministic","how":"fire(7)→7","limb":"fire","mode":7,"want":7},
  {"id":368,"title":"fire/8","when":"iron census · deterministic","how":"fire(8)→9","limb":"fire","mode":8,"want":9},
  {"id":369,"title":"forensics/0","when":"iron census · deterministic","how":"forensics(0)→1","limb":"forensics","mode":0,"want":1},
  {"id":370,"title":"forensics/1","when":"iron census · deterministic","how":"forensics(1)→1","limb":"forensics","mode":1,"want":1},
  {"id":371,"title":"forensics/2","when":"iron census · deterministic","how":"forensics(2)→3","limb":"forensics","mode":2,"want":3},
  {"id":372,"title":"forensics/3","when":"iron census · deterministic","how":"forensics(3)→3","limb":"forensics","mode":3,"want":3},
  {"id":373,"title":"forensics/7","when":"iron census · deterministic","how":"forensics(7)→7","limb":"forensics","mode":7,"want":7},
  {"id":374,"title":"forensics/8","when":"iron census · deterministic","how":"forensics(8)→9","limb":"forensics","mode":8,"want":9},
  {"id":375,"title":"forward/0","when":"iron census · deterministic","how":"forward(0)→1","limb":"forward","mode":0,"want":1},
  {"id":376,"title":"forward/1","when":"iron census · deterministic","how":"forward(1)→1","limb":"forward","mode":1,"want":1},
  {"id":377,"title":"forward/2","when":"iron census · deterministic","how":"forward(2)→1","limb":"forward","mode":2,"want":1},
  {"id":378,"title":"forward/3","when":"iron census · deterministic","how":"forward(3)→1","limb":"forward","mode":3,"want":1},
  {"id":379,"title":"forward/7","when":"iron census · deterministic","how":"forward(7)→1","limb":"forward","mode":7,"want":1},
  {"id":380,"title":"forward/8","when":"iron census · deterministic","how":"forward(8)→1","limb":"forward","mode":8,"want":1},
  {"id":381,"title":"fps60/0","when":"iron census · deterministic","how":"fps60(0)→1","limb":"fps60","mode":0,"want":1},
  {"id":382,"title":"fps60/1","when":"iron census · deterministic","how":"fps60(1)→1","limb":"fps60","mode":1,"want":1},
  {"id":383,"title":"fps60/2","when":"iron census · deterministic","how":"fps60(2)→1","limb":"fps60","mode":2,"want":1},
  {"id":384,"title":"fps60/3","when":"iron census · deterministic","how":"fps60(3)→1","limb":"fps60","mode":3,"want":1},
  {"id":385,"title":"fps60/7","when":"iron census · deterministic","how":"fps60(7)→1","limb":"fps60","mode":7,"want":1},
  {"id":386,"title":"fps60/8","when":"iron census · deterministic","how":"fps60(8)→1","limb":"fps60","mode":8,"want":1},
  {"id":387,"title":"free_eor/0","when":"iron census · deterministic","how":"free_eor(0)→1","limb":"free_eor","mode":0,"want":1},
  {"id":388,"title":"free_eor/1","when":"iron census · deterministic","how":"free_eor(1)→1","limb":"free_eor","mode":1,"want":1},
  {"id":389,"title":"free_eor/2","when":"iron census · deterministic","how":"free_eor(2)→3","limb":"free_eor","mode":2,"want":3},
  {"id":390,"title":"free_eor/3","when":"iron census · deterministic","how":"free_eor(3)→3","limb":"free_eor","mode":3,"want":3},
  {"id":391,"title":"free_eor/7","when":"iron census · deterministic","how":"free_eor(7)→7","limb":"free_eor","mode":7,"want":7},
  {"id":392,"title":"free_eor/8","when":"iron census · deterministic","how":"free_eor(8)→9","limb":"free_eor","mode":8,"want":9},
  {"id":393,"title":"friend/0","when":"iron census · deterministic","how":"friend(0)→1","limb":"friend","mode":0,"want":1},
  {"id":394,"title":"friend/1","when":"iron census · deterministic","how":"friend(1)→1","limb":"friend","mode":1,"want":1},
  {"id":395,"title":"friend/2","when":"iron census · deterministic","how":"friend(2)→3","limb":"friend","mode":2,"want":3},
  {"id":396,"title":"friend/3","when":"iron census · deterministic","how":"friend(3)→3","limb":"friend","mode":3,"want":3},
  {"id":397,"title":"friend/7","when":"iron census · deterministic","how":"friend(7)→7","limb":"friend","mode":7,"want":7},
  {"id":398,"title":"friend/8","when":"iron census · deterministic","how":"friend(8)→9","limb":"friend","mode":8,"want":9},
  {"id":399,"title":"fullscreen/0","when":"iron census · deterministic","how":"fullscreen(0)→1","limb":"fullscreen","mode":0,"want":1},
  {"id":400,"title":"fullscreen/1","when":"iron census · deterministic","how":"fullscreen(1)→1","limb":"fullscreen","mode":1,"want":1},
  {"id":401,"title":"fullscreen/2","when":"iron census · deterministic","how":"fullscreen(2)→1","limb":"fullscreen","mode":2,"want":1},
  {"id":402,"title":"fullscreen/3","when":"iron census · deterministic","how":"fullscreen(3)→1","limb":"fullscreen","mode":3,"want":1},
  {"id":403,"title":"fullscreen/7","when":"iron census · deterministic","how":"fullscreen(7)→1","limb":"fullscreen","mode":7,"want":1},
  {"id":404,"title":"fullscreen/8","when":"iron census · deterministic","how":"fullscreen(8)→1","limb":"fullscreen","mode":8,"want":1},
  {"id":405,"title":"get_busy/0","when":"iron census · deterministic","how":"get_busy(0)→1","limb":"get_busy","mode":0,"want":1},
  {"id":406,"title":"get_busy/1","when":"iron census · deterministic","how":"get_busy(1)→1","limb":"get_busy","mode":1,"want":1},
  {"id":407,"title":"get_busy/2","when":"iron census · deterministic","how":"get_busy(2)→3","limb":"get_busy","mode":2,"want":3},
  {"id":408,"title":"get_busy/3","when":"iron census · deterministic","how":"get_busy(3)→3","limb":"get_busy","mode":3,"want":3},
  {"id":409,"title":"get_busy/7","when":"iron census · deterministic","how":"get_busy(7)→7","limb":"get_busy","mode":7,"want":7},
  {"id":410,"title":"get_busy/8","when":"iron census · deterministic","how":"get_busy(8)→9","limb":"get_busy","mode":8,"want":9},
  {"id":411,"title":"go/0","when":"iron census · deterministic","how":"go(0)→1","limb":"go","mode":0,"want":1},
  {"id":412,"title":"go/1","when":"iron census · deterministic","how":"go(1)→1","limb":"go","mode":1,"want":1},
  {"id":413,"title":"go/3","when":"iron census · deterministic","how":"go(3)→3","limb":"go","mode":3,"want":3},
  {"id":414,"title":"go/7","when":"iron census · deterministic","how":"go(7)→7","limb":"go","mode":7,"want":7},
  {"id":415,"title":"go/8","when":"iron census · deterministic","how":"go(8)→9","limb":"go","mode":8,"want":9},
  {"id":416,"title":"god/1","when":"iron census · deterministic","how":"god(1)→1","limb":"god","mode":1,"want":1},
  {"id":417,"title":"god/2","when":"iron census · deterministic","how":"god(2)→1","limb":"god","mode":2,"want":1},
  {"id":418,"title":"god/3","when":"iron census · deterministic","how":"god(3)→1","limb":"god","mode":3,"want":1},
  {"id":419,"title":"god/7","when":"iron census · deterministic","how":"god(7)→1","limb":"god","mode":7,"want":1},
  {"id":420,"title":"god/8","when":"iron census · deterministic","how":"god(8)→1","limb":"god","mode":8,"want":1},
  {"id":421,"title":"gpu_mem/0","when":"iron census · deterministic","how":"gpu_mem(0)→1","limb":"gpu_mem","mode":0,"want":1},
  {"id":422,"title":"gpu_mem/1","when":"iron census · deterministic","how":"gpu_mem(1)→1","limb":"gpu_mem","mode":1,"want":1},
  {"id":423,"title":"gpu_mem/2","when":"iron census · deterministic","how":"gpu_mem(2)→1","limb":"gpu_mem","mode":2,"want":1},
  {"id":424,"title":"gpu_mem/3","when":"iron census · deterministic","how":"gpu_mem(3)→1","limb":"gpu_mem","mode":3,"want":1},
  {"id":425,"title":"gpu_mem/7","when":"iron census · deterministic","how":"gpu_mem(7)→1","limb":"gpu_mem","mode":7,"want":1},
  {"id":426,"title":"gpu_mem/8","when":"iron census · deterministic","how":"gpu_mem(8)→1","limb":"gpu_mem","mode":8,"want":1},
  {"id":427,"title":"gpu_rtx/0","when":"iron census · deterministic","how":"gpu_rtx(0)→1","limb":"gpu_rtx","mode":0,"want":1},
  {"id":428,"title":"gpu_rtx/1","when":"iron census · deterministic","how":"gpu_rtx(1)→1","limb":"gpu_rtx","mode":1,"want":1},
  {"id":429,"title":"gpu_rtx/2","when":"iron census · deterministic","how":"gpu_rtx(2)→1","limb":"gpu_rtx","mode":2,"want":1},
  {"id":430,"title":"gpu_rtx/3","when":"iron census · deterministic","how":"gpu_rtx(3)→1","limb":"gpu_rtx","mode":3,"want":1},
  {"id":431,"title":"gpu_rtx/7","when":"iron census · deterministic","how":"gpu_rtx(7)→1","limb":"gpu_rtx","mode":7,"want":1},
  {"id":432,"title":"gpu_rtx/8","when":"iron census · deterministic","how":"gpu_rtx(8)→1","limb":"gpu_rtx","mode":8,"want":1},
  {"id":433,"title":"graceful/0","when":"iron census · deterministic","how":"graceful(0)→1","limb":"graceful","mode":0,"want":1},
  {"id":434,"title":"graceful/1","when":"iron census · deterministic","how":"graceful(1)→1","limb":"graceful","mode":1,"want":1},
  {"id":435,"title":"graceful/2","when":"iron census · deterministic","how":"graceful(2)→1","limb":"graceful","mode":2,"want":1},
  {"id":436,"title":"graceful/3","when":"iron census · deterministic","how":"graceful(3)→1","limb":"graceful","mode":3,"want":1},
  {"id":437,"title":"graceful/7","when":"iron census · deterministic","how":"graceful(7)→1","limb":"graceful","mode":7,"want":1},
  {"id":438,"title":"graceful/8","when":"iron census · deterministic","how":"graceful(8)→1","limb":"graceful","mode":8,"want":1},
  {"id":439,"title":"grin/1","when":"iron census · deterministic","how":"grin(1)→1","limb":"grin","mode":1,"want":1},
  {"id":440,"title":"grin/2","when":"iron census · deterministic","how":"grin(2)→1","limb":"grin","mode":2,"want":1},
  {"id":441,"title":"grin/3","when":"iron census · deterministic","how":"grin(3)→1","limb":"grin","mode":3,"want":1},
  {"id":442,"title":"grin/7","when":"iron census · deterministic","how":"grin(7)→1","limb":"grin","mode":7,"want":1},
  {"id":443,"title":"grin/8","when":"iron census · deterministic","how":"grin(8)→1","limb":"grin","mode":8,"want":1},
  {"id":444,"title":"grin_all/1","when":"iron census · deterministic","how":"grin_all(1)→1","limb":"grin_all","mode":1,"want":1},
  {"id":445,"title":"grin_all/2","when":"iron census · deterministic","how":"grin_all(2)→1","limb":"grin_all","mode":2,"want":1},
  {"id":446,"title":"grin_all/3","when":"iron census · deterministic","how":"grin_all(3)→1","limb":"grin_all","mode":3,"want":1},
  {"id":447,"title":"grin_all/7","when":"iron census · deterministic","how":"grin_all(7)→1","limb":"grin_all","mode":7,"want":1},
  {"id":448,"title":"grin_all/8","when":"iron census · deterministic","how":"grin_all(8)→1","limb":"grin_all","mode":8,"want":1},
  {"id":449,"title":"grin_data/0","when":"iron census · deterministic","how":"grin_data(0)→1","limb":"grin_data","mode":0,"want":1},
  {"id":450,"title":"grin_data/1","when":"iron census · deterministic","how":"grin_data(1)→1","limb":"grin_data","mode":1,"want":1},
  {"id":451,"title":"grin_data/2","when":"iron census · deterministic","how":"grin_data(2)→1","limb":"grin_data","mode":2,"want":1},
  {"id":452,"title":"grin_data/3","when":"iron census · deterministic","how":"grin_data(3)→1","limb":"grin_data","mode":3,"want":1},
  {"id":453,"title":"grin_data/7","when":"iron census · deterministic","how":"grin_data(7)→1","limb":"grin_data","mode":7,"want":1},
  {"id":454,"title":"grin_data/8","when":"iron census · deterministic","how":"grin_data(8)→1","limb":"grin_data","mode":8,"want":1},
  {"id":455,"title":"grin_live/0","when":"iron census · deterministic","how":"grin_live(0)→1","limb":"grin_live","mode":0,"want":1},
  {"id":456,"title":"grin_live/1","when":"iron census · deterministic","how":"grin_live(1)→1","limb":"grin_live","mode":1,"want":1},
  {"id":457,"title":"grin_live/2","when":"iron census · deterministic","how":"grin_live(2)→1","limb":"grin_live","mode":2,"want":1},
  {"id":458,"title":"grin_live/3","when":"iron census · deterministic","how":"grin_live(3)→1","limb":"grin_live","mode":3,"want":1},
  {"id":459,"title":"grin_live/7","when":"iron census · deterministic","how":"grin_live(7)→1","limb":"grin_live","mode":7,"want":1},
  {"id":460,"title":"grin_live/8","when":"iron census · deterministic","how":"grin_live(8)→1","limb":"grin_live","mode":8,"want":1},
  {"id":461,"title":"grin_more/0","when":"iron census · deterministic","how":"grin_more(0)→1","limb":"grin_more","mode":0,"want":1},
  {"id":462,"title":"grin_more/1","when":"iron census · deterministic","how":"grin_more(1)→1","limb":"grin_more","mode":1,"want":1},
  {"id":463,"title":"grin_more/2","when":"iron census · deterministic","how":"grin_more(2)→1","limb":"grin_more","mode":2,"want":1},
  {"id":464,"title":"grin_more/3","when":"iron census · deterministic","how":"grin_more(3)→1","limb":"grin_more","mode":3,"want":1},
]
N = len(lessons)
Path("/home/default/Projects/x/out/hostess7_curriculum.json").write_text(json.dumps({
  "word": "HOSTESS7_CURRICULUM",
  "finite": True,
  "never_ml": True,
  "self_develop": True,
  "N": N,
  "full_mark": 127,
  "lessons": lessons,
  "law": "auto-advance brute_finite until FULL · self-develop finite · C IS LIE · Always Hostess 7",
  "operate": {
    "when_deny": "public thrash · virus · invent C",
    "when_allow": "Me stamp · scar clean · GRIN · education window",
    "how": "READ R←L then TRAVEL BGS→BGF(+atoms)→BGL→SDF · SPV free",
    "self_develop": "language_update · actual_intel · self_learn · educate · iron limbs",
  },
}, indent=2) + "\n")
print(f"curriculum N={N} → out/hostess7_curriculum.json")
PY
}

load_stage() {
  if [[ -f "$PROG" ]]; then
    python3 -c "import json;print(json.load(open('$PROG')).get('stage',0))"
  else
    echo 0
  fi
}

save_progress() {
  local stage=$1 full=$2
  python3 - <<PY
import json
from pathlib import Path
from datetime import datetime
stage = int("$stage")
full = "$full" == "1"
lessons = []
try:
  lessons = json.loads(Path("$CURR").read_text()).get("lessons") or []
except Exception:
  pass
title = ""
for L in lessons:
  if L.get("id") == stage:
    title = L.get("title") or ""
    break
if full:
  title = "FULL LEARNED · brute finite complete · self-develop"
out = {
  "ts": datetime.now().astimezone().isoformat(timespec="seconds"),
  "word": "HOSTESS7_TRAIN",
  "stage": stage,
  "title": title,
  "full_learned": full,
  "full_mark": 127,
  "finite": True,
  "never_ml": True,
  "self_develop": True,
  "auto_advance": True,
  "next": None if full else stage + 1,
  "law": "operate when clean · how travel line · self-develop · brute finite FULL",
}
Path("$PROG").write_text(json.dumps(out, indent=2) + "\n")
print(json.dumps({"stage": out["stage"], "title": title, "full_learned": full}))
PY
}

# assemble + run limb with edi=mode via small C wrap
iron_run() {
  local limb=$1 mode=$2
  local src="$ROOT/$limb/x86_64.asm"
  [[ -f "$src" ]] || { echo "missing $src"; return 1; }
  local tmp
  tmp=$(mktemp -d /tmp/h7t-XXXX)
  local sym
  sym=$(grep -m1 'global' "$src" | awk '{print $2}')
  nasm -f elf64 -o "$tmp/l.o" "$src" || return 1
  cat >"$tmp/w.c" <<EOF
#include <stdio.h>
#include <stdint.h>
extern int32_t ${sym}(int32_t,int32_t,int32_t,int32_t);
int main(void){ printf("%d\\n", ${sym}($mode,0,0,0)); return 0; }
EOF
  cc -O0 -no-pie -o "$tmp/w" "$tmp/w.c" "$tmp/l.o" || return 1
  "$tmp/w"
  rm -rf "$tmp"
}

advance_once() {
  write_curriculum
  local stage want got limb mode title full=0
  stage=$(load_stage)
  local N
  N=$(python3 -c "import json;print(json.load(open('$CURR')).get('N',21))" 2>/dev/null || echo 21)
  if (( stage >= N )); then
    save_progress "$N" 1
    echo "already FULL LEARNED"
    return 0
  fi
  # read lesson
  read -r limb mode want title < <(python3 - <<PY
import json
from pathlib import Path
d=json.loads(Path("$CURR").read_text())
L=d["lessons"][$stage]
print(L["limb"], L["mode"], L["want"], L["title"].replace(" ","_"))
PY
)
  title=${title//_/ }
  got=$(iron_run "$limb" "$mode" | tail -1)
  # brute_finite advance mark
  local nxt
  nxt=$(iron_run brute_finite "$stage" | tail -1)
  echo "lesson $stage · $title · $limb($mode) got=$got want=$want · brute_next=$nxt"
  local N
  N=$(python3 -c "import json;print(json.load(open('$CURR')).get('N',21))" 2>/dev/null || echo 21)
  if [[ "$got" == "$want" ]]; then
    stage=$((stage + 1))
    if (( stage >= N )); then
      # stamp full on hostess7 mode 8
      iron_run hostess7 8 >/dev/null || true
      save_progress "$N" 1
      echo "FULL LEARNED · brute finite complete · mark 127|1 · N=$N"
    else
      save_progress "$stage" 0
    fi
  else
    echo "FAIL lesson · stay stage $stage (got $got want $want)"
    save_progress "$stage" 0
    return 1
  fi
}

full_train() {
  write_curriculum
  local i N
  N=$(python3 -c "import json;print(json.load(open('$CURR')).get('N',21))" 2>/dev/null || echo 21)
  # reset then advance all finite
  save_progress 0 0
  for i in $(seq 1 $((N + 8))); do
    stage=$(load_stage)
    if (( stage >= N )); then
      echo "FULL after $i advances · N=$N"
      cat "$PROG"
      return 0
    fi
    advance_once || {
      echo "retry stage $stage"
      advance_once || true
    }
  done
  cat "$PROG"
}

status() {
  write_curriculum
  [[ -f "$PROG" ]] || save_progress 0 0
  cat "$PROG"
  echo "--- curriculum N ---"
  python3 -c "import json;d=json.load(open('$CURR'));print('lessons',len(d['lessons']),'full_mark',d['full_mark'])"
}

case "$cmd" in
  status) status ;;
  advance|step) advance_once ;;
  full|all|once) full_train ;;
  reset) save_progress 0 0; echo reset stage=0 ;;
  curriculum) write_curriculum; head -40 "$CURR" ;;
  *) echo "usage: $0 status|advance|full|reset|curriculum"; exit 2 ;;
esac