Skip to content

Align close same-net trace segments during cleanup#429

Open
justusaugust wants to merge 7 commits into
tscircuit:mainfrom
justusaugust:codex/same-net-trace-alignment-29-34
Open

Align close same-net trace segments during cleanup#429
justusaugust wants to merge 7 commits into
tscircuit:mainfrom
justusaugust:codex/same-net-trace-alignment-29-34

Conversation

@justusaugust
Copy link
Copy Markdown

@justusaugust justusaugust commented May 25, 2026

Summary

  • add a final TraceCleanupSolver phase that aligns nearby overlapping internal same-net horizontal/vertical segments onto a shared axis
  • preserve endpoint/pin legs and ignore different-net candidates
  • reject alignments that would introduce different-net, chip-obstacle, self-intersection, or different-net label collisions
  • add focused before/after-style coverage for horizontal, vertical, endpoint, different-net, obstacle, self-collision, label-collision, and collision-guard behavior

/claim #29
/claim #34

Verification

  • bun test tests/solvers/TraceCleanupSolver/alignNearbySameNetSegments.test.ts tests/examples/example29.test.ts tests/examples/example34.test.ts
  • bun test -> 72 pass, 4 skip, 0 fail
  • bunx tsc --noEmit
  • bun run format:check
  • bun run build
  • git diff --check

@vercel
Copy link
Copy Markdown

vercel Bot commented May 25, 2026

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

Project Deployment Actions Updated (UTC)
schematic-trace-solver Ready Ready Preview, Comment May 25, 2026 2:29pm

Request Review

Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 0434b61817

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread lib/solvers/TraceCleanupSolver/alignNearbySameNetSegments.ts Outdated
@justusaugust
Copy link
Copy Markdown
Author

Added an in-repo before/after SVG proof snapshot for the same-net alignment behavior at tests/solvers/TraceCleanupSolver/__snapshots__/before-after.snap.svg.

Verification after the added proof:

  • bun test (65 pass, 4 skip, 0 fail)
  • bunx tsc --noEmit
  • bun run format:check
  • bun run build
  • git diff --check

Remote PR checks are green after commit cd631b6.

@justusaugust
Copy link
Copy Markdown
Author

@codex review

Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 98c6ad0c9c

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread lib/solvers/TraceCleanupSolver/alignNearbySameNetSegments.ts Outdated
@justusaugust
Copy link
Copy Markdown
Author

@codex review

Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 81ea845878

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread lib/solvers/TraceCleanupSolver/alignNearbySameNetSegments.ts Outdated
Comment thread lib/solvers/TraceCleanupSolver/alignNearbySameNetSegments.ts Outdated
@justusaugust
Copy link
Copy Markdown
Author

@codex review

Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: ed89eb6765

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread lib/solvers/TraceCleanupSolver/alignNearbySameNetSegments.ts
@justusaugust
Copy link
Copy Markdown
Author

@codex review

Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 2e8e61ef71

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread lib/solvers/TraceCleanupSolver/TraceCleanupSolver.ts
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant