| Portable accessibility semantics, HTML lowering and foreign browser oracles | verified | synthesis |
| AccessKit as a cross-platform accessibility tree and semantic UI test surface | reviewed | repository |
| Adobe UXP host integration, permissions, mutation boundaries, and distribution | reviewed | standard |
| Forward affine image-paint coordinates and inverse sampling | reviewed | standard |
| Affinity interchange surface and NUIF adoption path | reviewed | standard |
| Alembic as a baked, time-sampled, non-procedural interchange cache | reviewed | implementation |
| Tree differencing with moves (Chawathe et al. 1996, GumTree 2014) and structural merge/diff tools (Mergiraf, difftastic) | reviewed | paper |
| Automerge and Yjs CRDT architectures | reviewed | repository |
| Content-addressed behavior attachment without canonical-schema coupling | verified | synthesis |
| Bounded portable behavior through deterministic state-machine traces | verified | synthesis |
| Bidirectional evaluation with direct manipulation (evaluation update for a general-purpose functional language) | reviewed | paper |
| Blender DNA/SDNA self-describing files, RNA/operators, memfile undo and headless regression testing | reviewed | repository |
| Canonical serialization rules - JCS (RFC 8785), CBOR deterministic encoding (RFC 8949 s4.2, CDE, dCBOR) and lessons from XML C14N | reviewed | standard |
| Canva Apps SDK and Connect API adoption surface | reviewed | standard |
| Cargo workspace layout, xtask automation, dependency/API linting, reproducible builds and test determinism for engine + apps + tests + fuzz | reviewed | synthesis |
| Cassius, VizAssert and Troika - SMT formalisation of CSS layout and machine-checkable visual assertions | reviewed | paper |
| Cassowary incremental linear constraint solving for user interfaces | reviewed | paper |
| CBOR integer/float identity and deterministic encoded-key ordering | verified | standard |
| Chromium DevTools Protocol as a source-backed UI observation surface | reviewed | standard |
| Undo models - Command and Memento patterns, event sourcing, and undo in Blender, Photoshop and Figma | reviewed | synthesis |
| Community Specification license and repository governance | verified | standard |
| Confidence calibration, risk coverage and explicit abstention | reviewed | synthesis |
| Content-addressed Merkle DAGs for immutable resources and snapshots | reviewed | standard |
| A highly-available move operation for replicated trees (Kleppmann, Mulligan, Gomes, Beresford) | reviewed | paper |
| CSS Flexbox §9, Grid §12 and Box Sizing 3/4 - algorithm structure, phases and known implementation divergences | reviewed | standard |
| CSS formatting tree, Flexbox and Grid algorithms | reviewed | standard |
| Delta debugging and test-case reduction (ddmin, HDD, C-Reduce, Hypothesis choice-sequence shrinking, proptest shrinking) | reviewed | synthesis |
| Direct dependency and implementation-subsystem alternatives audit | verified | synthesis |
| Shared and vendor-specific layout conventions across design editors | reviewed | synthesis |
| Design2Code real-world screenshot-to-code benchmark | reviewed | paper |
| Deterministic CBOR profiles (CDE, draft-ietf-cbor-serialization, dCBOR) and numeric canonicalization for a binary and a text profile with one hash | reviewed | standard |
| Deterministic simulation testing (FoundationDB, TigerBeetle VOPR, Antithesis) | reviewed | synthesis |
| Source-built developer installation and operating-system trust boundaries | verified | synthesis |
| Differential testing (McKeeman, Csmith) and browser-referenced layout oracles (Taffy and Yoga gentest, R2Z2, X-PERT, WPT) | reviewed | synthesis |
| Design Tokens Format Module 2025.10 | reviewed | standard |
| egui, eframe, egui-wgpu and the egui_kittest headless harness | reviewed | repository |
| Deterministic CBOR, Protobuf unknown fields and Kiwi schema evolution | reviewed | standard |
| EPUB 3.3 OCF package and resource-manifest discipline | reviewed | standard |
| Figma engineering on multiplayer synchronization, fractional indexing and the custom renderer | reviewed | article |
| Figma Plugin API and REST API as evidence for a programmable, testable editor surface | reviewed | standard |
| Figma Design tools, keyboard shortcuts and canvas interactions relevant to a test editor | reviewed | article |
| Figma UI3 design editor layout, panels and Design-tab sections | reviewed | article |
| Figma public plugin/document node model | reviewed | standard |
| FLIP perceptual difference evaluator for rendered images (LDR-FLIP, HDR-FLIP, NVIDIA reference implementation) | reviewed | paper |
| Flutter box-constraint layout model | reviewed | standard |
| Requested font identity, replacement resources and item-level fallback fidelity | reviewed | synthesis |
| Fontations read-fonts and Skrifa OpenType stack | verified | implementation |
| Coverage-guided fuzzing of structured inputs (libFuzzer, AFL++, cargo-fuzz, arbitrary, grammar fuzzing, parser resource limits) | reviewed | synthesis |
| GitBook bidirectional Git synchronization and content structure | verified | article |
| GitHub Pages publication through Actions artifacts | verified | article |
| GitHub prerelease delivery, artifact provenance, and desktop signing boundaries | verified | synthesis |
| GitHub Wiki repository and indexing boundaries | verified | article |
| KHR_interactivity portable behavior graphs | reviewed | standard |
| Khronos glTF Validator report format, sample-asset corpus and extension prefix registry as a conformance kit | reviewed | implementation |
| glTF core and extension registry model | reviewed | standard |
| Godot text scene format, resource identity and missing-type preservation | reviewed | repository |
| Golden-master (characterization) and snapshot testing with insta, Jest and deterministic rendering baselines | reviewed | synthesis |
| Sources of nondeterminism in GPU rendering and determinism tiers for conformance | reviewed | synthesis |
| HarfBuzz shaping and Unicode text algorithms | reviewed | standard |
| Houdini procedural networks, cooking, dirty propagation and digital assets | reviewed | implementation |
| Hydra scene index, render delegate abstraction, dirty tracking and image-diff testing | reviewed | implementation |
| Rust GUI toolkits compared for a headless-testable native editor (iced, Slint, GPUI, Makepad, Floem, Dioxus Native, egui, Masonry) | reviewed | synthesis |
| Industry Foundation Classes interoperability standard | reviewed | standard |
| InferUI robust relational layout synthesis (OOPSLA 2018), with Scout (CHI 2020) and Rewire (CHI 2018) | reviewed | paper |
| IPLD DAG-CBOR strictness rules and content identifiers as a hash-bearing CBOR profile | reviewed | standard |
| Jetpack Compose constraint and single-pass layout model | reviewed | standard |
| JSON Patch (RFC 6902), JSON Pointer (RFC 6901) and JSON Merge Patch (RFC 7396) versus identity-addressed operations | reviewed | standard |
| Lens laws from Foster et al. (TOPLAS 2007) and Boomerang (POPL 2008) to symmetric, edit and delta lenses | reviewed | paper |
| libtest-mimic, datatest-stable, trybuild, expect-test and directory-driven fixture conventions (resvg, Taffy, rust-analyzer, Slint) | reviewed | synthesis |
| Sibling order representation for authored documents; fractional indexing, list CRDT positions and anchor-based operations compared | reviewed | synthesis |
| Bounded live Chromium capture transport and executable baseline | verified | synthesis |
| LoRA low-rank parameter adaptation | reviewed | paper |
| Lottie and Rive portable animation/runtime models | reviewed | standard |
| LPIPS learned perceptual image similarity | reviewed | paper |
| macOS Metal dependency and Rust uninhabited-static future incompatibility | verified | repository |
| Editor stack decision: Masonry on imaging with Vello and AccessKit, re-verified against the 0.4.0 release and the main branch | reviewed | synthesis |
| Masonry, Xilem and the masonry_testing TestHarness | reviewed | repository |
| MaterialX shader generation and render test suite across backends | reviewed | implementation |
| MaterialX open graph standard for cross-renderer content | reviewed | standard |
| Stateless MCP agent adapter over the authoritative NUIF core | verified | synthesis |
| mdBook static documentation and generated navigation | verified | implementation |
| Metamorphic testing and metamorphic relations for graphics, layout and round-trip oracles | reviewed | synthesis |
| MLIR multi-level intermediate representation and dialect conversion | reviewed | standard |
| Model-agnostic screenshot reconstruction, evaluation and adaptation plan | reviewed | synthesis |
| Datasheets and model cards for reconstruction artifacts | reviewed | synthesis |
| NUIF naming collision reconnaissance | reviewed | synthesis |
| OCI content descriptors and verification-before-consumption | reviewed | standard |
| OCR detection and recognition as separate reconstruction observations | reviewed | synthesis |
| OmniParser screen-region detection and icon captioning | reviewed | implementation |
| W3C Open UI Community Group component anatomy research | reviewed | standard |
| OpenFig reverse engineering of the Figma .fig Kiwi format | reviewed | repository |
| OpenPencil programmable editor, scene graph, Figma codec and DOM/CSS conversion | reviewed | repository |
| OpenTimelineIO adapters, per-schema versioning with upgrade/downgrade functions and UnknownSchema preservation | reviewed | implementation |
| OpenType embedding permissions and reproducible font resources | reviewed | standard |
| OpenUSD composition strength ordering, crate binary format, flattening and validation | reviewed | implementation |
| OpenUSD composition, layers, references and variants | reviewed | standard |
| Operational transformation (dOPT, GOT, Jupiter, Wave) versus CRDTs (Shapiro et al. 2011) - convergence conditions and hosting either above a canonical document | reviewed | synthesis |
| Patch theory in Darcs and Pijul, and the categorical theory of patches | reviewed | synthesis |
| Penpot workspace UI, plugin API and RPC automation surface | reviewed | repository |
| Penpot v3 package model and official builder | verified | repository |
| Pix2Struct screenshot parsing as visual-language pretraining | reviewed | paper |
| PNG third-edition preservation and deterministic decode inputs | reviewed | standard |
| Property-based and model-based testing of stateful systems (QuickCheck, eqc_statem, quickcheck-state-machine, proptest-state-machine) | reviewed | synthesis |
| Content-addressed provider manifests and external AI bills of materials | reviewed | synthesis |
| QLoRA memory-efficient quantized fine-tuning | reviewed | paper |
| React JSX and DOM element source surface | verified | standard |
| Group-isolated reconstruction corpora and auditable benchmark snapshots | reviewed | synthesis |
| Skia, WebRender, Servo pipeline and wgpu rendering architectures | reviewed | repository |
| Bounded JSON, CBOR and stream ingestion for untrusted NUIF inputs | verified | implementation |
| Resource-aware NUIF packaging and source-backed capture synthesis | reviewed | synthesis |
| resvg regression suite, resvg-test-suite reference corpus, usvg lowering and the SVG support table | reviewed | repository |
| Retentive Lenses | reviewed | paper |
| Reverse engineering flexible GUI layouts from observations | reviewed | paper |
| Rust SDK facade and staged C, Swift and Kotlin binding boundary | verified | synthesis |
| Rust snapshot, property-based, fuzzing, mutation, runner, benchmark and coverage tooling for round-trip trials | reviewed | synthesis |
| Rust toolchain pin and minimum supported Rust version policy for the NUIF workspace | reviewed | synthesis |
| Admission criteria for Protobuf, FlatBuffers and Cap’n Proto as NUIF codecs | reviewed | synthesis |
| Scholarly citation, archival DOI, preprint and software-paper workflow | verified | synthesis |
| ScreenAI element typing, localization and screen annotation | reviewed | paper |
| Sequence-level knowledge distillation | reviewed | paper |
| Bounded typed YAML parsing with serde-saphyr | verified | implementation |
| Sketch-n-Sketch (PLDI 2016, UIST 2016, UIST 2019) - trace-based program updates and output-directed programming for SVG | reviewed | paper |
| Skia GM tests, DM, Skia Gold triage and fuzzy matching; browser reftests (WPT, Chromium, Firefox) | reviewed | implementation |
| SSIM, MS-SSIM, PSNR and exact-pixel comparison policies for rendering tests | reviewed | paper |
| Standards-development venue requirements for an interface interchange specification | verified | synthesis |
| ISO 10303 STEP product-data exchange architecture | reviewed | standard |
| Structured differencing and three-way merge | reviewed | paper |
| Svelte component AST, retentive syntax and compiler-oracle boundary | verified | standard |
| SVG 2 vector graphics model | reviewed | standard |
| SwiftUI proposal-response layout model | reviewed | standard |
| Symmetric Lenses | reviewed | paper |
| Browser-derived layout fixtures in Taffy and Yoga (Chrome as reference oracle) | verified | repository |
| Taffy Rust CSS layout engine | reviewed | repository |
| Text rendering reproducibility (shaping determinism, HarfBuzz test format, FreeType hinting and anti-aliasing modes, browser differences, pinning strategy) | verified | synthesis |
| Tree-sitter incremental concrete syntax trees | verified | repository |
| ttf-parser retirement after RUSTSEC-2026-0192 | verified | implementation |
| Screenshot-to-code and interaction-inference limits | reviewed | paper |
| W3C UI Specification Schema Community Group | reviewed | standard |
| Unity prefab overrides, YAML identity and UnityYAMLMerge | reviewed | implementation |
| Preservation of unknown entity kinds and extension payloads; OTIO UnknownSchema, Godot MissingNode, USD typeName, glTF extensions, Protocol Buffers unknown fields and CBOR tag 24 compared | reviewed | synthesis |
| Unreal Engine asset versioning, transactions, automation framework and asset diffing | reviewed | implementation |
| Vello test infrastructure (vello_tests, vello_sparse_tests) and the vello_cpu renderer as a deterministic reference path | reviewed | repository |
| Vello Rust 2D renderer | reviewed | repository |
| VisRefiner difference-aligned supervision and render-feedback refinement | reviewed | paper |
| W3C Community Group incubation and Recommendation-track requirements | verified | standard |
| WebAssembly Component Model and WIT | reviewed | standard |
| Headless execution of the Rust engine in browsers, Node and WASI runtimes for differential tests | reviewed | synthesis |
| Finite browser lowering for portable behavior effects | verified | synthesis |
| WebGPU security and robustness model | reviewed | standard |
| WebRender wrench reftest harness, reftest.list syntax and RON scene capture/replay | reviewed | implementation |
| WebSight synthetic screenshot and HTML pairs | reviewed | dataset |
| Yoga embeddable Flexbox layout engine | reviewed | repository |