@intentius/chant 0.60.0 → 0.61.0

package/dist/cli/handlers/lifecycle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../../../src/cli/handlers/lifecycle.ts"],"names":[],"mappings":"AA6CA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAKlD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,GAAG,MAAM,CAE9E;AAmCD;;GAEG;AACH,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAyH/E;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CA4C3E;AAED;;;;;;GAMG;AACH,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CA8B/E;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAmL3E;AAkrBD;;;;;;;;;GASG;AACH,wBAAsB,gBAAgB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAwQ3E;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CA2L/E;AAsBD;;GAEG;AACH,wBAAsB,eAAe,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAiB1E;AAgBD;;;;;;;;GAQG;AACH,wBAAsB,kBAAkB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAmE7E;AAiCD;;GAEG;AACH,wBAAsB,mBAAmB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAM9E;AAkBD;;;;;;GAMG;AACH,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CA+C/E"}
+{"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../../../src/cli/handlers/lifecycle.ts"],"names":[],"mappings":"AA6CA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAKlD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,GAAG,MAAM,CAE9E;AAmCD;;GAEG;AACH,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAyH/E;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CA4C3E;AAED;;;;;;GAMG;AACH,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CA8B/E;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAmL3E;AAmrBD;;;;;;;;;GASG;AACH,wBAAsB,gBAAgB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAwQ3E;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CA2L/E;AAsBD;;GAEG;AACH,wBAAsB,eAAe,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAiB1E;AAgBD;;;;;;;;GAQG;AACH,wBAAsB,kBAAkB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAmE7E;AAiCD;;GAEG;AACH,wBAAsB,mBAAmB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAM9E;AAkBD;;;;;;GAMG;AACH,wBAAsB,oBAAoB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CA+C/E"}

package/dist/codegen/json-schema.d.ts

