13.5.0 · LOCAL OFFLINE SEALEDWINDOWS + GNU/LINUX SOFTWARE VERIFIEDREAL_BIOSTAR 13.5 NOT QUALIFIEDPROOF

DBYTE 13.5.0 · LANGUAGE DOCUMENTATION

DBYTE documentation

Start with the language and toolchain, then read the contracts that apply to the version you are running. Version 13.5.0 is a locally sealed software release for Windows and GNU/Linux.

Start here

  1. Install the toolchain and verify the binary version and self-hosted lexer.
  2. Learn the core language: types, declarations, functions, control flow, imports and standard-library basics.
  3. Use compile-time execution: bounded loops and pure functions, with exact limits and diagnostics.
  4. Browse the full manual for the VM, native compiler, ABI and previous documented versions.

Source-backed language example

From examples/ctfe_pure_fn_v135.dby. A compile-time function calculates a value used to produce a native runtime entry point:

comptime {
    fn factorial(n: int) -> int:
        if n <= 1:
            return 1
        else:
            return n * factorial(n - 1)
    let answer: int = factorial(4) + 18
    emit_source("pub fn answer() -> i32:\n    return " + str(answer) + "\n")
}

pub fn main() -> i32:
    return answer()

For this verified fixture, the resulting executable returns 42. See language restrictions and verification cases.

Toolchain and release boundaries

The packages contain the dbyte CLI, native compiler dbytec, assembler dbtasm and a verified DByte-written frontend sidecar. Kernel Lab and DByteOS components are experimental and are not a finished full operating system.

Windows/Linux software gates passed. Physical BIOSTAR qualification for 13.5.0 has not been performed; the 13.2.0 hardware record is historical and separate. Read the version 13.5 release evidence.