piToolsOverride function

ToolsConfig piToolsOverride()

pi's runtime availability scope: every known tool id off except piToolIds. Applied as the DEEPEST scope in rebuildToolAvailability, so it pins the surface exactly — --tools and FA_TOOLS cannot widen a benchmark run.

Implementation

ToolsConfig piToolsOverride() => ToolsConfig(
  tools: {for (final id in knownToolIds) id: piToolIds.contains(id)},
);