Update dependencies and migrate PCB manufacturing DRC field names

[imrishabh18]

Motivation

• Bump circuit-json/@tscircuit/props and pin @tscircuit/jlcpcb-manufacturing-specs to the specified commit so the project uses the latest PCB schema and prop names.
• Migrate board manufacturing DRC fields to the renamed keys in the latest PcbBoard schema so emitted circuit JSON matches the updated types.

Description

• Updated package.json to use circuit-json@^0.0.419, @tscircuit/props@^0.0.513, and @tscircuit/jlcpcb-manufacturing-specs at commit e08af159db01a37db007e33f0a7268d0e4a279a5.
• Changed lib/components/normal-components/Board.ts to emit the new manufacturing DRC fields (min_via_hole_edge_to_via_hole_edge_clearance, min_trace_to_pad_edge_clearance, min_pad_edge_to_pad_edge_clearance, and min_plated_hole_drill_edge_to_drill_edge_clearance) mapping from the component props and JLC defaults.
• Updated tests and inline snapshot expectations in tests/components/normal-components/board-manufacture-drc-property.test.tsx and tests/footprint/footprint-library-map3.test.tsx to use the new prop names and PCB JSON keys.

Testing

• Ran TypeScript check with bunx tsc --noEmit which succeeded.
• Ran the relevant tests with bun test tests/components/normal-components/board-manufacture-drc-property.test.tsx tests/footprint/footprint-library-map3.test.tsx and both tests passed (1 snapshot updated to match new schema).

---

Codex Task

[vercel]

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

Project	Deployment	Actions	Updated (UTC)
tscircuit-core-benchmarks	Ready	Preview, Comment	Apr 24, 2026 4:44pm

[tscircuitbot]

---

Thank you for your contribution! 🎉

PR Rating: ⭐⭐
Impact: Minor

Track your contributions and see the leaderboard at: tscircuit Contribution Tracker

---