Skip to main content
VLSI Korea

Auditable claim record

Collatz conjecture brute-forcer · listed in shuttle

Tiny Tapeout 9 · SUPPORTED

urn:vlsi:claim:1e8e1d81a1fbf8146f746ab2454eaf8a05b806c723286c12df534d38e41a4d67

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 9 official shuttle registry ↗

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

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

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

urn:vlsi:evidence:ab22a6f4eed0c2697988fb496cf85d2c91ee1d3ea9545652fb30be70b9051ac9

Assessment history

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

Recorded assessments, oldest first
RevisionRecorded at (UTC)StatusValidityReviewer & reason
12026-10-14T00:04:16.841ZSUPPORTEDunknown
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.