{
  "pages": [
    {
      "description": "Entry point for contributing to rtl_buddy, with links to the detailed development and documentation guidelines maintainers follow.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/CONTRIBUTING/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/CONTRIBUTING/#environment-setup",
          "slug": "environment-setup",
          "title": "Environment Setup",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/CONTRIBUTING/environment-setup.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/CONTRIBUTING/#development-guidelines",
          "slug": "development-guidelines",
          "title": "Development Guidelines",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/CONTRIBUTING/development-guidelines.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/CONTRIBUTING/#documentation-guidelines",
          "slug": "documentation-guidelines",
          "title": "Documentation Guidelines",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/CONTRIBUTING/documentation-guidelines.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/CONTRIBUTING/#validation",
          "slug": "validation",
          "title": "Validation",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/CONTRIBUTING/validation.md"
        }
      ],
      "slug": "CONTRIBUTING",
      "title": "Contributing",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/CONTRIBUTING.md"
    },
    {
      "description": "How rtl_buddy is built for AI-agent use \u2014 the bundled skill, local docs access, machine mode, and the structured log and stdout contracts agents can rely on.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/agents/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/agents/#bundled-agent-skill",
          "slug": "bundled-agent-skill",
          "title": "Bundled agent skill",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/agents/bundled-agent-skill.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/agents/#local-docs-access",
          "slug": "local-docs-access",
          "title": "Local docs access",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/agents/local-docs-access.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/agents/#machine-mode",
          "slug": "machine-mode",
          "title": "Machine mode",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/agents/machine-mode.md"
        }
      ],
      "slug": "agents",
      "title": "Agent use of rtl-buddy",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/agents.md"
    },
    {
      "description": "How to compile in SystemVerilog Assertions during simulation with rb test, the Verilator SVA subset, and how firings surface in the results table.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/abv-simulation/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/abv-simulation/#enabling-assertions",
          "slug": "enabling-assertions",
          "title": "Enabling assertions",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/abv-simulation/enabling-assertions.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/abv-simulation/#what-you-see-in-the-results-table",
          "slug": "what-you-see-in-the-results-table",
          "title": "What you see in the results table",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/abv-simulation/what-you-see-in-the-results-table.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/abv-simulation/#verilator-sva-subset",
          "slug": "verilator-sva-subset",
          "title": "Verilator SVA subset",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/abv-simulation/verilator-sva-subset.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/abv-simulation/#how-firings-are-detected",
          "slug": "how-firings-are-detected",
          "title": "How firings are detected",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/abv-simulation/how-firings-are-detected.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/abv-simulation/#cover-property-hits",
          "slug": "cover-property-hits",
          "title": "Cover-property hits",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/abv-simulation/cover-property-hits.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/abv-simulation/#relationship-to-rb-fpv",
          "slug": "relationship-to-rb-fpv",
          "title": "Relationship to `rb fpv`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/abv-simulation/relationship-to-rb-fpv.md"
        }
      ],
      "slug": "concepts/abv-simulation",
      "title": "Assertion-Based Verification in Simulation",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/abv-simulation.md"
    },
    {
      "description": "How to profile AXI interconnect performance with rtl_buddy via the rb axi-profile subcommand group, models.yaml fields, and the standalone rtl-buddy-axi-profiler.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/axi-profile/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/axi-profile/#installing-rtl-buddy-axi-profiler",
          "slug": "installing-rtl-buddy-axi-profiler",
          "title": "Installing rtl-buddy-axi-profiler",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/axi-profile/installing-rtl-buddy-axi-profiler.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/axi-profile/#modelsyaml-fields",
          "slug": "modelsyaml-fields",
          "title": "`models.yaml` fields",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/axi-profile/modelsyaml-fields.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/axi-profile/#subcommand-discover",
          "slug": "subcommand-discover",
          "title": "Subcommand: `discover`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/axi-profile/subcommand-discover.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/axi-profile/#subcommand-gen-monitor",
          "slug": "subcommand-gen-monitor",
          "title": "Subcommand: `gen-monitor`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/axi-profile/subcommand-gen-monitor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/axi-profile/#subcommand-run",
          "slug": "subcommand-run",
          "title": "Subcommand: `run`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/axi-profile/subcommand-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/axi-profile/#subcommand-notebook",
          "slug": "subcommand-notebook",
          "title": "Subcommand: `notebook`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/axi-profile/subcommand-notebook.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/axi-profile/#artefacts",
          "slug": "artefacts",
          "title": "Artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/axi-profile/artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/axi-profile/#hub-integration",
          "slug": "hub-integration",
          "title": "Hub integration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/axi-profile/hub-integration.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/axi-profile/#passfail-detection",
          "slug": "passfail-detection",
          "title": "Pass/fail detection",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/axi-profile/passfail-detection.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/axi-profile/#out-of-scope-today",
          "slug": "out-of-scope-today",
          "title": "Out of scope (today)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/axi-profile/out-of-scope-today.md"
        }
      ],
      "slug": "concepts/axi-profile",
      "title": "AXI Interconnect Profiling",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/axi-profile.md"
    },
    {
      "description": "How to run CDC lint with rtl_buddy via the rb cdc command, cdc.yaml, and the standalone rtl-buddy-cdc analyzer.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cdc/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cdc/#supported-backend",
          "slug": "supported-backend",
          "title": "Supported backend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cdc/supported-backend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cdc/#installing-rtl-buddy-cdc",
          "slug": "installing-rtl-buddy-cdc",
          "title": "Installing rtl-buddy-cdc",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cdc/installing-rtl-buddy-cdc.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cdc/#cdc-config-cdcyaml",
          "slug": "cdc-config-cdcyaml",
          "title": "CDC config: `cdc.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cdc/cdc-config-cdcyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cdc/#root-config-cfg-cdc-tools",
          "slug": "root-config-cfg-cdc-tools",
          "title": "Root config: `cfg-cdc-tools`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cdc/root-config-cfg-cdc-tools.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cdc/#running-cdc",
          "slug": "running-cdc",
          "title": "Running CDC",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cdc/running-cdc.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cdc/#results-table",
          "slug": "results-table",
          "title": "Results table",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cdc/results-table.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cdc/#artefacts",
          "slug": "artefacts",
          "title": "Artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cdc/artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cdc/#passfail-detection",
          "slug": "passfail-detection",
          "title": "Pass/fail detection",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cdc/passfail-detection.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cdc/#hub-integration",
          "slug": "hub-integration",
          "title": "Hub integration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cdc/hub-integration.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cdc/#out-of-scope-today",
          "slug": "out-of-scope-today",
          "title": "Out of scope (today)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cdc/out-of-scope-today.md"
        }
      ],
      "slug": "concepts/cdc",
      "title": "CDC Lint",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/cdc.md"
    },
    {
      "description": "How to setup rtl-buddy tests to use cocotb. How are cocotb results reported.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cocotb/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cocotb/#prerequisites",
          "slug": "prerequisites",
          "title": "Prerequisites",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cocotb/prerequisites.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cocotb/#yaml-shape",
          "slug": "yaml-shape",
          "title": "YAML shape",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cocotb/yaml-shape.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cocotb/#passfail-detection",
          "slug": "passfail-detection",
          "title": "Pass/fail detection",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cocotb/passfail-detection.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/cocotb/#testbench-field-reference",
          "slug": "testbench-field-reference",
          "title": "Testbench field reference",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/cocotb/testbench-field-reference.md"
        }
      ],
      "slug": "concepts/cocotb",
      "title": "cocotb testbenches (Verilator + VPI)",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/cocotb.md"
    },
    {
      "description": "How to collect, merge, and report coverage for Verilator-based builds using rtl_buddy.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/coverage/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/coverage/#setup",
          "slug": "setup",
          "title": "Setup",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/coverage/setup.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/coverage/#coverage-merge-modes",
          "slug": "coverage-merge-modes",
          "title": "Coverage merge modes",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/coverage/coverage-merge-modes.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/coverage/#generating-merged-output",
          "slug": "generating-merged-output",
          "title": "Generating merged output",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/coverage/generating-merged-output.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/coverage/#directory-level-coverage-summary",
          "slug": "directory-level-coverage-summary",
          "title": "Directory-level coverage summary",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/coverage/directory-level-coverage-summary.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/coverage/#full-flag-reference",
          "slug": "full-flag-reference",
          "title": "Full flag reference",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/coverage/full-flag-reference.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/coverage/#full-schema",
          "slug": "full-schema",
          "title": "Full schema",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/coverage/full-schema.md"
        }
      ],
      "slug": "concepts/coverage",
      "title": "Coverage",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/coverage.md"
    },
    {
      "description": "Where rtl_buddy puts artifacts and logs, and how relative paths are resolved when you invoke rb from outside the suite directory.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/execution-context/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/execution-context/#the-three-anchors",
          "slug": "the-three-anchors",
          "title": "The three anchors",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/execution-context/the-three-anchors.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/execution-context/#a-worked-example",
          "slug": "a-worked-example",
          "title": "A worked example",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/execution-context/a-worked-example.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/execution-context/#per-command-mapping",
          "slug": "per-command-mapping",
          "title": "Per-command mapping",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/execution-context/per-command-mapping.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/execution-context/#where-rtlbuddylog-lives",
          "slug": "where-rtlbuddylog-lives",
          "title": "Where `rtl_buddy.log` lives",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/execution-context/where-rtlbuddylog-lives.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/execution-context/#hook-scripts-sweep-preproc",
          "slug": "hook-scripts-sweep-preproc",
          "title": "Hook scripts (`sweep`, `preproc`)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/execution-context/hook-scripts-sweep-preproc.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/execution-context/#path-resolution-rules-for-config-files",
          "slug": "path-resolution-rules-for-config-files",
          "title": "Path resolution rules for config files",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/execution-context/path-resolution-rules-for-config-files.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/execution-context/#future-redirecting-the-artifact-root",
          "slug": "future-redirecting-the-artifact-root",
          "title": "Future: redirecting the artifact root",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/execution-context/future-redirecting-the-artifact-root.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/execution-context/#see-also",
          "slug": "see-also",
          "title": "See also",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/execution-context/see-also.md"
        }
      ],
      "slug": "concepts/execution-context",
      "title": "Execution Context",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/execution-context.md"
    },
    {
      "description": "How to run formal property verification with rtl_buddy via the rb fpv command, fpv.yaml, and SymbiYosys.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#supported-backend",
          "slug": "supported-backend",
          "title": "Supported backend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/supported-backend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#installing-symbiyosys",
          "slug": "installing-symbiyosys",
          "title": "Installing SymbiYosys",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/installing-symbiyosys.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#fpv-config-fpvyaml",
          "slug": "fpv-config-fpvyaml",
          "title": "FPV config: `fpv.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/fpv-config-fpvyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#root-config-cfg-fpv-tools",
          "slug": "root-config-cfg-fpv-tools",
          "title": "Root config: `cfg-fpv-tools`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/root-config-cfg-fpv-tools.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#running-fpv",
          "slug": "running-fpv",
          "title": "Running FPV",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/running-fpv.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#results-table",
          "slug": "results-table",
          "title": "Results table",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/results-table.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#cone-of-influence-coverage",
          "slug": "cone-of-influence-coverage",
          "title": "Cone-of-influence coverage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/cone-of-influence-coverage.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#dead-assume-detection",
          "slug": "dead-assume-detection",
          "title": "Dead-assume detection",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/dead-assume-detection.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#vacuity-covers",
          "slug": "vacuity-covers",
          "title": "Vacuity covers",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/vacuity-covers.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#artefacts",
          "slug": "artefacts",
          "title": "Artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#passfail-detection",
          "slug": "passfail-detection",
          "title": "Pass/fail detection",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/passfail-detection.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#opening-counterexamples",
          "slug": "opening-counterexamples",
          "title": "Opening counterexamples",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/opening-counterexamples.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/fpv/#out-of-scope-today",
          "slug": "out-of-scope-today",
          "title": "Out of scope (today)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/fpv/out-of-scope-today.md"
        }
      ],
      "slug": "concepts/fpv",
      "title": "Formal Property Verification",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/fpv.md"
    },
    {
      "description": "How to render module hierarchy diagrams with rtl_buddy via the rb hier command and the standalone rtl-buddy-view renderer.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hier/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hier/#installing-rtl-buddy-view",
          "slug": "installing-rtl-buddy-view",
          "title": "Installing rtl-buddy-view",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hier/installing-rtl-buddy-view.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hier/#output-formats",
          "slug": "output-formats",
          "title": "Output formats",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hier/output-formats.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hier/#running-rb-hier",
          "slug": "running-rb-hier",
          "title": "Running `rb hier`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hier/running-rb-hier.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hier/#parser-frontend",
          "slug": "parser-frontend",
          "title": "Parser frontend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hier/parser-frontend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hier/#cdc-and-rdc-annotations",
          "slug": "cdc-and-rdc-annotations",
          "title": "CDC and RDC annotations",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hier/cdc-and-rdc-annotations.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hier/#artefacts",
          "slug": "artefacts",
          "title": "Artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hier/artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hier/#passfail-detection",
          "slug": "passfail-detection",
          "title": "Pass/fail detection",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hier/passfail-detection.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hier/#hub-integration",
          "slug": "hub-integration",
          "title": "Hub integration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hier/hub-integration.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hier/#out-of-scope-today",
          "slug": "out-of-scope-today",
          "title": "Out of scope (today)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hier/out-of-scope-today.md"
        }
      ],
      "slug": "concepts/hier",
      "title": "Hierarchy Rendering",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/hier.md"
    },
    {
      "description": "rtl-buddy-hub is the broker that mediates between the rtl-buddy-view SPA, surfer (via rb wave), and editor adapters. Invocation, config, troubleshooting.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#quick-start",
          "slug": "quick-start",
          "title": "Quick start",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/quick-start.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#cli-surface",
          "slug": "cli-surface",
          "title": "CLI surface",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/cli-surface.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#discovery-rtl-buddyhubjson",
          "slug": "discovery-rtl-buddyhubjson",
          "title": "Discovery (`.rtl-buddy/hub.json`)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/discovery-rtl-buddyhubjson.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#configuration-rtl-buddyhubtoml",
          "slug": "configuration-rtl-buddyhubtoml",
          "title": "Configuration (`.rtl-buddy/hub.toml`)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/configuration-rtl-buddyhubtoml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#peers-who-connects-to-the-hub",
          "slug": "peers-who-connects-to-the-hub",
          "title": "Peers (who connects to the hub)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/peers-who-connects-to-the-hub.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#protocol",
          "slug": "protocol",
          "title": "Protocol",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/protocol.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#driving-the-hub-from-the-cli-rb-hub-send",
          "slug": "driving-the-hub-from-the-cli-rb-hub-send",
          "title": "Driving the hub from the CLI (`rb hub send`)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/driving-the-hub-from-the-cli-rb-hub-send.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#auto-start-on-macos-launchagent",
          "slug": "auto-start-on-macos-launchagent",
          "title": "Auto-start on macOS (LaunchAgent)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/auto-start-on-macos-launchagent.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#axi-perf-overlay-and-notebook-spawning",
          "slug": "axi-perf-overlay-and-notebook-spawning",
          "title": "AXI-perf overlay and notebook spawning",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/axi-perf-overlay-and-notebook-spawning.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#troubleshooting",
          "slug": "troubleshooting",
          "title": "Troubleshooting",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/troubleshooting.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#writing-a-new-adapter",
          "slug": "writing-a-new-adapter",
          "title": "Writing a new adapter",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/writing-a-new-adapter.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/hub/#reference",
          "slug": "reference",
          "title": "Reference",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/hub/reference.md"
        }
      ],
      "slug": "concepts/hub",
      "title": "Hub (`rb hub`)",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/hub.md"
    },
    {
      "description": "How to score a verification suite with rtl_buddy mutation testing via the rb mut command, mut.yaml, the rtl-buddy-xeno engine, and FPV or simulation kill oracles.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/mut/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/mut/#how-scoring-works",
          "slug": "how-scoring-works",
          "title": "How scoring works",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/mut/how-scoring-works.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/mut/#kill-oracles",
          "slug": "kill-oracles",
          "title": "Kill oracles",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/mut/kill-oracles.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/mut/#mutation-config-mutyaml",
          "slug": "mutation-config-mutyaml",
          "title": "Mutation config: `mut.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/mut/mutation-config-mutyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/mut/#running",
          "slug": "running",
          "title": "Running",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/mut/running.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/mut/#output",
          "slug": "output",
          "title": "Output",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/mut/output.md"
        }
      ],
      "slug": "concepts/mut",
      "title": "Mutation Testing",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/mut.md"
    },
    {
      "description": "How to extend rtl_buddy test behavior using sweep, preproc, and postproc Python plugin hooks.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/plugins/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/plugins/#sweep-expanding-one-test-into-many",
          "slug": "sweep-expanding-one-test-into-many",
          "title": "Sweep: expanding one test into many",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/plugins/sweep-expanding-one-test-into-many.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/plugins/#pre-processing-mutate-test-params-before-compile",
          "slug": "pre-processing-mutate-test-params-before-compile",
          "title": "Pre-processing: mutate test params before compile",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/plugins/pre-processing-mutate-test-params-before-compile.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/plugins/#hook-working-directory",
          "slug": "hook-working-directory",
          "title": "Hook working directory",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/plugins/hook-working-directory.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/plugins/#post-processing",
          "slug": "post-processing",
          "title": "Post-processing",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/plugins/post-processing.md"
        }
      ],
      "slug": "concepts/plugins",
      "title": "Plugins",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/plugins.md"
    },
    {
      "description": "How to run OpenROAD place-and-route with rtl_buddy via the rb pnr command, pnr.yaml, and cfg-pnr-platforms.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/pnr/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/pnr/#supported-backend",
          "slug": "supported-backend",
          "title": "Supported backend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/pnr/supported-backend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/pnr/#installing-openroad",
          "slug": "installing-openroad",
          "title": "Installing OpenROAD",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/pnr/installing-openroad.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/pnr/#installing-klayout-optional",
          "slug": "installing-klayout-optional",
          "title": "Installing KLayout (optional)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/pnr/installing-klayout-optional.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/pnr/#pr-config-pnryaml",
          "slug": "pr-config-pnryaml",
          "title": "P&R config: `pnr.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/pnr/pr-config-pnryaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/pnr/#root-config-cfg-pdks-and-cfg-pnr-platforms",
          "slug": "root-config-cfg-pdks-and-cfg-pnr-platforms",
          "title": "Root config: `cfg-pdks` and `cfg-pnr-platforms`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/pnr/root-config-cfg-pdks-and-cfg-pnr-platforms.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/pnr/#running-pr",
          "slug": "running-pr",
          "title": "Running P&R",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/pnr/running-pr.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/pnr/#results-table",
          "slug": "results-table",
          "title": "Results table",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/pnr/results-table.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/pnr/#artefacts",
          "slug": "artefacts",
          "title": "Artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/pnr/artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/pnr/#passfail-detection",
          "slug": "passfail-detection",
          "title": "Pass/fail detection",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/pnr/passfail-detection.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/pnr/#out-of-scope-today",
          "slug": "out-of-scope-today",
          "title": "Out of scope (today)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/pnr/out-of-scope-today.md"
        }
      ],
      "slug": "concepts/pnr",
      "title": "Place-and-Route",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/pnr.md"
    },
    {
      "description": "How to run OpenROAD-driven gate-level power analysis with rtl_buddy via the rb power command, power.yaml, SAIF activity capture, and cfg-pnr-platforms.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/power/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/power/#where-the-numbers-come-from",
          "slug": "where-the-numbers-come-from",
          "title": "Where the numbers come from",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/power/where-the-numbers-come-from.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/power/#supported-backend",
          "slug": "supported-backend",
          "title": "Supported backend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/power/supported-backend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/power/#power-config-poweryaml",
          "slug": "power-config-poweryaml",
          "title": "Power config: `power.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/power/power-config-poweryaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/power/#capturing-a-saif-from-simulation",
          "slug": "capturing-a-saif-from-simulation",
          "title": "Capturing a SAIF from simulation",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/power/capturing-a-saif-from-simulation.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/power/#running-power",
          "slug": "running-power",
          "title": "Running power",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/power/running-power.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/power/#results-table",
          "slug": "results-table",
          "title": "Results table",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/power/results-table.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/power/#artefacts",
          "slug": "artefacts",
          "title": "Artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/power/artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/power/#passfail-detection",
          "slug": "passfail-detection",
          "title": "Pass/fail detection",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/power/passfail-detection.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/power/#out-of-scope-today",
          "slug": "out-of-scope-today",
          "title": "Out of scope (today)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/power/out-of-scope-today.md"
        }
      ],
      "slug": "concepts/power",
      "title": "Power Analysis",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/power.md"
    },
    {
      "description": "How to run multiple test suites in sequence using regression.yaml, filtering tests by regression level.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/regressions/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/regressions/#regression-config-regressionsyaml",
          "slug": "regression-config-regressionsyaml",
          "title": "Regression config: `regressions.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/regressions/regression-config-regressionsyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/regressions/#running-a-regression",
          "slug": "running-a-regression",
          "title": "Running a regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/regressions/running-a-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/regressions/#working-directory-behavior",
          "slug": "working-directory-behavior",
          "title": "Working directory behavior",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/regressions/working-directory-behavior.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/regressions/#full-schema",
          "slug": "full-schema",
          "title": "Full schema",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/regressions/full-schema.md"
        }
      ],
      "slug": "concepts/regressions",
      "title": "Regressions",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/regressions.md"
    },
    {
      "description": "How root_config.yaml configures platform selection, builders, and simulation settings for an RTL project.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/root-config/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/root-config/#location",
          "slug": "location",
          "title": "Location",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/root-config/location.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/root-config/#structure",
          "slug": "structure",
          "title": "Structure",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/root-config/structure.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/root-config/#key-fields",
          "slug": "key-fields",
          "title": "Key fields",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/root-config/key-fields.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/root-config/#builder-and-mode-overrides",
          "slug": "builder-and-mode-overrides",
          "title": "Builder and mode overrides",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/root-config/builder-and-mode-overrides.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/root-config/#full-schema",
          "slug": "full-schema",
          "title": "Full schema",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/root-config/full-schema.md"
        }
      ],
      "slug": "concepts/root-config",
      "title": "Root Config",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/root-config.md"
    },
    {
      "description": "How to use specs.yaml, models.yaml spec pointers, and tests.yaml covers fields to trace functional requirements through to tests.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/spec-traceability/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/spec-traceability/#workflow",
          "slug": "workflow",
          "title": "Workflow",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/spec-traceability/workflow.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/spec-traceability/#multi-block-specsyaml",
          "slug": "multi-block-specsyaml",
          "title": "Multi-block specs.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/spec-traceability/multi-block-specsyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/spec-traceability/#command-reference",
          "slug": "command-reference",
          "title": "Command reference",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/spec-traceability/command-reference.md"
        }
      ],
      "slug": "concepts/spec-traceability",
      "title": "Spec Traceability",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/spec-traceability.md"
    },
    {
      "description": "How to run synthesis flows with rtl_buddy using synth.yaml, cfg-synth-tools, cfg-pdks + cfg-synth-platforms, and the rb synth command.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/#supported-backends",
          "slug": "supported-backends",
          "title": "Supported backends",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/synthesis/supported-backends.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/#installing-yosys",
          "slug": "installing-yosys",
          "title": "Installing Yosys",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/synthesis/installing-yosys.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/#installing-openroad",
          "slug": "installing-openroad",
          "title": "Installing OpenROAD",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/synthesis/installing-openroad.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/#synthesis-config-synthyaml",
          "slug": "synthesis-config-synthyaml",
          "title": "Synthesis config: `synth.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/synthesis/synthesis-config-synthyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/#root-config-rootconfigyaml",
          "slug": "root-config-rootconfigyaml",
          "title": "Root config: `root_config.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/synthesis/root-config-rootconfigyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/#synthesis-regression-synthregressionyaml",
          "slug": "synthesis-regression-synthregressionyaml",
          "title": "Synthesis regression: `synth_regression.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/synthesis/synthesis-regression-synthregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/#running-synthesis",
          "slug": "running-synthesis",
          "title": "Running synthesis",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/synthesis/running-synthesis.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/#results-table",
          "slug": "results-table",
          "title": "Results table",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/synthesis/results-table.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/#artefacts",
          "slug": "artefacts",
          "title": "Artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/synthesis/artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/#passfail-detection",
          "slug": "passfail-detection",
          "title": "Pass/fail detection",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/synthesis/passfail-detection.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/synthesis/#full-schema",
          "slug": "full-schema",
          "title": "Full schema",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/synthesis/full-schema.md"
        }
      ],
      "slug": "concepts/synthesis",
      "title": "Synthesis",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/synthesis.md"
    },
    {
      "description": "How to define testbenches and tests in tests.yaml for a verification suite.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tests/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tests/#test-config-testsyaml",
          "slug": "test-config-testsyaml",
          "title": "Test config: `tests.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tests/test-config-testsyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tests/#running-tests",
          "slug": "running-tests",
          "title": "Running tests",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tests/running-tests.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tests/#randomization",
          "slug": "randomization",
          "title": "Randomization",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tests/randomization.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tests/#logging",
          "slug": "logging",
          "title": "Logging",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tests/logging.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tests/#path-and-working-directory",
          "slug": "path-and-working-directory",
          "title": "Path and working directory",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tests/path-and-working-directory.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tests/#full-schema",
          "slug": "full-schema",
          "title": "Full schema",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tests/full-schema.md"
        }
      ],
      "slug": "concepts/tests",
      "title": "Tests",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/tests.md"
    },
    {
      "description": "How to verify the rtl_buddy external-tool environment with the rb tool-check command, the declarative tool manifest, and the per-subcommand readiness report.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/#quick-start",
          "slug": "quick-start",
          "title": "Quick start",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tool-check/quick-start.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/#output",
          "slug": "output",
          "title": "Output",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tool-check/output.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/#subcommand-required-for",
          "slug": "subcommand-required-for",
          "title": "Subcommand: `--required-for`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tool-check/subcommand-required-for.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/#subcommand-explain",
          "slug": "subcommand-explain",
          "title": "Subcommand: `--explain`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tool-check/subcommand-explain.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/#json-output",
          "slug": "json-output",
          "title": "JSON output",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tool-check/json-output.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/#how-the-manifest-works",
          "slug": "how-the-manifest-works",
          "title": "How the manifest works",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tool-check/how-the-manifest-works.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/#reconciliation-with-rootconfigyaml",
          "slug": "reconciliation-with-rootconfigyaml",
          "title": "Reconciliation with `root_config.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tool-check/reconciliation-with-rootconfigyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/#version-cache",
          "slug": "version-cache",
          "title": "Version cache",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tool-check/version-cache.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/#exit-codes",
          "slug": "exit-codes",
          "title": "Exit codes",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tool-check/exit-codes.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/#when-to-use-it",
          "slug": "when-to-use-it",
          "title": "When to use it",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tool-check/when-to-use-it.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/tool-check/#out-of-scope-today",
          "slug": "out-of-scope-today",
          "title": "Out of scope (today)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/tool-check/out-of-scope-today.md"
        }
      ],
      "slug": "concepts/tool-check",
      "title": "Tool Dependency Check",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/tool-check.md"
    },
    {
      "description": "How rb wave opens Surfer with live signal value annotation in your editor via the WCP protocol.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/wave/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/wave/#basic-usage",
          "slug": "basic-usage",
          "title": "Basic usage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/wave/basic-usage.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/wave/#configuration",
          "slug": "configuration",
          "title": "Configuration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/wave/configuration.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/wave/#signal-value-annotation",
          "slug": "signal-value-annotation",
          "title": "Signal value annotation",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/wave/signal-value-annotation.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/wave/#opening-fpv-counterexamples-rb-wave-fpv",
          "slug": "opening-fpv-counterexamples-rb-wave-fpv",
          "title": "Opening FPV counterexamples (`rb wave-fpv`)",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/wave/opening-fpv-counterexamples-rb-wave-fpv.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/wave/#hub-integration",
          "slug": "hub-integration",
          "title": "Hub integration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/wave/hub-integration.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/concepts/wave/#surfer-build",
          "slug": "surfer-build",
          "title": "Surfer build",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/concepts/wave/surfer-build.md"
        }
      ],
      "slug": "concepts/wave",
      "title": "Waveform Viewer (`rb wave`)",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/concepts/wave.md"
    },
    {
      "description": "Documentation authoring rules for rtl_buddy, including frontmatter, page structure, generated files, and local validation.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/docs/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/docs/#frontmatter",
          "slug": "frontmatter",
          "title": "Frontmatter",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/docs/frontmatter.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/docs/#writing-style",
          "slug": "writing-style",
          "title": "Writing Style",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/docs/writing-style.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/docs/#page-structure",
          "slug": "page-structure",
          "title": "Page Structure",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/docs/page-structure.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/docs/#generated-pages",
          "slug": "generated-pages",
          "title": "Generated Pages",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/docs/generated-pages.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/docs/#local-checks",
          "slug": "local-checks",
          "title": "Local Checks",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/docs/local-checks.md"
        }
      ],
      "slug": "development/docs",
      "title": "Documentation Guidelines",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/development/docs.md"
    },
    {
      "description": "Engineering guidelines for rtl_buddy maintainers, covering execution contexts, paths, artifacts, subprocesses, logging, errors, validation, and release-sensitive files.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#public-contracts",
          "slug": "public-contracts",
          "title": "Public Contracts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/public-contracts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#quirks-and-known-issues",
          "slug": "quirks-and-known-issues",
          "title": "Quirks and Known Issues",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/quirks-and-known-issues.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#execution-contexts",
          "slug": "execution-contexts",
          "title": "Execution Contexts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/execution-contexts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#command-roots",
          "slug": "command-roots",
          "title": "Command Roots",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/command-roots.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#path-ownership",
          "slug": "path-ownership",
          "title": "Path Ownership",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/path-ownership.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#artifact-layout",
          "slug": "artifact-layout",
          "title": "Artifact Layout",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/artifact-layout.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#subprocesses",
          "slug": "subprocesses",
          "title": "Subprocesses",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/subprocesses.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#dependencies",
          "slug": "dependencies",
          "title": "Dependencies",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/dependencies.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#logging",
          "slug": "logging",
          "title": "Logging",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/logging.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#error-handling",
          "slug": "error-handling",
          "title": "Error Handling",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/error-handling.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#validation",
          "slug": "validation",
          "title": "Validation",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/validation.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#required-follow-through",
          "slug": "required-follow-through",
          "title": "Required Follow-Through",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/required-follow-through.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#bundled-skill",
          "slug": "bundled-skill",
          "title": "Bundled Skill",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/bundled-skill.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#issue-triage",
          "slug": "issue-triage",
          "title": "Issue Triage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/issue-triage.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#milestones",
          "slug": "milestones",
          "title": "Milestones",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/milestones.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/guidelines/#releases",
          "slug": "releases",
          "title": "Releases",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/guidelines/releases.md"
        }
      ],
      "slug": "development/guidelines",
      "title": "Engineering Guidelines",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/development/guidelines.md"
    },
    {
      "description": "How to set up a local rtl_buddy development environment \u2014 clone, dependencies, lint, tests, docs, and build verification.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/setup/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/setup/#prerequisites",
          "slug": "prerequisites",
          "title": "Prerequisites",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/setup/prerequisites.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/setup/#clone-and-sync",
          "slug": "clone-and-sync",
          "title": "Clone And Sync",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/setup/clone-and-sync.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/setup/#pre-commit-hook",
          "slug": "pre-commit-hook",
          "title": "Pre-Commit Hook",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/setup/pre-commit-hook.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/setup/#lint-and-format",
          "slug": "lint-and-format",
          "title": "Lint And Format",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/setup/lint-and-format.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/setup/#tests",
          "slug": "tests",
          "title": "Tests",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/setup/tests.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/setup/#docs",
          "slug": "docs",
          "title": "Docs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/setup/docs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/setup/#building-wheels-and-sdists",
          "slug": "building-wheels-and-sdists",
          "title": "Building Wheels And Sdists",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/setup/building-wheels-and-sdists.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/setup/#validating-against-the-project-template",
          "slug": "validating-against-the-project-template",
          "title": "Validating Against The Project Template",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/setup/validating-against-the-project-template.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/development/setup/#where-to-go-next",
          "slug": "where-to-go-next",
          "title": "Where To Go Next",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/development/setup/where-to-go-next.md"
        }
      ],
      "slug": "development/setup",
      "title": "Development Environment Setup",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/development/setup.md"
    },
    {
      "description": "RTL Buddy is a Python CLI for Verilog and SystemVerilog regression testing, Verilator and VCS simulation workflows, Yosys synthesis flows, coverage, and YAML-based RTL automation.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/#features",
          "slug": "features",
          "title": "Features",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/index/features.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/#systemverilog-regression-testing",
          "slug": "systemverilog-regression-testing",
          "title": "SystemVerilog Regression Testing",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/index/systemverilog-regression-testing.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/#verilator-and-vcs-simulation-workflows",
          "slug": "verilator-and-vcs-simulation-workflows",
          "title": "Verilator and VCS Simulation Workflows",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/index/verilator-and-vcs-simulation-workflows.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/#yosys-synthesis-workflows",
          "slug": "yosys-synthesis-workflows",
          "title": "Yosys Synthesis Workflows",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/index/yosys-synthesis-workflows.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/#getting-started",
          "slug": "getting-started",
          "title": "Getting Started",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/index/getting-started.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/#reference",
          "slug": "reference",
          "title": "Reference",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/index/reference.md"
        }
      ],
      "slug": "index",
      "title": "RTL Buddy",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/index.md"
    },
    {
      "description": "How to install rtl_buddy into a project using uv, including prerequisites and verification steps.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/install/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/install/#prerequisites",
          "slug": "prerequisites",
          "title": "Prerequisites",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/install/prerequisites.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/install/#dependency-types",
          "slug": "dependency-types",
          "title": "Dependency types",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/install/dependency-types.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/install/#required-dependencies",
          "slug": "required-dependencies",
          "title": "Required dependencies",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/install/required-dependencies.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/install/#external-tools-by-feature",
          "slug": "external-tools-by-feature",
          "title": "External tools by feature",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/install/external-tools-by-feature.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/install/#install-into-a-project-with-uv",
          "slug": "install-into-a-project-with-uv",
          "title": "Install Into A Project With `uv`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/install/install-into-a-project-with-uv.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/install/#updating",
          "slug": "updating",
          "title": "Updating",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/install/updating.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/install/#installing-a-pre-release",
          "slug": "installing-a-pre-release",
          "title": "Installing A Pre-release",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/install/installing-a-pre-release.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/install/#set-up-the-agent-skill",
          "slug": "set-up-the-agent-skill",
          "title": "Set Up The Agent Skill",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/install/set-up-the-agent-skill.md"
        }
      ],
      "slug": "install",
      "title": "Installation",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/install.md"
    },
    {
      "description": "Quirks, non-conventional behaviors, and known issues with rtl_buddy, including workarounds for simulator-specific behaviors.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/known-issues/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/known-issues/#instance-prng-seeding-with-verilator",
          "slug": "instance-prng-seeding-with-verilator",
          "title": "Instance pRNG seeding with Verilator",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/known-issues/instance-prng-seeding-with-verilator.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/known-issues/#hook-scripts-run-at-the-invocation-directory-not-the-suite",
          "slug": "hook-scripts-run-at-the-invocation-directory-not-the-suite",
          "title": "Hook scripts run at the invocation directory, not the suite",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/known-issues/hook-scripts-run-at-the-invocation-directory-not-the-suite.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/known-issues/#vcs-hierarchical-seed-file",
          "slug": "vcs-hierarchical-seed-file",
          "title": "VCS hierarchical seed file",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/known-issues/vcs-hierarchical-seed-file.md"
        }
      ],
      "slug": "known-issues",
      "title": "Quirks & Known Issues",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/known-issues.md"
    },
    {
      "description": "How to migrate an RTL project from the legacy rtl_buddy submodule flow to a uv-managed PyPI dependency.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/migrations/submodule-to-uv/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/migrations/submodule-to-uv/#existing-state-before-migration",
          "slug": "existing-state-before-migration",
          "title": "Existing state before migration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/migrations/submodule-to-uv/existing-state-before-migration.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/migrations/submodule-to-uv/#new-state-after-migration",
          "slug": "new-state-after-migration",
          "title": "New state after migration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/migrations/submodule-to-uv/new-state-after-migration.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/migrations/submodule-to-uv/#migration-guide",
          "slug": "migration-guide",
          "title": "Migration guide",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/migrations/submodule-to-uv/migration-guide.md"
        }
      ],
      "slug": "migrations/submodule-to-uv",
      "title": "Migrating from Submodule to uv",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/migrations/submodule-to-uv.md"
    },
    {
      "description": "How to migrate an rtl_buddy project from v2 to v3, covering the artifact layout change and other breaking changes.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/migrations/v2-to-v3/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/migrations/v2-to-v3/#artifact-layout-change",
          "slug": "artifact-layout-change",
          "title": "Artifact layout change",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/migrations/v2-to-v3/artifact-layout-change.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/migrations/v2-to-v3/#what-to-update",
          "slug": "what-to-update",
          "title": "What to update",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/migrations/v2-to-v3/what-to-update.md"
        }
      ],
      "slug": "migrations/v2-to-v3",
      "title": "Migrating from v2 to v3",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/migrations/v2-to-v3.md"
    },
    {
      "description": "How to migrate an rtl_buddy project from v4 to v5, covering the ExecutionContext change that anchors all outputs on the primary config file.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/migrations/v4-to-v5/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/migrations/v4-to-v5/#outputs-anchor-on-the-config-file-not-your-shell",
          "slug": "outputs-anchor-on-the-config-file-not-your-shell",
          "title": "Outputs anchor on the config file, not your shell",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/migrations/v4-to-v5/outputs-anchor-on-the-config-file-not-your-shell.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/migrations/v4-to-v5/#hook-scripts-run-at-the-invocation-directory",
          "slug": "hook-scripts-run-at-the-invocation-directory",
          "title": "Hook scripts run at the invocation directory",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/migrations/v4-to-v5/hook-scripts-run-at-the-invocation-directory.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/migrations/v4-to-v5/#what-to-update",
          "slug": "what-to-update",
          "title": "What to update",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/migrations/v4-to-v5/what-to-update.md"
        }
      ],
      "slug": "migrations/v4-to-v5",
      "title": "Migrating from v4 to v5",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/migrations/v4-to-v5.md"
    },
    {
      "description": "Run your first rtl_buddy test, regression, synthesis, and supporting commands in an already-installed project.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/quickstart/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/quickstart/#run-a-test",
          "slug": "run-a-test",
          "title": "Run a test",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/quickstart/run-a-test.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/quickstart/#run-a-regression",
          "slug": "run-a-regression",
          "title": "Run a regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/quickstart/run-a-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/quickstart/#run-synthesis",
          "slug": "run-synthesis",
          "title": "Run synthesis",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/quickstart/run-synthesis.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/quickstart/#run-with-randomization",
          "slug": "run-with-randomization",
          "title": "Run with randomization",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/quickstart/run-with-randomization.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/quickstart/#check-logs",
          "slug": "check-logs",
          "title": "Check logs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/quickstart/check-logs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/quickstart/#next-steps",
          "slug": "next-steps",
          "title": "Next steps",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/quickstart/next-steps.md"
        }
      ],
      "slug": "quickstart",
      "title": "Quick Start",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/quickstart.md"
    },
    {
      "description": "Auto-generated CLI reference for all rtl-buddy commands and their options.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#rtl-buddy",
          "slug": "rtl-buddy",
          "title": "rtl-buddy",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/rtl-buddy.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#test",
          "slug": "test",
          "title": "test",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/test.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#randtest",
          "slug": "randtest",
          "title": "randtest",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/randtest.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#regression",
          "slug": "regression",
          "title": "regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#filelist",
          "slug": "filelist",
          "title": "filelist",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/filelist.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hier",
          "slug": "hier",
          "title": "hier",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hier.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#wave",
          "slug": "wave",
          "title": "wave",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/wave.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#wave-fpv",
          "slug": "wave-fpv",
          "title": "wave-fpv",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/wave-fpv.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#wave-install-nvim",
          "slug": "wave-install-nvim",
          "title": "wave-install-nvim",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/wave-install-nvim.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#synth",
          "slug": "synth",
          "title": "synth",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/synth.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#synth-regression",
          "slug": "synth-regression",
          "title": "synth-regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/synth-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#pnr",
          "slug": "pnr",
          "title": "pnr",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/pnr.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#power",
          "slug": "power",
          "title": "power",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/power.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#power-regression",
          "slug": "power-regression",
          "title": "power-regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/power-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#saif",
          "slug": "saif",
          "title": "saif",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/saif.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#cdc",
          "slug": "cdc",
          "title": "cdc",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/cdc.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#cdc-regression",
          "slug": "cdc-regression",
          "title": "cdc-regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/cdc-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#fpv",
          "slug": "fpv",
          "title": "fpv",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/fpv.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#fpv-regression",
          "slug": "fpv-regression",
          "title": "fpv-regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/fpv-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#tool-check",
          "slug": "tool-check",
          "title": "tool-check",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/tool-check.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#axi-profile",
          "slug": "axi-profile",
          "title": "axi-profile",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/axi-profile.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#axi-profile-run",
          "slug": "axi-profile-run",
          "title": "axi-profile run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/axi-profile-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#axi-profile-discover",
          "slug": "axi-profile-discover",
          "title": "axi-profile discover",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/axi-profile-discover.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#axi-profile-gen-monitor",
          "slug": "axi-profile-gen-monitor",
          "title": "axi-profile gen-monitor",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/axi-profile-gen-monitor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#axi-profile-notebook",
          "slug": "axi-profile-notebook",
          "title": "axi-profile notebook",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/axi-profile-notebook.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#verible",
          "slug": "verible",
          "title": "verible",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/verible.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#verible-lint",
          "slug": "verible-lint",
          "title": "verible lint",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/verible-lint.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#verible-syntax",
          "slug": "verible-syntax",
          "title": "verible syntax",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/verible-syntax.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#verible-format",
          "slug": "verible-format",
          "title": "verible format",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/verible-format.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#verible-preprocessor",
          "slug": "verible-preprocessor",
          "title": "verible preprocessor",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/verible-preprocessor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#verible-filelist",
          "slug": "verible-filelist",
          "title": "verible filelist",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/verible-filelist.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#mut",
          "slug": "mut",
          "title": "mut",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/mut.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#mut-list",
          "slug": "mut-list",
          "title": "mut list",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/mut-list.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#mut-run",
          "slug": "mut-run",
          "title": "mut run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/mut-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#mut-score",
          "slug": "mut-score",
          "title": "mut score",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/mut-score.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub",
          "slug": "hub",
          "title": "hub",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-start",
          "slug": "hub-start",
          "title": "hub start",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-start.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-stop",
          "slug": "hub-stop",
          "title": "hub stop",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-stop.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-status",
          "slug": "hub-status",
          "title": "hub status",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-status.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-log",
          "slug": "hub-log",
          "title": "hub log",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-log.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-install-launchagent",
          "slug": "hub-install-launchagent",
          "title": "hub install-launchagent",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-install-launchagent.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-uninstall-launchagent",
          "slug": "hub-uninstall-launchagent",
          "title": "hub uninstall-launchagent",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-uninstall-launchagent.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-config",
          "slug": "hub-config",
          "title": "hub config",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-config.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-config-validate",
          "slug": "hub-config-validate",
          "title": "hub config validate",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-config-validate.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send",
          "slug": "hub-send",
          "title": "hub send",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-select",
          "slug": "hub-send-select",
          "title": "hub send select",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-select.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-signal",
          "slug": "hub-send-signal",
          "title": "hub send signal",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-signal.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-cursor",
          "slug": "hub-send-cursor",
          "title": "hub send cursor",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-cursor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-scope",
          "slug": "hub-send-scope",
          "title": "hub send scope",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-scope.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-open",
          "slug": "hub-send-open",
          "title": "hub send open",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-open.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-diagnose",
          "slug": "hub-send-diagnose",
          "title": "hub send diagnose",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-diagnose.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-state",
          "slug": "hub-send-state",
          "title": "hub send state",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-state.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-wave-add",
          "slug": "hub-send-wave-add",
          "title": "hub send wave-add",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-wave-add.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-wave-cursor",
          "slug": "hub-send-wave-cursor",
          "title": "hub send wave-cursor",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-wave-cursor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-wave-scope",
          "slug": "hub-send-wave-scope",
          "title": "hub send wave-scope",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-wave-scope.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-wave-pan",
          "slug": "hub-send-wave-pan",
          "title": "hub send wave-pan",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-wave-pan.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-wave-zoom",
          "slug": "hub-send-wave-zoom",
          "title": "hub send wave-zoom",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-wave-zoom.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-wave-zoom-fit",
          "slug": "hub-send-wave-zoom-fit",
          "title": "hub send wave-zoom-fit",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-wave-zoom-fit.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-view-pan",
          "slug": "hub-send-view-pan",
          "title": "hub send view-pan",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-view-pan.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-overlay",
          "slug": "hub-send-overlay",
          "title": "hub send overlay",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-overlay.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-capture",
          "slug": "hub-send-capture",
          "title": "hub send capture",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-capture.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-open-source",
          "slug": "hub-send-open-source",
          "title": "hub send open-source",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-open-source.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-resolve",
          "slug": "hub-send-resolve",
          "title": "hub send resolve",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-resolve.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-resolve-view-to-wave",
          "slug": "hub-send-resolve-view-to-wave",
          "title": "hub send resolve view-to-wave",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-resolve-view-to-wave.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-resolve-wave-to-view",
          "slug": "hub-send-resolve-wave-to-view",
          "title": "hub send resolve wave-to-view",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-resolve-wave-to-view.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#hub-send-resolve-signal-to-view",
          "slug": "hub-send-resolve-signal-to-view",
          "title": "hub send resolve signal-to-view",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/hub-send-resolve-signal-to-view.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#skill",
          "slug": "skill",
          "title": "skill",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/skill.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#skill-install",
          "slug": "skill-install",
          "title": "skill install",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/skill-install.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#skill-uninstall",
          "slug": "skill-uninstall",
          "title": "skill uninstall",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/skill-uninstall.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#skill-status",
          "slug": "skill-status",
          "title": "skill status",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/skill-status.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#skill-view",
          "slug": "skill-view",
          "title": "skill view",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/skill-view.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#skill-print-gitignore",
          "slug": "skill-print-gitignore",
          "title": "skill print-gitignore",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/skill-print-gitignore.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#docs",
          "slug": "docs",
          "title": "docs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/docs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#docs-list",
          "slug": "docs-list",
          "title": "docs list",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/docs-list.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#docs-show",
          "slug": "docs-show",
          "title": "docs show",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/docs-show.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#spec",
          "slug": "spec",
          "title": "spec",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/spec.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#spec-list",
          "slug": "spec-list",
          "title": "spec list",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/spec-list.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#spec-check-design",
          "slug": "spec-check-design",
          "title": "spec check-design",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/spec-check-design.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/cli/#spec-check-coverage",
          "slug": "spec-check-coverage",
          "title": "spec check-coverage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/cli/spec-check-coverage.md"
        }
      ],
      "slug": "reference/cli",
      "title": "CLI Reference",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/reference/cli.md"
    },
    {
      "description": "Canonical reference for rtl_buddy YAML configuration files, including root_config.yaml, regression.yaml, tests.yaml, models.yaml, synth.yaml, synth_regression.yaml, pnr.yaml, power.yaml, power_regression.yaml, cdc.yaml, cdc_regression.yaml, fpv.yaml, fpv_regression.yaml, and mut.yaml.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#rootconfigyaml",
          "slug": "rootconfigyaml",
          "title": "root_config.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/rootconfigyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#regressionyaml",
          "slug": "regressionyaml",
          "title": "regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/regressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#modelsyaml",
          "slug": "modelsyaml",
          "title": "models.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/modelsyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#testsyaml",
          "slug": "testsyaml",
          "title": "tests.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/testsyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#path-semantics-and-cwd",
          "slug": "path-semantics-and-cwd",
          "title": "Path semantics and cwd",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/path-semantics-and-cwd.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#synthyaml",
          "slug": "synthyaml",
          "title": "synth.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/synthyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#synthregressionyaml",
          "slug": "synthregressionyaml",
          "title": "synth_regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/synthregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#pnryaml",
          "slug": "pnryaml",
          "title": "pnr.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/pnryaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#poweryaml",
          "slug": "poweryaml",
          "title": "power.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/poweryaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#powerregressionyaml",
          "slug": "powerregressionyaml",
          "title": "power_regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/powerregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#cdcyaml",
          "slug": "cdcyaml",
          "title": "cdc.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/cdcyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#cdcregressionyaml",
          "slug": "cdcregressionyaml",
          "title": "cdc_regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/cdcregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#fpvyaml",
          "slug": "fpvyaml",
          "title": "fpv.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/fpvyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#fpvregressionyaml",
          "slug": "fpvregressionyaml",
          "title": "fpv_regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/fpvregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#mutyaml",
          "slug": "mutyaml",
          "title": "mut.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/mutyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#specsyaml",
          "slug": "specsyaml",
          "title": "specs.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/specsyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v5/reference/yaml/#authoring-checklist-for-new-suites",
          "slug": "authoring-checklist-for-new-suites",
          "title": "Authoring checklist for new suites",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/sections/reference/yaml/authoring-checklist-for-new-suites.md"
        }
      ],
      "slug": "reference/yaml",
      "title": "YAML Formats",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v5/agent/pages/reference/yaml.md"
    }
  ],
  "rtl_buddy_version": "v5",
  "schema_version": 1
}