Targets
Hosted, VM, i686-dbyte-none, and i686-dbyte-user consume the same canonical semantics.
DByte 12.0 · Toolchain
Contract§
Profile validation only rejects unavailable capabilities.
Mechanics§
Profiles select available capabilities after shared analysis: hosted tree, hosted VM, i686 freestanding/kernel and i686 user. The same TypeId never changes meaning merely because a profile changes.
Validation and failure§
Kernel-only interrupts/native operations and user-only syscall intrinsics are rejected outside their profiles. Kernel and user objects cannot be linked together.
Evidence and boundary§
The verifier compiles the v12 corpus for both i686 profiles and includes negative cases for forbidden constructs.