Drop7 Research
← Docs

Seed lease map for the exploratory workspace

docs/exploratory/lease-map.md

Seed lease map for the exploratory workspace

This is the authoritative allocation for exploratory work in this session. Every range here is development or training data: once read, it can never become confirmation evidence. No protected (0x7d……) or final (0xd7……) seed has been opened.

Why these prefixes

Candidate prefixes were chosen by extracting every eight-hex-digit constant from docs/research/history.md, approaches/, src/, research/ and artifacts/ and selecting prefixes that appear nowhere. Historical gameplay seeds cluster densely in 0x3d0000000x3ea00000, with further blocks at 0x2d, 0x2e, 0x3f, 0x4d, 0x5d700000, 0x6d, 0x6e and 0xa5700000. The only 0xa5 constants anywhere in the repository are 0xa511e9b3, 0xa54ff53a and 0xa5700000, none of which fall in the ranges below.

Allocation

LeaseRangeGamesRoleConsumerState
SEEDLEASE-A51D eval0xa51d00000xa51d003f64development, paired evaluationfair-D4 reference cohort, terminal-utility sweep (6 arms), chance-strata arms (3 and 7)opened
SEEDLEASE-A51D parity0xa51d01000xa51d01012development, CHECK probesparameterized-search parity gateopened
SEEDLEASE-A51D smoke0xa51d80000xa51d800f16development, smoke testcorpus-generator smoke runopened
SEEDLEASE-A51D withdrawn0xa51d90000xa51dcfff16,384withdrawn — see incident belowfirst training-corpus attemptopened, output destroyed
SEEDLEASE-A51D-SCEN0xa51dc0000xa51dffff16,384development, scenario mintingscenario engine, exact solver, minted suitesopened
SEEDLEASE-A51D-VETO0xa51e00000xa51e3fff16,384development, paired SCREENrollout-veto retestopened
SEEDLEASE-A52 d20xa52000000xa520ffff65,536trainingcorpus, depth-2 behaviour, ε=0.08opened
SEEDLEASE-A52 d10xa52100000xa5213fff16,384trainingcorpus, depth-1 behaviour, ε=0.15opened
SEEDLEASE-A52 d30xa52140000xa5214fff4,096trainingcorpus, depth-3 behaviour, ε=0.05opened
SEEDLEASE-A52 d40xa52150000xa52152ff768trainingcorpus, depth-4 behaviour, ε=0.03opened
SEEDLEASE-A51D confirm0xa51d10000xa51d103f64development, paired evaluationshared evaluation cohort — fresh-seed 7-strata confirmation, depth x strata factorial, learned-leaf 2x2opened
SEEDLEASE-A52-FLOW0xa52300000xa5233fff16,384development, diagnosticflow-ceiling clairvoyant planneropened (8 seeds read)
SEEDLEASE-A52-FLOW20xa52340000xa5237fff16,384development, diagnosticfair planner, information-vs-planning decompositionopened
SEEDLEASE-A52-FLOW30xa52380000xa523bfff16,384development, diagnosticfair-planner ceiling extension (K=1024)opened
SEEDLEASE-A52-LEAF0xa52400000xa5247fff32,768development, tuninglearned-leaf blend tuning (disjoint from evaluation)opened
SEEDLEASE-A52-REVEAL0xa52500000xa5257fff32,768development, tuningreveal-vs-next-disc sampling splitopened
SEEDLEASE-A52-SUITE0xa52580000xa525bfff16,384development, diagnosticscenario-suite validation, position modeopened
SEEDLEASE-A52-DISTILL0xa52600000xa526ffff65,536trainingfair-planner distillation corpusopened
SEEDLEASE-A52-FAST0xa52700000xa5277fff32,768development, equivalence gatessemantics-preserving engine optimisationopened
SEEDLEASE-A52 reserve0xa52160000xa522ffff and 0xa52780000xa52fffffunallocatedreserved
SL-…-5da700000x5da700000x5da70fff4,096public-developmenta concurrent agent's afterstate trackstate disputed — under review
SL-20260822T020000Z-a52900000xa52900000xa529ffff65,536trainingleaf-evolution CMA-ES fitness blocks, 32 seeds per generation from 0xa5290000 (at most 40 generations authorised: 0xa52900000xa52904ff)opened
SL-20260822T020000Z-a52b00000xa52b00000xa52b00ff256public-development, held-out SCREENleaf-evolution held-out paired screen (first 64 seeds, read once after the candidate is frozen); remainder reserved for a replicationreserved

Training and evaluation ranges are disjoint by construction: evaluation lives under 0xa51d, training under 0xa52. No model trained on SEEDLEASE-A52 has ever seen an evaluation seed.

Incident: lease overlap, 2026-08-20

What happened. The first training-corpus run was launched at 0xa51d9000 for 16,384 games. 0xa51d9000 + 16384 = 0xa51dd000, so it consumed 0xa51d90000xa51dcfff and overlapped the scenario-minting sub-lease 0xa51dc0000xa51dffff by 4,096 seeds (0xa51dc0000xa51dcfff). The range was sized in games and the end address was not checked against the allocation table before launch.

Why it mattered. Both roles are development data, so no protected or final seed was touched and no qualification claim is affected. The real hazard was contamination of a benchmark: scenario positions minted from those 4,096 seeds could have appeared in the training corpus, so a model trained on that corpus would have been evaluated partly on positions harvested from its own training games. That is precisely the leak design-01-benchmark-suite.md exists to prevent.

Resolution. The contaminated corpus (d2eps08.states, 1,029,206 records) was destroyed, not filtered, and the corpus was regenerated from SEEDLEASE-A52, a range with no overlap with any evaluation or scenario lease. Regeneration cost 103 seconds. The 4,096 overlapped seeds remain validly allocated to scenario minting; they are recorded above as withdrawn from training so that no future run reuses them for that purpose.

Process change. Every block in SEEDLEASE-A52 starts exactly where the previous one ends, the arithmetic is printed and checked before launch, and the generation script records the consumed end address for each block.

Incident 2: sub-leases declared outside this file, 2026-08-21

What happened. Nine sub-leases were issued to delegated agents in their task briefs and recorded only in those agents' own READMEs and finding headers. They were absent from this table and from research/seeds/leases/, so for several hours the authoritative allocation map was incomplete. An independent reconciliation pass found four of them; the remainder were added at the same time.

Why it mattered. No collision resulted — the ranges were issued sequentially from a single coordinator and are disjoint, and a check against the concurrent OpenCode contributor's ranges (0x5da700000x5da70fff and 0x5eed00010x5eed0008) confirms no overlap in either direction. But the protection was luck plus sequential issuance, not a record. The first incident in this file was caused by exactly that failure mode: arithmetic done at launch time rather than checked against a table.

Resolution. Every range is now listed above. Machine-readable research/seeds/leases/ records remain outstanding for the 0xa5…… family and are owed before any of this work is promoted beyond the exploratory namespace.

Process change. A sub-lease is not issued until it appears in this table.

These documents are written for researchers. For the same ideas in plain language, with animations, start at how the game works and the concepts primer; every term is defined in the glossary.