Internal adversarial pass, not an independent review. 1,454,080,000 of
1,454,080,000 pair-trials violate affinity, 0 dead word pairs, 0 key-order
agreements over 1024 chain days; the 22 line-index bits are clean from K=2
and have no affine relation to the input even at K=1.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Internal adversarial pass, not an independent review. Self-contained queue
files (binary under /srv/builds/_adv-adv-mixer/bin, logs and pid files under
its logs dir, nice 10 on cores 8-95): fold-sweep over 1024 days and all 71
adjacent key pairs, integral over 32 days, lineindex and address-bit linrel,
full-width linrel and the DIMACS commutation instance.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Internal adversarial pass, not an independent review. fold-sweep runs the
affinity and commutation probes over many days and all 71 adjacent key pairs;
linrel is the exact GF(2) affine-relation kernel test at full 32-bit width
(the decidable algebraic probe in place of a SAT solve, which no solver on the
box can run); lineindex tallies the 22 line-index bits of s[0] a chip would
prefetch on; cnf writes the DIMACS commutation instance of two keyed
applications with the real day constants.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
The build-remote stamps read earlier were UTC and were labelled BST. Internal adversarial pass, not an independent review.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Internal adversarial pass, not an independent review. Q1 (this lane, the
algebraic structure of M_r): the fold probe and the integral cube-sum degree
test on the frozen-identical binary show no composition cheaper than 8x. No
affine fold, no word separability, no key-order commutation; algebraic degree
>= 16 after one application and saturated after two. The 9,360 ops per item
stand. Q2 margin (full diffusion at 2 applications) and Q3 census (best day a
1.17x FPGA multiply datapath, 1 in 2^24, zero wall-time gain, ROT-all-equal
never seen) kept as courtesy runs attributed to adv-mixer-3 and adv-mixer-2.
igneum-pow merged to build/master and re-proven byte-identical to c3d32437;
pre-merge runs re-run on the merged tree and matched. Logs copied into the
branch so the report paths survive; run-box.sh writes outside the mirror.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Internal adversarial pass, not an independent review. Adds the cube-sum
(higher-order differential) command to bound the algebraic degree of the
applications: a low degree would admit a cheap polynomial batching of the 8
applications, so degree saturation at small d is the no-shortcut bound. Plan
section 8 records main's three-lane re-scope: this lane is the algebraic
structure of M_r.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Internal adversarial pass, not an independent review. Q3 census over 2^24 day
keys: largest per-day M1 FPGA-datapath gain 1.1726x on one day, 3.26e-4 of days
over 1.1x, zero days with any DSP or wall-time gain, ROT-all-equal never seen.
Q1 fold probe: 1e6/1e6 affinity violations, 0 dead word pairs, 0 key-order
agreements, so no cheap composition of the 8 keyed applications. Q2 diffusion
sweep and the f4 analytic tail are running; numbers land as they finish.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
One log, a pid file beside it, nice 10 on the core band 64-95, kill by pid
file. Internal adversarial pass, not an independent review.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Internal adversarial pass, not an independent review. The plan restates M_r
from the frozen crate and spec 1.8, ranks Q3/Q2/Q1/Q4, gives the method, the
planted known-fail shape and the box-hour estimate per step, and lists every
file opened. Records the byte-identity result: build/master differs from the
frozen commit in accept.rs, emit.rs, generator.rs, packcheck.rs and two test
files, but is byte-identical over memhard.rs, seed.rs, bind.rs, derive.rs and
the Cargo pin, which define M_r.
Harnesses: adv-mixer (new: diffusion margin for Q2, the fold probe for Q1,
with a planted-weak-day hook), f4-weakday (copied read-only from
build/attack-pass for the Q3 census), f8-uniform (copied from the regate
worktree).
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
