diff --git a/scripts/verify_local.py b/scripts/verify_local.py
index d904bf31..9ae4c78e 100644
--- a/scripts/verify_local.py
+++ b/scripts/verify_local.py
@@ -118,13 +118,12 @@ def _base_checks(
         ),
         Check(
             "examples",
-            "README/API examples and example-app checks",
+            "example-app checks",
             (
                 py,
                 "-m",
                 "pytest",
                 "-q",
-                "tests/test_docs_examples.py",
                 "tests/test_example_apps.py",
             ),
             requires_modules=("pytest",),
@@ -146,8 +145,6 @@ def _base_checks(
                 "tests/test_scatter.py::test_to_html_escapes_user_strings",
                 "tests/test_components.py::test_component_to_html_escapes_user_strings_across_public_surface",
                 "tests/test_components.py::test_component_to_html_path_keeps_existing_file_on_atomic_replace_failure",
-                "tests/test_docs_examples.py::test_readme_documents_standalone_html_security_contract",
-                "tests/test_docs_examples.py::test_production_docs_capture_html_export_dom_text_contract",
             ),
             requires_modules=("pytest",),
         ),
diff --git a/scripts/verify_sdist.py b/scripts/verify_sdist.py
index a991db75..daa872f2 100644
--- a/scripts/verify_sdist.py
+++ b/scripts/verify_sdist.py
@@ -126,7 +126,6 @@
     "tests/test_benchmark_environment.py",
     "tests/test_bench_pyplot_vs_matplotlib.py",
     "tests/test_check_regressions.py",
-    "tests/test_docs_examples.py",
     "tests/test_example_apps.py",
     "tests/test_type_surface.py",
     "tests/test_verify_benchmark_report.py",
diff --git a/tests/test_benchmark_environment.py b/tests/test_benchmark_environment.py
index b4f5130e..b1aa799e 100644
--- a/tests/test_benchmark_environment.py
+++ b/tests/test_benchmark_environment.py
@@ -158,16 +158,13 @@ def test_codspeed_animation_module_guards_backend_and_split_transport() -> None:
     assert "build_payload_split" in source
 
 
-def test_codspeed_dependency_is_declared_and_shared_by_ci_and_runbook() -> None:
+def test_codspeed_dependency_is_declared_and_used_by_ci() -> None:
     pyproject = (ROOT / "pyproject.toml").read_text(encoding="utf-8")
     workflow = (ROOT / ".github" / "workflows" / "codspeed.yml").read_text(encoding="utf-8")
-    runbook = (ROOT / "benchmarks" / "README.md").read_text(encoding="utf-8")
 
     assert "codspeed = [" in pyproject
     assert '"pytest-codspeed>=5,<6"' in pyproject
     assert '-e ".[dev,codspeed]"' in workflow
-    assert '-e ".[dev,codspeed]"' in runbook
-    assert "--codspeed" in runbook
 
 
 def test_native_benchmark_reports_can_resolve_source_backend_metadata() -> None:
@@ -182,12 +179,10 @@ def test_native_benchmark_reports_can_resolve_source_backend_metadata() -> None:
 
 def test_scatter_native_exposes_reproducible_categorical_ceiling() -> None:
     source = (ROOT / "benchmarks" / "bench_scatter_native.py").read_text(encoding="utf-8")
-    runbook = (ROOT / "benchmarks" / "README.md").read_text(encoding="utf-8")
     assert "def gen_numpy_categories" in source
     assert "def _warm_production_path" in source
     assert '"--categorical-groups"' in source
     assert '"categorical_groups"' in source
-    assert "--categorical-groups 24" in runbook
 
 
 def test_interaction_browser_gates_cover_scatter_and_core_chart_families() -> None:
diff --git a/tests/test_check_regressions.py b/tests/test_check_regressions.py
index 4e2aaba2..a8f3d49d 100644
--- a/tests/test_check_regressions.py
+++ b/tests/test_check_regressions.py
@@ -23,21 +23,6 @@ def _load_regression_module():
 check_regressions = _load_regression_module()
 
 
