@modular-circuit/perc 0.1.2 → 0.1.3

package/dist/index.d.mts

@@ -1,5 +1,5 @@
 import * as _modular_circuit_electronics_model from '@modular-circuit/electronics-model';
-import { VECTOR2, BOX2, ELECTRICAL_NODE, ELECTRICAL_PINTYPE, ConnectionSubgraph, ConnectionNodeMap, GS_SCH_SHEET_PATH, ConnectionGraph, CG_SHEET, NL_PowerSymbol, PowerShape, PowerSymbolPort, Connection, ConnectionNode } from '@modular-circuit/electronics-model';
+import { VECTOR2, BOX2, ELECTRICAL_NODE, ELECTRICAL_PINTYPE, ConnectionSubgraph, ConnectionNodeMap, GS_SCH_SHEET_PATH, ConnectionGraph, CG_SHEET, NL_PowerSymbol, PowerShape, PowerSymbolPort, Connection, ConnectionNode, DigitalBidirBundle } from '@modular-circuit/electronics-model';
 import { SCH_ITEM, ModuleResolver, ModuleCircuit, IR_Graph } from '@modular-circuit/ir';
 import { PowerBase } from '@modular-circuit/ir/build/graph/pwr_base';
 import { CC_Visitor } from '@modular-circuit/utils';
@@ -159,6 +159,22 @@ declare const PP_ILLEGAL_CONNECTION: (eda_item_ids: string[], detail: string) =>
     error_message: string;
     eda_item_ids: string[];
 };
+declare const CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT: (bundle_id: string) => {
+    error_code: PP_ERROR;
+    error_message: string;
+    eda_item_ids: string[];
+};
+
+interface REPORT_ITEM {
+    /**
+     * The UUIDs of the eda items that are related to this item.
+     */
+    eda_item_ids: string[];
+    /**
+     * A message describing the details of this specific error
+     */
+    error_message: string;
+}
 
 /**Token from KiCAD
  * https://gitlab.com/kicad/code/kicad/-/blob/master/eeschema/erc/erc_settings.h
@@ -314,7 +330,8 @@ declare enum PP_ERROR {
     OVERCURRENT = "overcurrent",
     INCOMPATIBLE_DIGITAL_THRESHOLDS = "incompatible_digital_thresholds",
     REQUIRES_CONNECTED_SOURCE_OR_BIDIR = "requires_connected_source_or_bidir",
-    ILLEGAL_CONNECTION = "Illegal_connection"
+    ILLEGAL_CONNECTION = "Illegal_connection",
+    CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = "connection_count_exceeds_bundle_limit"
 }
 declare const DEFAULT_PP_ERROR_SEVERITY: Record<PP_ERROR, SEVERITY>;
 
@@ -347,19 +364,11 @@ declare class NetlistTester implements CG_Visitor {
  *
  * RC_ITEMs can have zero, one, or two related EDA_ITEMs.
  */
