DBYTE ROOT MAP
CURRENT PACKAGE 12.4.0 · NATIVE MACHINE CODE FOUNDATION. This page connects the complete language and machine lineage. It separates semantic authority, implementation path, execution proof and historical provenance so one green artifact cannot masquerade as proof of a different layer.
00 identity root§
DBYTE CLASS GENERAL-PURPOSE LANGUAGE WITH FREESTANDING PROFILES AUTHORITY TAGGED SOURCE + CANONICAL LANGUAGE CONTRACT HOSTED TREE INTERPRETER + BYTECODE VM NATIVE i686 ELF32 OBJECT / ARCHIVE / LINK / EXECUTION INTEROP i686 CDECL SUBSET SYSTEMS TYPED POINTERS / LAYOUTS / INTRINSICS / INTERRUPTS BARE METAL FROZEN DByteOS V11 PROOF LINEAGE USER MODE i686-dbyte-user + RING3 PROCESS FOUNDATION WEBSITE STATIC DELIVERY; NOT A SEMANTIC AUTHORITY
0A hosted language root§
The earliest DByte surface is still a supported compatibility root: local source files run through the tree interpreter or bytecode VM. Legacy str, list, bytes and buffer keep their hosted semantics; v12 does not silently reinterpret them as the new borrowed views. New APIs should instead use canonical slice[T], mut_slice[T] and StringView.
| Layer | Owns | Must not own | Primary page |
|---|---|---|---|
| LEXER/PARSER | Tokens, indentation, shared syntax tree. | Target layout or backend capability. | GRAMMAR |
| TREE ENGINE | Execution of already-resolved hosted operations. | A second type system. | BUILD/RUN/TEST |
| BYTECODE VM | Lowering concrete HIR to bytecode and VM execution. | Different v12 inference or erased ownership rules. | HOSTED LANGUAGE ARCHIVE |
| PARITY CORPUS | Value, output and runtime-error equivalence. | Native-only evidence substitution. | VERIFICATION |
10 canonical semantic root§
SHARED AST -> ModuleId / SymbolId / TypeId resolution -> generic capability checking -> ownership / borrow action annotation -> typed expressions, places and projections -> enum variant / field / closure identity -> explicit match / Result / defer control-flow -> concrete monomorphized HIR -> profile validation -> backend adapter
- Generics: symbolic bodies, inferred built-in capabilities and deterministic concrete specialization; no public trait syntax.
- Aggregates: named struct construction and target-driven declaration-order layout.
- Enums: u32 tag, declaration-order discriminant and aligned payload storage.
- Ownership: explicit Copy, Move, Borrow and BorrowMut actions with lexical lifetimes.
- Views: non-null pointer-length borrowed slices and immutable UTF-8 StringView.
- Callables: DByte/C conventions, function values and explicit source-order closure environments.
- Cleanup: defer becomes explicit LIFO edges for all lexical exits; no runtime unwind stack.
[HIR] [MONOMORPHIZATION] [OWNERSHIP] [RESULT] [DEFER]
20 toolchain root§
| Stage | Input | Output | Invariant |
|---|---|---|---|
| ANALYZE | Canonical local project graph | Typed executable HIR | Deterministic IDs and diagnostics. |
| MONOMORPHIZE | Generic HIR + roots | Concrete instances | No open generic reaches a backend. |
| NATIVE ADAPTER | Concrete HIR | Typed systems IR | Representation conversion only; no semantic re-check. |
| ENCODER | Validated systems IR | i686 bytes/fixups | Operand and capacity checked before mutation. |
| OBJECT WRITER | Sections/symbols/fixups | ELF32 ET_REL | Canonical section and symbol ordering. |
| ARCHIVE WRITER | Objects | Unix ar | Normalized metadata and fixed symbol index. |
| LINKER | Objects/archives | ELF32 ET_EXEC/BIN | Validated resolution and transactional output. |
RELOCATION CONTRACT R_386_PC32 cross-object function / PC-relative reference R_386_32 absolute data / address reference FINAL IMAGE zero unresolved relocations, no PT_INTERP, no dynamic runtime
[OBJECTS] [ARCHIVES] [LINKER] [INSPECT] [C ABI]
30 native machine root§
The native-machine table begins at v11 because that is where DByte first emitted the freestanding machine code itself. The language did not begin there: the complete hosted, interactive, workspace and Rust-oracle lineage from v1.0.0 onward is preserved in V0 → V12 HISTORY, backed by an exhaustive 333 TAG LEDGER.
| Version | Ownership gained | Executed proof | Reference |
|---|---|---|---|
| 11.0 | Native machine-code generation | DByte bytes boot and print through serial. | NATIVE TOOLCHAIN |
| 11.1 | Objects, relocations, linker, systems types | Cross-object calls and data relocation in DByte-linked ELF. | OBJECTS + LINK |
| 11.2 | CPU interrupts and timer | GDT/IDT/PIC/PIT, IRQ0, EOI and repeated IRETD return. | KERNEL CORE |
| 11.3 | Physical memory and paging | Multiboot map, frames, CR3/CR0.PG and real map-and-retry #PF. | MEMORY |
| 11.4 | Dynamic kernel memory | Virtual arena, checked heap, page growth, decommit and frame reuse. | RUNTIME |
| 11.5 | Preemptive execution | IRQ0 context switches between non-yielding tasks and reclaims stacks. | SCHEDULER |
| 11.6 | Sleep and blocking | Non-spinning deadlines, FIFO event wake and lifecycle cleanup. | BLOCKING |
| 11.7 | Interrupt-driven input | IRQ1 byte ring, semaphore wake and exact raw scancode FIFO. | IRQ I/O |
| 11.8 | Block-device completion | ATA IDENTIFY, LBA28 PIO, IRQ14 read/write and host sector validation. | ATA |
| 11.9 | Persistent disk ownership | DBFS1 format/write, second-boot mount/read and independent host parse. | DBFS1 |
| 11.10 | Filesystem runtime | Directories, handles, seek, cache collision and three-boot state. | FS RUNTIME |
| 11.10.1 | Native intrinsic boundary patch | Frozen artifact and intrinsic evidence; not current release. | ARCHIVE |
| 11.11 | User-process execution | Private CR3, Ring3, INT 0x80, worker I/O and fault containment. | USER PROCESS |
| 12.0 | General-purpose semantic ownership | Canonical HIR parity plus generic, enum, ownership, closure, defer and C ABI execution. | LANGUAGE BASE |
| 12.1 | Owned runtime foundation | Allocator capability, Drop, Array and owned UTF-8 String. | RUNTIME |
| 12.2 | Modern native foundation | DBYTE64, ELF64, Linux, AMD64 COFF and PE32+ targets. | NATIVE |
| 12.3 | VM and collections foundation | Flat bytecode execution, explicit frame stack and first-party owned collections. | CURRENT |
40 DByteOS root§
MULTIBOOT ENTRY -> SERIAL + GDT + IDT -> PIC / PIT / IRQ0 -> PHYSICAL FRAMES + PAGING -> VIRTUAL ARENA + KERNEL HEAP -> PREEMPTIVE TASKS -> SLEEP / EVENT / SEMAPHORE -> IRQ1 KEYBOARD RING -> IRQ14 ATA BLOCK I/O -> DBFS1 PERSISTENT FILESYSTEM -> PATHS / HANDLES / CACHE -> TSS / PRIVATE CR3 / RING3 -> INT 0x80 / FILESYSTEM WORKER -> EXIT + FAULT RECLAIM
The DByteOS chain is proof that the native profile reaches hardware ownership. It is not a separate semantic dialect, and the separate Rust Kernel Lab remains an oracle rather than a hidden runtime dependency.
[DBYTEOS] [RUST ORACLE] [INTERRUPTS] [EXCEPTIONS] [QEMU]
50 evidence root§
| Evidence class | What it proves | What it does not prove alone |
|---|---|---|
| SOURCE GATE | No forbidden fallback, polling, literal or external tool token. | That generated bytes execute. |
| UNIT · ADVERSARIAL | Boundaries, malformed inputs, deterministic diagnostics and transactions. | Hardware behavior. |
| OBJECT INSPECTION | ELF class/machine/type, symbols, sections and relocations. | Correct guest control flow. |
| DISASSEMBLY | Required instruction bytes, ABI sequences and absence of shims. | That devices delivered interrupts. |
| QEMU SERIAL | Bounded generated guest reached acceptance states. | Every structural invariant unless paired with trace. |
| QEMU TRACE | Real vectors, CPL transitions, faults and absence of triple fault. | Persistent disk layout by itself. |
| HOST PARSER · HASH | Deterministic artifacts, disk state and independent on-disk validation. | Guest-only timing semantics. |
Release acceptance combines these evidence classes. Exact serial, relocation counts, interrupt/EOI equality, host disk inspection and clean process state are retained as distinct invariants.
60 boundary root§
V12.0 DOES NOT CLAIM owned String / dynamic Array / collection library allocator abstraction / automatic Drop heap closure / dynamic dispatch / reflection package manager / registry / lockfile x86_64 desktop application targets concurrency / async runtime new post-v11.11 DByteOS subsystem V11 DOES NOT CLAIM SMP / PAE / hardware NX userspace before 11.11 VFS / journaling / general driver framework production security certification
Read BOUNDARIES + NONCLAIMS before using a milestone page as an architectural promise.
FF read path§
NEW USER HISTORY -> RELEASE -> INSTALL -> FIRST PROGRAM -> LANGUAGE CONTRACT LANGUAGE IMPLEMENTER GRAMMAR -> TYPES/LAYOUT -> HIR -> MONOMORPHIZATION -> TARGET MATRIX TOOLCHAIN IMPLEMENTER OBJECTS -> ARCHIVES -> LINKER -> DBYTE32 -> C ABI -> INSPECT KERNEL READER V11 LINEAGE -> CORE -> MEMORY -> RUNTIME -> SCHEDULER -> I/O -> FS -> USER PROCESS AUDITOR TAG LEDGER -> RELEASE IDENTITY -> SOURCE MIRRORS -> FIXTURES -> OBJECTS -> QEMU -> HOST INSPECTION -> BOUNDARIES
Roadmap boundary§
v12.3.0 is current. Older roadmap pages remain historical planning evidence. Future work stays unversioned until a new release contract assigns it.