Commit graph

1932 commits

Author SHA1 Message Date
igneum-labs
f807cfba4e class v5 design page: section 14's reach sentence corrected by the era reading (the floor reads few-item hot sets, not the era-stride diffuse class: 0 of 29 of adv-cache-2's programs refused, the six over 1.2x at 0.9965 to 0.9997)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:33:24 +00:00
igneum-labs
0355829608 class v5 design page: section 14's false-refusal rows from adv-accept (six clean programs refused among its nine deepest seeds; the floor's margin)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:28:09 +00:00
igneum-labs
5515d6ddd7 spec 01 1.4.7.5: the class v5 id table in the read-back test's shape (Seed, Attempt, Id, Note with the generator)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:27:21 +00:00
igneum-labs
229e9339f0 class v5: the Intel Arc kit job renamed without a PC prefix (it runs on the second PC's eGPU); igneum-pow: the class v5 attempts census (per-candidate rejection, first failing part per candidate, exhaustions, P(256)) as an ignored test
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:27:03 +00:00
igneum-labs
e327d4a767 class v5: the listed-programs reading's box-side runner (pool lease, class v5)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:22:58 +00:00
igneum-labs
ace36eecdf class v5 kit: the PC 1 Intel Arc B580 bench job (the AMD script with the Intel OpenCL device match)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:22:57 +00:00
igneum-labs
b1dbf1522b igneum-pow listed-programs reading: an attempt of "draw" takes the class v4 chain draw's attempt
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:22:24 +00:00
igneum-labs
5ae7e2c5a5 spec 01 1.4.7.6: the class v5 constants table (one row per igneum-pow pub const, for the spec-constants check); igneum-pow: the listed-programs (c''') reading as an ignored test (IGNEUM_V5_PROGRAMS file: epoch, era, attempt per line)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:21:24 +00:00
igneum-labs
c17ce3b287 spec 01: class v5 as 1.4.7 (the class, generator 5, (c''') with the census numbers, the verified last resort, the two draw rules, the activation object and signal, the test vectors) and 1.8.6 (the state leaves: stream, derivation, sample, leaf line, refresh, witness, cost)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:17:32 +00:00
igneum-labs
6ffb6c7c5e class v5 kit (OpenCL host): --flip-leaf-word N, the fingerprint gate's known-failed case (one leaf word flipped in the device copy after the pack's FNV check; the self-test must fail and the fingerprint must differ)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:14:11 +00:00
igneum-labs
3109cb6bb6 fud ledger AP-F8-3: the unchecked last-resort program (adv-accept-3's finding), sub-version 3's recorded unreachable and unverified, class v5's verified at 19c60cf9 with the known-failed test; ledger page regenerated
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:11:19 +00:00
igneum-labs
9f67420a6a Merge remote-tracking branch 'build/v5-kits' into class-v5
# Conflicts:
#	docs/design/class-v5-stored-state.md
2026-10-07 22:09:37 +00:00
igneum-labs
5bfa9b45c4 class v5 design page: F8 on the freeze PASS with the known residue (the attack-pass lane's reading), F9/F1/F4 pending
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:06:37 +00:00
igneum-labs
e4a59a42ae class v5 design page: section 14's running total (adv-accept's seed 122960 refused; eight of eight live hot sets under the floor)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 21:42:03 +00:00
igneum-labs
4227a9c4f6 class v5 design page: the class-walk harness case's two readings (FAIL on the unfixed fork, PASS on the node lane's pair 4), the logs under the harness dir
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 21:10:55 +00:00
igneum-labs
19c60cf9a8 class v5 design page: the two known-failed readings of the post-freeze commit (day 29,337 at cost 203; adv3/steer/2 at instruction 47)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 21:02:27 +00:00
igneum-labs
0a5abe0634 class v5 harness: the class-walk case under the v5 object (v4 floor 0, v3 never: every epoch before the flip is class 4), a fork-binary override for the node lane's pair build; the page carries the node lane's branch list and the decide() fix
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:55:51 +00:00
igneum-labs
ea3a76e4c4 class v5: AP-F4-1 in the agreed form (adder cost at most 205 against the median 226, w32 without the position-32 digit, a two-adder multiplier or one rotation amount rejected; known-failed first on chain day 29,337) and the verified last resort (part (a) repaired by re-sourcing stale loads, then the whole rule over a 256-candidate scan; known-failed first on adv-accept-3's adv3/steer/2)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:55:03 +00:00
igneum-labs
dba17a0a4f class v5 FREEZE: the suite's green and the gate on the record (section 0), the shadow rule's measured trigger reading, the next commit named
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:53:07 +00:00
igneum-labs
7965f5bafa class v5 design page: section 14's final total from adv-accept (seven of seven live hot sets refused; the three mild concentrations at about 1.0004x)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:49:23 +00:00
igneum-labs
886be84001 class v5 shadow rule test: the scan reads the drawn blocks' maximum removable share and redraws (none over the bound in 6,000 first draws under the census arm); the liveness claim is the synthetic over-bound block through the same predicate
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:45:16 +00:00
igneum-labs
1fabc0842a class v5 design page: section 14's running total (adv-accept's seed 1738 refused; six of six live hot sets under the floor)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:39:15 +00:00
igneum-labs
03c3f88046 class v5 design page: section 14's record sentence is the defender's ruling (the hot-set half closed, the residual named with prevalence, gain and lever)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:38:42 +00:00
igneum-labs
7eb3ad69ce class v5 design page: section 14 carries the five programs' ratios and the record's sentence (the floor closes the class on every measured hot set by X_f >= f and misses the shadow-block-write residual, named with its instrument and bound); the residual as a gap row
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:38:29 +00:00
igneum-labs
764a41d9e7 class v5 shadow rule test: the scan is over the candidate draw at attempt 0 (the full draw costs seconds per candidate under the 2^20 ratio pass; the first form ran over an hour on box 2)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:37:52 +00:00
igneum-labs
7c93b36eee class v5 kits: the box-side body moved out of the inline command string into tools/class-v5/kits-on-box.sh, run by path from the mirror checkout (main's inline-rm rule of 21:33 BST: no rm, find -delete or truncation inside a bash -c string); kits-remote.sh now only syncs the sources and calls it
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:37:40 +00:00
igneum-labs
ceceaf64d6 class v5 harness runner: the box side in a script run by path (main's rule of 21:33 UK: no redirect-truncate inside a shell command string)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:36:11 +00:00
igneum-labs
0d5570e299 class v5 (c'''): the census number in the record (4,600 f8 seeds: 2.435 percent of sub-version 3 accepted programs under 0.995, attempts mean 2.174 to 2.248, 0 class v5 programs under the floor; 0.99 would pass the exemplar), the flip-stale PASS on the matched binaries
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:04:35 +00:00
igneum-labs
f8e6d9f84a class v5 harness: the stale miner's fall-off is judged by the block's DAA score (a nonce found on a pre-boundary template and submitted after it is a flip-epoch block, valid; the wall-clock count failed the 20:4x UK run on one such block), nonces matched as the nearest double the JSON RPC carries
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:51:43 +00:00
igneum-labs
9ac364b722 class v5 census runner: lease class v5 (the pool's priority classes, lease 5d84d644)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:41:44 +00:00
igneum-labs
658f6b9195 class v5 design page: section 14 carries adv-accept's multiplicity reading at the acceptance sample
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:40:48 +00:00
igneum-labs
78714e59d5 class v5 design page: section 14 carries adv-accept's class v5 check of the exemplar (the hot set does not move under the state dataset) and the known-failed test's reading
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:39:16 +00:00
igneum-labs
4d6218ee84 class v5 census runner: pick the test binary by --list (the CLI binary shares the igneum_pow-<hash> name; the first run held 64 pool cores for 9 minutes on the CLI's usage text)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:36:21 +00:00
igneum-labs
7bb87b096f class v5 census runner: the test binary is the extension-less igneum_pow-<hash> (the first pick read an object file)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:26:40 +00:00
igneum-labs
7acccc31e5 class v5 census runner: the lease label without apostrophes (the remote shell read the (c''') mark as quotes)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:25:53 +00:00
igneum-labs
15eeb5b5f6 class v5: the (c''') census runner on box 2 through the pool lease (the suite's own test binary, the log copied under the harness dir)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:24:03 +00:00
igneum-labs
9705a022ef class v5 harness: the miners stop before the final sink and count read (a node's own newest block is a tip its peers have not seen yet; the 19:50 UK run compared sinks mid-propagation)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:10:20 +00:00
igneum-labs
d0939373b0 class v5 design page: section 14 (the acceptance rule's class v5 part on the residual hot-set class, the two fixes, the floor taken), the witness row done, the class-walk exception, the harness skew and override-field rows
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:07:32 +00:00
igneum-labs
03e5d172ad class v5 acceptance (c'''): the per-site distinct-index floor raised to 0.995 on the ratio pass's own run, keyed on the state flag; known-failed first on adv-accept's seed 100767 (program 9d68e6286fc817d4, site 6 at 0.9919), the census test behind the floor
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:05:48 +00:00
igneum-labs
ec1a751eea class v5 page, section 13: the CUDA row read from the kit on a fleet RTX 4090 (82b19cbde8557ea5 at 18:57:45Z and 18:57:50Z, 62.759 MH/s), the 5090 row left to the fleet when one frees
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:00:02 +00:00
igneum-labs
6c3e2fd2ea class v5 harness: drop the override fields the fork binary does not know, named in the log (master's 60x file carries every lane's fields; OverrideParams is deny_unknown_fields; the binary's field set is its source's)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:49:27 +00:00
igneum-labs
ac07fb8357 class v5 kits: the Intel row stated as not measured tonight (no B580 on PC 1 or PC 2, the Arc path needs a driver click no PC job may raise; the holder and a click-free path owed) in the kit README text and section 13
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:48:01 +00:00
igneum-labs
013b8da18b class v5 shadow rule test: the synthetic rotate cases follow the census arm (two rotl by one amount merge, a rotl and a rotr do not, two rotr by one register merge)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:44:51 +00:00
igneum-labs
381a5745ab class v5 page, section 13: the kit rows closed by branch v5-kits (every host uploads the leaves; Metal and Apple OpenCL read 82b19cbde8557ea5 at 18:34Z under the measure lock; the kit zip packs-ca3-v5-20261007T183921Z sha256 e6c088bb...; the NVIDIA, AMD and Intel runs asked of their lanes)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:42:47 +00:00
igneum-labs
b04071a992 class v5 kits: the OpenCL host declares _POSIX_C_SOURCE on Linux (clock_gettime and strtok_r under -std=c99: the first box build failed), the Windows cross-build takes the Khronos CL headers alone (never -I /usr/include ahead of mingw's), and kits-remote.sh reads the remote runner's status before anything else and writes no zip after a failed step (the first run read true's status and called a failed build built)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:39:20 +00:00
igneum-labs
c569ed0783 class v5 harness: the accepted-after parser reads the miner's epoch-second line clock (it matched HH:MM:SS and counted nothing: the v5-fasttime lane's finding, 20:3x UK), with its own known-finished check (the honest miners must show accepted lines after the flip); the page's PASS rows say which two counts were parse misses and what they rest on until the re-run
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:38:42 +00:00
igneum-labs
f6f9719a79 class v5 shadow rule: the rotate-merge arm is the census's (the same rotate with the same amount or amount register, the source untouched), not every rotate pair, since every op reads its own destination; the tests allow what acceptance does (it reads the shadow, so a redrawn block can move the accepted attempt and the base program): an unredrawn seed is the amended v4 draw for draw, a redrawn seed's first v4 block was over the bound, and the redraw rate stays near the census's 4e-3
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:37:58 +00:00
igneum-labs
8bf1c4f43d class v5 kits: every worker host uploads the pack's state leaves for igneum_build (the NVRTC worker, the OpenCL host for AMD, Intel and Apple, the Metal worker), checked against the pack's count and FNV first, freed after the build; a v5 pack without its leaves builds nothing
packfile.h reads IGNEUM_STATE_LEAVES, IGNEUM_STATE_LEAVES_FNV64, the file name, root and block (generator 5 = class v5; a generator 5 pack without the count, or another class with one, is refused) and pf_load_leaves reads and checks leaves.bin; the loader test carries the class v5 cases known-failed first (no count, no file, a short file, one flipped bit, a v4 pack with a count) and the checked-in v5-dn3-epoch0 pack. The CUDA driver gains cuMemcpyHtoD; the emulation takes both igneum_build shapes (weak overloads) and refuses a shape mismatch. The OpenCL host sets the build arguments in one place for both shapes, uploads the leaves in --bench-pack, --serve and the compiled-in bench (the host reference derives words from the same leaves). The Metal worker's servePackDataset binds buffers 2 and 3 as packbench.swift does and self-tests the dataset head and last word against vectors.json. tools/class-v5: kits-remote.sh (the kit build and tests on igneum-build-1, the zip to /srv/artefacts/packs), fleet-cuda-v5-bench.sh (the fleet card), pc1-amd-v5-bench.ps1 (PC 1's 9070 XT through the coordinator).

Measured on the Mac under the measure lock, 7 October 2026: v5-dn3-epoch0 fingerprint 82b19cbde8557ea5 on Metal (packbench, M5 Max, 18:34:47Z, 14.163 MH/s GPU time) and on Apple OpenCL (--bench-pack, 18:34:59Z, 15.265 MH/s wall; the compiled-in bench's dataset self-test PASS at 18:34:54Z), cache FNV 7334fa46e5d972eb PASS, vectors 3 of 3 on both.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:36:17 +00:00
igneum-labs
3c7384c96f class v5 design page: section 13's wire row done by the node lane (class-v5-node-wire 7737ebd9, version 1 with the last-field fallback, 43 exec tests), the witness row in progress
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:34:55 +00:00
igneum-labs
db2f9e0f23 Merge remote-tracking branch 'build/master' into class-v5 2026-10-07 18:33:18 +00:00