13.5.0 · LOCAL OFFLINE SEALED

Release 13.5.0: files and proof

The 13.5.0 Windows/Linux archives passed software checks. This page shows which bytes were sealed and which tests ran. The website is published separately; BIOSTAR hardware has not qualified 13.5.0.

Tag, commit and archives

TAG          v13.5.0 (local annotated)
TAG OBJECT   c05f6df6717f23ec675eaa8cb2745f3fef825535
COMMIT       54857c64cd2f1677de3ebc88df79895e578bbad1
LINUX ZIP    Not applicable
LINUX TAR.GZ dbyte-v13.5.0-linux-x86_64.tar.gz
LINUX SHA256 9523b92b1c49efd76318586dfa7bee06d4448a6cd406daa70f01b1c894a4e826
WINDOWS ZIP  dbyte-v13.5.0-windows-x64.zip
WIN SHA256   6afd9edc7a5456c67b843292ecf4927931dee24e3119a12201dff6fafc76897c

Tests that ran

Workspace tests, Clippy, platform-specific release builds, independent archive member hashes, deterministic A/B packaging and extracted runtime smoke: PASS. Pure CTFE recursion accepts 32 frames and rejects 33.

Not built or tested

REAL_BIOSTAR for v13.5.0: NOT QUALIFIED. REAL_STORAGE: DISARMED. FULL_OS: PENDING. No H.264, AAC, MP4 or fully DByte self-hosted compiler.

FULL 13.5 PROOF · MACHINE-READABLE EVIDENCE · HISTORICAL 13.2 PHYSICAL PROOF

Archived software releases: 13.3–13.4.1

These versioned binary releases are preserved separately from 13.5.0; release pages provide exact Git tag identities, packages and checksums.

Version-to-feature reference

Each row describes what that version actually adds; later syntax must not be attributed to an older binary. The historical BIOSTAR 13.2 qualification is not qualification of the later compiler releases.

Version	Documented additions	Limit or evidence
13.2.0	GNU/Linux native host	Historical BIOSTAR qualification
13.3.0	DByte-written lexer and decimal64 wire format	Self-hosted lexer only, not parser/backend
13.4.0	Comptime source emission; experimental INDEX8 and PCM16/WAV primitives	No physical VGA or H.264/AAC/MP4 encoder
13.4.1	Reproducible maintenance packaging and verification	Separate offline seal; no new 13.5 syntax
13.5.0	Bounded compile-time for/range and local pure functions	32 active frames; shared fuel; no host access

All versioned packages and SHA-256 values are available in downloads. The old root LANGUAGE_SPEC.md is an Alpha 7.8.0 specification, not a replacement for the modern v12 language contract.