[codex] add layered route search option

[0hmX]

Summary

Adds an opt-in two-level layered route search for tiny-hypergraph. The new path builds a coarse region map, runs coarse A* to produce a fine-region corridor, and lets the existing fine A* search honor that corridor when USE_LAYERED_ROUTE_SEARCH is enabled.

Also routes TinyHyperGraphSolver2 through the extracted runRouteSearchStep seam so route-search behavior is shared and easier to extend.

Notes

This is intentionally behind an option and is not enabled by default. It is useful for further experiments even if the first hard-corridor benchmark is not a win.

Validation

• bun run typecheck
• bun test tests/lib2/layered-search-map.test.ts tests/lib2/route-search.test.ts tests/lib2/solver2.test.ts tests/solver/section-solver.test.ts

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
tiny-hypergraph	Ready	Preview, Comment	Jul 1, 2026 10:29am

[tscircuitbot]

Benchmark This PR

Run benchmarks by commenting on this PR:

/benchmark [benchmark.sh args...]
/benchmark --dataset <hg07|srj18> --limit <n> --solver <core|poly> --families <default|default+deep|all> --concurrency <n|auto>

Everything after /benchmark is forwarded directly to ./benchmark.sh.
The result comment shows the matching dataset from the latest stored main-branch benchmark artifact beside the PR run; main is not rerun for each PR benchmark request.

Examples:

• /benchmark -> hg07, all samples, core solver
• /benchmark --dataset srj18 --limit 20 -> first 20 srj18 samples
• /benchmark --dataset srj18 --concurrency auto -> srj18 samples with runner CPU-count concurrency
• /benchmark --sample sample002 -> one hg07 sample
• /benchmark --limit 20 --solver poly -> first 20 hg07 samples with the poly solver
• /benchmark --limit 40 --families default+deep -> first 40 hg07 samples with deeper candidate families

Any PR whose title contains [BENCHMARK TEST] will automatically run the benchmark workflow on PR updates.