| 🟢 |
D001 |
Rust
as the implementation language |
decided |
2026-08-19 |
| 🟢 |
D002 |
Edition
2024, with a pinned build toolchain |
decided |
2026-08-19 |
| 🟢 |
D003 |
Permissive
licence and permissive dependencies |
decided |
2026-09-26 |
| 🟢 |
D004 |
Crates on a
dependency spine |
decided |
2026-09-26 |
| 🟢 |
D005 |
Interception
is linking, not hooking |
decided |
2026-08-19 |
| 🟢 |
D007 |
Symbol
databases store names, not NIDs |
decided |
2026-08-19 |
| 🟢 |
D008 |
Unimplemented
stubs refuse by default |
decided |
2026-08-19 |
| 🟢 |
D009 |
Placeholder
error codes avoid the high bit |
decided |
2026-08-19 |
| 🟢 |
D010 |
Honest
failure over plausible output |
decided |
2026-08-19 |
| 🟢 |
D011 |
No
unsafe in the container parser |
decided |
2026-08-19 |
| 🟢 |
D014 |
Provenance
gate in CI and the pre-push hook |
decided |
2026-09-26 |
| 🟢 |
D016 |
Validation
separated from effects |
decided |
2026-08-19 |
| 🟢 |
D017 |
Handles
are per subsystem and never recycled |
decided |
2026-08-19 |
| 🟢 |
D018 |
Guest
call recording is allocation-free and attributed |
decided |
2026-09-26 |
| 🟢 |
D023 |
Release
profile favours speed, with debug info |
decided |
2026-08-19 |
| 🟢 |
D027 |
Windows
is the primary host; Unix is verified in a VM |
decided |
2026-08-19 |
| 🟢 |
D028 |
No
urgency; take the highest-payoff path |
decided |
2026-08-19 |
| 🟢 |
D029 |
Backends
are abstracted at guest semantics |
decided |
2026-08-19 |
| 🟢 |
D030 |
Backend
seams are enforced by crate boundaries |
decided |
2026-08-19 |
| 🟢 |
D031 |
No
execution backend or container plugin layer |
decided |
2026-08-19 |
| 🟢 |
D032 |
The
guest runs in a child process |
decided |
2026-09-26 |
| 🟢 |
D033 |
Worker
mode is self-reinvocation |
decided |
2026-09-26 |
| 🟢 |
D034 |
Shims hold no
logic |
decided |
2026-09-26 |
| 🟢 |
D035 |
The
worker protocol is serialisable data |
decided |
2026-08-19 |
| 🟢 |
D038 |
Portable
mode and the data root |
decided |
2026-09-26 |
| 🟢 |
D039 |
TOML
for people, JSON for data, no database |
decided |
2026-09-26 |
| 🟢 |
D042 |
The
corpus is a pinned manifest |
decided |
2026-09-26 |
| 🟢 |
D046 |
Three
observability channels |
decided |
2026-08-19 |
| 🟢 |
D048 |
Per-title
files, merged per key |
decided |
2026-09-26 |
| 🟢 |
D049 |
The ELF
sits inside a wrapper |
decided |
2026-09-26 |
| 🟢 |
D051 |
Fixtures
are generated, never extracted |
decided |
2026-09-26 |
| 🟢 |
D054 |
Distribution
containers are never read |
decided |
2026-08-19 |
| 🟢 |
D062 |
One stub per
import |
decided |
2026-08-19 |
| 🟢 |
D063 |
Guest
code runs on its own guarded stack |
decided |
2026-08-19 |
| 🟢 |
D068 |
Names are
generated and proved |
decided |
2026-09-26 |
| 🟢 |
D071 |
The
hash suffix ships as a data file |
decided |
2026-09-26 |
| 🟢 |
D082 |
Implementations
bind to stub indices at load |
decided |
2026-08-19 |
| 🟢 |
D085 |
Shader tables are
data |
decided |
2026-09-26 |
| 🟢 |
D086 |
Blockers
ranked by effort, then shaders blocked |
decided |
2026-08-20 |
| 🟡 |
D087 |
Decoding
reports rather than fails |
assumed |
2026-08-19 |
| 🟡 |
D088 |
The
shader corpus is content-addressed |
assumed |
2026-08-19 |
| 🟢 |
D097 |
Operand
fields are solved from assembled probes |
decided |
2026-09-26 |
| 🟢 |
D098 |
Predicated
translation in a dispatch loop |
decided |
2026-09-26 |
| 🟢 |
D099 |
Translated
shaders are executed on a device |
decided |
2026-09-26 |
| 🟢 |
D100 |
Fidelity
levels are a differential oracle |
decided |
2026-09-26 |
| 🟢 |
D101 |
Guest
memory is a separate binding |
decided |
2026-09-26 |
| 🟢 |
D103 |
The
builder checks identifiers, not validity |
decided |
2026-09-26 |
| 🟢 |
D104 |
Blocked
instructions name their dependency |
decided |
2026-08-20 |
| 🟢 |
D106 |
Auto
fidelity reads the shader and warns |
decided |
2026-08-20 |
| 🟢 |
D112 |
The GPU
is driven by submissions |
decided |
2026-09-26 |
| 🟡 |
D113 |
Translations
cached by content |
assumed |
2026-09-26 |
| 🟢 |
D122 |
Knowledge
is a file the loop writes |
decided |
2026-08-20 |
| 🟡 |
D123 |
An
opcode with no shape row is an error |
assumed |
2026-09-26 |
| 🟢 |
D125 |
Pointer-returning
stubs answer null |
decided |
2026-08-20 |
| 🟢 |
D126 |
The
standard word list is harvested from FreeBSD |
decided |
2026-09-26 |
| 🟢 |
D128 |
The
guest heap is the host allocator |
decided |
2026-09-26 |
| 🟢 |
D129 |
Two progress
signals |
decided |
2026-09-26 |
| 🟡 |
D130 |
GPU
addresses equal guest addresses, by assumption |
assumed |
2026-09-26 |
| 🟡 |
D131 |
A
capture pairs a call with its bytes |
assumed |
2026-09-26 |
| 🟢 |
D139 |
The
shader target is RDNA2, keyed by name |
decided |
2026-09-26 |
| 🟢 |
D145 |
Wavefront
width is supplied, not inferred |
decided |
2026-09-26 |
| 🟢 |
D147 |
Unaddressable
descriptors are forced out of bounds |
decided |
2026-09-26 |
| 🟢 |
D150 |
Guest
threads and reported topology |
decided |
2026-08-20 |
| 🟢 |
D151 |
Handles
follow what the guest does with them |
decided |
2026-09-26 |
| 🟢 |
D156 |
Nothing
reachable from a guest call may panic |
decided |
2026-08-20 |
| 🟢 |
D159 |
Stack
alignment is measured, never forced |
decided |
2026-08-20 |
| 🟢 |
D161 |
The GUI is
egui on eframe |
decided |
2026-09-26 |
| 🟢 |
D162 |
No
control without something behind it |
decided |
2026-09-26 |
| 🟢 |
D166 |
Stub answer
precedence |
decided |
2026-09-26 |
| 🟢 |
D170 |
Guest
standard output goes to host stderr |
decided |
2026-09-26 |
| 🟢 |
D171 |
Out-parameters
are always written |
decided |
2026-08-21 |
| 🟢 |
D177 |
A
guest stop is its own run outcome |
decided |
2026-08-21 |
| 🟢 |
D179 |
Runs
produce ranked findings |
decided |
2026-09-26 |
| 🟢 |
D180 |
Behaviour
records how it is known |
decided |
2026-08-21 |
| 🟢 |
D181 |
A run
records its conditions |
decided |
2026-08-21 |
| 🟢 |
D182 |
The
compatibility record is derived from runs |
decided |
2026-08-21 |
| 🟢 |
D183 |
Formatting is
complete or empty |
decided |
2026-08-21 |
| 🟢 |
D184 |
Instrumentation
is tested by golden output |
decided |
2026-08-21 |
| 🟢 |
D188 |
The
shipped symbol database loads by default |
decided |
2026-08-21 |
| 🟢 |
D194 |
Argument
dumps are bounded and taken at call time |
decided |
2026-08-22 |
| 🟢 |
D195 |
Confirmed
names widen the grammar |
decided |
2026-09-26 |
| 🟢 |
D206 |
Vendor
documentation is used freely |
decided |
2026-09-26 |
| 🟢 |
D207 |
orbistoun
implements obSCEne's protocol |
decided |
2026-09-26 |
| 🟢 |
D209 |
Table
generators replay a committed recording |
decided |
2026-08-24 |
| 🟢 |
D212 |
The
language-model service knows nothing of orbistoun |
decided |
2026-08-24 |
| 🟢 |
D213 |
Name
provenance records proposal and reproducibility |
decided |
2026-09-26 |
| 🟢 |
D214 |
Proposers
pair with an oracle and ask for words |
decided |
2026-08-24 |
| 🟢 |
D219 |
The
inference runtime is downloaded |
decided |
2026-08-24 |
| 🟢 |
D221 |
Environment
variables are declared in one crate |
decided |
2026-09-26 |
| 🟢 |
D222 |
A build names
its commit |
decided |
2026-08-24 |
| 🟢 |
D225 |
Probe
answers are returned unless they are handles |
decided |
2026-08-24 |
| 🟢 |
D227 |
Diagnostics
that intervene say so at the verdict |
decided |
2026-09-26 |
| 🟢 |
D231 |
The
loop dispatches rather than chooses |
decided |
2026-08-25 |
| 🟢 |
D238 |
A call
budget, with the clock as backstop |
decided |
2026-09-26 |
| 🟢 |
D242 |
A
name enters only if this repository re-derives it |
decided |
2026-09-26 |
| 🟢 |
D246 |
Only
the target may source a name |
decided |
2026-08-25 |
| 🟢 |
D247 |
Dynamic
tables are read through the vendor tags |
decided |
2026-08-25 |
| 🟢 |
D250 |
Guest
writes land in /data, never /app0 |
decided |
2026-09-26 |
| 🟢 |
D251 |
The
guest filesystem is a manifest with per-title layers |
decided |
2026-09-26 |
| 🟢 |
D256 |
A failed
trylock reports busy |
decided |
2026-08-25 |
| 🟢 |
D265 |
A
language model proposes names, in its own binary |
decided |
2026-08-25 |
| 🟢 |
D268 |
Floating-point
arguments cross the trampoline in xmm registers |
decided |
2026-08-25 |
| 🟢 |
D272 |
Out-parameters
are written at their declared width |
decided |
2026-08-25 |
| 🟡 |
D273 |
A
failed descriptor, count or offset answers -1 |
assumed |
2026-09-26 |
| 🟢 |
D274 |
Guest
callbacks are called with the System V convention |
decided |
2026-08-25 |
| 🟡 |
D275 |
The
time-stamp counter runs at a nominal gigahertz |
assumed |
2026-08-25 |
| 🟢 |
D276 |
Snapshot
and watchpoint are separate diagnostics |
decided |
2026-09-26 |
| 🟢 |
D279 |
The
provenance size guard fails binary files only |
decided |
2026-08-25 |
| 🟢 |
D286 |
The
argument sweep crosses each slot with a success return |
decided |
2026-08-26 |
| 🟢 |
D288 |
Environment
variables are named from one registry |
decided |
2026-08-26 |
| 🟢 |
D289 |
A
turn takes every step that needs no decision |
decided |
2026-08-26 |
| 🟢 |
D291 |
A
sweep finding becomes a record with its assumptions |
decided |
2026-08-26 |
| 🟢 |
D292 |
The
knowledge merge rule lives in orbistoun-hle |
decided |
2026-08-26 |
| 🟢 |
D293 |
The
turn dispatcher is separate from the naming model |
decided |
2026-08-26 |
| 🟢 |
D296 |
Automatic
fixes are data, and writes need a conformance check |
decided |
2026-08-26 |
| 🟢 |
D297 |
Learned
policy is a file of measurements |
decided |
2026-09-26 |
| 🟢 |
D299 |
The
placeholder producer is found by sweeping zero answers |
decided |
2026-08-26 |
| 🟢 |
D300 |
A
stub region states how its base arrives |
decided |
2026-09-26 |
| 🟢 |
D301 |
A
reach verdict never orders a missing fault |
decided |
2026-09-26 |
| 🟢 |
D303 |
The
title corpus and the probe are the acceptance oracle |
decided |
2026-09-26 |
| 🟢 |
D305 |
A
plain symbol name is hashed into a NID |
decided |
2026-08-26 |
| 🟢 |
D307 |
Import
kind is read from the symbol type |
decided |
2026-08-26 |
| 🟢 |
D310 |
The
worker reads requests on its own thread |
decided |
2026-08-27 |
| 🟢 |
D311 |
Shell
events carry meanings, and codes ship empty |
decided |
2026-08-27 |
| 🟢 |
D312 |
A
compatibility record keeps status and experiment apart |
decided |
2026-08-27 |
| 🟢 |
D314 |
A
launch argument beats the stored view |
decided |
2026-08-27 |
| 🟢 |
D315 |
A
submission carries measurements and title results only |
decided |
2026-08-27 |
| 🟢 |
D316 |
Decision
numbers are reserved under a lock |
decided |
2026-08-27 |
| 🟢 |
D319 |
A
scoped gate scopes only the cargo steps |
decided |
2026-08-27 |
| 🟢 |
D322 |
Generated
patches are inert until promoted |
decided |
2026-09-26 |
| 🟢 |
D323 |
Each
data import gets its own zeroed page |
decided |
2026-09-26 |
| 🟢 |
D324 |
Tests
never choose shared resources by hand |
decided |
2026-09-26 |
| 🟢 |
D325 |
A
memory fill reports what it filled |
decided |
2026-09-26 |
| 🟢 |
D326 |
The window
owns host input |
decided |
2026-08-27 |
| 🟢 |
D327 |
The
shell lays out categories in a row and items in a column |
decided |
2026-08-27 |
| 🟢 |
D330 |
The
learned vocabulary has a cost ceiling |
decided |
2026-09-26 |
| 🟢 |
D333 |
The
command-line engine reads its prompt from standard input |
decided |
2026-08-27 |
| 🟢 |
D334 |
Engines
are ranked by novel words on the real prompt |
decided |
2026-09-26 |
| 🟢 |
D340 |
Both
pad spellings are declared with one implementation |
decided |
2026-08-27 |
| 🟢 |
D341 |
Keyboard
sticks are eight named pushes that sum |
decided |
2026-08-27 |
| 🟢 |
D342 |
A
grammar shape is disabled with a reason |
decided |
2026-08-27 |
| 🟢 |
D343 |
Entry
at an image offset is a diagnostic |
decided |
2026-08-27 |
| 🟢 |
D344 |
Guest
threads park at the trampoline |
decided |
2026-08-27 |
| 🟢 |
D345 |
Pad
input crosses to the worker as a level |
decided |
2026-08-27 |
| 🟢 |
D346 |
Platform
users are a list, and names reach the guest |
decided |
2026-08-27 |
| 🟢 |
D349 |
POSIX
spellings delegate to the vendor implementations |
decided |
2026-09-26 |
| 🟢 |
D350 |
sysctl
refuses an unknown MIB with the documented failure |
decided |
2026-08-27 |
| 🟢 |
D351 |
A
sweep on a guest that never faults judges by reach |
decided |
2026-08-27 |
| 🟢 |
D352 |
ABI
constants are harvested from FreeBSD headers |
decided |
2026-09-26 |
| 🟢 |
D355 |
A
turn always writes its proposals |
decided |
2026-08-27 |
| 🟢 |
D356 |
A
turn asks labelled open questions |
decided |
2026-08-27 |
| 🟢 |
D357 |
An
experiment declares how its result is read |
decided |
2026-09-26 |
| 🟢 |
D364 |
A
va_list is read as a cursor and never written back |
decided |
2026-08-29 |
| 🟢 |
D365 |
The
payload handoff block gives the resolver and marks the rest |
decided |
2026-09-26 |
| 🟢 |
D366 |
Name
resolution answers with the import stub |
decided |
2026-08-29 |
| 🟢 |
D367 |
A
symbol is declared where it is imported |
decided |
2026-08-29 |
| 🟢 |
D370 |
A
hardcoded constant is checked where the table is |
decided |
2026-08-29 |
| 🟢 |
D371 |
Files
and sockets share one descriptor table |
decided |
2026-08-29 |
| 🟢 |
D373 |
select
never consumes, and accept never waits holding the table |
decided |
2026-08-29 |
| 🟡 |
D374 |
stat
and dirent use the FreeBSD 11 layout |
assumed |
2026-08-29 |
| 🟢 |
D375 |
The
payload SDK is a build tool, never a source |
decided |
2026-08-29 |
| 🟡 |
D376 |
Runtime-global
resolution by guest symbol name |
assumed |
2026-08-29 |
| 🟢 |
D377 |
Syscall-gadget
stubs capture the full register set |
decided |
2026-08-29 |
| 🟢 |
D378 |
Guest
syscalls dispatch through a harvested number table |
decided |
2026-08-29 |
| 🟢 |
D379 |
Diagnostics
use the guest's own call total, not its import count |
decided |
2026-08-29 |
| 🟢 |
D380 |
A
fault in this project's own code names the nearest
implementation |
decided |
2026-08-29 |
| 🟢 |
D381 |
The
syscall dispatch path must not allocate, print, or lock |
decided |
2026-08-29 |
| 🟢 |
D383 |
A
zero-sized allocation returns a unique pointer, not null |
decided |
2026-08-29 |
| 🟢 |
D384 |
The
dispatch boundary does not assume the guest's stack alignment |
decided |
2026-08-30 |
| 🟢 |
D385 |
A
constant harvester reports every name it declines to keep |
decided |
2026-08-30 |
| 🟢 |
D387 |
A
diagnostic instrument only covers memory a run has published |
decided |
2026-08-30 |
| 🟢 |
D388 |
Guest
syscalls are recorded in order, not as a presence bitmap |
decided |
2026-08-30 |
| 🟡 |
D389 |
The
kernel log device is fed from this project's own reporting |
assumed |
2026-08-30 |
| 🟡 |
D390 |
An
undocumented handoff field's use is probed one field per run |
assumed |
2026-08-30 |
| 🟡 |
D392 |
Symbol
resolution can refuse names this project cannot derive |
assumed |
2026-08-30 |
| 🟢 |
D393 |
Machine-identity
queries are tested as one family |
decided |
2026-08-30 |
| 🟢 |
D394 |
The
presented machine is one setting |
decided |
2026-08-30 |
| 🟢 |
D395 |
An
undocumented out-parameter is refused, or measured, never
invented |
decided |
2026-08-30 |
| 🟢 |
D396 |
Kernel-boundary
log lines are written when the event happens |
decided |
2026-08-30 |
| 🟢 |
D397 |
An
unset kernel release string refuses rather than answers a guess |
decided |
2026-08-30 |
| 🟢 |
D398 |
Guest-visible
error codes use the platform's own encoding |
decided |
2026-08-30 |
| 🟢 |
D399 |
A
diagnostic that varies an entry condition must declare which
one |
decided |
2026-08-30 |
| 🟢 |
D400 |
Every
guest-facing stub carries a syscall entry at a fixed offset |
decided |
2026-08-30 |
| 🟢 |
D401 |
Direct
syscalls are tracked separately, ranked by run count |
decided |
2026-08-30 |
| 🟢 |
D403 |
The
system-version value a guest reads is a per-machine setting |
decided |
2026-08-30 |
| 🟡 |
D404 |
Unmodeled
firmware-offset addresses land in a named region |
assumed |
2026-08-30 |
| 🟡 |
D406 |
A
firmware memory model is a separate crate from the named
interface |
assumed |
2026-08-30 |
| 🟢 |
D407 |
A
presented firmware places exports at base plus measured offset |
decided |
2026-08-30 |
| 🟢 |
D408 |
Unmodeled
firmware handoff fields are zero, not markers |
decided |
2026-08-31 |
| 🟡 |
D414 |
The
test corpus is a manifest-driven fetch tool |
assumed |
2026-08-31 |
| 🟡 |
D415 |
The
compatibility table is generated from the recorded runs |
assumed |
2026-08-31 |
| 🟡 |
D421 |
The
software version is a profile field, not a kernel constant |
assumed |
2026-08-31 |
| 🟢 |
D422 |
A
title's writable device paths are modeled as a per-title sandbox, not a
special case |
decided |
2026-08-31 |
| 🟢 |
D423 |
Establishing
a title's sandbox is one call in the filesystem crate |
decided |
2026-08-31 |
| 🟡 |
D424 |
A flip
completes the instant it is submitted |
assumed |
2026-08-31 |
| 🟡 |
D425 |
The display
presents a fixed 1080p resolution |
assumed |
2026-08-31 |
| 🟢 |
D426 |
Video-out
answers its own error family, and refuses a second open of a held
output |
decided |
2026-09-01 |
| 🟢 |
D427 |
The
GPU command builders and the packet walker share one packet
format |
decided |
2026-09-01 |
| 🟢 |
D428 |
Loading
a system module always succeeds |
decided |
2026-09-01 |
| 🟢 |
D430 |
A library-call
handler re-enters guest code on a dedicated stack, on the calling
thread |
decided |
2026-09-01 |
| 🟡 |
D431 |
Guest
mutexes and condition variables from the C runtime allow recursion by
default |
assumed |
2026-09-01 |
| 🟢 |
D432 |
A
fault report reads the faulting instruction's bytes from the loaded
image |
decided |
2026-09-01 |
| 🟢 |
D433 |
Guest
thread-local storage is variant-II, self-pointer at the thread
pointer |
decided |
2026-09-01 |
| 🟢 |
D434 |
A
fault-triggered backstop re-installs the guest thread pointer when the
host has cleared it |
decided |
2026-09-01 |
| 🟢 |
D435 |
A
newly created user-level thread is recorded, not run |
decided |
2026-09-01 |
| 🟡 |
D436 |
An
unresolved title wall is escalated to a hardware measurement, never
guessed |
assumed |
2026-09-01 |
| 🟢 |
D437 |
The
direct-memory map never hands a guest physical address zero |
decided |
2026-09-01 |
| 🟢 |
D443 |
Orbistoun's
own fixed address regions stay clear of addresses a guest's own
allocator computes |
decided |
2026-09-01 |
| 🟢 |
D444 |
Flexible
memory is a separate budget from the direct-memory pool |
decided |
2026-09-01 |
| 🟢 |
D445 |
The
guest stack carries a mapped, readable guard above its top |
decided |
2026-09-01 |
| 🟢 |
D446 |
A
virtual-address query consults every region a guest can legitimately
read, not only the runtime map |
decided |
2026-09-01 |
| 🟢 |
D447 |
A
system knob is answered only from a source this project can
cite |
decided |
2026-09-01 |
| 🟡 |
D451 |
A
guest's arena-scoped allocator shares this project's one heap, the arena
handle unused |
assumed |
2026-09-01 |
| 🟡 |
D452 |
A
thread's platform-visible identifier is its handle in the thread
registry |
assumed |
2026-09-01 |
| 🟢 |
D453 |
A
thread-specific-data key's value lives in a per-thread table, its
destructor unused |
decided |
2026-09-01 |
| 🟡 |
D454 |
Guest local time
is presented as UTC |
assumed |
2026-09-01 |
| 🟢 |
D456 |
A
fault report distinguishes the emulator's own bugs from the guest's, and
names a trap instruction |
decided |
2026-09-01 |
| 🟢 |
D457 |
A
fault report names the register most likely holding the null base of the
access |
decided |
2026-09-01 |
| 🟢 |
D458 |
A
one-shot instruction breakpoint captures a function's arguments at
entry |
decided |
2026-09-01 |
| 🟢 |
D459 |
A call
trace records what an answer was, not only what was asked |
decided |
2026-09-01 |
| 🟢 |
D460 |
Mapping
direct memory into a range a guest already reserved commits into it, it
does not reserve again |
decided |
2026-09-01 |
| 🟡 |
D461 |
std::random_device
is deterministic |
assumed |
2026-09-01 |
| 🟢 |
D463 |
The
guest mapping arena sits clear of the thunk data blocks |
decided |
2026-09-01 |
| 🟢 |
D466 |
Narrow
typed-buffer formats decode through a dedicated packed path |
decided |
2026-09-02 |
| 🟡 |
D467 |
A
packed half-float widens through the driver's own conversion |
assumed |
2026-09-02 |
| 🟢 |
D470 |
A
run that wrote no trace reports nothing |
decided |
2026-09-02 |
| 🟢 |
D471 |
The
fault reporter verifies a page is readable before reading it |
decided |
2026-09-02 |
| 🟢 |
D472 |
Missing
imports are triaged by where their semantics come from |
decided |
2026-09-02 |
| 🟡 |
D473 |
A C++
throw with no unwinder is a named stop, not a return |
assumed |
2026-09-02 |
| 🟢 |
D474 |
Implemented
and finished are recorded as separate states |
decided |
2026-09-02 |
| 🟡 |
D475 |
A
prefixed export delegates to its unprefixed twin |
assumed |
2026-09-02 |
| 🟡 |
D476 |
The
errno table carries a published tier alongside its measured one |
assumed |
2026-09-02 |
| 🟡 |
D478 |
A
differential result is its own knowledge tier |
assumed |
2026-09-02 |
| 🟢 |
D479 |
A
differential runs against whichever reachable implementation is
published |
decided |
2026-09-02 |
| 🟢 |
D481 |
A
measured value that is not a property of the interface is opaque, not
queued |
decided |
2026-09-02 |
| 🟢 |
D482 |
A
title's own module is found by the name that imports it |
decided |
2026-09-03 |
| 🟢 |
D483 |
An
import binds by library identity and hash together |
decided |
2026-09-03 |
| 🟢 |
D484 |
One
stub table spans every loaded module |
decided |
2026-09-03 |
| 🟢 |
D485 |
A
measured value earns a constant claim only across repeated
agreement |
decided |
2026-09-03 |
| 🟢 |
D486 |
A
measured register's configuration is reproduced, its status is
not |
decided |
2026-09-03 |
| 🟢 |
D488 |
The
title-module base sits clear of the guest's own heap arena |
decided |
2026-09-03 |
| 🟢 |
D489 |
A
placed module must be bound, protected and registered before it
runs |
decided |
2026-09-03 |
| 🟢 |
D490 |
A
shared stub table needs call labels built per module |
decided |
2026-09-03 |
| 🟢 |
D504 |
Declared
names come from real import tables |
decided |
2026-09-03 |
| 🟢 |
D505 |
The
declared surface is what guests import |
decided |
2026-09-03 |
| 🟢 |
D513 |
Invented
region bases and the address map |
decided |
2026-09-26 |
| 🟢 |
D515 |
A
module starts when the guest starts it |
decided |
2026-09-03 |
| 🟢 |
D516 |
A flip
completes when it is accepted |
decided |
2026-09-03 |
| 🟢 |
D517 |
dlsym
searches implementations, then guest exports |
decided |
2026-09-03 |
| 🟢 |
D523 |
Scheduling
requests are accepted, not applied |
decided |
2026-09-26 |
| 🟢 |
D524 |
Kernel
handles come from a table |
decided |
2026-09-26 |
| 🟢 |
D525 |
Vendor
and POSIX twins differ only on failure |
decided |
2026-09-03 |
| 🟢 |
D533 |
The
differential compares only specified results |
decided |
2026-09-04 |
| 🟢 |
D536 |
Shared
platform facts live in orbistoun-hle |
decided |
2026-09-04 |
| 🟢 |
D538 |
Premises
group by exact wording |
decided |
2026-09-04 |
| 🟢 |
D545 |
Measured
relations are asserted as properties |
decided |
2026-09-04 |
| 🟢 |
D549 |
A
harness is proven before translation targets it |
decided |
2026-09-04 |
| 🟢 |
D553 |
An
export writes a fragment output variable |
decided |
2026-09-04 |
| 🟡 |
D555 |
Both
interpolation halves answer the whole value |
assumed |
2026-09-04 |
| 🟡 |
D557 |
A prop
is decided by provenance |
assumed |
2026-09-04 |
| 🟢 |
D558 |
Flipped
is a reach rung, and frames rank below imports |
decided |
2026-09-04 |
| 🟡 |
D560 |
An
event queue wait never blocks |
assumed |
2026-09-04 |
| 🟢 |
D563 |
Runs
rank by answered imports, through one key |
decided |
2026-09-04 |
| 🟢 |
D567 |
Placeholder
tagging is opt-in |
decided |
2026-09-04 |
| 🟢 |
D571 |
The
call ring is circular, with a separate opening record |
decided |
2026-09-04 |
| 🟡 |
D573 |
Address
waits follow the umtx contract |
assumed |
2026-09-07 |
| 🟢 |
D577 |
Protection
changes within one placed region |
decided |
2026-09-07 |
| 🟢 |
D578 |
Random
devices serve a deterministic stream |
decided |
2026-09-07 |
| 🟢 |
D582 |
The guest
clock is logical by default |
decided |
2026-09-08 |
| 🟢 |
D583 |
A
turn checks that a run repeats first |
decided |
2026-09-08 |
| 🟢 |
D584 |
Guest-visible
blocks come from one fixed region |
decided |
2026-09-26 |
| 🟢 |
D588 |
Guest
write access implies read |
decided |
2026-09-08 |
| 🟡 |
D606 |
Affixed
names are their own provenance tier |
assumed |
2026-09-08 |
| 🟢 |
D621 |
Per-thread
call attribution |
decided |
2026-09-26 |
| 🟢 |
D640 |
Imports
bind to title-shipped modules |
decided |
2026-09-26 |
| 🟢 |
D649 |
Unconfirmable
names are knowledge, not symbols |
decided |
2026-09-09 |
| 🟢 |
D652 |
Signals
delivered into owned waits |
decided |
2026-09-09 |
| 🟢 |
D653 |
A
second ELF reader as a differential |
decided |
2026-09-09 |
| 🟢 |
D658 |
Guest
output captured at the platform ABI |
decided |
2026-09-09 |
| 🟡 |
D660 |
Generated title
pages |
assumed |
2026-09-09 |
| 🟢 |
D661 |
Titles,
payloads and packages roots |
decided |
2026-09-09 |
| 🟡 |
D662 |
Application
category as a permission |
assumed |
2026-09-26 |
| 🟢 |
D663 |
Machine
codenames as vocabulary |
decided |
2026-09-26 |
| 🟢 |
D664 |
Ordered
origin lists for corpus sources |
decided |
2026-09-10 |
| 🟢 |
D667 |
Vendor
socket names share the POSIX bodies |
decided |
2026-09-10 |
| 🟢 |
D669 |
Platform
names do not resolve on the title route |
decided |
2026-09-10 |
| 🟢 |
D670 |
Unimplemented
calls answer a negative placeholder |
decided |
2026-09-10 |
| 🟢 |
D675 |
Sysctl
knobs split between the platform and the profile |
decided |
2026-09-10 |
| 🟢 |
D676 |
Unanswered
weak imports bind to zero |
decided |
2026-09-10 |
| 🟢 |
D679 |
No
on-disk fallback for the archive index |
decided |
2026-09-26 |
| 🟢 |
D681 |
Shader
fixtures are regenerated with LLVM 18 |
decided |
2026-09-12 |
| 🟢 |
D683 |
Borrowed
packet sizes are cross-checks, never sources |
decided |
2026-09-14 |
| 🟢 |
D685 |
A
deliberate exit earns a rung below a flip |
decided |
2026-09-14 |
| 🟢 |
D686 |
A
deliberate exit outranks a fault above the import count |
decided |
2026-09-14 |
| 🟢 |
D687 |
A
record updates on not-worse-and-different |
decided |
2026-09-14 |
| 🟡 |
D688 |
A
primitive shader translates to a mesh shader |
assumed |
2026-09-14 |
| 🟢 |
D689 |
The
device enables what the modules declare |
decided |
2026-09-14 |
| 🟡 |
D690 |
A
module samples only the one bound texture |
assumed |
2026-09-15 |
| 🟡 |
D692 |
A
stored image declares no format |
assumed |
2026-09-15 |
| 🟢 |
D694 |
A
presented frame is the top rung |
decided |
2026-09-26 |
| 🟡 |
D695 |
The
worker hands the shim pixels |
assumed |
2026-09-15 |
| 🟡 |
D696 |
A
producer builder reserves with a zeroed body |
assumed |
2026-09-15 |
| 🟡 |
D697 |
The
direct-memory pool defaults to the retail size |
assumed |
2026-09-15 |
| 🟢 |
D701 |
Resources
reach the backend by residency |
decided |
2026-09-16 |
| 🟢 |
D702 |
Render
targets are identified by extent |
decided |
2026-09-16 |
| 🟢 |
D703 |
The
guest-memory window is frame state |
decided |
2026-09-26 |
| 🟢 |
D705 |
A
completion is posted only for work that ran |
decided |
2026-09-26 |
| 🟡 |
D706 |
CI tests macOS
as x86-64 |
assumed |
2026-09-19 |
| 🟢 |
D707 |
A
scripted pad is a configuration source |
decided |
2026-09-26 |
| 🟡 |
D708 |
A
wall is orbistoun's until hardware proves otherwise |
assumed |
2026-09-19 |
| 🟢 |
D709 |
Operator-provided
retail titles work on hardware |
decided |
2026-09-21 |
| 🟡 |
D710 |
Command-processor
memory packets execute at submit |
assumed |
2026-09-24 |
| 🟡 |
D711 |
A
live submission's window sits at its shader's constant base |
assumed |
2026-09-24 |
| 🟡 |
D712 |
A
submission's draws run at submit |
assumed |
2026-09-24 |
| 🟡 |
D713 |
Pad
fields follow the SDK layout |
assumed |
2026-09-24 |
| 🟢 |
D714 |
A
drawn colour target is written back at the flip |
decided |
2026-09-24 |
| 🟡 |
D715 |
An
orphaned worker ends its process |
assumed |
2026-09-24 |
| 🟢 |
D716 |
A
fragment module simulates one lane |
decided |
2026-09-24 |
| 🟢 |
D717 |
A
copy out of a colour target is carried out on first touch |
decided |
2026-09-24 |
| 🟢 |
D718 |
Draws
that share state are one mesh dispatch |
decided |
2026-09-25 |
| 🟡 |
D719 |
A
flipped frame reaches guest memory when read |
assumed |
2026-09-26 |
| 🟡 |
D720 |
A
colour target is write-protected while trusted unchanged |
assumed |
2026-09-26 |
| 🟢 |
D721 |
Pad
input is captured and replayed against flips |
decided |
2026-09-26 |
| 🟢 |
D722 |
A
title's /app0 is writable by where it is staged |
decided |
2026-09-26 |
| 🟡 |
D723 |
A
played window reads the host clock |
assumed |
2026-09-26 |
| 🟡 |
D724 |
A
title links at load or ahead of time from one link plan |
assumed |
2026-09-26 |
| 🟡 |
D725 |
Instructions
the host lacks are rewritten at link |
assumed |
2026-09-26 |
| 🟡 |
D726 |
A
faulted run does not render its last submission |
assumed |
2026-09-26 |
| 🟡 |
D727 |
The
platform HTTP client runs over the host network |
assumed |
2026-09-26 |
| 🟡 |
D728 |
A
command-buffer flip is carried out where the stream releases its
label |
assumed |
2026-09-27 |
| 🟢 |
D729 |
A
stream's draws run in segments between its memory work |
decided |
2026-09-27 |
| 🟢 |
D730 |
A
primitive shader's geometry-engine inputs are seeded per draw |
decided |
2026-09-27 |
| 🟢 |
D731 |
Window-space
positions are drawn through a fixed viewport |
decided |
2026-09-27 |
| 🟢 |
D732 |
A
fiber is a guest context switched on the thread that runs it |
decided |
2026-09-27 |
| 🟢 |
D733 |
A
draw's buffers are bound as device buffers |
decided |
2026-09-27 |
| 🟢 |
D734 |
A
stateless leaf import links past the call trace |
decided |
2026-09-28 |
| 🟢 |
D735 |
Logical time is per
thread |
decided |
2026-09-28 |
| 🟢 |
D736 |
A
title's compatibility record is a directory |
decided |
2026-09-28 |
| 🟢 |
D737 |
Register
state carries across submissions on a queue |
decided |
2026-09-29 |
| 🟢 |
D738 |
A
format load converts by the draw's descriptor |
decided |
2026-10-05 |
| 🟢 |
D739 |
The
shader target is the console's own revision |
decided |
2026-10-05 |
| 🟢 |
D740 |
An
indexed primitive shader reads its vertex ids from the index
buffer |
decided |
2026-10-05 |
| 🟢 |
D741 |
Draws
larger than one wave run in chunks |
decided |
2026-10-05 |
| 🟢 |
D742 |
An
attribute read both interpolated and flat takes a flat twin |
decided |
2026-10-05 |
| 🟢 |
D743 |
A
half-border clamp samples a saturated coordinate through a border
sampler |
decided |
2026-10-05 |
| 🟢 |
D744 |
Compiled
pipelines are kept per title |
decided |
2026-10-05 |
| 🟢 |
D745 |
A
primitive shader reads its draw's vertex count from the draw
data |
decided |
2026-10-05 |
| 🟢 |
D746 |
A
compute dispatch binds each traced buffer and writes it back |
decided |
2026-10-05 |
| 🟢 |
D747 |
A
batched draw finds its geometry buffers through its draw data |
decided |
2026-10-06 |
| 🟢 |
D748 |
Formatted
output renders floating-point and starred conversions |
decided |
2026-10-06 |
| 🟢 |
D749 |
An
unmapped mapping is released and its base reused after a
quarantine |
decided |
2026-10-06 |
| 🟢 |
D750 |
A
depth target with HTILE is cleared where its HTILE says so |
decided |
2026-10-06 |
| 🟢 |
D751 |
An
arena created over a base serves from that range |
decided |
2026-10-06 |
| 🟢 |
D752 |
An
unwritten compute start is the queue's zero |
decided |
2026-10-06 |
| 🟢 |
D753 |
A
descriptor the program computes is evaluated per draw |
decided |
2026-10-07 |
| 🟢 |
D754 |
An
unwritten index size is sixteen bits |
decided |
2026-10-07 |
| 🟢 |
D755 |
AGC's
output primitive 4 is a rectangle list |
decided |
2026-10-07 |
| 🟢 |
D756 |
What
orbistoun keeps in a title's directory is not in its /app0 |
decided |
2026-10-07 |
| 🟡 |
D757 |
A
loaded segment with no access flags is read-write |
assumed |
2026-10-07 |
| 🟢 |
D758 |
A
primitive shader's global loads are bound per draw from their lanes'
addresses |
decided |
2026-10-08 |
| 🟢 |
D759 |
A
primitive shader that exports its entry v0 runs passthrough |
decided |
2026-10-08 |
| 🟢 |
D760 |
A
primitive shader runs one invocation per lane |
decided |
2026-10-08 |
| 🟢 |
D761 |
A chunk
of a draw counts its vertex ids from a draw word |
decided |
2026-10-08 |
| 🟢 |
D762 |
An
interrupting release posts the driver's end-of-pipe event |
decided |
2026-10-08 |
| 🟢 |
D763 |
A
title module's thread-locals are served by module id |
decided |
2026-10-08 |
| 🟢 |
D764 |
The
process parameter is the executable's own segment |
decided |
2026-10-08 |
| 🟢 |
D765 |
A
retail process has no sanitizer replacement |
decided |
2026-10-08 |
| 🟢 |
D766 |
A
statically initialised lock is made on first use |
decided |
2026-10-08 |
| 🟢 |
D767 |
The
modules an executable needs start before its entry |
decided |
2026-10-08 |
| 🟢 |
D768 |
A
module's unwind tables are found by address |
decided |
2026-10-08 |
| 🟢 |
D769 |
A
title's own C++ runtime answers its exceptions |
decided |
2026-10-08 |
| 🟢 |
D770 |
A
title's libc is told its heap is not traced |
decided |
2026-10-08 |
| 🟢 |
D771 |
A based
mspace block carries its dlmalloc header |
decided |
2026-10-08 |
| 🟢 |
D772 |
A
title's flexible memory setting moves its direct pool |
decided |
2026-10-08 |
| 🟢 |
D773 |
A
packed float colour target is drawn in its own format |
decided |
2026-10-08 |
| 🟢 |
D774 |
A
packed float texture is sampled as it is |
decided |
2026-10-08 |
| 🟢 |
D775 |
An
anisotropic sampler samples at the host's anisotropy, at the ratio radv
encodes |
decided |
2026-10-08 |
| 🟢 |
D776 |
The RTC
tick is the host's wall clock in microseconds since 0001-01-01 |
decided |
2026-10-08 |
| 🟢 |
D777 |
A
title's own library binds to its own export |
decided |
2026-10-08 |
| 🟢 |
D778 |
libSceSysmodule's
unwind query is the kernel's |
decided |
2026-10-09 |
| 🟢 |
D779 |
A
draw with no colour buffer bound writes depth alone |
decided |
2026-10-09 |
| 🟢 |
D780 |
Window
space before the divide is drawn under the window-space
viewport |
decided |
2026-10-09 |
| 🟢 |
D781 |
sceAgcCreatePrimState
writes its register lists whole |
decided |
2026-10-09 |
| 🟢 |
D782 |
APR
identifiers are synthesised for app0 files outside a title's
index |
decided |
2026-10-09 |
| 🟢 |
D783 |
A title reads the
host keyboard |
decided |
2026-10-09 |
| 🟢 |
D784 |
A
flipped colour target is shown as drawn |
decided |
2026-10-09 |
| 🟢 |
D785 |
v_med3_f32
is the median of three, NaN as its min-max steps |
decided |
2026-10-10 |
| 🟢 |
D786 |
A
flip wakes its waiter at the display's time |
decided |
2026-10-10 |
| 🟢 |
D787 |
A split draw
travels as one command |
decided |
2026-10-11 |
| 🟢 |
D788 |
A full
command buffer asks its writer's overflow callback |
decided |
2026-10-11 |
| 🟢 |
D789 |
The
global data share is one zeroed buffer a process keeps |
decided |
2026-10-11 |
| 🟢 |
D790 |
A
format store writes only its format's components |
decided |
2026-10-11 |
| 🟢 |
D791 |
The shell
answers a message dialog at once, with OK |
decided |
2026-10-11 |
| 🟢 |
D792 |
A
save is mounted from the title's own storage |
decided |
2026-10-11 |
| 🟢 |
D793 |
An
InitParameter2 initializes as an InitParameter does |
decided |
2026-10-11 |
| 🟢 |
D794 |
A
descriptor Mesa calls null with zero selects samples zero |
decided |
2026-10-11 |
| 🟢 |
D795 |
A
draw buffer binds as far as guest memory holds it |
decided |
2026-10-11 |
| 🟢 |
D796 |
A presented
frame is shown opaque |
decided |
2026-10-11 |
| 🟢 |
D797 |
A
quad strip is seeded as the triangle strip over its quads |
decided |
2026-10-11 |
| 🟢 |
D798 |
A
quad list is seeded two triangles a quad |
decided |
2026-10-11 |
| 🟢 |
D799 |
A
port state is its measured fields, the rest zero |
decided |
2026-10-12 |
| 🟢 |
D800 |
a
computed descriptor no lane reaches is null |
decided |
2026-10-12 |
| 🟢 |
D801 |
a
target the drawer holds is not read again |
decided |
2026-10-12 |
| 🟢 |
D802 |
a flip
completion's event id is the one the guest acts on |
decided |
2026-10-12 |
| 🟢 |
D803 |
a
shipped module's own imports are served from the package |
decided |
2026-10-12 |
| 🟢 |
D804 |
a
dispatch that fills a buffer writes it as a fill |
decided |
2026-10-12 |
| 🟢 |
D805 |
the
buffers a dispatch used are kept for the next |
decided |
2026-10-12 |
| 🟢 |
D806 |
a
thread blocked in a call is named in the report |
decided |
2026-10-12 |
| 🟢 |
D807 |
the
locks held at the end are named in the report |
decided |
2026-10-12 |
| 🟢 |
D808 |
a
signal reaches a thread asleep on a lock |
decided |
2026-10-12 |
| 🟢 |
D809 |
a
buffer a dispatch only stores to is not read |
decided |
2026-10-12 |
| 🟢 |
D810 |
the
cube-map face instructions follow the chain z then y then x |
decided |
2026-10-12 |
| 🟢 |
D811 |
a cube
sample reads six faces through a cube view |
decided |
2026-10-12 |
| 🟢 |
D812 |
content
export starts for a title's allocator block |
decided |
2026-10-12 |
| 🟢 |
D813 |
a
signal raised on a running thread waits for its next wait |
decided |
2026-10-12 |
| 🟢 |
D814 |
the flip
status reports the last flip argument |
decided |
2026-10-12 |
| 🟢 |
D815 |
PlayGo
starts for a title that treats it as optional |
decided |
2026-10-12 |
| 🟢 |
D816 |
a
depth-compare sample reads a depth texture against its
reference |
decided |
2026-10-12 |
| 🟡 |
D817 |
A
depth compare samples the depth target at its address |
assumed |
2026-10-12 |
| 🟢 |
D818 |
A
reference emulator is a prediction, never a source |
decided |
2026-10-12 |
| 🟢 |
D819 |
Audio
output plays on a host device through a sink |
decided |
2026-10-12 |
| 🟡 |
D820 |
An
AudioOut2 context paces its blocking pushes by a queue of
grains |
assumed |
2026-10-12 |
| 🟢 |
D821 |
Submissions
may run on the command processor's own thread |
decided |
2026-10-12 |
| 🟢 |
D822 |
A
fragment module reads its quad's neighbours through the host's
quad |
decided |
2026-10-13 |
| 🟢 |
D823 |
A
three-dimensional image is sampled as a host volume |
decided |
2026-10-13 |
| 🟡 |
D824 |
A
large range a write-watch mark is taken of is write-protected while
unwritten |
assumed |
2026-10-13 |
| 🟢 |
D825 |
An
export's colour target is a location, bound by
SPI_SHADER_COL_FORMAT |
decided |
2026-10-13 |
| 🟢 |
D826 |
The
system keyboard is typed into with the controller |
decided |
2026-10-13 |
| 🟡 |
D827 |
ZPASS_DONE
writes sixteen backends' counters, the count in the first |
assumed |
2026-10-13 |
| 🟡 |
D828 |
The
host GPU is chosen by ORBISTOUN_GPU, discrete first by default |
assumed |
2026-10-13 |
| 🟡 |
D829 |
A tracy
build streams the perf spans to the Tracy profiler |
assumed |
2026-10-13 |
| 🟢 |
D830 |
User
clip planes are clip distances from specialization constants |
decided |
2026-10-14 |
| 🟡 |
D831 |
Profiling
with Tracy is built in and asked for at run time |
assumed |
2026-10-14 |
| 🟢 |
D832 |
The
loop resolves waits, and stages the patches that move a wall |
decided |
2026-10-14 |
| 🟢 |
D833 |
A
texture binds its mip chain, base level to last |
decided |
2026-10-14 |
| 🟢 |
D834 |
A
submitted command buffer carries out its write-address commands |
decided |
2026-10-14 |
| 🟡 |
D835 |
A
frame limit and host CPU limits are performance settings, global and per
title |
assumed |
2026-10-14 |
| 🟡 |
D836 |
A
title's mods are user content: files layered over its own, and
patches |
assumed |
2026-10-14 |
| 🟢 |
D837 |
A
sampler's table border colour is read from the guest's table |
decided |
2026-10-14 |
| 🟢 |
D838 |
A
batch-map entry carries out its operation, as measured |
decided |
2026-10-14 |
| 🟢 |
D839 |
Save-data
memory is a store reads and writes copy through |
decided |
2026-10-14 |
| 🟢 |
D840 |
A
resolution is checked against the rows of the logs it cites |
decided |
2026-10-14 |
| 🟢 |
D841 |
A
handler short of stack runs on a lent host thread |
decided |
2026-10-14 |
| 🟢 |
D842 |
A
program that reads its own address is translated for it |
decided |
2026-10-14 |
| 🟢 |
D843 |
The
index offset is added to every vertex index |
decided |
2026-10-14 |
| 🟢 |
D844 |
A
one-channel 32-bit float target is drawn and written back as it is
held |
decided |
2026-10-14 |
| 🟢 |
D845 |
A
four-channel half-float target is drawn and written back as it is
held |
decided |
2026-10-14 |
| 🟢 |
D846 |
The
command processor reaches the guest's heap blocks |
decided |
2026-10-14 |
| 🟢 |
D847 |
A
two-channel half-float target is drawn and written back as it is
held |
decided |
2026-10-14 |
| 🟢 |
D848 |
A
ten-bit unorm target is drawn and written back as it is held |
decided |
2026-10-14 |
| 🟢 |
D849 |
Where
the GPU queue stopped is a position progress compares |
decided |
2026-10-14 |
| 🟡 |
D850 |
A lane
run's addresses are found natively, checked against the model |
assumed |
2026-10-14 |
| 🟢 |
D851 |
An
integer colour target takes the exported bits as they are |
decided |
2026-10-14 |
| 🟢 |
D852 |
A
16-bit unsigned integer target is drawn through a 32-bit one and written
back as it is held |
decided |
2026-10-14 |
| 🟢 |
D853 |
A
four-channel 32-bit float target is drawn and written back as it is
held |
decided |
2026-10-14 |
| 🟢 |
D854 |
A
one-byte alpha target is drawn in the frame's alpha and written back as
it is held |
decided |
2026-10-14 |
| 🟡 |
D855 |
A
dispatch's partial-group shape is read at run time, not compiled
in |
assumed |
2026-10-14 |
| 🟡 |
D856 |
A
draw's device pipeline is shared across the textures it samples |
assumed |
2026-10-14 |
| 🟡 |
D857 |
User clip
planes are pushed with the draw, not compiled in |
assumed |
2026-10-14 |
| 🟢 |
D858 |
A
thread group of several waves runs one invocation per wave |
decided |
2026-10-14 |
| 🟢 |
D859 |
A
primitive's layer picks the slice it is drawn into |
decided |
2026-10-14 |
| 🟢 |
D860 |
A
resident draw's textures are kept by content, apart from its
pipeline |
measured |
2026-10-14 |
| 🟢 |
D861 |
Legacy
streamout runs as an exact compute dispatch |
decided |
2026-10-14 |
| 🟢 |
D862 |
A
render scale draws resident targets larger than the guest's |
measured |
2026-10-14 |
| 🟢 |
D863 |
An
instanced primitive draw runs a workgroup per instance |
decided |
2026-10-14 |
| 🟢 |
D864 |
A
guest's write into a frame still on the device costs a band of
rows |
measured |
2026-10-14 |
| 🟡 |
D865 |
A run's
trace, frames and dumps are its own |
assumed |
2026-10-14 |
| 🟢 |
D866 |
A
signed-normalised 8_8_8_8 target is drawn through its own
format |
decided |
2026-10-14 |
| 🟢 |
D867 |
A
vertex's exported point size is the size it is drawn at |
decided |
2026-10-14 |
| 🟡 |
D868 |
A
half-float target is drawn as floats and held as halves |
assumed |
2026-10-14 |
| 🟢 |
D869 |
A
two-channel 8_8 target is drawn through an Rgba8 attachment |
decided |
2026-10-14 |
| 🟢 |
D870 |
A
two-channel 32_32 integer target is drawn through R32G32_UINT |
decided |
2026-10-14 |
| 🟢 |
D871 |
A
two-channel 16_16 UNORM target is drawn through R16G16_UNORM |
decided |
2026-10-14 |
| 🟢 |
D872 |
A
two-channel 32_32 float target is drawn through R32G32_SFLOAT |
decided |
2026-10-14 |
| 🟢 |
D873 |
A
DCC target's keys are read block by block |
decided |
2026-10-14 |
| 🟢 |
D874 |
A
texture a queued submission draws into is read once it has been carried
out |
decided |
2026-10-14 |
| 🟢 |
D875 |
A
module travels with the first drawn submission that binds it |
decided |
2026-10-14 |
| 🟢 |
D876 |
Memory
a queued submission writes is read once it has been carried out |
decided |
2026-10-14 |
| 🟢 |
D877 |
An AMPR
command buffer's reset rewinds its commands |
decided |
2026-10-14 |
| 🟡 |
D878 |
A
flat-segment access reaches global memory |
assumed |
2026-10-14 |
| 🟢 |
D879 |
A
vertex fetch indexed by the vertex id binds only the records the draw
can index |
decided |
2026-10-14 |
| 🟢 |
D880 |
A
dispatch that never meets its wave runs one invocation per lane |
decided |
2026-10-14 |
| 🟢 |
D881 |
A
legacy vertex shader draws as a mesh shader that assembles its own
primitives |
decided |
2026-10-14 |
| 🟢 |
D882 |
A
target a queued submission draws is sampled as it is carried
out |
decided |
2026-10-14 |
| 🟢 |
D883 |
A
dispatch's global loads are bound from the addresses its waves
form |
decided |
2026-10-14 |
| 🟢 |
D884 |
A
dispatch that reads a lane mask whole builds it from its lanes |
decided |
2026-10-14 |
| 🟢 |
D885 |
A
frame switched from waits on the device until it is read |
measured |
2026-10-14 |
| 🟢 |
D886 |
An
end-of-pipe action's data is patched where radeonsi emits it |
decided |
2026-10-15 |
| 🟢 |
D887 |
Guest
wildcard binds go to host loopback unless LAN is opted in |
decided |
2026-10-15 |
| 🟢 |
D888 |
A guest
dispatch runs on a queue of its own |
measured |
2026-10-15 |
| 🟢 |
D889 |
An
Ajm batch decodes on the host when it is started |
decided |
2026-10-15 |
| 🟢 |
D890 |
A
REWIND released resumes only a command stream held at it |
decided |
2026-10-18 |
| 🟢 |
D891 |
An
asynchronous compute stream waiting on a fence steps aside |
decided |
2026-10-18 |
| 🟢 |
D892 |
A group
of waves meets at the workgroup barrier where no branch crosses
it |
decided |
2026-10-19 |
| 🔴 |
D893 |
A
compute dispatch stores to each image its descriptors name |
superseded |
2026-10-19 |
| 🟢 |
D894 |
A
dispatch that fetches a depth target reads the host's depths |
decided |
2026-10-19 |
| 🟢 |
D895 |
A
2D array access to a one-layer image reaches layer zero |
decided |
2026-10-19 |
| 🟢 |
D896 |
A
refused dispatch or draw can be passed over to see every wall |
decided |
2026-10-19 |
| 🟢 |
D897 |
A
dispatch fetches any layer of a 2D array |
decided |
2026-10-19 |
| 🟢 |
D898 |
A
triangle fan is seeded, and drawn in chunks of a list |
decided |
2026-10-19 |
| 🟢 |
D899 |
An array
slice takes its pipe-bank XOR, and DCC on a slice is expanded |
decided |
2026-10-19 |
| 🟢 |
D900 |
A
computed descriptor is found by running the dispatch's waves |
decided |
2026-10-19 |
| 🟢 |
D901 |
A
descriptor read at an offset the host cannot know binds its whole
buffer |
decided |
2026-10-19 |
| 🟢 |
D902 |
Each
asynchronous compute queue keeps its own order |
decided |
2026-10-19 |
| 🟢 |
D903 |
A
direct dispatch's modifier reaches its initiator |
decided |
2026-10-19 |
| 🟢 |
D904 |
A
dispatch samples through its guest sampler |
decided |
2026-10-19 |
| 🟢 |
D905 |
A grid
given in threads runs the groups covering it |
decided |
2026-10-19 |
| 🟢 |
D906 |
A
one-layer depth array is the held depth target |
decided |
2026-10-19 |
| 🟢 |
D907 |
A
dispatch samples a cube through its six faces |
decided |
2026-10-20 |
| 🟢 |
D908 |
A
dispatch reads and stores packed 11-11-10 floats |
decided |
2026-10-20 |
| 🟢 |
D909 |
A
depth target is the slice its view names |
decided |
2026-10-20 |
| 🟢 |
D910 |
A
fetch from a later layer reads the array whole |
decided |
2026-10-20 |
| 🟢 |
D911 |
A
class compare answers from the value's bits |
decided |
2026-10-20 |
| 🟢 |
D912 |
A draw
samples a tiled cube's six faces |
decided |
2026-10-20 |
| 🟢 |
D913 |
A
gather returns one component of four texels |
decided |
2026-10-20 |
| 🟢 |
D914 |
A
dispatch's group-decided descriptor is found group by group |
decided |
2026-10-20 |
| 🔴 |
D915 |
A
strideless structured buffer bounds its offset as raw |
superseded |
2026-10-20 |
| 🟢 |
D916 |
A
dispatch reads 16-bit standard-swizzle arrays |
decided |
2026-10-20 |
| 🟢 |
D917 |
A
strideless structured buffer is bound by its records, not by
hardware |
decided |
2026-10-20 |
| 🟢 |
D918 |
A
draw samples a depth cube from its six drawn slices |
decided |
2026-10-20 |
| 🟢 |
D919 |
Buffer and
float atomics as integer atomics |
decided |
2026-10-20 |
| 🟢 |
D920 |
A
flat sample of an array reads its first layer |
decided |
2026-10-20 |
| 🟢 |
D921 |
A
descriptor that names no image binds the null texture |
decided |
2026-10-20 |
| 🟢 |
D922 |
A
load of a cube by face reads its slices as an array |
decided |
2026-10-20 |
| 🟢 |
D923 |
Every
guest image format maps to a host format or refuses by name |
decided |
2026-10-20 |
| 🟢 |
D924 |
An
instruction the host lacks runs from a trampoline, or at its fault where
none fits |
decided |
2026-10-20 |
| 🟢 |
D925 |
Video
decodes on the host's own media decoder |
decided |
2026-10-20 |
| 🟢 |
D926 |
ATRAC9
decodes in an in-tree Rust reimplementation of LibAtrac9 |
decided |
2026-10-20 |
| 🟢 |
D927 |
A
stencil plane a draw loads binds as its values' bits |
decided |
2026-10-20 |
| 🟢 |
D928 |
Tessellated
draws run their hull as compute and tessellate on the CPU |
decided |
2026-10-20 |
| 🟢 |
D930 |
An
event queue keeps its events as FreeBSD's kqueue keeps knotes |
decided |
2026-10-20 |
| 🟢 |
D931 |
A
multisampled draw is named by the register that asked for it |
decided |
2026-10-20 |
| 🟢 |
D932 |
A
graphics stream waiting on memory goes on once the word holds |
decided |
2026-10-20 |
| 🟢 |
D933 |
A
compared cube sample reads its direction against the reference |
decided |
2026-10-20 |
| 🟢 |
D934 |
An
image descriptor loaded through a buffer is read where the buffer holds
it |
decided |
2026-10-20 |
| 🟢 |
D935 |
A
depth target only cleared samples as its clear value |
decided |
2026-10-20 |
| 🟢 |
D936 |
A
layered depth-only draw is drawn a pass per depth slice |
decided |
2026-10-21 |
| 🟢 |
D937 |
A
buffer bound twice to one range is one buffer |
decided |
2026-10-21 |
| 🟢 |
D938 |
A
polygon offset in whole depth units pins depth to the range end |
decided |
2026-10-21 |
| 🟢 |
D939 |
A
depth surface no draw targeted is read from guest memory |
decided |
2026-10-21 |
| 🔴 |
D940 |
A grid
in threads with no partial group runs whole groups |
superseded |
2026-10-21 |
| 🟢 |
D941 |
A
depth-only draw is sized by its depth surface |
decided |
2026-10-21 |
| 🟢 |
D942 |
A texture
whose keys are all uncompressed is read as plain texels |
decided |
2026-10-21 |
| 🟢 |
D943 |
A
relative register move selects among the registers past its
source |
decided |
2026-10-21 |
| 🟢 |
D944 |
A tiled
float texture sampled through a compare is read by its swizzle
equation |
decided |
2026-10-21 |
| 🟢 |
D945 |
A
dispatch whose buffer is not guest memory yet is polled |
decided |
2026-10-21 |
| 🟢 |
D946 |
A
structured buffer is read within its records |
decided |
2026-10-21 |
| 🟢 |
D947 |
Every
opcode is named by sweeping the reference disassembler |
decided |
2026-10-21 |
| 🟢 |
D948 |
Extra
colour attachments stay on the device across draw segments |
decided |
2026-10-24 |
| 🟢 |
D949 |
A
runaway guest loop is cut and reported |
decided |
2026-10-24 |
| 🟢 |
D950 |
A
dispatch too large to replay binds its global loads from a sample of its
groups |
decided |
2026-10-24 |
| 🟢 |
D951 |
A
computed descriptor too large to run wave by wave binds from a sample of
its groups |
decided |
2026-10-24 |
| 🟢 |
D952 |
Computed
accesses through one unwritten descriptor share a buffer |
decided |
2026-10-24 |
| 🟢 |
D953 |
Overlapping
buffers a dispatch writes bind one buffer |
decided |
2026-10-24 |
| 🟢 |
D954 |
A
dispatch's scratch is each wave's own private memory |
decided |
2026-10-24 |
| 🟢 |
D955 |
A
64-bit buffer atomic reaches its pair as one word |
decided |
2026-10-24 |
| 🟢 |
D956 |
A
whole wave's lane work is one loop over its lanes |
decided |
2026-10-25 |
| 🟢 |
D957 |
A
dispatch is captured to be replayed alone |
decided |
2026-10-24 |
| 🟢 |
D958 |
Shader
costs are measured from kept translations |
decided |
2026-10-24 |
| 🟢 |
D959 |
A
grid in threads runs a partial last group |
decided |
2026-10-24 |
| 🟢 |
D960 |
A
computed image descriptor is found where it is read |
decided |
2026-10-25 |
| 🟢 |
D961 |
A
dispatch's global loads bind the pages they read |
decided |
2026-10-25 |
| 🟢 |
D962 |
A
loop-invariant computed descriptor is read at its first reach |
decided |
2026-10-25 |
| 🟢 |
D963 |
A
dispatch binds the storage images it stores to |
decided |
2026-10-25 |
| 🟢 |
D964 |
Ray
traversal passes address guest memory directly |
decided |
2026-10-25 |
| 🟢 |
D965 |
The
guest's float mode decides a module's float controls |
decided |
2026-10-25 |
| 🟢 |
D966 |
A
descriptor a dispatch selects from a table at run time binds every
record |
decided |
2026-10-25 |
| 🟢 |
D967 |
A
format load through a descriptor the program computes decodes it in
place |
decided |
2026-10-25 |
| 🟢 |
D968 |
A page
committed after the device mapped its run is mapped before the next
dispatch |
decided |
2026-10-25 |
| 🟢 |
D969 |
A
device-address lookup reads a table in device memory |
decided |
2026-10-25 |
| 🟢 |
D970 |
A
device-addressed dispatch reads the descriptors it loads where they
lie |
decided |
2026-10-25 |
| 🟢 |
D971 |
A
device-addressed escape names its page, and capture keeps the pages a
dispatch names |
decided |
2026-10-25 |
| 🟢 |
D972 |
A
program's control flow is laid out as structure where it nests |
decided |
2026-10-25 |
| 🟢 |
D973 |
A
wave twice its subgroup runs two lanes an invocation |
decided |
2026-10-25 |
| 🟢 |
D974 |
Device-addressed
dispatches copy the guest chunks they reach into device memory |
decided |
2026-10-25 |
| 🟢 |
D975 |
Every
module the translator makes is valid as spirv-val decides |
decided |
2026-10-25 |
| 🟢 |
D976 |
A
dispatch's depth-compare sample compares in the module |
decided |
2026-10-25 |
| 🟢 |
D977 |
A
sub-word store merges into its word as one step a part |
decided |
2026-10-25 |
| 🟢 |
D978 |
A
lane write reaches its lane whether it runs or not |
decided |
2026-10-25 |
| 🟢 |
D979 |
SDWA and
DPP operand modifiers are one shared path over any eligible
instruction |
decided |
2026-10-25 |
| 🟢 |
D980 |
A
device-addressed capture holds every chunk its dispatch reached |
decided |
2026-10-25 |
| 🟢 |
D981 |
Keep a
dispatch's traced buffers with the guest memory they were worked out
from |
decided |
2026-10-25 |
| 🟢 |
D982 |
A
dispatch whose buffers only a host run finds goes
device-addressed |
decided |
2026-10-25 |
| 🟢 |
D983 |
An
image a dispatch selects from a table at run time is read from an array
of every image the table names |
decided |
2026-10-25 |
| 🟢 |
D984 |
In-world
frame costs: host page queries, texel offset tables and dispatch buffer
size classes |
decided |
2026-10-25 |
| 🟢 |
D986 |
A
frame's passes dumped one by one, and their outputs judged |
decided |
2026-10-26 |
| 🟢 |
D987 |
A pad
script step can wait for the guest's first heavy frame |
decided |
2026-10-25 |
| 🟢 |
D988 |
A
held stick is shown to reach the picture by frame motion between kept
flips |
decided |
2026-10-25 |
| 🟢 |
D989 |
A
queued dispatch's image stores are bounded by their descriptors |
decided |
2026-10-25 |
| 🟢 |
D990 |
Dispatch
images are kept on the device between dispatches |
decided |
2026-10-25 |
| 🟢 |
D991 |
A
device-addressed dispatch is traced on the host with its images |
decided |
2026-10-25 |
| 🟢 |
D992 |
A
ray intersection completes its node tests |
decided |
2026-10-25 |
| 🟢 |
D993 |
A fused
multiply-add rounds once |
decided |
2026-10-25 |
| 🟢 |
D994 |
Compiled
pipelines are kept one checked entry a pipeline |
decided |
2026-10-26 |
| 🟢 |
D995 |
A
compare through a sampler the host cannot name reads it as the module
runs |
decided |
2026-10-26 |