@@ -16,6 +16,7 @@ export interface JsonSchemaProperty {
     items?: JsonSchemaProperty;
     oneOf?: JsonSchemaProperty[];
     anyOf?: JsonSchemaProperty[];
+    allOf?: JsonSchemaProperty[];
     properties?: Record<string, JsonSchemaProperty>;
     required?: string[];
     enum?: string[];
@@ -56,8 +57,10 @@ export declare function primaryType(type: string | string[] | undefined): string
  * @param resolveDefName - Callback to produce a TypeScript name from a definition.
  *   Receives (defName: string) and should return the TS type name for that definition.
  *   When null, $ref to object definitions resolves to "any".
+ * @param seen - Definition names already on the current resolution path, so a
+ *   list definition that reaches itself terminates instead of recursing forever.
  */
-export declare function resolvePropertyType(prop: JsonSchemaProperty | undefined, schema: JsonSchemaDocument, resolveDefName: ((defName: string) => string) | null): string;
+export declare function resolvePropertyType(prop: JsonSchemaProperty | undefined, schema: JsonSchemaDocument, resolveDefName: ((defName: string) => string) | null, seen?: ReadonlySet<string>): string;
 /**
  * Resolve a $ref pointer to a TypeScript type name.
  *
@@ -66,7 +69,7 @@ export declare function resolvePropertyType(prop: JsonSchemaProperty | undefined
  * @param resolveDefName - Callback to produce a TS name for object definitions.
  *   Receives (defName: string). When null, object defs resolve to "any".
  */
-export declare function resolveRef(ref: string, schema: JsonSchemaDocument, resolveDefName: ((defName: string) => string) | null): string;
+export declare function resolveRef(ref: string, schema: JsonSchemaDocument, resolveDefName: ((defName: string) => string) | null, seen?: ReadonlySet<string>): string;
 /**
  * Extract property constraints from a schema property.
  */

package/dist/codegen/json-schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"json-schema.d.ts","sourceRoot":"","sources":["../../src/codegen/json-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,MAAM,WAAW,kBAAkB;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IACnD,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,kBAAkB,CAAC;IAC3B,KAAK,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC7B,KAAK,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAChD,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC9D,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAID,MAAM,WAAW,mBAAmB;IAClC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAID;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS,GAAG,MAAM,CAOvE;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,kBAAkB,GAAG,SAAS,EACpC,MAAM,EAAE,kBAAkB,EAC1B,cAAc,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,GAAG,IAAI,GACnD,MAAM,CAwCR;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACxB,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,kBAAkB,EAC1B,cAAc,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,GAAG,IAAI,GACnD,MAAM,CA+BR;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,GAAG,mBAAmB,CAYhF;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,mBAAmB,GAAG,OAAO,CAYlE;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,oBAAoB,GAAG,OAAO,CAEnE"}
+{"version":3,"file":"json-schema.d.ts","sourceRoot":"","sources":["../../src/codegen/json-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,MAAM,WAAW,kBAAkB;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IACnD,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,kBAAkB,CAAC;IAC3B,KAAK,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC7B,KAAK,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC7B,KAAK,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAChD,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC9D,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAID,MAAM,WAAW,mBAAmB;IAClC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAOD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS,GAAG,MAAM,CAOvE;AA8DD;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,kBAAkB,GAAG,SAAS,EACpC,MAAM,EAAE,kBAAkB,EAC1B,cAAc,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,GAAG,IAAI,EACpD,IAAI,GAAE,WAAW,CAAC,MAAM,CAAc,GACrC,MAAM,CAmDR;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACxB,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,kBAAkB,EAC1B,cAAc,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,GAAG,IAAI,EACpD,IAAI,GAAE,WAAW,CAAC,MAAM,CAAc,GACrC,MAAM,CAkDR;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,GAAG,mBAAmB,CAYhF;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,mBAAmB,GAAG,OAAO,CAYlE;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,oBAAoB,GAAG,OAAO,CAEnE"}

package/dist/graph-ir.d.ts

@@ -6,7 +6,8 @@ import type { UnobservedEntity } from "./observation.js";
  * resolved infrastructure graph. Painters (mermaid, graphviz, custom SVG) and
  * the agentic diagrammer consume this; it is a pure function of lint-clean
  * source. Every node traces to the file that declared it; every edge is a real
- * cross-resource reference (AttrRef).
+ * cross-resource reference, either an `AttrRef` this module resolves itself or
+ * an {@link EntityReference} the producing lexicon resolved (#2265).
  *
  * Emitted by `chant graph --format ir`. See issue #493 / epic #492.
  */
@@ -78,6 +79,69 @@ export interface IREdge {
     /** The producer-side attribute referenced (e.g. "id"). Added at detail T3. */
     toAttr?: string;
 }
+/**
+ * One reference an entity declares in a vocabulary this module cannot read
+ * (#2265), already resolved to the entity key it points at.
+ *
+ * `collectEdges` below finds references two ways: an {@link AttrRef} object a
+ * typed lexicon puts in its props, and a `Ref`-shaped intrinsic. Both are
+ * objects with a resolvable target, which is what makes them findable by a
+ * walk that knows no lexicon. A lexicon that PARSES someone else's source has
+ * neither: the terraform lexicon's entities keep their block body verbatim
+ * from hcl2json, where a reference to another block is the string
+ * `"${aws_vpc.main.id}"` and nothing else. The walk finds nothing, correctly,
+ * and a 247-node estate graphs with zero edges.
+ *
+ * The reference is not missing, it is just in the producer's vocabulary, and
+ * resolving it needs an HCL expression parser and the lexicon's own key shape.
+ * So the lexicon resolves it and says so here, on the entity, in the one
+ * vocabulary this module does understand: an entity key, plus the two
+ * attribute names {@link IREdge} already carries.
+ *
+ * The hook is a plain duck-typed optional field any entity MAY carry beside
+ * its `props`, read through {@link entityReferences}. That is the same shape
+ * (and the same reasoning) as `suppressions`, ../lint/suppressions.ts: a
+ * reference is a fact ABOUT one entity, `Declarable` already lets each lexicon
+ * carry its own fields beside `props`, and nothing that constructs or merges
+ * an entity map had to change for it. A lexicon that wants edges adopts the
+ * convention on its own entities; every other lexicon keeps the AttrRef walk
+ * it already had, and the two sources of edges merge in one place.
+ *
+ * An entry whose `to` is not a node in this graph is dropped rather than kept
+ * as a dangling endpoint, the same rule {@link buildLiveGraphIr} applies to an
+ * observed edge.
+ */
+export interface EntityReference {
+    /** The referenced entity's key, in the same space as the IR's node ids. */
+    to: string;
+    /** The consumer-side attribute the reference flows through (`IREdge.viaAttr`). */
+    viaAttr?: string;
+    /** The producer-side attribute referenced (`IREdge.toAttr`), when the reference named exactly one. */
+    toAttr?: string;
+}
+/**
+ * The references an entity declared for itself (#2265), or an empty list.
+ * Duck-typed on purpose, see {@link EntityReference}.
+ */
+export declare function entityReferences(entity: Declarable): readonly EntityReference[];
+/**
+ * The deployable unit an entity says it belongs to (#2266), or undefined.
+ *
+ * Same duck-typed channel as {@link entityReferences}, for the other half of
+ * the same problem. `groups.byStack` keys by lexicon partition when nothing
+ * says otherwise, on the reasoning that one lexicon serialises to one
+ * deployable stack. That reasoning is exactly wrong for a lexicon reading an
+ * estate that already has several: a terraform project declaring five
+ * `terraform.roots` has five things `terraform apply` runs against, and each
+ * one is a stack in every sense `byStack` means, so five roots landed in one
+ * bucket named `terraform`.
+ *
+ * The root is not inferable here and should not be: it is the producer's own
+ * name for its own unit. A consumer could recover it from the node id prefix
+ * the terraform lexicon mints, but an id convention is not a promise, and
+ * `byStack` is the field whose whole job is saying which box a node goes in.
+ */
+export declare function entityStack(entity: Declarable): string | undefined;
 /** Grouping metadata for cluster/subgraph rendering. Maps group name -> node ids. */
 export interface IRGroups {
     byLexicon?: Record<string, string[]>;
@@ -87,11 +151,15 @@ export interface IRGroups {
      * boundary boxes) read this rather than inferring stacks — which is the point,
      * so it should never require one.
      *
-     * Two sources, depending on how the project is shaped:
+     * Three sources, depending on how the project is shaped:
      *
      *  - **side-by-side stacks**, declared in config and composed by
      *    `buildDeclaredPerStack` — keys are the declared stack names. Nothing is
      *    inferred; the project stated both the names and the membership.
+     *  - **entities that name their own unit** ({@link entityStack}, #2266) —
+     *    keys are those names, one entry per unit. A terraform root is the case
+     *    this exists for: five `terraform.roots` are five `terraform apply`s and
+     *    five boundary boxes, not one bucket called `terraform`.
      *  - **one source tree** — keys are lexicon partitions, since each lexicon
      *    serialises to one deployable stack.
      *

package/dist/graph-ir.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"graph-ir.d.ts","sourceRoot":"","sources":["../src/graph-ir.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,UAAU,EAAgB,MAAM,cAAc,CAAC;AAI7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEtD;;;;;;;;GAQG;AAEH,iFAAiF;AACjF,MAAM,WAAW,SAAS;IACxB,8EAA8E;IAC9E,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,wEAAwE;AACxE,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;CACd;AAED,iCAAiC;AACjC,MAAM,WAAW,MAAM;IACrB,kEAAkE;IAClE,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;OAGG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,yEAAyE;IACzE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,mCAAmC;IACnC,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,SAAS,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAChC;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,qEAAqE;AACrE,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,yCAAyC;IACzC,IAAI,EAAE,KAAK,CAAC;IACZ,8EAA8E;IAC9E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,8EAA8E;IAC9E,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,qFAAqF;AACrF,MAAM,WAAW,QAAQ;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACrC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACvC;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACnC;;;;iFAI6E;IAC7E,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACvC;;;8EAG0E;IAC1E,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACnC;AAED;qFACqF;AACrF,MAAM,WAAW,QAAQ;IACvB,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,6DAA6D;IAC7D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,qFAAqF;IACrF,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,0EAA0E;IAC1E,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;2DAG2D;AAC3D,MAAM,WAAW,QAAQ;IACvB,mEAAmE;IACnE,IAAI,EAAE,MAAM,CAAC;IACb,0CAA0C;IAC1C,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,uEAAuE;IACvE,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,OAAO,CAAC;IACd,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB;yEACqE;IACrE,KAAK,EAAE,MAAM,CAAC;CACf;AAED;oEACoE;AACpE,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,OAAO,CAAC;CACf;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,UAAU;IACzB,6EAA6E;IAC7E,QAAQ,EAAE,MAAM,CAAC;IACjB;;;;;OAKG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,sFAAsF;IACtF,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,KAAK,EAAE,cAAc,EAAE,CAAC;CACzB;AAED,gFAAgF;AAChF,MAAM,WAAW,OAAO;IACtB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,QAAQ,CAAC;IACjB,sEAAsE;IACtE,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC;IACrB;;gFAE4E;IAC5E,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC;IACrB,gGAAgG;IAChG,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACzC;AAkLD;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EACjC,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAgGT;AAQD;4EAC4E;AAC5E,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC5C;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC9C;;;;;;;;;;;;OAYG;IACH,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACxD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,eAAe,EAAE,GAAG,OAAO,CAyEzE;AAED,+EAA+E;AAC/E,MAAM,WAAW,cAAc;IAC7B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CAC/C;AAED,wFAAwF;AACxF,wBAAgB,iBAAiB,CAAC,YAAY,EAAE,eAAe,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAInG;AAiBD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAgB9F;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAqEpG"}
+{"version":3,"file":"graph-ir.d.ts","sourceRoot":"","sources":["../src/graph-ir.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,UAAU,EAAgB,MAAM,cAAc,CAAC;AAI7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEtD;;;;;;;;;GASG;AAEH,iFAAiF;AACjF,MAAM,WAAW,SAAS;IACxB,8EAA8E;IAC9E,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,wEAAwE;AACxE,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;CACd;AAED,iCAAiC;AACjC,MAAM,WAAW,MAAM;IACrB,kEAAkE;IAClE,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;OAGG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,yEAAyE;IACzE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,mCAAmC;IACnC,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,SAAS,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAChC;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,qEAAqE;AACrE,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,yCAAyC;IACzC,IAAI,EAAE,KAAK,CAAC;IACZ,8EAA8E;IAC9E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,8EAA8E;IAC9E,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,WAAW,eAAe;IAC9B,2EAA2E;IAC3E,EAAE,EAAE,MAAM,CAAC;IACX,kFAAkF;IAClF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,sGAAsG;IACtG,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAWD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,eAAe,EAAE,CAI/E;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAGlE;AAED,qFAAqF;AACrF,MAAM,WAAW,QAAQ;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACrC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACvC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACnC;;;;iFAI6E;IAC7E,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACvC;;;8EAG0E;IAC1E,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACnC;AAED;qFACqF;AACrF,MAAM,WAAW,QAAQ;IACvB,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,6DAA6D;IAC7D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,qFAAqF;IACrF,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,0EAA0E;IAC1E,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;2DAG2D;AAC3D,MAAM,WAAW,QAAQ;IACvB,mEAAmE;IACnE,IAAI,EAAE,MAAM,CAAC;IACb,0CAA0C;IAC1C,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,uEAAuE;IACvE,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,OAAO,CAAC;IACd,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB;yEACqE;IACrE,KAAK,EAAE,MAAM,CAAC;CACf;AAED;oEACoE;AACpE,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,OAAO,CAAC;CACf;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,UAAU;IACzB,6EAA6E;IAC7E,QAAQ,EAAE,MAAM,CAAC;IACjB;;;;;OAKG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,sFAAsF;IACtF,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,KAAK,EAAE,cAAc,EAAE,CAAC;CACzB;AAED,gFAAgF;AAChF,MAAM,WAAW,OAAO;IACtB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,QAAQ,CAAC;IACjB,sEAAsE;IACtE,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC;IACrB;;gFAE4E;IAC5E,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC;IACrB,gGAAgG;IAChG,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACzC;AA2MD;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EACjC,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAqGT;AAQD;4EAC4E;AAC5E,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC5C;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC9C;;;;;;;;;;;;OAYG;IACH,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACxD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,eAAe,EAAE,GAAG,OAAO,CAyEzE;AAED,+EAA+E;AAC/E,MAAM,WAAW,cAAc;IAC7B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CAC/C;AAED,wFAAwF;AACxF,wBAAgB,iBAAiB,CAAC,YAAY,EAAE,eAAe,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAInG;AAiBD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAgB9F;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAqEpG"}

package/dist/lifecycle/assert-live.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assert-live.d.ts","sourceRoot":"","sources":["../../src/lifecycle/assert-live.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAA6D,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClH,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEpD;;;;;GAKG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;gBAC/B,OAAO,EAAE,MAAM;CAI5B;AAED;;;;;;GAMG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;aAE/B,MAAM,EAAE,MAAM;aACd,MAAM,EAAE,gBAAgB;aACxB,MAAM,CAAC,EAAE,MAAM;gBAFf,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,MAAM,YAAA;CAQlC;AAED,MAAM,WAAW,iBAAiB;IAChC,+FAA+F;IAC/F,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,uBAAwB,SAAQ,iBAAiB;IAChE,MAAM,EAAE,kBAAkB,CAAC;IAC3B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,mFAAmF;IACnF,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,mFAAmF;IACnF,MAAM,EAAE,eAAe,CAAC;CACzB;AAQD;;;;;;;;GAQG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,uBAAuB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAwD/F"}
+{"version":3,"file":"assert-live.d.ts","sourceRoot":"","sources":["../../src/lifecycle/assert-live.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAA6D,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClH,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEpD;;;;;GAKG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;gBAC/B,OAAO,EAAE,MAAM;CAI5B;AAED;;;;;;GAMG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;aAE/B,MAAM,EAAE,MAAM;aACd,MAAM,EAAE,gBAAgB;aACxB,MAAM,CAAC,EAAE,MAAM;gBAFf,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,MAAM,YAAA;CAQlC;AAED,MAAM,WAAW,iBAAiB;IAChC,+FAA+F;IAC/F,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,uBAAwB,SAAQ,iBAAiB;IAChE,MAAM,EAAE,kBAAkB,CAAC;IAC3B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,mFAAmF;IACnF,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,mFAAmF;IACnF,MAAM,EAAE,eAAe,CAAC;CACzB;AAQD;;;;;;;;GAQG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,uBAAuB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAyD/F"}

package/dist/lifecycle/observe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"observe.d.ts","sourceRoot":"","sources":["../../src/lifecycle/observe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAI5C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAYnD,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,eAAe,EAAE,CAAC;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;;OAMG;IACH,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAsBD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAsB,gBAAgB,CACpC,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,kBAAkB,EAAE,EAC7B,WAAW,EAAE,WAAW,EACxB,IAAI,CAAC,EAAE;IACL,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzE;;8CAE0C;IAC1C,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;0CAEsC;IACtC,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GACA,OAAO,CAAC,aAAa,CAAC,CA6LxB;AAyBD;;;;;;;;;GASG;AACH,wBAAsB,cAAc,CAClC,MAAM,EAAE,kBAAkB,EAC1B,IAAI,EAAE;IACJ,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC3C,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/D,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB,GACA,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CA2B3C;AAED,iFAAiF;AACjF,MAAM,WAAW,qBAAqB;IACpC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC5C,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAID;;;;;;;;;;;;;GAaG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,kBAAkB,EAC1B,IAAI,EAAE;IACJ,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC,CAAC;IAC9E,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC3C,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAChE,GACA,OAAO,CAAC,qBAAqB,CAAC,CA0ChC"}
+{"version":3,"file":"observe.d.ts","sourceRoot":"","sources":["../../src/lifecycle/observe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAI5C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAYnD,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,eAAe,EAAE,CAAC;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;;OAMG;IACH,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAwBD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAsB,gBAAgB,CACpC,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,kBAAkB,EAAE,EAC7B,WAAW,EAAE,WAAW,EACxB,IAAI,CAAC,EAAE;IACL,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzE;;8CAE0C;IAC1C,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;0CAEsC;IACtC,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GACA,OAAO,CAAC,aAAa,CAAC,CA8LxB;AAyBD;;;;;;;;;GASG;AACH,wBAAsB,cAAc,CAClC,MAAM,EAAE,kBAAkB,EAC1B,IAAI,EAAE;IACJ,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC3C,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/D,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB,GACA,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CA2B3C;AAED,iFAAiF;AACjF,MAAM,WAAW,qBAAqB;IACpC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC5C,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAID;;;;;;;;;;;;;GAaG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,kBAAkB,EAC1B,IAAI,EAAE;IACJ,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC,CAAC;IAC9E,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC3C,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAChE,GACA,OAAO,CAAC,qBAAqB,CAAC,CA0ChC"}

package/dist/observation.d.ts

@@ -93,6 +93,24 @@ export interface ObservationResult {
      * namespace, endpoint or region was read, not the one the resource lives in.
      */
     queried?: Record<string, string>;
+    /**
+     * Which read answered for each declared entity (#2267), keyed by chant
+     * entity name. The value is a short token the lexicon defines and documents;
+     * core carries it and never interprets it, so nothing here switches on one.
+     *
+     * Additive metadata over the tri-state, exactly like {@link queried}, and
+     * present for every verdict including OBSERVED-ABSENT and NOT-OBSERVED,
+     * since which read was attempted is a fact whatever the read came back with.
+     *
+     * A lexicon with one read path has nothing to say here and omits it. This is
+     * for a lexicon with two, where the two answer different questions: a stock
+     * Terraform root is read with `terraform show -json` over its state, which
+     * says what the last apply recorded, and a live root is read with
+     * `choudoufu live-plan -json`, which says what the account holds. A renderer
+     * that paints an overlay as drift must not paint the first one green, and
+     * before this field an observation gave it no way to tell them apart.
+     */
+    sources?: Record<string, string>;
     /**
      * Notices about the read as a whole, not about any one entity (#1265) —
      * "the ownership filter could not be applied on this surface" is the
@@ -123,6 +141,8 @@ export interface NormalizedObservation {
     unobserved: Record<string, UnobservedEntity>;
     /** Resolved query address per entity name (#1620). Empty when the lexicon reported none. */
     queried: Record<string, string>;
+    /** Which read answered, per entity name (#2267). Empty when the lexicon reported none. */
+    sources: Record<string, string>;
     /** Run-level notices (#1265), distinct. Empty when the lexicon reported none. */
     notes: string[];
     /** Per-stack exports (#1279), keyed by stack name. Absent when the lexicon reported none. */
@@ -134,7 +154,7 @@ export declare function isObservationResult(value: unknown): value is Observatio
  * Build an {@link ObservationResult}. Lexicons use this rather than writing the
  * discriminant by hand.
  */
-export declare function observation(resources: Record<string, ResourceMetadata>, unobserved?: Record<string, UnobservedEntity>, queried?: Record<string, string>, notes?: string[], stackExports?: Record<string, Record<string, unknown>>): ObservationResult;
+export declare function observation(resources: Record<string, ResourceMetadata>, unobserved?: Record<string, UnobservedEntity>, queried?: Record<string, string>, notes?: string[], stackExports?: Record<string, Record<string, unknown>>, sources?: Record<string, string>): ObservationResult;
 /**
  * Normalize either accepted return shape. `undefined` (a lexicon that returned
  * nothing at all) normalizes to two empty maps — which reads as "everything was

package/dist/observation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"observation.d.ts","sourceRoot":"","sources":["../src/observation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAElD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,gBAAgB,GACxB,aAAa,GACb,gBAAgB,GAChB,YAAY,GACZ,kBAAkB,GAClB,UAAU,CAAC;AAEf,mFAAmF;AACnF,eAAO,MAAM,kBAAkB,EAAE,SAAS,gBAAgB,EAMzD,CAAC;AAEF,6DAA6D;AAC7D,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAE5E;AAED,kEAAkE;AAClE,MAAM,WAAW,gBAAgB;IAC/B,kGAAkG;IAClG,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,qBAAqB;IACrB,MAAM,EAAE,gBAAgB,CAAC;IACzB,qGAAqG;IACrG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,2GAA2G;IAC3G,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;IAC3B,oDAAoD;IACpD,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC5C,+GAA+G;IAC/G,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC9C;;;;;;;;;;OAUG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC;;;;;;;OAOG;IACH,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACxD;AAED;;;GAGG;AACH,MAAM,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,GAAG,iBAAiB,CAAC;AAE3F,0EAA0E;AAC1E,MAAM,WAAW,qBAAqB;IACpC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC7C,4FAA4F;IAC5F,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,iFAAiF;IACjF,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,6FAA6F;IAC7F,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACxD;AAED,6EAA6E;AAC7E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,iBAAiB,CAM9E;AAED;;;GAGG;AACH,wBAAgB,WAAW,CACzB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,EAC3C,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,EAC7C,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAChC,KAAK,CAAC,EAAE,MAAM,EAAE,EAChB,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACrD,iBAAiB,CASnB;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,uBAAuB,GAAG,SAAS,GAAG,qBAAqB,CAYtG;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,EACvB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,MAAM,EACf,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE;IAAE,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACnE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAYlC;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,qBAAqB,CAyB/F;AAED,2DAA2D;AAC3D,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAarE;AAED,gGAAgG;AAChG,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAI9E;AAqBD,iDAAiD;AACjD,MAAM,WAAW,cAAc;IAC7B,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,iBAAiB,GACzB;IAAE,OAAO,EAAE,gBAAgB,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/C;IAAE,MAAM,EAAE,IAAI,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,UAAU,EAAE;QAAE,MAAM,EAAE,gBAAgB,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpF,sFAAsF;AACtF,MAAM,WAAW,eAAe,CAAC,MAAM;IACrC;;;OAGG;IACH,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACxB;;;;;OAKG;IACH,mBAAmB,CAAC,GAAG,EAAE,OAAO,GAAG;QAAE,MAAM,EAAE,gBAAgB,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IAC7F,mFAAmF;IACnF,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACzE;;;;;OAKG;IACH,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACtF;AAED,0FAA0F;AAC1F,eAAO,MAAM,2BAA2B,KAAK,CAAC;AAE9C;;;;GAIG;AACH,wBAAsB,mBAAmB,CAAC,CAAC,EACzC,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,EAC9B,KAAK,GAAE,MAAoC,GAC1C,OAAO,CAAC,IAAI,CAAC,CAWf;AAED;;;;;;;;;GASG;AACH,wBAAsB,eAAe,CAAC,MAAM,EAC1C,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC,GAC/B,OAAO,CAAC,iBAAiB,CAAC,CAsD5B"}
+{"version":3,"file":"observation.d.ts","sourceRoot":"","sources":["../src/observation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAElD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,gBAAgB,GACxB,aAAa,GACb,gBAAgB,GAChB,YAAY,GACZ,kBAAkB,GAClB,UAAU,CAAC;AAEf,mFAAmF;AACnF,eAAO,MAAM,kBAAkB,EAAE,SAAS,gBAAgB,EAMzD,CAAC;AAEF,6DAA6D;AAC7D,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAE5E;AAED,kEAAkE;AAClE,MAAM,WAAW,gBAAgB;IAC/B,kGAAkG;IAClG,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,qBAAqB;IACrB,MAAM,EAAE,gBAAgB,CAAC;IACzB,qGAAqG;IACrG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,2GAA2G;IAC3G,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;IAC3B,oDAAoD;IACpD,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC5C,+GAA+G;IAC/G,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC9C;;;;;;;;;;OAUG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC;;;;;;;OAOG;IACH,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACxD;AAED;;;GAGG;AACH,MAAM,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,GAAG,iBAAiB,CAAC;AAE3F,0EAA0E;AAC1E,MAAM,WAAW,qBAAqB;IACpC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC7C,4FAA4F;IAC5F,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,0FAA0F;IAC1F,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,iFAAiF;IACjF,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,6FAA6F;IAC7F,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACxD;AAED,6EAA6E;AAC7E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,iBAAiB,CAM9E;AAED;;;GAGG;AACH,wBAAgB,WAAW,CACzB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,EAC3C,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,EAC7C,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAChC,KAAK,CAAC,EAAE,MAAM,EAAE,EAChB,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACtD,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC/B,iBAAiB,CAUnB;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,uBAAuB,GAAG,SAAS,GAAG,qBAAqB,CAatG;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,EACvB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,MAAM,EACf,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE;IAAE,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACnE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAYlC;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,qBAAqB,CA+B/F;AAED,2DAA2D;AAC3D,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAarE;AAED,gGAAgG;AAChG,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAI9E;AAqBD,iDAAiD;AACjD,MAAM,WAAW,cAAc;IAC7B,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,iBAAiB,GACzB;IAAE,OAAO,EAAE,gBAAgB,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/C;IAAE,MAAM,EAAE,IAAI,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,UAAU,EAAE;QAAE,MAAM,EAAE,gBAAgB,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpF,sFAAsF;AACtF,MAAM,WAAW,eAAe,CAAC,MAAM;IACrC;;;OAGG;IACH,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACxB;;;;;OAKG;IACH,mBAAmB,CAAC,GAAG,EAAE,OAAO,GAAG;QAAE,MAAM,EAAE,gBAAgB,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IAC7F,mFAAmF;IACnF,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACzE;;;;;OAKG;IACH,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACtF;AAED,0FAA0F;AAC1F,eAAO,MAAM,2BAA2B,KAAK,CAAC;AAE9C;;;;GAIG;AACH,wBAAsB,mBAAmB,CAAC,CAAC,EACzC,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,EAC9B,KAAK,GAAE,MAAoC,GAC1C,OAAO,CAAC,IAAI,CAAC,CAWf;AAED;;;;;;;;;GASG;AACH,wBAAsB,eAAe,CAAC,MAAM,EAC1C,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC,GAC/B,OAAO,CAAC,iBAAiB,CAAC,CAsD5B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@intentius/chant",
-  "version": "0.60.0",
+  "version": "0.61.0",
   "description": "Declarative infrastructure-as-code toolkit — TypeScript on Node.js",
   "license": "Apache-2.0",
   "homepage": "https://intentius.io/chant",

package/src/cli/handlers/components.ts

@@ -591,7 +591,7 @@ export async function runComponentsStatus(ctx: CommandContext): Promise<number>
             // rather than "stale" (recorded, and nothing live).
             const message = err instanceof Error ? err.message : String(err);
             console.error(formatWarning({ message: `${plugin.name}: describeResources failed — ${message} (components in this lexicon report unknown, not stale)` }));
-            observed = { resources: {}, unobserved: unobservedAll(declared, "read-failed", message, entities), queried: {}, notes: [] };
+            observed = { resources: {}, unobserved: unobservedAll(declared, "read-failed", message, entities), queried: {}, sources: {}, notes: [] };
           }
           const cs = buildChangeSet(environment, {
             declared,

package/src/cli/handlers/lifecycle.ts

@@ -782,6 +782,7 @@ async function observeLexicon(
       resources: {},
       unobserved: unobservedAll(entityNames, "read-failed", message, opts.entities),
       queried: {},
+      sources: {},
       notes: [],
     };
   }

package/src/codegen/json-schema.test.ts

@@ -110,6 +110,91 @@ describe("resolvePropertyType", () => {
     };
     expect(resolvePropertyType({ $ref: "#/definitions/Foo" }, schema, null)).toBe("any");
   });
+
+  // chant #2205 — a branch list beside a real `type` relaxes that type.
+  test("reads the sibling type through a oneOf", () => {
+    const prop: JsonSchemaProperty = {
+      type: "string",
+      oneOf: [{ pattern: "^a" }, { pattern: "^b" }],
+    };
+    expect(resolvePropertyType(prop, emptySchema, defName)).toBe("string");
+  });
+
+  test("reads the sibling $ref through an anyOf", () => {
+    const schema: JsonSchemaDocument = {
+      definitions: { Foo: { properties: { bar: { type: "string" } } } },
+    };
+    const prop: JsonSchemaProperty = {
+      $ref: "#/definitions/Foo",
+      anyOf: [{ required: ["bar"] }],
+    };
+    expect(resolvePropertyType(prop, schema, defName)).toBe("Test_Foo");
+  });
+
+  test("an anyOf branch carrying an enum narrows a string property to that union", () => {
+    // AWS::AmazonMQ::Broker.EngineType: the enum branch beside case-insensitive
+    // patterns for the same two values.
+    const prop: JsonSchemaProperty = {
+      type: "string",
+      anyOf: [
+        { type: "string", enum: ["ACTIVEMQ", "RABBITMQ"] },
+        { pattern: "^[Aa][Cc][Tt][Ii][Vv][Ee][Mm][Qq]$" },
+        { pattern: "^[Rr][Aa][Bb][Bb][Ii][Tt][Mm][Qq]$" },
+      ],
+    };
+    expect(resolvePropertyType(prop, emptySchema, defName)).toBe('"ACTIVEMQ" | "RABBITMQ"');
+  });
+
+  test("a non-string enum branch is left alone", () => {
+    const prop: JsonSchemaProperty = {
+      type: "object",
+      anyOf: [{ enum: ["a", "b"] }],
+    };
+    expect(resolvePropertyType(prop, emptySchema, defName)).toBe("Record<string, any>");
+  });
+
+  test("a branch list with nothing beside it stays 'any'", () => {
+    const prop: JsonSchemaProperty = {
+      oneOf: [
+        { type: "object", properties: { Fixed: { type: "string" } } },
+        { type: "object", properties: { Below: { type: "string" } } },
+      ],
+    };
+    expect(resolvePropertyType(prop, emptySchema, defName)).toBe("any");
+  });
+
+  // chant #2205 — allOf of one $ref and an annotation types as that $ref.
+  test("resolves an allOf of a single $ref plus an annotation", () => {
+    const schema: JsonSchemaDocument = {
+      definitions: { ProtocolType: { type: "string", enum: ["MCP"] } },
+    };
+    const prop: JsonSchemaProperty = {
+      allOf: [{ $ref: "#/definitions/ProtocolType" }, { default: "MCP" }],
+    };
+    expect(resolvePropertyType(prop, schema, defName)).toBe("Test_ProtocolType");
+  });
+
+  test("leaves an allOf that intersects two real shapes as 'any'", () => {
+    const schema: JsonSchemaDocument = {
+      definitions: {
+        A: { properties: { a: { type: "string" } } },
+        B: { properties: { b: { type: "string" } } },
+      },
+    };
+    const prop: JsonSchemaProperty = {
+      allOf: [{ $ref: "#/definitions/A" }, { $ref: "#/definitions/B" }],
+    };
+    expect(resolvePropertyType(prop, schema, defName)).toBe("any");
+  });
+
+  // chant #2205 — `[]` binds tighter than `|`.
+  test("parenthesizes a union inside an array", () => {
+    const prop: JsonSchemaProperty = {
+      type: "array",
+      items: { type: "string", enum: ["arm64", "x86_64"] },
+    };
+    expect(resolvePropertyType(prop, emptySchema, defName)).toBe('("arm64" | "x86_64")[]');
+  });
 });
 
 describe("resolveRef", () => {
@@ -129,6 +214,80 @@ describe("resolveRef", () => {
     };
     expect(resolveRef("#/definitions/Count", schema, defName)).toBe("number");
   });
+
+  // chant #2205 — CloudFormation names its list shapes, and a `$ref` to one
+  // used to fall through to "any".
+  test("resolves an array definition through its items", () => {
+    const schema: JsonSchemaDocument = {
+      definitions: {
+        TagList: { type: "array", items: { $ref: "#/definitions/Tag" } },
+        Tag: { properties: { Key: { type: "string" }, Value: { type: "string" } } },
+      },
+    };
+    expect(resolveRef("#/definitions/TagList", schema, defName)).toBe("Test_Tag[]");
+  });
+
+  test("resolves an array definition of scalars", () => {
+    const schema: JsonSchemaDocument = {
+      definitions: { Names: { type: "array", items: { type: "string" } } },
+    };
+    expect(resolveRef("#/definitions/Names", schema, defName)).toBe("string[]");
+  });
+
+  test("resolves an array definition with no items to 'any[]'", () => {
+    const schema: JsonSchemaDocument = {
+      definitions: { Loose: { type: "array" } },
+    };
+    expect(resolveRef("#/definitions/Loose", schema, defName)).toBe("any[]");
+  });
+
+  test("parenthesizes a union inside an array definition", () => {
+    const schema: JsonSchemaDocument = {
+      definitions: { Modes: { type: "array", items: { type: "string", enum: ["b", "a"] } } },
+    };
+    expect(resolveRef("#/definitions/Modes", schema, defName)).toBe('("a" | "b")[]');
+  });
+
+  test("a list definition that reaches itself terminates", () => {
+    const schema: JsonSchemaDocument = {
+      definitions: { Tree: { type: "array", items: { $ref: "#/definitions/Tree" } } },
+    };
+    expect(resolveRef("#/definitions/Tree", schema, defName)).toBe("any[]");
+  });
+
+  test("a definition that is an allOf of one $ref resolves as that $ref", () => {
+    const schema: JsonSchemaDocument = {
+      definitions: {
+        Wrapped: { allOf: [{ $ref: "#/definitions/Inner" }, { default: "x" }] },
+        Inner: { properties: { a: { type: "string" } } },
+      },
+    };
+    expect(resolveRef("#/definitions/Wrapped", schema, defName)).toBe("Test_Inner");
+  });
+
+  test("a definition that is a sum of object branches stays 'any'", () => {
+    const schema: JsonSchemaDocument = {
+      definitions: {
+        FieldPosition: {
+          oneOf: [
+            { type: "object", properties: { Fixed: { type: "string" } } },
+            { type: "object", properties: { Below: { type: "string" } } },
+          ],
+        },
+      },
+    };
+    expect(resolveRef("#/definitions/FieldPosition", schema, defName)).toBe("any");
+  });
+
+  test("a nested list definition resolves through both hops", () => {
+    const schema: JsonSchemaDocument = {
+      definitions: {
+        Matrix: { type: "array", items: { $ref: "#/definitions/Row" } },
+        Row: { type: "array", items: { type: "number" } },
+      },
+    };
+    expect(resolveRef("#/definitions/Matrix", schema, defName)).toBe("number[][]");
+  });
 });
 
 describe("extractConstraints", () => {

package/src/codegen/json-schema.ts

@@ -20,6 +20,7 @@ export interface JsonSchemaProperty {
   items?: JsonSchemaProperty;
   oneOf?: JsonSchemaProperty[];
   anyOf?: JsonSchemaProperty[];
+  allOf?: JsonSchemaProperty[];
   properties?: Record<string, JsonSchemaProperty>;
   required?: string[];
   enum?: string[];
@@ -54,6 +55,9 @@ export interface PropertyConstraints {
 
 // --- Functions ---
 
+/** Shared empty cycle guard, so the common call allocates nothing. */
+const EMPTY_SEEN: ReadonlySet<string> = new Set<string>();
+
 /**
  * Get the primary type from a type field that can be string or string[].
  * Returns first non-"null" type, or "any" if empty.
@@ -67,6 +71,66 @@ export function primaryType(type: string | string[] | undefined): string {
   return type.length > 0 ? type[0] : "any";
 }
 
+/** The branch list a property carries under `oneOf` or `anyOf`, or undefined. */
+function branchesOf(prop: JsonSchemaProperty): JsonSchemaProperty[] | undefined {
+  if (prop.oneOf && prop.oneOf.length > 0) return prop.oneOf;
+  if (prop.anyOf && prop.anyOf.length > 0) return prop.anyOf;
+  return undefined;
+}
+
+/** A union of string literals, sorted, from a list of enum values. */
+function enumUnion(values: string[]): string {
+  return [...values].sort().map((v) => JSON.stringify(v)).join(" | ");
+}
+
+/**
+ * `T[]`, parenthesized when `T` is a union.
+ *
+ * `[]` binds tighter than `|`, so an unparenthesized `"a" | "b"[]` reads as
+ * `"a" | ("b"[])`: it accepts the bare string `"a"` and rejects `["a"]`.
+ */
+function arrayOf(itemType: string): string {
+  return itemType.includes(" | ") ? `(${itemType})[]` : `${itemType}[]`;
+}
+
+/**
+ * The branch of a `oneOf`/`anyOf` that narrows a string property to an enum.
+ *
+ * CloudFormation writes several string properties as a `type: "string"` beside
+ * a branch list whose first branch is the real enum and whose other branches
+ * are case-insensitive `pattern`s for the same values (`AWS::AmazonMQ::Broker`'s
+ * `EngineType`). The branch list relaxes the enum rather than summing shapes, so
+ * the enum is the useful type. Only strings qualify: anything else is a real sum.
+ */
+function relaxedEnumBranch(
+  prop: JsonSchemaProperty,
+  branches: JsonSchemaProperty[],
+): string[] | undefined {
+  if (prop.type !== undefined && primaryType(prop.type) !== "string") return undefined;
+  for (const b of branches) {
+    if (!b.enum || b.enum.length === 0) continue;
+    if (b.type !== undefined && primaryType(b.type) !== "string") return undefined;
+    if (!b.enum.every((v) => typeof v === "string")) return undefined;
+    return b.enum;
+  }
+  return undefined;
+}
+
+/**
+ * The single content-bearing branch of an `allOf`, when that is the whole shape.
+ *
+ * Every `allOf` in the CloudFormation Registry is one `$ref` beside an
+ * annotation object (`{ "default": "MCP" }`), which types exactly as the `$ref`
+ * alone. An `allOf` that intersects two real shapes has no single answer and is
+ * left to the caller.
+ */
+function soleTypedBranch(branches: JsonSchemaProperty[]): JsonSchemaProperty | undefined {
+  const typed = branches.filter(
+    (b) => b.$ref || b.type || b.properties || b.items || (b.enum && b.enum.length > 0) || branchesOf(b),
+  );
+  return typed.length === 1 ? typed[0] : undefined;
+}
+
 /**
  * Resolve a schema property to its TypeScript type string.
  *
@@ -75,28 +139,43 @@ export function primaryType(type: string | string[] | undefined): string {
  * @param resolveDefName - Callback to produce a TypeScript name from a definition.
  *   Receives (defName: string) and should return the TS type name for that definition.
  *   When null, $ref to object definitions resolves to "any".
+ * @param seen - Definition names already on the current resolution path, so a
+ *   list definition that reaches itself terminates instead of recursing forever.
  */
 export function resolvePropertyType(
   prop: JsonSchemaProperty | undefined,
   schema: JsonSchemaDocument,
   resolveDefName: ((defName: string) => string) | null,
+  seen: ReadonlySet<string> = EMPTY_SEEN,
 ): string {
   if (!prop) return "any";
 
-  // Handle oneOf/anyOf → any
-  if ((prop.oneOf && prop.oneOf.length > 0) || (prop.anyOf && prop.anyOf.length > 0)) {
-    return "any";
+  // `allOf` of one real branch and some annotations types as that branch.
+  if (prop.allOf && prop.allOf.length > 0 && !prop.$ref && !prop.type && !prop.enum) {
+    const sole = soleTypedBranch(prop.allOf);
+    if (sole) return resolvePropertyType(sole, schema, resolveDefName, seen);
+  }
+
+  const branches = branchesOf(prop);
+  if (branches) {
+    // A branch list beside a `type` relaxes that type; the enum branch, when
+    // there is one, is the narrowest reading of it.
+    const relaxed = relaxedEnumBranch(prop, branches);
+    if (relaxed) return enumUnion(relaxed);
+    // With nothing beside it the branch list is a sum of shapes, which this
+    // emitter does not express yet (chant #2278).
+    if (!prop.$ref && !prop.type && !(prop.enum && prop.enum.length > 0)) return "any";
+    // Otherwise fall through and read the sibling keywords.
   }
 
   // Handle $ref
   if (prop.$ref) {
-    return resolveRef(prop.$ref, schema, resolveDefName);
+    return resolveRef(prop.$ref, schema, resolveDefName, seen);
   }
 
   // Inline enum → union of string literals
   if (prop.enum && prop.enum.length > 0) {
-    const sorted = [...prop.enum].sort();
-    return sorted.map((v) => JSON.stringify(v)).join(" | ");
+    return enumUnion(prop.enum);
   }
 
   const pt = primaryType(prop.type);
@@ -111,8 +190,7 @@ export function resolvePropertyType(
       return "boolean";
     case "array":
       if (prop.items) {
-        const itemType = resolvePropertyType(prop.items, schema, resolveDefName);
-        return `${itemType}[]`;
+        return arrayOf(resolvePropertyType(prop.items, schema, resolveDefName, seen));
       }
       return "any[]";
     case "object":
@@ -134,6 +212,7 @@ export function resolveRef(
   ref: string,
   schema: JsonSchemaDocument,
   resolveDefName: ((defName: string) => string) | null,
+  seen: ReadonlySet<string> = EMPTY_SEEN,
 ): string {
   const prefix = "#/definitions/";
   if (!ref.startsWith(prefix)) return "any";
@@ -141,6 +220,8 @@ export function resolveRef(
   const defName = ref.slice(prefix.length);
   const def = schema.definitions?.[defName];
   if (!def) return "any";
+  // A list definition whose items reach it again would recurse without end.
+  if (seen.has(defName)) return "any";
 
   // String enum → named type (via resolveDefName) or string
   if (isEnumDefinition(def)) {
@@ -161,9 +242,26 @@ export function resolveRef(
       case "number": return "number";
       case "boolean": return "boolean";
       case "object": return "Record<string, any>";
+      // CloudFormation names its list shapes: `Tags` is a `$ref` to a `TagList`
+      // definition whose items are the `Tag` definition one hop away. Resolve
+      // through `items` the way the inline `array` case does. (chant #2205)
+      case "array": {
+        if (!def.items) return "any[]";
+        const nested = new Set(seen);
+        nested.add(defName);
+        return arrayOf(resolvePropertyType(def.items, schema, resolveDefName, nested));
+      }
     }
   }
 
+  // An `allOf`/`oneOf`/`anyOf` definition types as its property form would.
+  if (def.allOf || def.oneOf || def.anyOf) {
+    const nested = new Set(seen);
+    nested.add(defName);
+    const viaBranches = resolvePropertyType(def, schema, resolveDefName, nested);
+    if (viaBranches !== "any") return viaBranches;
+  }
+
   return "any";
 }
 

package/src/graph-ir.test.ts

@@ -224,3 +224,66 @@ describe("buildGraphIr", () => {
     expect(JSON.stringify(buildGraphIr(reordered))).toEqual(JSON.stringify(ir));
   });
 });
+
+/**
+ * The two duck-typed channels an entity may carry beside its `props` (#2265,
+ * #2266), for a lexicon whose references are strings in someone else's syntax
+ * rather than `AttrRef` objects. Asserted here with a made-up lexicon rather
+ * than terraform's, because what is being checked is that this module reads
+ * the channels without knowing anything about who filled them.
+ */
+describe("entity-declared references and stacks", () => {
+  test("turns a declared reference into an edge, with both attribute names", () => {
+    const vpc = decl({ lexicon: "hcl", entityType: "Vpc" });
+    const subnet = decl({
+      lexicon: "hcl",
+      entityType: "Subnet",
+      props: { vpc_id: "${aws_vpc.main.id}" },
+      references: [{ to: "vpc", viaAttr: "vpc_id", toAttr: "id" }],
+    });
+    const entities = new Map<string, Declarable>([
+      ["vpc", vpc],
+      ["subnet", subnet],
+    ]);
+    resolveAttrRefs(entities);
+
+    const ir = buildGraphIr(entities);
+    expect(ir.edges).toEqual([{ from: "subnet", to: "vpc", kind: "ref", viaAttr: "vpc_id", toAttr: "id" }]);
+    // The reference channel is metadata about the graph, not declared config,
+    // so it never lands in attrs; the string it was resolved from still does.
+    expect(ir.nodes.find((n) => n.id === "subnet")!.attrs).toEqual({ vpc_id: "${aws_vpc.main.id}" });
+  });
+
+  test("drops a declared reference to a self or to something that is not a node", () => {
+    const a = decl({
+      lexicon: "hcl",
+      entityType: "Vpc",
+      references: [
+        { to: "a", viaAttr: "self" },
+        { to: "nowhere", viaAttr: "gone" },
+      ],
+    });
+    const entities = new Map<string, Declarable>([["a", a]]);
+    resolveAttrRefs(entities);
+    expect(buildGraphIr(entities).edges).toEqual([]);
+  });
+
+  test("keys byStack by the unit an entity names, and leaves byLexicon alone", () => {
+    const app = decl({ lexicon: "hcl", entityType: "Vpc", stack: "app" });
+    const net = decl({ lexicon: "hcl", entityType: "Vpc", stack: "network" });
+    // An entity that names no unit still falls back to the lexicon partition,
+    // which is every other lexicon's behaviour and stays unchanged.
+    const plain = decl({ lexicon: "gcp", entityType: "Vpc" });
+    const entities = new Map<string, Declarable>([
+      ["app/vpc", app],
+      ["network/vpc", net],
+      ["plain", plain],
+    ]);
+    resolveAttrRefs(entities);
+
+    const ir = buildGraphIr(entities);
+    expect(ir.groups.byStack).toEqual({ app: ["app/vpc"], gcp: ["plain"], network: ["network/vpc"] });
+    expect(ir.groups.byLexicon).toEqual({ gcp: ["plain"], hcl: ["app/vpc", "network/vpc"] });
+    expect(ir.nodes.find((n) => n.id === "app/vpc")!.attrs).not.toHaveProperty("stack");
+  });
+});

package/src/graph-ir.ts

@@ -13,7 +13,8 @@ import type { UnobservedEntity } from "./observation";
  * resolved infrastructure graph. Painters (mermaid, graphviz, custom SVG) and
  * the agentic diagrammer consume this; it is a pure function of lint-clean
  * source. Every node traces to the file that declared it; every edge is a real
- * cross-resource reference (AttrRef).
+ * cross-resource reference, either an `AttrRef` this module resolves itself or
+ * an {@link EntityReference} the producing lexicon resolved (#2265).
  *
  * Emitted by `chant graph --format ir`. See issue #493 / epic #492.
  */
@@ -90,6 +91,88 @@ export interface IREdge {
   toAttr?: string;
 }
 
+/**
+ * One reference an entity declares in a vocabulary this module cannot read
+ * (#2265), already resolved to the entity key it points at.
+ *
+ * `collectEdges` below finds references two ways: an {@link AttrRef} object a
+ * typed lexicon puts in its props, and a `Ref`-shaped intrinsic. Both are
+ * objects with a resolvable target, which is what makes them findable by a
+ * walk that knows no lexicon. A lexicon that PARSES someone else's source has
+ * neither: the terraform lexicon's entities keep their block body verbatim
+ * from hcl2json, where a reference to another block is the string
+ * `"${aws_vpc.main.id}"` and nothing else. The walk finds nothing, correctly,
+ * and a 247-node estate graphs with zero edges.
+ *
+ * The reference is not missing, it is just in the producer's vocabulary, and
+ * resolving it needs an HCL expression parser and the lexicon's own key shape.
+ * So the lexicon resolves it and says so here, on the entity, in the one
+ * vocabulary this module does understand: an entity key, plus the two
+ * attribute names {@link IREdge} already carries.
+ *
+ * The hook is a plain duck-typed optional field any entity MAY carry beside
+ * its `props`, read through {@link entityReferences}. That is the same shape
+ * (and the same reasoning) as `suppressions`, ../lint/suppressions.ts: a
+ * reference is a fact ABOUT one entity, `Declarable` already lets each lexicon
+ * carry its own fields beside `props`, and nothing that constructs or merges
+ * an entity map had to change for it. A lexicon that wants edges adopts the
+ * convention on its own entities; every other lexicon keeps the AttrRef walk
+ * it already had, and the two sources of edges merge in one place.
+ *
+ * An entry whose `to` is not a node in this graph is dropped rather than kept
+ * as a dangling endpoint, the same rule {@link buildLiveGraphIr} applies to an
+ * observed edge.
+ */
+export interface EntityReference {
+  /** The referenced entity's key, in the same space as the IR's node ids. */
+  to: string;
+  /** The consumer-side attribute the reference flows through (`IREdge.viaAttr`). */
+  viaAttr?: string;
+  /** The producer-side attribute referenced (`IREdge.toAttr`), when the reference named exactly one. */
+  toAttr?: string;
+}
+
+/** True when `value` has the {@link EntityReference} shape. */
+function isEntityReference(value: unknown): value is EntityReference {
+  return (
+    typeof value === "object" &&
+    value !== null &&
+    typeof (value as { to?: unknown }).to === "string"
+  );
+}
+
+/**
+ * The references an entity declared for itself (#2265), or an empty list.
+ * Duck-typed on purpose, see {@link EntityReference}.
+ */
+export function entityReferences(entity: Declarable): readonly EntityReference[] {
+  const declared = (entity as unknown as { references?: unknown }).references;
+  if (!Array.isArray(declared)) return [];
+  return declared.filter(isEntityReference);
+}
+
+/**
+ * The deployable unit an entity says it belongs to (#2266), or undefined.
+ *
+ * Same duck-typed channel as {@link entityReferences}, for the other half of
+ * the same problem. `groups.byStack` keys by lexicon partition when nothing
+ * says otherwise, on the reasoning that one lexicon serialises to one
+ * deployable stack. That reasoning is exactly wrong for a lexicon reading an
+ * estate that already has several: a terraform project declaring five
+ * `terraform.roots` has five things `terraform apply` runs against, and each
+ * one is a stack in every sense `byStack` means, so five roots landed in one
+ * bucket named `terraform`.
+ *
+ * The root is not inferable here and should not be: it is the producer's own
+ * name for its own unit. A consumer could recover it from the node id prefix
+ * the terraform lexicon mints, but an id convention is not a promise, and
+ * `byStack` is the field whose whole job is saying which box a node goes in.
+ */
+export function entityStack(entity: Declarable): string | undefined {
+  const stack = (entity as unknown as { stack?: unknown }).stack;
+  return typeof stack === "string" && stack.length > 0 ? stack : undefined;
+}
+
 /** Grouping metadata for cluster/subgraph rendering. Maps group name -> node ids. */
 export interface IRGroups {
   byLexicon?: Record<string, string[]>;
@@ -99,11 +182,15 @@ export interface IRGroups {
    * boundary boxes) read this rather than inferring stacks — which is the point,
    * so it should never require one.
    *
-   * Two sources, depending on how the project is shaped:
+   * Three sources, depending on how the project is shaped:
    *
    *  - **side-by-side stacks**, declared in config and composed by
    *    `buildDeclaredPerStack` — keys are the declared stack names. Nothing is
    *    inferred; the project stated both the names and the membership.
+   *  - **entities that name their own unit** ({@link entityStack}, #2266) —
+   *    keys are those names, one entry per unit. A terraform root is the case
+   *    this exists for: five `terraform.roots` are five `terraform apply`s and
+   *    five boundary boxes, not one bucket called `terraform`.
    *  - **one source tree** — keys are lexicon partitions, since each lexicon
    *    serialises to one deployable stack.
    *
@@ -315,7 +402,12 @@ function project(value: unknown, seen: Set<unknown>, reverse: Map<object, string
   return out;
 }
 
-const SKIP_KEYS = new Set(["lexicon", "entityType", "kind", "attributes", "Ref"]);
+// `references` and `stack` are the two duck-typed channels above
+// ({@link entityReferences}, {@link entityStack}). They are metadata about the
+// entity's place in the graph, not declared configuration, and both are read
+// directly, so projecting them into `attrs` would only restate an edge and a
+// group key the IR already carries.
+const SKIP_KEYS = new Set(["lexicon", "entityType", "kind", "attributes", "Ref", "references", "stack"]);
 
 /** The config bag of a node, paired with each key. Lexicon entities keep their
  * declared props in a (usually non-enumerable) `props` object; simpler entities
@@ -349,7 +441,17 @@ function projectConfig(
   return out;
 }
 
-/** Collect ref edges from one node, labelling each with its consumer property. */
+/**
+ * Collect ref edges from one node, labelling each with its consumer property.
+ *
+ * Two sources, merged here. First the references the entity resolved for
+ * itself ({@link EntityReference}), which is how a lexicon that parses HCL,
+ * YAML or any other foreign source says what its strings point at. Then the
+ * walk over the config bag for {@link AttrRef} objects and `Ref` intrinsics,
+ * which is how a typed lexicon's props carry the same fact. A lexicon uses one
+ * or the other; nothing stops it using both, and the dedup in `buildGraphIr`
+ * collapses an edge two sources agree on.
+ */
 function collectEdges(
   entity: Declarable,
   from: string,
@@ -357,6 +459,16 @@ function collectEdges(
   reverse: Map<object, string>,
 ): IREdge[] {
   const edges: IREdge[] = [];
+  for (const ref of entityReferences(entity)) {
+    if (ref.to === from || !nodeIds.has(ref.to)) continue;
+    edges.push({
+      from,
+      to: ref.to,
+      kind: "ref",
+      ...(ref.viaAttr ? { viaAttr: ref.viaAttr } : {}),
+      ...(ref.toAttr ? { toAttr: ref.toAttr } : {}),
+    });
+  }
   const seen = new Set<unknown>();
   const visit = (value: unknown, viaAttr: string): void => {
     if (value === null || typeof value !== "object") return;
@@ -440,9 +552,14 @@ export function buildGraphIr(
     nodes.push(node);
 
     (byLexicon[entity.lexicon] ??= []).push(name);
-    // Within ONE source tree a stack is a lexicon partition — each lexicon
-    // serialises to one deployable stack (a CloudFormation template, a CI
-    // config) — so that is what `byStack` reports here. It stays a distinct axis
+    // An entity that names its own deployable unit is taken at its word
+    // (#2266): a terraform root is one `terraform apply`, and a project
+    // declaring five of them has five stacks whatever the lexicon count says.
+    // See {@link entityStack}.
+    //
+    // Otherwise, within ONE source tree a stack is a lexicon partition — each
+    // lexicon serialises to one deployable stack (a CloudFormation template, a
+    // CI config) — so that is what `byStack` reports. It stays a distinct axis
     // from `byLexicon` (which is for provenance/colouring), emitted separately
     // even where the two coincide.
     //
@@ -455,7 +572,7 @@ export function buildGraphIr(
     // child-project". #513 is closed, that phase was never filed, and directory
     // partitioning is the exception rather than the rule — so the promise is
     // withdrawn rather than left pointing at a closed issue.
-    (byStack[entity.lexicon] ??= []).push(name);
+    (byStack[entityStack(entity) ?? entity.lexicon] ??= []).push(name);
     if (prov?.composite) (byComposite[prov.composite] ??= []).push(name);
   }
 

package/src/lifecycle/assert-live.ts

@@ -121,6 +121,7 @@ export async function assertLiveEntity(opts: AssertLiveEntityOptions): Promise<R
       resources: {},
       unobserved: unobservedAll([name], "read-failed", detail, { [name]: entityType }),
       queried: {},
+      sources: {},
       notes: [],
     };
   }

package/src/lifecycle/observe.ts

@@ -55,6 +55,8 @@ function qualifyObservation(obs: NormalizedObservation, stackName: string): Norm
     resources: q(obs.resources),
     unobserved: q(obs.unobserved),
     queried: q(obs.queried),
+    // Which read answered (#2267) is per entity, so it re-keys with them.
+    sources: q(obs.sources),
     notes: obs.notes,
     // Exports are already keyed by stack (#1279); nothing to qualify.
     ...(obs.stackExports ? { stackExports: obs.stackExports } : {}),
@@ -283,6 +285,7 @@ export async function observeResources(
           resources: {},
           unobserved: unobservedAll(entityNames, "read-failed", message, entities),
           queried: {},
+          sources: {},
           notes: [],
         },
         environment,

package/src/observation.test.ts

@@ -29,7 +29,7 @@ const meta = (over: Partial<ResourceMetadata> = {}): ResourceMetadata => ({
 
 describe("normalizeObservation", () => {
   test("a bare map means 'I looked at everything'", () => {
-    expect(normalizeObservation({ a: meta() })).toEqual({ resources: { a: meta() }, unobserved: {}, queried: {}, notes: [] });
+    expect(normalizeObservation({ a: meta() })).toEqual({ resources: { a: meta() }, unobserved: {}, queried: {}, sources: {}, notes: [] });
   });
 
   test("the envelope carries both halves", () => {
@@ -38,6 +38,7 @@ describe("normalizeObservation", () => {
       resources: { a: meta() },
       unobserved: { b: { reason: "read-failed" } },
       queried: {},
+      sources: {},
       notes: [],
     });
   });
@@ -50,7 +51,7 @@ describe("normalizeObservation", () => {
   });
 
   test("undefined normalizes to empty maps", () => {
-    expect(normalizeObservation(undefined)).toEqual({ resources: {}, unobserved: {}, queried: {}, notes: [] });
+    expect(normalizeObservation(undefined)).toEqual({ resources: {}, unobserved: {}, queried: {}, sources: {}, notes: [] });
   });
 
   test("the envelope carries the queried addresses through normalization (#1620)", () => {
@@ -92,8 +93,8 @@ describe("unobservedAll", () => {
 describe("mergeObservations (multi-stack)", () => {
   test("present beats not-observed beats absent", () => {
     const merged = mergeObservations([
-      { resources: {}, unobserved: { a: { reason: "read-failed" }, b: { reason: "no-binding" } }, queried: {}, notes: [] },
-      { resources: { a: meta() }, unobserved: {}, queried: {}, notes: [] },
+      { resources: {}, unobserved: { a: { reason: "read-failed" }, b: { reason: "no-binding" } }, queried: {}, sources: {}, notes: [] },
+      { resources: { a: meta() }, unobserved: {}, queried: {}, sources: {}, notes: [] },
     ]);
     expect(Object.keys(merged.resources)).toEqual(["a"]);
     expect(Object.keys(merged.unobserved)).toEqual(["b"]);
@@ -102,26 +103,37 @@ describe("mergeObservations (multi-stack)", () => {
   test("the same note from four stacks is one note (#1265)", () => {
     const note = "ownership filter unavailable";
     const merged = mergeObservations(
-      ["a", "b", "c", "d"].map((k) => ({ resources: { [k]: meta() }, unobserved: {}, queried: {}, notes: [note] })),
+      ["a", "b", "c", "d"].map((k) => ({ resources: { [k]: meta() }, unobserved: {}, queried: {}, sources: {}, notes: [note] })),
     );
     expect(merged.notes).toEqual([note]);
   });
 
   test("an entity nobody looked for in any stack stays absent", () => {
     const merged = mergeObservations([
-      { resources: { a: meta() }, unobserved: {}, queried: {}, notes: [] },
-      { resources: { b: meta() }, unobserved: {}, queried: {}, notes: [] },
+      { resources: { a: meta() }, unobserved: {}, queried: {}, sources: {}, notes: [] },
+      { resources: { b: meta() }, unobserved: {}, queried: {}, sources: {}, notes: [] },
     ]);
     expect(merged.unobserved).toEqual({});
   });
 
   test("queried addresses union across stacks (#1620)", () => {
     const merged = mergeObservations([
-      { resources: {}, unobserved: {}, queried: { a: "stack-1/a" }, notes: [] },
-      { resources: { b: meta() }, unobserved: {}, queried: { b: "stack-2/b" }, notes: [] },
+      { resources: {}, unobserved: {}, queried: { a: "stack-1/a" }, sources: {}, notes: [] },
+      { resources: { b: meta() }, unobserved: {}, queried: { b: "stack-2/b" }, sources: {}, notes: [] },
     ]);
     expect(merged.queried).toEqual({ a: "stack-1/a", b: "stack-2/b" });
   });
+
+  test("which read answered unions across parts (#2267)", () => {
+    // Parts read disjoint entity sets (one per stack, or per terraform root),
+    // so the union is the whole answer and there is nothing to reconcile. A
+    // project mixing a stock root and a live one gets both values here.
+    const merged = mergeObservations([
+      { resources: { a: meta() }, unobserved: {}, queried: {}, sources: { a: "state" }, notes: [] },
+      { resources: { b: meta() }, unobserved: {}, queried: {}, sources: { b: "live" }, notes: [] },
+    ]);
+    expect(merged.sources).toEqual({ a: "state", b: "live" });
+  });
 });
 
 describe("reason totality", () => {

package/src/observation.ts

@@ -112,6 +112,24 @@ export interface ObservationResult {
    * namespace, endpoint or region was read, not the one the resource lives in.
    */
   queried?: Record<string, string>;
+  /**
+   * Which read answered for each declared entity (#2267), keyed by chant
+   * entity name. The value is a short token the lexicon defines and documents;
+   * core carries it and never interprets it, so nothing here switches on one.
+   *
+   * Additive metadata over the tri-state, exactly like {@link queried}, and
+   * present for every verdict including OBSERVED-ABSENT and NOT-OBSERVED,
+   * since which read was attempted is a fact whatever the read came back with.
+   *
+   * A lexicon with one read path has nothing to say here and omits it. This is
+   * for a lexicon with two, where the two answer different questions: a stock
+   * Terraform root is read with `terraform show -json` over its state, which
+   * says what the last apply recorded, and a live root is read with
+   * `choudoufu live-plan -json`, which says what the account holds. A renderer
+   * that paints an overlay as drift must not paint the first one green, and
+   * before this field an observation gave it no way to tell them apart.
+   */
+  sources?: Record<string, string>;
   /**
    * Notices about the read as a whole, not about any one entity (#1265) —
    * "the ownership filter could not be applied on this surface" is the
@@ -144,6 +162,8 @@ export interface NormalizedObservation {
   unobserved: Record<string, UnobservedEntity>;
   /** Resolved query address per entity name (#1620). Empty when the lexicon reported none. */
   queried: Record<string, string>;
+  /** Which read answered, per entity name (#2267). Empty when the lexicon reported none. */
+  sources: Record<string, string>;
   /** Run-level notices (#1265), distinct. Empty when the lexicon reported none. */
   notes: string[];
   /** Per-stack exports (#1279), keyed by stack name. Absent when the lexicon reported none. */
@@ -169,12 +189,14 @@ export function observation(
   queried?: Record<string, string>,
   notes?: string[],
   stackExports?: Record<string, Record<string, unknown>>,
+  sources?: Record<string, string>,
 ): ObservationResult {
   return {
     observation: "v1",
     resources,
     ...(unobserved && Object.keys(unobserved).length > 0 ? { unobserved } : {}),
     ...(queried && Object.keys(queried).length > 0 ? { queried } : {}),
+    ...(sources && Object.keys(sources).length > 0 ? { sources } : {}),
     ...(notes && notes.length > 0 ? { notes } : {}),
     ...(stackExports && Object.keys(stackExports).length > 0 ? { stackExports } : {}),
   };
@@ -187,17 +209,18 @@ export function observation(
  * {@link unobservedAll} rather than returning nothing.
  */
 export function normalizeObservation(value: DescribeResourcesResult | undefined): NormalizedObservation {
-  if (!value) return { resources: {}, unobserved: {}, queried: {}, notes: [] };
+  if (!value) return { resources: {}, unobserved: {}, queried: {}, sources: {}, notes: [] };
   if (isObservationResult(value)) {
     return {
       resources: value.resources ?? {},
       unobserved: value.unobserved ?? {},
       queried: value.queried ?? {},
+      sources: value.sources ?? {},
       notes: [...new Set(value.notes ?? [])],
       ...(value.stackExports && Object.keys(value.stackExports).length > 0 ? { stackExports: value.stackExports } : {}),
     };
   }
-  return { resources: value, unobserved: {}, queried: {}, notes: [] };
+  return { resources: value, unobserved: {}, queried: {}, sources: {}, notes: [] };
 }
 
 /**
@@ -237,6 +260,10 @@ export function mergeObservations(parts: Iterable<NormalizedObservation>): Norma
   const resources: Record<string, ResourceMetadata> = {};
   const unobserved: Record<string, UnobservedEntity> = {};
   const queried: Record<string, string> = {};
+  // Which read answered (#2267) merges the same way `queried` does: it is a
+  // fact about one entity's read, and the parts being merged are reads of
+  // disjoint entity sets (one per stack, or per terraform root).
+  const sources: Record<string, string> = {};
   // A note is about the read, not a stack; four stacks saying the same thing
   // is one note (#1265).
   const notes = new Set<string>();
@@ -245,6 +272,7 @@ export function mergeObservations(parts: Iterable<NormalizedObservation>): Norma
     Object.assign(resources, part.resources);
     Object.assign(unobserved, part.unobserved);
     Object.assign(queried, part.queried);
+    Object.assign(sources, part.sources);
     for (const n of part.notes) notes.add(n);
     Object.assign(stackExports, part.stackExports ?? {});
   }
@@ -255,6 +283,7 @@ export function mergeObservations(parts: Iterable<NormalizedObservation>): Norma
     resources,
     unobserved,
     queried,
+    sources,
     notes: [...notes],
     ...(Object.keys(stackExports).length > 0 ? { stackExports } : {}),
   };