@cuzfrog/pi-module-gates 0.13.0 → 0.13.1

package/README.md

@@ -25,7 +25,7 @@ The extension intercepts agent `write`/`edit` operations and enforces these cont
    - **Readonly gate** — is the target file locked?
      **Fronzen gate** — is there any surface change to the target file?
    - **Export gate** — would the change introduce an export not in the `visible` list?
-   - **Module interface import gate** — external files can only import from the module not internal files, i.e. re-exports from `index.ts` or `mod.rs`. (Only Typescript/JavaScript and Rust are supported)
+   - **Module interface import gate** — external files can only import from the module not internal files, i.e. re-exports from `index.ts` or `mod.rs`. A child module may import from a parent module's internal files (not recommended but allowed). (Only Typescript/JavaScript and Rust are supported)
    - **Import gate** (not implemented yet) — would the change introduce an import violating visibility scope?
 
 - System prompt: [system-prompt.md](src/context/system-prompt.ts)
@@ -126,7 +126,7 @@ Add a `module-gates` entry to `.pi/settings.json`:
 | `moduleDescriptorFileName` | `MODULE.md` | File name used for module descriptors (case-insensitive) |
 | `moduleDescriptorReadonly` | `true` | When `true`, descriptor files are readonly.|
 | `sourceRoot` | `"src/"` | Directory to scan for descriptor files and enforce gates. Set to `""` to scan from project root. |
-| `disableModuleInterfaceImportGate` | `false` | By default, external files can only import from the module not internal files, i.e. re-exports from `index.ts` or `mod.rs` |
+| `disableModuleInterfaceImportGate` | `false` | When `true`, imports will not be forced to be from module interface. |
 
 When no settings file exists or no `module-gates` key is present, defaults apply.
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cuzfrog/pi-module-gates",
-  "version": "0.13.0",
+  "version": "0.13.1",
   "description": "pi extension that controls the entropy of the codebase by enforcing code module boundaries.",
   "keywords": [
     "pi-package"

package/src/gates/checkers/typescript.ts

@@ -19,7 +19,9 @@ function extractExports(src: string): Signature[] {
     ),
   ].map((m) => ({ name: m[1] }));
 
-  for (const m of src.matchAll(/^export\s*\{\s*([^}]+)\s*\}\s*from/gm)) {
+  for (const m of src.matchAll(
+    /^export\s*(?:type\s+)?\{\s*([^}]+)\s*\}\s*from/gm,
+  )) {
     const inner = m[1];
     for (const entry of inner.split(",")) {
       const trimmed = entry.trim();
@@ -37,5 +39,15 @@ function extractExports(src: string): Signature[] {
     results.push({ name: m[1] });
   }
 
+  for (const m of src.matchAll(/^export\s*\*\s+from/gm)) {
+    results.push({ name: "*" });
+  }
+
+  for (const m of src.matchAll(
+    /^export\s+default\s+(?!function|class|const|let|var|type|interface|enum|abstract|async|declare)([a-zA-Z_]\w*)/gm,
+  )) {
+    results.push({ name: m[1] });
+  }
+
   return results;
 }

package/src/gates/module-interface-import-gate.ts

@@ -63,7 +63,7 @@ function checkViolation(
   if (isInterfaceFile(resolved)) return undefined;
 
   const sourceModule = findOwningModule(path.join(fileDir, "dummy.ts"), index);
-  if (sourceModule && sourceModule === targetModule) return undefined;
+  if (sourceModule && isDescendantOrSelf(sourceModule, targetModule)) return undefined;
 
   const relTarget = path.relative(cwd, resolved);
   const relModule = path.relative(cwd, targetModule);
@@ -146,3 +146,8 @@ function isInterfaceFile(absPath: string): boolean {
 
   return false;
 }
+
+function isDescendantOrSelf(child: string, ancestor: string): boolean {
+  if (child === ancestor) return true;
+  return child.startsWith(ancestor + path.sep);
+}