-def test_committed_metrics_document_matches_baseline_contract() -> None:
-    expected = set(json.loads((ROOT / "benchmarks/baseline.json").read_text())["metrics"])
-    lines = (ROOT / "spec/benchmarks/metrics.md").read_text(encoding="utf-8").splitlines()
-    documented = {
-        cells[0]
-        for line in lines
-        if line.startswith("| ")
-        if len(cells := [cell.strip() for cell in line.strip("|").split("|")]) == 2
-        if cells[0] not in {"metric", "---"}
-    }
-
-    assert documented == expected
-    assert any(line.startswith("Source CI reports: commit ") for line in lines)
-
-
 def test_report_provenance_uses_latest_timestamp() -> None:
     first = {
         "environment": {
diff --git a/tests/test_claim_guardrails.py b/tests/test_claim_guardrails.py
index b189d219..93f1b7e9 100644
--- a/tests/test_claim_guardrails.py
+++ b/tests/test_claim_guardrails.py
@@ -24,20 +24,6 @@ def _write(tmp_path: Path, text: str) -> Path:
     return path
 
 
-def test_claim_guardrail_accepts_current_public_docs() -> None:
-    findings = check_claim_guardrails.check_claims(check_claim_guardrails._default_paths())
-
-    assert findings == []
-    assert check_claim_guardrails.ROOT / "pyproject.toml" in check_claim_guardrails._default_paths()
-    assert (
-        check_claim_guardrails.ROOT / "examples" / "reflex" / "README.md"
-        in check_claim_guardrails._default_paths()
-    )
-    assert (
-        check_claim_guardrails.ROOT / "docs" / "index.md" in check_claim_guardrails._default_paths()
-    )
-
-
 def test_claim_guardrail_rejects_broad_fastest_claim(tmp_path: Path) -> None:
     path = _write(tmp_path, "xy is the fastest charting library.\n")
 
@@ -166,10 +152,3 @@ def test_claim_guardrail_rejects_stale_repo_identity(tmp_path: Path) -> None:
     findings = check_claim_guardrails.check_claims([path])
 
     assert any("stale repository identity" in finding.message for finding in findings)
-
-
-def test_claim_guardrail_covers_security_and_contributing_docs() -> None:
-    defaults = check_claim_guardrails._default_paths()
-
-    assert check_claim_guardrails.ROOT / "SECURITY.md" in defaults
-    assert check_claim_guardrails.ROOT / "CONTRIBUTING.md" in defaults
diff --git a/tests/test_docs_examples.py b/tests/test_docs_examples.py
deleted file mode 100644
index 1dd63f7f..00000000
--- a/tests/test_docs_examples.py
+++ /dev/null
@@ -1,550 +0,0 @@
-from __future__ import annotations
-
-import ast
-import json
-import re
-from pathlib import Path
-from urllib.parse import unquote
-
-import pytest
-
-ROOT = Path(__file__).resolve().parents[1]
-SPEC_DOCS = ROOT / "spec"
-API_EXAMPLES = SPEC_DOCS / "api" / "api-examples.md"
-README = ROOT / "README.md"
-CONTRIBUTING = ROOT / "CONTRIBUTING.md"
-SECURITY = ROOT / "SECURITY.md"
-BENCHMARK_DOC = SPEC_DOCS / "benchmarks" / "results.md"
-PRODUCTION_DOC = SPEC_DOCS / "process" / "production-readiness.md"
-REFLEX_SHAPED_API_DOC = SPEC_DOCS / "design" / "reflex-shaped-api.md"
-EXPECTED_QUICK_REFERENCE = {
-    "Line": ("xy.line_chart", "xy.line"),
-    "Scatter": ("xy.scatter_chart", "xy.scatter"),
-    "Area": ("xy.area_chart", "xy.area"),
-    "Histogram": ("xy.histogram_chart", "xy.histogram"),
-    "Bar": ("xy.bar_chart", "xy.bar"),
-    "Column": ("xy.column_chart", "xy.column"),
-    "Grouped bars": ('mode="grouped"', "xy.bar_chart", "xy.bar"),
-    "Stacked bars": ('mode="stacked"', "xy.bar_chart", "xy.bar"),
-    "Normalized bars": ('mode="normalized"', "xy.bar_chart", "xy.bar"),
-    "Horizontal bars": ('orientation="horizontal"', "xy.bar_chart", "xy.bar"),
-    "Heatmap": ("xy.heatmap_chart", "xy.heatmap"),
-}
-
-LOCAL_MARKDOWN_LINK_RE = re.compile(r"!?\[[^\]]*\]\(([^)]+)\)")
-
-
-def test_spec_local_links_resolve() -> None:
-    broken: list[str] = []
-    for path in sorted(SPEC_DOCS.rglob("*.md")):
-        in_fence = False
-        for line_number, line in enumerate(path.read_text(encoding="utf-8").splitlines(), 1):
-            if line.lstrip().startswith("```"):
-                in_fence = not in_fence
-                continue
-            if in_fence:
-                continue
-            for match in LOCAL_MARKDOWN_LINK_RE.finditer(line):
-                raw_target = match.group(1).strip()
-                if raw_target.startswith("<") and raw_target.endswith(">"):
-                    raw_target = raw_target[1:-1]
-                target = raw_target.split(maxsplit=1)[0]
-                if target.startswith(("#", "/", "http://", "https://", "mailto:")):
-                    continue
-                target_path = unquote(target.split("#", 1)[0].split("?", 1)[0])
-                if not target_path:
-                    continue
-                resolved = (path.parent / target_path).resolve()
-                if not resolved.is_relative_to(ROOT) or not resolved.exists():
-                    broken.append(f"{path.relative_to(ROOT)}:{line_number}: {target}")
-    assert not broken, "broken local spec links:\n" + "\n".join(broken)
-
-
-def _python_examples(path: Path = API_EXAMPLES) -> list[tuple[str, str]]:
-    examples: list[tuple[str, str]] = []
-    heading = "intro"
-    in_python = False
-    code: list[str] = []
-    for line in path.read_text(encoding="utf-8").splitlines():
-        if in_python:
-            if line == "```":
-                in_python = False
-                examples.append((heading, "\n".join(code)))
-            else:
-                code.append(line)
-            continue
-        if line.startswith("#"):
-            heading = line.lstrip("#").strip()
-        elif line == "```python":
-            in_python = True
-            code = []
-    return examples
-
-
-def _quick_reference_rows() -> dict[str, str]:
-    rows: dict[str, str] = {}
-    in_table = False
-    for line in API_EXAMPLES.read_text(encoding="utf-8").splitlines():
-        if line == "## Chart Family Quick Reference":
-            in_table = True
-            continue
-        if in_table and line.startswith("## "):
-            break
-        if not in_table or not line.startswith("|"):
-            continue
-        cells = [cell.strip() for cell in line.strip("|").split("|")]
-        if not cells or cells[0] in {"Chart family", "---"}:
-            continue
-        rows[cells[0]] = line
-    return rows
-
-
-def _capture_final_expression(source: str) -> ast.Module:
-    module = ast.parse(source)
-    if module.body and isinstance(module.body[-1], ast.Expr):
-        module.body[-1] = ast.Assign(
-            targets=[ast.Name(id="__example_result__", ctx=ast.Store())],
-            value=module.body[-1].value,
-        )
-        ast.fix_missing_locations(module)
-    return module
-
-
-@pytest.mark.parametrize(("heading", "source"), _python_examples(), ids=lambda value: str(value))
-def test_api_example_builds_payload(heading: str, source: str) -> None:
-    namespace: dict[str, object] = {"__name__": f"xy_docs_example_{heading}"}
-
-    exec(compile(_capture_final_expression(source), str(API_EXAMPLES), "exec"), namespace)
-
-    result = namespace.get("__example_result__")
-    assert result is not None, f"{heading} example should end with a chart expression"
-    figure = result.figure() if hasattr(result, "figure") else result
-    if hasattr(figure, "build_payload"):
-        spec, blob = figure.build_payload()
-        json.dumps(spec, allow_nan=False)
-        assert spec["traces"], f"{heading} example produced no traces"
-        assert isinstance(blob, bytes)
-    else:
-        assert hasattr(figure, "figures") and figure.figures, (
-            f"{heading} example did not produce a chart"
-        )
-        for panel in figure.figures:
-            spec, blob = panel.build_payload()
-            json.dumps(spec, allow_nan=False)
-            assert spec["traces"], f"{heading} example produced no traces"
-            assert isinstance(blob, bytes)
-
-
-@pytest.mark.parametrize(
-    ("heading", "source"), _python_examples(README), ids=lambda value: str(value)
-)
-def test_readme_python_example_runs(
-    heading: str,
-    source: str,
-    tmp_path: Path,
-    monkeypatch: pytest.MonkeyPatch,
-) -> None:
-    monkeypatch.chdir(tmp_path)
-    namespace: dict[str, object] = {"__name__": f"xy_readme_example_{heading}"}
-    uses_pyplot_show = source.rstrip().endswith("plt.show()")
-    if uses_pyplot_show:
-        import xy.pyplot as pyplot
-
-        monkeypatch.setattr(pyplot, "show", lambda *_args, **_kwargs: None)
-
-    exec(compile(_capture_final_expression(source), str(README), "exec"), namespace)
-
-    result = namespace.get("__example_result__")
-    if uses_pyplot_show and result is None:
-        result = namespace.get("fig")
-    assert result is not None, f"{heading} README example should end with an expression"
-    if isinstance(result, str):
-        assert "xy.renderStandalone" in result
-        if "chart.html" in source:
-            assert (tmp_path / "chart.html").read_text(encoding="utf-8") == result
-        return
-    if not hasattr(result, "figure") and not hasattr(result, "build_payload"):
-        # pyplot-shim figures display like notebooks display them.
-        html = result._repr_html_()
-        assert html.startswith('<iframe class="xy-notebook-frame"'), (
-            f"{heading} README example produced no chart"
-        )
-        assert 'sandbox="allow-scripts"' in html
-        assert "&lt;!doctype html&gt;" in html
-        assert "xy.renderStandalone" in html
-        return
-    figure = result.figure() if hasattr(result, "figure") else result
-    assert hasattr(figure, "build_payload"), f"{heading} README example did not produce a chart"
-    spec, blob = figure.build_payload()
-    json.dumps(spec, allow_nan=False)
-    assert spec["traces"], f"{heading} README example produced no traces"
-    assert isinstance(blob, bytes)
-
-
-def test_api_examples_cover_current_2d_surface() -> None:
-    headings = {heading for heading, _source in _python_examples()}
-    assert {
-        "Small Business Chart",
-        "Line",
-        "Scatter",
-        "Area",
-        "Histogram",
-        "Bar",
-        "Column",
-        "Grouped Bars",
-        "Stacked Bars",
-        "Horizontal Bars",
-        "Heatmap",
-        "Composition API",
-    } <= headings
-
-
-def test_api_examples_keep_small_business_chart_coverage() -> None:
-    text = " ".join(API_EXAMPLES.read_text(encoding="utf-8").split())
-    assert "ordinary charts should stay boring to build" in text
-    assert "## Small Business Chart" in text
-    assert "Revenue vs pipeline" in text
-    assert "USD thousands" in text
-
-
-def test_api_examples_document_alpha_api_stability_boundary() -> None:
-    text = " ".join(API_EXAMPLES.read_text(encoding="utf-8").split())
-    required = [
-        "API Stability Notes",
-        "one public chart-building API: the declarative composition API",
-        "column-name resolution through `data=`",
-        "`on_hover` / `on_select` callbacks",
-        "core composition contract is now stabilizing",
-        "CSS/Tailwind-friendly DOM hooks",
-        "Callback payload details and future adapter packages may still evolve before 1.0",
-        "`chart.figure()` as an advanced escape hatch",
-        '`width="100%"`',
-        "Standalone `to_html(...)` needs no browser dependency",
-        "`to_png(..., engine=Engine.chromium)` uses an installed Chrome, Chromium, Edge, or",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_readme_documents_declarative_callback_serialization_boundary() -> None:
-    text = " ".join(README.read_text(encoding="utf-8").split())
-    required = [
-        "The composition contract we are locking is intentionally narrow and durable",
-        "opaque framework objects passed to `xy.legend(...)` / `xy.tooltip(...)`",
-        "without being serialized into standalone HTML",
-        "Python `on_*` callbacks stay widget-side",
-        "standalone HTML receives only the safe interaction flags",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_reflex_shaped_api_doc_tracks_locked_composition_contract() -> None:
-    text = " ".join(REFLEX_SHAPED_API_DOC.read_text(encoding="utf-8").split())
-    required = [
-        "Compatibility Contract",
-        "single public chart-building surface",
-        "internal `_figure.Figure` fluent API is no longer public",
-        "`Chart.figure()`",
-        "`Chart.widget()`",
-        "`Chart.show()`",
-        "`Chart.to_html(...)`",
-        "`Chart.to_png(...)`",
-        "Static HTML exports with no Python/Reflex runtime",
-        "No Reflex import in `xy`",
-        "Neutral `xy.chart(...)`",
-        "`xy.tooltip(...)`, `xy.modebar(...)`, `xy.theme(...)`",
-        "`class_name`, `class_names`, and `style` props",
-        "Python callbacks notebook-only",
-        "Pulling full Reflex into any install path",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_api_examples_quick_reference_matches_current_surface() -> None:
-    rows = _quick_reference_rows()
-    assert set(EXPECTED_QUICK_REFERENCE) <= set(rows)
-    for family, snippets in EXPECTED_QUICK_REFERENCE.items():
-        row = rows[family]
-        for snippet in snippets:
-            assert snippet in row, f"{family} row missing {snippet!r}"
-
-
-def test_api_examples_quick_reference_covers_registered_composition_marks() -> None:
-    from xy.components import _MARK_APPLIERS  # noqa: PLC2701 - docs sync guard.
-
-    rows = "\n".join(_quick_reference_rows().values())
-    for mark in sorted(_MARK_APPLIERS):
-        assert f"xy.{mark}" in rows
-        assert f"xy.{mark}_chart" in rows or mark in {"bar"}
-
-
-def test_security_policy_documents_standalone_html_contract() -> None:
-    text = " ".join(SECURITY.read_text(encoding="utf-8").split())
-    required = [
-        "Standalone HTML Safety And CSP",
-        "Content-Security-Policy",
-        "inline scripts",
-        "application wrapper that serves the",
-        "JavaScript bundle separately",
-        "titles, axis labels, trace names, legends, series names, and categories",
-        "non-finite JSON metadata is rejected",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_readme_documents_stability_and_backend_contract() -> None:
-    text = " ".join(README.read_text(encoding="utf-8").split())
-    required = [
-        "Stable vs. Experimental",
-        "Stable enough to build on today",
-        "Still experimental and expected to change before 1.0",
-        "| Surface | Current status | Notes |",
-        "Stable alpha",
-        "Composition API",
-        "single public chart-building API",
-        "Stabilizing alpha",
-        "declarative `xy.chart(...children)`",
-        "CSS/Tailwind hooks",
-        "Reflex integration",
-        "Adaptive drilldown internals",
-        "Experimental",
-        "Python 3.11+ package import",
-        "Implemented 2D chart families",
-        "native Rust kernels",
-        "required compute core",
-        "raises a clear error rather than degrading",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_contributing_documents_backend_check() -> None:
-    text = " ".join(CONTRIBUTING.read_text(encoding="utf-8").split())
-    required = [
-        "Check the active backend",
-        "is intentionally lightweight",
-        "does not import NumPy or load the native core",
-        "xy.kernels",
-        "print(k.BACKEND)",
-        "`BACKEND` is always `native`",
-        "raises `ImportError` with remediation",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_readme_documents_install_paths() -> None:
-    text = " ".join(README.read_text(encoding="utf-8").split())
-    required = [
-        "uv add xy",
-        "Published wheels contain the Python package, JavaScript client, and native Rust core",
-        "End users do not need Rust, Node, npm, or a CDN",
-    ]
-    for marker in required:
-        assert marker in text
-    assert "Install/backend quick matrix" not in text
-
-
-def test_readme_getting_started_includes_small_business_chart() -> None:
-    text = " ".join(README.read_text(encoding="utf-8").split())
-    required = [
-        "Create a small business chart",
-        "Revenue vs pipeline",
-        "USD thousands",
-        "xy.line(months, revenue",
-        "xy.line(months, pipeline",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_readme_architecture_diagram_covers_major_boundaries() -> None:
-    text = " ".join(README.read_text(encoding="utf-8").split())
-    required = [
-        "```mermaid",
-        "Python kernel / app process",
-        "User APIs",
-        "ColumnStore",
-        "rollback checkpoints",
-        "Compute core",
-        "native Rust C ABI",
-        "(required; no fallback)",
-        "Payload builder",
-        "Browser / notebook frontend",
-        "WebGL2 renderer",
-        "DOM chrome",
-        "Interaction layer",
-        "Adaptive large-data loop",
-        "direct, decimated",
-        "density, adaptive",
-        "spec JSON + typed buffers",
-        "no JSON number arrays",
-        "new screen-bounded payload",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_benchmark_docs_name_ci_report_artifacts() -> None:
-    text = " ".join(BENCHMARK_DOC.read_text(encoding="utf-8").split())
-    required = [
-        "benchmark-report",
-        "regression-benchmark-report",
-        "docs/benchmark_ci.md",
-        "spec/benchmarks/metrics.md",
-        "scatter.json",
-        "kernel.json",
-        "compact summary",
-        "row count",
-        "statuses/tiers",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_benchmark_docs_include_copyable_claim_taxonomy() -> None:
-    text = " ".join(BENCHMARK_DOC.read_text(encoding="utf-8").split())
-    required = [
-        "Copyable claim taxonomy",
-        "Use these shapes when turning benchmark rows into README text",
-        "Payload/prep comparison",
-        "Browser first paint",
-        "Large scatter overview",
-        "Line decimation",
-        "Install/import footprint",
-        "chart type, workload, mode, backend, metric, and render target",
-        "it is not drawing 100M exact markers",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_docs_name_benchmark_harness_shortcut() -> None:
-    readme = " ".join(README.read_text(encoding="utf-8").split())
-    production = " ".join(PRODUCTION_DOC.read_text(encoding="utf-8").split())
-    contributing = " ".join(
-        (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8").split()
-    )
-
-    for text in (readme, production, contributing):
-        assert "make check-benchmark-harness" in text
-    assert "environment metadata" in readme
-    assert "report-schema validation" in production
-    assert "regression comparison scripts" in contributing
-
-
-def test_docs_name_claim_guardrail_shortcut() -> None:
-    readme = " ".join(README.read_text(encoding="utf-8").split())
-    production = " ".join(PRODUCTION_DOC.read_text(encoding="utf-8").split())
-    contributing = " ".join(
-        (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8").split()
-    )
-
-    for text in (readme, production, contributing):
-        assert "make check-claims" in text
-        assert "make check-docs" in text
-    assert "Claim guardrails" in production
-    assert (
-        "Public docs and package metadata avoid broad, unqualified performance claims" in production
-    )
-    assert "README/API docs, example snippets, or public benchmark wording" in production
-    assert "public-facing text" in readme
-
-
-def test_production_docs_include_focused_gate_matrix() -> None:
-    text = " ".join(PRODUCTION_DOC.read_text(encoding="utf-8").split())
-    required = [
-        "Changed surface",
-        "Focused gate",
-        "README/API prose, examples, public benchmark wording",
-        "`make check-docs`",
-        "Public validation, error messages, builder rollback, LOD/drill mutation boundaries, chart/widget caching",
-        "`make check-errors`",
-        "Public exports, lazy import mappings, component factories, public annotations",
-        "`make check-api`",
-        "Import-time budget, `xy.__init__`, dependency boundaries, widget/export/backend import boundaries",
-        "`make check-import`",
-        "Standalone HTML export, path writes, user text, tooltips, legends, browser DOM insertion",
-        "`make check-security`",
-        "Benchmark harness code, environment metadata, report schema, regressions",
-        "`make check-benchmark-harness`",
-        "CI/release workflows, artifact upload/download, no-Rust clear-error jobs",
-        "`make check-ci`",
-        "Source distributions and wheels",
-        "`make check-sdist` and `make check-wheel`",
-        "Production-facing PR",
-        "`make check-full`",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_production_docs_name_ci_workflow_gate_shortcut() -> None:
-    text = " ".join(PRODUCTION_DOC.read_text(encoding="utf-8").split())
-    required = [
-        "CI/release workflows",
-        "Hard gates, non-blocking benchmarks",
-        "trusted publishing",
-        "`make check-ci`",
-        "benchmark artifact upload/download",
-        "no-Rust clear-error jobs",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_docs_name_split_browser_hardening_gates() -> None:
-    readme = " ".join(README.read_text(encoding="utf-8").split())
-    production = " ".join(PRODUCTION_DOC.read_text(encoding="utf-8").split())
-    contributing = " ".join(
-        (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8").split()
-    )
-
-    step_names = [
-        "Browser lifecycle smoke (Chromium)",
-        "Browser visual regression smoke (Chromium)",
-        "Browser interaction stress smoke (Chromium)",
-    ]
-    scripts = [
-        "scripts/reflex_lifecycle_smoke.py",
-        "scripts/visual_regression_smoke.py",
-        "scripts/interaction_stress_smoke.py",
-    ]
-    for text in (readme, production, contributing):
-        assert "make check-browser" in text
-        for step_name in step_names:
-            assert step_name in text
-    for text in (production, contributing):
-        for script in scripts:
-            assert script in text
-
-
-def test_production_docs_define_sdist_wheel_boundary() -> None:
-    text = " ".join(PRODUCTION_DOC.read_text(encoding="utf-8").split())
-    required = [
-        "Source distributions include the release support surface",
-        "example apps' source (FastAPI and Reflex)",
-        "Wheels must stay package-only",
-        "docs, tests, benchmarks, scripts, and the `examples/` apps are sdist-only",
-        "Platform wheel contains package-only files",
-        "No-toolchain wheel contains package-only files",
-    ]
-    for marker in required:
-        assert marker in text
-
-
-def test_production_docs_capture_html_export_dom_text_contract() -> None:
-    text = " ".join(PRODUCTION_DOC.read_text(encoding="utf-8").split())
-    required = [
-        "HTML export safety",
-        "Inline JSON/script escaping, atomic path writes, hostile user strings, and browser client text-node insertion",
-        "`make check-security`",
-        "The browser client inserts user-facing text with `textContent` or text nodes",
-        "HTML parser sinks such as `innerHTML` are reserved for fixed internal icons",
-        "not titles, labels, legends, categories, or tooltips",
-    ]
-    for marker in required:
-        assert marker in text
diff --git a/tests/test_lod.py b/tests/test_lod.py
index e8b641c4..756765de 100644
--- a/tests/test_lod.py
+++ b/tests/test_lod.py
@@ -1,14 +1,10 @@
 from __future__ import annotations
 
-from pathlib import Path
-
 import numpy as np
 import pytest
 
 from xy import lod
 
-ROOT = Path(__file__).resolve().parents[1]
-
 
 def test_viewport_request_normalizes_ranges_and_clamps_screen_shape() -> None:
     request = lod.ViewportRequest.from_client(10.0, -2.0, 5.0, 1.0, 0, 10_000)
@@ -197,26 +193,6 @@ def add_encoded(self, column):  # type: ignore[no-untyped-def]
     assert {"offset", "scale"} <= set(calls[0]["meta"])
 
 
-def test_lod_architecture_doc_names_shared_extension_points() -> None:
-    text = (ROOT / "spec" / "design" / "lod-architecture.md").read_text(encoding="utf-8")
-
-    for marker in (
-        "ViewportRequest.from_client",
-        "plan_view_lod",
-        "encode_window_xy_columns",
-        "add_window_xy",
-        "BufferWriter.add_encoded",
-        "sample_rows_for_target",
-        "Line and area zoom",
-        "local_log_density",
-        "ohlc-buckets",
-        "box-buckets",
-        "T6",
-        "invalid requests do not mutate",
-    ):
-        assert marker in text
-
-
 @pytest.mark.parametrize(
     ("kwargs", "message"),
     [
diff --git a/tests/test_static_client_security.py b/tests/test_static_client_security.py
index 4693b100..5e3aced9 100644
--- a/tests/test_static_client_security.py
+++ b/tests/test_static_client_security.py
@@ -111,13 +111,6 @@ def test_chrome_visual_defaults_are_a_defeatable_where_stylesheet() -> None:
     assert 'btn.classList.toggle("xy-active"' in _CLIENT_SRC[1]
 
 
-def test_normative_styling_spec_tracks_responsive_theme_tokens() -> None:
-    styling = _read(ROOT / "spec/api/styling.md")
-    assert "--chart-tick-label-max-width" in styling
-    normalized_styling = " ".join(styling.split())
-    assert "badges to `rgba(30,35,44,.88)` bg / `#f8fafc` text" in normalized_styling
-
-
 def test_client_user_text_surfaces_use_text_nodes_not_html() -> None:
     """User labels may be hostile strings; the client must never parse them."""
     required_text_sinks = (
diff --git a/tests/test_type_surface.py b/tests/test_type_surface.py
index 4fc0d58a..190dd663 100644
--- a/tests/test_type_surface.py
+++ b/tests/test_type_surface.py
@@ -208,10 +208,6 @@ def test_chart_dom_slots_are_public_styling_contract() -> None:
     assert len(components.CHART_DOM_SLOTS) == len(set(components.CHART_DOM_SLOTS))
     assert all(slot == slot.lower() and " " not in slot for slot in components.CHART_DOM_SLOTS)
 
-    design = (ROOT / "spec" / "design" / "reflex-shaped-api.md").read_text(encoding="utf-8")
-    for slot in components.CHART_DOM_SLOTS:
-        assert f"`{slot}`" in design
-
 
 def test_chart_class_names_are_limited_to_public_dom_slots() -> None:
     chart = xy.chart(
diff --git a/tests/test_verify_local.py b/tests/test_verify_local.py
index 4772687f..7e41a0b5 100644
--- a/tests/test_verify_local.py
+++ b/tests/test_verify_local.py
@@ -20,7 +20,6 @@ def _load_verify_local_module():
 
 verify_local = _load_verify_local_module()
 ROOT = Path(__file__).resolve().parents[1]
-SPEC_DOCS = ROOT / "spec"
 
 
 def test_default_selection_is_quick_checks_only() -> None:
@@ -84,10 +83,7 @@ def test_example_checks_are_known_as_targeted_gate() -> None:
     selected = verify_local.select_checks(checks, only={"examples"})
 
     assert [check.name for check in selected] == ["examples"]
-    assert selected[0].command[-2:] == (
-        "tests/test_docs_examples.py",
-        "tests/test_example_apps.py",
-    )
+    assert selected[0].command[-1:] == ("tests/test_example_apps.py",)
     assert selected[0].requires_modules == ("pytest",)
 
 
@@ -368,7 +364,6 @@ def test_dry_run_includes_examples_gate(capsys) -> None:
     out = capsys.readouterr().out
     assert rc == 0
     assert "examples" in out
-    assert "tests/test_docs_examples.py" in out
     assert "tests/test_example_apps.py" in out
 
 
@@ -470,7 +465,7 @@ def test_makefile_exposes_sdist_verification_shortcut() -> None:
     assert "make check-sdist" in makefile
 
 
-def test_contributor_setup_builds_native_core_and_docs_use_it() -> None:
+def test_contributor_setup_builds_native_core() -> None:
     makefile = (ROOT / "Makefile").read_text(encoding="utf-8")
     setup_recipe = makefile.split("setup:\n", 1)[1].split("\n\n", 1)[0]
 
@@ -478,15 +473,6 @@ def test_contributor_setup_builds_native_core_and_docs_use_it() -> None:
     assert 'uv pip install -e ".[dev]"' in setup_recipe
     assert "cargo build --release" in setup_recipe
 
-    contributor_docs = (
-        (ROOT / "CONTRIBUTING.md").read_text(encoding="utf-8"),
-        (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8"),
-        (ROOT / "README.md").read_text(encoding="utf-8"),
-        (ROOT / "docs" / "api-reference" / "contributing.md").read_text(encoding="utf-8"),
-    )
-    for text in contributor_docs:
-        assert "make setup" in text
-
 
 def test_makefile_exposes_wheel_verification_shortcut() -> None:
     makefile = (ROOT / "Makefile").read_text(encoding="utf-8")
@@ -605,132 +591,6 @@ def test_makefile_exposes_claim_guardrail_shortcut() -> None:
     assert "public performance-claim guardrails" in makefile
 
 
-def test_contributor_docs_name_full_gate_toolchain_requirements() -> None:
-    contributing = (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8")
-    production = (SPEC_DOCS / "process" / "production-readiness.md").read_text(encoding="utf-8")
-    readme = (ROOT / "README.md").read_text(encoding="utf-8")
-
-    for text in (contributing, production, readme):
-        assert "Node 18+" in text
-        assert "cargo" in text
-        assert "rustc" in text
-        assert "rustup component add clippy" in text
-
-
-def test_docs_name_example_verification_shortcut() -> None:
-    contributing = (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8")
-    production = (SPEC_DOCS / "process" / "production-readiness.md").read_text(encoding="utf-8")
-    readme = (ROOT / "README.md").read_text(encoding="utf-8")
-
-    for text in (contributing, production, readme):
-        assert "make check-examples" in text
-    assert "spec/api/api-examples.md" in contributing
-    assert "Reflex example" in contributing
-
-
-def test_docs_name_docs_verification_shortcut() -> None:
-    contributing = (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8")
-    production = (SPEC_DOCS / "process" / "production-readiness.md").read_text(encoding="utf-8")
-    readme = (ROOT / "README.md").read_text(encoding="utf-8")
-    production_inline = " ".join(production.split())
-
-    for text in (contributing, production, readme):
-        assert "make check-docs" in text
-    assert "README/API prose" in contributing
-    assert "public benchmark wording" in production_inline
-    assert "README/API prose" in readme
-
-
-def test_docs_name_security_verification_shortcut() -> None:
-    contributing = (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8")
-    production = (SPEC_DOCS / "process" / "production-readiness.md").read_text(encoding="utf-8")
-    readme = (ROOT / "README.md").read_text(encoding="utf-8")
-
-    for text in (contributing, production, readme):
-        assert "make check-security" in text
-    assert "standalone HTML export" in contributing
-    assert "browser client DOM" in production
-    assert "browser client text" in readme
-
-
-def test_docs_name_error_safety_verification_shortcut() -> None:
-    contributing = (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8")
-    production = (SPEC_DOCS / "process" / "production-readiness.md").read_text(encoding="utf-8")
-    readme = (ROOT / "README.md").read_text(encoding="utf-8")
-
-    for text in (contributing, production, readme):
-        assert "make check-errors" in text
-    assert "builder rollback behavior" in contributing
-    assert "LOD/drill mutation boundaries" in contributing
-    assert "chart/widget caching" in production
-    assert "LOD/drill mutation boundaries" in production
-    assert "public errors" in readme
-    assert "LOD/drill mutation boundaries" in readme
-
-
-def test_docs_name_api_surface_verification_shortcut() -> None:
-    contributing = (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8")
-    production = (SPEC_DOCS / "process" / "production-readiness.md").read_text(encoding="utf-8")
-    readme = (ROOT / "README.md").read_text(encoding="utf-8")
-    readme_inline = " ".join(readme.split())
-
-    for text in (contributing, production, readme):
-        assert "make check-api" in text
-    assert "public export" in contributing
-    assert "lazy import mappings" in production
-    assert "public annotations" in readme_inline
-
-
-def test_docs_name_import_budget_verification_shortcut() -> None:
-    contributing = (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8")
-    production = (SPEC_DOCS / "process" / "production-readiness.md").read_text(encoding="utf-8")
-    readme = (ROOT / "README.md").read_text(encoding="utf-8")
-
-    for text in (contributing, production, readme):
-        assert "make check-import" in text
-        assert "lazy import" in text
-        assert "dependency boundaries" in text
-    assert "xy.__init__" in contributing
-    assert "widget/export boundaries" in readme
-    assert "backend import boundaries" in production
-
-
-def test_docs_name_ci_workflow_verification_shortcut() -> None:
-    contributing = (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8")
-    production = (SPEC_DOCS / "process" / "production-readiness.md").read_text(encoding="utf-8")
-    readme = (ROOT / "README.md").read_text(encoding="utf-8")
-
-    for text in (contributing, production, readme):
-        assert "make check-ci" in text
-    assert ".github/workflows/ci.yml" in contributing
-    assert "trusted publishing" in production
-    assert "benchmark artifact wiring" in readme
-
-
-def test_docs_name_claim_guardrail_shortcut() -> None:
-    contributing = (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8")
-    production = (SPEC_DOCS / "process" / "production-readiness.md").read_text(encoding="utf-8")
-    readme = (ROOT / "README.md").read_text(encoding="utf-8")
-
-    for text in (contributing, production, readme):
-        assert "make check-claims" in text
-    assert "public performance claim" in contributing
-    assert "performance-claim surfaces" in production
-    assert "public-facing text" in readme
-
-
-def test_docs_name_benchmark_harness_shortcut() -> None:
-    contributing = (SPEC_DOCS / "process" / "contributing.md").read_text(encoding="utf-8")
-    production = (SPEC_DOCS / "process" / "production-readiness.md").read_text(encoding="utf-8")
-    readme = (ROOT / "README.md").read_text(encoding="utf-8")
-
-    for text in (contributing, production, readme):
-        assert "make check-benchmark-harness" in text
-    assert "benchmark environment metadata" in contributing
-    assert "report-schema validation" in production
-    assert "regression comparison scripts" in readme
-
-
 def test_node_version_parser_accepts_v_prefixed_versions() -> None:
     assert verify_local._node_major("v18.19.1\n") == 18
     assert verify_local._node_major("20.11.0") == 20
diff --git a/tests/test_verify_sdist.py b/tests/test_verify_sdist.py
index f8daecfc..32ebcef8 100644
--- a/tests/test_verify_sdist.py
+++ b/tests/test_verify_sdist.py
@@ -365,14 +365,6 @@ def test_verify_sdist_rejects_corrupt_benchmark_baseline(tmp_path: Path) -> None
         verify_sdist.verify_sdist(str(sdist))
 
 
-def test_verify_sdist_rejects_missing_docs_example_guard(tmp_path: Path) -> None:
-    sdist = tmp_path / "xy-0.0.1.tar.gz"
-    _write_sdist(sdist, omit={"tests/test_docs_examples.py"})
-
-    with pytest.raises(AssertionError, match="test_docs_examples"):
-        verify_sdist.verify_sdist(str(sdist))
-
-
 def test_verify_sdist_rejects_missing_example_app_files(tmp_path: Path) -> None:
     sdist = tmp_path / "xy-0.0.1.tar.gz"
     _write_sdist(
diff --git a/tests/test_verify_wheel.py b/tests/test_verify_wheel.py
index f64a54ce..1ed0b35d 100644
--- a/tests/test_verify_wheel.py
+++ b/tests/test_verify_wheel.py
@@ -391,7 +391,7 @@ def test_verify_wheel_rejects_unexpected_native_artifact(tmp_path: Path) -> None
     "extra_name",
     [
         "spec/api/api-examples.md",
-        "tests/test_docs_examples.py",
+        "tests/test_view_state.py",
         "benchmarks/bench_vs.py",
         "examples/reflex/xy_reflex_demo/xy_reflex_demo.py",
     ],