pcb-agent

downstream draft private

a PCB layouter — placement and routing on exact integer geometry, with an explicit rule system for manufacturability and a configurable cost function for comparing layouts

Private repository — not publicly linked.

Depends on

ontos build

compiles or links against ontos

the canonical external form of a design is an ontos value (proposal 0010, crate `pcb-form`): name-keyed, edit-history independent, with ontos-codec-v1 canonical bytes as the design's identity; type-identity-critical (exactly one ontos rev must be linked)

logos contract

depends on the published interface of logos

legality gains an independently-expressed certifying reference (proposal 0011, crate `pcb-logic`): pcb-geom's exact predicates are supplied as a logos Theory over the published SPI, and a differential referee compares it against the shipping DRC kernel

logos build

compiles or links against logos

compiles against `logos-core` as well as `logos-contract` — the engine-agnostic algorithms over the contract term model

Depended on by

Nothing yet — no member declares an edge onto pcb-agent.