DBYTE 12.0.0 RELEASE

SEMANTIC AUTHORITY: annotated tag v12.0.0, compiler commit 97994da26fa05af729f179dfc8fa2861330249fc.

RELEASE       12.0.0
CLASS         GENERAL-PURPOSE LANGUAGE FOUNDATION
COMMIT        97994da26fa05af729f179dfc8fa2861330249fc
TAG OBJECT    e4db9dc9886779751efc17a62387f5060403aec6
PACKAGE       dbyte-v12.0.0-windows-x64.zip
BYTES         3196504
SHA256        83f9de1e1116ebfe0fc0a4b24338909ffab39142d4171b0b9364a51727d5e4d2
LICENSE       GPL-2.0-only
DOCS          /docs/12.0/
CLIENT        STATIC HTML + CSS + SVG
JAVASCRIPT    0
FRAMEWORK     0

00 release meaning§

Version 12.0 is the point where DByte stops treating hosted execution and native systems compilation as separate semantic authorities. The parser still produces the shared AST, but resolution, typing, ownership actions, layouts, callable conventions, variants, captures and cleanup edges are decided once in canonical typed HIR. Hosted tree execution, bytecode VM lowering, i686 native compilation, the kernel profile and the user profile consume that same decision set.

The website is a delivery of the tagged contract. It cannot add syntax, change a type representation or promote a deferred feature into the release.

10 pipeline contract§

LOCAL MODULE GRAPH
  -> SHARED LEXER / PARSER / AST
  -> CANONICAL PROJECT RESOLUTION
  -> TYPE + OWNERSHIP / BORROW ANALYSIS
  -> EXECUTABLE TYPED HIR
  -> DETERMINISTIC MONOMORPHIZATION
  -> PROFILE VALIDATION
  -> BACKEND ADAPTER
       +-- TREE INTERPRETER
       +-- BYTECODE VM
       +-- i686-dbyte-none
       `-- i686-dbyte-user

Canonical identities cover modules, symbols, types, generic definitions, variants, fields and closures.
Target pointer size and usize layout come from TargetDataLayout, never the Rust host.
Backends do not resolve names, infer generic types, decide borrow legality or recompute aggregate layout.
Open generic parameters and unresolved semantic operations are rejected before backend lowering.

20 language foundation§

Area	Release contract	Not implied
GENERICS	Bracket syntax, symbolic checking and deterministic monomorphization.	No traits, dictionaries, boxing or runtime type metadata.
ENUMS	Payload enums with stable u32 tag, exhaustive match and ordinary Option/Result.	No niche optimization, guards or implicit error conversion.
OWNERSHIP	Copy/move actions, lexical immutable and exclusive mutable borrows.	No automatic Drop protocol or hidden clone.
VIEWS	Borrowed slice, mut_slice and UTF-8 StringView representations.	No owned String, dynamic Array or collection runtime.
CALLABLES	DByte/C function pointers and explicit-capture bounded closures.	No heap closure, dynamic dispatch or erased capture environment.
CLEANUP	Lexical defer with explicit LIFO HIR cleanup edges.	No exception unwinding or runtime defer stack.

30 native and library outputs§

dbytec build source.dby --target i686-dbyte-none --emit obj       -o module.o
dbytec build source.dby --target i686-dbyte-none --emit staticlib -o library.a
dbytec link main.o library.a                                      -o app.elf
dbytec build user.dby --target i686-dbyte-user --emit elf         -o user.elf

dbyte inspect source.dby --hir --generics --layout
dbyte inspect app.elf --symbols --relocations --disasm

The compiler owns ELF32 ET_REL objects, ELF32 ET_EXEC images, canonical Unix archives and the final link. Native objects use real symbols plus R_386_PC32/R_386_32 relocations. The supported i686 C ABI is a bounded cdecl subset; aggregate interoperability crosses through pointers to compatible @repr(C) storage.

40 target matrix§

Capability	Hosted	VM	i686 none/kernel	i686 user
Canonical HIR and v12 types	SUPPORTED	SUPPORTED	SUPPORTED	SUPPORTED
Generics · enums · match · Result	SUPPORTED	SUPPORTED	SUPPORTED	SUPPORTED
Borrowed views · closures · defer	SUPPORTED	SUPPORTED	SUPPORTED	SUPPORTED
Privileged native operations	NOT SUPPORTED	NOT SUPPORTED	KERNEL PROFILE	NOT SUPPORTED
Interrupt declarations	NOT SUPPORTED	NOT SUPPORTED	KERNEL PROFILE	NOT SUPPORTED
User syscall intrinsics	NOT SUPPORTED	NOT SUPPORTED	NOT SUPPORTED	USER PROFILE
Owned String · Array · Drop	DEFERRED	DEFERRED	DEFERRED	DEFERRED

50 executable evidence§

DBYTE GENERAL PURPOSE V12
CANONICAL HIR ONLINE
GENERICS ONLINE
ENUM MATCH ONLINE
OWNERSHIP ONLINE
CLOSURES ONLINE
DEFER ONLINE
C ABI ONLINE
V12 CHECK OK

The release proof covers multi-module native execution of generics, named structs, payload enums, Result propagation, borrowed slices/StringView, function values, explicit captures, defer cleanup and C calls/callbacks. The website fixtures are additionally compiled by the released binaries for tree, VM, kernel-object and user-object profiles.

60 compatibility and roots§

DByteOS proofs from v11 remain frozen compatibility inputs. Version 12 does not rename those milestones, rewrite their serial evidence or make the Rust Kernel Lab a runtime dependency. The complete native lineage remains under V11 LINEAGE, while the end-to-end relationship between hosted roots, the v12 semantic core and the machine lineage is mapped at ROOT MAP.

70 verification commands§

Get-FileHash .\dbyte-v12.0.0-windows-x64.zip -Algorithm SHA256
.\dbyte.exe --version
.\dbyte.exe run examples\hello.dby
.\dbyte.exe run --vm examples\hello.dby
.\dbyte.exe inspect source.dby --hir --generics --layout
.\dbytec.exe build source.dby --target i686-dbyte-none --emit obj -o source.o
objdump -f -h -t -r source.o

Artifact identity, deterministic output, semantic parity, native execution and negative-profile gates are separate claims. Passing one does not substitute for the others.

F0 deferred work§

NOT IN 12.0
  owned String / dynamic Array / collections
  allocator abstraction / automatic Drop
  heap or erased closures / runtime reflection
  concurrency / async I/O / package manager
  x86_64 Windows or Linux application targets
  new DByteOS subsystem after the v11.11 freeze

FF provenance§

The former DBYTE 11.10.1 RELEASE page is preserved as a historical artifact at /docs/archive/v11.10.1/release/. It is no longer presented by the unversioned current-release route.

Roadmap boundary§

Post-v12 work is tracked at ROADMAP. Proposed v12.1 runtime, v12.2 collections and v12.3 x86_64/Linux/Windows targets do not modify this frozen release contract.