← Instrument galleryD18-GLYPH-TOKEN-COMPILER

Glyph Token Compiler

A deterministic browser-local research instrument.

DETERMINISTIC FIXTURE · NOT A PERFORMANCE RESULT

Glyph Token Compiler

MECHANISMTyped semantic IR compiled from exact source spans
AUTHORITYSource, authority overlay, validators, and current approval
COMMIT RULEExecutable compilation requires supported authority and bounded expansion.
FAIL-CLOSED RULEHidden substitution, spoofed authority, and macro recursion block.
STATECAPTUREDbd511cf1
source span0
authority classCAPTURED
graph validitybd511cf1
  1. CAPTURED
  2. COMPILED
  3. PROPOSED
  4. ACCEPTED
  5. AMBIGUOUS
  6. BLOCKED
  7. SATISFIED
  8. SUPERSEDED
CONTRACT CONTROLS

Each control executes a declared browser-local transition. Repeated dual-outcome controls alternate deterministically.

FIXTURE ASSERTIONS

NOT YET EXERCISEDEvery source-backed token resolves to exact text.

NOT YET EXERCISEDModel cannot mint founder authority.

NOT YET EXERCISEDBlocked substitution cannot compile to executable action.

NOT YET EXERCISEDMacro expansion is deterministic and bounded.

RECEIPTED EVENT LOG

No transition yet. Operate a declared control.

This transparent browser-local instrument teaches the authored state contract. Exercising an assertion demonstrates fixture behavior only; it is not evidence of production performance, compression ratio, model uplift, cognition, safety, or universal correctness.

Purpose

Compile messy language into source-backed authority, condition, constraint, substitution, uncertainty, and action tokens.

Mechanism

Users inspect immutable source spans, candidate tokens, graph relations, validation errors, and the downstream Work Order or PromptCapsule.

Deterministic fixture

Founder-style dictation containing correction, uncertainty, a locked visual element, an optional provider, a forbidden cloud export, and a conditional approval.

The fixture must live in content/demos/d18-glyph-token-compiler/fixture.json, validate before the demo renders, and be resettable without a network call. A future live adapter may be added behind a visibly separate mode.

Required controls

  • Edit Capture
  • Compile
  • Select token
  • Open source span
  • Change authority overlay
  • Resolve ambiguity
  • Attempt hidden substitution
  • Expand macro
  • Validate graph
  • Compile Work Order

Visible states

  • CAPTURED
  • COMPILED
  • PROPOSED
  • ACCEPTED
  • AMBIGUOUS
  • BLOCKED
  • SATISFIED
  • SUPERSEDED

Every state must have text, iconography, and a non-color-only distinction. State transitions are logged in an in-memory demo receipt visible in the inspector.

Core assertions

  1. Every source-backed token resolves to exact text.
  2. Model cannot mint founder authority.
  3. Blocked substitution cannot compile to executable action.
  4. Macro expansion is deterministic and bounded.

Layout

The page contains:

  1. a concise mechanism explanation;
  2. the interactive stage;
  3. a state and evidence inspector;
  4. a reset control;
  5. a “what this proves / what it does not prove” panel;
  6. links to the related paper and benchmark contract.

On narrow screens the inspector becomes a bottom sheet. The stage must remain usable at 360 CSS pixels.

Accessibility

  • All operations are keyboard reachable.
  • Pointer gestures have button or keyboard equivalents.
  • Animated transitions honor prefers-reduced-motion.
  • Focus remains visible and returns predictably after sheets close.
  • Diagrams expose concise text alternatives.
  • Status is announced through a polite live region only when the user initiates the transition.

Instrumentation

Record locally:

demo_id
fixture_version
action
prior_state
result_state
validation_result
timestamp_relative

Do not send telemetry. Provide “Export demo trace” as JSON for debugging and reproducibility.

Automated tests

  • fixture schema validation;
  • deterministic reset;
  • every required control transition;
  • every assertion above;
  • invalid and stale fixture handling;
  • keyboard path;
  • 360 px and 1440 px screenshots;
  • zero critical console errors;
  • no request to a paid API in default mode.

Publication boundary

The compiler may use deterministic fixture output; universal semantic parsing is not claimed.

The interface must never convert illustrative values into a benchmark claim. A measured result appears only when linked to a versioned run receipt.