Independent verification request

[kindaai]

This repository contains a bracket-plateau certificate framework for equal-height Collatz streaks related to OEIS A277109.

The main certificate-backed claim is conditional on the A006877/A006878 total-stopping-time record envelope:

[
a(K+3904)=2^K-1,\qquad 50\le K\le56.
]

The repository also includes larger plateau-match candidates, including:

[
a(15621)=2^{63}-1.
]

These larger candidates should be treated as requiring independent verification.

Requested checks:

• Verify the algebraic reduction in README.md.
• Verify the definition and use of (A(u)=S(u)-2d(u)).
• Verify the forced ([2])-plateau step.
• Re-run python scripts/verify_all.py.
• Check the finite core plateau verification.
• Check the K50-K56 diagonal certificate.
• Check the larger plateau-match candidates separately.
• Confirm whether the A006877/A006878 record-envelope dependency is valid.
• Check exactness versus lower-bound claims.
• Attempt an independent implementation.

The goal is to find mistakes before any OEIS submission or broader circulation.