This release turns Architon’s scan engine into an importer-agnostic contract verifier.

KiCad is now treated as one adapter that compiles designs into normalized DesignIR. Verification rules no longer depend on KiCad files, parser structs, metadata internals, or EDA-specific assumptions. Contracts are enriched after import and rules operate only on DesignIR + ContractIR.

Highlights:

• New neutral contract schema for components, pins, and nets.
• Pluggable contract enrichment pipeline.
• Contract-level supply, logic-level, and I2C role rules.
• Improved scan report metadata and contract coverage output.
• Preserved rv scan ., rv scan , and rv scan . --meta meta.yaml behavior.
• Test coverage for synthetic designs and future importer compatibility.