@intentius/chant 0.124.51 → 0.124.54

package/src/workspace/reason-codes.ts

@@ -57,12 +57,20 @@ export const REASONS = {
   "environment-unknown": "--env names an environment the project's chant config does not declare.",
   "snapshot-unavailable": "--snapshot names a snapshot chant can't replay: none is recorded for the environment, or the ref is one replay does not take.",
   "build-failed": "The project's build, or one of its build roots, failed, so the graph search would answer over is incomplete.",
+  "index-unavailable": "--index names an index version chant can't read: none is recorded under the scope key in the store, or its stamp is not the scope or version asked for.",
   "snapshot-at-revision": "workspace search was given --snapshot and --at: a snapshot replays the estate as recorded over the source in the working tree, not at a revision.",
   "member-chant-too-old": "The member's chant predates the document asked for: it has no such command, or prints it without the read contract.",
   // the capabilities catalog (#4375): why a lexicon can't supply a capability.
   "lexicon-has-no-mapping": "The lexicon ships no capability mapping, so no capability rule can read its resources.",
   "capability-not-derivable": "The lexicon's capability mapping labels none of the kinds the capability's rule needs.",
   "lexicon-not-loaded": "The lexicon isn't installed where the chant that wrote the catalog runs, so its mapping wasn't read.",
+  // Why the graph leaves an expanded terraform block as one node (graph, #4489): nodes[].instanceRollup.code.
+  "instances-each-value": "The block's count or for_each reads each.value or each.key, which only a plan can count.",
+  "instances-merge": "The block's count or for_each calls merge(), which the declared graph does not evaluate.",
+  "instances-value-unknown": "The block's count or for_each is a form the graph reads, and the files a plan reads give it no value, or one that keys no instances.",
+  "instances-form-unread": "The block's count or for_each is an expression the graph does not read: another function, a for expression, another conditional, arithmetic, or a resource, data or module attribute.",
+  "instances-over-limit": "The block would have more than 256 instance nodes, so it is drawn alone.",
+  "instances-module-uncounted": "The block is under an expanded module call whose count or for_each the graph cannot count, so none of its instance ids is known.",
   // A ledger status can't fully read.
   "ledger-unreadable": "Reading the ledger failed, so nothing from it is listed.",
   "ledger-malformed": "Some lines of the ledger aren't release records; the rest are listed.",
@@ -390,6 +398,12 @@ export const REASONS = {
   "chant-dependency": "The member's package.json still has a chant dependency, or a script that calls chant.",
   "chant-in-ci": "A CI file of the exited member still calls chant.",
   "declaration-not-other": "The declaration still gives the exited member a kind other than other.",
+  // workspace drift (behold#995): why a member's drift read could not run. records is then empty.
+  "member-required": "workspace drift was given no --member, or more than one: it reads one member.",
+  "no-drift-read": "The member's kind has no drift read, such as other, app or a nested workspace.",
+  "read-unsupported": "--read names a read the member's engine does not answer, such as state on a chant member.",
+  "resource-unsupported": "--resource was given for an engine that cannot read one resource on its own.",
+  "env-required": "A chant member's live drift read needs an environment, and --env was not given.",
 } as const;
 
 export type ReasonCode = keyof typeof REASONS;

package/src/workspace/search-contract.ts

@@ -35,6 +35,8 @@ export const SEARCH_ERROR_CODES = [
   "snapshot-unavailable",
   /** The build, or a build root, failed: the graph would be incomplete. */
   "build-failed",
+  /** --index names no index version the store holds, or one stamped for another scope (#4525). */
+  "index-unavailable",
 ] as const satisfies readonly ReasonCode[];
 export type SearchErrorCode = (typeof SEARCH_ERROR_CODES)[number];
 

package/src/workspace/search.schema.json

@@ -112,7 +112,8 @@
                 "enum": [
                   "declared",
                   "live",
-                  "snapshot"
+                  "snapshot",
+                  "index"
                 ]
               },
               "notEvaluated": {
@@ -253,7 +254,8 @@
                 "usage-invalid",
                 "environment-unknown",
                 "snapshot-unavailable",
-                "build-failed"
+                "build-failed",
+                "index-unavailable"
               ]
             },
             "message": {
@@ -289,7 +291,7 @@
       }
     },
     "source": {
-      "description": "Which observation answered. `declared` is the source graph; `live` reads the account now; `snapshot` replays a recorded lifecycle snapshot. In the workspace form the top-level source names the axis asked for, and each member's source names the snapshot commit it replayed.",
+      "description": "Which observation answered. `declared` is the source graph; `live` reads the account now; `snapshot` replays a recorded lifecycle snapshot; `index` answers from an index version in the store (`--index`, #4525). In the workspace form the top-level source names the axis asked for, and each member's source names the snapshot commit it replayed.",
       "type": "object",
       "required": [
         "kind"
@@ -299,9 +301,42 @@
           "enum": [
             "declared",
             "live",
-            "snapshot"
+            "snapshot",
+            "index"
           ]
         },
+        "index": {
+          "type": "string",
+          "description": "`index` only: the index version answered from, as `<scope key>@<version>`."
+        },
+        "scopeKey": {
+          "type": "string",
+          "description": "`index` only: the index's `stamp.scopeKey`, the store path of its source and scope."
+        },
+        "version": {
+          "type": "string",
+          "description": "`index` only: the version name, `<observedAt>-<digest12>`."
+        },
+        "observedAt": {
+          "type": "string",
+          "description": "`index` only: when the read that wrote the index started, ISO UTC."
+        },
+        "completedAt": {
+          "type": "string",
+          "description": "`index` only: when that read's last call returned, when the index records it."
+        },
+        "digest": {
+          "type": "string",
+          "description": "`index` only: the index document's digest."
+        },
+        "by": {
+          "type": "string",
+          "description": "`index` only: the source that wrote the index, with its version when it has one, such as `behold-lister 0.4.0`."
+        },
+        "project": {
+          "type": "boolean",
+          "description": "`index` only: false when there was no project, so every row is an indexed node; true when the rows are declared and each carries a `join`."
+        },
         "env": {
           "type": "string",
           "description": "The environment, for `live` and `snapshot`."
@@ -389,6 +424,68 @@
             "$ref": "#/$defs/path"
           },
           "description": "One per positive edge term and cap: term the node matched through. Empty when the query has none."
+        },
+        "join": {
+          "$ref": "#/$defs/indexJoin"
+        }
+      }
+    },
+    "indexJoin": {
+      "description": "`--index` with a project (#4525): how the declared row joined to the index version, through its lexicon's index match. `bound` names the indexed node; `absent` means the index listed the type and location and holds no such resource; `not-observed` means the index did not look, with the reason; `no-binding` means the declaration spells no identity to match by; `ambiguous` names every candidate and binds none.",
+      "type": "object",
+      "required": [
+        "verdict"
+      ],
+      "properties": {
+        "verdict": {
+          "enum": [
+            "bound",
+            "absent",
+            "not-observed",
+            "no-binding",
+            "ambiguous"
+          ]
+        },
+        "listedType": {
+          "type": "string",
+          "description": "The inventory type the declaration's identity belongs to."
+        },
+        "identifier": {
+          "type": "string",
+          "description": "The identifier the declaration spells, as the index's nativeId spells it."
+        },
+        "location": {
+          "type": "string",
+          "description": "The location the identity was looked for in."
+        },
+        "node": {
+          "type": "string",
+          "description": "`bound`: the indexed node's id."
+        },
+        "nativeId": {
+          "type": "string",
+          "description": "`bound`: the indexed node's native id."
+        },
+        "reason": {
+          "enum": [
+            "read-failed",
+            "no-credentials",
+            "no-binding",
+            "unsupported-kind",
+            "filtered",
+            "not-reached"
+          ],
+          "description": "`not-observed`: why the index has no verdict for the row."
+        },
+        "candidates": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "description": "`ambiguous`: every indexed node carrying the identity."
+        },
+        "detail": {
+          "type": "string"
         }
       }
     },
@@ -750,7 +847,8 @@
                     "usage-invalid",
                     "environment-unknown",
                     "snapshot-unavailable",
-                    "build-failed"
+                    "build-failed",
+                    "index-unavailable"
                   ],
                   "description": "A member that ran and refused carries its own search refusal code. `member-chant-too-old` is a member whose chant prints no search document of the contract, or, for a query with a capability term, no capability view (#4378)."
                 },