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

V12.0 BASE CONTRACT

Inspect

Inspect HIR, generics, layouts, symbols, relocations, and disassembly.

DByte 12.0 · Toolchain

Contract§

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

Mechanics§

Source inspection exposes canonical HIR, generic instances and target layout. Artifact inspection exposes symbols, relocations and decoded machine code without modifying the input.

Validation and failure§

Inspection still validates the selected parser. A malformed ELF or archive produces a diagnostic rather than best-effort invented structure.

Evidence and boundary§

Use inspect snapshots for semantic identity and objdump as an independent binary view; agreement across both is stronger than either alone.