@modular-circuit/perc 0.1.1 → 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[];
     };
 }
 
@@ -445,17 +453,24 @@ declare class ConnectionGraphsBuilder implements CC_Visitor {
     private readonly connection_node_map;
     private net_count;
     private connection_graph;
-    private item_graphs;
+    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_item_graphs(): Record<string, ConnectionSubgraph>;
+    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;
-    item_graphs: Record<string, ConnectionSubgraph>;
     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>;
 }>;
@@ -464,13 +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;
-    item_graphs: Record<string, _modular_circuit_electronics_model.ConnectionSubgraph>;
     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[];
     };
 }
 
@@ -445,17 +453,24 @@ declare class ConnectionGraphsBuilder implements CC_Visitor {
     private readonly connection_node_map;
     private net_count;
     private connection_graph;
-    private item_graphs;
+    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_item_graphs(): Record<string, ConnectionSubgraph>;
+    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;
-    item_graphs: Record<string, ConnectionSubgraph>;
     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>;
 }>;
@@ -464,13 +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;
-    item_graphs: Record<string, _modular_circuit_electronics_model.ConnectionSubgraph>;
     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
     };
   }
@@ -1598,26 +1605,58 @@ var IR_GRAPH_CONVERTER = class {
     for (const [sch_name, design] of Object.entries(designs)) {
       this.schematics[sch_name] = { uuid: design.uuid ?? (0, import_utils.gen_uuid)(), sheets: [], powers: [] };
       for (const block of design.blocks ?? []) {
-        const circuit = this.circuits[(0, import_ir.block_is_associated_with_concrete_module)(block.type) ? block.type : (0, import_utils.fmt_module_name)(block.type)];
-        this.schematics[sch_name].sheets.push({
-          uuid: block.uuid,
-          sheet_name: design.name ?? circuit.name,
-          sheet_file_name: circuit.main,
-          ports: block.ports.map((p) => p.uuid)
-        });
-        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]);
-          const uuid = port.uuid;
-          this.add_node(uuid);
-          this.connection_node_map[uuid] = {
-            uuid,
-            type: import_electronics_model8.ConnectionNodeType.Port,
-            param,
-            label_shapes: (0, import_utils.get_port_labels)(param, circuit)
-          };
-          this.reporter_context.pin_module_name_table[port.uuid] = circuit.name;
-          this.reporter_context.pin_name_table[port.uuid] = port.name;
+        if (!(0, import_ir.block_is_abstract)(block)) {
+          const circuit = this.circuits[(0, import_ir.block_is_associated_with_concrete_module)(block.type) ? block.type : (0, import_utils.fmt_module_name)(block.type)];
+          this.schematics[sch_name].sheets.push({
+            uuid: block.uuid,
+            sheet_name: design.name ?? circuit.name,
+            sheet_file_name: circuit.main,
+            ports: block.ports.map((p) => p.uuid)
+          });
+          const port_map = (0, import_utils.get_circuit_ports)(circuit);
+          for (const port of block.ports) {
+            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] = {
+              uuid,
+              type: import_electronics_model8.ConnectionNodeType.Port,
+              param,
+              label_shapes: (0, import_utils.get_port_labels)(param, circuit)
+            };
+            this.reporter_context.pin_module_name_table[port.uuid] = circuit.name;
+            this.reporter_context.pin_name_table[port.uuid] = port.name;
+          }
+        } else {
+          const sheet_name = design.name ?? block.name;
+          this.schematics[sch_name].sheets.push({
+            uuid: block.uuid,
+            sheet_name,
+            sheet_file_name: `${sheet_name}${import_utils.KICAD_SHC_FILE_EXT}`,
+            ports: block.ports.map((p) => p.uuid)
+          });
+          for (const port of block.ports) {
+            const param = port.port;
+            const uuid = port.uuid;
+            this.add_node(uuid);
+            this.connection_node_map[uuid] = {
+              uuid,
+              type: import_electronics_model8.ConnectionNodeType.Port,
+              param: typeof param === "string" ? {
+                type: import_electronics_model8.PortType.Passive,
+                name: port.port
+              } : param
+            };
+            this.reporter_context.pin_module_name_table[port.uuid] = sheet_name;
+            this.reporter_context.pin_name_table[port.uuid] = typeof port.port === "string" ? port.port : port.port.name;
+          }
         }
       }
       const lb_map = {};
