functionalscript 0.43.1 → 0.45.0

package/fjs/sul/level/literal/proof.f.js

@@ -1,714 +0,0 @@
-import { chunkList, msb, vec } from '../../../types/bit_vec/module.f.js';
-import { assert, assertEq } from '../../../asserts/module.f.js';
-import { map, stateScan, toArray } from '../../../types/list/module.f.js';
-import { emptyEncodeState, emptyPipelineState, level, literal1ToVec, literal2ToVec, literal3ToVec, pipelineStep, symbolToString, wordEqual, wordToString } from './module.f.js';
-const tests = (n) => {
-    const { sum, decode, encode: push } = level(n);
-    return {
-        c: (i, s) => {
-            const result = sum(i);
-            if (result !== s) {
-                throw new Error(`Assertion failed for n=${n}, i=${i}, s=${symbolToString(s)}, got ${symbolToString(result)}`);
-            }
-        },
-        n: (word, expected) => {
-            // encode
-            const decoded = decode(expected);
-            if (!wordEqual(decoded)(word)) {
-                throw new Error(`Assertion failed for n=${n}, word=${wordToString(word)}, expected decode to return ${wordToString(word)}, got [${wordToString(decoded)}]`);
-            }
-            // encode
-            const a = toArray(stateScan(push)(emptyEncodeState)(word));
-            assert(a.slice(0, -1).every(i => i === undefined), a);
-            const x = a.at(-1);
-            assertEq(x, expected);
-        }
-    };
-};
-const l = (f) => (l, e) => {
-    const result = f(l);
-    assertEq(result, e, [result, e]);
-};
-const vecToBits = (v) => map((b) => msb.front(1n)(b))(chunkList(msb)(1n)(v));
-const w = (symbol, expected) => {
-    const result = literal3ToVec(symbol);
-    assertEq(result, expected, [result, expected]);
-    const a = toArray(stateScan(pipelineStep)(emptyPipelineState)(vecToBits(expected)));
-    assert(a.slice(0, -1).every(o => o === undefined), a);
-    const out = a.at(-1);
-    assertEq(out, symbol);
-};
-export const proof = {
-    x2: () => {
-        const { c, n } = tests(0n);
-        c(-1n, 0n);
-        c(0n, 2n);
-        c(1n, 5n);
-        //
-        n([0n, 0n], 0n);
-        n([0n, 1n], 1n);
-        n([1n, 0n, 0n], 2n);
-        n([1n, 0n, 1n], 3n);
-        n([1n, 1n], 4n);
-    },
-    x5: () => {
-        const { c, n } = tests(2n);
-        c(-1n, 0n);
-        c(0n, 5n); // N
-        c(1n, 0xen); // N + (2N - 1) = 3N - 1
-        c(2n, 0x1fn); // N + (2N - 1) + (4N - 3) = 7N - 4
-        c(3n, 0x40n);
-        c(4n, 0x81n);
-        //
-        n([0n, 0n], 0x00n);
-        n([0n, 1n], 0x01n);
-        n([0n, 2n], 0x02n);
-        n([0n, 3n], 0x03n);
-        n([0n, 4n], 0x04n);
-        //
-        n([1n, 0n, 0n], 0x05n);
-        n([1n, 0n, 1n], 0x06n);
-        n([1n, 0n, 2n], 0x07n);
-        n([1n, 0n, 3n], 0x08n);
-        n([1n, 0n, 4n], 0x09n);
-        n([1n, 1n], 0x0an);
-        n([1n, 2n], 0x0bn);
-        n([1n, 3n], 0x0cn);
-        n([1n, 4n], 0x0dn);
-        //
-        n([2n, 0n, 0n], 0x0en);
-        n([2n, 0n, 1n], 0x0fn);
-        n([2n, 0n, 2n], 0x10n);
-        n([2n, 0n, 3n], 0x11n);
-        n([2n, 0n, 4n], 0x12n);
-        n([2n, 1n, 0n, 0n], 0x13n);
-        n([2n, 1n, 0n, 1n], 0x14n);
-        n([2n, 1n, 0n, 2n], 0x15n);
-        n([2n, 1n, 0n, 3n], 0x16n);
-        n([2n, 1n, 0n, 4n], 0x17n);
-        n([2n, 1n, 1n], 0x18n);
-        n([2n, 1n, 2n], 0x19n);
-        n([2n, 1n, 3n], 0x1an);
-        n([2n, 1n, 4n], 0x1bn);
-        n([2n, 2n], 0x1cn);
-        n([2n, 3n], 0x1dn);
-        n([2n, 4n], 0x1en);
-        //
-        n([3n, 0n, 0n], 0x1fn);
-        n([3n, 0n, 1n], 0x20n);
-        n([3n, 0n, 2n], 0x21n);
-        n([3n, 0n, 3n], 0x22n);
-        n([3n, 0n, 4n], 0x23n);
-        n([3n, 1n, 0n, 0n], 0x24n);
-        n([3n, 1n, 0n, 1n], 0x25n);
-        n([3n, 1n, 0n, 2n], 0x26n);
-        n([3n, 1n, 0n, 3n], 0x27n);
-        n([3n, 1n, 0n, 4n], 0x28n);
-        n([3n, 1n, 1n], 0x29n);
-        n([3n, 1n, 2n], 0x2an);
-        n([3n, 1n, 3n], 0x2bn);
-        n([3n, 1n, 4n], 0x2cn);
-        n([3n, 2n, 0n, 0n], 0x2dn);
-        n([3n, 2n, 0n, 1n], 0x2en);
-        n([3n, 2n, 0n, 2n], 0x2fn);
-        n([3n, 2n, 0n, 3n], 0x30n);
-        n([3n, 2n, 0n, 4n], 0x31n);
-        n([3n, 2n, 1n, 0n, 0n], 0x32n);
-        n([3n, 2n, 1n, 0n, 1n], 0x33n);
-        n([3n, 2n, 1n, 0n, 2n], 0x34n);
-        n([3n, 2n, 1n, 0n, 3n], 0x35n);
-        n([3n, 2n, 1n, 0n, 4n], 0x36n);
-        n([3n, 2n, 1n, 1n], 0x37n);
-        n([3n, 2n, 1n, 2n], 0x38n);
-        n([3n, 2n, 1n, 3n], 0x39n);
-        n([3n, 2n, 1n, 4n], 0x3an);
-        n([3n, 2n, 2n], 0x3bn);
-        n([3n, 2n, 3n], 0x3cn);
-        n([3n, 2n, 4n], 0x3dn);
-        n([3n, 3n], 0x3en);
-        n([3n, 4n], 0x3fn);
-        //
-        n([4n, 0n, 0n], 0x40n);
-        n([4n, 0n, 1n], 0x41n);
-        n([4n, 0n, 2n], 0x42n);
-        n([4n, 0n, 3n], 0x43n);
-        n([4n, 0n, 4n], 0x44n);
-        n([4n, 1n, 0n, 0n], 0x45n);
-        n([4n, 1n, 0n, 1n], 0x46n);
-        n([4n, 1n, 0n, 2n], 0x47n);
-        n([4n, 1n, 0n, 3n], 0x48n);
-        n([4n, 1n, 0n, 4n], 0x49n);
-        n([4n, 1n, 1n], 0x4an);
-        n([4n, 1n, 2n], 0x4bn);
-        n([4n, 1n, 3n], 0x4cn);
-        n([4n, 1n, 4n], 0x4dn);
-        n([4n, 2n, 0n, 0n], 0x4en);
-        n([4n, 2n, 0n, 1n], 0x4fn);
-        n([4n, 2n, 0n, 2n], 0x50n);
-        n([4n, 2n, 0n, 3n], 0x51n);
-        n([4n, 2n, 0n, 4n], 0x52n);
-        n([4n, 2n, 1n, 0n, 0n], 0x53n);
-        n([4n, 2n, 1n, 0n, 1n], 0x54n);
-        n([4n, 2n, 1n, 0n, 2n], 0x55n);
-        n([4n, 2n, 1n, 0n, 3n], 0x56n);
-        n([4n, 2n, 1n, 0n, 4n], 0x57n);
-        n([4n, 2n, 1n, 1n], 0x58n);
-        n([4n, 2n, 1n, 2n], 0x59n);
-        n([4n, 2n, 1n, 3n], 0x5an);
-        n([4n, 2n, 1n, 4n], 0x5bn);
-        n([4n, 2n, 2n], 0x5cn);
-        n([4n, 2n, 3n], 0x5dn);
-        n([4n, 2n, 4n], 0x5en);
-        n([4n, 3n, 0n, 0n], 0x5fn);
-        n([4n, 3n, 0n, 1n], 0x60n);
-        n([4n, 3n, 0n, 2n], 0x61n);
-        n([4n, 3n, 0n, 3n], 0x62n);
-        n([4n, 3n, 0n, 4n], 0x63n);
-        n([4n, 3n, 1n, 0n, 0n], 0x64n);
-        n([4n, 3n, 1n, 0n, 1n], 0x65n);
-        n([4n, 3n, 1n, 0n, 2n], 0x66n);
-        n([4n, 3n, 1n, 0n, 3n], 0x67n);
-        n([4n, 3n, 1n, 0n, 4n], 0x68n);
-        n([4n, 3n, 1n, 1n], 0x69n);
-        n([4n, 3n, 1n, 2n], 0x6an);
-        n([4n, 3n, 1n, 3n], 0x6bn);
-        n([4n, 3n, 1n, 4n], 0x6cn);
-        n([4n, 3n, 2n, 0n, 0n], 0x6dn);
-        n([4n, 3n, 2n, 0n, 1n], 0x6en);
-        n([4n, 3n, 2n, 0n, 2n], 0x6fn);
-        n([4n, 3n, 2n, 0n, 3n], 0x70n);
-        n([4n, 3n, 2n, 0n, 4n], 0x71n);
-        n([4n, 3n, 2n, 1n, 0n, 0n], 0x72n);
-        n([4n, 3n, 2n, 1n, 0n, 1n], 0x73n);
-        n([4n, 3n, 2n, 1n, 0n, 2n], 0x74n);
-        n([4n, 3n, 2n, 1n, 0n, 3n], 0x75n);
-        n([4n, 3n, 2n, 1n, 0n, 4n], 0x76n);
-        n([4n, 3n, 2n, 1n, 1n], 0x77n);
-        n([4n, 3n, 2n, 1n, 2n], 0x78n);
-        n([4n, 3n, 2n, 1n, 3n], 0x79n);
-        n([4n, 3n, 2n, 1n, 4n], 0x7an);
-        n([4n, 3n, 2n, 2n], 0x7bn);
-        n([4n, 3n, 2n, 3n], 0x7cn);
-        n([4n, 3n, 2n, 4n], 0x7dn);
-        n([4n, 3n, 3n], 0x7en);
-        n([4n, 3n, 4n], 0x7fn);
-        n([4n, 4n], 0x80n);
-    },
-    x81: () => {
-        const { c, n } = tests(7n);
-        c(-1n, 0n);
-        // N,
-        // N + (2N - 1) = 3N - 1,
-        // N + (2N - 1) + (4N - 3) = 7N - 4,
-        // N + (2N - 1) + (4N - 3) + (8N - 7) = 15N - 11,
-        // N + (2N - 1) + (4N - 3) + (8N - 7) + (16N - 15) = 31N - 26,
-        c(0x00n, 0x81n);
-        c(0x01n, 0x182n);
-        c(0x02n, 0x383n);
-        c(0x03n, 0x784n);
-        c(0x04n, 0xf85n);
-        c(0x05n, 0x1f86n);
-        c(0x06n, 0x3f87n);
-        c(0x07n, 0x7f88n);
-        c(0x08n, 0xff89n);
-        c(0x09n, 0x1ff8an);
-        c(0x0an, 0x3ff8bn);
-        c(0x0bn, 0x7ff8cn);
-        c(0x0cn, 0xfff8dn);
-        c(0x0dn, 0x1fff8en);
-        c(0x0en, 0x3fff8fn);
-        c(0x0fn, 0x7fff90n);
-        c(0x10n, 0xffff91n);
-        c(0x11n, 0x1ffff92n);
-        c(0x12n, 0x3ffff93n);
-        c(0x13n, 0x7ffff94n);
-        c(0x14n, 0xfffff95n);
-        c(0x15n, 0x1fffff96n);
-        c(0x16n, 0x3fffff97n);
-        c(0x17n, 0x7fffff98n);
-        c(0x18n, 0xffffff99n);
-        c(0x19n, 0x1ffffff9an);
-        c(0x1an, 0x3ffffff9bn);
-        c(0x1bn, 0x7ffffff9cn);
-        c(0x1cn, 0xfffffff9dn);
-        c(0x1dn, 0x1fffffff9en);
-        c(0x1en, 0x3fffffff9fn);
-        c(0x1fn, 0x7fffffffa0n);
-        c(0x20n, 0xffffffffa1n);
-        c(0x21n, 0x1ffffffffa2n);
-        c(0x22n, 0x3ffffffffa3n);
-        c(0x23n, 0x7ffffffffa4n);
-        c(0x24n, 0xfffffffffa5n);
-        c(0x25n, 0x1fffffffffa6n);
-        c(0x26n, 0x3fffffffffa7n);
-        c(0x27n, 0x7fffffffffa8n);
-        c(0x28n, 0xffffffffffa9n);
-        c(0x29n, 0x1ffffffffffaan);
-        c(0x2an, 0x3ffffffffffabn);
-        c(0x2bn, 0x7ffffffffffacn);
-        c(0x2cn, 0xfffffffffffadn);
-        c(0x2dn, 0x1fffffffffffaen);
-        c(0x2en, 0x3fffffffffffafn);
-        c(0x2fn, 0x7fffffffffffb0n);
-        c(0x30n, 0xffffffffffffb1n);
-        c(0x31n, 0x1ffffffffffffb2n);
-        c(0x32n, 0x3ffffffffffffb3n);
-        c(0x33n, 0x7ffffffffffffb4n);
-        c(0x34n, 0xfffffffffffffb5n);
-        c(0x35n, 0x1fffffffffffffb6n);
-        c(0x36n, 0x3fffffffffffffb7n);
-        c(0x37n, 0x7fffffffffffffb8n);
-        c(0x38n, 0xffffffffffffffb9n);
-        c(0x39n, 0x1ffffffffffffffban);
-        c(0x3an, 0x3ffffffffffffffbbn);
-        c(0x3bn, 0x7ffffffffffffffbcn);
-        c(0x3cn, 0xfffffffffffffffbdn);
-        c(0x3dn, 0x1fffffffffffffffben);
-        c(0x3en, 0x3fffffffffffffffbfn);
-        c(0x3fn, 0x7fffffffffffffffc0n);
-        c(0x40n, 0xffffffffffffffffc1n);
-        c(0x41n, 0x1ffffffffffffffffc2n);
-        c(0x42n, 0x3ffffffffffffffffc3n);
-        c(0x43n, 0x7ffffffffffffffffc4n);
-        c(0x44n, 0xfffffffffffffffffc5n);
-        c(0x45n, 0x1fffffffffffffffffc6n);
-        c(0x46n, 0x3fffffffffffffffffc7n);
-        c(0x47n, 0x7fffffffffffffffffc8n);
-        c(0x48n, 0xffffffffffffffffffc9n);
-        c(0x49n, 0x1ffffffffffffffffffcan);
-        c(0x4an, 0x3ffffffffffffffffffcbn);
-        c(0x4bn, 0x7ffffffffffffffffffccn);
-        c(0x4cn, 0xfffffffffffffffffffcdn);
-        c(0x4dn, 0x1fffffffffffffffffffcen);
-        c(0x4en, 0x3fffffffffffffffffffcfn);
-        c(0x4fn, 0x7fffffffffffffffffffd0n);
-        c(0x50n, 0xffffffffffffffffffffd1n);
-        c(0x51n, 0x1ffffffffffffffffffffd2n);
-        c(0x52n, 0x3ffffffffffffffffffffd3n);
-        c(0x53n, 0x7ffffffffffffffffffffd4n);
-        c(0x54n, 0xfffffffffffffffffffffd5n);
-        c(0x55n, 0x1fffffffffffffffffffffd6n);
-        c(0x56n, 0x3fffffffffffffffffffffd7n);
-        c(0x57n, 0x7fffffffffffffffffffffd8n);
-        c(0x58n, 0xffffffffffffffffffffffd9n);
-        c(0x59n, 0x1ffffffffffffffffffffffdan);
-        c(0x5an, 0x3ffffffffffffffffffffffdbn);
-        c(0x5bn, 0x7ffffffffffffffffffffffdcn);
-        c(0x5cn, 0xfffffffffffffffffffffffddn);
-        c(0x5dn, 0x1fffffffffffffffffffffffden);
-        c(0x5en, 0x3fffffffffffffffffffffffdfn);
-        c(0x5fn, 0x7fffffffffffffffffffffffe0n);
-        c(0x60n, 0xffffffffffffffffffffffffe1n);
-        c(0x61n, 0x1ffffffffffffffffffffffffe2n);
-        c(0x62n, 0x3ffffffffffffffffffffffffe3n);
-        c(0x63n, 0x7ffffffffffffffffffffffffe4n);
-        c(0x64n, 0xfffffffffffffffffffffffffe5n);
-        c(0x65n, 0x1fffffffffffffffffffffffffe6n);
-        c(0x66n, 0x3fffffffffffffffffffffffffe7n);
-        c(0x67n, 0x7fffffffffffffffffffffffffe8n);
-        c(0x68n, 0xffffffffffffffffffffffffffe9n);
-        c(0x69n, 0x1ffffffffffffffffffffffffffean);
-        c(0x6an, 0x3ffffffffffffffffffffffffffebn);
-        c(0x6bn, 0x7ffffffffffffffffffffffffffecn);
-        c(0x6cn, 0xfffffffffffffffffffffffffffedn);
-        c(0x6dn, 0x1fffffffffffffffffffffffffffeen);
-        c(0x6en, 0x3fffffffffffffffffffffffffffefn);
-        c(0x6fn, 0x7ffffffffffffffffffffffffffff0n);
-        c(0x70n, 0xfffffffffffffffffffffffffffff1n);
-        c(0x71n, 0x1fffffffffffffffffffffffffffff2n);
-        c(0x72n, 0x3fffffffffffffffffffffffffffff3n);
-        c(0x73n, 0x7fffffffffffffffffffffffffffff4n);
-        c(0x74n, 0xffffffffffffffffffffffffffffff5n);
-        c(0x75n, 0x1ffffffffffffffffffffffffffffff6n);
-        c(0x76n, 0x3ffffffffffffffffffffffffffffff7n);
-        c(0x77n, 0x7ffffffffffffffffffffffffffffff8n);
-        c(0x78n, 0xfffffffffffffffffffffffffffffff9n);
-        c(0x79n, 0x1fffffffffffffffffffffffffffffffan);
-        c(0x7an, 0x3fffffffffffffffffffffffffffffffbn);
-        c(0x7bn, 0x7fffffffffffffffffffffffffffffffcn);
-        c(0x7cn, 0xffffffffffffffffffffffffffffffffdn);
-        c(0x7dn, 0x1ffffffffffffffffffffffffffffffffen);
-        c(0x7en, 0x3fffffffffffffffffffffffffffffffffn);
-        c(0x7fn, 0x8000000000000000000000000000000000n);
-        c(0x80n, 0x10000000000000000000000000000000001n);
-        //
-        n([0n, 0n], 0x00n);
-        n([0n, 1n], 0x01n);
-        n([0n, 2n], 0x02n);
-        //
-        n([0n, 0x80n], 0x80n);
-        n([1n, 0n, 0n], 0x81n);
-        // the longest sequences in bits.
-        n([0x80n, 0x7fn, 0x7en, 0x7dn, 0x7cn, 0x7bn, 0x7an, 0x79n, 0x78n, 0x77n, 0x76n, 0x75n, 0x74n, 0x73n, 0x72n, 0x71n,
-            0x70n, 0x6fn, 0x6en, 0x6dn, 0x6cn, 0x6bn, 0x6an, 0x69n, 0x68n, 0x67n, 0x66n, 0x65n, 0x64n, 0x63n, 0x62n, 0x61n,
-            0x60n, 0x5fn, 0x5en, 0x5dn, 0x5cn, 0x5bn, 0x5an, 0x59n, 0x58n, 0x57n, 0x56n, 0x55n, 0x54n, 0x53n, 0x52n, 0x51n,
-            0x50n, 0x4fn, 0x4en, 0x4dn, 0x4cn, 0x4bn, 0x4an, 0x49n, 0x48n, 0x47n, 0x46n, 0x45n, 0x44n, 0x43n, 0x42n, 0x41n,
-            0x40n, 0x3fn, 0x3en, 0x3dn, 0x3cn, 0x3bn, 0x3an, 0x39n, 0x38n, 0x37n, 0x36n, 0x35n, 0x34n, 0x33n, 0x32n, 0x31n,
-            0x30n, 0x2fn, 0x2en, 0x2dn, 0x2cn, 0x2bn, 0x2an, 0x29n, 0x28n, 0x27n, 0x26n, 0x25n, 0x24n, 0x23n, 0x22n, 0x21n,
-            0x20n, 0x1fn, 0x1en, 0x1dn, 0x1cn, 0x1bn, 0x1an, 0x19n, 0x18n, 0x17n, 0x16n, 0x15n, 0x14n, 0x13n, 0x12n, 0x11n,
-            0x10n, 0x0fn, 0x0en, 0x0dn, 0x0cn, 0x0bn, 0x0an, 0x09n, 0x08n, 0x07n, 0x06n, 0x05n, 0x04n, 0x03n, 0x02n, 0x01n,
-            0x00n, 0x74n], 0x0ffffffffffffffffffffffffffffffdfb4n);
-        n([0x80n, 0x7fn, 0x7en, 0x7dn, 0x7cn, 0x7bn, 0x7an, 0x79n, 0x78n, 0x77n, 0x76n, 0x75n, 0x74n, 0x73n, 0x72n, 0x71n,
-            0x70n, 0x6fn, 0x6en, 0x6dn, 0x6cn, 0x6bn, 0x6an, 0x69n, 0x68n, 0x67n, 0x66n, 0x65n, 0x64n, 0x63n, 0x62n, 0x61n,
-            0x60n, 0x5fn, 0x5en, 0x5dn, 0x5cn, 0x5bn, 0x5an, 0x59n, 0x58n, 0x57n, 0x56n, 0x55n, 0x54n, 0x53n, 0x52n, 0x51n,
-            0x50n, 0x4fn, 0x4en, 0x4dn, 0x4cn, 0x4bn, 0x4an, 0x49n, 0x48n, 0x47n, 0x46n, 0x45n, 0x44n, 0x43n, 0x42n, 0x41n,
-            0x40n, 0x3fn, 0x3en, 0x3dn, 0x3cn, 0x3bn, 0x3an, 0x39n, 0x38n, 0x37n, 0x36n, 0x35n, 0x34n, 0x33n, 0x32n, 0x31n,
-            0x30n, 0x2fn, 0x2en, 0x2dn, 0x2cn, 0x2bn, 0x2an, 0x29n, 0x28n, 0x27n, 0x26n, 0x25n, 0x24n, 0x23n, 0x22n, 0x21n,
-            0x20n, 0x1fn, 0x1en, 0x1dn, 0x1cn, 0x1bn, 0x1an, 0x19n, 0x18n, 0x17n, 0x16n, 0x15n, 0x14n, 0x13n, 0x12n, 0x11n,
-            0x10n, 0x0fn, 0x0en, 0x0dn, 0x0cn, 0x0bn, 0x0an, 0x09n, 0x08n, 0x07n, 0x06n, 0x05n, 0x04n, 0x03n, 0x02n, 0x01n,
-            0x00n, 0x75n], 0x0ffffffffffffffffffffffffffffffdfb5n);
-        //
-        n([0x80n, 0x7fn, 0x7en, 0x7dn, 0x7cn, 0x7bn, 0x7an, 0x79n, 0x78n, 0x77n, 0x76n, 0x75n, 0x74n, 0x73n, 0x72n, 0x71n,
-            0x70n, 0x6fn, 0x6en, 0x6dn, 0x6cn, 0x6bn, 0x6an, 0x69n, 0x68n, 0x67n, 0x66n, 0x65n, 0x64n, 0x63n, 0x62n, 0x61n,
-            0x60n, 0x5fn, 0x5en, 0x5dn, 0x5cn, 0x5bn, 0x5an, 0x59n, 0x58n, 0x57n, 0x56n, 0x55n, 0x54n, 0x53n, 0x52n, 0x51n,
-            0x50n, 0x4fn, 0x4en, 0x4dn, 0x4cn, 0x4bn, 0x4an, 0x49n, 0x48n, 0x47n, 0x46n, 0x45n, 0x44n, 0x43n, 0x42n, 0x41n,
-            0x40n, 0x3fn, 0x3en, 0x3dn, 0x3cn, 0x3bn, 0x3an, 0x39n, 0x38n, 0x37n, 0x36n, 0x35n, 0x34n, 0x33n, 0x32n, 0x31n,
-            0x30n, 0x2fn, 0x2en, 0x2dn, 0x2cn, 0x2bn, 0x2an, 0x29n, 0x28n, 0x27n, 0x26n, 0x25n, 0x24n, 0x23n, 0x22n, 0x21n,
-            0x20n, 0x1fn, 0x1en, 0x1dn, 0x1cn, 0x1bn, 0x1an, 0x19n, 0x18n, 0x17n, 0x16n, 0x15n, 0x14n, 0x13n, 0x12n, 0x11n,
-            0x10n, 0x0fn, 0x0en, 0x0dn, 0x0cn, 0x0bn, 0x0an, 0x09n, 0x08n, 0x07n, 0x06n, 0x05n, 0x04n, 0x03n, 0x02n, 0x01n,
-            0x00n, 0x80n], 0x0ffffffffffffffffffffffffffffffdfc0n);
-        //
-        n([0x80n, 0x80n], 0x10000000000000000000000000000000000n);
-    },
-    toVec: {
-        level1: () => {
-            const x = l(literal1ToVec);
-            x(0n, vec(2n)(0n));
-            x(1n, vec(2n)(1n));
-            x(2n, vec(3n)(4n));
-            x(3n, vec(3n)(5n));
-            x(4n, vec(2n)(3n));
-        },
-        level2: () => {
-            const x = l(literal2ToVec);
-            // 0...
-            x(0x00n, vec(4n)(0n));
-            x(0x01n, vec(4n)(1n));
-            x(0x02n, vec(5n)(4n));
-            x(0x03n, vec(5n)(5n));
-            x(0x04n, vec(4n)(3n));
-            // 1
-            // 10...
-            x(0x05n, vec(0x6n)(16n));
-            x(0x06n, vec(0x6n)(17n));
-            x(0x07n, vec(0x7n)(36n));
-            x(0x08n, vec(0x7n)(37n));
-            x(0x09n, vec(0x6n)(19n));
-            // 1...
-            x(0x0an, vec(0x4n)(5n));
-            x(0x0bn, vec(0x5n)(12n));
-            x(0x0cn, vec(0x5n)(13n));
-            x(0x0dn, vec(0x4n)(7n));
-            // 2
-            // 20...
-            x(0x0en, vec(0x7n)(64n));
-            x(0x0fn, vec(0x7n)(65n));
-            x(0x10n, vec(0x8n)(132n));
-            x(0x11n, vec(0x8n)(133n));
-            x(0x12n, vec(0x7n)(67n));
-            // 21
-            // 210...
-            x(0x13n, vec(0x9n)(272n));
-            x(0x14n, vec(0x9n)(273n));
-            x(0x15n, vec(0xan)(548n));
-            x(0x16n, vec(0xan)(549n));
-            x(0x17n, vec(0x9n)(275n));
-            // 21...
-            x(0x18n, vec(0x7n)(69n));
-            x(0x19n, vec(0x8n)(140n));
-            x(0x1an, vec(0x8n)(141n));
-            x(0x1bn, vec(0x7n)(71n));
-            // 2...
-            x(0x1cn, vec(0x6n)(36n));
-            x(0x1dn, vec(0x6n)(37n));
-            x(0x1en, vec(0x5n)(19n));
-            // 3
-            // 30...
-            x(0x1fn, vec(7n)(80n));
-            x(0x20n, vec(7n)(81n));
-            x(0x21n, vec(8n)(164n));
-            x(0x22n, vec(8n)(165n));
-            x(0x23n, vec(7n)(83n));
-            // 31
-            // 310...
-            x(0x24n, vec(0x9n)(336n));
-            x(0x25n, vec(0x9n)(337n));
-            x(0x26n, vec(0xan)(676n));
-            x(0x27n, vec(0xan)(677n));
-            x(0x28n, vec(0x9n)(339n));
-            // 31...
-            x(0x29n, vec(0x7n)(85n));
-            x(0x2an, vec(0x8n)(172n));
-            x(0x2bn, vec(0x8n)(173n));
-            x(0x2cn, vec(0x7n)(87n));
-            // 32
-            // 320...
-            x(0x2dn, vec(0xan)(704n));
-            x(0x2en, vec(0xan)(705n));
-            x(0x2fn, vec(0xbn)(1412n));
-            x(0x30n, vec(0xbn)(1413n));
-            x(0x31n, vec(0xan)(707n));
-            // 321
-            // 3210...
-            x(0x32n, vec(0xcn)(2832n));
-            x(0x33n, vec(0xcn)(2833n));
-            x(0x34n, vec(0xdn)(5668n));
-            x(0x35n, vec(0xdn)(5669n));
-            x(0x36n, vec(0xcn)(2835n));
-            // 321...
-            x(0x37n, vec(0xan)(709n));
-            x(0x38n, vec(0xbn)(1420n));
-            x(0x39n, vec(0xbn)(1421n));
-            x(0x3an, vec(0xan)(711n));
-            // 32...
-            x(0x3bn, vec(0x9n)(356n));
-            x(0x3cn, vec(0x9n)(357n));
-            x(0x3dn, vec(0x8n)(179n));
-            // 3...
-            x(0x3en, vec(0x6n)(45n));
-            x(0x3fn, vec(0x5n)(23n));
-            // 40...
-            x(0x40n, vec(6n)(48n));
-            x(0x41n, vec(6n)(49n));
-            x(0x42n, vec(7n)(100n));
-            x(0x43n, vec(7n)(101n));
-            x(0x44n, vec(6n)(51n));
-            // 41
-            // 410...
-            x(0x45n, vec(0x8n)(208n));
-            x(0x46n, vec(0x8n)(209n));
-            x(0x47n, vec(0x9n)(420n));
-            x(0x48n, vec(0x9n)(421n));
-            x(0x49n, vec(0x8n)(211n));
-            // 41...
-            x(0x4an, vec(0x6n)(53n));
-            x(0x4bn, vec(0x7n)(108n));
-            x(0x4cn, vec(0x7n)(109n));
-            x(0x4dn, vec(0x6n)(55n));
-            // 42
-            // 420
-            x(0x4en, vec(0x9n)(448n));
-            x(0x4fn, vec(0x9n)(449n));
-            x(0x50n, vec(0xan)(900n));
-            x(0x51n, vec(0xan)(901n));
-            x(0x52n, vec(0x9n)(451n));
-            // 421
-            // 4210
-            x(0x53n, vec(0xbn)(1808n));
-            x(0x54n, vec(0xbn)(1809n));
-            x(0x55n, vec(0xcn)(3620n));
-            x(0x56n, vec(0xcn)(3621n));
-            x(0x57n, vec(0xbn)(1811n));
-            // 421...
-            x(0x58n, vec(0x9n)(453n));
-            x(0x59n, vec(0xan)(908n));
-            x(0x5an, vec(0xan)(909n));
-            x(0x5bn, vec(0x9n)(455n));
-            // 42...
-            x(0x5cn, vec(0x8n)(228n));
-            x(0x5dn, vec(0x8n)(229n));
-            x(0x5en, vec(0x7n)(115n));
-            // 43
-            // 430
-            x(0x5fn, vec(0x9n)(464n));
-            x(0x60n, vec(0x9n)(465n));
-            x(0x61n, vec(0xan)(932n));
-            x(0x62n, vec(0xan)(933n));
-            x(0x63n, vec(0x9n)(467n));
-            // 431
-            // 4310
-            x(0x64n, vec(0xbn)(1872n));
-            x(0x65n, vec(0xbn)(1873n));
-            x(0x66n, vec(0xcn)(3748n));
-            x(0x67n, vec(0xcn)(3749n));
-            x(0x68n, vec(0xbn)(1875n));
-            // 431...
-            x(0x69n, vec(0x9n)(469n));
-            x(0x6an, vec(0xan)(940n));
-            x(0x6bn, vec(0xan)(941n));
-            x(0x6cn, vec(0x9n)(471n));
-            // 432
-            // 4320
-            x(0x6dn, vec(0xcn)(3776n));
-            x(0x6en, vec(0xcn)(3777n));
-            x(0x6fn, vec(0xdn)(7556n));
-            x(0x70n, vec(0xdn)(7557n));
-            x(0x71n, vec(0xcn)(3779n));
-            // 4321
-            // 43210
-            x(0x72n, vec(0xen)(15120n));
-            x(0x73n, vec(0xen)(15121n));
-            x(0x74n, vec(0xfn)(30244n));
-            x(0x75n, vec(0xfn)(30245n));
-            x(0x76n, vec(0xen)(15123n));
-            // 4321...
-            x(0x77n, vec(0xcn)(3781n));
-            x(0x78n, vec(0xdn)(7564n));
-            x(0x79n, vec(0xdn)(7565n));
-            x(0x7an, vec(0xcn)(3783n));
-            // 432...
-            x(0x7bn, vec(0xbn)(1892n));
-            x(0x7cn, vec(0xbn)(1893n));
-            x(0x7dn, vec(0xan)(947n));
-            // 43...
-            x(0x7en, vec(0x8n)(237n));
-            x(0x7fn, vec(0x7n)(119n));
-            // 4...
-            x(0x80n, vec(0x4n)(15n));
-        },
-        level3: () => {
-            // `0000`...
-            w(0x000n, vec(0x8n)(0n));
-            // ...
-            w(0x080n, vec(0x8n)(15n));
-            // `0001`
-            // `0001_0000`...
-            w(0x081n, vec(0xcn)(256n));
-            // ...
-            w(0x101n, vec(0xcn)(271n));
-            // `0001`...
-            w(0x102n, vec(0x8n)(17n));
-            // ...
-            w(0x181n, vec(0x8n)(31n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011_1110110000101_1110110000100_111011000001_111011000000_111010111_1110101101_1110101100_111010101_11101010011_111010100101_111010100100_11101010001_11101010000_111010011_1110100101_1110100100_111010001_111010000_1110011_11100101_11100100_111000111_1110001101_1110001100_111000101_11100010011_111000100101_111000100100_11100010001_11100010000_111000011_1110000101_1110000100_111000001_111000000_110111_1101101_1101100_110101_11010011_110100101_110100100_11010001_11010000_110011_1100101_1100100_110001_110000_10111_101101_10110011_101100101_101100100_1011000111_10110001101_10110001100_1011000101_101100010011_1011000100101_1011000100100_101100010001_101100010000_1011000011_10110000101_10110000100_1011000001_1011000000_1010111_10101101_10101100_1010101_101010011_1010100101_1010100100_101010001_101010000_1010011_10100101_10100100_1010001_1010000_10011_100101_100100_1000111_10001101_10001100_1000101_100010011_1000100101_1000100100_100010001_100010000_1000011_10000101_10000100_1000001_1000000_0111_01101_01100_0101_010011_0100101_0100100_010001_010000_0011_00101_00100_0001_0000`...
-            w(0x0ffffffffffffffffffffffffffffffdfb4n, vec(0x48fn)(1996595666458851856908209000390502644529151162494852143809753744921889664454990289630742668184628967579332453928057534189033104610301559053768449495574783292970134168823342333689552843362944657058362057629006848288924034896784440803100771041947365296832729347505504305937171481903769406146919129127288540908019641194514178586025008843729627166768920100n));
-            w(0x0ffffffffffffffffffffffffffffffdfb5n, vec(0x48fn)(1996595666458851856908209000390502644529151162494852143809753744921889664454990289630742668184628967579332453928057534189033104610301559053768449495574783292970134168823342333689552843362944657058362057629006848288924034896784440803100771041947365296832729347505504305937171481903769406146919129127288540908019641194514178586025008843729627166768920101n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011_1110110000101_1110110000100_111011000001_111011000000_111010111_1110101101_1110101100_111010101_11101010011_111010100101`...
-            w(0x0fffffffffffffffffffffffffffffffea2n, vec(0x134n)(519426196434289584691974418537725656900166153733516318853486892986026425223208427233833803429n));
-            // ... 0x19
-            w(0x0fffffffffffffffffffffffffffffffebbn, vec(0x12cn)(2029008579821443690203025072412990847266274038021548120521433175726665723528157918882163295n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011_1110110000101_1110110000100_111011000001_111011000000_111010111_1110101101_1110101100_111010101_11101010011`...
-            w(0x0fffffffffffffffffffffffffffffffebcn, vec(0x127n)(63406518119420115318844533512905963977071063688173378766294786741458303860254934965067603n));
-            // ... 0x18
-            w(0x0fffffffffffffffffffffffffffffffed4n, vec(0x120n)(495363422807969650928472918069577843570867685063854521611678021417642998908241679414591n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011_1110110000101_1110110000100_111011000001_111011000000_111010111_1110101101_1110101100_111010101`...
-            w(0x0fffffffffffffffffffffffffffffffed5n, vec(0x11an)(7740053481374525795757389344837153805794807579122726900182469084650671857941276240853n));
-            // ... 0x17
-            w(0x0fffffffffffffffffffffffffffffffeecn, vec(0x115n)(241876671292953931117418417026161056431087736847585215630702158895333495560664882527n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011_1110110000101_1110110000100_111011000001_111011000000_111010111_1110101101_1110101100`...
-            w(0x0fffffffffffffffffffffffffffffffeedn, vec(0x112n)(30234583911619241389677302128270132053885967105948151953837769861916686945083110316n));
-            // ... 0x16
-            w(0x0ffffffffffffffffffffffffffffffff03n, vec(0x10cn)(472415373619050646713707845754220813341968236030439874278715154092448233516923599n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011_1110110000101_1110110000100_111011000001_111011000000_111010111_1110101101`...
-            w(0x0ffffffffffffffffffffffffffffffff04n, vec(0x108n)(29525960851190665419606740359638800833873014751902492142419697130778014594807725n));
-            // ... 0x15
-            w(0x0ffffffffffffffffffffffffffffffff19n, vec(0x102n)(461343138299854147181355318119356263029265855498476439725307767668406478043871n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011_1110110000101_1110110000100_111011000001_111011000000_111010111`...
-            w(0x0ffffffffffffffffffffffffffffffff1an, vec(0x0fdn)(14416973071870442099417353691229883219664557984327388741415867739637702438871n));
-            // ... 0x14
-            w(0x0ffffffffffffffffffffffffffffffff2en, vec(0x0f8n)(450530408495951315606792302850933850614517437010230898169245866863678201215n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011_1110110000101_1110110000100_111011000001_111011000000`...
-            w(0x0ffffffffffffffffffffffffffffffff2fn, vec(0x0f7n)(225265204247975657803396151425466925307258718505115449084622933431839100608n));
-            // ... 0x13
-            w(0x0ffffffffffffffffffffffffffffffff42n, vec(0x0efn)(879942204093654913294516216505730176981479369160607222986808333718121487n));
-            //--------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011_1110110000101_1110110000100_111011000001`...
-            w(0x0ffffffffffffffffffffffffffffffff43n, vec(0x0ebn)(54996387755853432080907263531608136061342460572537951436675520857382593n));
-            // ... 0x12
-            w(0x0ffffffffffffffffffffffffffffffff55n, vec(0x0e3n)(214829639671302469066043998170344281489618986611476372799513753349151n));
-            //--------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011_1110110000101_1110110000100`...
-            w(0x0ffffffffffffffffffffffffffffffff56n, vec(0x0e0n)(26853704958912808633255499771293035186202373326434546599939219168644n));
-            // ... 0x11
-            w(0x0ffffffffffffffffffffffffffffffff67n, vec(0x0d7n)(52448642497876579361827147990806709348051510403192473828006287439n));
-            //--------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011_1110110000101`...
-            w(0x0ffffffffffffffffffffffffffffffff68n, vec(0x0d3n)(3278040156117286210114196749425419334253219400199529614250392965n));
-            // ... 0x10
-            w(0x0ffffffffffffffffffffffffffffffff78n, vec(0x0can)(6402422179916574629129290526221522137213319141014706277832799n));
-            //--------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000_111011000011`...
-            w(0x0ffffffffffffffffffffffffffffffff79n, vec(0x0c5n)(200075693122392957160290328944422566787916223156709571182275n));
-            // ... 0xF
-            w(0x0ffffffffffffffffffffffffffffffff88n, vec(0x0bdn)(781545676259347488907384097439150651515297746705896762431n));
-            //--------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001_11101100010000`...
-            w(0x0ffffffffffffffffffffffffffffffff89n, vec(0x0bbn)(195386419064836872226846024359787662878824436676474190608n));
-            // ... 0xE
-            w(0x0ffffffffffffffffffffffffffffffff97n, vec(0x0b1n)(190807049868004758034029320663855139530101988941869327n));
-            //--------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100_11101100010001`...
-            w(0x0ffffffffffffffffffffffffffffffff98n, vec(0x0adn)(11925440616750297377126832541490946220631374308866833n));
-            // ... 0xD
-            w(0x0ffffffffffffffffffffffffffffffffa5n, vec(0x0a3n)(11645938102295212282350422403799752168585326473503n));
-            //--------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101_111011000100100`...
-            w(0x0ffffffffffffffffffffffffffffffffa6n, vec(0x0a0n)(1455742262786901535293802800474969021073165809188n));
-            // ... 0xC
-            w(0x0ffffffffffffffffffffffffffffffffb2n, vec(0x095n)(710811651751416765280177148669418467320881743n));
-            //--------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011_111011000100101`...
-            w(0x0ffffffffffffffffffffffffffffffffb3n, vec(0x091n)(44425728234463547830011071791838654207555109n));
-            // ... 0xB
-            w(0x0ffffffffffffffffffffffffffffffffben, vec(0x086n)(21692250114484154213872593648358717874783n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101_11101100010011`...
-            w(0x0ffffffffffffffffffffffffffffffffbfn, vec(0x081n)(677882816077629819183518551511209933587n));
-            // ...
-            w(0x0ffffffffffffffffffffffffffffffffc9n, vec(0x077n)(661994937575810370296404835460165951n));
-            //----------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100_111011000101`...
-            w(0x0ffffffffffffffffffffffffffffffffcan, vec(0x071n)(10343670899622037035881325554065093n));
-            // ...
-            w(0x0ffffffffffffffffffffffffffffffffd3n, vec(0x069n)(40404964451648582171411427945567n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101_1110110001100`...
-            w(0x0ffffffffffffffffffffffffffffffffd4n, vec(0x066n)(5050620556456072771426428493196n));
-            // ...
-            w(0x0ffffffffffffffffffffffffffffffffdcn, vec(0x05dn)(9864493274328267131692243151n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111_1110110001101`...
-            w(0x0ffffffffffffffffffffffffffffffffddn, vec(0x059n)(616530829645516695730765197n));
-            // ...
-            w(0x0ffffffffffffffffffffffffffffffffe4n, vec(0x050n)(1204161776651399796349151n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100_111011000111`...
-            w(0x0ffffffffffffffffffffffffffffffffe5n, vec(0x04bn)(37630055520356243635911n));
-            // ...
-            w(0x0ffffffffffffffffffffffffffffffffebn, vec(0x043n)(146992404376391576703n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101_11101100100`...
-            w(0x0ffffffffffffffffffffffffffffffffecn, vec(0x03en)(4593512636762236772n));
-            // ...
-            w(0x0fffffffffffffffffffffffffffffffff1n, vec(0x037n)(35886817474704975n));
-            //---------------`1111_1110111_11101101_1110110011_11101100101`...
-            w(0x0fffffffffffffffffffffffffffffffff2n, vec(0x033n)(2242926092169061n));
-            // ...
-            w(0x0fffffffffffffffffffffffffffffffff6n, vec(0x02cn)(17522860095071n));
-            // ...
-            w(0x0fffffffffffffffffffffffffffffffff6n, vec(0x02cn)(17522860095071n));
-            //---------------`1111_1110111_11101101_1110110011`...
-            w(0x0fffffffffffffffffffffffffffffffff7n, vec(0x027n)(547589377971n));
-            // ...
-            w(0x0fffffffffffffffffffffffffffffffffan, vec(0x021n)(8556084031n));
-            //---------------`1111_1110111_11101101`...
-            w(0x0fffffffffffffffffffffffffffffffffbn, vec(0x01bn)(133688813n));
-            // ...
-            w(0x0fffffffffffffffffffffffffffffffffdn, vec(0x017n)(8355551n));
-            //---------------`1111_1110111`...
-            w(0x0fffffffffffffffffffffffffffffffffen, vec(0x012n)(261111n));
-            w(0x0ffffffffffffffffffffffffffffffffffn, vec(0x00fn)(32639n));
-            //---------------`1111`...
-            w(0x10000000000000000000000000000000000n, vec(0x008n)(255n));
-        }
-    },
-    wordToString: () => {
-        const result = wordToString([0n, 1n, 0xabn]);
-        assertEq(result, '0,1,ab');
-    },
-    pipeline: () => {
-        // 4 L1 [0,0] words → 2 L2 [0,0] words → L3 [0,0] word → symbol 0
-        // First 7 zero bits accumulate without emitting
-        let s = emptyPipelineState;
-        for (let i = 0; i < 7; i++) {
-            const [out, next] = pipelineStep(0n, s);
-            assertEq(out, undefined);
-            s = next;
-        }
-        // 8th zero emits L3 symbol 0
-        const [out0, s2] = pipelineStep(0n, s);
-        assertEq(out0, 0n);
-        // state resets after emit: second batch of 8 zeros also emits 0
-        let s3 = s2;
-        for (let i = 0; i < 7; i++) {
-            const [, next] = pipelineStep(0n, s3);
-            s3 = next;
-        }
-        const [out1] = pipelineStep(0n, s3);
-        assertEq(out1, 0n);
-        // 8 ones emit a different symbol than 8 zeros
-        let s4 = emptyPipelineState;
-        for (let i = 0; i < 7; i++) {
-            const [, next] = pipelineStep(1n, s4);
-            s4 = next;
-        }
-        const [out2] = pipelineStep(1n, s4);
-        assert(out2 !== 0n, out2);
-    }
-};