@telorun/analyzer 0.62.0 → 0.63.0

package/dist/analysis-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analysis-registry.d.ts","sourceRoot":"","sources":["../src/analysis-registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAKzE,OAAO,EAAqC,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAKhG,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD;;wDAEwD;AACxD,MAAM,WAAW,YAAY;IAC3B;0CACsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,uDAAuD;IACvD,OAAO,EAAE,OAAO,CAAC;IACjB,sFAAsF;IACtF,IAAI,EAAE,MAAM,EAAE,CAAC;IACf;;;8EAG0E;IAC1E,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;;;GAIG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA4B;IACjD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuB;IAC/C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAoC;IAEpE,kBAAkB,CAAC,GAAG,EAAE,kBAAkB,GAAG,IAAI;IAIjD,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIpE;;+EAE2E;IAC3E,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAI9E,wFAAwF;IACxF,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAIzD,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI7C;;;;;;;;;;uBAUmB;IACnB,qBAAqB,CAAC,SAAS,EAAE,gBAAgB,EAAE,GAAG,IAAI;IAI1D;;;;;;;OAOG;IACH,mBAAmB,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,EAClC,OAAO,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,GACnC,IAAI;IAkBP;;;;;;OAMG;IACH,oBAAoB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,YAAY,EAAE;IAoBhE;;;;;;wBAMoB;IACpB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAQtD;;;;;;mEAM+D;IAC/D,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IAInE;;;oBAGgB;IAChB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IAIpE,OAAO,CAAC,eAAe;IAYvB;;;;sBAIkB;IAClB,OAAO,CAAC,iBAAiB;IAKzB,OAAO,CAAC,mBAAmB;IAU3B;;;;;;+DAM2D;IAC3D,OAAO,CAAC,sBAAsB;IAU9B;;;;;;OAMG;IACH,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,EAAE,eAAe,EACxB,IAAI,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAC;QAAC,kBAAkB,CAAC,EAAE,OAAO,CAAA;KAAE,GACzF,IAAI;IAQP;;;;OAIG;IACH,kBAAkB,IAAI,kBAAkB,EAAE;IAI1C,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAM/D;;;;gCAI4B;IAC5B,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAMlF;;;;;;;;yCAQqC;IACrC,qBAAqB,CAAC,GAAG,EAAE;QACzB,QAAQ,CAAC,EAAE;YAAE,MAAM,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;KAChC,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,kBAAkB,GAAG,SAAS;IASpD;;qFAEiF;IACjF,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE;IAUzC,QAAQ,IAAI,MAAM,EAAE;IAIpB;mEAC+D;IAC/D,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE;IAIxC;;;gCAG4B;IAC5B,oBAAoB,IAAI,MAAM,EAAE;IAIhC;wEACoE;IACpE,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhD;;;;;;;;iDAQ6C;IAC7C,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,SAAS;IAqB9D;;;;;gEAK4D;IAC5D,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS;IAiB7D,qFAAqF;IACrF,QAAQ,IAAI,eAAe;CAG5B"}
+{"version":3,"file":"analysis-registry.d.ts","sourceRoot":"","sources":["../src/analysis-registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAKzE,OAAO,EAAqC,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAKhG,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD;;wDAEwD;AACxD,MAAM,WAAW,YAAY;IAC3B;0CACsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,uDAAuD;IACvD,OAAO,EAAE,OAAO,CAAC;IACjB,sFAAsF;IACtF,IAAI,EAAE,MAAM,EAAE,CAAC;IACf;;;8EAG0E;IAC1E,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;;;GAIG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA4B;IACjD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuB;IAC/C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAoC;IAEpE,kBAAkB,CAAC,GAAG,EAAE,kBAAkB,GAAG,IAAI;IAIjD,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIpE;;+EAE2E;IAC3E,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAI9E,wFAAwF;IACxF,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAIzD,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI7C;;;;;;;;;;uBAUmB;IACnB,qBAAqB,CAAC,SAAS,EAAE,gBAAgB,EAAE,GAAG,IAAI;IAI1D;;;;;;;OAOG;IACH,mBAAmB,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,EAClC,OAAO,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,GACnC,IAAI;IAkBP;;;;;;OAMG;IACH,oBAAoB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,YAAY,EAAE;IAoBhE;;;;;;wBAMoB;IACpB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAQtD;;;;;;mEAM+D;IAC/D,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IAInE;;;oBAGgB;IAChB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IAIpE,OAAO,CAAC,eAAe;IAkBvB;;;;sBAIkB;IAClB,OAAO,CAAC,iBAAiB;IAKzB,OAAO,CAAC,mBAAmB;IAU3B;;;;;;+DAM2D;IAC3D,OAAO,CAAC,sBAAsB;IAU9B;;;;;;OAMG;IACH,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,EAAE,eAAe,EACxB,IAAI,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAC;QAAC,kBAAkB,CAAC,EAAE,OAAO,CAAA;KAAE,GACzF,IAAI;IAQP;;;;OAIG;IACH,kBAAkB,IAAI,kBAAkB,EAAE;IAI1C,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAM/D;;;;gCAI4B;IAC5B,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAMlF;;;;;;;;yCAQqC;IACrC,qBAAqB,CAAC,GAAG,EAAE;QACzB,QAAQ,CAAC,EAAE;YAAE,MAAM,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;KAChC,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,kBAAkB,GAAG,SAAS;IASpD;;qFAEiF;IACjF,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE;IAUzC,QAAQ,IAAI,MAAM,EAAE;IAIpB;mEAC+D;IAC/D,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE;IAIxC;;;gCAG4B;IAC5B,oBAAoB,IAAI,MAAM,EAAE;IAIhC;wEACoE;IACpE,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhD;;;;;;;;iDAQ6C;IAC7C,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,SAAS;IAqB9D;;;;;gEAK4D;IAC5D,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS;IAiB7D,qFAAqF;IACrF,QAAQ,IAAI,eAAe;CAG5B"}

package/dist/analysis-registry.js

@@ -131,6 +131,12 @@ export class AnalysisRegistry {
         const def = this.resolveDefinition(kind);
         if (!def)
             return undefined;
+        // A KIND-level query: there is no instance, so a DECLARATION-derived slot
+        // (`x-telo-schema-projection-from`) has no reference to project from and is
+        // left as the kind declared it. That is the honest answer here — the
+        // projected shape is a property of one instance, not of the kind — and it is
+        // why passing no manifest cannot silently drop a projection: the per-resource
+        // analysis pass is what resolves and reports them.
         return resolveContract(direction, undefined, def, {
             resolveDefinition: this.scopedDefResolver(),
             typeManifestsFor: () => [],

package/dist/analyzer.d.ts

@@ -37,7 +37,7 @@ export declare function resolveLocalRef(schema: Record<string, any> | undefined,
  *  failure with no diagnostic attached to it. */
 export declare function gatherPropertySchemas(schema: Record<string, any>, root?: Record<string, any>): Array<[string, Record<string, any>]>;
 /**
- * Generic, role-driven walk over an `x-telo-step-context` step array. Calls
+ * Generic, role-driven walk over a step array. Calls
  * `visit(step, stepPath)` for every step — top-level and nested through the
  * `x-telo-topology-role` forms (`branch`, `branch-list`, `case-map`). This is
  * the single definition of how steps nest, shared by `buildStepContextSchema`

package/dist/analyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAWzE,OAAO,EACL,aAAa,EAEb,KAAK,YAAY,EAElB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAIL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAE9D,OAAO,EACL,KAAK,aAAa,EAGnB,MAAM,0BAA0B,CAAC;AAsBlC,OAAO,EAAmB,KAAK,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAwBvF,OAAO,EAAsB,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAwF/F;;;;;uDAKuD;AACvD,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,kBAAkB,EACxB,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,YAAY,EACpB,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,GAClC,aAAa,GAAG;IAAE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS,CAAA;CAAE,CAO9F;AA6FD;0CAC0C;AAC1C,eAAO,MAAM,eAAe,GAAI,OAAO;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,KAAG,OACT,CAAC;AAErD;8EAC8E;AAC9E,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGhD;AAuBD;2DAC2D;AAC3D,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,EACvC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GACxB,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAqBjC;AAID;;;;;;;;iDAQiD;AACjD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GACzB,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAsBtC;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,OAAO,EAAE,EAChB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,EAC/C,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,MAAM,KAAK,IAAI,GAC3D,IAAI,CAiDN;AA6gBD,8DAA8D;AAC9D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CACtC;AA6DD,MAAM,WAAW,qBAAqB;IACpC,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAkFD,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAc;gBAEzB,OAAO,GAAE,qBAA0B;IAI/C;;;;;;;;;;;;;;OAcG;IACH,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,EAC3B,eAAe,CAAC,EAAE,eAAe,GAChC,kBAAkB,EAAE;IA2+CvB,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,EAC3B,eAAe,CAAC,EAAE,eAAe,GAChC,kBAAkB,EAAE;IAMvB,SAAS,CACP,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,EAI1B,kBAAkB,CAAC,EAAE,gBAAgB,EAAE,GACtC,gBAAgB,EAAE;IAyBrB,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,GACzB;QAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE;CAsB5F"}
+{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAWzE,OAAO,EACL,aAAa,EAEb,KAAK,YAAY,EAElB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAIL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAE9D,OAAO,EACL,KAAK,aAAa,EAGnB,MAAM,0BAA0B,CAAC;AAsBlC,OAAO,EAAmB,KAAK,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAuDvF,OAAO,EAAsB,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAyF/F;;;;;uDAKuD;AACvD,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,kBAAkB,EACxB,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,YAAY,EACpB,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,GAClC,aAAa,GAAG;IAAE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS,CAAA;CAAE,CAO9F;AA6FD;0CAC0C;AAC1C,eAAO,MAAM,eAAe,GAAI,OAAO;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,KAAG,OACT,CAAC;AAErD;8EAC8E;AAC9E,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGhD;AAuBD;2DAC2D;AAC3D,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,EACvC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GACxB,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAqBjC;AAID;;;;;;;;iDAQiD;AACjD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GACzB,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAsBtC;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,OAAO,EAAE,EAChB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,EAC/C,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC/B,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,MAAM,KAAK,IAAI,GAC3D,IAAI,CAiDN;AA4gBD,8DAA8D;AAC9D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CACtC;AA6DD,MAAM,WAAW,qBAAqB;IACpC,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAkFD,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAc;gBAEzB,OAAO,GAAE,qBAA0B;IAI/C;;;;;;;;;;;;;;OAcG;IACH,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,EAC3B,eAAe,CAAC,EAAE,eAAe,GAChC,kBAAkB,EAAE;IAy0DvB,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,EAC3B,eAAe,CAAC,EAAE,eAAe,GAChC,kBAAkB,EAAE;IAMvB,SAAS,CACP,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,EAI1B,kBAAkB,CAAC,EAAE,gBAAgB,EAAE,GACtC,gBAAgB,EAAE;IAyBrB,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,GACzB;QAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE;CAsB5F"}

package/dist/analyzer.js

@@ -17,8 +17,16 @@ import { REF_VALIDATION_SKIP_KINDS } from "./system-kinds.js";
 import { resolveRefSentinels } from "./resolve-ref-sentinels.js";
 import { resolveSchemaRefKinds } from "./resolve-schema-ref-kinds.js";
 import { runZoneAnalysis } from "./resolve-zone-requirements.js";
+import { validateDurableRegions } from "./validate-durable-regions.js";
+import { validateZoneViolations } from "./validate-zone-violations.js";
 import { MANIFEST_SCHEMA_URI, ManifestRootSchema } from "./manifest-schemas.js";
 import { validateZoneSlotDeclarations } from "./validate-zone-slots.js";
+import { validateSchemaProjection, } from "./validate-schema-projection.js";
+import { evaluateResourceRules, reportResourceRules, reportUnexercisedRule, ruleExercised, validateResourceRuleDeclarations, } from "./validate-resource-rules.js";
+import { readResourceRules } from "./resource-rule.js";
+import { readReferrerRules } from "./referrer-rule.js";
+import { evaluateReferrerRules, referrerRuleExercised, reportReferrerRules, reportUnexercisedReferrerRule, validateReferrerRuleDeclarations, } from "./validate-referrer-rules.js";
+import { describeProjectionFailure, } from "./schema-projection.js";
 import { validateDynamicSelectors, validateRefSlotDeclarations, } from "./validate-ref-slots.js";
 import { validateValueTypeSlots, } from "./validate-value-type-slots.js";
 import { resolveSchemaTypeRefs } from "./resolve-schema-type-refs.js";
@@ -47,6 +55,7 @@ import { validateReferences } from "./validate-references.js";
 import { validateReferenceForms } from "./validate-reference-forms.js";
 import { validateUnusedDeclarations } from "./validate-unused-declarations.js";
 import { validateThrowsCoverage } from "./validate-throws-coverage.js";
+import { readStepSlot } from "./step-slot.js";
 const SELF_PREFIX = "Self.";
 /**
  * `StaticAnalyzer.analyze()` requires `metadata.source` (non-empty) and
@@ -256,7 +265,7 @@ export function gatherPropertySchemas(schema, root) {
     return out;
 }
 /**
- * Generic, role-driven walk over an `x-telo-step-context` step array. Calls
+ * Generic, role-driven walk over a step array. Calls
  * `visit(step, stepPath)` for every step — top-level and nested through the
  * `x-telo-topology-role` forms (`branch`, `branch-list`, `case-map`). This is
  * the single definition of how steps nest, shared by `buildStepContextSchema`
@@ -309,7 +318,7 @@ export function walkStepArray(steps, stepItemSchema, rootSchema, basePath, visit
     });
 }
 /**
- * Build a `steps` context schema from `x-telo-step-context` annotation.
+ * Build a `steps` context schema for a kind's step body.
  * Walks each step in the manifest array, resolves the invoked resource's output
  * contract, and builds `steps.<name>.result` context entries.
  *
@@ -330,7 +339,7 @@ export function walkStepArray(steps, stepItemSchema, rootSchema, basePath, visit
  *                    sub-properties (e.g. elseif: [{ if, then }]).
  *   - `case-map`   — value is an object whose values are step arrays (e.g. cases).
  * No specific Run.Sequence field name is hardcoded; any kind that uses
- * `x-telo-step-context` and tags its branch fields with these roles works.
+ * a step body and tags its branch fields with these roles works.
  */
 function buildStepContextSchema(manifest, defSchema, allManifests, defs, aliases, scopes) {
     const props = defSchema.properties;
@@ -339,7 +348,7 @@ function buildStepContextSchema(manifest, defSchema, allManifests, defs, aliases
     const contractScope = analyzerContractScope(defs, aliases, scopes, allManifests);
     const readingModule = manifest.metadata?.module;
     for (const [fieldName, fieldSchema] of Object.entries(props)) {
-        const stepCtx = fieldSchema["x-telo-step-context"];
+        const stepCtx = readStepSlot(fieldSchema);
         if (!stepCtx)
             continue;
         const invokeField = stepCtx.invoke;
@@ -488,7 +497,7 @@ const NO_ENTRY_POINT_CAPABILITIES = new Set([
     "Telo.Sink",
 ]);
 /**
- * Validate `x-telo-step-context` step `invoke` references (e.g. `Run.Sequence`
+ * Validate step `invoke` references (e.g. `Run.Sequence`
  * steps).
  *
  * The reference field map deliberately does NOT descend into step `invoke`
@@ -507,7 +516,7 @@ const NO_ENTRY_POINT_CAPABILITIES = new Set([
  *     contract has no entry point → `REFERENCE_KIND_MISMATCH` (runtime
  *     `ERR_RESOURCE_NOT_INVOKABLE`).
  *
- * Generic and topology-driven — it walks steps via the same `x-telo-step-context`
+ * Generic and topology-driven — it walks steps via the same step-slot
  * / `x-telo-topology-role` annotations `buildStepContextSchema` uses (through the
  * shared `walkStepArray`), so nested branches (then/else/do/catch/cases) are
  * covered and no `Run.Sequence` field name is hardcoded. The cross-module
@@ -626,8 +635,7 @@ function validateStepInvokeReferences(allManifests, defs, aliases) {
         const resource = { kind: m.kind, name: meta.name };
         const filePath = typeof meta.source === "string" ? meta.source : undefined;
         for (const [fieldName, fieldSchema] of Object.entries(defSchema.properties)) {
-            const stepCtx = fieldSchema["x-telo-step-context"];
-            const invokeField = stepCtx?.invoke;
+            const invokeField = readStepSlot(fieldSchema)?.invoke;
             if (!invokeField)
                 continue;
             const steps = m[fieldName];
@@ -1032,13 +1040,18 @@ export class StaticAnalyzer {
                     }
                     seen.add(alias);
                 }
-                if (alias && source) {
-                    const targetModule = resolvedModuleName ?? source.split("/").filter(Boolean).pop() ?? source;
+                // An import whose target identity was never established registers NO
+                // alias. The name is never guessed from the source string: a guess that
+                // is usually right is what turned "this import did not resolve" into an
+                // assertion that a published dependency was malformed, naming a module
+                // no registry could ever hold. With no alias, every use degrades to
+                // "cannot resolve alias '<X>'" — which points at the import the author
+                // has to fix, and which the loader has already reported on its own line.
+                if (alias && source && resolvedModuleName) {
+                    const targetModule = resolvedModuleName;
                     // Module identity is registered globally so x-telo-ref resolution sees
                     // transitively-imported modules regardless of which scope brought them in.
-                    if (resolvedModuleName) {
-                        defs.registerModuleIdentity(resolvedNamespace ?? null, resolvedModuleName);
-                    }
+                    defs.registerModuleIdentity(resolvedNamespace ?? null, resolvedModuleName);
                     // `metadata.reExportedKinds` (stamped by flattenForAnalyzer / the editor projection)
                     // maps an exported suffix to the true owning module's canonical kind for kinds this
                     // import transitively re-exports (`exports.kinds: [Alias.Kind]`).
@@ -1092,6 +1105,55 @@ export class StaticAnalyzer {
         const refConstraintIssues = [];
         const refSlotIssues = [];
         const zoneSlotIssues = [];
+        // One place a rule report becomes a diagnostic. The pass decided WHAT and
+        // WHERE; this only carries it across to the diagnostic shape.
+        const SEVERITY = {
+            error: DiagnosticSeverity.Error,
+            warning: DiagnosticSeverity.Warning,
+            information: DiagnosticSeverity.Information,
+        };
+        const resourceRuleDiagnostic = (report) => ({
+            severity: SEVERITY[report.severity],
+            code: report.code,
+            source: SOURCE,
+            message: report.message,
+            data: {
+                resource: {
+                    kind: report.manifest.kind,
+                    name: report.manifest.metadata?.name,
+                },
+                filePath: report.manifest.metadata?.source,
+                path: report.path,
+                rule: report.rule,
+            },
+        });
+        const referrerRuleDiagnostic = (report) => ({
+            severity: SEVERITY[report.severity],
+            code: report.code,
+            source: SOURCE,
+            message: report.message,
+            data: {
+                resource: {
+                    kind: report.manifest.kind,
+                    name: report.manifest.metadata?.name,
+                },
+                filePath: report.manifest.metadata?.source,
+                path: report.path,
+                rule: report.rule,
+            },
+        });
+        const projectionIssues = [];
+        const resourceRuleIssues = [];
+        const referrerRuleIssues = [];
+        // A rule that never had anything to iterate is never proven — the second way
+        // coverage varies invisibly, beside the dynamic-leaf skip. Tracked across the
+        // whole run and reported once, since "empty on every resource" is not a fact
+        // any single resource can establish.
+        const ruleExercise = new Map();
+        // Same for a referrer rule, where "never exercised" means nothing the
+        // `referrer:` filter matches ever referenced a resource of the kind — which
+        // is exactly what a typo in that filter looks like from the outside.
+        const referrerRuleExercise = new Map();
         // `x-telo-type` is checked on EVERY manifest, not only on definition docs: a
         // schema fragment is written wherever a kind declares a schema-valued field,
         // so an inline `inputType:` on an ordinary resource carries one just as a
@@ -1124,6 +1186,28 @@ export class StaticAnalyzer {
                 refConstraintIssues.push(...issues);
                 refSlotIssues.push(...validateRefSlotDeclarations(m));
                 zoneSlotIssues.push(...validateZoneSlotDeclarations(m));
+                projectionIssues.push(...validateSchemaProjection(m));
+                // Checked against the MERGED schema, so an `in:` pointer naming an
+                // inherited field resolves — which is what lets a rule shared by every
+                // backend be declared once on the abstract they extend.
+                resourceRuleIssues.push(...validateResourceRuleDeclarations(m, effectiveAuthorSchema(m, (k) => defs.resolve(aliases.resolveKind(k) ?? k) ?? defs.resolve(k))));
+                referrerRuleIssues.push(...validateReferrerRuleDeclarations(m));
+                for (const rule of readReferrerRules(m.schema)) {
+                    referrerRuleExercise.set(`${m.metadata?.module}.${m.metadata?.name}#${rule.code}`, {
+                        manifest: m,
+                        rule,
+                        exercised: false,
+                        seen: false,
+                    });
+                }
+                for (const rule of readResourceRules(m.schema)) {
+                    ruleExercise.set(`${m.metadata?.module}.${m.metadata?.name}#${rule.code}`, {
+                        manifest: m,
+                        rule,
+                        exercised: false,
+                        seen: false,
+                    });
+                }
             }
             const resolvedCapability = def.capability
                 ? (scopeResolver.resolveKind(def.capability) ?? def.capability)
@@ -1177,6 +1261,24 @@ export class StaticAnalyzer {
                 };
                 const filePath = issue.manifest.metadata?.source;
                 const data = { resource, filePath, path: issue.path };
+                if (issue.annotation === "referrer") {
+                    // Mirrors ZONE_PROVIDER_UNRESOLVED: a filter naming no kind matches no
+                    // referrer, so the rule would pass on every manifest while checking
+                    // nothing — reported at the kind that wrote it, since the consumer
+                    // cannot see that the check is inert.
+                    diagnostics.push({
+                        severity: DiagnosticSeverity.Error,
+                        code: "REFERRER_RULE_INVALID",
+                        source: SOURCE,
+                        message: `x-telo-referrer-rules 'referrer: ${issue.ref}' at '${issue.path}' names no kind. ` +
+                            `The prefix must be an import alias declared in this file's 'imports:' map, ` +
+                            `'Self' for a kind in this library, or 'Telo' for a built-in. A filter that ` +
+                            `matches nothing leaves the rule inert. Known aliases: ` +
+                            `${issue.knownAliases?.join(", ") || "(none)"}.`,
+                        data,
+                    });
+                    continue;
+                }
                 if (issue.annotation === "zone") {
                     // Mirrors X_TELO_REF_UNRESOLVED: an unresolvable provider kind would
                     // leave the requirement silently unenforced — no provider ever
@@ -1262,6 +1364,57 @@ export class StaticAnalyzer {
             // OPPOSITE directions — a dropped requirement is silently unenforced, a
             // dropped provision invents failures — so neither can be left to
             // leniency.
+            // A projection nothing can read does not fail — it stops typing the
+            // consumers counting on it, which puts a misspelled field back where the
+            // projection exists to catch it earlier.
+            for (const issue of resourceRuleIssues) {
+                diagnostics.push({
+                    severity: DiagnosticSeverity.Error,
+                    code: issue.code,
+                    source: SOURCE,
+                    message: issue.message,
+                    data: {
+                        resource: {
+                            kind: issue.manifest.kind,
+                            name: issue.manifest.metadata?.name,
+                        },
+                        filePath: issue.manifest.metadata?.source,
+                        path: issue.path,
+                    },
+                });
+            }
+            for (const issue of referrerRuleIssues) {
+                diagnostics.push({
+                    severity: DiagnosticSeverity.Error,
+                    code: issue.code,
+                    source: SOURCE,
+                    message: issue.message,
+                    data: {
+                        resource: {
+                            kind: issue.manifest.kind,
+                            name: issue.manifest.metadata?.name,
+                        },
+                        filePath: issue.manifest.metadata?.source,
+                        path: issue.path,
+                    },
+                });
+            }
+            for (const issue of projectionIssues) {
+                diagnostics.push({
+                    severity: DiagnosticSeverity.Error,
+                    code: issue.code,
+                    source: SOURCE,
+                    message: issue.message,
+                    data: {
+                        resource: {
+                            kind: issue.manifest.kind,
+                            name: issue.manifest.metadata?.name,
+                        },
+                        filePath: issue.manifest.metadata?.source,
+                        path: issue.path,
+                    },
+                });
+            }
             for (const issue of zoneSlotIssues) {
                 diagnostics.push({
                     severity: DiagnosticSeverity.Error,
@@ -1296,6 +1449,57 @@ export class StaticAnalyzer {
             aliases,
             aliasesByModule,
         }));
+        /**
+         * Whether a referrer of `kind` satisfies a referrer rule's `referrer:`
+         * filter, which is canonical by the time it gets here (`resolveSchemaRefKinds`
+         * rewrote it in the DECLARING module's scope). The referring manifest's own
+         * `kind:` is not — it is whatever alias its author imported the kind under —
+         * so it is resolved the same way every other kind comparison in this pass
+         * resolves one. Liskov-substitutable, matching `checkKind`: a child of the
+         * named kind is one.
+         */
+        const kindMatches = (filter, kind) => {
+            const resolved = aliases.resolveKind(kind) ?? kind;
+            if (resolved === filter)
+                return true;
+            return defs
+                .getByExtends(filter)
+                .some((d) => `${d.metadata.module}.${d.metadata.name}` === resolved);
+        };
+        /**
+         * The resources that reach `manifest`, with the slot each one reaches it
+         * through. A step's edge is attributed to the resource whose body declares
+         * it: a step is not a manifest, and the requirement is about the resource
+         * that has to declare something.
+         *
+         * Deduplication is the evaluation's, not this function's — a referrer
+         * reaching one resource through two slots is two sites, and which one anchors
+         * the diagnostic is a reporting decision.
+         */
+        const referrersOf = (manifest, graph) => {
+            const name = manifest.metadata?.name;
+            if (!name)
+                return [];
+            const node = graph.resource(manifest.kind, name) ?? graph.resourceByName(name);
+            if (!node)
+                return [];
+            const out = [];
+            for (const edge of graph.edgesTo(node.id)) {
+                const from = graph.nodes.get(edge.from);
+                if (!from)
+                    continue;
+                const owner = from.type === "step" ? graph.nodes.get(from.owner) : from;
+                if (!owner || owner.type !== "resource")
+                    continue;
+                out.push({
+                    manifest: owner.manifest,
+                    kind: owner.kind,
+                    name: owner.name,
+                    path: edge.path,
+                });
+            }
+            return out;
+        };
         // A `use` case map's selector written in CEL is a hard diagnostic — a call
         // graph known only at runtime is not statically analyzable, and no fallback
         // is conservative for every consumer. Scoped to the entry's own modules:
@@ -1323,6 +1527,29 @@ export class StaticAnalyzer {
                 moduleDocuments: options?.moduleDocuments,
                 cache: zoneExportCache,
             }));
+            // Durable regions — the SAME graph again, walked DOWNWARD this time.
+            // Every rule here keys off a zone attribute rather than off any kind, so
+            // a backend that ships its own workflow kind is covered without the
+            // analyzer knowing it exists: going native costs a module, not a change
+            // here.
+            const resolveRegionDef = (kind, module) => {
+                const scope = (module ? aliasesByModule.get(module) : undefined) ?? aliases;
+                const canonical = scope.resolveKind(kind);
+                return defs.resolve(kind) ?? (canonical ? defs.resolve(canonical) : undefined);
+            };
+            diagnostics.push(...validateDurableRegions({
+                graph: getCallGraph(),
+                resolveDef: resolveRegionDef,
+                reportModules: rootModules,
+            }), 
+            // The same walk once more, over EVERY attribute rather than the two
+            // durability names — a region must not contain a resource that declares
+            // it cannot honour what the region promises.
+            ...validateZoneViolations({
+                graph: getCallGraph(),
+                resolveDef: resolveRegionDef,
+                reportModules: rootModules,
+            }));
         }
         // Phase 2.6: register each named `Telo.Type` resource's schema under its
         // canonical module-scoped id (`telo://<module>/<name>`), validate
@@ -1672,6 +1899,56 @@ export class StaticAnalyzer {
                     });
                 }
             }
+            // Resource rules — relationships between this resource's own fields that
+            // JSON Schema cannot state, declared by the kind as CEL over `self` and
+            // `this`. Read off the AUTHOR-FACING schema, so an `extends` child without
+            // `base:` inherits its parent's rules and one that declares its own
+            // replaces them, exactly as the rest of the config contract merges.
+            // The finding→diagnostic mapping lives with the finding vocabulary in
+            // `validate-resource-rules.ts`, the shape every neighbouring pass uses:
+            // issues out, one emit here.
+            const ruleDeclarer = definition.metadata?.module;
+            for (const report of reportResourceRules(m, definition, evaluateResourceRules(m, authorSchema), !ruleDeclarer || rootModules.has(ruleDeclarer))) {
+                diagnostics.push(resourceRuleDiagnostic(report));
+            }
+            for (const rule of readResourceRules(authorSchema)) {
+                const key = `${definition.metadata?.module}.${definition.metadata?.name}#${rule.code}`;
+                const tracked = ruleExercise.get(key);
+                if (!tracked)
+                    continue;
+                tracked.seen = true;
+                if (ruleExercised(m, rule))
+                    tracked.exercised = true;
+            }
+            // Referrer rules — what must be true of whoever REFERENCES this resource,
+            // declared by the kind that has the requirement rather than by the kind
+            // that must satisfy it. The subject is chosen by the EDGE, so no kind
+            // literal appears on the referring side, where the spelling would be the
+            // consumer's import alias rather than anything the rule's author controls.
+            // A consumer of the shared call graph, never a second traversal.
+            const referrerRules = readReferrerRules(authorSchema);
+            if (referrerRules.length > 0) {
+                const referrers = referrersOf(m, getCallGraph());
+                for (const report of reportReferrerRules(m, definition, evaluateReferrerRules(m, authorSchema, referrers, kindMatches), !ruleDeclarer || rootModules.has(ruleDeclarer))) {
+                    // A VIOLATION is the referrer's data, so it is reported only when that
+                    // manifest is the entry's own — the same direction a resource-rule
+                    // violation takes, one hop further out.
+                    const owner = report.manifest.metadata?.module;
+                    if (report.code === "REFERRER_RULE_VIOLATED" && owner && !rootModules.has(owner)) {
+                        continue;
+                    }
+                    diagnostics.push(referrerRuleDiagnostic(report));
+                }
+                for (const rule of referrerRules) {
+                    const key = `${definition.metadata?.module}.${definition.metadata?.name}#${rule.code}`;
+                    const tracked = referrerRuleExercise.get(key);
+                    if (!tracked)
+                        continue;
+                    tracked.seen = true;
+                    if (referrerRuleExercised(rule, referrers, kindMatches))
+                        tracked.exercised = true;
+                }
+            }
             // Validate inline resources nested inside this resource's body (e.g. a
             // Run.Sequence step's `invoke: { kind, ...config }`). These sit at
             // x-telo-ref slots reached only through local `$ref`s, which the
@@ -1700,6 +1977,23 @@ export class StaticAnalyzer {
             }
             // (Invocation context compatibility check is handled via x-telo-context in the CEL pass below)
         }
+        // A rule whose collection was empty on every resource of its kind is a rule
+        // nothing proved. `check()` types `self` only shallowly (cel-js takes a flat
+        // field map, so `columns` is `map`), which means a typo below the first level
+        // survives declaration validation and is caught only by evaluation — so a
+        // rule that never evaluated has been verified by nothing at all. Reported
+        // only when the kind HAS resources here: a kind nobody instantiated in this
+        // workspace says nothing about the rule.
+        for (const tracked of ruleExercise.values()) {
+            if (!tracked.seen || tracked.exercised)
+                continue;
+            diagnostics.push(resourceRuleDiagnostic(reportUnexercisedRule(tracked.manifest, tracked.rule)));
+        }
+        for (const tracked of referrerRuleExercise.values()) {
+            if (!tracked.seen || tracked.exercised)
+                continue;
+            diagnostics.push(referrerRuleDiagnostic(reportUnexercisedReferrerRule(tracked.manifest, tracked.rule)));
+        }
         // Template-body structural validations: check that template entry-points produce
         // values matching the contract of their dispatch target and (for `provide:`)
         // the abstract this definition `extends`. CEL fields inside the templated
@@ -1768,6 +2062,42 @@ export class StaticAnalyzer {
                 }
             }
         }
