Skip to content

Reverted: reject infeasible greedy final routes - #156

Draft
ShiboSoftwareDev wants to merge 2 commits into
agent/repro-greedy-single-layer-crossingfrom
agent/preserve-hard-constraints-in-greedy-final-route
Draft

Reverted: reject infeasible greedy final routes#156
ShiboSoftwareDev wants to merge 2 commits into
agent/repro-greedy-single-layer-crossingfrom
agent/preserve-hard-constraints-in-greedy-final-route

Conversation

@ShiboSoftwareDev

@ShiboSoftwareDev ShiboSoftwareDev commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

Status: reverted

This fix has been fully reverted because preserving the hard crossing rejection in the final greedy route caused downstream autorouter benchmark samples to fail instead of producing routed output.

The current head has the exact same Git tree as reproduction base PR #155. The reproduction remains useful evidence, but this rejection behavior should not be merged without a recovery strategy that finds a valid alternative topology or assignment.

@vercel

vercel Bot commented Aug 7, 2026

Copy link
Copy Markdown

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

Project Deployment Actions Updated (UTC)
tiny-hypergraph Ready Ready Preview Aug 7, 2026 10:19pm

Request Review

@tscircuitbot

Copy link
Copy Markdown

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.

@ShiboSoftwareDev ShiboSoftwareDev changed the title Reject infeasible greedy final routes Reverted: reject infeasible greedy final routes Aug 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants