igneum/tools/fleet
igneum-labs 2e6914f8c9 The proving outcome ledger (review B F08): every claimed job ends in one outcome; the report reads paid completions, missed deadlines and wasted work by cause
tools/fleet/box-prover.py point 6: each claimed segment is an eligible job and closes once as paid, expired (unpaid, held_expired) or cancelled (disk, export, cut, chain, timeout, shards, statement, sign, refused), active until then; the row carries outcome, cause, deadline, margin at the claim, seconds spent (wasted unless paid) and the deadline miss; the state carries the counters and the wasted seconds by cause; every close is a RESULT outcome line, the run ends with a RESULT ledger line.

tools/fleet/prover-outcomes.py: the report over state files and logs (a log from before the ledger is reconstructed from its RESULT lines; a state row wins over a log row): outcomes, paid completions (segments, shards, IGN, median end to end, median time to pay, median margin), missed deadlines by cause with the median miss (never negative, none on a stale tip), wasted work by cause, throughput per hour and the paid share of the seconds spent, the open jobs. --self-test to known numbers (known-failed first), run by the gate. tools/fleet/night.py sums the fleet's counters into its hourly row. docs/analysis/proving-outcome-ledger.md: the definitions and how to read the three ratios.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:19:39 +00:00
..
lib Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so 2026-10-07 18:39:50 +00:00
autorun.py Fleet: the last two process patterns (a top-level alternation; the canary's node path by its basename) 2026-10-06 23:33:54 +00:00
base-unit-gate.sh Testnet go checklist: block one mined on a fresh class v5 testnet chain on acaf08b0's pair, the two-node 18-decimal gate PASS (16:00 UK, 8 October); base-unit gate: the miner's first-block line anchors on "ACCEPTED block" 2026-10-08 15:02:46 +00:00
box-datadir.sh Prover tiers on real cards: eight cards (3060, 3080, 4060 Ti 16 GB, 5090 added), the 8 and 10 GB rows; fleet: the datadir joiner swap, the v5 known-failed runner 2026-10-06 13:07:05 +00:00
box-dn2.sh Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so 2026-10-07 18:39:50 +00:00
box-ember.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
box-exec-snapshot.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
box-floor-v5.sh Prover tiers on real cards: eight cards (3060, 3080, 4060 Ti 16 GB, 5090 added), the 8 and 10 GB rows; fleet: the datadir joiner swap, the v5 known-failed runner 2026-10-06 13:07:05 +00:00
box-kill.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
box-matrix.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
box-node-swap.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
box-pool.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
box-prover.py The proving outcome ledger (review B F08): every claimed job ends in one outcome; the report reads paid completions, missed deadlines and wasted work by cause 2026-10-08 19:19:39 +00:00
box-prover.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
box-rehearsal.sh Fleet: the class v4 rehearsal tooling (CUDA worker wrapper, generator-4 worker, pack re-export), the standing-fleet rule (supervisor, library, page block, gpu-fleet.md), the 0.3.15 publish script, the Devnet 2 script's ports and bps knobs, the collector's seed knobs 2026-10-06 19:46:32 +00:00
box-rig-prover.sh Devnet 2 (the staging chain): box-dn2.sh (igneum-devnet-2, own genesis bits, every activation low, no exec-restart fields), devnet2-override.json, devnet2-gate.sh (install, activation at tip + margin, N minutes, PASS only on zero rejects, reorg depth at most 3, equal exec roots, a paid segment, equal versions), the page's Devnet 2 panel; the wave, pool and snapshot scripts 2026-10-06 16:50:34 +00:00
box-rig.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
box-segal-host.sh Devnet 2 (the staging chain): box-dn2.sh (igneum-devnet-2, own genesis bits, every activation low, no exec-restart fields), devnet2-override.json, devnet2-gate.sh (install, activation at tip + margin, N minutes, PASS only on zero rejects, reorg depth at most 3, equal exec roots, a paid segment, equal versions), the page's Devnet 2 panel; the wave, pool and snapshot scripts 2026-10-06 16:50:34 +00:00
box-setup.sh Devnet 2 (the staging chain): box-dn2.sh (igneum-devnet-2, own genesis bits, every activation low, no exec-restart fields), devnet2-override.json, devnet2-gate.sh (install, activation at tip + margin, N minutes, PASS only on zero rejects, reorg depth at most 3, equal exec roots, a paid segment, equal versions), the page's Devnet 2 panel; the wave, pool and snapshot scripts 2026-10-06 16:50:34 +00:00
box-standing.sh Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so 2026-10-07 18:39:50 +00:00
box-wave-pool.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
box-wave.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
bps-collect.py Standing supervisor restarts the miner with the node (dead template subscription); block-rate collector keeps difficulty and reads red share as 1 minus blue over DAA 2026-10-06 20:32:40 +00:00
canary-next.sh Fleet: the last process patterns in the bracket-first form; the fleet's own pgrep check withdrawn (master's kill-by-name check covers the class) 2026-10-06 23:31:55 +00:00
canary-poison-confirm.py Fleet scripts: no path into another worktree (sys.path from the file, the ship tree from the environment) 2026-10-06 23:29:39 +00:00
canary-poisoned-peer.py Fleet: the last two process patterns (a top-level alternation; the canary's node path by its basename) 2026-10-06 23:33:54 +00:00
canary.sh Fleet: the last process patterns in the bracket-first form; the fleet's own pgrep check withdrawn (master's kill-by-name check covers the class) 2026-10-06 23:31:55 +00:00
collect.py Prover tiers on real cards: all eleven cards (the 3090 added); bench-log entry complete 2026-10-06 13:28:55 +00:00
deploy-gate.sh Fleet scripts find their helpers inside their own tree (the CI checks, the Discord hook, the publish script), env-overridable; the library's node patterns inline 2026-10-06 23:28:55 +00:00
devnet2-gate.sh Fleet: the last process patterns in the bracket-first form; the fleet's own pgrep check withdrawn (master's kill-by-name check covers the class) 2026-10-06 23:31:55 +00:00
devnet2-override.json Devnet 2 (the staging chain): box-dn2.sh (igneum-devnet-2, own genesis bits, every activation low, no exec-restart fields), devnet2-override.json, devnet2-gate.sh (install, activation at tip + margin, N minutes, PASS only on zero rejects, reorg depth at most 3, equal exec roots, a paid segment, equal versions), the page's Devnet 2 panel; the wave, pool and snapshot scripts 2026-10-06 16:50:34 +00:00
disk-sweep.py Fleet scripts find their helpers inside their own tree (the CI checks, the Discord hook, the publish script), env-overridable; the library's node patterns inline 2026-10-06 23:28:55 +00:00
dn2-check.py dn2-check: the reorg read ignores the exec follower's replay of old history after a restart (lines far below the exec tip) 2026-10-06 22:52:30 +00:00
dn2-kill.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
dn2-prover-restart.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
dn400-worker.sh Fleet: the class v4 rehearsal tooling (CUDA worker wrapper, generator-4 worker, pack re-export), the standing-fleet rule (supervisor, library, page block, gpu-fleet.md), the 0.3.15 publish script, the Devnet 2 script's ports and bps knobs, the collector's seed knobs 2026-10-06 19:46:32 +00:00
fleet-bg.sh fleet-bg.sh: the macOS note moved off the case line (a trailing comment swallowed the ;;) 2026-10-06 21:43:37 +00:00
fleet.py Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
floor-v5.patch Prover tiers on real cards: eight cards (3060, 3080, 4060 Ti 16 GB, 5090 added), the 8 and 10 GB rows; fleet: the datadir joiner swap, the v5 known-failed runner 2026-10-06 13:07:05 +00:00
floor.patch GPU fleet: Vast client, box setup (0.3.12 node + patched SP1 server + cuda host), the phase-1 matrix, the Ember ladder, the Linux segment prover, the fleet page builder 2026-10-06 12:01:23 +00:00
night.py The proving outcome ledger (review B F08): every claimed job ends in one outcome; the report reads paid completions, missed deadlines and wasted work by cause 2026-10-08 19:19:39 +00:00
override.json GPU fleet: Vast client, box setup (0.3.12 node + patched SP1 server + cuda host), the phase-1 matrix, the Ember ladder, the Linux segment prover, the fleet page builder 2026-10-06 12:01:23 +00:00
page.py Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so 2026-10-07 18:39:50 +00:00
prover-outcomes.py The proving outcome ledger (review B F08): every claimed job ends in one outcome; the report reads paid completions, missed deadlines and wasted work by cause 2026-10-08 19:19:39 +00:00
publish-2-move.py Fleet scripts: no path into another worktree (sys.path from the file, the ship tree from the environment) 2026-10-06 23:29:39 +00:00
publish-0315.py Fleet: the last process patterns in the bracket-first form; the fleet's own pgrep check withdrawn (master's kill-by-name check covers the class) 2026-10-06 23:31:55 +00:00
publish-fleet.sh Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so 2026-10-07 18:39:50 +00:00
rehearsal-1bps.json Fleet: the class v4 rehearsal tooling (CUDA worker wrapper, generator-4 worker, pack re-export), the standing-fleet rule (supervisor, library, page block, gpu-fleet.md), the 0.3.15 publish script, the Devnet 2 script's ports and bps knobs, the collector's seed knobs 2026-10-06 19:46:32 +00:00
rehearsal-kill.sh Fleet scripts: process patterns in master's bracket-first form (the kill-by-name check), anchors dropped 2026-10-06 23:25:10 +00:00
restage.py fleet: swap.py (one call per shipper word over the fleet, the hub first), the rig as N provers (per-card loops, distinct sockets), the rig script's device and chain fixes, restage.py 2026-10-06 15:20:00 +00:00
rig-retry.py Prover tiers on real cards: ten cards, the 8 GB beside-the-miner rows (core-only 2^25 fits); fleet: the rig script and retry 2026-10-06 13:20:06 +00:00
runpod.py Fleet: the class v4 rehearsal tooling (CUDA worker wrapper, generator-4 worker, pack re-export), the standing-fleet rule (supervisor, library, page block, gpu-fleet.md), the 0.3.15 publish script, the Devnet 2 script's ports and bps knobs, the collector's seed knobs 2026-10-06 19:46:32 +00:00
swap.py fleet: box-node-swap.sh rewritten clean (the edited copy called stamp before its definition and misquoted the sha line; no node was touched) 2026-10-06 15:32:35 +00:00
vast.py GPU fleet: the orchestrator loop, a killable per-second GPU sampler, the STATUS-line rate parser, an atomic locked registry, the p2p hub peer 2026-10-06 12:34:25 +00:00
winddown.py Fleet: the deploy gate (syntax + master's defaults-line check + the comment-with-code class) in lib.box.put; the 75 percent table gate (standing.table_gate, the wind-down holds under it) 2026-10-06 23:04:29 +00:00