@@ -1715,6 +1754,9 @@ async function get_dependent_modules_definition(ctx) {
   const circuits = {};
   for (const [, v] of Object.entries(ctx.schematics)) {
     for (const block of v.blocks ?? []) {
+      if ((0, import_ir2.block_is_abstract)(block)) {
+        continue;
+      }
       const module_name = (0, import_ir2.block_is_associated_with_concrete_module)(block.type) ? block.type : (0, import_utils2.fmt_module_name)(block.type);
       let def;
       if ((0, import_ir2.block_is_associated_with_concrete_module)(block.type)) {
@@ -1738,7 +1780,8 @@ var ConnectionGraphsBuilder = class {
   constructor(connection_node_map) {
     this.connection_node_map = connection_node_map;
     this.net_count = 0;
-    this.item_graphs = {};
+    this.bundle_consumed_port_count = {};
+    this.bundles = {};
     this.connection_graph = {
       subgraphs: []
     };
@@ -1748,8 +1791,25 @@ var ConnectionGraphsBuilder = class {
     sub_graph.is_global_pwr = false;
     sub_graph.is_isolated = cc.length < 2;
     const nodes = cc.map((id) => {
-      this.item_graphs[id] = sub_graph;
-      return this.connection_node_map[id];
+      const node = this.connection_node_map[id];
+      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,
+            param: {
+              ...node.param,
+              type: import_electronics_model10.PortType.DigitalBidir,
+              label_associated: labels[consumed_count] ?? `${node.param.name}-${consumed_count}`
+            }
+          };
+        }
+      }
+      return node;
     });
     sub_graph.nodes = nodes;
     this.resolve_net_drive(nodes, sub_graph);
@@ -1809,8 +1869,11 @@ var ConnectionGraphsBuilder = class {
   get_connection_graph() {
     return this.connection_graph;
   }
-  get_item_graphs() {
-    return this.item_graphs;
+  get_bundle_consumed_port_count() {
+    return {
+      bundle_consumed_port_count: this.bundle_consumed_port_count,
+      bundles: this.bundles
+    };
   }
 };
 async function build_connection_graph(ctx) {
@@ -1822,22 +1885,38 @@ async function build_connection_graph(ctx) {
   return {
     ...converter.get_report_context(),
     connection_graph: cc_builder.get_connection_graph(),
-    item_graphs: cc_builder.get_item_graphs(),
-    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
     };
   }
@@ -1535,8 +1541,18 @@ import {
 import {
   PowerShape
 } from "@modular-circuit/electronics-model";
-import { block_is_associated_with_concrete_module } from "@modular-circuit/ir";
-import { deep_copy, fmt_module_name, gen_uuid, get_circuit_ports, get_port_labels } from "@modular-circuit/utils";
+import {
+  block_is_abstract,
+  block_is_associated_with_concrete_module
+} from "@modular-circuit/ir";
+import {
+  KICAD_SHC_FILE_EXT,
+  deep_copy,
+  fmt_module_name,
+  gen_uuid,
+  get_circuit_ports,
+  get_port_labels
+} from "@modular-circuit/utils";
 var IR_GRAPH_CONVERTER = class {
   constructor(circuits) {
     this.circuits = circuits;
@@ -1559,26 +1575,58 @@ var IR_GRAPH_CONVERTER = class {
     for (const [sch_name, design] of Object.entries(designs)) {
       this.schematics[sch_name] = { uuid: design.uuid ?? gen_uuid(), sheets: [], powers: [] };
       for (const block of design.blocks ?? []) {
-        const circuit = this.circuits[block_is_associated_with_concrete_module(block.type) ? block.type : fmt_module_name(block.type)];
-        this.schematics[sch_name].sheets.push({
-          uuid: block.uuid,
-          sheet_name: design.name ?? circuit.name,
-          sheet_file_name: circuit.main,
-          ports: block.ports.map((p) => p.uuid)
-        });
-        const port_map = get_circuit_ports(circuit);
-        for (const port of block.ports) {
-          const param = deep_copy(port_map[port.index]);
-          const uuid = port.uuid;
-          this.add_node(uuid);
-          this.connection_node_map[uuid] = {
-            uuid,
-            type: ConnectionNodeType3.Port,
-            param,
-            label_shapes: get_port_labels(param, circuit)
-          };
-          this.reporter_context.pin_module_name_table[port.uuid] = circuit.name;
-          this.reporter_context.pin_name_table[port.uuid] = port.name;
+        if (!block_is_abstract(block)) {
+          const circuit = this.circuits[block_is_associated_with_concrete_module(block.type) ? block.type : fmt_module_name(block.type)];
+          this.schematics[sch_name].sheets.push({
+            uuid: block.uuid,
+            sheet_name: design.name ?? circuit.name,
+            sheet_file_name: circuit.main,
+            ports: block.ports.map((p) => p.uuid)
+          });
+          const port_map = get_circuit_ports(circuit);
+          for (const port of block.ports) {
+            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] = {
+              uuid,
+              type: ConnectionNodeType3.Port,
+              param,
+              label_shapes: get_port_labels(param, circuit)
+            };
+            this.reporter_context.pin_module_name_table[port.uuid] = circuit.name;
+            this.reporter_context.pin_name_table[port.uuid] = port.name;
+          }
+        } else {
+          const sheet_name = design.name ?? block.name;
+          this.schematics[sch_name].sheets.push({
+            uuid: block.uuid,
+            sheet_name,
+            sheet_file_name: `${sheet_name}${KICAD_SHC_FILE_EXT}`,
+            ports: block.ports.map((p) => p.uuid)
+          });
+          for (const port of block.ports) {
+            const param = port.port;
+            const uuid = port.uuid;
+            this.add_node(uuid);
+            this.connection_node_map[uuid] = {
+              uuid,
+              type: ConnectionNodeType3.Port,
+              param: typeof param === "string" ? {
+                type: PortType3.Passive,
+                name: port.port
+              } : param
+            };
+            this.reporter_context.pin_module_name_table[port.uuid] = sheet_name;
+            this.reporter_context.pin_name_table[port.uuid] = typeof port.port === "string" ? port.port : port.port.name;
+          }
         }
       }
       const lb_map = {};
@@ -1669,17 +1717,24 @@ var IR_GRAPH_CONVERTER = class {
 import {
   ConnectionNodeType as ConnectionNodeType4,
   PRIORITY,
+  PortType as PortType4,
   get_connection_node_priority
 } from "@modular-circuit/electronics-model";
 import { test_connected_components } from "@modular-circuit/utils";
 
 // src/utils/get_dependent_modules_definition.ts
-import { block_is_associated_with_concrete_module as block_is_associated_with_concrete_module2 } from "@modular-circuit/ir";
+import {
+  block_is_abstract as block_is_abstract2,
+  block_is_associated_with_concrete_module as block_is_associated_with_concrete_module2
+} from "@modular-circuit/ir";
 import { fmt_module_name as fmt_module_name2 } from "@modular-circuit/utils";
 async function get_dependent_modules_definition(ctx) {
   const circuits = {};
   for (const [, v] of Object.entries(ctx.schematics)) {
     for (const block of v.blocks ?? []) {
+      if (block_is_abstract2(block)) {
+        continue;
+      }
       const module_name = block_is_associated_with_concrete_module2(block.type) ? block.type : fmt_module_name2(block.type);
       let def;
       if (block_is_associated_with_concrete_module2(block.type)) {
@@ -1703,7 +1758,8 @@ var ConnectionGraphsBuilder = class {
   constructor(connection_node_map) {
     this.connection_node_map = connection_node_map;
     this.net_count = 0;
-    this.item_graphs = {};
+    this.bundle_consumed_port_count = {};
+    this.bundles = {};
     this.connection_graph = {
       subgraphs: []
     };
@@ -1713,8 +1769,25 @@ var ConnectionGraphsBuilder = class {
     sub_graph.is_global_pwr = false;
     sub_graph.is_isolated = cc.length < 2;
     const nodes = cc.map((id) => {
-      this.item_graphs[id] = sub_graph;
-      return this.connection_node_map[id];
+      const node = this.connection_node_map[id];
+      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,
+            param: {
+              ...node.param,
+              type: PortType4.DigitalBidir,
+              label_associated: labels[consumed_count] ?? `${node.param.name}-${consumed_count}`
+            }
+          };
+        }
+      }
+      return node;
     });
     sub_graph.nodes = nodes;
     this.resolve_net_drive(nodes, sub_graph);
@@ -1774,8 +1847,11 @@ var ConnectionGraphsBuilder = class {
   get_connection_graph() {
     return this.connection_graph;
   }
-  get_item_graphs() {
-    return this.item_graphs;
+  get_bundle_consumed_port_count() {
+    return {
+      bundle_consumed_port_count: this.bundle_consumed_port_count,
+      bundles: this.bundles
+    };
   }
 };
 async function build_connection_graph(ctx) {
@@ -1787,21 +1863,37 @@ async function build_connection_graph(ctx) {
   return {
     ...converter.get_report_context(),
     connection_graph: cc_builder.get_connection_graph(),
-    item_graphs: cc_builder.get_item_graphs(),
-    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.1",
+  "version": "0.1.3",
   "description": "Programmable Electronic Circuit Check",
   "main": "./dist/index.js",
   "module": "./dist/index.mjs",
@@ -14,8 +14,7 @@
   "exports": {
     ".": {
       "import": "./dist/index.mjs",
-      "require": "./dist/index.js",
-      "types": "./dist/index.d.ts"
+      "require": "./dist/index.js"
     }
   },
   "devDependencies": {
@@ -27,9 +26,9 @@
     "typescript": "^5.4.5"
   },
   "dependencies": {
-    "@modular-circuit/electronics-model": "0.1.0",
-    "@modular-circuit/utils": "0.1.0",
-    "@modular-circuit/ir": "0.1.1"
+    "@modular-circuit/electronics-model": "0.1.1",
+    "@modular-circuit/ir": "0.1.2",
+    "@modular-circuit/utils": "0.1.2"
   },
   "scripts": {
     "clean": "rimraf dist",