The public catalog and distinct architectural objects cover data, compute, sessions, cryptography and ledger; evidence stays cross-cutting.

Shared graphite, burgundy and copper presentation, including actual native response and error states. Human visual acceptance remains open.

Fixed context, capability rail, central object and inspector; local pane scrolling rather than a long desktop landing page.

Complete typed View/Action domains; parent and native affordances are projected from the same existing IR executor.

Closed catalog, bounded UTF-8 GET input, duplicate/unknown/control-byte refusal; no native operation is issued by search.

Select a map object or capability rail; native building blocks, contract, scope and next qualification remain visible.

Execute finalization, refusal and local replay; inspect the returned events and original proof bytes. The separate phase illustration describes selected source mechanisms.

Four staged visual phases, manual inspection, pause and static reduced-motion reading. CSS timing is not native protocol latency.

Existing read, read-only refusal and within-run replay; inspect fields and download exact response bytes.

Two isolated panes; differences in outcome, native error and receipt can be read directly. This is not a benchmark.

Mechanism phase navigation is read-only GET. Native response details describe observed adapter work; no invented internal event stream or rollback.

Unverified input cannot become a native/formal model claim; measured/simulated results are not inferred by this model.

Exact checked module, finite certificates, program identity and trusted-base assumptions are available in this evidence view.

Only public catalog, public UI model and allowlisted certificates are exposed. Private source, keys and operational records remain outside it.

Responsive reading layout, native links/forms, labels, focus and portrait mechanism diagrams; independent accessibility audit remains open.

Distinct native outcomes and transport/admission failures remain typed and visible. Broad durable runtime recovery is not qualified here.

Selected contract, authority, caller, reference workflow and acceptance criteria precede a customer pilot.

Compile pure Bool/Int functions, run typed inputs and download native proof frames. Data writers, GS customer sessions and external settlement retain their own integration boundaries.

The Lab exposes its final authenticated outcome and adapter observations. Full customer event lineage and durable recovery need their qualified callers.

Model, assumptions, DA, independent operators, source-bound network recovery and matched performance need their own artifacts.

UI measurements are scoped to exact artifacts and tested devices. Universal frame rate, energy or memory claims remain open.

Operator, hosting, authority, dependencies, installation and recovery require evidence beyond a public interface.

Visual quality, model proof and local tests do not determine valuation, revenue or competitive rank.