Verification gaps
Evidence basis: source-verified at the pinned commit. Claims on this page were checked by reading the CNA source at commit 3b43bd86; unless a sentence says otherwise, nothing here was built or executed.
An implementation exists, but the evidence that it behaves correctly is insufficient. Every entry below exists at CNA 3b43bd86; open an entry for its expected and actual behaviour, source locations, evidence and blast radius.
44 entries
| ID | Title | Subsystem | Status | Severity | Evidence basis |
|---|---|---|---|---|---|
CNA-VGAP-001 | Matrix camera builders have no XNA oracle and no full-matrix value test | Math & geometry | open | n/a | source-verified |
CNA-VGAP-002 | BoundingSphere::CreateFromBoundingBox and the SmoothStep/Hermite/CatmullRom helpers use different arithmetic from XNA 4.0, and no oracle measures last-bit agreement | Math & geometry | open | n/a | source-verified |
CNA-VGAP-003 | No test pins EffectParameter's divergences for CNA-constructed parameters, including a SetValue(Texture*) that GetValueTexture2D() does not read back | Graphics & renderers | open | n/a | source-verified |
CNA-VGAP-005 | The XNA audio facade on CNA's own ALSA mixer is covered by seven facade tests plus the XACT category suite; the SoundEffect, instance, dynamic-instance, Cue, SoundBank and WaveBank suites run only on SDL3 | Audio & media | open | n/a | source-verified |
CNA-VGAP-006 | Media paths without tests: the natural song end on SDL3_mixer, the failed visualization install and SavePicture's IOException | Audio & media | narrowed | n/a | source-verified |
CNA-VGAP-007 | The SDL3 camera provider and file-dialog result path have no test that drives them, and the tray is tested only against a stand-in SDL | Platforms | narrowed | n/a | source-verified |
CNA-VGAP-008 | Android and iOS have no device evidence at this snapshot: no Android workflow, iOS only in the Simulator, and lifecycle and packaged-content loading untested on a device | Platforms | open | n/a | source-verified |
CNA-VGAP-011 | No test exercises PlatformSelection.cmake's reserved-identifier refusal paths | Build & CI | narrowed | n/a | source-verified |
CNA-VGAP-013 | No gate checks include reachability or compiles each public C++ header alone | Build & CI | narrowed | n/a | source-verified |
CNA-VGAP-014 | The physical source-partition validator checks only *.cpp/*.mm path prefixes, so headers, C sources and a TU in a renderer's src/ subdirectory (never compiled) all pass it | Build & CI | open | n/a | source-verified |
CNA-VGAP-015 | CNA records and checks no easy-gl or meta-gl revision, although the snapshot needs meta-gl 20c8b2dc or later and easy-gl deda7a42 or later | Build & CI | open | n/a | source-verified |
CNA-VGAP-016 | A plain ctest run of the tests preset is not a trustworthy result | Testing & evidence | narrowed | n/a | recorded by CNA |
CNA-VGAP-019 | The HEADLESS native-SDK-free link-closure gates run in no CI job | Testing & evidence | narrowed | n/a | source-verified |
CNA-VGAP-020 | The hand-written CnaPlatformTests filter misses TerminalPresenterThroughPlatformTest and nine other platform suites, so the platform CI cells never select them | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-021 | No SpriteFont/DrawString pixel test exists for DIRECTX9 or FNA3D | Testing & evidence | narrowed | n/a | source-verified |
CNA-VGAP-022 | No test measures presentation cadence: PresentInterval::Two against ordinary vsync | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-023 | No browser renderer path is executed automatically: WEBGL2 has no test registrations and no workflow runs a renderer in a browser | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-025 | WEBGPU and SDL_GPU run in CI only through subsystem suites and a macOS smoke set; their renderer suites run only on CNA's own runner | Testing & evidence | narrowed | n/a | source-verified |
CNA-VGAP-026 | The Windows renderer routes have no automatic native Windows execution: the DIRECTX9 and SDL_GPU legs of the Windows workflow are manual | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-028 | Several XNB runtime readers are never exercised with externally produced files, although genuine XNA 4.0 outputs for some of them are already in the tree | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-029 | No fuzz target covers .cnj documents or the JSON parser, and .cnj files are read whole with no size bound | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-030 | Model drawing on SOFTWARE, SDL_GPU, WEBGPU, FNA3D and DIRECTX9 is checked in CI at most at the stride draw boundary; the shared Model programs and the whole-corpus L7 rung run in CI for OPENGLES3 only | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-031 | The real-world Khronos comparison matrix passes on one surviving renderer; GLTF ROBUST row 12 needs four | Testing & evidence | open | n/a | recorded by CNA |
CNA-VGAP-032 | Input behaviour on real hardware is unverified: the 15-task manual hardware checklist is blocked, and the focus-loss keyboard test checks only the bridge's accumulator | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-033 | The three user-reported audio release blockers (high pitch, missing files, distortion) have never been compared against the original game | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-034 | CNA's audio plan carries two undiagnosed test-suite crashes (AUD-15-021, AUD-15-022) that have not been re-run at this snapshot | Testing & evidence | open | n/a | recorded by CNA |
CNA-VGAP-035 | DynamicSoundEffectInstance's PendingBufferCount accounting is untested when the stream resamples | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-036 | Android sensor conventions are unverified on hardware, and the default landscape remap is a reflection, not a rotation | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-037 | CNA::Devices extension tests use canned platforms or check only that the host call does not fail, and exist only in a CNA_DEVICES=ON build | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-039 | The process-spawning networking tests are compiled out on Windows, Emscripten, Android and iOS, and multi-machine behaviour has no test evidence | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-041 | The CNA_STRICT_XNA_API purity check calls only the Microsoft::Devices sensor surface and one SamplerStateCollection indexer | Testing & evidence | narrowed | n/a | source-verified |
CNA-VGAP-044 | CnaTests' Wine test route does not prove which Direct3D implementation served a run | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-046 | No automatic workflow runs the XNA reference-image corpus comparisons other than the EasyGL line pair, or the FNA value-differential harness | Testing & evidence | narrowed | n/a | source-verified |
CNA-VGAP-047 | Test strength is never measured automatically: no coverage build, no scheduled fuzzing campaign and no mutation testing | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-049 | The XNA API census (331/331 types, 3,627/3,627 members) measures representation only and is a manually run script | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-051 | No CI configuration builds diagnostics at STATS or FULL or enables CNA_BUILD_INSPECTOR, so most Diagnostics tests and every Inspector test are never compiled in CI | Diagnostics & Inspector | open | n/a | source-verified |
CNA-VGAP-052 | The Inspector's WebBridge security checks and Agent::Stop paths have no automated test | Diagnostics & Inspector | open | n/a | source-verified |
CNA-VGAP-053 | No CI workflow builds the C API library or runs its tests | C API & bindings | open | n/a | source-verified |
CNA-VGAP-054 | Destroying a caller-created GraphicsDevice while resources on it are still live is allowed by cna_graphics_device_destroy but untested | C API & bindings | open | n/a | source-verified |
CNA-VGAP-056 | The checked-in shader bytecode headers of SDL_GPU and DIRECTX9 come from generators that no CTest or workflow runs and that have no --check mode | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-057 | EasyGL Task 933 (a full-backbuffer SpriteBatch draw breaking that frame's 3D rendering) rests on one recorded sample run: no test reproduces the reported scene, and the migration guide still lists it as open | Testing & evidence | narrowed | n/a | source-verified |
CNA-VGAP-059 | The VibrateController shutdown-ordering tests never open a haptic device or destroy a Game-owned SDL3 platform after SDL_Quit, and CNA's own plan keeps SDLCORE-011 open for that reason | Testing & evidence | open | n/a | source-verified |
CNA-VGAP-060 | HeadlessPlatform::InjectEvent, the display-free event seam, has no caller and no test | Platforms | open | n/a | source-verified |
CNA-VGAP-061 | SDL_GPU is the default renderer on Windows, macOS and iOS but is not qualified there | Testing & evidence | open | n/a | recorded by CNA |