{
  "pages": [
    {
      "description": "Setup, authoring rules, and validation required for rtl_buddy contributions.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/CONTRIBUTING/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/CONTRIBUTING/#environment-setup",
          "slug": "environment-setup",
          "title": "Environment Setup",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/CONTRIBUTING/environment-setup.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/CONTRIBUTING/#development-guidelines",
          "slug": "development-guidelines",
          "title": "Development Guidelines",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/CONTRIBUTING/development-guidelines.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/CONTRIBUTING/#documentation-guidelines",
          "slug": "documentation-guidelines",
          "title": "Documentation Guidelines",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/CONTRIBUTING/documentation-guidelines.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/CONTRIBUTING/#validation",
          "slug": "validation",
          "title": "Validation",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/CONTRIBUTING/validation.md"
        }
      ],
      "slug": "CONTRIBUTING",
      "title": "Contributing",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/CONTRIBUTING.md"
    },
    {
      "description": "Install the bundled agent skills, query version-matched local docs, and consume RTL Buddy's machine-readable command, graph, and log interfaces.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/agents/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/agents/#find-design-context",
          "slug": "find-design-context",
          "title": "Find design context",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/agents/find-design-context.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/agents/#use-the-mcp-server",
          "slug": "use-the-mcp-server",
          "title": "Use the MCP server",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/agents/use-the-mcp-server.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/agents/#bundled-agent-skills",
          "slug": "bundled-agent-skills",
          "title": "Bundled agent skills",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/agents/bundled-agent-skills.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/agents/#local-docs-access",
          "slug": "local-docs-access",
          "title": "Local docs access",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/agents/local-docs-access.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/agents/#machine-mode",
          "slug": "machine-mode",
          "title": "Machine mode",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/agents/machine-mode.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/agents/#know-which-commands-write-a-log",
          "slug": "know-which-commands-write-a-log",
          "title": "Know which commands write a log",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/agents/know-which-commands-write-a-log.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/agents/#parse-command-results",
          "slug": "parse-command-results",
          "title": "Parse command results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/agents/parse-command-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/agents/#read-event-logs",
          "slug": "read-event-logs",
          "title": "Read event logs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/agents/read-event-logs.md"
        }
      ],
      "slug": "agents",
      "title": "Agent use of rtl-buddy",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/agents.md"
    },
    {
      "description": "Enable SystemVerilog assertions in Verilator simulation, interpret assertion failures, and collect cover-property hits.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/abv-simulation/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/abv-simulation/#enable-assertions",
          "slug": "enable-assertions",
          "title": "Enable assertions",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/abv-simulation/enable-assertions.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/abv-simulation/#interpret-assertion-results",
          "slug": "interpret-assertion-results",
          "title": "Interpret assertion results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/abv-simulation/interpret-assertion-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/abv-simulation/#collect-cover-property-hits",
          "slug": "collect-cover-property-hits",
          "title": "Collect cover-property hits",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/abv-simulation/collect-cover-property-hits.md"
        }
      ],
      "slug": "concepts/abv-simulation",
      "title": "Assertion-based verification in simulation",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/abv-simulation.md"
    },
    {
      "description": "Discover AXI bundles, generate a simulation monitor, profile a trace, and inspect transactions with the AXI profiling workflow.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/axi-profile/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/axi-profile/#install-the-profiler",
          "slug": "install-the-profiler",
          "title": "Install the profiler",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/axi-profile/install-the-profiler.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/axi-profile/#configure-model-outputs",
          "slug": "configure-model-outputs",
          "title": "Configure model outputs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/axi-profile/configure-model-outputs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/axi-profile/#run-the-profiling-pipeline",
          "slug": "run-the-profiling-pipeline",
          "title": "Run the profiling pipeline",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/axi-profile/run-the-profiling-pipeline.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/axi-profile/#discover-axi-bundles",
          "slug": "discover-axi-bundles",
          "title": "Discover AXI bundles",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/axi-profile/discover-axi-bundles.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/axi-profile/#generate-and-compile-the-monitor",
          "slug": "generate-and-compile-the-monitor",
          "title": "Generate and compile the monitor",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/axi-profile/generate-and-compile-the-monitor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/axi-profile/#profile-a-test-trace",
          "slug": "profile-a-test-trace",
          "title": "Profile a test trace",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/axi-profile/profile-a-test-trace.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/axi-profile/#open-the-transaction-notebook",
          "slug": "open-the-transaction-notebook",
          "title": "Open the transaction notebook",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/axi-profile/open-the-transaction-notebook.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/axi-profile/#find-artefacts-and-logs",
          "slug": "find-artefacts-and-logs",
          "title": "Find artefacts and logs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/axi-profile/find-artefacts-and-logs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/axi-profile/#hub-integration",
          "slug": "hub-integration",
          "title": "Hub integration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/axi-profile/hub-integration.md"
        }
      ],
      "slug": "concepts/axi-profile",
      "title": "AXI Interconnect Profiling",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/axi-profile.md"
    },
    {
      "description": "Configure cocotb testbenches for Verilator, Icarus Verilog, xezim, or VCS and interpret their results.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/cocotb/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/cocotb/#install-cocotb",
          "slug": "install-cocotb",
          "title": "Install cocotb",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/cocotb/install-cocotb.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/cocotb/#configure-the-testbench",
          "slug": "configure-the-testbench",
          "title": "Configure the testbench",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/cocotb/configure-the-testbench.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/cocotb/#interpret-results",
          "slug": "interpret-results",
          "title": "Interpret results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/cocotb/interpret-results.md"
        }
      ],
      "slug": "concepts/cocotb",
      "title": "cocotb Testbenches",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/cocotb.md"
    },
    {
      "description": "Collect Verilator or xezim coverage, merge and export results, and inspect saved coverage by file, module, point, and test.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#enable-coverage",
          "slug": "enable-coverage",
          "title": "Enable coverage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/enable-coverage.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#collect-coverage-with-xezim",
          "slug": "collect-coverage-with-xezim",
          "title": "Collect coverage with xezim",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/collect-coverage-with-xezim.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#merge-and-export-results",
          "slug": "merge-and-export-results",
          "title": "Merge and export results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/merge-and-export-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#add-directory-and-source-point-summaries",
          "slug": "add-directory-and-source-point-summaries",
          "title": "Add directory and source-point summaries",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/add-directory-and-source-point-summaries.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#read-a-failed-merge",
          "slug": "read-a-failed-merge",
          "title": "Read a failed merge",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/read-a-failed-merge.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#per-elaboration-vs-source-point-figures",
          "slug": "per-elaboration-vs-source-point-figures",
          "title": "Per-elaboration vs source-point figures",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/per-elaboration-vs-source-point-figures.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#inspect-cover-property-hits",
          "slug": "inspect-cover-property-hits",
          "title": "Inspect cover-property hits",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/inspect-cover-property-hits.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#use-saved-coverage-artefacts",
          "slug": "use-saved-coverage-artefacts",
          "title": "Use saved coverage artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/use-saved-coverage-artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#skip-the-model-when-nothing-will-read-it",
          "slug": "skip-the-model-when-nothing-will-read-it",
          "title": "Skip the model when nothing will read it",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/skip-the-model-when-nothing-will-read-it.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#query-saved-coverage-with-rb-cov",
          "slug": "query-saved-coverage-with-rb-cov",
          "title": "Query saved coverage with `rb cov`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/query-saved-coverage-with-rb-cov.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#inspect-coverage-in-the-hub",
          "slug": "inspect-coverage-in-the-hub",
          "title": "Inspect coverage in the hub",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/inspect-coverage-in-the-hub.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/coverage/#troubleshooting",
          "slug": "troubleshooting",
          "title": "Troubleshooting",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/coverage/troubleshooting.md"
        }
      ],
      "slug": "concepts/coverage",
      "title": "Coverage",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/coverage.md"
    },
    {
      "description": "Run tests concurrently on one host or Slurm, configure resources and retries, and diagnose dispatched builds and jobs.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#choose-a-backend",
          "slug": "choose-a-backend",
          "title": "Choose a backend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/choose-a-backend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#run-on-one-host",
          "slug": "run-on-one-host",
          "title": "Run on one host",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/run-on-one-host.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#meet-the-slurm-requirements",
          "slug": "meet-the-slurm-requirements",
          "title": "Meet the Slurm requirements",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/meet-the-slurm-requirements.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#follow-a-slurm-run",
          "slug": "follow-a-slurm-run",
          "title": "Follow a Slurm run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/follow-a-slurm-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#configure-dispatch",
          "slug": "configure-dispatch",
          "title": "Configure dispatch",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/configure-dispatch.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#run-the-coverage-tail-as-a-job",
          "slug": "run-the-coverage-tail-as-a-job",
          "title": "Run the coverage tail as a job",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/run-the-coverage-tail-as-a-job.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#set-per-test-resources",
          "slug": "set-per-test-resources",
          "title": "Set per-test resources",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/set-per-test-resources.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#size-a-reservation-per-builder-mode",
          "slug": "size-a-reservation-per-builder-mode",
          "title": "Size a reservation per builder mode",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/size-a-reservation-per-builder-mode.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#set-compile-resources-per-suite-and-testbench",
          "slug": "set-compile-resources-per-suite-and-testbench",
          "title": "Set compile resources per suite and testbench",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/set-compile-resources-per-suite-and-testbench.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#compile-several-builds-at-once",
          "slug": "compile-several-builds-at-once",
          "title": "Compile several builds at once",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/compile-several-builds-at-once.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#split-verilation-from-the-c-build",
          "slug": "split-verilation-from-the-c-build",
          "title": "Split verilation from the C++ build",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/split-verilation-from-the-c-build.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#split-large-groups-into-several-arrays",
          "slug": "split-large-groups-into-several-arrays",
          "title": "Split large groups into several arrays",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/split-large-groups-into-several-arrays.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#use-a-non-default-or-several-slurm-clusters",
          "slug": "use-a-non-default-or-several-slurm-clusters",
          "title": "Use a non-default or several Slurm clusters",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/use-a-non-default-or-several-slurm-clusters.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#tag-job-names-for-one-caller",
          "slug": "tag-job-names-for-one-caller",
          "title": "Tag job names for one caller",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/tag-job-names-for-one-caller.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#reuse-shared-builds-and-force-a-rebuild",
          "slug": "reuse-shared-builds-and-force-a-rebuild",
          "title": "Reuse shared builds and force a rebuild",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/reuse-shared-builds-and-force-a-rebuild.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#start-simulations-as-each-build-finishes",
          "slug": "start-simulations-as-each-build-finishes",
          "title": "Start simulations as each build finishes",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/start-simulations-as-each-build-finishes.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#recover-when-a-gated-job-cannot-use-the-build",
          "slug": "recover-when-a-gated-job-cannot-use-the-build",
          "title": "Recover when a gated job cannot use the build",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/recover-when-a-gated-job-cannot-use-the-build.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#interrupted-runs-warn-cancel-adopt",
          "slug": "interrupted-runs-warn-cancel-adopt",
          "title": "Interrupted runs: warn, cancel, adopt",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/interrupted-runs-warn-cancel-adopt.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#retry-license-queue-timeouts",
          "slug": "retry-license-queue-timeouts",
          "title": "Retry license-queue timeouts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/retry-license-queue-timeouts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#monitor-and-stop-a-run",
          "slug": "monitor-and-stop-a-run",
          "title": "Monitor and stop a run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/monitor-and-stop-a-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#apply-reservation-advice",
          "slug": "apply-reservation-advice",
          "title": "Apply reservation advice",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/apply-reservation-advice.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#read-advice-for-the-build-and-verilate-jobs",
          "slug": "read-advice-for-the-build-and-verilate-jobs",
          "title": "Read advice for the build and verilate jobs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/read-advice-for-the-build-and-verilate-jobs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#judge-cpu-advice-against-requested-cpus",
          "slug": "judge-cpu-advice-against-requested-cpus",
          "title": "Judge cpu advice against requested cpus",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/judge-cpu-advice-against-requested-cpus.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#handle-cpu-overrides-in-sbatch-args",
          "slug": "handle-cpu-overrides-in-sbatch-args",
          "title": "Handle cpu overrides in sbatch-args",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/handle-cpu-overrides-in-sbatch-args.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#troubleshoot-reservations-arrays-and-waits",
          "slug": "troubleshoot-reservations-arrays-and-waits",
          "title": "Troubleshoot reservations, arrays, and waits",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/troubleshoot-reservations-arrays-and-waits.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#troubleshoot-builds",
          "slug": "troubleshoot-builds",
          "title": "Troubleshoot builds",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/troubleshoot-builds.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/dispatch/#troubleshoot-early-release",
          "slug": "troubleshoot-early-release",
          "title": "Troubleshoot early release",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/dispatch/troubleshoot-early-release.md"
        }
      ],
      "slug": "concepts/dispatch",
      "title": "Parallel dispatch",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/dispatch.md"
    },
    {
      "description": "Parse, type-check, and elaborate models quickly with pyslang, using optional profiles in models.yaml and explicit regression manifests.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/elaboration/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/elaboration/#run-a-model",
          "slug": "run-a-model",
          "title": "Run a model",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/elaboration/run-a-model.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/elaboration/#raise-the-parser-nesting-limit",
          "slug": "raise-the-parser-nesting-limit",
          "title": "Raise the parser nesting limit",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/elaboration/raise-the-parser-nesting-limit.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/elaboration/#run-a-regression",
          "slug": "run-a-regression",
          "title": "Run a regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/elaboration/run-a-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/elaboration/#outputs",
          "slug": "outputs",
          "title": "Outputs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/elaboration/outputs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/elaboration/#dispatch-elaboration",
          "slug": "dispatch-elaboration",
          "title": "Dispatch elaboration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/elaboration/dispatch-elaboration.md"
        }
      ],
      "slug": "concepts/elaboration",
      "title": "Model Elaboration",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/elaboration.md"
    },
    {
      "description": "Resolve RTL Buddy command roots, configuration paths, logs, artefacts, hook paths, and concurrent-run conflicts.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/execution-context/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/execution-context/#resolve-command-paths",
          "slug": "resolve-command-paths",
          "title": "Resolve command paths",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/execution-context/resolve-command-paths.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/execution-context/#find-each-command-root",
          "slug": "find-each-command-root",
          "title": "Find each command root",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/execution-context/find-each-command-root.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/execution-context/#resolve-config-paths",
          "slug": "resolve-config-paths",
          "title": "Resolve config paths",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/execution-context/resolve-config-paths.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/execution-context/#write-hook-outputs-safely",
          "slug": "write-hook-outputs-safely",
          "title": "Write hook outputs safely",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/execution-context/write-hook-outputs-safely.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/execution-context/#namespace-concurrent-runs",
          "slug": "namespace-concurrent-runs",
          "title": "Namespace concurrent runs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/execution-context/namespace-concurrent-runs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/execution-context/#handle-an-artefact-lock",
          "slug": "handle-an-artefact-lock",
          "title": "Handle an artefact lock",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/execution-context/handle-an-artefact-lock.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/execution-context/#find-the-log",
          "slug": "find-the-log",
          "title": "Find the log",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/execution-context/find-the-log.md"
        }
      ],
      "slug": "concepts/execution-context",
      "title": "Execution Context",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/execution-context.md"
    },
    {
      "description": "Mark known failures, choose whether an unexpected pass should fail a run, and know which failures a marker never covers.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/expected-failures/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/expected-failures/#choose-strictness",
          "slug": "choose-strictness",
          "title": "Choose strictness",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/expected-failures/choose-strictness.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/expected-failures/#name-the-expected-failure",
          "slug": "name-the-expected-failure",
          "title": "Name the expected failure",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/expected-failures/name-the-expected-failure.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/expected-failures/#what-the-marker-covers",
          "slug": "what-the-marker-covers",
          "title": "What the marker covers",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/expected-failures/what-the-marker-covers.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/expected-failures/#read-a-marker-that-was-not-applied",
          "slug": "read-a-marker-that-was-not-applied",
          "title": "Read a marker that was not applied",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/expected-failures/read-a-marker-that-was-not-applied.md"
        }
      ],
      "slug": "concepts/expected-failures",
      "title": "Expected Failures",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/expected-failures.md"
    },
    {
      "description": "Configure and run FPGA synthesis, placement, routing, reports, and optional bitstream generation with Vivado or openXC7.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpga/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpga/#choose-and-install-a-backend",
          "slug": "choose-and-install-a-backend",
          "title": "Choose and install a backend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpga/choose-and-install-a-backend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpga/#configure-fpgayaml",
          "slug": "configure-fpgayaml",
          "title": "Configure `fpga.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpga/configure-fpgayaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpga/#share-parts-with-platforms",
          "slug": "share-parts-with-platforms",
          "title": "Share parts with platforms",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpga/share-parts-with-platforms.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpga/#run-one-suite-or-a-regression",
          "slug": "run-one-suite-or-a-regression",
          "title": "Run one suite or a regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpga/run-one-suite-or-a-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpga/#read-timing-and-quality-results",
          "slug": "read-timing-and-quality-results",
          "title": "Read timing and quality results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpga/read-timing-and-quality-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpga/#read-power-results",
          "slug": "read-power-results",
          "title": "Read power results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpga/read-power-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpga/#generate-or-audit-cdc-constraints",
          "slug": "generate-or-audit-cdc-constraints",
          "title": "Generate or audit CDC constraints",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpga/generate-or-audit-cdc-constraints.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpga/#find-artefacts",
          "slug": "find-artefacts",
          "title": "Find artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpga/find-artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpga/#interpret-pass-fail-and-skip",
          "slug": "interpret-pass-fail-and-skip",
          "title": "Interpret pass, fail, and skip",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpga/interpret-pass-fail-and-skip.md"
        }
      ],
      "slug": "concepts/fpga",
      "title": "FPGA Implementation",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/fpga.md"
    },
    {
      "description": "Configure and run SymbiYosys formal verification, choose a SystemVerilog frontend, check proof quality, and debug failures.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/#install-the-formal-toolchain",
          "slug": "install-the-formal-toolchain",
          "title": "Install the formal toolchain",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpv/install-the-formal-toolchain.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/#configure-fpvyaml",
          "slug": "configure-fpvyaml",
          "title": "Configure `fpv.yaml`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpv/configure-fpvyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/#choose-the-systemverilog-frontend",
          "slug": "choose-the-systemverilog-frontend",
          "title": "Choose the SystemVerilog frontend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpv/choose-the-systemverilog-frontend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/#run-formal-verification",
          "slug": "run-formal-verification",
          "title": "Run formal verification",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpv/run-formal-verification.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/#check-proof-quality",
          "slug": "check-proof-quality",
          "title": "Check proof quality",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpv/check-proof-quality.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/#debug-unknown-from-prove",
          "slug": "debug-unknown-from-prove",
          "title": "Debug `UNKNOWN` from `prove`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpv/debug-unknown-from-prove.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/#constrain-reset-and-keep-covers-reachable",
          "slug": "constrain-reset-and-keep-covers-reachable",
          "title": "Constrain reset and keep covers reachable",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpv/constrain-reset-and-keep-covers-reachable.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/#avoid-frontend-specific-property-failures",
          "slug": "avoid-frontend-specific-property-failures",
          "title": "Avoid frontend-specific property failures",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpv/avoid-frontend-specific-property-failures.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/#prove-reduced-configurations",
          "slug": "prove-reduced-configurations",
          "title": "Prove reduced configurations",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpv/prove-reduced-configurations.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/#inspect-artefacts-and-counterexamples",
          "slug": "inspect-artefacts-and-counterexamples",
          "title": "Inspect artefacts and counterexamples",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpv/inspect-artefacts-and-counterexamples.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/fpv/#troubleshooting",
          "slug": "troubleshooting",
          "title": "Troubleshooting",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/fpv/troubleshooting.md"
        }
      ],
      "slug": "concepts/fpv",
      "title": "Formal property verification",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/fpv.md"
    },
    {
      "description": "Build and query rtl_buddy's design knowledge graph, join test and coverage results, and use its CLI, MCP, and browser interfaces.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#choose-graph-or-source-lookup",
          "slug": "choose-graph-or-source-lookup",
          "title": "Choose graph or source lookup",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/choose-graph-or-source-lookup.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#build-and-refresh-the-graph",
          "slug": "build-and-refresh-the-graph",
          "title": "Build and refresh the graph",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/build-and-refresh-the-graph.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#cached-builds",
          "slug": "cached-builds",
          "title": "Cached builds",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/cached-builds.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#models-with-no-elaborable-root",
          "slug": "models-with-no-elaborable-root",
          "title": "Models with no elaborable root",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/models-with-no-elaborable-root.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#model-names-and-tops-must-be-distinct",
          "slug": "model-names-and-tops-must-be-distinct",
          "title": "Model names and tops must be distinct",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/model-names-and-tops-must-be-distinct.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#query-the-graph",
          "slug": "query-the-graph",
          "title": "Query the graph",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/query-the-graph.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#results-overlay",
          "slug": "results-overlay",
          "title": "Results Overlay",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/results-overlay.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#coverage-on-the-graph",
          "slug": "coverage-on-the-graph",
          "title": "Coverage on the Graph",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/coverage-on-the-graph.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#physical-heat-on-the-graph",
          "slug": "physical-heat-on-the-graph",
          "title": "Physical Heat on the Graph",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/physical-heat-on-the-graph.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#looking-at-the-graph",
          "slug": "looking-at-the-graph",
          "title": "Looking at the Graph",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/looking-at-the-graph.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#the-mcp-server",
          "slug": "the-mcp-server",
          "title": "The MCP Server",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/the-mcp-server.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#graph-data-model",
          "slug": "graph-data-model",
          "title": "Graph data model",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/graph-data-model.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/graph/#troubleshooting",
          "slug": "troubleshooting",
          "title": "Troubleshooting",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/graph/troubleshooting.md"
        }
      ],
      "slug": "concepts/graph",
      "title": "Design Knowledge Graph",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/graph.md"
    },
    {
      "description": "Render or query a model or testbench hierarchy with `rb hier`, `rb hier-query`, and the external `rtl-buddy-view` renderer.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hier/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hier/#install-the-renderer",
          "slug": "install-the-renderer",
          "title": "Install the renderer",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hier/install-the-renderer.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hier/#render-a-hierarchy",
          "slug": "render-a-hierarchy",
          "title": "Render a hierarchy",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hier/render-a-hierarchy.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hier/#render-a-testbench-hierarchy",
          "slug": "render-a-testbench-hierarchy",
          "title": "Render a testbench hierarchy",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hier/render-a-testbench-hierarchy.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hier/#render-a-block-diagram",
          "slug": "render-a-block-diagram",
          "title": "Render a block diagram",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hier/render-a-block-diagram.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hier/#trim-a-figure-for-a-document",
          "slug": "trim-a-figure-for-a-document",
          "title": "Trim a figure for a document",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hier/trim-a-figure-for-a-document.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hier/#query-hierarchy-data",
          "slug": "query-hierarchy-data",
          "title": "Query hierarchy data",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hier/query-hierarchy-data.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hier/#select-a-parser-and-annotations",
          "slug": "select-a-parser-and-annotations",
          "title": "Select a parser and annotations",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hier/select-a-parser-and-annotations.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hier/#find-outputs-and-diagnose-failures",
          "slug": "find-outputs-and-diagnose-failures",
          "title": "Find outputs and diagnose failures",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hier/find-outputs-and-diagnose-failures.md"
        }
      ],
      "slug": "concepts/hier",
      "title": "Hierarchy Rendering",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/hier.md"
    },
    {
      "description": "Start and operate the rtl_buddy hub, connect browser and editor peers, switch designs, send commands, and diagnose connection or view failures.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#quick-start",
          "slug": "quick-start",
          "title": "Quick start",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/quick-start.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#start-with-a-model-or-testbench",
          "slug": "start-with-a-model-or-testbench",
          "title": "Start with a model or testbench",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/start-with-a-model-or-testbench.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#diagnose-view-errors",
          "slug": "diagnose-view-errors",
          "title": "Diagnose view errors",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/diagnose-view-errors.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#discovery-and-configuration",
          "slug": "discovery-and-configuration",
          "title": "Discovery and configuration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/discovery-and-configuration.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#connect-peers",
          "slug": "connect-peers",
          "title": "Connect peers",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/connect-peers.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#drive-the-hub-from-the-cli",
          "slug": "drive-the-hub-from-the-cli",
          "title": "Drive the hub from the CLI",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/drive-the-hub-from-the-cli.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#design-knowledge-graph-pane",
          "slug": "design-knowledge-graph-pane",
          "title": "Design knowledge graph pane",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/design-knowledge-graph-pane.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#coverage-pane",
          "slug": "coverage-pane",
          "title": "Coverage pane",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/coverage-pane.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#synthpower-pane",
          "slug": "synthpower-pane",
          "title": "Synth+power pane",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/synthpower-pane.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/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/v8/agent/sections/concepts/hub/axi-perf-overlay-and-notebook-spawning.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#protocol-and-adapters",
          "slug": "protocol-and-adapters",
          "title": "Protocol and adapters",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/protocol-and-adapters.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#auto-start-on-macos",
          "slug": "auto-start-on-macos",
          "title": "Auto-start on macOS",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/auto-start-on-macos.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/hub/#troubleshooting",
          "slug": "troubleshooting",
          "title": "Troubleshooting",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/hub/troubleshooting.md"
        }
      ],
      "slug": "concepts/hub",
      "title": "Hub (`rb hub`)",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/hub.md"
    },
    {
      "description": "Configure and run mutation campaigns with FPV or simulation kill oracles, curated patch mutants, scoped files, budgets, and machine-readable reports.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/mut/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/mut/#configure-a-campaign",
          "slug": "configure-a-campaign",
          "title": "Configure a campaign",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/mut/configure-a-campaign.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/mut/#choose-kill-oracles",
          "slug": "choose-kill-oracles",
          "title": "Choose kill oracles",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/mut/choose-kill-oracles.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/mut/#choose-operators",
          "slug": "choose-operators",
          "title": "Choose operators",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/mut/choose-operators.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/mut/#add-curated-mutants",
          "slug": "add-curated-mutants",
          "title": "Add curated mutants",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/mut/add-curated-mutants.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/mut/#scope-a-hierarchical-campaign",
          "slug": "scope-a-hierarchical-campaign",
          "title": "Scope a hierarchical campaign",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/mut/scope-a-hierarchical-campaign.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/mut/#run-and-score",
          "slug": "run-and-score",
          "title": "Run and score",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/mut/run-and-score.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/mut/#interpret-results",
          "slug": "interpret-results",
          "title": "Interpret results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/mut/interpret-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/mut/#exit-codes",
          "slug": "exit-codes",
          "title": "Exit codes",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/mut/exit-codes.md"
        }
      ],
      "slug": "concepts/mut",
      "title": "Mutation testing",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/mut.md"
    },
    {
      "description": "Query saved synthesis and power artefacts by module and instance with rb phys or the hub's synth+power pane, from the physical model each run writes.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#read-the-model-a-run-produced",
          "slug": "read-the-model-a-run-produced",
          "title": "Read the model a run produced",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/read-the-model-a-run-produced.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#list-the-runs-a-project-holds",
          "slug": "list-the-runs-a-project-holds",
          "title": "List the runs a project holds",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/list-the-runs-a-project-holds.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#tell-two-runs-apart",
          "slug": "tell-two-runs-apart",
          "title": "Tell two runs apart",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/tell-two-runs-apart.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#read-a-model-with-only-one-half",
          "slug": "read-a-model-with-only-one-half",
          "title": "Read a model with only one half",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/read-a-model-with-only-one-half.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#what-the-module-join-can-answer",
          "slug": "what-the-module-join-can-answer",
          "title": "What the module join can answer",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/what-the-module-join-can-answer.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#roll-up-a-hierarchy",
          "slug": "roll-up-a-hierarchy",
          "title": "Roll up a hierarchy",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/roll-up-a-hierarchy.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#browse-the-model-in-the-hub",
          "slug": "browse-the-model-in-the-hub",
          "title": "Browse the model in the hub",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/browse-the-model-in-the-hub.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#focus-the-pane-from-another-app",
          "slug": "focus-the-pane-from-another-app",
          "title": "Focus the pane from another app",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/focus-the-pane-from-another-app.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#paint-the-graph-with-physical-heat",
          "slug": "paint-the-graph-with-physical-heat",
          "title": "Paint the graph with physical heat",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/paint-the-graph-with-physical-heat.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#machine-output",
          "slug": "machine-output",
          "title": "Machine output",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/machine-output.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#use-phys-from-mcp",
          "slug": "use-phys-from-mcp",
          "title": "Use phys from MCP",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/use-phys-from-mcp.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/phys/#troubleshooting",
          "slug": "troubleshooting",
          "title": "Troubleshooting",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/phys/troubleshooting.md"
        }
      ],
      "slug": "concepts/phys",
      "title": "Physical Metrics",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/phys.md"
    },
    {
      "description": "Configure sweep and preprocessing hooks in tests.yaml, including their inputs, paths, output ownership, and failure behavior.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/plugins/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/plugins/#expand-tests-with-sweep",
          "slug": "expand-tests-with-sweep",
          "title": "Expand tests with `sweep`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/plugins/expand-tests-with-sweep.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/plugins/#modify-a-test-with-preproc",
          "slug": "modify-a-test-with-preproc",
          "title": "Modify a test with `preproc`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/plugins/modify-a-test-with-preproc.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/plugins/#write-generated-files-safely",
          "slug": "write-generated-files-safely",
          "title": "Write generated files safely",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/plugins/write-generated-files-safely.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/plugins/#handle-hook-execution-context",
          "slug": "handle-hook-execution-context",
          "title": "Handle hook execution context",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/plugins/handle-hook-execution-context.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/plugins/#post-processing",
          "slug": "post-processing",
          "title": "Post-processing",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/plugins/post-processing.md"
        }
      ],
      "slug": "concepts/plugins",
      "title": "Test plugins",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/plugins.md"
    },
    {
      "description": "Run OpenROAD place-and-route on a synthesised netlist with rb pnr, read and debug the result, and control the floorplan, timing repair, long runs, GDS export and hardened blocks.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#run-pr-on-a-block",
          "slug": "run-pr-on-a-block",
          "title": "Run P&R on a block",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/run-pr-on-a-block.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#run-several-pr-calls-at-once",
          "slug": "run-several-pr-calls-at-once",
          "title": "Run several P&R calls at once",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/run-several-pr-calls-at-once.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#interpret-results",
          "slug": "interpret-results",
          "title": "Interpret results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/interpret-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#inspect-artefacts",
          "slug": "inspect-artefacts",
          "title": "Inspect artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/inspect-artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#follow-a-running-flow",
          "slug": "follow-a-running-flow",
          "title": "Follow a running flow",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/follow-a-running-flow.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#fix-a-failed-run",
          "slug": "fix-a-failed-run",
          "title": "Fix a failed run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/fix-a-failed-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#configure-the-physical-platform",
          "slug": "configure-the-physical-platform",
          "title": "Configure the physical platform",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/configure-the-physical-platform.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#sign-off-at-several-corners",
          "slug": "sign-off-at-several-corners",
          "title": "Sign off at several corners",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/sign-off-at-several-corners.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#gate-signoff",
          "slug": "gate-signoff",
          "title": "Gate signoff",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/gate-signoff.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#check-and-repair-slew-at-output-ports",
          "slug": "check-and-repair-slew-at-output-ports",
          "title": "Check and repair slew at output ports",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/check-and-repair-slew-at-output-ports.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#set-wire-rc",
          "slug": "set-wire-rc",
          "title": "Set wire RC",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/set-wire-rc.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#pdk-setup-notes",
          "slug": "pdk-setup-notes",
          "title": "PDK setup notes",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/pdk-setup-notes.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#tune-placement-clock-tree-and-repair",
          "slug": "tune-placement-clock-tree-and-repair",
          "title": "Tune placement, clock tree and repair",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/tune-placement-clock-tree-and-repair.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#tune-global-routing",
          "slug": "tune-global-routing",
          "title": "Tune global routing",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/tune-global-routing.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#repair-timing-after-routing",
          "slug": "repair-timing-after-routing",
          "title": "Repair timing after routing",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/repair-timing-after-routing.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#probe-a-floorplan",
          "slug": "probe-a-floorplan",
          "title": "Probe a floorplan",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/probe-a-floorplan.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#shape-the-floorplan",
          "slug": "shape-the-floorplan",
          "title": "Shape the floorplan",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/shape-the-floorplan.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#place-macros",
          "slug": "place-macros",
          "title": "Place macros",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/place-macros.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#place-io-pins",
          "slug": "place-io-pins",
          "title": "Place IO pins",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/place-io-pins.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#plan-the-power-grid",
          "slug": "plan-the-power-grid",
          "title": "Plan the power grid",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/plan-the-power-grid.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#run-tcl-hooks",
          "slug": "run-tcl-hooks",
          "title": "Run Tcl hooks",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/run-tcl-hooks.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#openroad-threads",
          "slug": "openroad-threads",
          "title": "OpenROAD threads",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/openroad-threads.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#keep-stage-checkpoints",
          "slug": "keep-stage-checkpoints",
          "title": "Keep stage checkpoints",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/keep-stage-checkpoints.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#compare-timing-across-stages",
          "slug": "compare-timing-across-stages",
          "title": "Compare timing across stages",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/compare-timing-across-stages.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#run-stages-as-separate-sessions",
          "slug": "run-stages-as-separate-sessions",
          "title": "Run stages as separate sessions",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/run-stages-as-separate-sessions.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#dispatch-the-stages-to-slurm",
          "slug": "dispatch-the-stages-to-slurm",
          "title": "Dispatch the stages to Slurm",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/dispatch-the-stages-to-slurm.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#stream-out-gds-and-png",
          "slug": "stream-out-gds-and-png",
          "title": "Stream out GDS and PNG",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/stream-out-gds-and-png.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#export-a-saved-result",
          "slug": "export-a-saved-result",
          "title": "Export a saved result",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/export-a-saved-result.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#harden-a-block",
          "slug": "harden-a-block",
          "title": "Harden a block",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/harden-a-block.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#assemble-hardened-blocks",
          "slug": "assemble-hardened-blocks",
          "title": "Assemble hardened blocks",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/assemble-hardened-blocks.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#instance-a-parameterised-block",
          "slug": "instance-a-parameterised-block",
          "title": "Instance a parameterised block",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/instance-a-parameterised-block.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/pnr/#flow-reference",
          "slug": "flow-reference",
          "title": "Flow reference",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/pnr/flow-reference.md"
        }
      ],
      "slug": "concepts/pnr",
      "title": "Place-and-Route",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/pnr.md"
    },
    {
      "description": "Run OpenROAD gate-level power analysis from synthesis or P&R outputs using static, synthetic, SAIF, or VCD activity.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#install-openroad",
          "slug": "install-openroad",
          "title": "Install OpenROAD",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/install-openroad.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#choose-the-design-source",
          "slug": "choose-the-design-source",
          "title": "Choose the design source",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/choose-the-design-source.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#extracted-parasitics",
          "slug": "extracted-parasitics",
          "title": "Extracted parasitics",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/extracted-parasitics.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#define-power-runs",
          "slug": "define-power-runs",
          "title": "Define power runs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/define-power-runs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#select-activity",
          "slug": "select-activity",
          "title": "Select activity",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/select-activity.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#capture-saif-activity",
          "slug": "capture-saif-activity",
          "title": "Capture SAIF activity",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/capture-saif-activity.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#give-hard-macros-a-library",
          "slug": "give-hard-macros-a-library",
          "title": "Give hard macros a library",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/give-hard-macros-a-library.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#read-the-unpowered-cell-warning",
          "slug": "read-the-unpowered-cell-warning",
          "title": "Read the unpowered-cell warning",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/read-the-unpowered-cell-warning.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#run-power-analysis",
          "slug": "run-power-analysis",
          "title": "Run power analysis",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/run-power-analysis.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#interpret-results",
          "slug": "interpret-results",
          "title": "Interpret results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/interpret-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#pair-the-model-with-a-synthesis-run",
          "slug": "pair-the-model-with-a-synthesis-run",
          "title": "Pair the model with a synthesis run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/pair-the-model-with-a-synthesis-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#inspect-artefacts",
          "slug": "inspect-artefacts",
          "title": "Inspect artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/inspect-artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/power/#troubleshooting",
          "slug": "troubleshooting",
          "title": "Troubleshooting",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/power/troubleshooting.md"
        }
      ],
      "slug": "concepts/power",
      "title": "Power Analysis",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/power.md"
    },
    {
      "description": "Run multiple simulation suites from regression.yaml, filter by regression level, and choose local or parallel dispatch.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/regressions/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/regressions/#configure-a-regression",
          "slug": "configure-a-regression",
          "title": "Configure a regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/regressions/configure-a-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/regressions/#resolve-the-manifest",
          "slug": "resolve-the-manifest",
          "title": "Resolve the manifest",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/regressions/resolve-the-manifest.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/regressions/#filter-by-regression-level",
          "slug": "filter-by-regression-level",
          "title": "Filter by regression level",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/regressions/filter-by-regression-level.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/regressions/#reuse-compilation",
          "slug": "reuse-compilation",
          "title": "Reuse compilation",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/regressions/reuse-compilation.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/regressions/#replay-a-seeded-regression",
          "slug": "replay-a-seeded-regression",
          "title": "Replay a seeded regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/regressions/replay-a-seeded-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/regressions/#run-in-parallel",
          "slug": "run-in-parallel",
          "title": "Run in parallel",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/regressions/run-in-parallel.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/regressions/#run-two-tiers-at-once",
          "slug": "run-two-tiers-at-once",
          "title": "Run two tiers at once",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/regressions/run-two-tiers-at-once.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/regressions/#read-the-results-summary",
          "slug": "read-the-results-summary",
          "title": "Read the results summary",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/regressions/read-the-results-summary.md"
        }
      ],
      "slug": "concepts/regressions",
      "title": "Regressions",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/regressions.md"
    },
    {
      "description": "Cut an obfuscated and encrypted customer release of a design with rb release, keep released names stable, ship constraints that still match, and verify the package before it leaves.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/release/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/release/#install-the-tools",
          "slug": "install-the-tools",
          "title": "Install the tools",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/release/install-the-tools.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/release/#what-is-protected-and-how",
          "slug": "what-is-protected-and-how",
          "title": "What is protected, and how",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/release/what-is-protected-and-how.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/release/#reproducing-a-release",
          "slug": "reproducing-a-release",
          "title": "Reproducing a release",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/release/reproducing-a-release.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/release/#constraints",
          "slug": "constraints",
          "title": "Constraints",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/release/constraints.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/release/#customer-registers",
          "slug": "customer-registers",
          "title": "Customer registers",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/release/customer-registers.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/release/#verification",
          "slug": "verification",
          "title": "Verification",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/release/verification.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/release/#the-package",
          "slug": "the-package",
          "title": "The package",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/release/the-package.md"
        }
      ],
      "slug": "concepts/release",
      "title": "Customer releases",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/release.md"
    },
    {
      "description": "Configure project-wide platforms, simulation builders, tool paths, regression defaults, and machine-local environment values in root_config.yaml.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/root-config/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/root-config/#place-and-discover-the-config",
          "slug": "place-and-discover-the-config",
          "title": "Place and discover the config",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/root-config/place-and-discover-the-config.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/root-config/#configure-a-simulation-platform",
          "slug": "configure-a-simulation-platform",
          "title": "Configure a simulation platform",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/root-config/configure-a-simulation-platform.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/root-config/#configure-portable-tool-paths",
          "slug": "configure-portable-tool-paths",
          "title": "Configure portable tool paths",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/root-config/configure-portable-tool-paths.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/root-config/#configure-the-builder",
          "slug": "configure-the-builder",
          "title": "Configure the builder",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/root-config/configure-the-builder.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/root-config/#set-regression-defaults",
          "slug": "set-regression-defaults",
          "title": "Set regression defaults",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/root-config/set-regression-defaults.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/root-config/#project-local-env-defaults-rtl-buddyenv",
          "slug": "project-local-env-defaults-rtl-buddyenv",
          "title": "Project-local env defaults: `.rtl-buddy/.env`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/root-config/project-local-env-defaults-rtl-buddyenv.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/root-config/#use-the-schema-reference",
          "slug": "use-the-schema-reference",
          "title": "Use the schema reference",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/root-config/use-the-schema-reference.md"
        }
      ],
      "slug": "concepts/root-config",
      "title": "Root Config",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/root-config.md"
    },
    {
      "description": "Choose between Verilator, Icarus Verilog and xezim simulation backends and understand their coverage and waveform differences.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/simulators/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/simulators/#choose-a-backend",
          "slug": "choose-a-backend",
          "title": "Choose a backend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/simulators/choose-a-backend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/simulators/#select-a-builder",
          "slug": "select-a-builder",
          "title": "Select a builder",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/simulators/select-a-builder.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/simulators/#open-waveforms",
          "slug": "open-waveforms",
          "title": "Open waveforms",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/simulators/open-waveforms.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/simulators/#collect-coverage",
          "slug": "collect-coverage",
          "title": "Collect coverage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/simulators/collect-coverage.md"
        }
      ],
      "slug": "concepts/simulators",
      "title": "Simulation Backends",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/simulators.md"
    },
    {
      "description": "Link specification items to design models, simulation tests, and formal verifications, then check traceability with rb spec.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/spec-traceability/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/spec-traceability/#define-coverage-items",
          "slug": "define-coverage-items",
          "title": "Define coverage items",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/spec-traceability/define-coverage-items.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/spec-traceability/#link-the-design-model",
          "slug": "link-the-design-model",
          "title": "Link the design model",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/spec-traceability/link-the-design-model.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/spec-traceability/#declare-verification-coverage",
          "slug": "declare-verification-coverage",
          "title": "Declare verification coverage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/spec-traceability/declare-verification-coverage.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/spec-traceability/#check-traceability",
          "slug": "check-traceability",
          "title": "Check traceability",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/spec-traceability/check-traceability.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/spec-traceability/#query-the-relationships-as-a-graph",
          "slug": "query-the-relationships-as-a-graph",
          "title": "Query the relationships as a graph",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/spec-traceability/query-the-relationships-as-a-graph.md"
        }
      ],
      "slug": "concepts/spec-traceability",
      "title": "Spec traceability",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/spec-traceability.md"
    },
    {
      "description": "Configure and run Yosys synthesis with optional OpenROAD timing analysis, PDK mapping, the slang frontend, correctness gates, and effort levels.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#choose-a-backend",
          "slug": "choose-a-backend",
          "title": "Choose a backend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/choose-a-backend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#install-the-tools",
          "slug": "install-the-tools",
          "title": "Install the tools",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/install-the-tools.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#define-synthesis-runs",
          "slug": "define-synthesis-runs",
          "title": "Define synthesis runs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/define-synthesis-runs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#configure-tools-and-the-pdk",
          "slug": "configure-tools-and-the-pdk",
          "title": "Configure tools and the PDK",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/configure-tools-and-the-pdk.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#how-the-sdc-is-read",
          "slug": "how-the-sdc-is-read",
          "title": "How the SDC is read",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/how-the-sdc-is-read.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#systemverilog-frontend",
          "slug": "systemverilog-frontend",
          "title": "SystemVerilog frontend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/systemverilog-frontend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#correctness-gates",
          "slug": "correctness-gates",
          "title": "Correctness gates",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/correctness-gates.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#gate-static-lifetime-subroutines",
          "slug": "gate-static-lifetime-subroutines",
          "title": "Gate static-lifetime subroutines",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/gate-static-lifetime-subroutines.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#preprocessor-definitions",
          "slug": "preprocessor-definitions",
          "title": "Preprocessor definitions",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/preprocessor-definitions.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#gate-conflicting-drivers",
          "slug": "gate-conflicting-drivers",
          "title": "Gate conflicting drivers",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/gate-conflicting-drivers.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#gate-unbound-interface-instances",
          "slug": "gate-unbound-interface-instances",
          "title": "Gate unbound interface instances",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/gate-unbound-interface-instances.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#select-an-effort",
          "slug": "select-an-effort",
          "title": "Select an effort",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/select-an-effort.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#choose-the-mapped-run-abc-script",
          "slug": "choose-the-mapped-run-abc-script",
          "title": "Choose the mapped-run ABC script",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/choose-the-mapped-run-abc-script.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#gate-enable-flops-with-clock-gating-cells",
          "slug": "gate-enable-flops-with-clock-gating-cells",
          "title": "Gate enable flops with clock-gating cells",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/gate-enable-flops-with-clock-gating-cells.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#run-abc-in-batch-mode",
          "slug": "run-abc-in-batch-mode",
          "title": "Run ABC in batch mode",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/run-abc-in-batch-mode.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#synthesize-hard-macros",
          "slug": "synthesize-hard-macros",
          "title": "Synthesize hard macros",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/synthesize-hard-macros.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#run-synthesis",
          "slug": "run-synthesis",
          "title": "Run synthesis",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/run-synthesis.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#interpret-results",
          "slug": "interpret-results",
          "title": "Interpret results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/interpret-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#inspect-artefacts",
          "slug": "inspect-artefacts",
          "title": "Inspect artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/inspect-artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/synthesis/#troubleshooting",
          "slug": "troubleshooting",
          "title": "Troubleshooting",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/synthesis/troubleshooting.md"
        }
      ],
      "slug": "concepts/synthesis",
      "title": "Synthesis",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/synthesis.md"
    },
    {
      "description": "Define and run tests from tests.yaml, control timeouts and seeds, read verdicts, and reuse compiled builds.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#define-a-suite",
          "slug": "define-a-suite",
          "title": "Define a suite",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/define-a-suite.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#run-tests",
          "slug": "run-tests",
          "title": "Run tests",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/run-tests.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#override-a-plusarg-for-one-run",
          "slug": "override-a-plusarg-for-one-run",
          "title": "Override a plusarg for one run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/override-a-plusarg-for-one-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#filter-by-regression-level",
          "slug": "filter-by-regression-level",
          "title": "Filter by regression level",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/filter-by-regression-level.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#set-simulation-timeouts",
          "slug": "set-simulation-timeouts",
          "title": "Set simulation timeouts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/set-simulation-timeouts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#produce-a-verdict",
          "slug": "produce-a-verdict",
          "title": "Produce a verdict",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/produce-a-verdict.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#interpret-results",
          "slug": "interpret-results",
          "title": "Interpret results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/interpret-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#stop-after-a-stage",
          "slug": "stop-after-a-stage",
          "title": "Stop after a stage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/stop-after-a-stage.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#sharing-compiled-builds-across-tests",
          "slug": "sharing-compiled-builds-across-tests",
          "title": "Sharing compiled builds across tests",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/sharing-compiled-builds-across-tests.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#pruning-verilator-intermediates",
          "slug": "pruning-verilator-intermediates",
          "title": "Pruning Verilator intermediates",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/pruning-verilator-intermediates.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#persistent-build-cache",
          "slug": "persistent-build-cache",
          "title": "Persistent build cache",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/persistent-build-cache.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#run-with-randomized-seeds",
          "slug": "run-with-randomized-seeds",
          "title": "Run with randomized seeds",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/run-with-randomized-seeds.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#inspect-artefacts",
          "slug": "inspect-artefacts",
          "title": "Inspect artefacts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/inspect-artefacts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tests/#troubleshooting",
          "slug": "troubleshooting",
          "title": "Troubleshooting",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tests/troubleshooting.md"
        }
      ],
      "slug": "concepts/tests",
      "title": "Tests",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/tests.md"
    },
    {
      "description": "Check external-tool availability and versions, diagnose blocked subcommands, and gate CI with rb tool-check.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tool-check/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tool-check/#check-the-environment",
          "slug": "check-the-environment",
          "title": "Check the environment",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tool-check/check-the-environment.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tool-check/#optional-binaries",
          "slug": "optional-binaries",
          "title": "Optional binaries",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tool-check/optional-binaries.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tool-check/#in-process-readers",
          "slug": "in-process-readers",
          "title": "In-process readers",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tool-check/in-process-readers.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tool-check/#gate-scripts-and-ci",
          "slug": "gate-scripts-and-ci",
          "title": "Gate scripts and CI",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tool-check/gate-scripts-and-ci.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tool-check/#read-the-json-payload",
          "slug": "read-the-json-payload",
          "title": "Read the JSON payload",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tool-check/read-the-json-payload.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tool-check/#apply-project-configuration",
          "slug": "apply-project-configuration",
          "title": "Apply project configuration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tool-check/apply-project-configuration.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/tool-check/#troubleshooting",
          "slug": "troubleshooting",
          "title": "Troubleshooting",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/tool-check/troubleshooting.md"
        }
      ],
      "slug": "concepts/tool-check",
      "title": "Tool dependency check",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/tool-check.md"
    },
    {
      "description": "Open simulation and formal waveforms in Surfer, configure editor navigation, and use live signal annotation safely.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/wave/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/wave/#install-surfer",
          "slug": "install-surfer",
          "title": "Install Surfer",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/wave/install-surfer.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/wave/#open-a-test-waveform",
          "slug": "open-a-test-waveform",
          "title": "Open a test waveform",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/wave/open-a-test-waveform.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/wave/#configure-surfer-and-the-editor",
          "slug": "configure-surfer-and-the-editor",
          "title": "Configure Surfer and the editor",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/wave/configure-surfer-and-the-editor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/wave/#install-the-nvim-integration",
          "slug": "install-the-nvim-integration",
          "title": "Install the nvim integration",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/wave/install-the-nvim-integration.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/wave/#navigate-and-annotate-signals",
          "slug": "navigate-and-annotate-signals",
          "title": "Navigate and annotate signals",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/wave/navigate-and-annotate-signals.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/wave/#open-a-formal-counterexample",
          "slug": "open-a-formal-counterexample",
          "title": "Open a formal counterexample",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/wave/open-a-formal-counterexample.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/wave/#use-correct-time-units",
          "slug": "use-correct-time-units",
          "title": "Use correct time units",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/wave/use-correct-time-units.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/wave/#use-the-coordination-hub",
          "slug": "use-the-coordination-hub",
          "title": "Use the coordination hub",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/wave/use-the-coordination-hub.md"
        }
      ],
      "slug": "concepts/wave",
      "title": "Waveform Viewer",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/wave.md"
    },
    {
      "description": "Record, compare, reproduce, and prune design-space experiments with the `rb xplr` ledger.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/xplr/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/xplr/#run-the-experiment-lifecycle",
          "slug": "run-the-experiment-lifecycle",
          "title": "Run the experiment lifecycle",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/xplr/run-the-experiment-lifecycle.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/xplr/#declare-an-experiment",
          "slug": "declare-an-experiment",
          "title": "Declare an experiment",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/xplr/declare-an-experiment.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/xplr/#pin-the-source-revision",
          "slug": "pin-the-source-revision",
          "title": "Pin the source revision",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/xplr/pin-the-source-revision.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/xplr/#attach-an-outcome",
          "slug": "attach-an-outcome",
          "title": "Attach an outcome",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/xplr/attach-an-outcome.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/xplr/#read-the-ledger",
          "slug": "read-the-ledger",
          "title": "Read the ledger",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/xplr/read-the-ledger.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/xplr/#use-the-exploration-loop",
          "slug": "use-the-exploration-loop",
          "title": "Use the exploration loop",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/xplr/use-the-exploration-loop.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/xplr/#materialize-revisions-and-reclaim-disk",
          "slug": "materialize-revisions-and-reclaim-disk",
          "title": "Materialize revisions and reclaim disk",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/xplr/materialize-revisions-and-reclaim-disk.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/xplr/#test-a-policy-with-the-mock-flow",
          "slug": "test-a-policy-with-the-mock-flow",
          "title": "Test a policy with the mock flow",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/xplr/test-a-policy-with-the-mock-flow.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/xplr/#configure-xplr",
          "slug": "configure-xplr",
          "title": "Configure xplr",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/xplr/configure-xplr.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/concepts/xplr/#record-and-machine-contracts",
          "slug": "record-and-machine-contracts",
          "title": "Record and machine contracts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/concepts/xplr/record-and-machine-contracts.md"
        }
      ],
      "slug": "concepts/xplr",
      "title": "Design-Space Exploration (`rb xplr`)",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/concepts/xplr.md"
    },
    {
      "description": "Authoring and review rules for the bundled rtl_buddy skill family, including content boundaries, packaging, and installer coverage.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/bundled-skills/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/bundled-skills/#set-content-boundaries",
          "slug": "set-content-boundaries",
          "title": "Set Content Boundaries",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/bundled-skills/set-content-boundaries.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/bundled-skills/#preserve-packaging-and-installation-contracts",
          "slug": "preserve-packaging-and-installation-contracts",
          "title": "Preserve Packaging And Installation Contracts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/bundled-skills/preserve-packaging-and-installation-contracts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/bundled-skills/#review-a-skill-change",
          "slug": "review-a-skill-change",
          "title": "Review A Skill Change",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/bundled-skills/review-a-skill-change.md"
        }
      ],
      "slug": "development/bundled-skills",
      "title": "Bundled Skill Guidelines",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/development/bundled-skills.md"
    },
    {
      "description": "Rules for concise, operational rtl_buddy documentation, including page types, content ownership, structure, review, and validation.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/docs/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/docs/#write-operational-documentation",
          "slug": "write-operational-documentation",
          "title": "Write Operational Documentation",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/docs/write-operational-documentation.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/docs/#state-each-fact-once",
          "slug": "state-each-fact-once",
          "title": "State Each Fact Once",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/docs/state-each-fact-once.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/docs/#structure-for-retrieval",
          "slug": "structure-for-retrieval",
          "title": "Structure for Retrieval",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/docs/structure-for-retrieval.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/docs/#frontmatter",
          "slug": "frontmatter",
          "title": "Frontmatter",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/docs/frontmatter.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/docs/#page-types",
          "slug": "page-types",
          "title": "Page Types",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/docs/page-types.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/docs/#generated-pages",
          "slug": "generated-pages",
          "title": "Generated Pages",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/docs/generated-pages.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/docs/#review-documentation",
          "slug": "review-documentation",
          "title": "Review Documentation",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/docs/review-documentation.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/docs/#local-checks",
          "slug": "local-checks",
          "title": "Local Checks",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/docs/local-checks.md"
        }
      ],
      "slug": "development/docs",
      "title": "Documentation Guidelines",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/development/docs.md"
    },
    {
      "description": "Engineering contracts for rtl_buddy paths, artifacts, subprocesses, dependencies, logging, validation, and releases.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#public-contracts",
          "slug": "public-contracts",
          "title": "Public Contracts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/public-contracts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#quirks-and-known-issues",
          "slug": "quirks-and-known-issues",
          "title": "Quirks and Known Issues",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/quirks-and-known-issues.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#tool-defaults",
          "slug": "tool-defaults",
          "title": "Tool Defaults",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/tool-defaults.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#execution-contexts",
          "slug": "execution-contexts",
          "title": "Execution Contexts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/execution-contexts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#command-roots",
          "slug": "command-roots",
          "title": "Command Roots",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/command-roots.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#path-ownership",
          "slug": "path-ownership",
          "title": "Path Ownership",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/path-ownership.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#artifact-layout",
          "slug": "artifact-layout",
          "title": "Artifact Layout",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/artifact-layout.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#subprocesses",
          "slug": "subprocesses",
          "title": "Subprocesses",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/subprocesses.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#dependencies",
          "slug": "dependencies",
          "title": "Dependencies",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/dependencies.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#logging",
          "slug": "logging",
          "title": "Logging",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/logging.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#error-handling",
          "slug": "error-handling",
          "title": "Error Handling",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/error-handling.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#validation-and-follow-through",
          "slug": "validation-and-follow-through",
          "title": "Validation And Follow-Through",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/validation-and-follow-through.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#bundled-skills",
          "slug": "bundled-skills",
          "title": "Bundled Skills",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/bundled-skills.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#issue-triage",
          "slug": "issue-triage",
          "title": "Issue Triage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/issue-triage.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#pull-requests",
          "slug": "pull-requests",
          "title": "Pull Requests",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/pull-requests.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#milestones",
          "slug": "milestones",
          "title": "Milestones",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/milestones.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/guidelines/#releases",
          "slug": "releases",
          "title": "Releases",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/guidelines/releases.md"
        }
      ],
      "slug": "development/guidelines",
      "title": "Engineering Guidelines",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/development/guidelines.md"
    },
    {
      "description": "Rules for keeping rtl-buddy-project-template aligned with user-visible rtl_buddy behavior through focused, runnable examples.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/project-template/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/project-template/#choose-the-example-role",
          "slug": "choose-the-example-role",
          "title": "Choose The Example Role",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/project-template/choose-the-example-role.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/project-template/#make-the-example-usable",
          "slug": "make-the-example-usable",
          "title": "Make The Example Usable",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/project-template/make-the-example-usable.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/project-template/#determine-required-coverage",
          "slug": "determine-required-coverage",
          "title": "Determine Required Coverage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/project-template/determine-required-coverage.md"
        }
      ],
      "slug": "development/project-template",
      "title": "Project Template Guidelines",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/development/project-template.md"
    },
    {
      "description": "Rules for rtl_buddy review scope, guideline selection, evidence, and feedback.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/reviews/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/reviews/#set-review-scope",
          "slug": "set-review-scope",
          "title": "Set Review Scope",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/reviews/set-review-scope.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/reviews/#select-additional-guidelines",
          "slug": "select-additional-guidelines",
          "title": "Select Additional Guidelines",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/reviews/select-additional-guidelines.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/reviews/#report-findings",
          "slug": "report-findings",
          "title": "Report Findings",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/reviews/report-findings.md"
        }
      ],
      "slug": "development/reviews",
      "title": "Code Reviews",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/development/reviews.md"
    },
    {
      "description": "Set up rtl_buddy for local development and run its lint, test, docs, and package checks.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/setup/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/setup/#prerequisites",
          "slug": "prerequisites",
          "title": "Prerequisites",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/setup/prerequisites.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/setup/#clone-and-sync",
          "slug": "clone-and-sync",
          "title": "Clone And Sync",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/setup/clone-and-sync.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/setup/#pre-commit-hook",
          "slug": "pre-commit-hook",
          "title": "Pre-Commit Hook",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/setup/pre-commit-hook.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/setup/#lint-and-format",
          "slug": "lint-and-format",
          "title": "Lint And Format",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/setup/lint-and-format.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/setup/#tests",
          "slug": "tests",
          "title": "Tests",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/setup/tests.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/setup/#docs",
          "slug": "docs",
          "title": "Docs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/setup/docs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/setup/#building-wheels-and-sdists",
          "slug": "building-wheels-and-sdists",
          "title": "Building Wheels And Sdists",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/setup/building-wheels-and-sdists.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/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/v8/agent/sections/development/setup/validating-against-the-project-template.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/development/setup/#authoring-rules",
          "slug": "authoring-rules",
          "title": "Authoring Rules",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/development/setup/authoring-rules.md"
        }
      ],
      "slug": "development/setup",
      "title": "Development Environment Setup",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/development/setup.md"
    },
    {
      "description": "RTL Buddy is a config-driven CLI for Verilog and SystemVerilog simulation, regressions, synthesis, formal verification, physical design, and debug workflows.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/#supported-workflows",
          "slug": "supported-workflows",
          "title": "Supported workflows",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/index/supported-workflows.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/#start-here",
          "slug": "start-here",
          "title": "Start here",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/index/start-here.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/#reference",
          "slug": "reference",
          "title": "Reference",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/index/reference.md"
        }
      ],
      "slug": "index",
      "title": "RTL Buddy",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/index.md"
    },
    {
      "description": "Install RTL Buddy with uv, verify it, and add the external tools required by each workflow.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/install/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/install/#install-and-verify",
          "slug": "install-and-verify",
          "title": "Install and verify",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/install/install-and-verify.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/install/#dependency-types",
          "slug": "dependency-types",
          "title": "Dependency types",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/install/dependency-types.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/install/#external-tools-by-feature",
          "slug": "external-tools-by-feature",
          "title": "External tools by feature",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/install/external-tools-by-feature.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/install/#slurm-dispatch-tools",
          "slug": "slurm-dispatch-tools",
          "title": "Slurm dispatch tools",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/install/slurm-dispatch-tools.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/install/#update-rtl-buddy",
          "slug": "update-rtl-buddy",
          "title": "Update RTL Buddy",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/install/update-rtl-buddy.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/install/#install-a-pre-release",
          "slug": "install-a-pre-release",
          "title": "Install a pre-release",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/install/install-a-pre-release.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/install/#install-the-agent-skills",
          "slug": "install-the-agent-skills",
          "title": "Install the agent skills",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/install/install-the-agent-skills.md"
        }
      ],
      "slug": "install",
      "title": "Installation",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/install.md"
    },
    {
      "description": "Current rtl_buddy limitations, surprising behavior, and required workarounds, grouped by workflow.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#xpm-cdc-macros-require-rtl-buddy-cdc-04-or-later",
          "slug": "xpm-cdc-macros-require-rtl-buddy-cdc-04-or-later",
          "title": "XPM CDC macros require rtl-buddy-cdc 0.4 or later",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/xpm-cdc-macros-require-rtl-buddy-cdc-04-or-later.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#filelist-incdir-needs-rtl-buddy-cdc-07-or-later",
          "slug": "filelist-incdir-needs-rtl-buddy-cdc-07-or-later",
          "title": "Filelist `+incdir+` needs rtl-buddy-cdc 0.7 or later",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/filelist-incdir-needs-rtl-buddy-cdc-07-or-later.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#coverage-totals-are-per-elaboration-by-default",
          "slug": "coverage-totals-are-per-elaboration-by-default",
          "title": "Coverage totals are per elaboration by default",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/coverage-totals-are-per-elaboration-by-default.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#coverage-uses-the-platform-builder",
          "slug": "coverage-uses-the-platform-builder",
          "title": "Coverage uses the platform builder",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/coverage-uses-the-platform-builder.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#xezim-coverage-figures-differ-from-xezims-own-report",
          "slug": "xezim-coverage-figures-differ-from-xezims-own-report",
          "title": "xezim coverage figures differ from xezim's own report",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/xezim-coverage-figures-differ-from-xezims-own-report.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#coverage-merging-runs-in-the-submitting-process-without-a-slurm-backend",
          "slug": "coverage-merging-runs-in-the-submitting-process-without-a-slurm-backend",
          "title": "Coverage merging runs in the submitting process without a Slurm backend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/coverage-merging-runs-in-the-submitting-process-without-a-slurm-backend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#an-orphaned-coverage-job-is-only-found-within-its-own-artefact-tree",
          "slug": "an-orphaned-coverage-job-is-only-found-within-its-own-artefact-tree",
          "title": "An orphaned coverage job is only found within its own artefact tree",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/an-orphaned-coverage-job-is-only-found-within-its-own-artefact-tree.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#verilator-randomized-runs-may-not-reproduce",
          "slug": "verilator-randomized-runs-may-not-reproduce",
          "title": "Verilator randomized runs may not reproduce",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/verilator-randomized-runs-may-not-reproduce.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#tool-path-fallback-can-select-another-installation",
          "slug": "tool-path-fallback-can-select-another-installation",
          "title": "Tool-path fallback can select another installation",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/tool-path-fallback-can-select-another-installation.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#hook-scripts-are-not-normal-standalone-scripts",
          "slug": "hook-scripts-are-not-normal-standalone-scripts",
          "title": "Hook scripts are not normal standalone scripts",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/hook-scripts-are-not-normal-standalone-scripts.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#toplevel-must-name-the-testbench-in-a-plain-systemverilog-test",
          "slug": "toplevel-must-name-the-testbench-in-a-plain-systemverilog-test",
          "title": "`toplevel:` must name the testbench in a plain SystemVerilog test",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/toplevel-must-name-the-testbench-in-a-plain-systemverilog-test.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#an-error-after-pass-fails-the-test-only-through-the-exit-status",
          "slug": "an-error-after-pass-fails-the-test-only-through-the-exit-status",
          "title": "An error after `PASS` fails the test only through the exit status",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/an-error-after-pass-fails-the-test-only-through-the-exit-status.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#narrow-vcs-access-flags-suppress-cocotb-defaults",
          "slug": "narrow-vcs-access-flags-suppress-cocotb-defaults",
          "title": "Narrow VCS access flags suppress cocotb defaults",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/narrow-vcs-access-flags-suppress-cocotb-defaults.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#vcs-license-waits-pause-the-simulation-timeout",
          "slug": "vcs-license-waits-pause-the-simulation-timeout",
          "title": "VCS license waits pause the simulation timeout",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/vcs-license-waits-pause-the-simulation-timeout.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#a-timeout-kill-can-leave-testlog-with-an-unflushed-tail",
          "slug": "a-timeout-kill-can-leave-testlog-with-an-unflushed-tail",
          "title": "A timeout kill can leave `test.log` with an unflushed tail",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/a-timeout-kill-can-leave-testlog-with-an-unflushed-tail.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#deeply-nested-expressions-can-exhaust-the-elaboration-stack-on-macos",
          "slug": "deeply-nested-expressions-can-exhaust-the-elaboration-stack-on-macos",
          "title": "Deeply nested expressions can exhaust the elaboration stack on macOS",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/deeply-nested-expressions-can-exhaust-the-elaboration-stack-on-macos.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#artifact-locking-is-per-tree-and-per-host",
          "slug": "artifact-locking-is-per-tree-and-per-host",
          "title": "Artifact locking is per tree and per host",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/artifact-locking-is-per-tree-and-per-host.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#run-tag-covers-the-test-and-pr-flows-not-every-reader",
          "slug": "run-tag-covers-the-test-and-pr-flows-not-every-reader",
          "title": "`--run-tag` covers the test and P&R flows, not every reader",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/run-tag-covers-the-test-and-pr-flows-not-every-reader.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#tool-flows-delete-their-previous-outputs-before-running",
          "slug": "tool-flows-delete-their-previous-outputs-before-running",
          "title": "Tool flows delete their previous outputs before running",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/tool-flows-delete-their-previous-outputs-before-running.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#local-parallel-enforces-only-the-job-count",
          "slug": "local-parallel-enforces-only-the-job-count",
          "title": "local-parallel enforces only the job count",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/local-parallel-enforces-only-the-job-count.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#oversized-resource-groups-are-split-into-several-arrays",
          "slug": "oversized-resource-groups-are-split-into-several-arrays",
          "title": "Oversized resource groups are split into several arrays",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/oversized-resource-groups-are-split-into-several-arrays.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#quote-dispatch-time-values",
          "slug": "quote-dispatch-time-values",
          "title": "Quote dispatch time values",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/quote-dispatch-time-values.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#dispatch-build-jobs-cover-the-whole-suite",
          "slug": "dispatch-build-jobs-cover-the-whole-suite",
          "title": "Dispatch build jobs cover the whole suite",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/dispatch-build-jobs-cover-the-whole-suite.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#preprocessors-run-in-every-dispatched-job",
          "slug": "preprocessors-run-in-every-dispatched-job",
          "title": "Preprocessors run in every dispatched job",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/preprocessors-run-in-every-dispatched-job.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#simulation-jobs-reuse-the-build-stamp",
          "slug": "simulation-jobs-reuse-the-build-stamp",
          "title": "Simulation jobs reuse the build stamp",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/simulation-jobs-reuse-the-build-stamp.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#design-compile-errors-under-dispatch-are-compilefail",
          "slug": "design-compile-errors-under-dispatch-are-compilefail",
          "title": "Design compile errors under dispatch are CompileFail",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/design-compile-errors-under-dispatch-are-compilefail.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#slurm-retry-reuses-artifact-paths",
          "slug": "slurm-retry-reuses-artifact-paths",
          "title": "Slurm retry reuses artifact paths",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/slurm-retry-reuses-artifact-paths.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#slurm-memory-advice-depends-on-accounting-samples",
          "slug": "slurm-memory-advice-depends-on-accounting-samples",
          "title": "Slurm memory advice depends on accounting samples",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/slurm-memory-advice-depends-on-accounting-samples.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#generated-runf-files-are-checkout-specific",
          "slug": "generated-runf-files-are-checkout-specific",
          "title": "Generated `run.f` files are checkout-specific",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/generated-runf-files-are-checkout-specific.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#mount-paths-must-match-across-cluster-nodes",
          "slug": "mount-paths-must-match-across-cluster-nodes",
          "title": "Mount paths must match across cluster nodes",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/mount-paths-must-match-across-cluster-nodes.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#shared-build-stamps-track-dependencies-differently-per-simulator",
          "slug": "shared-build-stamps-track-dependencies-differently-per-simulator",
          "title": "Shared-build stamps track dependencies differently per simulator",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/shared-build-stamps-track-dependencies-differently-per-simulator.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#xezim-builds-read-sources-at-run-time",
          "slug": "xezim-builds-read-sources-at-run-time",
          "title": "xezim builds read sources at run time",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/xezim-builds-read-sources-at-run-time.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#shared-build-locking",
          "slug": "shared-build-locking",
          "title": "Shared-build locking",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/shared-build-locking.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#slurm-serialises-build-jobs-of-the-same-suite",
          "slug": "slurm-serialises-build-jobs-of-the-same-suite",
          "title": "Slurm serialises build jobs of the same suite",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/slurm-serialises-build-jobs-of-the-same-suite.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#a-different-rtlbuddy-version-does-not-reuse-shared-builds",
          "slug": "a-different-rtlbuddy-version-does-not-reuse-shared-builds",
          "title": "A different rtl_buddy version does not reuse shared builds",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/a-different-rtlbuddy-version-does-not-reuse-shared-builds.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#yosys-backed-flows-do-not-support-whitespace-in-paths",
          "slug": "yosys-backed-flows-do-not-support-whitespace-in-paths",
          "title": "Yosys-backed flows do not support whitespace in paths",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/yosys-backed-flows-do-not-support-whitespace-in-paths.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#static-lifetime-functions-corrupt-the-netlist-under-the-slang-frontend",
          "slug": "static-lifetime-functions-corrupt-the-netlist-under-the-slang-frontend",
          "title": "Static-lifetime functions corrupt the netlist under the slang frontend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/static-lifetime-functions-corrupt-the-netlist-under-the-slang-frontend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#readverilog-drops-an-interface-instances-own-port-connections",
          "slug": "readverilog-drops-an-interface-instances-own-port-connections",
          "title": "read_verilog drops an interface instance's own port connections",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/readverilog-drops-an-interface-instances-own-port-connections.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#an-overridden-blackbox-needs-a-lef-and-liberty-master-under-openroad",
          "slug": "an-overridden-blackbox-needs-a-lef-and-liberty-master-under-openroad",
          "title": "An overridden blackbox needs a LEF and Liberty master under OpenROAD",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/an-overridden-blackbox-needs-a-lef-and-liberty-master-under-openroad.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#unknown-synthesis-overrides-are-ignored-after-a-warning",
          "slug": "unknown-synthesis-overrides-are-ignored-after-a-warning",
          "title": "Unknown synthesis overrides are ignored after a warning",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/unknown-synthesis-overrides-are-ignored-after-a-warning.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#the-mapped-run-abc-script-leaves-out-two-steps-of-yosys-default",
          "slug": "the-mapped-run-abc-script-leaves-out-two-steps-of-yosys-default",
          "title": "The mapped-run ABC script leaves out two steps of Yosys' default",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/the-mapped-run-abc-script-leaves-out-two-steps-of-yosys-default.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#wide-adders-map-as-ripple-chains-unless-synth-args-has-noabc",
          "slug": "wide-adders-map-as-ripple-chains-unless-synth-args-has-noabc",
          "title": "Wide adders map as ripple chains unless `synth-args` has `-noabc`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/wide-adders-map-as-ripple-chains-unless-synth-args-has-noabc.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#prefix-adders-off-the-critical-path-ripple-under-abc-script-default",
          "slug": "prefix-adders-off-the-critical-path-ripple-under-abc-script-default",
          "title": "Prefix adders off the critical path ripple under `abc-script: default`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/prefix-adders-off-the-critical-path-ripple-under-abc-script-default.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#openroads-legalizer-blocks-a-rotated-macros-unrotated-footprint",
          "slug": "openroads-legalizer-blocks-a-rotated-macros-unrotated-footprint",
          "title": "OpenROAD's legalizer blocks a rotated macro's unrotated footprint",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/openroads-legalizer-blocks-a-rotated-macros-unrotated-footprint.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#repairdesign-does-not-repair-the-slew-at-an-output-port",
          "slug": "repairdesign-does-not-repair-the-slew-at-an-output-port",
          "title": "`repair_design` does not repair the slew at an output port",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/repairdesign-does-not-repair-the-slew-at-an-output-port.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#a-pin-constraints-file-must-not-constrain-a-port-that-has-an-exact-pin",
          "slug": "a-pin-constraints-file-must-not-constrain-a-port-that-has-an-exact-pin",
          "title": "A `pin-constraints` file must not constrain a port that has an exact pin",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/a-pin-constraints-file-must-not-constrain-a-port-that-has-an-exact-pin.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#session-state-does-not-cross-a-pr-stage-boundary",
          "slug": "session-state-does-not-cross-a-pr-stage-boundary",
          "title": "Session state does not cross a P&R stage boundary",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/session-state-does-not-cross-a-pr-stage-boundary.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#a-staged-pr-run-can-differ-from-a-one-session-run",
          "slug": "a-staged-pr-run-can-differ-from-a-one-session-run",
          "title": "A staged P&R run can differ from a one-session run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/a-staged-pr-run-can-differ-from-a-one-session-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#post-route-repair-works-around-openroad-routing-failures",
          "slug": "post-route-repair-works-around-openroad-routing-failures",
          "title": "Post-route repair works around OpenROAD routing failures",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/post-route-repair-works-around-openroad-routing-failures.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#post-route-repairdesign-sizes-its-buffering-on-the-placement-estimate",
          "slug": "post-route-repairdesign-sizes-its-buffering-on-the-placement-estimate",
          "title": "Post-route `repair_design` sizes its buffering on the placement estimate",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/post-route-repairdesign-sizes-its-buffering-on-the-placement-estimate.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#corners-share-one-sdc-mode-on-an-openroad-without-modes",
          "slug": "corners-share-one-sdc-mode-on-an-openroad-without-modes",
          "title": "Corners share one SDC mode on an OpenROAD without modes",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/corners-share-one-sdc-mode-on-an-openroad-without-modes.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#rb-power-times-every-corner-in-one-sdc-mode",
          "slug": "rb-power-times-every-corner-in-one-sdc-mode",
          "title": "rb power times every corner in one SDC mode",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/rb-power-times-every-corner-in-one-sdc-mode.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#an-unconfirmed-dispatched-pr-run-blocks-later-runs",
          "slug": "an-unconfirmed-dispatched-pr-run-blocks-later-runs",
          "title": "An unconfirmed dispatched P&R run blocks later runs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/an-unconfirmed-dispatched-pr-run-blocks-later-runs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#rb-phys-module-reports-no-power-for-an-rtl-module",
          "slug": "rb-phys-module-reports-no-power-for-an-rtl-module",
          "title": "`rb phys module` reports no power for an RTL module",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/rb-phys-module-reports-no-power-for-an-rtl-module.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#phys-pane-and-schematic-selections-cross-only-within-one-hierarchy",
          "slug": "phys-pane-and-schematic-selections-cross-only-within-one-hierarchy",
          "title": "Phys pane and schematic selections cross only within one hierarchy",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/phys-pane-and-schematic-selections-cross-only-within-one-hierarchy.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#graph-pane-heat-attributes-a-leaf-to-the-nearest-instance-the-graph-knows",
          "slug": "graph-pane-heat-attributes-a-leaf-to-the-nearest-instance-the-graph-knows",
          "title": "Graph-pane heat attributes a leaf to the nearest instance the graph knows",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/graph-pane-heat-attributes-a-leaf-to-the-nearest-instance-the-graph-knows.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#graph-coverage-source-changes-attribution",
          "slug": "graph-coverage-source-changes-attribution",
          "title": "Graph coverage source changes attribution",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/graph-coverage-source-changes-attribution.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#a-cocotb-test-over-an-opted-out-model-keeps-a-dangling-dut-edge",
          "slug": "a-cocotb-test-over-an-opted-out-model-keeps-a-dangling-dut-edge",
          "title": "A cocotb test over an opted-out model keeps a dangling DUT edge",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/a-cocotb-test-over-an-opted-out-model-keeps-a-dangling-dut-edge.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#compilation-unit-bind-requires-the-slang-frontend",
          "slug": "compilation-unit-bind-requires-the-slang-frontend",
          "title": "Compilation-unit bind requires the slang frontend",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/compilation-unit-bind-requires-the-slang-frontend.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#verify-that-anyconst-elaborates",
          "slug": "verify-that-anyconst-elaborates",
          "title": "Verify that `anyconst` elaborates",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/verify-that-anyconst-elaborates.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#fpv-coi-analysis-is-best-effort",
          "slug": "fpv-coi-analysis-is-best-effort",
          "title": "FPV COI analysis is best-effort",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/fpv-coi-analysis-is-best-effort.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#a-simulation-only-mutation-campaign-ignores-top",
          "slug": "a-simulation-only-mutation-campaign-ignores-top",
          "title": "A simulation-only mutation campaign ignores `top`",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/a-simulation-only-mutation-campaign-ignores-top.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#fpga-bitstream-generation-relaxes-two-io-drcs",
          "slug": "fpga-bitstream-generation-relaxes-two-io-drcs",
          "title": "FPGA bitstream generation relaxes two I/O DRCs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/fpga-bitstream-generation-relaxes-two-io-drcs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#fpga-timing-is-optional-unless-gated",
          "slug": "fpga-timing-is-optional-unless-gated",
          "title": "FPGA timing is optional unless gated",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/fpga-timing-is-optional-unless-gated.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#pywellen-must-stay-within-025x",
          "slug": "pywellen-must-stay-within-025x",
          "title": "pywellen must stay within 0.25.x",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/pywellen-must-stay-within-025x.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#rb-nvim-install-requires-git-and-network-access",
          "slug": "rb-nvim-install-requires-git-and-network-access",
          "title": "`rb nvim-install` requires git and network access",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/rb-nvim-install-requires-git-and-network-access.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#the-viewer-distribution-and-executable-have-different-names",
          "slug": "the-viewer-distribution-and-executable-have-different-names",
          "title": "The viewer distribution and executable have different names",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/the-viewer-distribution-and-executable-have-different-names.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#verible-lint-findings-are-on-stderr",
          "slug": "verible-lint-findings-are-on-stderr",
          "title": "Verible lint findings are on stderr",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/verible-lint-findings-are-on-stderr.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#rb-release-keeps-every-name-a-clear-file-uses",
          "slug": "rb-release-keeps-every-name-a-clear-file-uses",
          "title": "`rb release` keeps every name a clear file uses",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/rb-release-keeps-every-name-a-clear-file-uses.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#rb-release-cannot-obfuscate-token-pasted-macro-names",
          "slug": "rb-release-cannot-obfuscate-token-pasted-macro-names",
          "title": "`rb release` cannot obfuscate token-pasted macro names",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/rb-release-cannot-obfuscate-token-pasted-macro-names.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/known-issues/#verible-picks-new-obfuscated-names-on-every-run",
          "slug": "verible-picks-new-obfuscated-names-on-every-run",
          "title": "Verible picks new obfuscated names on every run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/known-issues/verible-picks-new-obfuscated-names-on-every-run.md"
        }
      ],
      "slug": "known-issues",
      "title": "Quirks & Known Issues",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/known-issues.md"
    },
    {
      "description": "Required project changes for rtl_buddy major-version upgrades and the legacy submodule-to-uv migration.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/migrations/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/migrations/#v2-to-v3",
          "slug": "v2-to-v3",
          "title": "v2 to v3",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/migrations/v2-to-v3.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/migrations/#v3-to-v4",
          "slug": "v3-to-v4",
          "title": "v3 to v4",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/migrations/v3-to-v4.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/migrations/#v4-to-v5",
          "slug": "v4-to-v5",
          "title": "v4 to v5",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/migrations/v4-to-v5.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/migrations/#v5-to-v6",
          "slug": "v5-to-v6",
          "title": "v5 to v6",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/migrations/v5-to-v6.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/migrations/#v6-to-v7",
          "slug": "v6-to-v7",
          "title": "v6 to v7",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/migrations/v6-to-v7.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/migrations/#v7-to-v8",
          "slug": "v7-to-v8",
          "title": "v7 to v8",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/migrations/v7-to-v8.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/migrations/#submodule-to-uv",
          "slug": "submodule-to-uv",
          "title": "Submodule to uv",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/migrations/submodule-to-uv.md"
        }
      ],
      "slug": "migrations",
      "title": "Migrations",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/migrations.md"
    },
    {
      "description": "Run tests, regressions, synthesis, and randomized simulation in an existing RTL Buddy project.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/quickstart/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/quickstart/#run-tests",
          "slug": "run-tests",
          "title": "Run tests",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/quickstart/run-tests.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/quickstart/#run-a-regression",
          "slug": "run-a-regression",
          "title": "Run a regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/quickstart/run-a-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/quickstart/#run-randomized-tests",
          "slug": "run-randomized-tests",
          "title": "Run randomized tests",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/quickstart/run-randomized-tests.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/quickstart/#run-synthesis",
          "slug": "run-synthesis",
          "title": "Run synthesis",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/quickstart/run-synthesis.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/quickstart/#inspect-results",
          "slug": "inspect-results",
          "title": "Inspect results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/quickstart/inspect-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/quickstart/#configure-a-project",
          "slug": "configure-a-project",
          "title": "Configure a project",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/quickstart/configure-a-project.md"
        }
      ],
      "slug": "quickstart",
      "title": "Quick Start",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/quickstart.md"
    },
    {
      "description": "Auto-generated CLI reference for documented rtl-buddy commands and their options.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#rtl-buddy",
          "slug": "rtl-buddy",
          "title": "rtl-buddy",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/rtl-buddy.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#test",
          "slug": "test",
          "title": "test",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/test.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#randtest",
          "slug": "randtest",
          "title": "randtest",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/randtest.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#regression",
          "slug": "regression",
          "title": "regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#elab",
          "slug": "elab",
          "title": "elab",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/elab.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#elab-regression",
          "slug": "elab-regression",
          "title": "elab-regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/elab-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#filelist",
          "slug": "filelist",
          "title": "filelist",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/filelist.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hier",
          "slug": "hier",
          "title": "hier",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hier.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hier-query",
          "slug": "hier-query",
          "title": "hier-query",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hier-query.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#mcp",
          "slug": "mcp",
          "title": "mcp",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/mcp.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#wave",
          "slug": "wave",
          "title": "wave",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/wave.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#wave-fpv",
          "slug": "wave-fpv",
          "title": "wave-fpv",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/wave-fpv.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#nvim-install",
          "slug": "nvim-install",
          "title": "nvim-install",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/nvim-install.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#synth",
          "slug": "synth",
          "title": "synth",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/synth.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#synth-regression",
          "slug": "synth-regression",
          "title": "synth-regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/synth-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#pnr",
          "slug": "pnr",
          "title": "pnr",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/pnr.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#pnr-export",
          "slug": "pnr-export",
          "title": "pnr-export",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/pnr-export.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#power",
          "slug": "power",
          "title": "power",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/power.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#power-regression",
          "slug": "power-regression",
          "title": "power-regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/power-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#fpga",
          "slug": "fpga",
          "title": "fpga",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/fpga.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#fpga-regression",
          "slug": "fpga-regression",
          "title": "fpga-regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/fpga-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#saif",
          "slug": "saif",
          "title": "saif",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/saif.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#lint",
          "slug": "lint",
          "title": "lint",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/lint.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#lint-regression",
          "slug": "lint-regression",
          "title": "lint-regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/lint-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#fpv",
          "slug": "fpv",
          "title": "fpv",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/fpv.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#fpv-regression",
          "slug": "fpv-regression",
          "title": "fpv-regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/fpv-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#tool-check",
          "slug": "tool-check",
          "title": "tool-check",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/tool-check.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#graph",
          "slug": "graph",
          "title": "graph",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/graph.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#graph-build",
          "slug": "graph-build",
          "title": "graph build",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/graph-build.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#graph-results",
          "slug": "graph-results",
          "title": "graph results",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/graph-results.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#graph-query",
          "slug": "graph-query",
          "title": "graph query",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/graph-query.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#graph-path",
          "slug": "graph-path",
          "title": "graph path",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/graph-path.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#graph-explain",
          "slug": "graph-explain",
          "title": "graph explain",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/graph-explain.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#cov",
          "slug": "cov",
          "title": "cov",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/cov.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#cov-summary",
          "slug": "cov-summary",
          "title": "cov summary",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/cov-summary.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#cov-module",
          "slug": "cov-module",
          "title": "cov module",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/cov-module.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#phys",
          "slug": "phys",
          "title": "phys",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/phys.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#phys-runs",
          "slug": "phys-runs",
          "title": "phys runs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/phys-runs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#phys-summary",
          "slug": "phys-summary",
          "title": "phys summary",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/phys-summary.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#phys-module",
          "slug": "phys-module",
          "title": "phys module",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/phys-module.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#phys-instance",
          "slug": "phys-instance",
          "title": "phys instance",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/phys-instance.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#axi-profile",
          "slug": "axi-profile",
          "title": "axi-profile",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/axi-profile.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#axi-profile-run",
          "slug": "axi-profile-run",
          "title": "axi-profile run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/axi-profile-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#axi-profile-discover",
          "slug": "axi-profile-discover",
          "title": "axi-profile discover",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/axi-profile-discover.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#axi-profile-gen-monitor",
          "slug": "axi-profile-gen-monitor",
          "title": "axi-profile gen-monitor",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/axi-profile-gen-monitor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#axi-profile-notebook",
          "slug": "axi-profile-notebook",
          "title": "axi-profile notebook",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/axi-profile-notebook.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#verible",
          "slug": "verible",
          "title": "verible",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/verible.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#verible-lint",
          "slug": "verible-lint",
          "title": "verible lint",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/verible-lint.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#verible-syntax",
          "slug": "verible-syntax",
          "title": "verible syntax",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/verible-syntax.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#verible-format",
          "slug": "verible-format",
          "title": "verible format",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/verible-format.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#verible-preprocessor",
          "slug": "verible-preprocessor",
          "title": "verible preprocessor",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/verible-preprocessor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#verible-filelist",
          "slug": "verible-filelist",
          "title": "verible filelist",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/verible-filelist.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#mut",
          "slug": "mut",
          "title": "mut",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/mut.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#mut-list",
          "slug": "mut-list",
          "title": "mut list",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/mut-list.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#mut-run",
          "slug": "mut-run",
          "title": "mut run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/mut-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#mut-score",
          "slug": "mut-score",
          "title": "mut score",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/mut-score.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub",
          "slug": "hub",
          "title": "hub",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-start",
          "slug": "hub-start",
          "title": "hub start",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-start.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-stop",
          "slug": "hub-stop",
          "title": "hub stop",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-stop.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-status",
          "slug": "hub-status",
          "title": "hub status",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-status.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-log",
          "slug": "hub-log",
          "title": "hub log",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-log.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-install-launchagent",
          "slug": "hub-install-launchagent",
          "title": "hub install-launchagent",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-install-launchagent.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-uninstall-launchagent",
          "slug": "hub-uninstall-launchagent",
          "title": "hub uninstall-launchagent",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-uninstall-launchagent.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-config",
          "slug": "hub-config",
          "title": "hub config",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-config.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-config-validate",
          "slug": "hub-config-validate",
          "title": "hub config validate",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-config-validate.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send",
          "slug": "hub-send",
          "title": "hub send",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-select",
          "slug": "hub-send-select",
          "title": "hub send select",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-select.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-signal",
          "slug": "hub-send-signal",
          "title": "hub send signal",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-signal.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-cursor",
          "slug": "hub-send-cursor",
          "title": "hub send cursor",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-cursor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-scope",
          "slug": "hub-send-scope",
          "title": "hub send scope",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-scope.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-open",
          "slug": "hub-send-open",
          "title": "hub send open",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-open.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-graph-focus",
          "slug": "hub-send-graph-focus",
          "title": "hub send graph-focus",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-graph-focus.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-cov-focus",
          "slug": "hub-send-cov-focus",
          "title": "hub send cov-focus",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-cov-focus.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-phys-focus",
          "slug": "hub-send-phys-focus",
          "title": "hub send phys-focus",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-phys-focus.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-diagnose",
          "slug": "hub-send-diagnose",
          "title": "hub send diagnose",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-diagnose.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-state",
          "slug": "hub-send-state",
          "title": "hub send state",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-state.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-wave-add",
          "slug": "hub-send-wave-add",
          "title": "hub send wave-add",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-wave-add.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-wave-cursor",
          "slug": "hub-send-wave-cursor",
          "title": "hub send wave-cursor",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-wave-cursor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-wave-scope",
          "slug": "hub-send-wave-scope",
          "title": "hub send wave-scope",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-wave-scope.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-wave-pan",
          "slug": "hub-send-wave-pan",
          "title": "hub send wave-pan",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-wave-pan.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-wave-zoom",
          "slug": "hub-send-wave-zoom",
          "title": "hub send wave-zoom",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-wave-zoom.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/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/v8/agent/sections/reference/cli/hub-send-wave-zoom-fit.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-wave-items",
          "slug": "hub-send-wave-items",
          "title": "hub send wave-items",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-wave-items.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-wave-remove",
          "slug": "hub-send-wave-remove",
          "title": "hub send wave-remove",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-wave-remove.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-wave-move",
          "slug": "hub-send-wave-move",
          "title": "hub send wave-move",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-wave-move.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-wave-comment",
          "slug": "hub-send-wave-comment",
          "title": "hub send wave-comment",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-wave-comment.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-view-pan",
          "slug": "hub-send-view-pan",
          "title": "hub send view-pan",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-view-pan.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-overlay",
          "slug": "hub-send-overlay",
          "title": "hub send overlay",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-overlay.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-capture",
          "slug": "hub-send-capture",
          "title": "hub send capture",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-capture.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-open-source",
          "slug": "hub-send-open-source",
          "title": "hub send open-source",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-open-source.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#hub-send-resolve",
          "slug": "hub-send-resolve",
          "title": "hub send resolve",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/hub-send-resolve.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/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/v8/agent/sections/reference/cli/hub-send-resolve-view-to-wave.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/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/v8/agent/sections/reference/cli/hub-send-resolve-wave-to-view.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/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/v8/agent/sections/reference/cli/hub-send-resolve-signal-to-view.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#skill",
          "slug": "skill",
          "title": "skill",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/skill.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#skill-install",
          "slug": "skill-install",
          "title": "skill install",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/skill-install.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#skill-uninstall",
          "slug": "skill-uninstall",
          "title": "skill uninstall",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/skill-uninstall.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#skill-status",
          "slug": "skill-status",
          "title": "skill status",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/skill-status.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#skill-view",
          "slug": "skill-view",
          "title": "skill view",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/skill-view.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#skill-print-gitignore",
          "slug": "skill-print-gitignore",
          "title": "skill print-gitignore",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/skill-print-gitignore.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#docs",
          "slug": "docs",
          "title": "docs",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/docs.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#docs-list",
          "slug": "docs-list",
          "title": "docs list",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/docs-list.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#docs-show",
          "slug": "docs-show",
          "title": "docs show",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/docs-show.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#spec",
          "slug": "spec",
          "title": "spec",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/spec.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#spec-list",
          "slug": "spec-list",
          "title": "spec list",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/spec-list.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#spec-check-design",
          "slug": "spec-check-design",
          "title": "spec check-design",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/spec-check-design.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#spec-check-coverage",
          "slug": "spec-check-coverage",
          "title": "spec check-coverage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/spec-check-coverage.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr",
          "slug": "xplr",
          "title": "xplr",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-register",
          "slug": "xplr-register",
          "title": "xplr register",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-register.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-attach-outcome",
          "slug": "xplr-attach-outcome",
          "title": "xplr attach-outcome",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-attach-outcome.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-list",
          "slug": "xplr-list",
          "title": "xplr list",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-list.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-show",
          "slug": "xplr-show",
          "title": "xplr show",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-show.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-diff",
          "slug": "xplr-diff",
          "title": "xplr diff",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-diff.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-frontier",
          "slug": "xplr-frontier",
          "title": "xplr frontier",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-frontier.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-knob-effect",
          "slug": "xplr-knob-effect",
          "title": "xplr knob-effect",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-knob-effect.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-materialize",
          "slug": "xplr-materialize",
          "title": "xplr materialize",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-materialize.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-release",
          "slug": "xplr-release",
          "title": "xplr release",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-release.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-gc",
          "slug": "xplr-gc",
          "title": "xplr gc",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-gc.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-mock",
          "slug": "xplr-mock",
          "title": "xplr mock",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-mock.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-mock-info",
          "slug": "xplr-mock-info",
          "title": "xplr mock info",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-mock-info.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-mock-run",
          "slug": "xplr-mock-run",
          "title": "xplr mock run",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-mock-run.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/cli/#xplr-mock-score",
          "slug": "xplr-mock-score",
          "title": "xplr mock score",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/cli/xplr-mock-score.md"
        }
      ],
      "slug": "reference/cli",
      "title": "CLI Reference",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/reference/cli.md"
    },
    {
      "description": "Canonical field reference for rtl_buddy project, model, elaboration, test, regression, implementation, FPGA, formal, lint, CDC, XPLR, mutation, and specification YAML files.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#rootconfigyaml",
          "slug": "rootconfigyaml",
          "title": "root_config.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/rootconfigyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#regressionyaml",
          "slug": "regressionyaml",
          "title": "regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/regressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#modelsyaml",
          "slug": "modelsyaml",
          "title": "models.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/modelsyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#elabregressionyaml",
          "slug": "elabregressionyaml",
          "title": "elab_regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/elabregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#testsyaml",
          "slug": "testsyaml",
          "title": "tests.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/testsyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#synthyaml",
          "slug": "synthyaml",
          "title": "synth.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/synthyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#synthregressionyaml",
          "slug": "synthregressionyaml",
          "title": "synth_regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/synthregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#pnryaml",
          "slug": "pnryaml",
          "title": "pnr.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/pnryaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#poweryaml",
          "slug": "poweryaml",
          "title": "power.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/poweryaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#powerregressionyaml",
          "slug": "powerregressionyaml",
          "title": "power_regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/powerregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#fpgayaml",
          "slug": "fpgayaml",
          "title": "fpga.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/fpgayaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#fpgaregressionyaml",
          "slug": "fpgaregressionyaml",
          "title": "fpga_regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/fpgaregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#cdcyaml",
          "slug": "cdcyaml",
          "title": "cdc.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/cdcyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#cdcregressionyaml",
          "slug": "cdcregressionyaml",
          "title": "cdc_regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/cdcregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#lintyaml",
          "slug": "lintyaml",
          "title": "lint.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/lintyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#lintregressionyaml",
          "slug": "lintregressionyaml",
          "title": "lint_regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/lintregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#fpvyaml",
          "slug": "fpvyaml",
          "title": "fpv.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/fpvyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#fpvregressionyaml",
          "slug": "fpvregressionyaml",
          "title": "fpv_regression.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/fpvregressionyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#releaseyaml",
          "slug": "releaseyaml",
          "title": "release.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/releaseyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#mutyaml",
          "slug": "mutyaml",
          "title": "mut.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/mutyaml.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/reference/yaml/#specsyaml",
          "slug": "specsyaml",
          "title": "specs.yaml",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/reference/yaml/specsyaml.md"
        }
      ],
      "slug": "reference/yaml",
      "title": "YAML Formats",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/reference/yaml.md"
    },
    {
      "description": "A command-by-command tour of what RTL Buddy produces on the template project, from a single test through regression, coverage, waveforms, CDC lint, formal proofs, mutation testing, synthesis, place-and-route, power, the hub's browser panes, Neovim annotations, and agent queries.",
      "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/",
      "sections": [
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#run-one-test",
          "slug": "run-one-test",
          "title": "Run one test",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/run-one-test.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#run-a-regression",
          "slug": "run-a-regression",
          "title": "Run a regression",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/run-a-regression.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#measure-coverage",
          "slug": "measure-coverage",
          "title": "Measure coverage",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/measure-coverage.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#look-at-the-waveform",
          "slug": "look-at-the-waveform",
          "title": "Look at the waveform",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/look-at-the-waveform.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#draw-the-hierarchy",
          "slug": "draw-the-hierarchy",
          "title": "Draw the hierarchy",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/draw-the-hierarchy.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#lint-clock-domain-crossings",
          "slug": "lint-clock-domain-crossings",
          "title": "Lint clock-domain crossings",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/lint-clock-domain-crossings.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#prove-properties",
          "slug": "prove-properties",
          "title": "Prove properties",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/prove-properties.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#score-the-testbench-with-mutants",
          "slug": "score-the-testbench-with-mutants",
          "title": "Score the testbench with mutants",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/score-the-testbench-with-mutants.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#synthesize",
          "slug": "synthesize",
          "title": "Synthesize",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/synthesize.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#place-and-route",
          "slug": "place-and-route",
          "title": "Place and route",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/place-and-route.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#analyze-power",
          "slug": "analyze-power",
          "title": "Analyze power",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/analyze-power.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#profile-an-interconnect",
          "slug": "profile-an-interconnect",
          "title": "Profile an interconnect",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/profile-an-interconnect.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#browse-it-live-in-the-hub",
          "slug": "browse-it-live-in-the-hub",
          "title": "Browse it live in the hub",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/browse-it-live-in-the-hub.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#annotate-your-editor",
          "slug": "annotate-your-editor",
          "title": "Annotate your editor",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/annotate-your-editor.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#ask-the-design-questions",
          "slug": "ask-the-design-questions",
          "title": "Ask the design questions",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/ask-the-design-questions.md"
        },
        {
          "human_url": "https://rtl-buddy.github.io/rtl_buddy/v8/tour/#where-to-next",
          "slug": "where-to-next",
          "title": "Where to next",
          "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/sections/tour/where-to-next.md"
        }
      ],
      "slug": "tour",
      "title": "Tour",
      "url": "https://rtl-buddy.github.io/rtl_buddy/v8/agent/pages/tour.md"
    }
  ],
  "rtl_buddy_version": "v8",
  "schema_version": 1
}