Commit graph

1899 commits

Author SHA1 Message Date
igneum-labs
614b7aa33e adv-mixer-3 report: SAT ladder closed on both days (k=1 solved, k=2..4 timeout), totals at the close, nothing running
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 03:06:34 +00:00
igneum-labs
ae0d9316ec adv-mixer-3 report: Q7 complete on all eight days (uniform, clean), queue 07 finished, log copies
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 02:18:25 +00:00
igneum-labs
295806224b adv-mixer-3 report: SAT day 20733 k=3 timeout, k=4 running
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 02:05:19 +00:00
igneum-labs
9cde808df7 adv-mixer-3 report: Q7 days 27406 and 33333 complete (uniform, clean)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 02:01:33 +00:00
igneum-labs
2c0817f88f adv-mixer-3 report: Q7 days 21057 and 23311 complete (uniform, clean)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 01:45:39 +00:00
igneum-labs
2538386de9 adv-mixer-3 report: Q7 section, days 20730 and 20745 complete (uniform, clean)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 01:29:44 +00:00
igneum-labs
1f213e22bc adv-mixer-3: queue 07 (the eight random days) rewritten in the lease form with run_shard, claimed and launched on build-1
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 01:19:10 +00:00
igneum-labs
cb54f59c14 adv-mixer-3 report: queue 17 finished (Q2 k=3 at 2^27 clean), every harness row in; log copies
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 01:17:53 +00:00
igneum-labs
18b1109cd9 adv-mixer-3 report: Q2 k=2 at 2^27 clean, SAT day 20733 k=2 timeout
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 01:05:26 +00:00
igneum-labs
ef080f0e6a adv-mixer-3: log copies through the 2^28 rows
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 00:31:33 +00:00
igneum-labs
74d301a5e2 adv-mixer-3 report: Q2b day 20733 at 2^28 (k=2, 3 clean), second pre-emption recorded
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 00:30:21 +00:00
igneum-labs
3f51310239 adv-mixer-3: queue 17 runs the sac0 2^28 rows before the sac 2^27 rows
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 00:11:13 +00:00
igneum-labs
bbfd56243e adv-mixer-3 report: one pre-emption recorded (23:58 UTC, re-queued)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 00:10:15 +00:00
igneum-labs
f5f9a63d97 adv-mixer-3 report: box-hour totals and the partial rows named
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 00:03:43 +00:00
igneum-labs
1ce7bbfa84 adv-mixer-3 report: SAT k=4 timeout (day 20729 k=1..4 closed), day 20733 SAT rows queued
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 23:41:34 +00:00
igneum-labs
6960993389 adv-mixer-3 report: Q1 day 20733 closed k=1..8 (uniform at the real first read on both days)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 23:37:17 +00:00
igneum-labs
d171eccc3b adv-mixer-3: log copies through the Q2 close on both days
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 23:29:21 +00:00
igneum-labs
939870a959 adv-mixer-3 report: Q2 day 20733 closed k=1..8 (both days complete)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 23:28:04 +00:00
igneum-labs
5d974fc450 adv-mixer-3 report: Q2 day 20729 closed k=1..8 (k=8 clean), SAT k=4 CNF size
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 23:07:15 +00:00
igneum-labs
09232f1d7b adv-mixer-3: census leases accept 4 cores at the least (4 were free while min 8 waited 81 min)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:45:50 +00:00
igneum-labs
1b62b3d60d adv-mixer-3 report: SAT k=3 timeout at one hour, k=4 running
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 22:41:37 +00:00
igneum-labs
2ed7d8bfab adv-mixer-3 report: ledger row for the any-size pre-emption rule and the driver restarts
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 21:24:11 +00:00
igneum-labs
a538eb4609 adv-mixer-3: run_shard retries a pre-empted lease with the same line and skips done rows
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 21:23:52 +00:00
igneum-labs
7b0a28040b adv-mixer-3 report: SAT k=2 timeout at one hour (no SAT shortcut), Q2 day 20729 k=5..7 clean
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 21:13:52 +00:00
igneum-labs
7d4bb7d28f adv-mixer-3: census leases accept 8 cores at the least (14 were free while min 16 waited 31 min)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:14:48 +00:00
igneum-labs
18eacf74db adv-mixer-3 report: queue 18 launched on build-2 (box 2 reopened), SAT k=2 running
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 20:13:54 +00:00
igneum-labs
4878ad929c adv-mixer-3 report: queue 18 released on the shared queue, queue 17 wait state
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:57:30 +00:00
igneum-labs
c3466dbe92 adv-mixer-3 report: ledger row for the ranked lease and the 32-thread re-submission, log copies
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:44:38 +00:00
igneum-labs
cdb36f7a96 adv-mixer-3: leases at 32 threads (never pre-empted under the priority classes), queue 17 re-submitted under the ranked lease
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:42:54 +00:00
igneum-labs
631833f9c4 adv-mixer-3 report: queue 18 withdrawn from build-2 (ledger), SAT k=2 CNF size
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:41:41 +00:00
igneum-labs
d5e665f39e adv-mixer-3 report: day 20730 sac rows from queue 07, Q7 board row
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:33:27 +00:00
igneum-labs
d0b1b81837 adv-mixer-3: yield by owner (class-v5, or attack-pass with v5), never to another adv- lane
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:32:40 +00:00
igneum-labs
c0d933b38b adv-mixer-3 report: v5 yield row in the ledger
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:31:35 +00:00
igneum-labs
79f49acffd adv-mixer-3: yield to any v5 waiter or class-v5 owner
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:30:26 +00:00
igneum-labs
db7438bad6 adv-mixer-3: yield to v5 gate and v5 kit waiters before every lease
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:26:29 +00:00
igneum-labs
8dbcf0d777 adv-mixer-3: x-lock.sh is the pool lease, queues 17 and 18 (the lost rows through the lease), ledger row for the re-queue
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:25:08 +00:00
igneum-labs
091562179f adv-mixer-3: the kill ledger (19:20 UTC, main's lease-pool rule), the round margin stated, queue 17 in the lease form, all logs copied
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:23:02 +00:00
igneum-labs
5029205e51 adv-mixer-3 report: Q2b day 20733 k=0..8 (finding at k=1, clean from k=2), 2^28 at k=4, Q2 day 20733 k=4
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:20:18 +00:00
igneum-labs
523f4f29dd adv-mixer-3 report: Q1 day 20729 closed k=1..8 (uniform at the real first read), day 20730 rows, Q2 k=4 and 20733 k=3, SAT table
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:14:50 +00:00
igneum-labs
ba113b9411 adv-mixer-3: queue 16 (index 20733 k=2..4 under the lock)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:13:51 +00:00
igneum-labs
7606c1cccd adv-mixer-3 report: day 20733 Q2 k=2, Q4b, Q5 complete; Q1 k=7; Q2b 2^28 at k=3
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:10:51 +00:00
igneum-labs
a3da5fa512 adv-mixer-3 report: Q1 k=5,6; Q4 complete on day 20733 (k=1..8 inside the band); Q2 k=3
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:06:42 +00:00
igneum-labs
8d2e4d0bc6 adv-mixer-3 report: Q5 rows (no RX property from k=1), Q2 day 20733, Q2b 2^28 at k=2, Q4 day 20733, the lowest-bit trail mechanism, queue 07 run by a sibling
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 19:00:15 +00:00
igneum-labs
755b1f8958 adv-mixer-3 report: Q2 k=2 clean (margin 1 of 8 on random states), Q4b lin0 k=1..8, Q5 plant, Q4 k=7, the one-sweep-per-box rule
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:58:14 +00:00
igneum-labs
6a344663bb adv-mixer-3 report: Q2b k=1..8 (margin 1 of 8 on the round-0 input), Q3 both days, Q1 k=4 and day 20733, Q4 k=5..6, log copies
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:55:14 +00:00
igneum-labs
d89ad596e6 adv-mixer-3: times in UTC (identity grep)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:52:43 +00:00
igneum-labs
0a5cff1139 adv-mixer-3 report: header, status board, first rows (Q1 k=1..3 uniform, Q2 k=1, Q2b k=1, Q4 k=1..4 inside the band, SAT k=1 bound)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:51:42 +00:00
igneum-labs
a28bce4020 adv-mixer-3: sac0 (t-bit avalanche on the round-0 input) and queue 09
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:50:03 +00:00
igneum-labs
5d4c52b67a adv-mixer-3: harness (index census, sac, diff, lin, lin0, rx, cnf), run-box.sh, eight queue files
Internal adversarial pass, not an independent review. igneum-pow by path; the plant shapes one, nomul, weak, weak0.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:47:02 +00:00
igneum-labs
f04358ee8a adv-mixer-3 plan: base commit and box routing noted
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-07 18:30:37 +00:00