vigiles 2.1.1 → 2.2.0

package/dist/symbols.js

@@ -0,0 +1,142 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.langForFile = langForFile;
+exports.definedSymbols = definedSymbols;
+exports.definedSymbolsInFile = definedSymbolsInFile;
+exports.fileDefinesSymbol = fileDefinesSymbol;
+/**
+ * vigiles — cross-language symbol index (ast-grep / tree-sitter).
+ *
+ * The kernel of harness-pinned reference verification. Instruction files
+ * reference project symbols in prose (`parseConfig`, `User`, `create_docx.py`);
+ * authors never write a verifiable `file#symbol` form (corpus: ~0%). So instead
+ * of asking authors to annotate, the *harness* resolves a bare reference against
+ * the live code at write time and pins it. This module is the resolver: extract
+ * the symbols a file defines, and build a project-wide name → locations index.
+ *
+ * Boundary (see research/symbol-verification.md): we answer "does a definition
+ * with this name (in this scope) exist", NOT "does this reference resolve through
+ * imports / Zeitwerk / tsconfig". Resolution is per-language and architectural —
+ * delegated. Ambiguity (a name defined in several files) is reported, not guessed.
+ */
+const node_fs_1 = require("node:fs");
+const node_path_1 = require("node:path");
+const napi_1 = require("@ast-grep/napi");
+const lang_python_1 = __importDefault(require("@ast-grep/lang-python"));
+const lang_rust_1 = __importDefault(require("@ast-grep/lang-rust"));
+const lang_ruby_1 = __importDefault(require("@ast-grep/lang-ruby"));
+let registered = false;
+function ensureRegistered() {
+    if (registered)
+        return;
+    // Non-web grammars ship as separate packages registered at runtime.
+    (0, napi_1.registerDynamicLanguage)({ python: lang_python_1.default, rust: lang_rust_1.default, ruby: lang_ruby_1.default });
+    registered = true;
+}
+const EXT_LANG = {
+    ".ts": napi_1.Lang.TypeScript,
+    ".tsx": napi_1.Lang.Tsx,
+    ".mts": napi_1.Lang.TypeScript,
+    ".cts": napi_1.Lang.TypeScript,
+    ".d.ts": napi_1.Lang.TypeScript,
+    ".js": napi_1.Lang.JavaScript,
+    ".jsx": napi_1.Lang.JavaScript,
+    ".mjs": napi_1.Lang.JavaScript,
+    ".cjs": napi_1.Lang.JavaScript,
+    ".css": napi_1.Lang.Css,
+    ".py": "python",
+    ".pyi": "python",
+    ".rs": "rust",
+    ".rb": "ruby",
+    ".rbi": "ruby",
+};
+/** The ast-grep language for a file, or null if unsupported (graceful skip). */
+function langForFile(file) {
+    if (file.endsWith(".d.ts"))
+        return napi_1.Lang.TypeScript;
+    return EXT_LANG[(0, node_path_1.extname)(file).toLowerCase()] ?? null;
+}
+const ID_KINDS = new Set(["identifier", "constant", "type_identifier"]);
+const SCOPE_KINDS = new Set([
+    "class_declaration",
+    "class_definition",
+    "class",
+    "module",
+    "interface_declaration",
+    "enum_declaration",
+]);
+function recordNode(node, scope, out) {
+    const line = node.range().start.line + 1;
+    const nameNode = node.field("name");
+    if (nameNode) {
+        out.push({ name: nameNode.text(), kind: node.kind(), scope, line });
+    }
+    // Assignment-style constants (Python/Ruby `X = ...`): the identifier is the
+    // `left` field, not `name`.
+    const left = node.field("left");
+    if (left && ID_KINDS.has(left.kind())) {
+        out.push({ name: left.text(), kind: node.kind(), scope, line });
+    }
+}
+/** Extract the symbols defined in a single file's source. */
+function definedSymbols(code, lang) {
+    ensureRegistered();
+    const out = [];
+    const walk = (node, scope) => {
+        recordNode(node, scope, out);
+        const nameNode = node.field("name");
+        const nextScope = SCOPE_KINDS.has(node.kind()) && nameNode ? nameNode.text() : scope;
+        for (const child of node.children())
+            walk(child, nextScope);
+    };
+    walk((0, napi_1.parse)(lang, code).root(), "");
+    return out;
+}
+/** Defined symbols for a file on disk, or [] if unreadable/unsupported. */
+function definedSymbolsInFile(file) {
+    const lang = langForFile(file);
+    if (!lang)
+        return [];
+    try {
+        return definedSymbols((0, node_fs_1.readFileSync)(file, "utf-8"), lang);
+    }
+    catch {
+        return [];
+    }
+}
+// A co-located declaration file that may declare symbols the source defines
+// dynamically (Sorbet `.rbi`, TypeScript `.d.ts`) — checked as a fallback so a
+// metaprogrammed `define_method` / ambient declaration still resolves.
+const DECL_SIBLING = {
+    ".ts": ".d.ts",
+    ".tsx": ".d.ts",
+    ".js": ".d.ts",
+    ".jsx": ".d.ts",
+    ".mjs": ".d.ts",
+    ".rb": ".rbi",
+};
+/**
+ * Whether `file` defines a top-level (or scoped) symbol named `name`. This is
+ * the whole check for a file-qualified reference (`path#symbol`): we parse the
+ * one named file — no project-wide index, no resolution across files. As a
+ * fallback we also consult a co-located declaration file (`.rbi` / `.d.ts`), so
+ * typed dynamic symbols resolve without running Sorbet / the TS compiler.
+ */
+function fileDefinesSymbol(file, name) {
+    if (definedSymbolsInFile(file).some((d) => d.name === name))
+        return true;
+    const ext = (0, node_path_1.extname)(file);
+    const decl = DECL_SIBLING[ext];
+    if (decl && !file.endsWith(decl)) {
+        const sibling = file.slice(0, -ext.length) + decl;
+        if ((0, node_fs_1.existsSync)(sibling) &&
+            definedSymbolsInFile(sibling).some((d) => d.name === name)) {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=symbols.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "vigiles",
-  "version": "2.1.1",
+  "version": "2.2.0",
   "description": "Compile .spec.ts files to instruction files (CLAUDE.md, AGENTS.md) with linter cross-referencing",
   "bin": {
     "vigiles": "dist/cli.js"
@@ -11,7 +11,10 @@
     ".": "./dist/spec.js",
     "./spec": "./dist/spec.js",
     "./compile": "./dist/compile.js",
-    "./linters": "./dist/linters.js"
+    "./linters": "./dist/linters.js",
+    "./eval": "./dist/eval.js",
+    "./harness-test": "./dist/harness-test.js",
+    "./mock-model": "./dist/mock-model.js"
   },
   "files": [
     "dist/**/*.js",
@@ -25,10 +28,11 @@
   ],
   "scripts": {
     "build": "tsc",
-    "test": "npm run build && node --test dist/spec.test.js dist/validate.test.js dist/cli.test.js dist/proofs.test.js dist/inline.test.js dist/sidecar.test.js dist/coverage.test.js dist/session.test.js dist/orphans.test.js dist/cedar.test.js dist/doc-refs.test.js dist/frontmatter.test.js",
+    "test": "npm run build && node --test dist/spec.test.js dist/validate.test.js dist/cli.test.js dist/proofs.test.js dist/inline.test.js dist/sidecar.test.js dist/coverage.test.js dist/session.test.js dist/orphans.test.js dist/cedar.test.js dist/doc-refs.test.js dist/frontmatter.test.js dist/skill-pipeline.test.js dist/skill-runtime.test.js dist/skill-driver.test.js dist/skill-test.test.js dist/compile-generator.test.js dist/community-skills.test.js dist/action-gate.test.js dist/symbols.test.js dist/refs.test.js dist/harness-test.test.js dist/eval.test.js",
     "lint": "eslint src/",
     "fmt": "prettier --write .",
-    "fmt:check": "prettier --check ."
+    "fmt:check": "prettier --check .",
+    "test:e2e": "bash test/e2e/run.sh"
   },
   "devDependencies": {
     "@eslint/js": "^10.0.1",
@@ -45,10 +49,15 @@
     "typescript": "^5.9.3"
   },
   "dependencies": {
+    "@ast-grep/lang-python": "^0.0.6",
+    "@ast-grep/lang-ruby": "^0.0.7",
+    "@ast-grep/lang-rust": "^0.0.7",
+    "@ast-grep/napi": "^0.43.0",
     "@jackchuka/mdschema": "^0.12.8",
     "cosmiconfig": "^9.0.1",
     "glob": "^13.0.6",
     "js-yaml": "^4.1.0",
-    "minimatch": "^10.0.1"
+    "minimatch": "^10.0.1",
+    "typescript": "^5.9.3"
   }
 }