preserve A01 and A03 compatibility for native solvers

[AnasSarkiz]

Summary

• keep A01's existing radius rounding unless A11 explicitly enables exact clearance
• keep A03's legacy identical-endpoint output as one point
• let A12 preserve distinct physical endpoints that map to the same grid cell
• cover the A03/A12 output contracts directly

These are compatibility boundaries for the new native solvers: A01 and A03 retain their existing behavior, while A11 and A12 opt into the stricter behavior they require.

Canonical HD30 verification

Dataset: tscircuit/dataset-hd30@0ad7fe36c3da67469a053cfa98f709f751f844b1

At original Pipeline 9 bounds, shuffle seed 0, effort 1, and 100,000 iterations:

• A01: 0/27
• A03: 0/27
• A11: 7/27
• A12: 8/27
• A11 + A12 union: 12/27

The compatibility layer changes none of those outcomes and introduces no invalid routes.

Validation on 57dc394852dcce99d38509fb7f5b5c8c0b680e0c

• full package: 85 passed, 2 skipped, 0 failed
• focused A12/compatibility tests passed
• build passed
• format check passed
• exact four-solver HD30 matrix passed geometry, original-bounds, and physical endpoint checks

[vercel]

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

Project	Deployment	Actions	Updated
high-density-a01	Ready	Preview	Sep 1, 2026 3:31pm UTC