Linker internals
Validated objects and archives resolve through a deterministic symbol graph.
DByte 12.0 · Internals
Contract§
Non-loadable semantic metadata is checked and removed from executable images.
Mechanics§
The linker performs canonical section merge, symbol-table construction, archive fixed-point extraction, REL addend application and profile entry synthesis entirely in process.
Validation and failure§
It cross-validates semantic metadata before stripping it and rejects unsupported profiles or symbols. No external linker or generator token is accepted in proof paths.
Evidence and boundary§
Final symbol tables, zero relocations, Multiboot placement and runtime entry disassembly bind structure to execution.