LEGACY DOCS · 12.2Stable is 13.2. This page stays because it still owns historical or unchanged contracts.CURRENT 13.2 →
RELEASE LINE13.2 HISTORICAL13.1 PREDECESSOR13.0 PREVIOUS12.4 NATIVE MIRARCHIVE

LEGACY DOCS · 12.2

PAGE ROLE · NORMATIVE CONTRACT

AMD64 COFF + PE32+

RAW SOURCE · COFF_PE32_PLUS.md
SHA-256 · 95eeacad270fb6f89bd36b7d47b65218d087e90a9b4766df569c3a21641c7ea4

EXACT SOURCE NOTE: this package source retains (v12.2 draft) in the title while its Status: line declares the document a normative v12.2.0 release contract. The raw file is preserved byte-for-byte.

AMD64 COFF and PE32+ (v12.2 draft)§

Status: normative release contract for v12.2.0.

DByte writes and parses AMD64 COFF objects and creates PE32+ console images with its internal linker. Section ordering, timestamps, image layout, symbol resolution, imports, and IAT construction are deterministic. Malformed ranges, relocation overflow, duplicate or missing symbols, incompatible machine type, and mixed archive members fail transactionally.

The executable import boundary is exactly KERNEL32.dll. The versioned allowlist is ExitProcess, GetStdHandle, ReadFile, WriteFile, CloseHandle, VirtualAlloc, VirtualFree, and QueryPerformanceCounter. No CRT, Rust runtime, external linker, arbitrary DLL escape hatch, or unstable NT syscall number is part of the target.

Deterministic ar archives may contain canonical ELF32, ELF64, or AMD64 COFF members, but never mixed formats or targets. Extraction is symbol-driven and reaches a fixed point before the final link.