-interface RC_ITEM {
-    /**
-     * The UUIDs of the eda items that are related to this item.
-     */
-    eda_item_ids: string[];
+interface RC_ITEM extends REPORT_ITEM {
     /**
      *  The error code's numeric value
      */
     error_code: ERCE_T | PP_ERROR;
-    /**
-     * A message describing the details of this specific error
-     */
-    error_message: string;
     /**
      * The string describing the type of error
      */
@@ -410,11 +419,10 @@ interface ERC_CONTEXT {
 }
 declare class ERC_TESTER {
     private ctx;
-    constructor(ctx: ERC_CONTEXT);
+    private report;
+    constructor(ctx: ERC_CONTEXT, report: ERC_REPORT);
     run_test(): {
         connection_graph: ConnectionGraph;
-        markers: SCH_MARKER[];
-        erc_errors: SCH_ERC_ITEM[];
     };
 }
 
@@ -446,14 +454,23 @@ declare class ConnectionGraphsBuilder implements CC_Visitor {
     private net_count;
     private connection_graph;
     private bundle_consumed_port_count;
+    private bundles;
     constructor(connection_node_map: ConnectionNodeMap);
     end_visit_component(cc: string[]): void;
     resolve_net_drive(nodes: ConnectionNode[], sub_graph: ConnectionSubgraph): void;
     get_connection_graph(): ConnectionGraph;
+    get_bundle_consumed_port_count(): {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, DigitalBidirBundle>;
+    };
 }
 declare function build_connection_graph(ctx: CONNECTION_GRAPH_BUILDER_CTX): Promise<{
     connection_graph: ConnectionGraph;
     cg_schematics: Record<string, CG_SCHEMATIC>;
+    bundle_consume_status: {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, DigitalBidirBundle>;
+    };
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
 }>;
@@ -462,12 +479,15 @@ type ERC_INPUT = CONNECTION_GRAPH_BUILDER_CTX & Omit<ERC_CONTEXT, 'connection_gr
 declare function graph_ecr(ctx: Omit<ERC_INPUT, 'schematics'> & {
     schematics: Record<string, IR_Graph>;
 }): Promise<{
+    erc_report: ERC_REPORT;
     connection_graph: _modular_circuit_electronics_model.ConnectionGraph;
     cg_schematics: Record<string, CG_SCHEMATIC>;
+    bundle_consume_status: {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, _modular_circuit_electronics_model.DigitalBidirBundle>;
+    };
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
-    markers: SCH_MARKER[];
-    erc_errors: SCH_ERC_ITEM[];
 }>;
 
-export { type ADT_AdjacencyList, type ADT_Graph, type CG_SCHEMATIC, 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, 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 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 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, 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

@@ -1,5 +1,5 @@
 import * as _modular_circuit_electronics_model from '@modular-circuit/electronics-model';
-import { VECTOR2, BOX2, ELECTRICAL_NODE, ELECTRICAL_PINTYPE, ConnectionSubgraph, ConnectionNodeMap, GS_SCH_SHEET_PATH, ConnectionGraph, CG_SHEET, NL_PowerSymbol, PowerShape, PowerSymbolPort, Connection, ConnectionNode } from '@modular-circuit/electronics-model';
+import { VECTOR2, BOX2, ELECTRICAL_NODE, ELECTRICAL_PINTYPE, ConnectionSubgraph, ConnectionNodeMap, GS_SCH_SHEET_PATH, ConnectionGraph, CG_SHEET, NL_PowerSymbol, PowerShape, PowerSymbolPort, Connection, ConnectionNode, DigitalBidirBundle } from '@modular-circuit/electronics-model';
 import { SCH_ITEM, ModuleResolver, ModuleCircuit, IR_Graph } from '@modular-circuit/ir';
 import { PowerBase } from '@modular-circuit/ir/build/graph/pwr_base';
 import { CC_Visitor } from '@modular-circuit/utils';
@@ -159,6 +159,22 @@ declare const PP_ILLEGAL_CONNECTION: (eda_item_ids: string[], detail: string) =>
     error_message: string;
     eda_item_ids: string[];
 };
+declare const CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT: (bundle_id: string) => {
+    error_code: PP_ERROR;
+    error_message: string;
+    eda_item_ids: string[];
+};
+
+interface REPORT_ITEM {
+    /**
+     * The UUIDs of the eda items that are related to this item.
+     */
+    eda_item_ids: string[];
+    /**
+     * A message describing the details of this specific error
+     */
+    error_message: string;
+}
 
 /**Token from KiCAD
  * https://gitlab.com/kicad/code/kicad/-/blob/master/eeschema/erc/erc_settings.h
@@ -314,7 +330,8 @@ declare enum PP_ERROR {
     OVERCURRENT = "overcurrent",
     INCOMPATIBLE_DIGITAL_THRESHOLDS = "incompatible_digital_thresholds",
     REQUIRES_CONNECTED_SOURCE_OR_BIDIR = "requires_connected_source_or_bidir",
-    ILLEGAL_CONNECTION = "Illegal_connection"
+    ILLEGAL_CONNECTION = "Illegal_connection",
+    CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = "connection_count_exceeds_bundle_limit"
 }
 declare const DEFAULT_PP_ERROR_SEVERITY: Record<PP_ERROR, SEVERITY>;
 
@@ -347,19 +364,11 @@ declare class NetlistTester implements CG_Visitor {
  *
  * RC_ITEMs can have zero, one, or two related EDA_ITEMs.
  */
-interface RC_ITEM {
-    /**
-     * The UUIDs of the eda items that are related to this item.
-     */
-    eda_item_ids: string[];
+interface RC_ITEM extends REPORT_ITEM {
     /**
      *  The error code's numeric value
      */
     error_code: ERCE_T | PP_ERROR;
-    /**
-     * A message describing the details of this specific error
-     */
-    error_message: string;
     /**
      * The string describing the type of error
      */
@@ -410,11 +419,10 @@ interface ERC_CONTEXT {
 }
 declare class ERC_TESTER {
     private ctx;
-    constructor(ctx: ERC_CONTEXT);
+    private report;
+    constructor(ctx: ERC_CONTEXT, report: ERC_REPORT);
     run_test(): {
         connection_graph: ConnectionGraph;
-        markers: SCH_MARKER[];
-        erc_errors: SCH_ERC_ITEM[];
     };
 }
 
@@ -446,14 +454,23 @@ declare class ConnectionGraphsBuilder implements CC_Visitor {
     private net_count;
     private connection_graph;
     private bundle_consumed_port_count;
+    private bundles;
     constructor(connection_node_map: ConnectionNodeMap);
     end_visit_component(cc: string[]): void;
     resolve_net_drive(nodes: ConnectionNode[], sub_graph: ConnectionSubgraph): void;
     get_connection_graph(): ConnectionGraph;
+    get_bundle_consumed_port_count(): {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, DigitalBidirBundle>;
+    };
 }
 declare function build_connection_graph(ctx: CONNECTION_GRAPH_BUILDER_CTX): Promise<{
     connection_graph: ConnectionGraph;
     cg_schematics: Record<string, CG_SCHEMATIC>;
+    bundle_consume_status: {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, DigitalBidirBundle>;
+    };
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
 }>;
@@ -462,12 +479,15 @@ type ERC_INPUT = CONNECTION_GRAPH_BUILDER_CTX & Omit<ERC_CONTEXT, 'connection_gr
 declare function graph_ecr(ctx: Omit<ERC_INPUT, 'schematics'> & {
     schematics: Record<string, IR_Graph>;
 }): Promise<{
+    erc_report: ERC_REPORT;
     connection_graph: _modular_circuit_electronics_model.ConnectionGraph;
     cg_schematics: Record<string, CG_SCHEMATIC>;
+    bundle_consume_status: {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, _modular_circuit_electronics_model.DigitalBidirBundle>;
+    };
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
-    markers: SCH_MARKER[];
-    erc_errors: SCH_ERC_ITEM[];
 }>;
 
-export { type ADT_AdjacencyList, type ADT_Graph, type CG_SCHEMATIC, 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, 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 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 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, 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

@@ -20,6 +20,7 @@ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: tru
 // src/index.ts
 var index_exports = {};
 __export(index_exports, {
+  CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT: () => CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT,
   ConnectionGraphsBuilder: () => ConnectionGraphsBuilder,
   DEFAULT_ERC_SETTING: () => DEFAULT_ERC_SETTING,
   DEFAULT_PIN_MAP: () => DEFAULT_PIN_MAP,
@@ -121,6 +122,7 @@ var PP_ERROR = /* @__PURE__ */ ((PP_ERROR2) => {
   PP_ERROR2["INCOMPATIBLE_DIGITAL_THRESHOLDS"] = "incompatible_digital_thresholds";
   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";
   return PP_ERROR2;
 })(PP_ERROR || {});
 var DEFAULT_PP_ERROR_SEVERITY = {
@@ -154,7 +156,8 @@ var DEFAULT_PP_ERROR_SEVERITY = {
   ["overcurrent" /* OVERCURRENT */]: 16 /* RPT_SEVERITY_WARNING */,
   ["incompatible_digital_thresholds" /* INCOMPATIBLE_DIGITAL_THRESHOLDS */]: 16 /* RPT_SEVERITY_WARNING */,
   ["requires_connected_source_or_bidir" /* REQUIRES_CONNECTED_SOURCE_OR_BIDIR */]: 16 /* RPT_SEVERITY_WARNING */,
-  ["Illegal_connection" /* ILLEGAL_CONNECTION */]: 32 /* RPT_SEVERITY_ERROR */
+  ["Illegal_connection" /* ILLEGAL_CONNECTION */]: 32 /* RPT_SEVERITY_ERROR */,
+  ["connection_count_exceeds_bundle_limit" /* CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT */]: 32 /* RPT_SEVERITY_ERROR */
 };
 
 // src/erc/parameter_propagation/tester.ts
@@ -260,6 +263,11 @@ var PP_ILLEGAL_CONNECTION = (eda_item_ids, detail) => ({
   error_message: `Illegal connection: ${detail}`,
   eda_item_ids
 });
+var CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = (bundle_id) => ({
+  error_code: "connection_count_exceeds_bundle_limit" /* CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT */,
+  error_message: "Connections count exceeds bundle limit.",
+  eda_item_ids: [bundle_id]
+});
 
 // src/erc/parameter_propagation/link_testers/tester_impl.ts
 var import_electronics_model3 = require("@modular-circuit/electronics-model");
@@ -1545,13 +1553,13 @@ var NetlistTester = class {
 
 // src/tester/erc_tester.ts
 var ERC_TESTER = class {
-  constructor(ctx) {
+  constructor(ctx, report) {
     this.ctx = ctx;
+    this.report = report;
   }
   run_test() {
-    const report = { erc_errors: [], markers: [] };
     const tester_context = {
-      report,
+      report: this.report,
       ...this.ctx
     };
     const visitors = [
@@ -1565,7 +1573,6 @@ var ERC_TESTER = class {
       }
     }
     return {
-      ...report,
       connection_graph: this.ctx.connection_graph
     };
   }
@@ -1608,7 +1615,14 @@ var IR_GRAPH_CONVERTER = class {
           });
           const port_map = (0, import_utils.get_circuit_ports)(circuit);
           for (const port of block.ports) {
-            const param = (0, import_utils.deep_copy)(port_map[port.index]);
+            let param = (0, import_utils.deep_copy)(port_map[port.index]);
+            if (!param || typeof param !== "object" || typeof param.type !== "string") {
+              console.warn(`Cannot find port ${port.index} in circuit ${circuit.name}`);
+              param = {
+                type: import_electronics_model8.PortType.Passive,
+                name: "GENERATED_PORT_DUE_DO_INDEX_NOT_FOUND"
+              };
+            }
             const uuid = port.uuid;
             this.add_node(uuid);
             this.connection_node_map[uuid] = {
@@ -1767,6 +1781,7 @@ var ConnectionGraphsBuilder = class {
     this.connection_node_map = connection_node_map;
     this.net_count = 0;
     this.bundle_consumed_port_count = {};
+    this.bundles = {};
     this.connection_graph = {
       subgraphs: []
     };
@@ -1777,11 +1792,12 @@ var ConnectionGraphsBuilder = class {
     sub_graph.is_isolated = cc.length < 2;
     const nodes = cc.map((id) => {
       const node = this.connection_node_map[id];
-      if (node.type === import_electronics_model10.ConnectionNodeType.Port) {
+      if (node?.type === import_electronics_model10.ConnectionNodeType.Port) {
         const port = node.param;
         if (port.type === import_electronics_model10.PortType.DigitalBidirBundle) {
           const consumed_count = id in this.bundle_consumed_port_count ? this.bundle_consumed_port_count[id] : 0;
           this.bundle_consumed_port_count[id] = consumed_count + 1;
+          this.bundles[id] = port;
           const labels = port.labels_associated;
           return {
             ...node,
@@ -1853,6 +1869,12 @@ var ConnectionGraphsBuilder = class {
   get_connection_graph() {
     return this.connection_graph;
   }
+  get_bundle_consumed_port_count() {
+    return {
+      bundle_consumed_port_count: this.bundle_consumed_port_count,
+      bundles: this.bundles
+    };
+  }
 };
 async function build_connection_graph(ctx) {
   const converter = new IR_GRAPH_CONVERTER(await get_dependent_modules_definition(ctx));
@@ -1863,21 +1885,38 @@ async function build_connection_graph(ctx) {
   return {
     ...converter.get_report_context(),
     connection_graph: cc_builder.get_connection_graph(),
-    cg_schematics: converter.get_schematics()
+    cg_schematics: converter.get_schematics(),
+    bundle_consume_status: cc_builder.get_bundle_consumed_port_count()
   };
 }
 
 // src/tester/graph/graph_erc.ts
 async function graph_ecr(ctx) {
+  const erc_report = {
+    markers: [],
+    erc_errors: []
+  };
   const connection_graph = await build_connection_graph(ctx);
-  const tester = new ERC_TESTER({
-    ...ctx,
-    connection_graph: connection_graph.connection_graph
-  });
-  return { ...tester.run_test(), ...connection_graph };
+  for (const [port_id, count] of Object.entries(connection_graph.bundle_consume_status.bundle_consumed_port_count)) {
+    const bundle = connection_graph.bundle_consume_status.bundles[port_id];
+    if (Array.isArray(bundle.labels_associated) && count > bundle.labels_associated.length) {
+      erc_report.erc_errors.push(CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT(port_id));
+    } else {
+      console.warn(`Illegal bundle: ${port_id} , no associated labels`);
+    }
+  }
+  const tester = new ERC_TESTER(
+    {
+      ...ctx,
+      connection_graph: connection_graph.connection_graph
+    },
+    erc_report
+  );
+  return { ...tester.run_test(), ...connection_graph, erc_report };
 }
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
+  CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT,
   ConnectionGraphsBuilder,
   DEFAULT_ERC_SETTING,
   DEFAULT_PIN_MAP,

package/dist/index.mjs

@@ -56,6 +56,7 @@ var PP_ERROR = /* @__PURE__ */ ((PP_ERROR2) => {
   PP_ERROR2["INCOMPATIBLE_DIGITAL_THRESHOLDS"] = "incompatible_digital_thresholds";
   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";
   return PP_ERROR2;
 })(PP_ERROR || {});
 var DEFAULT_PP_ERROR_SEVERITY = {
@@ -89,7 +90,8 @@ var DEFAULT_PP_ERROR_SEVERITY = {
   ["overcurrent" /* OVERCURRENT */]: 16 /* RPT_SEVERITY_WARNING */,
   ["incompatible_digital_thresholds" /* INCOMPATIBLE_DIGITAL_THRESHOLDS */]: 16 /* RPT_SEVERITY_WARNING */,
   ["requires_connected_source_or_bidir" /* REQUIRES_CONNECTED_SOURCE_OR_BIDIR */]: 16 /* RPT_SEVERITY_WARNING */,
-  ["Illegal_connection" /* ILLEGAL_CONNECTION */]: 32 /* RPT_SEVERITY_ERROR */
+  ["Illegal_connection" /* ILLEGAL_CONNECTION */]: 32 /* RPT_SEVERITY_ERROR */,
+  ["connection_count_exceeds_bundle_limit" /* CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT */]: 32 /* RPT_SEVERITY_ERROR */
 };
 
 // src/erc/parameter_propagation/tester.ts
@@ -201,6 +203,11 @@ var PP_ILLEGAL_CONNECTION = (eda_item_ids, detail) => ({
   error_message: `Illegal connection: ${detail}`,
   eda_item_ids
 });
+var CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = (bundle_id) => ({
+  error_code: "connection_count_exceeds_bundle_limit" /* CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT */,
+  error_message: "Connections count exceeds bundle limit.",
+  eda_item_ids: [bundle_id]
+});
 
 // src/erc/parameter_propagation/link_testers/tester_impl.ts
 import {
@@ -1500,13 +1507,13 @@ var NetlistTester = class {
 
 // src/tester/erc_tester.ts
 var ERC_TESTER = class {
-  constructor(ctx) {
+  constructor(ctx, report) {
     this.ctx = ctx;
+    this.report = report;
   }
   run_test() {
-    const report = { erc_errors: [], markers: [] };
     const tester_context = {
-      report,
+      report: this.report,
       ...this.ctx
     };
     const visitors = [
@@ -1520,7 +1527,6 @@ var ERC_TESTER = class {
       }
     }
     return {
-      ...report,
       connection_graph: this.ctx.connection_graph
     };
   }
@@ -1579,7 +1585,14 @@ var IR_GRAPH_CONVERTER = class {
           });
           const port_map = get_circuit_ports(circuit);
           for (const port of block.ports) {
-            const param = deep_copy(port_map[port.index]);
+            let param = deep_copy(port_map[port.index]);
+            if (!param || typeof param !== "object" || typeof param.type !== "string") {
+              console.warn(`Cannot find port ${port.index} in circuit ${circuit.name}`);
+              param = {
+                type: PortType3.Passive,
+                name: "GENERATED_PORT_DUE_DO_INDEX_NOT_FOUND"
+              };
+            }
             const uuid = port.uuid;
             this.add_node(uuid);
             this.connection_node_map[uuid] = {
@@ -1746,6 +1759,7 @@ var ConnectionGraphsBuilder = class {
     this.connection_node_map = connection_node_map;
     this.net_count = 0;
     this.bundle_consumed_port_count = {};
+    this.bundles = {};
     this.connection_graph = {
       subgraphs: []
     };
@@ -1756,11 +1770,12 @@ var ConnectionGraphsBuilder = class {
     sub_graph.is_isolated = cc.length < 2;
     const nodes = cc.map((id) => {
       const node = this.connection_node_map[id];
-      if (node.type === ConnectionNodeType4.Port) {
+      if (node?.type === ConnectionNodeType4.Port) {
         const port = node.param;
         if (port.type === PortType4.DigitalBidirBundle) {
           const consumed_count = id in this.bundle_consumed_port_count ? this.bundle_consumed_port_count[id] : 0;
           this.bundle_consumed_port_count[id] = consumed_count + 1;
+          this.bundles[id] = port;
           const labels = port.labels_associated;
           return {
             ...node,
@@ -1832,6 +1847,12 @@ var ConnectionGraphsBuilder = class {
   get_connection_graph() {
     return this.connection_graph;
   }
+  get_bundle_consumed_port_count() {
+    return {
+      bundle_consumed_port_count: this.bundle_consumed_port_count,
+      bundles: this.bundles
+    };
+  }
 };
 async function build_connection_graph(ctx) {
   const converter = new IR_GRAPH_CONVERTER(await get_dependent_modules_definition(ctx));
@@ -1842,20 +1863,37 @@ async function build_connection_graph(ctx) {
   return {
     ...converter.get_report_context(),
     connection_graph: cc_builder.get_connection_graph(),
-    cg_schematics: converter.get_schematics()
+    cg_schematics: converter.get_schematics(),
+    bundle_consume_status: cc_builder.get_bundle_consumed_port_count()
   };
 }
 
 // src/tester/graph/graph_erc.ts
 async function graph_ecr(ctx) {
+  const erc_report = {
+    markers: [],
+    erc_errors: []
+  };
   const connection_graph = await build_connection_graph(ctx);
-  const tester = new ERC_TESTER({
-    ...ctx,
-    connection_graph: connection_graph.connection_graph
-  });
-  return { ...tester.run_test(), ...connection_graph };
+  for (const [port_id, count] of Object.entries(connection_graph.bundle_consume_status.bundle_consumed_port_count)) {
+    const bundle = connection_graph.bundle_consume_status.bundles[port_id];
+    if (Array.isArray(bundle.labels_associated) && count > bundle.labels_associated.length) {
+      erc_report.erc_errors.push(CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT(port_id));
+    } else {
+      console.warn(`Illegal bundle: ${port_id} , no associated labels`);
+    }
+  }
+  const tester = new ERC_TESTER(
+    {
+      ...ctx,
+      connection_graph: connection_graph.connection_graph
+    },
+    erc_report
+  );
+  return { ...tester.run_test(), ...connection_graph, erc_report };
 }
 export {
+  CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT,
   ConnectionGraphsBuilder,
   DEFAULT_ERC_SETTING,
   DEFAULT_PIN_MAP,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@modular-circuit/perc",
-  "version": "0.1.2",
+  "version": "0.1.3",
   "description": "Programmable Electronic Circuit Check",
   "main": "./dist/index.js",
   "module": "./dist/index.mjs",
@@ -26,8 +26,8 @@
     "typescript": "^5.4.5"
   },
   "dependencies": {
-    "@modular-circuit/ir": "0.1.2",
     "@modular-circuit/electronics-model": "0.1.1",
+    "@modular-circuit/ir": "0.1.2",
     "@modular-circuit/utils": "0.1.2"
   },
   "scripts": {