Auditable claim record

Collatz conjecture brute-forcer · listed in shuttle

Tiny Tapeout IHP 25a · SUPPORTED

urn:vlsi:claim:8e52e5f80afb0b73e4581332c3bda2f07b219a9d78a9ea438a6dcb167bad04e1

Official registry lists this repository, submitted revision and module. The listing does not establish fabrication, manufacture, validation or measured results.

Back to Collatz conjecture brute-forcer → · Complete history as JSON · JSON-LD

Evidence

Tiny Tapeout IHP 25a official shuttle registry ↗

The Tiny Tapeout IHP 25a registry lists this repository at submitted revision bb63fb8431974512fa9be009f7825a42cce5ed1b, under module tt_um_rtfb_collatz.

Tiny Tapeout official registry · projects[109]: repository, commit and macro · supports

Published date unknown · Retrieved 2026-10-13T23:58:54.646Z

urn:vlsi:evidence:cee29291115cf8efbb1f568351e0a5288d0927d8f612b2913a3a0fe9ace947af

Assessment history

New assessments preserve earlier records. A correction changes the current interpretation without rewriting what VLSI knew before it.

Recorded assessments, oldest first
Revision	Recorded at (UTC)	Status	Validity	Reviewer & reason
1	2026-10-14T00:04:17.065Z	SUPPORTED	unknown unknown	checked-catalog-source-adapter (adapter) Evidence ingested by official-registry-and-pinned-documents/1.0.0. Explicit upstream evidence only. No fabrication, validation, successful tapeout, measured performance, arbitrary-version interoperability or production qualification is inferred.