igneum/docs/analysis
2026-10-08 20:05:56 +00:00
..
attack-pass attack-pass lane (d): F1 shadow redundancy on the frozen class v5 tip f2267bb6, 10^5 programs, max 4.688 percent, 0 mismatches, PASS (the 0.3.24 gate line; AP-F1-1 FIXED-AND-PASSED on v5) 2026-10-08 04:22:29 +00:00
class-v6 Class v6 family gate, 6.12: the final tree (class-v6 38128dff0, the packs' draw read back equal on both ids) through the acceptance under the harness's predicate and the crate's own, which agree on a2af73716's fix (r 0.144 and 0.137 at width 4, 0 exhausted in 6,000 eras, the floors at 0 to 0.5 percent, the fold's half of the bit-R class): PASS; the registry batch at manifest 38128dff0, method native 2026-10-08 20:05:56 +00:00
horizon Chip model 5.11 and new-pow 5.1: the per-MAC figures corrected by the per-lane tile count (32 MACs per tile, not 1,024; the 4090's 0.056 pJ is 1.8 pJ, the 5090 reads 2.9 and 1.5 at the shadow's premium), the tensor-tile column withdrawn (a chip's k on tile work 0.03 to 0.3, below the ALU shadow's); Counter ASIC 3.0 status: the microbench's correction, the night's closing sentence on measured rows, the CA4 file's commits 2026-10-08 06:08:07 +00:00
mission Merge scrub 9fdc181e into master (gate: green on 9fdc181e, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers) 2026-10-07 19:28:40 +00:00
review-2026-10-08 docs/analysis/review-2026-10-08: the external algorithm review's evidence pack (evidence.md, results.json, harness.zip), 8 October 2026 2026-10-08 17:52:21 +00:00
review-2026-10-08-b Review B (8 Oct 2026): second external review, findings, reproduction pack, dispatch 2026-10-08 18:49:43 +00:00
51-percent.md Horizon: lane 1 (consensus-security) lands, with the 51 percent paper 2026-10-06 20:07:43 +00:00
amd-proving.md 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
asic-resistance-history.md 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
attack-pass-2026-10.md attack-pass: the status board, F8 row, gate line and re-gate paragraph read the tail as attributed 2026-10-08 08:49:21 +00:00
base-fee-floor.md Prover mirrors the fee switch: both tables and fees_v1_activation_daa in the shard input, guest re-pinned, devnet runbook for H = 210,000 2026-10-05 16:24:35 +00:00
binding-review-2026-10.md docs/analysis: binding review section 5a, the external review's A05 (FNV initialisation, the 64-bit fold): the argument, five measured lines, no change for 2.0, the class-version shape if one is wanted 2026-10-08 17:55:49 +00:00
block-rate-devnet2.md 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
ca3-v4-uniform.md 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
card-lifetime-2026-10-05.md 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
chip-model-v3.md counter-asic-4 documents: the branch's text at 086411627 taken whole for the documents-only landing (what the replayed commits did not carry: the branch's merge resolutions) 2026-10-08 12:28:21 +00:00
ci-failures-2026-10-06.md 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
counter-asic-4-research.md counter-asic-4 documents: the branch's text at 086411627 taken whole for the documents-only landing (what the replayed commits did not carry: the branch's merge resolutions) 2026-10-08 12:28:21 +00:00
difficulty-2026-10-03.md Difficulty: timestamp attack fixed in spec 2.3, simulator, analysis addendum, ledger M23 2026-10-04 00:56:20 +00:00
difficulty-2026-10-04-oscillation.md 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
economy-2026-10-04.md Economy: agent-based mining-versus-proving simulation, six stress scenarios, lever study, analysis and bench entry 2026-10-03 23:16:46 +00:00
era-vdf-2026-10-07.md 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
hashrate-decay-2026-10-03.md 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
hashrate-decay-2026-10-03.patch Hash-rate decay on the RTX 5090: diagnosis, Metal reproduction, proposed Seeder fix 2026-10-03 23:31:23 +00:00
horizon-2026-10.md 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
income-tiers.md Income per tier: the three tariffs are USD 0.05, 0.10 and 0.25 a kWh (cheap industrial, US retail, UK retail; the coordinator's answer, 7 October 2026), the table regenerated, the cost per mined IGN shown to three significant figures 2026-10-07 08:54:44 +00:00
int8-matrix-family.md Counter ASIC 2.0 layer 7: RTX 5090 and RX 9070 XT dot4 numbers from PC 1 (job run-dot4-20261005): dp4a 7.45 T/s on the 5090 via inline PTX, v_dot4_i32_iu8 0.66 T/s on the 9070 XT via the clang builtin in Adrenalin OpenCL C, signed emulation 7.1x / 1.46x / 4.7x the ALU step on NVIDIA / AMD / Apple; no PC platform lists cl_khr_integer_dot_product 2026-10-05 20:31:33 +00:00
latency-shadow-2026-10-06.md 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
m16-recompute-attacker-2026-10-05.md 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-floor.md 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-tiers-real-cards.md 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
proving-methods.md 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
proving-outcome-ledger.md 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
proving-pipeline-2026-10-08.md docs: Devnet 3 proving pipeline end to end, 8 October 2026 (the fleet lane's document, landed by the research-landing hand on the coordinator's word) 2026-10-08 15:51:26 +00:00
scratch-soundness.md 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
security-budget.md Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes 2026-10-03 22:35:03 +00:00
sram-mirror.md 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
weak-program-census-2026-10-03.md Mac app: dial the public seed node first, the home node second 2026-10-03 22:28:58 +00:00