ARCHIVE FOLLOW-UP AND SHARED-STREAM EXCLUSIONS
17 October 2026

STATUS
The original seed and program remain unknown. The 1997 Security Builder
Programmer's Reference Manual, Release 1.1, SBPR-9706-0001, was not recovered.

ARCHIVE COVERAGE
The unquoted manual-title search reproduced the nine Internet Archive
software-collection results shown in the supplied screenshot. Exact quoted
title, quoted Security Builder, and document-number searches returned no
indexed manual. The apparent title matches were separate keyword matches.

Metadata for those collections and two additional IBM-related items, eight
catalogue texts, reviews, and available directory indexes were inspected.
No matching Certicom manual or SDK filename was found in that material.
This is NOT an exhaustive search of nested archive contents or every disc.
The IBM CD01 ZIP listing exposed only BIN/CUE members; their image contents
were not searched. Directory indexes do not prove absence inside packages.
The JSON receipts record the specific sources, counts, and limitations.
Broad Wayback inventories overlap; their counts are not independent.

MATHEMATICAL RESULT
Suppose the 131- and 193-bit constructions reset to the identical stream
and use the same specified conversion. Grant its first two 160-bit blocks
arbitrary values. The two observed shared starts are inconsistent under:
  1. Low complete-block bits.
  2. High complete-block bits.
  3. Polynomial remainders of complete blocks in the SEC fields.
  4. Masked byte prefixes interpreted big-endian.
  5. Masked byte prefixes interpreted little-endian.

check_shared_stream.py solves the binary linear constraints and records
explicit 0=1 certificates. Its 170 constructed positive controls pass.
The separate elementary polynomial proof in the paper gives forced
Q mod z^33 = 0x1d2aaf2e2, which exceeds the permitted degree 28.
independent-polynomial-check.json records that separate calculation.

BOUNDARY
These results do not exclude different initial states/streams, width-
dependent calls, offsets, interleaving, modular-order reduction, or
nonlinear processing. Unknown seed preprocessing only remains covered
when it still makes both field sizes start from the identical stream.

REPLAY
From this directory: python -E -s -S -B check_shared_stream.py
The separate paper-wide receipt is PAPER-VALIDATION.json in the
LaTeX project root (three directories above this file).
Historical checkpoints in sibling directories are retained unchanged.
