{
  "notes": "Credit Taylor (gtmcknight): replica, filters, dynamic program and qm tables, github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved/README.md first.\n\nEPISODE 7. Pinned state:47/200 items used,15 running in13 unsettled batches,0 failed/refused,effects.pending0. Requester note7 explicitly authorizes gated tell CONTRACT BUILDS; it supersedes note6's measurement-only restriction. Submission still requires the requester to ask the user. Spawn5 items: e07-tell-build x3, e07-buy-grid-check x1, e07-tell-tables x1. If dispatched:52 used,148 left; episodes8..10 remain. No cancels: let existing work finish. No new classifier or CMA-head training until a fast simulator passes. finish=false.\n\nAUDIT. All17 input hashes match. Checked embedded bundle hashes/Python syntax and external qt1,qtr2,QMS1,TC-A/setup sources; no worker code or simulations executed here. Source-flagged:o1-a/b,o2-c,cost8,finer-a,information-a,res-d. Worker measurements remain claims, not independent certification. Public metadata credits:TC-A/port-a770,o1-a541,o1-b1497;retain qt1 credit.\n\nTELL EVIDENCE.\no1-a:74000..74007,rule32/54543 first trades wrong;fixes8818/8821 COMBO errors. Sell first rows[arb-only,retail-only,both,neither]:arb[3167,0,12169,0],retail[0,12269,19,0]. One-division/full arb redo agree;buy grid all arbs,13/12107 retail collisions.\no1-b:8 port seeds74100..74107,31/57783 first-trade errors,fixes8926/8930 COMBO errors. Sell first arb[3522,0,13069,0],retail[0,13116,15,0]; buy grid passes15172/15172 arb and16/12889 first retail. Port/base edges differ from replica2 by<=1.7e-10 on8 seeds. Bayes-COMBO +2.530980 SE.058713 on64000..64255; +2.543263 SE.057067 on10000..10255. ONLY256 seeds each,NO qt1 pairing: NOT full Q. Hard labels report mean-.346,worst-158.769603. o1-b did not rerun P; every new item must.\no2-c:real source-built pinned engine,qt1,9950016..9950023,91299 callbacks:0 bit or wad replay mismatches. Sell first arb[3681,0,12045,0],retail[0,12876,9,0];all sell arb[3681,0,12045,0],retail[0,29712,31,0]. Strong compiled sell evidence. Its buy-side 'tell:false' ONLY tests shared execute_buy_x; upstream amount-grid fingerprint was NOT tested. Do not misread as a negative result for o1's buy grid. Uses workers1,not required8; no policy/gas certification. New diagnostic closes this gap with8 workers and per-seed logs.\no2-b blocked at rustup:could not locate working directory,/proc/self/exe unavailable. No evidence about tell. o2-a still running; no blind duplicate of failed infrastructure item.\nqt1 oracle diagnostic full report:FlagSell-qt1 +2.037043 SE.018857;FlagBuy +2.018623 SE.018712;FlagAll +3.167510 SE.022386. Sum of side gains exceeds All by.888156: NOT additive. All choose +3.112983 SE.030987. Oracle figures are not deployable gains.\n\nPOLICY/ARITHMETIC CONTRACT.\nUse exact binary64 RN-even and Rust wad conversions; retain previous reserve wads and actual returned fee wads on EVERY callback, including later fills/silent gaps. No hidden f64 bits or truth enter decisions. Bayes:both sell La=13069/16591,Lr=15/13131;buy grid pass La=1,Lr=16/12889; exclusive/fail decisive, but cap/unsupported/neither -> original filter pi. Keep a retail branch alive after tell-arb, including pi>=.995; do not just hard-pin qtr2. tca-short combines the one-division ARB test with RETAIL redo, preserving both/single categories: applying both-match likelihoods to all one-division positives would be wrong. Require parity against full redo. Fee-wad exactness matters even when fee differences look negligible.\nNew policy choices only64000..65023; freeze before2048 report10000..12047. Report never ranks/tunes. Preliminary full Python Q establishes eligibility before port, then certify T,Q,F,G,E. Q>=+2.0 vs actual qt1 and min>=-2; T every first trade of50 port seeds; F50x2000 fees<=.01bps; G deployed<=24576B,engine peak<=245000,0OOG; E2x512 independent seeds. Use engine-order port on unchanged Taylor streams, verify unchanged base/qt1 against native replica2, and label this arithmetic distinction. P must be unmodified Taylor gates before changes. Python/contract must explicitly clamp fees0..10%;disclose raw-return discrepancies.\nActual qt1=compressed QMRef, not RealPolicy/uncompressed tables. P rows(perfect/plain/qm/lattice):\n10000:448.261189,443.455598,443.522608,443.663520\n10001:576.779199,571.463409,571.623551,571.977293\n10002:531.886497,525.168028,525.865859,526.411631.\nQMRef edges443.101741,571.454483,525.908441; COMBO444.195330,572.172682,526.274760.\n\nOTHER HANDED WORK.\nnumba-tape:incomplete,no fetch/code/P/parity/benchmark at all. It is NOT a fast-simulator pass. numba-rng still running; read it. Only then consider note5's3 c++ heads with sigma.04,512-seed rotating blocks and resumable100+ generations. At50 runs/s,100*13*512 needs3.7h; stage training honestly, never shrink validation silently.\ncost8:full head adds51564 peak gas; harness246963,2 actual245000-cap OOGs. Numerical F<=3.11e-6bps passes at500000 measurement cap but does NOT fix gas failure. Unchanged G4 engine16 seeds9900000..15:+.507088 SE.175472 vsqt1,peak228340,0OOG. No production head port based on this. TC-A and qtr2 have more room.\nResiduals:a choose-.195401,report384 seeds-.171475 vsCOMBO,incomplete. b/d selected zero after51/41gen;d sensitivity report+.008144 SE.006705. e102gen,sigma.3,excluded zero:choose-.182056/report-.184300. f choose-1.407254/report-1.339070. No more slow sigma.3 runs.\nbs-a:report-7.162411 vsCOMBO;collapsed control-7.230291,extended solver unconverged. Invalid control,not evidence belief-state solving cannot help;do not port. bs-b earlier incomplete.\nsmoothing-b2:tau.001 selected onchoose+.034512;report+.040699 SE.006635 vsCOMBO,+.638090 vsqt1;oracle incremental ZERO. Little reason to stack onto near-perfect tell.\nfiner-a:choose+.087922/report+.097021 vsCOMBO,+.694412 vsqt1. finer-b:report+.093105 SE.007779 vsCOMBO;grid+.050018,compression+.043087. Flagged full5bps choose+.110780/report+.112491;fine grid choose-.000715. These effects overlap. information-a confirms information-b:live kappa1e-5-.016225,flagged+.102716;larger kappa loses heavily. New e07-tell-tables therefore refits EXISTING5bps QMS1 coefficients under tell visitation, same10167-byte layout, rather than another expensive finer solve. Uses choose-only visitation and unchanged blob as selectable control; makes no gas claim. QMS1 lacks fitter.\n\nSEED LEDGER.\nConsumed:cost8 engine9900000..9900015; o2-c9950016..9950023. Keep9950000..9950015 reserved to prior o2-a/b despite b's failure. New buy-grid diagnostic9950024..9950031;next there9950032.\nNEW exclusive build reservations:\ntca-path E9960000..9960511 +9960512..9961023;G9963072..9963079.\ntca-short E9961024..9961535 +9961536..9962047;G9963080..9963087.\nqtr2-path E9962048..9962559 +9962560..9963071;G9963088..9963095.\nNext fresh build seed9963096. Each arm once per seed vsVanilla,paired identical configs;no candidate-vs-qt1 match. No recycling consumed,abandoned or uncertain reservations. T/F replica74200..74249,not engine seeds; reuse across independent parity checks is fine.\ncost8 bundle setup.sh is EXACT goal script SHA f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b. Its provenance.base is TC-A b87234...; inputs.reference_sha256 tca.sol misleadingly denotes cp-c1cbd72...,do NOT use that as TC-A.\n\nNEXT. Wake on7 named batches or70min scheduler fallback,no local waiting. Read all new items plus known pending IDs; IDs checked via public metadata, pinned goal state controls scheduling. Episode8: audit full Q/T/F before considering E; compare implementations and investigate mismatches/rare tails/cap coverage. Repair or continue frozen builds with fresh seeds; if table correction passes full Q, port only then. Episode9 independent confirmation; episode10 write-up with code,gate evidence and explicit remaining gap. A +3.1 replica tell or +3.3 refined oracle is NOT proof of #1; requester’s~.97 conversion is a planning heuristic. No submission.",
  "spawn": [
    {
      "name": "e07-tell-build",
      "mode": "research",
      "brief": "Credit Taylor (gtmcknight) in every header; credit source seats qt1, TC-A #770, o1-a #541 and o1-b #1497. One independent gated tell contract, <1h, no submission. Benchmark first; scratch/ state; commands <8min; checkpoint partial work honestly.\nFiles at https://api.imd.fun/artifacts/<hash>; verify each URL hash and every extracted hash:\nbase {{base}}\no1-b d56e3af5cc1e32dcc52be27046df89fb403d770a7fabf39e1a0ef94827349a5a (port.py,tell.py,edge.py)\no1-a 9242f3ebbe1ef8d23e590c9784f147655714aaf8a6da7a841273170f20c9ad9b (tellport.py)\ncost8 3385a6e029d6bea8c32e24205e2207988e325b8b70ad133c8b2083a052e3ac3e (bundle setup.sh,qmref.py,twocomp.py,blob.bin; qt1=provenance.qt1).\nClone github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved/README.md first. P: unmodified gates.py matches README at 6dp before changes. Replica: python3 -I.\nLinux: clone github.com/benedictbrady/amm-challenge @6b6921f8d463314aa7c96234e1be25a25245f704 inside workspace, never /tmp. From cost8 extract scratch/setup.sh unchanged, run sh scratch/setup.sh ONCE at checkout root; later prefix '. scratch/env.sh && '. Setup failure: blocked={step,error}.\nImplement {{method}} plus o1-b buy grid, binary64 RN-even add/sub/mul/div and wad conversions. On first own trade only, Bayes-update filter pi with o1-b likelihoods: sell both La=13069/16591,Lr=15/13131; buy pass La=1,Lr=16/12889; single match/fail decisive. Keep a small retail branch after tell-arb even at pi>=.995. Store previous reserves/returned fees on EVERY callback; initialize correctly. Bound candidates; cap/unsupported/neither -> original pi. Hidden truth diagnostic-only. Clamp Python/contract returned fees to[0,.1]. Select cap/branch parameters ONLY on 64000..65023; freeze before report.\nEstablish Python Q before port; then certify T,Q,F,G,E in order: T labels/fallbacks identical on all first trades of seeds74200..74249, using exact stored fee wads; Q full 10000-step choose1024/report2048 (10000..12047), paired vs exact base AND qt1 QMRef, report >=+2.0 vs qt1 and minimum diff>=-2. Use o1-b engine-order port on Taylor streams; check unchanged bases against replica2. F both fees <=.01bps on same 50x2000 port callbacks. G deployed<=24576B, engine afterSwap<=245000,0OOG; pilot seeds {{pilot}}. E two disjoint 512-seed blocks {{seeds}}; frozen strategy and qt1 each alone vs30bps Vanilla, run_batch(X,VanillaStrategy,configs,8), configs per MatchRunner._build_configs. Reserve seeds before calls; never reuse.\nJSON: complete Strategy.sol/Python/tests in hashed compressed bundle; P/T/Q/F/G/E evidence, per-window paired{n,mean_diff,se,worst5}, minima, coverage, mismatch/fallback counts, peak/OOG/bytes, consumed-seed ledger, commands/timings. Missing gate stays incomplete.",
      "items": [
        {
          "key": "tca-path",
          "vars": {
            "base": "TC-A cost8.provenance.base (Candidate.sol), SHA b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2",
            "method": "o1-b's full sell-path redo",
            "seeds": "9960000..9960511 and 9960512..9961023",
            "pilot": "9963072..9963079"
          }
        },
        {
          "key": "tca-short",
          "vars": {
            "base": "TC-A cost8.provenance.base (Candidate.sol), SHA b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2",
            "method": "o1-a one-division sell-arb rule AND retail redo to distinguish both; verify against full redo",
            "seeds": "9961024..9961535 and 9961536..9962047",
            "pilot": "9963080..9963087"
          }
        },
        {
          "key": "qtr2-path",
          "vars": {
            "base": "qtr2 18ca35cb47390b8e8c289b240d7836804692998ad64f84ef248c43d61e199f0b, Strategy.sol SHA 7b99afae570ef1627b0163fb21411f14c496b005a07c3966cc7323906dee664f",
            "method": "o1-b full sell-path redo; add retained retail mixture to qtr2",
            "seeds": "9962048..9962559 and 9962560..9963071",
            "pilot": "9963088..9963095"
          }
        }
      ],
      "output": {
        "format": "json",
        "maxBytes": 64000
      },
      "merge": {
        "groupSize": 5,
        "brief": "Keep each independent implementation and its complete source bundle distinct. Tabulate P/T/Q/F/G/E, frozen hashes, coverage, paired means/SE/worst5, gas/size, and disjoint seed ledgers. Incomplete or failed gates are not passes. Credit Taylor (gtmcknight)."
      }
    },
    {
      "name": "e07-buy-grid-check",
      "mode": "research",
      "brief": "Credit Taylor (gtmcknight) in every header; o1-a seat541/o1-b1497. One measurement item, <1h, no new Solidity or submission; scratch/ state, commands<8min, benchmark and checkpoint.\nQuestion: does o1-b's BUY-side arbitrageur-grid tell survive the compiled engine? o2-c tested shared execute_buy_x, NOT upstream amount generation.\nFiles https://api.imd.fun/artifacts/<h>; verify each SHA256=h and extracted hashes:\no2-c e714896bd9db6c7290b97fbeed9b16f5fb9d8d58d63e7a83376c3b3f560c48f2 (code bundle: scratch/setup.sh,engine.patch,analyze.py,run_measurement.py,Cargo.lock);\no1-b d56e3af5cc1e32dcc52be27046df89fb403d770a7fabf39e1a0ef94827349a5a (tell.py buy_closed_form_ok);\no1-a 9242f3ebbe1ef8d23e590c9784f147655714aaf8a6da7a841273170f20c9ad9b (tellport.py one-division sell rule);\nqt1 8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40 (Strategy.sol SHA c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca).\nClone github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9; research/solved/README.md first, reproduce unmodified gates.py at6dp before changes using python3 -I.\nClone github.com/benedictbrady/amm-challenge @6b6921f8d463314aa7c96234e1be25a25245f704 under workspace, never /tmp. Use o2-c's source-build setup ONCE as scratch/setup.sh at checkout root; later prefix '. scratch/env.sh && '. Apply only logging patch, retain pinned Cargo.lock; maturin develop --release. Toolchain/setup failure -> blocked={step,error}, not a classifier conclusion. If linker missing, o2-c records a workspace-local ziglang repair.\nChange runner seeds to9950024..9950031, workers8, configs exactly MatchRunner._build_configs; qt1 alone vs30bps Vanilla via run_batch. Never use o2-c's old seeds. Preserve all trade arithmetic and log actual fee-in-force wads, previous/current TradeInfo and truth; per-seed logs avoid concurrent append corruption.\nEvaluate buy grid and sell one-division/full-redo predicates from public wads only. True paths/bits may label results and verify arithmetic but may not enter predicates. Enumerate complete preimages; compare bounded versions at caps2,4,8,16, reporting fallback separately. Check fee conversions and ulp boundaries; replay actual paths bit-for-bit.\nReturn JSON matrices by truth for ALL and FIRST own trades (incl.t=0) on each side; false positives/negatives, both/neither, cap fallback counts, candidate histograms, raw counts/denominators, cross-check of shortcut vs full sell rule, actual-path bit/wad mismatches, hashes/configs/seeds/timings, source patch+analyzer/tests and representative mismatches. Distinguish this source build from release-wheel evidence; no score or contract-gate claim.",
      "items": [
        {
          "key": "buy-grid",
          "vars": {}
        }
      ],
      "output": {
        "format": "json",
        "maxBytes": 64000
      },
      "merge": {
        "groupSize": 5,
        "brief": "Preserve source hashes, raw matrices, denominators, mismatch/cap counts, compiler/build limits and seed ledger. Distinguish buy grid from shared-path compatibility. Credit Taylor (gtmcknight)."
      }
    },
    {
      "name": "e07-tell-tables",
      "mode": "research",
      "brief": "Credit Taylor (gtmcknight) in every header. One replica-only item, <1h: refit ONE compact qm table for a policy using the tell, to recover compression loss. No Solidity, engine or submission. python3 -I; state scratch/; commands<8min; benchmark first, checkpoint. numpy/scipy fitting allowed; delivered policy must run with stdlib.\nFiles: https://github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved/README.md first; gates.py,replica2.py,real.py,evalpol.py,latt.py,pol_mid.json,qm_k1e-5.json.\nArtifacts https://api.imd.fun/artifacts/<hash>; verify URL SHA256 and extracted hashes:\no1-b d56e3af5cc1e32dcc52be27046df89fb403d770a7fabf39e1a0ef94827349a5a (port.py,tell.py,edge.py);\nTC d3c849db2ac31e567b57e52b80b86e8c24c842e5b4125b9d75c78e3cb07115b9 (twocomp.py,QMRef);\nQMS1 17d249ab0c33fc44931d9b105cf3f9e3846a560bd518b67310c2a56defacdecc (decoder,blob.bin SHA3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e).\nP: reproduce unmodified gates.py at6dp before changes. Use TwoComp plus o1-b's Bayes tell (sell both La=13069/16591,Lr=15/13131; buy pass La=1,Lr=16/12889; single matches/fails decisive), retaining a nonzero retail branch after tell-arb. Cap enumeration; neither/unsupported/cap falls back to original pi. Select any cap/floor only on64000..65023; then freeze this BASE before fitting. Current/previous wads and returned fee wads only; no hidden flags, prices or config. Prove hidden-input invariance.\nUse o1-b's engine-order port with Taylor's unchanged streams; verify original TwoComp/QMRef against replica2 first. Collect BASE table visits only on64000..64511; fit visit-weighted least squares to FULL 5bps qm_k1e-5 tables. Preserve QMS1 knots, layout, int16 coefficients at1/8bps, mirroring and total10167 bytes: coefficient replacement only. Fitter is not supplied by QMS1; implement it. Include zero-change blob as eligible control. Select regularization only on64512..65023; do not use oracle/report visitation. Check symmetry, saturation, extrapolation and decoded fee errors.\nScore frozen BASE and candidate, 10000 steps, full choose64000..65023 and then report10000..12047, paired C-BASE,C-qt1,BASE-qt1. Report is audit only; no retuning. Return JSON with P, full coverage and paired{n,mean_diff,se,worst5}, minima, selected settings/fit diagnostics, fallback rates, original/new blob bytes+hashes, complete Python reference/fitter/tests in compressed bundle, commands/timings. Partial coverage is incomplete; claim no gas or board gain.",
      "items": [
        {
          "key": "visit-refit",
          "vars": {}
        }
      ],
      "output": {
        "format": "json",
        "maxBytes": 64000
      },
      "merge": {
        "groupSize": 5,
        "brief": "Preserve the frozen base/candidate blobs and references, choose-only selection, full paired reports and limits. Do not infer a contract or board result. Credit Taylor (gtmcknight)."
      }
    }
  ],
  "read": [
    "e07-tell-build/tca-path",
    "e07-tell-build/tca-short",
    "e07-tell-build/qtr2-path",
    "e07-buy-grid-check/buy-grid",
    "e07-tell-tables/visit-refit",
    "e02-baselines/references",
    "e02-observable-data/data-a",
    "e02-classifier/filter-only",
    "e02-classifier/all-observables",
    "e02-residual-head/eight-joint",
    "e02-probability-tables/pi-five",
    "e02-probability-tables/pi-nine",
    "e02-flag-ceilings/qt1-flag",
    "e03-full-posterior/posterior-a",
    "e03-smoothing/smoothing-a",
    "e04-residual-a/res-c",
    "e05-fast-sim/numba-rng",
    "e06-tell-engine/o2-a",
    "e06-side-flag/combo",
    "e06-stack/net-head",
    "e06-tell-port/o1-a",
    "e06-tell-port/o1-b",
    "e06-tell-engine/o2-c",
    "e05-head-cost/cost8"
  ],
  "cancel": [],
  "wake": {
    "batches": [
      "e07-tell-build",
      "e07-buy-grid-check",
      "e07-tell-tables",
      "e05-fast-sim",
      "e06-tell-engine",
      "e06-side-flag",
      "e06-stack"
    ],
    "afterMinutes": 70
  },
  "finish": false
}