+        // A consumer's slot typed from a referenced declaration
+        // (`x-telo-schema-projection-from`) fails in the direction that is hardest
+        // to notice: the contract silently reopens, so a misspelled field passes
+        // `telo check` exactly as it did before the projection existed. That is the
+        // failure the projection exists to move earlier, so it is reported here
+        // rather than left to degrade. Entry-module-scoped, like
+        // `X_TELO_REF_UNRESOLVED` — a published dependency's slot is not the
+        // consumer's to fix.
+        for (const m of allManifests) {
+            const md = m;
+            if (typeof md.kind !== "string" || md.kind.startsWith("Telo."))
+                continue;
+            const ownModule = md.metadata?.module;
+            if (ownModule && !rootModules.has(ownModule))
+                continue;
+            const definition = contractScope.resolveIn(md.kind, ownModule);
+            if (!definition)
+                continue;
+            const failures = [];
+            for (const direction of ["inputType", "outputType"]) {
+                resolveContract(direction, md, definition, contractScope, failures);
+            }
+            for (const failure of failures) {
+                diagnostics.push({
+                    severity: DiagnosticSeverity.Error,
+                    code: "SCHEMA_PROJECTION_FROM_UNRESOLVED",
+                    source: SOURCE,
+                    message: `${md.kind}: ${describeProjectionFailure(failure)}`,
+                    data: {
+                        resource: { kind: md.kind, name: md.metadata?.name },
+                        filePath: md.metadata?.source,
+                        path: failure.pointer.replace(/^\//, ""),
+                    },
+                });
+            }
+        }
         // Validate CEL syntax and context variable access in all manifests. The
         // walker discovers every compiled CEL node by scanning the value tree and
         // hands back the `x-telo-context` schema matched at the enclosing path; the

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

@@ -1 +1 @@
-{"version":3,"file":"call-graph.d.ts","sourceRoot":"","sources":["../src/call-graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAOnE,OAAO,EAIL,KAAK,MAAM,EACX,KAAK,WAAW,EACjB,MAAM,eAAe,CAAC;AAIvB,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,UAAU,CAAC;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;yEAEqE;IACrE,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,gFAAgF;IAChF,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,sEAAsE;IACtE,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,oDAAoD;IACpD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,6DAA6D;IAC7D,KAAK,EAAE,MAAM,CAAC;IACd,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,KAAK,EAAE,MAAM,CAAC;IACd,yEAAyE;IACzE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC/B;AAED,MAAM,MAAM,aAAa,GAAG,iBAAiB,GAAG,aAAa,CAAC;AAE9D,MAAM,WAAW,aAAa;IAC5B,8DAA8D;IAC9D,IAAI,EAAE,MAAM,CAAC;IACb;;;+CAG2C;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf;;;iCAG6B;IAC7B,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,GAAG,EAAE,MAAM,EAAE,CAAC;IACd;0EACsE;IACtE,UAAU,CAAC,EAAE,WAAW,CAAC;IACzB;;mEAE+D;IAC/D,gBAAgB,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,WAAW,CAAC;IACtD,+EAA+E;IAC/E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;+BAM2B;IAC3B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;wEACoE;IACpE,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;gBAGY;IACZ,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC1C,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IAChC,kDAAkD;IAClD,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,aAAa,EAAE,CAAC;IACvC,yCAAyC;IACzC,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,aAAa,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IACpE,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAC5D,2DAA2D;IAC3D,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,aAAa,EAAE,CAAC;IAC3C;yFACqF;IACrF,YAAY,IAAI,aAAa,EAAE,CAAC;CACjC;AAED,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,EAAE,MAAM,MAAM,KAAG,MAA4B,CAAC;AAuTrF,MAAM,WAAW,qBAAqB;IACpC,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAC9C;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,kBAAkB,EAC5B,OAAO,GAAE,qBAA0B,GAClC,SAAS,CA6QX;AAYD,MAAM,WAAW,qBAAqB;IACpC,yEAAyE;IACzE,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC;IACrC;0EACsE;IACtE,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,EAChB,OAAO,GAAE,qBAA0B,GAClC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAmB1B"}
+{"version":3,"file":"call-graph.d.ts","sourceRoot":"","sources":["../src/call-graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAOnE,OAAO,EAIL,KAAK,MAAM,EACX,KAAK,WAAW,EACjB,MAAM,eAAe,CAAC;AAKvB,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,UAAU,CAAC;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;yEAEqE;IACrE,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,gFAAgF;IAChF,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,sEAAsE;IACtE,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,oDAAoD;IACpD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,6DAA6D;IAC7D,KAAK,EAAE,MAAM,CAAC;IACd,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,KAAK,EAAE,MAAM,CAAC;IACd,yEAAyE;IACzE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC/B;AAED,MAAM,MAAM,aAAa,GAAG,iBAAiB,GAAG,aAAa,CAAC;AAE9D,MAAM,WAAW,aAAa;IAC5B,8DAA8D;IAC9D,IAAI,EAAE,MAAM,CAAC;IACb;;;+CAG2C;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf;;;iCAG6B;IAC7B,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,GAAG,EAAE,MAAM,EAAE,CAAC;IACd;0EACsE;IACtE,UAAU,CAAC,EAAE,WAAW,CAAC;IACzB;;mEAE+D;IAC/D,gBAAgB,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,WAAW,CAAC;IACtD,+EAA+E;IAC/E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;+BAM2B;IAC3B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;wEACoE;IACpE,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;gBAGY;IACZ,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC1C,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IAChC,kDAAkD;IAClD,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,aAAa,EAAE,CAAC;IACvC,yCAAyC;IACzC,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,aAAa,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IACpE,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAC5D,2DAA2D;IAC3D,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,aAAa,EAAE,CAAC;IAC3C;yFACqF;IACrF,YAAY,IAAI,aAAa,EAAE,CAAC;CACjC;AAED,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,EAAE,MAAM,MAAM,KAAG,MAA4B,CAAC;AAiTrF,MAAM,WAAW,qBAAqB;IACpC,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAC9C;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,kBAAkB,EAC5B,OAAO,GAAE,qBAA0B,GAClC,SAAS,CA4QX;AAYD,MAAM,WAAW,qBAAqB;IACpC,yEAAyE;IACzE,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC;IACrC;0EACsE;IACtE,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,EAChB,OAAO,GAAE,qBAA0B,GAClC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAmB1B"}

package/dist/call-graph.js

@@ -2,6 +2,7 @@ import { isRefSentinel, isTaggedSentinel } from "@telorun/templating";
 import { enclosingOf, propertySchemas, resolveLocalRef, } from "./manifest-navigation.js";
 import { visitManifest } from "./manifest-visitor.js";
 import { possibleUses, readRefSlot, transfersControl, } from "./ref-slot.js";
+import { isStepSlot } from "./step-slot.js";
 import { isRefEntry, resolveFieldEntries } from "./reference-field-map.js";
 import { DEPENDENCY_GRAPH_SKIP_KINDS as SYSTEM_KINDS } from "./system-kinds.js";
 export const resourceId = (kind, name) => `${kind}\0${name}`;
@@ -126,11 +127,6 @@ function resolveUseAtSite(entry, root, concretePath, schemaDefault) {
             : "unmatched";
     return { use: possibleUses(slot), unresolved: entry.useCases, unresolvedReason };
 }
-/** Names the step-list annotation on an array property, if any. */
-function stepContextOf(schema) {
-    const annotation = schema?.["x-telo-step-context"];
-    return annotation && typeof annotation === "object" ? annotation : undefined;
-}
 /** A resolved plain reference value (`{kind, name}`, optionally `alias`) — the
  *  shape `resolveRefSentinels` leaves at a ref site. NOT a step: a bare boot
  *  target written `!ref X` must not mint a step node. */
@@ -339,8 +335,7 @@ export function buildCallGraph(resources, registry, options = {}) {
             return;
         const collected = [];
         for (const [key, propSchema] of propertySchemas(schema)) {
-            const annotation = stepContextOf(propSchema);
-            if (!annotation)
+            if (!isStepSlot(propSchema))
                 continue;
             const value = node.manifest[key];
             if (!Array.isArray(value))

package/dist/flatten-for-analyzer.js

@@ -165,7 +165,7 @@ export function flattenForAnalyzer(graph) {
         if (!owner || !alias)
             continue;
         const edge = graph.importEdges.get(owner)?.get(alias);
-        if (!edge?.targetModuleName)
+        if (!edge)
             continue;
         const newMetadata = {
             ...m.metadata,

package/dist/import-resolution-diagnostics.d.ts

@@ -1,12 +1,19 @@
 import type { LoadedGraph } from "./loaded-types.js";
 import { type AnalysisDiagnostic } from "./types.js";
 /**
- * Convert a graph's import-resolution failures (`graph.errors`) into structured,
- * coded diagnostics. This is the single source of truth for surfacing a broken
+ * Convert a graph's import failures (`graph.errors`) into structured, coded
+ * diagnostics. This is the single source of truth for surfacing a broken
  * import — every host (CLI, VS Code, telo-editor) routes these instead of each
  * re-deriving the channel and drifting (the VS Code extension used to drop it
  * entirely, showing nothing for a broken import).
  *
+ * Three codes, because three different people fix them:
+ * `INVALID_IMPORT_SOURCE` (the ref is not a module reference at all),
+ * `IMPORT_UNRESOLVED` (a well-formed ref that could not be obtained), and
+ * `INVALID_IMPORT_TARGET` (obtained, but not an importable library — an
+ * application, no library document, or one that names no module). Collapsing
+ * the last into the second would tell an author to fix a ref that is correct.
+ *
  * The analyzer owns only this raw channel conversion; the *presentation* policy
  * — which analysis cascade to hold back for a compromised file — lives in
  * `@telorun/ide-support`'s `assembleGraphDiagnostics`.

package/dist/import-resolution-diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"import-resolution-diagnostics.d.ts","sourceRoot":"","sources":["../src/import-resolution-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAIrE,OAAO,EAAsB,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AA8BzE;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,WAAW,GAAG,kBAAkB,EAAE,CAepF"}
+{"version":3,"file":"import-resolution-diagnostics.d.ts","sourceRoot":"","sources":["../src/import-resolution-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAIrE,OAAO,EAAsB,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAyCzE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,WAAW,GAAG,kBAAkB,EAAE,CAepF"}