@intentius/chant 0.83.0 → 0.84.0

package/src/workspace/read-contract.test.ts

@@ -22,6 +22,8 @@ import { contract, git, REPO, validSchema } from "./__fixtures__/contract-repo";
 import checkSchema from "./check.schema.json";
 import { workspaceGraph } from "./graph-cli";
 import graphSchema from "./graph.schema.json";
+import { intentGraph } from "./intent";
+import intentSchema from "./intent.schema.json";
 import { runChecks } from "./lineage-check";
 import { listWorkspace } from "./ls";
 import lsSchema from "./ls.schema.json";
@@ -35,7 +37,7 @@ import statusSchema from "./status.schema.json";
 const FIXTURE = join(REPO, "reference-workspace");
 const TIMEOUT = 240_000;
 
-const SCHEMAS = { ls: lsSchema, graph: graphSchema, check: checkSchema, status: statusSchema, records: recordsSchema };
+const SCHEMAS = { ls: lsSchema, graph: graphSchema, check: checkSchema, status: statusSchema, records: recordsSchema, intent: intentSchema };
 
 /** This checkout's chant, started the way the CLI starts it, for members with no toolchain of their own. */
 const reader: Toolchain = {
@@ -116,6 +118,19 @@ describe("every schema against the reference workspace (#2543)", () => {
     expect(doc.members.map((m) => m.name)).toEqual(["app", "delivery", "design-client", "design"]);
   });
 
+  test("graph --intent, in the working tree and at HEAD (#2651)", async () => {
+    const { expectValid } = contract(intentSchema);
+    for (const at of [undefined, "HEAD"]) {
+      const { doc, failed } = await intentGraph({ cwd: FIXTURE, region: "app/src/server.mjs:19", at, kinds: ["decisions/decision.kind.mjs"] });
+      expectValid(doc);
+      if ("error" in doc) throw new Error(doc.error.message);
+      expect(failed).toBe(false);
+      expect(doc.workspace).toEqual({ name: "reference", root: "reference-workspace" });
+      expect(doc.at).toBe(at ? head : null);
+      expect(doc.region).toBe("region:app/src/server.mjs:19");
+    }
+  });
+
   test("records, in the working tree and at HEAD", async () => {
     const { expectValid } = contract(recordsSchema);
     for (const at of [undefined, "HEAD"]) {

package/src/workspace/reason-codes.test.ts

@@ -12,6 +12,7 @@ import { REPO } from "./__fixtures__/contract-repo";
 import { MEMBER_RUN_REASON_CODES } from "./compose-graph";
 import { WORKSPACE_ERROR_CODES } from "./declaration";
 import { GRAPH_ERROR_CODES } from "./graph-cli";
+import { INTENT_ERROR_CODES, INTENT_FINDING_CODES, INTENT_REASON_CODES } from "./intent";
 import { CHECK_CODES, CHECK_ERROR_CODES } from "./lineage-check";
 import { GROUP_REASON_CODES, MEMBER_REASON_CODES } from "./ls";
 import { isReasonCode, REASON_CODES, REASONS } from "./reason-codes";
@@ -33,6 +34,9 @@ const PER_COMMAND: Record<string, readonly string[]> = {
   RECORD_REASON_CODES,
   RECORD_WARNING_CODES,
   READ_ERROR_CODES,
+  INTENT_ERROR_CODES,
+  INTENT_FINDING_CODES,
+  INTENT_REASON_CODES,
 };
 
 /** Every string in an `enum` under a property named `code`, anywhere in a schema. */
@@ -94,7 +98,7 @@ describe("the closed list of reason codes", () => {
   });
 
   test("no source file emits a code outside the list", () => {
-    const emitted = /(?:\bcode:\s*|(?:WorkspaceReadError|RecordReadError|StatusError)\(\s*)"([a-z0-9-]+)"/g;
+    const emitted = /(?:\bcode:\s*|(?:WorkspaceReadError|RecordReadError|StatusError|IntentError)\(\s*)"([a-z0-9-]+)"/g;
     let seen = 0;
     for (const file of sourceFiles(HERE)) {
       const text = readFileSync(file, "utf-8");

package/src/workspace/reason-codes.ts

@@ -71,6 +71,24 @@ export const REASONS = {
   "schema-id-mismatch": "The schema's $id differs from the id the record kind names.",
   "schema-invalid": "The record schema itself does not compile.",
   "location-missing": "The records directory does not exist, in the tree or at the revision.",
+  // The intent graph (graph --intent, #2651): a read that fails.
+  "intent-region-invalid": "The region's path, or its line range, does not exist in the tree read.",
+  // The intent graph: part of the walk that can't be read. The document is still printed.
+  "intent-history-shallow": "The repository is a shallow clone, so the region's history stops at the clone's boundary.",
+  "intent-plugin-failed": "A kind file's commitJoins, which joins commits to units, contracts and evidence, failed for a commit.",
+  // The intent graph: findings, each a node in the graph.
+  "intent-commit-undecided": "A commit changed the region when no decision constrained it at path granularity.",
+  "intent-commit-bare": "A commit names no unit, no pull request and no decision covering the region at its time.",
+  "intent-pin-drifted": "A decision's pinned artifact no longer hashes to the pin.",
+  "intent-pin-missing": "A decision's pinned artifact does not exist in the tree read.",
+  "intent-artifact-unpinned": "An artifact decisions in the graph pinned, which no current decision pins.",
+  "intent-decision-superseded-live": "Every decision constraining the region is superseded.",
+  "intent-decision-provisional": "The current decisions constraining the region are all in states their kind does not close, such as decided.",
+  "intent-constraint-coarse": "The region is constrained only through its member, not by path.",
+  "intent-constraint-lost": "A decision's path constraint names a path that does not exist in the tree read.",
+  "intent-evidence-unpinned": "A decision's evidence has no hash: a URL, or a path with no sha256.",
+  "intent-trailer-unverified": "A commit carries a trailer a plugin says claims authorship, and the commit is not attested.",
+  "intent-region-unconstrained": "No decision constrains the region at any granularity.",
   // The lineage lock (check).
   "lock-invalid": "The lineage lock can't be read.",
   "manual-step-open": "A scope in the lineage lock has an open manual step.",

package/src/workspace/records.ts

@@ -187,7 +187,7 @@ export interface LoadedRecordKind {
  * The kind is registered under a name no lexicon package can have (npm names
  * hold no `:`), imported and unregistered again, so no lexicon lookup sees it.
  */
-async function importKindModule(path: string): Promise<Record<string, unknown>> {
+export async function importKindModule(path: string): Promise<Record<string, unknown>> {
   const name = `record-kind:${path}`;
   registerLexiconDeclarations([{ name, module: path }], dirname(path));
   try {