FPRD LabShare an approach

← Claims

Computational finding

FPRD-QA-COL-C03

Adjacent-swap cohomology census

Exact statement

The fixed-weight checker verifies every valuation, receipt-count, and fine-cycle exactness formula through length fourteen.

StatusReproduced
External reviewNo documented external or specialist review of this Quotient Arsenal result is recorded.

Context

Parity words are exact affine charts. Their seams, response quotients, integral cokernels, and 2-adic inverse limits show precisely where finite compatibility differs from membership in the ordinary nonnegative integers.

Proof or evidence

All 119 layers and 65,658 fundamental cycles pass.

Collatz guard-chamber review and independent audit →

Verification notes

The affine word, residue-cylinder, seam, response, integral, positive, 2-adic, selector, rotation, and fixed-weight arguments were reconstructed. An independent implementation checked 131,070 parity words, 98,304 seams, 98,305 swaps, 8,800 primitive necklaces, and all selectors through depth four, including the 001 and all-ones hostile examples.

Limitations

  • The fine-graph cycle sums vanish and therefore do not constitute a Collatz-cycle obstruction.

Open work

Preserve as a regression certificate for quotient-loss claims.