@cuzfrog/pi-module-gates 0.13.0 → 0.13.2

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.2",
   "description": "pi extension that controls the entropy of the codebase by enforcing code module boundaries.",
   "keywords": [
     "pi-package"
@@ -22,7 +22,7 @@
     "@earendil-works/pi-coding-agent": "*"
   },
   "devDependencies": {
-    "@earendil-works/pi-coding-agent": "0.75.4",
+    "@earendil-works/pi-coding-agent": "0.79.8",
     "@types/node": "22.19.19",
     "typescript": "5.9.3",
     "vitest": "4.1.7"

package/skills/module-freeze-all/SKILL.md

@@ -9,7 +9,7 @@ argument-hint: <user-instructions>
 - Find out module descriptor filename in the context.
 - Find out source root in the context or from configurations.
 - Derive scripts args from user instructions.
-- Call the script to scans the source tree for module descriptors and auto-populates their `frozen` entries with all files in each module directory.
+- Call the script to scans the source tree for module descriptors and auto-populates their `frozen` entries with code files in each module directory.
 
 ## Script Usage
 
@@ -30,6 +30,5 @@ Options:
 3. Adds those files to the `frozen` frontmatter field
 4. Preserves existing `frozen` entries, other fields in the frontmatter, and body prose
 
-
 ## Extra user instructions:
 "$ARGUMENTS"

package/skills/module-freeze-all/scripts/freeze-all.d.mts

@@ -0,0 +1 @@
+export declare const SUPPORTED_EXTENSIONS: Set<string>;

package/skills/module-freeze-all/scripts/freeze-all.mjs

@@ -3,14 +3,26 @@
  * Auto-freeze all files in module descriptors.
  *
  * Scans module descriptor files under a source root and populates each
- * descriptor's `frozen` field with every direct file in the module directory.
- * Files in nested sub-modules (directories with their own descriptor) are
- * excluded from the parent.
+ * descriptor's `frozen` field with every direct code file in the module
+ * directory. Files in nested sub-modules (directories with their own
+ * descriptor) are excluded from the parent.
  */
 import { readFileSync, writeFileSync, readdirSync, existsSync } from "node:fs";
-import { resolve, relative, join, dirname } from "node:path";
+import { resolve, relative, join, dirname, extname } from "node:path";
+import { pathToFileURL } from "node:url";
 import { parseArgs } from "node:util";
 
+const SUPPORTED_EXTENSIONS = new Set([
+  ".ts", ".tsx", ".js", ".jsx",
+  ".rs",
+  ".java",
+  ".go",
+  ".kt", ".kts",
+  ".scala", ".sc",
+]);
+
+export { SUPPORTED_EXTENSIONS };
+
 function main() {
   const { values } = parseArgs({
     options: {
@@ -320,6 +332,7 @@ function listDirectFiles(modDir, descriptorName, allModuleDirs) {
       // Non-module subdirs are skipped too to avoid granularity issues
     } else {
       if (entry.name.toLowerCase() === lowerDesc) continue;
+      if (!SUPPORTED_EXTENSIONS.has(extname(entry.name).toLowerCase())) continue;
       files.push(entry.name);
     }
   }
@@ -351,4 +364,6 @@ function arraysEqual(a, b) {
   return sortedA.every((v, i) => v === sortedB[i]);
 }
 
-main();
+if (import.meta.url === pathToFileURL(resolve(process.argv[1] ?? "")).href) {
+  main();
+}

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);
+}