@shrkcrft/boundaries 0.1.0-alpha.26 → 0.1.0-alpha.27

package/dist/wiring/registration-graph.d.ts

@@ -1,4 +1,5 @@
 import type { IRegistrationIdiom } from '@shrkcrft/core';
+import { type IWiringFileEntry } from './evaluate-wiring.js';
 export declare const REGISTRATION_GRAPH_SCHEMA: "sharkcraft.registration-graph/v1";
 /** A token role-site: which idiom + file:line it was found at. */
 export interface IRegistrationSite {
@@ -54,6 +55,14 @@ export declare function buildRegistrationGraph(projectRoot: string, idioms: read
  * only (no file reads), so it stays far cheaper than a full build. Never throws.
  */
 export declare function registrationGraphSignature(projectRoot: string, idioms: readonly IRegistrationIdiom[], options?: IBuildRegistrationGraphOptions): string;
+/**
+ * The set of tokens the given file entries PROVIDE under any idiom. Used to diff
+ * a base-ref snapshot against the worktree: a REMOVED provider leaves NO site in
+ * the changed file (so post-change site-scoping can't see it), but the base
+ * content still shows the token was provided there — so a provider deletion
+ * (the most common way DI wiring silently breaks) stays change-attributable.
+ */
+export declare function providedTokensFromEntries(idioms: readonly IRegistrationIdiom[], entries: readonly IWiringFileEntry[]): Set<string>;
 /** A token's full registration chain, with role presence flags. */
 export interface IRegistrationChain extends IRegistrationNode {
     readonly isDeclared: boolean;
@@ -71,13 +80,26 @@ export interface IUnprovidedToken {
     readonly declared: readonly IRegistrationSite[];
     readonly consumed: readonly IRegistrationSite[];
 }
+/**
+ * Does the changed-file set touch ANY role-site of ANY token in the graph? Lets
+ * a changed-only gate tell "evaluated the registration scope, found it clean"
+ * (a real pass) apart from "the change touched no wiring at all" (nothing to
+ * verify → the caller should skip, never paint green). An empty `changedFiles`
+ * is vacuously false.
+ */
+export declare function registrationTouchesChanged(graph: IRegistrationGraph, changedFiles: readonly string[]): boolean;
 /**
  * `wiring unprovided` — tokens that are DECLARED or CONSUMED but have ZERO
  * provided sites. This is the silent-at-runtime class: typecheck/AOT-green, but
  * the provider is never registered (or the injected token has no provider
  * anywhere), so it resolves to undefined at runtime. The thing imports can't see.
+ *
+ * When `changedFiles` is supplied the result is CHANGESET-SCOPED: a token is
+ * kept only if one of its declared/consumed sites is in the changed set — i.e.
+ * "did THIS change leave a token unprovided", the change-attributed question a
+ * `wiring unprovided --changed-only` gate needs.
  */
-export declare function registrationUnprovided(graph: IRegistrationGraph): readonly IUnprovidedToken[];
+export declare function registrationUnprovided(graph: IRegistrationGraph, changedFiles?: readonly string[]): readonly IUnprovidedToken[];
 /** A token provided/registered that nothing consumes — a dead registration. */
 export interface IOrphanRegistration {
     readonly token: string;
@@ -87,6 +109,9 @@ export interface IOrphanRegistration {
  * `wiring orphans` — tokens that ARE provided/registered but have ZERO consumed
  * sites: a provider/registration nothing injects (a build-clean no-op, or a
  * sign the consumer was renamed/removed).
+ *
+ * `changedFiles`, when supplied, scopes the result to orphans whose provided
+ * site is in the changed set (the registration THIS change added/touched).
  */
-export declare function registrationOrphans(graph: IRegistrationGraph): readonly IOrphanRegistration[];
+export declare function registrationOrphans(graph: IRegistrationGraph, changedFiles?: readonly string[]): readonly IOrphanRegistration[];
 //# sourceMappingURL=registration-graph.d.ts.map

package/dist/wiring/registration-graph.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"registration-graph.d.ts","sourceRoot":"","sources":["../../src/wiring/registration-graph.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAiB,MAAM,gBAAgB,CAAC;AAKxE,eAAO,MAAM,yBAAyB,EAAG,kCAA2C,CAAC;AAErF,kEAAkE;AAClE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,wEAAwE;AACxE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACjD;AAED;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,yBAAyB,CAAC;IAClD,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC9C,6EAA6E;IAC7E,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED,MAAM,WAAW,8BAA8B;IAC7C,2DAA2D;IAC3D,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAiBD;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,SAAS,kBAAkB,EAAE,EACrC,OAAO,GAAE,8BAAmC,GAC3C,kBAAkB,CAqDpB;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,SAAS,kBAAkB,EAAE,EACrC,OAAO,GAAE,8BAAmC,GAC3C,MAAM,CAiBR;AAED,mEAAmE;AACnE,MAAM,WAAW,kBAAmB,SAAQ,iBAAiB;IAC3D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,kBAAkB,EACzB,KAAK,EAAE,MAAM,GACZ,kBAAkB,GAAG,SAAS,CAShC;AAED,oFAAoF;AACpF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACjD;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,SAAS,gBAAgB,EAAE,CAI7F;AAED,+EAA+E;AAC/E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACjD;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,kBAAkB,GAAG,SAAS,mBAAmB,EAAE,CAI7F"}
+{"version":3,"file":"registration-graph.d.ts","sourceRoot":"","sources":["../../src/wiring/registration-graph.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAiB,MAAM,gBAAgB,CAAC;AAGxE,OAAO,EAAsB,KAAK,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAEjF,eAAO,MAAM,yBAAyB,EAAG,kCAA2C,CAAC;AAErF,kEAAkE;AAClE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,wEAAwE;AACxE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACjD;AAED;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,yBAAyB,CAAC;IAClD,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC9C,6EAA6E;IAC7E,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED,MAAM,WAAW,8BAA8B;IAC7C,2DAA2D;IAC3D,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAiBD;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,SAAS,kBAAkB,EAAE,EACrC,OAAO,GAAE,8BAAmC,GAC3C,kBAAkB,CAqDpB;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,SAAS,kBAAkB,EAAE,EACrC,OAAO,GAAE,8BAAmC,GAC3C,MAAM,CAiBR;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,SAAS,kBAAkB,EAAE,EACrC,OAAO,EAAE,SAAS,gBAAgB,EAAE,GACnC,GAAG,CAAC,MAAM,CAAC,CAOb;AAED,mEAAmE;AACnE,MAAM,WAAW,kBAAmB,SAAQ,iBAAiB;IAC3D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,kBAAkB,EACzB,KAAK,EAAE,MAAM,GACZ,kBAAkB,GAAG,SAAS,CAShC;AAED,oFAAoF;AACpF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACjD;AAeD;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,kBAAkB,EACzB,YAAY,EAAE,SAAS,MAAM,EAAE,GAC9B,OAAO,CAMT;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,kBAAkB,EACzB,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,GAC/B,SAAS,gBAAgB,EAAE,CAM7B;AAED,+EAA+E;AAC/E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACjD;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,kBAAkB,EACzB,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,GAC/B,SAAS,mBAAmB,EAAE,CAMhC"}

package/dist/wiring/registration-graph.js

@@ -86,6 +86,22 @@ export function registrationGraphSignature(projectRoot, idioms, options = {}) {
     }
     return createHash('sha1').update(parts.join('\n')).digest('hex').slice(0, 16);
 }
+/**
+ * The set of tokens the given file entries PROVIDE under any idiom. Used to diff
+ * a base-ref snapshot against the worktree: a REMOVED provider leaves NO site in
+ * the changed file (so post-change site-scoping can't see it), but the base
+ * content still shows the token was provided there — so a provider deletion
+ * (the most common way DI wiring silently breaks) stays change-attributable.
+ */
+export function providedTokensFromEntries(idioms, entries) {
+    const tokens = new Set();
+    for (const idiom of idioms) {
+        const files = entries.filter((f) => matchesAny(f.path, idiom.provided.files));
+        for (const s of collectSourceSites(idiom.provided, files).sites)
+            tokens.add(s.token);
+    }
+    return tokens;
+}
 /**
  * `wiring chain <token>` — the declared → provided → consumed hops of one token
  * with file:line at each, or `undefined` if the token is unknown to the graph.
@@ -101,24 +117,57 @@ export function registrationChain(graph, token) {
         isConsumed: node.consumed.length > 0,
     };
 }
+/** Project-relative path normalizer so site files and git changed-files compare. */
+function normalizeRel(p) {
+    return p.replace(/\\/g, '/').replace(/^\.\//, '');
+}
+/** True when ANY of `sites` falls in the changed-file scope. */
+function anySiteInScope(sites, scope) {
+    return sites.some((s) => scope.has(normalizeRel(s.file)));
+}
+/**
+ * Does the changed-file set touch ANY role-site of ANY token in the graph? Lets
+ * a changed-only gate tell "evaluated the registration scope, found it clean"
+ * (a real pass) apart from "the change touched no wiring at all" (nothing to
+ * verify → the caller should skip, never paint green). An empty `changedFiles`
+ * is vacuously false.
+ */
+export function registrationTouchesChanged(graph, changedFiles) {
+    if (changedFiles.length === 0)
+        return false;
+    const scope = new Set(changedFiles.map(normalizeRel));
+    return graph.tokens.some((t) => anySiteInScope([...t.declared, ...t.provided, ...t.consumed], scope));
+}
 /**
  * `wiring unprovided` — tokens that are DECLARED or CONSUMED but have ZERO
  * provided sites. This is the silent-at-runtime class: typecheck/AOT-green, but
  * the provider is never registered (or the injected token has no provider
  * anywhere), so it resolves to undefined at runtime. The thing imports can't see.
+ *
+ * When `changedFiles` is supplied the result is CHANGESET-SCOPED: a token is
+ * kept only if one of its declared/consumed sites is in the changed set — i.e.
+ * "did THIS change leave a token unprovided", the change-attributed question a
+ * `wiring unprovided --changed-only` gate needs.
  */
-export function registrationUnprovided(graph) {
+export function registrationUnprovided(graph, changedFiles) {
+    const scope = changedFiles ? new Set(changedFiles.map(normalizeRel)) : undefined;
     return graph.tokens
         .filter((t) => t.provided.length === 0 && (t.declared.length > 0 || t.consumed.length > 0))
+        .filter((t) => !scope || anySiteInScope([...t.declared, ...t.consumed], scope))
         .map((t) => ({ token: t.token, declared: t.declared, consumed: t.consumed }));
 }
 /**
  * `wiring orphans` — tokens that ARE provided/registered but have ZERO consumed
  * sites: a provider/registration nothing injects (a build-clean no-op, or a
  * sign the consumer was renamed/removed).
+ *
+ * `changedFiles`, when supplied, scopes the result to orphans whose provided
+ * site is in the changed set (the registration THIS change added/touched).
  */
-export function registrationOrphans(graph) {
+export function registrationOrphans(graph, changedFiles) {
+    const scope = changedFiles ? new Set(changedFiles.map(normalizeRel)) : undefined;
     return graph.tokens
         .filter((t) => t.provided.length > 0 && t.consumed.length === 0)
+        .filter((t) => !scope || anySiteInScope(t.provided, scope))
         .map((t) => ({ token: t.token, provided: t.provided }));
 }

package/dist/wiring/trace-literal.d.ts

@@ -7,12 +7,18 @@ export declare const TRACE_DEFAULT_GLOBS: readonly string[];
  *  - `declare`  — a canonical definition (`const X = 'lit'`, `kind: 'lit'`, an enum value).
  *  - `register` — added to a collection / mapping (`register('lit')`, an array element, `{ 'lit': … }`).
  *  - `consume`  — compared / switched / handled (`=== 'lit'`, `case 'lit':`).
+ *  - `render`   — rendered / emitted at the boundary (JSX child `>{ 'lit' }`, template
+ *                 interpolation `${ 'lit' }`, a `render('lit')` / `res.send('lit')` call).
  *  - `reference`— an occurrence we can't confidently classify (still reported, with context).
+ *
+ * `render` only ever refines what would otherwise be a `reference`; it never
+ * steals a site from `declare` / `register` / `consume`.
  */
 export declare enum TraceRole {
     Declare = "declare",
     Register = "register",
     Consume = "consume",
+    Render = "render",
     Reference = "reference"
 }
 /** One occurrence of the traced literal (or a const aliased to it). */

package/dist/wiring/trace-literal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"trace-literal.d.ts","sourceRoot":"","sources":["../../src/wiring/trace-literal.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,YAAY,EAAG,qBAA8B,CAAC;AAE3D,sEAAsE;AACtE,eAAO,MAAM,mBAAmB,EAAE,SAAS,MAAM,EAShD,CAAC;AAEF;;;;;;;GAOG;AACH,oBAAY,SAAS;IACnB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,OAAO,YAAY;IACnB,SAAS,cAAc;CACxB;AAED,uEAAuE;AACvE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,YAAY,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,gEAAgE;IAChE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC,CAAC;IACpE,iFAAiF;IACjF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,aAAa;IAC5B,yCAAyC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,2DAA2D;IAC3D,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC;;;OAGG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;CACnC;AAmED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAC1B,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,MAAM,EACf,OAAO,GAAE,aAAkB,GAC1B,YAAY,CAqFd"}
+{"version":3,"file":"trace-literal.d.ts","sourceRoot":"","sources":["../../src/wiring/trace-literal.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,YAAY,EAAG,qBAA8B,CAAC;AAE3D,sEAAsE;AACtE,eAAO,MAAM,mBAAmB,EAAE,SAAS,MAAM,EAShD,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,oBAAY,SAAS;IACnB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,OAAO,YAAY;IACnB,MAAM,WAAW;IACjB,SAAS,cAAc;CACxB;AAED,uEAAuE;AACvE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,YAAY,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,gEAAgE;IAChE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC,CAAC;IACpE,iFAAiF;IACjF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,aAAa;IAC5B,yCAAyC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,2DAA2D;IAC3D,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC;;;OAGG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;CACnC;AA6ED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAC1B,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,MAAM,EACf,OAAO,GAAE,aAAkB,GAC1B,YAAY,CAuFd"}

package/dist/wiring/trace-literal.js

@@ -17,13 +17,19 @@ export const TRACE_DEFAULT_GLOBS = [
  *  - `declare`  — a canonical definition (`const X = 'lit'`, `kind: 'lit'`, an enum value).
  *  - `register` — added to a collection / mapping (`register('lit')`, an array element, `{ 'lit': … }`).
  *  - `consume`  — compared / switched / handled (`=== 'lit'`, `case 'lit':`).
+ *  - `render`   — rendered / emitted at the boundary (JSX child `>{ 'lit' }`, template
+ *                 interpolation `${ 'lit' }`, a `render('lit')` / `res.send('lit')` call).
  *  - `reference`— an occurrence we can't confidently classify (still reported, with context).
+ *
+ * `render` only ever refines what would otherwise be a `reference`; it never
+ * steals a site from `declare` / `register` / `consume`.
  */
 export var TraceRole;
 (function (TraceRole) {
     TraceRole["Declare"] = "declare";
     TraceRole["Register"] = "register";
     TraceRole["Consume"] = "consume";
+    TraceRole["Render"] = "render";
     TraceRole["Reference"] = "reference";
 })(TraceRole || (TraceRole = {}));
 function escapeRegex(s) {
@@ -89,6 +95,20 @@ function classifyRole(before, after) {
     if (/\b(kind|type|id|name|slug|key|tag|code|token|permission|route|event|action|channel|topic|status|provide|providerToken)\s*[:=]$/i.test(b)) {
         return TraceRole.Declare;
     }
+    // Render/handle site — REACHED ONLY after every higher-precision rule above
+    // has declined, so this can only refine an occurrence that would otherwise be
+    // `reference`; it never steals from declare/register/consume:
+    //  - JSX child interpolation:        `<tag>{ 'lit' }`  (before ends `>{`).
+    //  - template-literal interpolation: `` `${ 'lit' }` `` (before ends `${`).
+    //  - a render / send-to-client call: `render('lit')`, `res.render('lit')`, `res.send('lit')`.
+    if (/>\s*\{$/.test(b))
+        return TraceRole.Render;
+    if (/\$\{$/.test(b))
+        return TraceRole.Render;
+    if (/\brender\w*\s*\($/i.test(b))
+        return TraceRole.Render;
+    if (/\bsend\w*\s*\($/i.test(b))
+        return TraceRole.Render;
     return TraceRole.Reference;
 }
 /** A const name is alias-resolvable only if Pascal/SCREAMING-cased (low collision risk). */
@@ -167,6 +187,7 @@ export function traceLiteral(projectRoot, literal, options = {}) {
         [TraceRole.Declare]: [],
         [TraceRole.Register]: [],
         [TraceRole.Consume]: [],
+        [TraceRole.Render]: [],
         [TraceRole.Reference]: [],
     };
     for (const s of sites)
@@ -180,6 +201,7 @@ export function traceLiteral(projectRoot, literal, options = {}) {
             [TraceRole.Declare]: sortSites(byRole[TraceRole.Declare]),
             [TraceRole.Register]: sortSites(byRole[TraceRole.Register]),
             [TraceRole.Consume]: sortSites(byRole[TraceRole.Consume]),
+            [TraceRole.Render]: sortSites(byRole[TraceRole.Render]),
             [TraceRole.Reference]: sortSites(byRole[TraceRole.Reference]),
         },
         aliases: [...aliasNames].sort(),

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shrkcrft/boundaries",
-  "version": "0.1.0-alpha.26",
+  "version": "0.1.0-alpha.27",
   "description": "SharkCraft boundary rules: detect when a repository violates its own architecture (forbidden imports across folder/package/layer boundaries).",
   "license": "MIT",
   "author": "SharkCraft contributors",
@@ -43,7 +43,7 @@
     "typecheck": "tsc --noEmit -p tsconfig.json"
   },
   "dependencies": {
-    "@shrkcrft/core": "^0.1.0-alpha.26"
+    "@shrkcrft/core": "^0.1.0-alpha.27"
   },
   "publishConfig": {
     "access": "public"