@modular-circuit/perc 0.2.3 → 0.2.5

package/dist/index.d.mts

@@ -169,6 +169,11 @@ declare const INVALID_INPUT: (eda_item_ids: string[], error_message: unknown) =>
     error_message: unknown;
     eda_item_ids: string[];
 };
+declare const INVALID_PORT_ID_REFERENCED_IN_CONNECTION: (eda_item_ids: string[]) => {
+    error_code: PP_ERROR;
+    error_message: string;
+    eda_item_ids: string[];
+};
 
 interface REPORT_ITEM {
     /**
@@ -287,7 +292,7 @@ type ADT_AdjacencyList = Set<string>;
 type ADT_Graph = Record<string, ADT_AdjacencyList>;
 
 interface GRAPH_CONVERTER {
-    convert_to_graph(design: unknown): true | Error[];
+    convert_to_graph(design: unknown): void;
     get_graph(): ADT_Graph;
     get_connection_node_map(): ConnectionNodeMap;
 }
@@ -337,7 +342,8 @@ declare enum PP_ERROR {
     REQUIRES_CONNECTED_SOURCE_OR_BIDIR = "requires_connected_source_or_bidir",
     ILLEGAL_CONNECTION = "Illegal_connection",
     CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = "connection_count_exceeds_bundle_limit",
-    INVALID_INPUT = " INVALID_INPUT"
+    INVALID_INPUT = "Invalid input",
+    INVALID_PORT_ID_REFERENCED_IN_CONNECTION = "Invalid port id referenced in connection"
 }
 declare const DEFAULT_PP_ERROR_SEVERITY: Record<PP_ERROR, SEVERITY>;
 
@@ -449,6 +455,7 @@ declare class IR_GRAPH_CONVERTER implements GRAPH_CONVERTER {
     private schematics;
     private bundle_consumed_port_count;
     private bundles;
+    private invalid_port_id;
     private reporter_context;
     get_bundle_consumed_port_count(): {
         bundle_consumed_port_count: Record<string, number>;
@@ -456,7 +463,7 @@ declare class IR_GRAPH_CONVERTER implements GRAPH_CONVERTER {
     };
     get_report_context(): ERC_REPORTER_CONTEXT;
     constructor(circuits: Record<string, ModuleCircuit>);
-    convert_to_graph(designs: Record<string, IR_Graph>): true | Error[];
+    convert_to_graph(designs: Record<string, IR_Graph>): string[];
     add_node(id: string): void;
     add_pwr(pwr: PowerBase, shape: PowerShape, sch_name: string, param: PowerSymbolPort): void;
     add_connection(from: string, to: string): void;
@@ -482,6 +489,7 @@ declare function build_connection_graph(ctx: CONNECTION_GRAPH_BUILDER_CTX): Prom
         bundle_consumed_port_count: Record<string, number>;
         bundles: Record<string, BundleInfo>;
     };
+    invalid_port_ids: string[];
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
 }>;
@@ -497,8 +505,9 @@ declare function graph_ecr(ctx: Omit<ERC_INPUT, 'schematics'> & {
         bundle_consumed_port_count: Record<string, number>;
         bundles: Record<string, BundleInfo>;
     };
+    invalid_port_ids: string[];
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
 }>;
 
-export { type ADT_AdjacencyList, type ADT_Graph, type BundleInfo, type CG_SCHEMATIC, CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT, type CONNECTION_GRAPH_BUILDER_CTX, ConnectionGraphsBuilder, DEFAULT_ERC_SETTING, DEFAULT_PIN_MAP, DEFAULT_PP_ERROR_SEVERITY, DEFAULT_SEVERITY, DrivenPinTypes, DrivingPinTypes, ERCE_DRIVER_CONFLICT, ERCE_PIN_NOT_CONNECTED, ERCE_PIN_TO_PIN_ERROR, ERCE_T, ERCE_UNANNOTATED, type ERC_CONTEXT, type ERC_INPUT, type ERC_ITEM, type ERC_REPORT, type ERC_REPORTER_CONTEXT, ERC_SETTING, ERC_TESTER, type GRAPH_CONVERTER, INVALID_INPUT, IR_GRAPH_CONVERTER, MakerType, type MarkerBase, NetlistTester, PIN_COMPATIBILITY_MATRIX_TESTER, PIN_ERROR, type PIN_TO_PIN_TEST_CONTEXT, PP_DUPLICATED_SOURCES, PP_ERROR, PP_ILLEGAL_CONNECTION, PP_IMPEDANCE_SIGNAL_INTEGRITY, PP_INAPPROPRIATE_FUNC, PP_INCOMPATIBLE_DIGITAL_THRESHOLDS, PP_INCOMPATIBLE_SIGNAL_LEVELS, PP_INCOMPATIBLE_VOLTAGE_LEVELS, PP_INSUFFICIENT_DRIVER, PP_NOT_DRIVEN, PP_OVERCURRENT, PP_OVER_DRIVEN, PP_REQUIRES_CONNECTED_SOURCE_OR_BIDIR, PP_SIGNAL_LEVELS_NOT_CONTAINED_WITHIN_VOLTAGE, type ParameterPropagationTestContext, ParameterPropagationTester, PowerDrivingPinTypes, type RC_ITEM, type REPORT_ITEM, type SCH_ERC_ITEM, type SCH_MARKER, SEVERITY, build_connection_graph, fmt_erc_item_description, get_erc_severity, graph_ecr };
+export { type ADT_AdjacencyList, type ADT_Graph, type BundleInfo, type CG_SCHEMATIC, CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT, type CONNECTION_GRAPH_BUILDER_CTX, ConnectionGraphsBuilder, DEFAULT_ERC_SETTING, DEFAULT_PIN_MAP, DEFAULT_PP_ERROR_SEVERITY, DEFAULT_SEVERITY, DrivenPinTypes, DrivingPinTypes, ERCE_DRIVER_CONFLICT, ERCE_PIN_NOT_CONNECTED, ERCE_PIN_TO_PIN_ERROR, ERCE_T, ERCE_UNANNOTATED, type ERC_CONTEXT, type ERC_INPUT, type ERC_ITEM, type ERC_REPORT, type ERC_REPORTER_CONTEXT, ERC_SETTING, ERC_TESTER, type GRAPH_CONVERTER, INVALID_INPUT, INVALID_PORT_ID_REFERENCED_IN_CONNECTION, IR_GRAPH_CONVERTER, MakerType, type MarkerBase, NetlistTester, PIN_COMPATIBILITY_MATRIX_TESTER, PIN_ERROR, type PIN_TO_PIN_TEST_CONTEXT, PP_DUPLICATED_SOURCES, PP_ERROR, PP_ILLEGAL_CONNECTION, PP_IMPEDANCE_SIGNAL_INTEGRITY, PP_INAPPROPRIATE_FUNC, PP_INCOMPATIBLE_DIGITAL_THRESHOLDS, PP_INCOMPATIBLE_SIGNAL_LEVELS, PP_INCOMPATIBLE_VOLTAGE_LEVELS, PP_INSUFFICIENT_DRIVER, PP_NOT_DRIVEN, PP_OVERCURRENT, PP_OVER_DRIVEN, PP_REQUIRES_CONNECTED_SOURCE_OR_BIDIR, PP_SIGNAL_LEVELS_NOT_CONTAINED_WITHIN_VOLTAGE, type ParameterPropagationTestContext, ParameterPropagationTester, PowerDrivingPinTypes, type RC_ITEM, type REPORT_ITEM, type SCH_ERC_ITEM, type SCH_MARKER, SEVERITY, build_connection_graph, fmt_erc_item_description, get_erc_severity, graph_ecr };

package/dist/index.d.ts

@@ -169,6 +169,11 @@ declare const INVALID_INPUT: (eda_item_ids: string[], error_message: unknown) =>
     error_message: unknown;
     eda_item_ids: string[];
 };
+declare const INVALID_PORT_ID_REFERENCED_IN_CONNECTION: (eda_item_ids: string[]) => {
+    error_code: PP_ERROR;
+    error_message: string;
+    eda_item_ids: string[];
+};
 
 interface REPORT_ITEM {
     /**
@@ -287,7 +292,7 @@ type ADT_AdjacencyList = Set<string>;
 type ADT_Graph = Record<string, ADT_AdjacencyList>;
 
 interface GRAPH_CONVERTER {
-    convert_to_graph(design: unknown): true | Error[];
+    convert_to_graph(design: unknown): void;
     get_graph(): ADT_Graph;
     get_connection_node_map(): ConnectionNodeMap;
 }
@@ -337,7 +342,8 @@ declare enum PP_ERROR {
     REQUIRES_CONNECTED_SOURCE_OR_BIDIR = "requires_connected_source_or_bidir",
     ILLEGAL_CONNECTION = "Illegal_connection",
     CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = "connection_count_exceeds_bundle_limit",
-    INVALID_INPUT = " INVALID_INPUT"
+    INVALID_INPUT = "Invalid input",
+    INVALID_PORT_ID_REFERENCED_IN_CONNECTION = "Invalid port id referenced in connection"
 }
 declare const DEFAULT_PP_ERROR_SEVERITY: Record<PP_ERROR, SEVERITY>;
 
@@ -449,6 +455,7 @@ declare class IR_GRAPH_CONVERTER implements GRAPH_CONVERTER {
     private schematics;
     private bundle_consumed_port_count;
     private bundles;
+    private invalid_port_id;
     private reporter_context;
     get_bundle_consumed_port_count(): {
         bundle_consumed_port_count: Record<string, number>;
@@ -456,7 +463,7 @@ declare class IR_GRAPH_CONVERTER implements GRAPH_CONVERTER {
     };
     get_report_context(): ERC_REPORTER_CONTEXT;
     constructor(circuits: Record<string, ModuleCircuit>);
-    convert_to_graph(designs: Record<string, IR_Graph>): true | Error[];
+    convert_to_graph(designs: Record<string, IR_Graph>): string[];
     add_node(id: string): void;
     add_pwr(pwr: PowerBase, shape: PowerShape, sch_name: string, param: PowerSymbolPort): void;
     add_connection(from: string, to: string): void;
@@ -482,6 +489,7 @@ declare function build_connection_graph(ctx: CONNECTION_GRAPH_BUILDER_CTX): Prom
         bundle_consumed_port_count: Record<string, number>;
         bundles: Record<string, BundleInfo>;
     };
+    invalid_port_ids: string[];
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
 }>;
@@ -497,8 +505,9 @@ declare function graph_ecr(ctx: Omit<ERC_INPUT, 'schematics'> & {
         bundle_consumed_port_count: Record<string, number>;
         bundles: Record<string, BundleInfo>;
     };
+    invalid_port_ids: string[];
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
 }>;
 
-export { type ADT_AdjacencyList, type ADT_Graph, type BundleInfo, type CG_SCHEMATIC, CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT, type CONNECTION_GRAPH_BUILDER_CTX, ConnectionGraphsBuilder, DEFAULT_ERC_SETTING, DEFAULT_PIN_MAP, DEFAULT_PP_ERROR_SEVERITY, DEFAULT_SEVERITY, DrivenPinTypes, DrivingPinTypes, ERCE_DRIVER_CONFLICT, ERCE_PIN_NOT_CONNECTED, ERCE_PIN_TO_PIN_ERROR, ERCE_T, ERCE_UNANNOTATED, type ERC_CONTEXT, type ERC_INPUT, type ERC_ITEM, type ERC_REPORT, type ERC_REPORTER_CONTEXT, ERC_SETTING, ERC_TESTER, type GRAPH_CONVERTER, INVALID_INPUT, IR_GRAPH_CONVERTER, MakerType, type MarkerBase, NetlistTester, PIN_COMPATIBILITY_MATRIX_TESTER, PIN_ERROR, type PIN_TO_PIN_TEST_CONTEXT, PP_DUPLICATED_SOURCES, PP_ERROR, PP_ILLEGAL_CONNECTION, PP_IMPEDANCE_SIGNAL_INTEGRITY, PP_INAPPROPRIATE_FUNC, PP_INCOMPATIBLE_DIGITAL_THRESHOLDS, PP_INCOMPATIBLE_SIGNAL_LEVELS, PP_INCOMPATIBLE_VOLTAGE_LEVELS, PP_INSUFFICIENT_DRIVER, PP_NOT_DRIVEN, PP_OVERCURRENT, PP_OVER_DRIVEN, PP_REQUIRES_CONNECTED_SOURCE_OR_BIDIR, PP_SIGNAL_LEVELS_NOT_CONTAINED_WITHIN_VOLTAGE, type ParameterPropagationTestContext, ParameterPropagationTester, PowerDrivingPinTypes, type RC_ITEM, type REPORT_ITEM, type SCH_ERC_ITEM, type SCH_MARKER, SEVERITY, build_connection_graph, fmt_erc_item_description, get_erc_severity, graph_ecr };
+export { type ADT_AdjacencyList, type ADT_Graph, type BundleInfo, type CG_SCHEMATIC, CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT, type CONNECTION_GRAPH_BUILDER_CTX, ConnectionGraphsBuilder, DEFAULT_ERC_SETTING, DEFAULT_PIN_MAP, DEFAULT_PP_ERROR_SEVERITY, DEFAULT_SEVERITY, DrivenPinTypes, DrivingPinTypes, ERCE_DRIVER_CONFLICT, ERCE_PIN_NOT_CONNECTED, ERCE_PIN_TO_PIN_ERROR, ERCE_T, ERCE_UNANNOTATED, type ERC_CONTEXT, type ERC_INPUT, type ERC_ITEM, type ERC_REPORT, type ERC_REPORTER_CONTEXT, ERC_SETTING, ERC_TESTER, type GRAPH_CONVERTER, INVALID_INPUT, INVALID_PORT_ID_REFERENCED_IN_CONNECTION, IR_GRAPH_CONVERTER, MakerType, type MarkerBase, NetlistTester, PIN_COMPATIBILITY_MATRIX_TESTER, PIN_ERROR, type PIN_TO_PIN_TEST_CONTEXT, PP_DUPLICATED_SOURCES, PP_ERROR, PP_ILLEGAL_CONNECTION, PP_IMPEDANCE_SIGNAL_INTEGRITY, PP_INAPPROPRIATE_FUNC, PP_INCOMPATIBLE_DIGITAL_THRESHOLDS, PP_INCOMPATIBLE_SIGNAL_LEVELS, PP_INCOMPATIBLE_VOLTAGE_LEVELS, PP_INSUFFICIENT_DRIVER, PP_NOT_DRIVEN, PP_OVERCURRENT, PP_OVER_DRIVEN, PP_REQUIRES_CONNECTED_SOURCE_OR_BIDIR, PP_SIGNAL_LEVELS_NOT_CONTAINED_WITHIN_VOLTAGE, type ParameterPropagationTestContext, ParameterPropagationTester, PowerDrivingPinTypes, type RC_ITEM, type REPORT_ITEM, type SCH_ERC_ITEM, type SCH_MARKER, SEVERITY, build_connection_graph, fmt_erc_item_description, get_erc_severity, graph_ecr };

package/dist/index.js

@@ -46,6 +46,7 @@ __export(index_exports, {
   ERC_SETTING: () => ERC_SETTING,
   ERC_TESTER: () => ERC_TESTER,
   INVALID_INPUT: () => INVALID_INPUT,
+  INVALID_PORT_ID_REFERENCED_IN_CONNECTION: () => INVALID_PORT_ID_REFERENCED_IN_CONNECTION,
   IR_GRAPH_CONVERTER: () => IR_GRAPH_CONVERTER,
   MakerType: () => MakerType,
   NetlistTester: () => NetlistTester,
@@ -134,7 +135,8 @@ var PP_ERROR = /* @__PURE__ */ ((PP_ERROR2) => {
   PP_ERROR2["REQUIRES_CONNECTED_SOURCE_OR_BIDIR"] = "requires_connected_source_or_bidir";
   PP_ERROR2["ILLEGAL_CONNECTION"] = "Illegal_connection";
   PP_ERROR2["CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT"] = "connection_count_exceeds_bundle_limit";
-  PP_ERROR2["INVALID_INPUT"] = " INVALID_INPUT";
+  PP_ERROR2["INVALID_INPUT"] = "Invalid input";
+  PP_ERROR2["INVALID_PORT_ID_REFERENCED_IN_CONNECTION"] = "Invalid port id referenced in connection";
   return PP_ERROR2;
 })(PP_ERROR || {});
 var DEFAULT_PP_ERROR_SEVERITY = {
@@ -170,7 +172,8 @@ var DEFAULT_PP_ERROR_SEVERITY = {
   ["requires_connected_source_or_bidir" /* REQUIRES_CONNECTED_SOURCE_OR_BIDIR */]: 16 /* RPT_SEVERITY_WARNING */,
   ["Illegal_connection" /* ILLEGAL_CONNECTION */]: 32 /* RPT_SEVERITY_ERROR */,
   ["connection_count_exceeds_bundle_limit" /* CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT */]: 32 /* RPT_SEVERITY_ERROR */,
-  [" INVALID_INPUT" /* INVALID_INPUT */]: 16 /* RPT_SEVERITY_WARNING */
+  ["Invalid input" /* INVALID_INPUT */]: 16 /* RPT_SEVERITY_WARNING */,
+  ["Invalid port id referenced in connection" /* INVALID_PORT_ID_REFERENCED_IN_CONNECTION */]: 16 /* RPT_SEVERITY_WARNING */
 };
 
 // src/erc/parameter_propagation/tester.ts
@@ -284,11 +287,16 @@ var CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = (bundle_id) => ({
 });
 var INVALID_INPUT = (eda_item_ids, error_message) => {
   return {
-    error_code: " INVALID_INPUT" /* INVALID_INPUT */,
+    error_code: "Invalid input" /* INVALID_INPUT */,
     error_message,
     eda_item_ids
   };
 };
+var INVALID_PORT_ID_REFERENCED_IN_CONNECTION = (eda_item_ids) => ({
+  error_code: "Invalid port id referenced in connection" /* INVALID_PORT_ID_REFERENCED_IN_CONNECTION */,
+  error_message: "Invalid port id referenced in connections.",
+  eda_item_ids
+});
 
 // src/erc/parameter_propagation/link_testers/tester_impl.ts
 var import_electronics_model3 = require("@modular-circuit/electronics-model");
@@ -1202,7 +1210,7 @@ var ParameterPropagationTester = class {
         port_id: this.port_id,
         has_passive_port: this.has_passive_port
       },
-      valid_ports
+      ports
     ).test();
   }
   visit_cc(cc) {
@@ -1211,14 +1219,38 @@ var ParameterPropagationTester = class {
     }
     this.link_map = (0, import_electronics_model4.gen_link_map)();
     const ports = [];
+    const valid_port = (p) => {
+      try {
+        const zod_schema = (0, import_electronics_model4.get_port_schema)(p.param);
+        if (!zod_schema) {
+          this.ctx.report.erc_errors.push(
+            INVALID_INPUT([p.uuid], {
+              unknown_port_type: p
+            })
+          );
+          return;
+        }
+        p.param = zod_schema.parse(p);
+        ports.push(p);
+      } catch (err) {
+        if (err instanceof z.ZodError) {
+          this.ctx.report.erc_errors.push(
+            INVALID_INPUT([p.uuid], {
+              input: p,
+              issues: err.issues
+            })
+          );
+        }
+      }
+    };
     for (const p of cc.nodes) {
       switch (p.type) {
         case import_electronics_model4.ConnectionNodeType.Port: {
-          ports.push(p);
+          valid_port(p);
           break;
         }
         case import_electronics_model4.ConnectionNodeType.Power: {
-          ports.push({
+          valid_port({
             type: import_electronics_model4.ConnectionNodeType.Port,
             param: p.param,
             label_shapes: {},
@@ -1634,6 +1666,7 @@ var IR_GRAPH_CONVERTER = class {
     this.schematics = {};
     this.bundle_consumed_port_count = {};
     this.bundles = {};
+    this.invalid_port_id = /* @__PURE__ */ new Set();
     this.reporter_context = {
       pin_name_table: {},
       pin_module_name_table: {}
@@ -1649,7 +1682,6 @@ var IR_GRAPH_CONVERTER = class {
     return this.reporter_context;
   }
   convert_to_graph(designs) {
-    const errors = [];
     if (Object.keys(designs).length > 1) {
       throw new Error("Multiple designs are not supported");
     }
@@ -1767,7 +1799,18 @@ var IR_GRAPH_CONVERTER = class {
         this.add_node(uuid);
         this.connection_node_map[uuid] = { uuid, type: import_electronics_model8.ConnectionNodeType.Graphics };
       }
+      const validate_wire = (wire) => {
+        let valid = true;
+        for (const id of [wire.from, wire.to]) {
+          if (!(id in this.graph)) {
+            this.invalid_port_id.add(id);
+            valid = false;
+          }
+        }
+        return valid;
+      };
       const handel_wire_instance = (abstract_or_actual_wire, actual_wire_id) => {
+        if (!validate_wire(abstract_or_actual_wire)) return;
         this.add_connection(abstract_or_actual_wire.from, abstract_or_actual_wire.to);
         this.connection_node_map[abstract_or_actual_wire.uuid] = {
           uuid: actual_wire_id,
@@ -1810,7 +1853,7 @@ var IR_GRAPH_CONVERTER = class {
         handel_wire_instance(connection, actual_wire_id);
       }
     }
-    return errors.length ? errors : true;
+    return [...this.invalid_port_id];
   }
   add_node(id) {
     if (!this.graph[id]) this.graph[id] = /* @__PURE__ */ new Set();
@@ -1953,15 +1996,15 @@ var ConnectionGraphsBuilder = class {
 };
 async function build_connection_graph(ctx) {
   const converter = new IR_GRAPH_CONVERTER(await get_dependent_modules_definition(ctx));
-  const res = converter.convert_to_graph(ctx.schematics);
-  if (res !== true) throw new Error(`Failed to convert graph ${res.join(",")}`);
+  const invalid_port_ids = converter.convert_to_graph(ctx.schematics);
   const cc_builder = new ConnectionGraphsBuilder(converter.get_connection_node_map());
   (0, import_utils3.test_connected_components)(converter.get_graph(), [cc_builder]);
   return {
     ...converter.get_report_context(),
     connection_graph: cc_builder.get_connection_graph(),
     cg_schematics: converter.get_schematics(),
-    bundle_consume_status: converter.get_bundle_consumed_port_count()
+    bundle_consume_status: converter.get_bundle_consumed_port_count(),
+    invalid_port_ids
   };
 }
 
@@ -1981,6 +2024,9 @@ async function graph_ecr(ctx) {
       console.warn(`Illegal bundle: ${port_id} , no associated labels`);
     }
   }
+  for (const id of connection_graph.invalid_port_ids) {
+    erc_report.erc_errors.push(INVALID_PORT_ID_REFERENCED_IN_CONNECTION([id]));
+  }
   const tester = new ERC_TESTER(
     {
       ...ctx,
@@ -2008,6 +2054,7 @@ async function graph_ecr(ctx) {
   ERC_SETTING,
   ERC_TESTER,
   INVALID_INPUT,
+  INVALID_PORT_ID_REFERENCED_IN_CONNECTION,
   IR_GRAPH_CONVERTER,
   MakerType,
   NetlistTester,

package/dist/index.mjs

@@ -57,7 +57,8 @@ var PP_ERROR = /* @__PURE__ */ ((PP_ERROR2) => {
   PP_ERROR2["REQUIRES_CONNECTED_SOURCE_OR_BIDIR"] = "requires_connected_source_or_bidir";
   PP_ERROR2["ILLEGAL_CONNECTION"] = "Illegal_connection";
   PP_ERROR2["CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT"] = "connection_count_exceeds_bundle_limit";
-  PP_ERROR2["INVALID_INPUT"] = " INVALID_INPUT";
+  PP_ERROR2["INVALID_INPUT"] = "Invalid input";
+  PP_ERROR2["INVALID_PORT_ID_REFERENCED_IN_CONNECTION"] = "Invalid port id referenced in connection";
   return PP_ERROR2;
 })(PP_ERROR || {});
 var DEFAULT_PP_ERROR_SEVERITY = {
@@ -93,7 +94,8 @@ var DEFAULT_PP_ERROR_SEVERITY = {
   ["requires_connected_source_or_bidir" /* REQUIRES_CONNECTED_SOURCE_OR_BIDIR */]: 16 /* RPT_SEVERITY_WARNING */,
   ["Illegal_connection" /* ILLEGAL_CONNECTION */]: 32 /* RPT_SEVERITY_ERROR */,
   ["connection_count_exceeds_bundle_limit" /* CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT */]: 32 /* RPT_SEVERITY_ERROR */,
-  [" INVALID_INPUT" /* INVALID_INPUT */]: 16 /* RPT_SEVERITY_WARNING */
+  ["Invalid input" /* INVALID_INPUT */]: 16 /* RPT_SEVERITY_WARNING */,
+  ["Invalid port id referenced in connection" /* INVALID_PORT_ID_REFERENCED_IN_CONNECTION */]: 16 /* RPT_SEVERITY_WARNING */
 };
 
 // src/erc/parameter_propagation/tester.ts
@@ -214,11 +216,16 @@ var CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = (bundle_id) => ({
 });
 var INVALID_INPUT = (eda_item_ids, error_message) => {
   return {
-    error_code: " INVALID_INPUT" /* INVALID_INPUT */,
+    error_code: "Invalid input" /* INVALID_INPUT */,
     error_message,
     eda_item_ids
   };
 };
+var INVALID_PORT_ID_REFERENCED_IN_CONNECTION = (eda_item_ids) => ({
+  error_code: "Invalid port id referenced in connection" /* INVALID_PORT_ID_REFERENCED_IN_CONNECTION */,
+  error_message: "Invalid port id referenced in connections.",
+  eda_item_ids
+});
 
 // src/erc/parameter_propagation/link_testers/tester_impl.ts
 import {
@@ -1143,7 +1150,7 @@ var ParameterPropagationTester = class {
         port_id: this.port_id,
         has_passive_port: this.has_passive_port
       },
-      valid_ports
+      ports
     ).test();
   }
   visit_cc(cc) {
@@ -1152,14 +1159,38 @@ var ParameterPropagationTester = class {
     }
     this.link_map = gen_link_map();
     const ports = [];
+    const valid_port = (p) => {
+      try {
+        const zod_schema = get_port_schema(p.param);
+        if (!zod_schema) {
+          this.ctx.report.erc_errors.push(
+            INVALID_INPUT([p.uuid], {
+              unknown_port_type: p
+            })
+          );
+          return;
+        }
+        p.param = zod_schema.parse(p);
+        ports.push(p);
+      } catch (err) {
+        if (err instanceof z.ZodError) {
+          this.ctx.report.erc_errors.push(
+            INVALID_INPUT([p.uuid], {
+              input: p,
+              issues: err.issues
+            })
+          );
+        }
+      }
+    };
     for (const p of cc.nodes) {
       switch (p.type) {
         case ConnectionNodeType.Port: {
-          ports.push(p);
+          valid_port(p);
           break;
         }
         case ConnectionNodeType.Power: {
-          ports.push({
+          valid_port({
             type: ConnectionNodeType.Port,
             param: p.param,
             label_shapes: {},
@@ -1579,12 +1610,12 @@ import {
   block_is_associated_with_concrete_module
 } from "@modular-circuit/ir";
 import {
+  KiCadSchematicFileExtension,
   deep_copy,
   fmt_module_name,
   gen_uuid,
   get_circuit_ports,
-  get_port_labels,
-  KiCadSchematicFileExtension
+  get_port_labels
 } from "@modular-circuit/utils";
 var IR_GRAPH_CONVERTER = class {
   constructor(circuits) {
@@ -1594,6 +1625,7 @@ var IR_GRAPH_CONVERTER = class {
     this.schematics = {};
     this.bundle_consumed_port_count = {};
     this.bundles = {};
+    this.invalid_port_id = /* @__PURE__ */ new Set();
     this.reporter_context = {
       pin_name_table: {},
       pin_module_name_table: {}
@@ -1609,7 +1641,6 @@ var IR_GRAPH_CONVERTER = class {
     return this.reporter_context;
   }
   convert_to_graph(designs) {
-    const errors = [];
     if (Object.keys(designs).length > 1) {
       throw new Error("Multiple designs are not supported");
     }
@@ -1727,7 +1758,18 @@ var IR_GRAPH_CONVERTER = class {
         this.add_node(uuid);
         this.connection_node_map[uuid] = { uuid, type: ConnectionNodeType3.Graphics };
       }
+      const validate_wire = (wire) => {
+        let valid = true;
+        for (const id of [wire.from, wire.to]) {
+          if (!(id in this.graph)) {
+            this.invalid_port_id.add(id);
+            valid = false;
+          }
+        }
+        return valid;
+      };
       const handel_wire_instance = (abstract_or_actual_wire, actual_wire_id) => {
+        if (!validate_wire(abstract_or_actual_wire)) return;
         this.add_connection(abstract_or_actual_wire.from, abstract_or_actual_wire.to);
         this.connection_node_map[abstract_or_actual_wire.uuid] = {
           uuid: actual_wire_id,
@@ -1770,7 +1812,7 @@ var IR_GRAPH_CONVERTER = class {
         handel_wire_instance(connection, actual_wire_id);
       }
     }
-    return errors.length ? errors : true;
+    return [...this.invalid_port_id];
   }
   add_node(id) {
     if (!this.graph[id]) this.graph[id] = /* @__PURE__ */ new Set();
@@ -1920,15 +1962,15 @@ var ConnectionGraphsBuilder = class {
 };
 async function build_connection_graph(ctx) {
   const converter = new IR_GRAPH_CONVERTER(await get_dependent_modules_definition(ctx));
-  const res = converter.convert_to_graph(ctx.schematics);
-  if (res !== true) throw new Error(`Failed to convert graph ${res.join(",")}`);
+  const invalid_port_ids = converter.convert_to_graph(ctx.schematics);
   const cc_builder = new ConnectionGraphsBuilder(converter.get_connection_node_map());
   test_connected_components(converter.get_graph(), [cc_builder]);
   return {
     ...converter.get_report_context(),
     connection_graph: cc_builder.get_connection_graph(),
     cg_schematics: converter.get_schematics(),
-    bundle_consume_status: converter.get_bundle_consumed_port_count()
+    bundle_consume_status: converter.get_bundle_consumed_port_count(),
+    invalid_port_ids
   };
 }
 
@@ -1948,6 +1990,9 @@ async function graph_ecr(ctx) {
       console.warn(`Illegal bundle: ${port_id} , no associated labels`);
     }
   }
+  for (const id of connection_graph.invalid_port_ids) {
+    erc_report.erc_errors.push(INVALID_PORT_ID_REFERENCED_IN_CONNECTION([id]));
+  }
   const tester = new ERC_TESTER(
     {
       ...ctx,
@@ -1974,6 +2019,7 @@ export {
   ERC_SETTING,
   ERC_TESTER,
   INVALID_INPUT,
+  INVALID_PORT_ID_REFERENCED_IN_CONNECTION,
   IR_GRAPH_CONVERTER,
   MakerType,
   NetlistTester,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@modular-circuit/perc",
-  "version": "0.2.3",
+  "version": "0.2.5",
   "description": "Programmable Electronic Circuit Check",
   "main": "./dist/index.js",
   "module": "./dist/index.mjs",
@@ -27,7 +27,7 @@
   },
   "dependencies": {
     "zod": "^4.3.6",
-    "@modular-circuit/electronics-model": "0.2.2",
+    "@modular-circuit/electronics-model": "0.2.3",
     "@modular-circuit/ir": "0.2.1",
     "@modular-circuit/utils": "0.2.1"
   },