AIdenID / Thermal Flight LabCooler by evidence.
REPLAY - SUNDAI · TRACK 02 Export evidence Licenses 10-seed leaderboard Honest limits build -
Objective: minimize worst chip-layer peak · wire proxy reported beside it
Initial worst peak-shared pool best, simulated
Best verified peak--
Simulator budget-evaluations used / total, equal per lane
Run wall time-all four lanes
Signal layer0calls · local policy run
Flight record--
01 / Physical candidate

Inside the thermal field

-- fixed scale for this run · heatmap is the solver grid; peaks come from the solver
0 / 0
02 / Evidence inspector

What passed the gate?

Select an evaluation
Each lane signs its own flight record (Ed25519, hash-chained, closed by run_closed); verify it offline from Export evidence.
03 / Routing

Signal layer decisions

LOCAL POLICY
Propose
Gate (legality)
Simulate
Commit / reject
-
The signal layer (TypeSafe System One) only chooses the signal-portfolio lane's next operator, and only in runs started with "Signal layer (live)". It never validates physics or commits; the simulator decides.
04 / Equal-budget comparison

Show the search, not just the winner

x: charged simulator evaluations per lane · y: lane-best verified worst peak (°C)
05 / Flight record

Proof, per lane

-
DESCRIPTIVE

Honest limits