@principal-ai/subsystems-react 0.51.4 → 0.52.0

package/dist/subsystem/c4.d.ts

@@ -12,6 +12,12 @@
  * supplies the drawable model directly rather than having trails converted into
  * lines.
  *
+ * The element set is an umbrella over a model, not a standalone artifact: what
+ * sits inside a box resolves from the model document's `process` fields, folded
+ * to the claiming container's key by accepted consolidation records (see
+ * `c4Evidence`). Nothing here stores membership, so nothing here can drift from
+ * the model it organizes.
+ *
  * ## Why a union and not one type with two axes
  *
  * C4's vocabulary is closed: software system, container, component, code —
@@ -31,7 +37,6 @@
  *
  * [C4 notation]: https://c4model.com/diagrams/notation
  */
-import type { SubsystemComponent } from './model';
 /**
  * Has anyone signed off on this element yet?
  *
@@ -50,27 +55,22 @@ interface C4ElementBase {
     /** Display name. */
     label: string;
     /**
-     * The component aliases that live directly inside this element.
-     *
-     * Named explicitly rather than derived from a `process` value, because two
-     * runs of code being one container is a judgement, not a lookup.
-     *
-     * Each alias belongs to exactly one element.
-     */
-    members: string[];
-    /**
-     * The `process` values this element consolidated, when it came from more than
-     * one. Purely provenance — it lets the confirm UI show "this box absorbed
-     * principal-studio/host". Never used to infer membership.
+     * Nesting parent. A component's container, or a container's system frame.
+     * Absent on an external system or a person — both are outside the boundary:
+     * an external is someone else's system, a person is never part of one.
      */
-    derivedFrom?: string[];
+    parentId?: string;
     /** C4 asks every element to carry a one-line responsibility. */
     description?: string;
     state: C4ElementState;
     /** Why this element is proposed as it is — shown in the confirm UI. */
     rationale?: string;
-    /** Who or what authored it. */
-    author?: string;
+    /** The component aliases this element groups. */
+    members?: string[];
+    /** Distinct constructs among the members, when resolved from a document. */
+    constructs?: string[];
+    /** Source model ids that contributed members, when attribution is supplied. */
+    models?: string[];
     /** When the state last changed (ISO). */
     decidedAt?: string;
 }
@@ -91,6 +91,12 @@ export interface C4Container extends C4ElementBase {
     containerKind: C4ContainerKind;
     /** C4 requires a technology on every container. */
     technology: string;
+    /**
+     * The `process` key this container claims — the boundary it verifies,
+     * matched exactly against the model document's keys. Not a member list:
+     * the components inside resolve from the model document.
+     */
+    process?: string;
 }
 /**
  * A functional grouping inside a container — the C4 level 3 box.
@@ -120,7 +126,14 @@ export interface C4Person extends C4ElementBase {
 }
 /** One element. Four kinds, no fifth. */
 export type C4Element = C4Container | C4Component | C4ExternalSystem | C4Person;
-/** A whole authored element list, for one repo or composed graph. */
+/**
+ * A whole authored element list, for one repo or composed graph. This is the
+ * shape the durable element store persists (`~/.principal/c4-elements/<purl>.json`):
+ * **accepted elements only** — the set is the approved architecture, not a
+ * history. `proposed` exists only on in-memory proposal scaffolds and is never
+ * persisted; a rejected proposal stays remembered by the proposal store, which
+ * is where proposing agents consult prior rejections.
+ */
 export interface C4ElementSet {
     /** Repo key this set describes, e.g. `pkg:github/owner/name`. */
     repoKey: string;
@@ -130,37 +143,6 @@ export interface C4ElementSet {
 }
 /** Which level to draw. Determines which frames are drawn. */
 export type C4View = 'container' | 'component';
-/**
- * A flattened element, as the renderer reads it.
- *
- * The union above is what an author writes; this is the one shape every box
- * draws with, so the card does not branch on kind to find a label.
- */
-export interface C4Node {
-    id: string;
-    kind: C4Element['kind'];
-    /**
-     * Nesting parent: a component's container, a container or external system's
-     * frame, and nothing for a person — C4 puts people outside every system.
-     */
-    parentId?: string;
-    label: string;
-    technology?: string;
-    description?: string;
-    state: C4ElementState;
-    /** `application` / `data-store`. Set on containers only. */
-    containerKind?: C4ContainerKind;
-    /** Provenance, when the element consolidated several derived keys. */
-    derivedFrom?: string[];
-    /** Resolved members, when a document was supplied. A container's list includes its components'. */
-    members: string[];
-    /** Distinct constructs among resolved members. */
-    constructs: string[];
-    /** Present at component level when the document resolved it. */
-    component?: SubsystemComponent;
-    /** Source model ids that contributed members, when attribution is supplied. */
-    models?: string[];
-}
 /** A compound frame: the system, or a container holding its components. */
 export interface C4Group {
     id: string;
@@ -190,6 +172,23 @@ export interface C4Edge {
     /** How many underlying steps this line rolled up. */
     count: number;
 }
+/**
+ * Protocol hues, keyed by a canonical protocol token.
+ *
+ * C4's notation is colour-free, so this is a local choice — but on a container
+ * diagram the protocol is what a reader wants to distinguish at a glance
+ * (in-process RPC vs HTTP vs file I/O), more than the trail verb the line came
+ * from. Keys are lowercase, matched loosely (see `protocolColor`).
+ */
+export declare const PROTOCOL_COLOR: Record<string, string>;
+/** Fallback hue for an edge whose protocol we have no colour for (or none). */
+export declare const PROTOCOL_COLOR_FALLBACK = "#9ca3af";
+/**
+ * Colour for an edge's protocol. Matches the longest known token contained in
+ * the (lowercased) protocol string, so `Electrobun RPC` finds `rpc` and
+ * `JSON-RPC` finds the `json-rpc` entry before `rpc`.
+ */
+export declare function protocolColor(protocol: string | undefined): string;
 /** A drawable C4 projection. Authored, not derived. */
 export interface C4Model {
     view: C4View;
@@ -198,7 +197,7 @@ export interface C4Model {
         label: string;
         repoKey?: string;
     };
-    nodes: C4Node[];
+    nodes: C4Element[];
     groups: C4Group[];
     edges: C4Edge[];
 }

package/dist/subsystem/c4.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"c4.d.ts","sourceRoot":"","sources":["../../src/subsystem/c4.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAElD;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,CAAC;AAElE,uDAAuD;AACvD,UAAU,aAAa;IACrB;;;OAGG;IACH,EAAE,EAAE,MAAM,CAAC;IACX,oBAAoB;IACpB,KAAK,EAAE,MAAM,CAAC;IACd;;;;;;;OAOG;IACH,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,gEAAgE;IAChE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,cAAc,CAAC;IACtB,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,yCAAyC;IACzC,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,GAAG,aAAa,GAAG,YAAY,CAAC;AAE3D,yDAAyD;AACzD,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD,IAAI,EAAE,WAAW,CAAC;IAClB,sCAAsC;IACtC,aAAa,EAAE,eAAe,CAAC;IAC/B,mDAAmD;IACnD,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD,IAAI,EAAE,WAAW,CAAC;IAClB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,6DAA6D;AAC7D,MAAM,WAAW,gBAAiB,SAAQ,aAAa;IACrD,IAAI,EAAE,iBAAiB,CAAC;IACxB,gEAAgE;IAChE,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,gEAAgE;AAChE,MAAM,WAAW,QAAS,SAAQ,aAAa;IAC7C,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED,yCAAyC;AACzC,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,WAAW,GAAG,gBAAgB,GAAG,QAAQ,CAAC;AAEhF,qEAAqE;AACrE,MAAM,WAAW,YAAY;IAC3B,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC;IAChB,wCAAwC;IACxC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,SAAS,EAAE,CAAC;CACvB;AAED,8DAA8D;AAC9D,MAAM,MAAM,MAAM,GAAG,WAAW,GAAG,WAAW,CAAC;AAE/C;;;;;GAKG;AACH,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,cAAc,CAAC;IACtB,4DAA4D;IAC5D,aAAa,CAAC,EAAE,eAAe,CAAC;IAChC,sEAAsE;IACtE,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,mGAAmG;IACnG,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,kDAAkD;IAClD,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,gEAAgE;IAChE,SAAS,CAAC,EAAE,kBAAkB,CAAC;IAC/B,+EAA+E;IAC/E,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,2EAA2E;AAC3E,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,GAAG,WAAW,CAAC;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,qDAAqD;IACrD,KAAK,EAAE,MAAM,CAAC;CACf;AAED,uDAAuD;AACvD,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAIlD"}
+{"version":3,"file":"c4.d.ts","sourceRoot":"","sources":["../../src/subsystem/c4.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,CAAC;AAElE,uDAAuD;AACvD,UAAU,aAAa;IACrB;;;OAGG;IACH,EAAE,EAAE,MAAM,CAAC;IACX,oBAAoB;IACpB,KAAK,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,cAAc,CAAC;IACtB,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,4EAA4E;IAC5E,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,+EAA+E;IAC/E,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,yCAAyC;IACzC,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,GAAG,aAAa,GAAG,YAAY,CAAC;AAE3D,yDAAyD;AACzD,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD,IAAI,EAAE,WAAW,CAAC;IAClB,sCAAsC;IACtC,aAAa,EAAE,eAAe,CAAC;IAC/B,mDAAmD;IACnD,UAAU,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD,IAAI,EAAE,WAAW,CAAC;IAClB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,UAAU,EAAE,MAAM,CAAC;CACpB;AACD,6DAA6D;AAC7D,MAAM,WAAW,gBAAiB,SAAQ,aAAa;IACrD,IAAI,EAAE,iBAAiB,CAAC;IACxB,gEAAgE;IAChE,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,gEAAgE;AAChE,MAAM,WAAW,QAAS,SAAQ,aAAa;IAC7C,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED,yCAAyC;AACzC,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,WAAW,GAAG,gBAAgB,GAAG,QAAQ,CAAC;AAEhF;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC;IAChB,wCAAwC;IACxC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,SAAS,EAAE,CAAC;CACvB;AAED,8DAA8D;AAC9D,MAAM,MAAM,MAAM,GAAG,WAAW,GAAG,WAAW,CAAC;AAE/C,2EAA2E;AAC3E,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,GAAG,WAAW,CAAC;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,qDAAqD;IACrD,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAiBjD,CAAC;AAEF,+EAA+E;AAC/E,eAAO,MAAM,uBAAuB,YAAY,CAAC;AAEjD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAQlE;AAED,uDAAuD;AACvD,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAIlD"}

package/dist/subsystem/c4.js

@@ -12,6 +12,12 @@
  * supplies the drawable model directly rather than having trails converted into
  * lines.
  *
+ * The element set is an umbrella over a model, not a standalone artifact: what
+ * sits inside a box resolves from the model document's `process` fields, folded
+ * to the claiming container's key by accepted consolidation records (see
+ * `c4Evidence`). Nothing here stores membership, so nothing here can drift from
+ * the model it organizes.
+ *
  * ## Why a union and not one type with two axes
  *
  * C4's vocabulary is closed: software system, container, component, code —
@@ -31,6 +37,50 @@
  *
  * [C4 notation]: https://c4model.com/diagrams/notation
  */
+/**
+ * Protocol hues, keyed by a canonical protocol token.
+ *
+ * C4's notation is colour-free, so this is a local choice — but on a container
+ * diagram the protocol is what a reader wants to distinguish at a glance
+ * (in-process RPC vs HTTP vs file I/O), more than the trail verb the line came
+ * from. Keys are lowercase, matched loosely (see `protocolColor`).
+ */
+export const PROTOCOL_COLOR = {
+    rpc: '#22c55e',
+    http: '#e8853a',
+    https: '#e8853a',
+    rest: '#e8853a',
+    graphql: '#e061a3',
+    fs: '#0ea5e9',
+    'file i/o': '#0ea5e9',
+    sql: '#a78bfa',
+    sqlite: '#a78bfa',
+    postgres: '#a78bfa',
+    'json-rpc': '#22c55e',
+    ws: '#e3b341',
+    websocket: '#e3b341',
+    mcp: '#4ec9b0',
+    stdin: '#9ca3af',
+    stdout: '#9ca3af',
+};
+/** Fallback hue for an edge whose protocol we have no colour for (or none). */
+export const PROTOCOL_COLOR_FALLBACK = '#9ca3af';
+/**
+ * Colour for an edge's protocol. Matches the longest known token contained in
+ * the (lowercased) protocol string, so `Electrobun RPC` finds `rpc` and
+ * `JSON-RPC` finds the `json-rpc` entry before `rpc`.
+ */
+export function protocolColor(protocol) {
+    if (!protocol)
+        return PROTOCOL_COLOR_FALLBACK;
+    const p = protocol.toLowerCase();
+    let best = '';
+    for (const key of Object.keys(PROTOCOL_COLOR)) {
+        if (key.length > best.length && p.includes(key))
+            best = key;
+    }
+    return best ? PROTOCOL_COLOR[best] : PROTOCOL_COLOR_FALLBACK;
+}
 /**
  * `owner/name` from a purl, trimmed of scheme and fragment. Used to label the
  * system frame when a repo key is known.

package/dist/subsystem/c4.js.map

@@ -1 +1 @@
-{"version":3,"file":"c4.js","sourceRoot":"","sources":["../../src/subsystem/c4.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAwLH;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,IAAI,CAAC;AACnD,CAAC"}
+{"version":3,"file":"c4.js","sourceRoot":"","sources":["../../src/subsystem/c4.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAoJH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAA2B;IACpD,GAAG,EAAE,SAAS;IACd,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,SAAS;IAChB,IAAI,EAAE,SAAS;IACf,OAAO,EAAE,SAAS;IAClB,EAAE,EAAE,SAAS;IACb,UAAU,EAAE,SAAS;IACrB,GAAG,EAAE,SAAS;IACd,MAAM,EAAE,SAAS;IACjB,QAAQ,EAAE,SAAS;IACnB,UAAU,EAAE,SAAS;IACrB,EAAE,EAAE,SAAS;IACb,SAAS,EAAE,SAAS;IACpB,GAAG,EAAE,SAAS;IACd,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,SAAS;CAClB,CAAC;AAEF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,uBAAuB,GAAG,SAAS,CAAC;AAEjD;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,QAA4B;IACxD,IAAI,CAAC,QAAQ;QAAE,OAAO,uBAAuB,CAAC;IAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IACjC,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE;QAC7C,IAAI,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,GAAG,GAAG,CAAC;KAC7D;IACD,OAAO,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,uBAAuB,CAAC;AAChE,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,IAAI,CAAC;AACnD,CAAC"}

package/dist/subsystem/c4Evidence.d.ts

@@ -1,53 +1,27 @@
 /**
- * C4 evidence — what an agent needs in order to propose elements.
+ * C4 evidence — the pure read-side of proposing and verifying C4 containers.
  *
- * This module does not decide anything. It answers "what is worth asking
- * about?" so an agent can go and read the source, then propose a
- * `C4Element` with a rationale. The questions come from the C4 notation
- * rules the document cannot satisfy on its own:
+ * This module does not decide anything. The proposing agent reads the
+ * subsystem diagrams, queries the existing containers, reasons, and writes
+ * its own rationale; what lives here is only the mechanical part of that
+ * loop:
  *
- *   - every container needs a technology
- *   - every element needs a description
- *   - a container is a runtime boundary, so a library is not one
- *   - a container cannot straddle two software systems
+ *   - `proposeElements` — the proposal scaffold: skip keys containers
+ *     already claim, skip boundaries no container can be discerned from
+ *     (no runtime code behind them)
+ *   - `verifyProcessBoundaries` — a boundary's verification status, read
+ *     off the claiming container
+ *   - `verificationIssues` — those statuses as dynamic-topology findings,
+ *     so verification surfaces through the standard diagnostics pipeline
+ *   - `findUnassigned` — runtime components no `process` names at all
  *
- * The output is a set of concerns. Resolving one is the agent's job, and the
- * answer lands in an element's `rationale`.
+ * Judgements — is this the same unit under a different name? is one function
+ * a deployable unit? — belong to the agent and the human, never to a
+ * matcher.
  */
 import type { C4ContainerKind, C4Element, C4ElementSet } from './c4';
-/** What a concern is about — a derived key, or an existing element id. */
-export interface C4Concern {
-    /** The process key, module path, or element id this concerns. */
-    target: string;
-    kind: C4ConcernKind;
-    message: string;
-    /** Aliases that triggered it. */
-    members?: string[];
-}
-/**
- * The questions worth a human's attention.
- *
- * Each maps to something an agent cannot settle by reading a string — it has
- * to open the source, or ask the user.
- */
-export type C4ConcernKind = 
-/** two or more process keys may be the same deployable unit */
-'merge_candidate'
-/** exactly one member — a lone function is not a deployable unit */
- | 'singleton'
-/** no member executes at runtime — a library is not a container */
- | 'library_shaped'
-/** a store whose storage kind was never decided */
- | 'store_unclassified'
-/** members claim more than one repo — a container cannot straddle systems */
- | 'spans_repos'
-/** an external with no resolvable identity */
- | 'external_unidentified'
-/** a runtime component with no process at all */
- | 'unassigned'
-/** C4 requires technology on every container */
- | 'missing_technology';
-/** The fields a concern check reads off a component. */
+import type { SubsystemIssue } from './IssueList';
+/** The fields the propose/verify gates read off a component. */
 export interface C4MemberView {
     alias: string;
     construct: string;
@@ -60,31 +34,6 @@ export interface C4MemberView {
 }
 /** True when a component runs, and so can be part of a deployable unit. */
 export declare function isRuntimeConstruct(construct: string): boolean;
-/**
- * Derive the questions worth asking about one candidate element.
- *
- * Pure over the rollup, so it runs identically against a single model, the 40
- * composed models, or a fixture. Pure *questions* — it never proposes an
- * answer, because the answers are architectural.
- */
-export declare function deriveConcerns(key: string, members: readonly C4MemberView[], tech?: {
-    frameworks: readonly string[];
-}): C4Concern[];
-/**
- * Suggest merges between keys that share a trailing role.
- *
- * `subsystems-studio/host` and `principal-studio/host` are the same role under
- * two app names. This is a *question*, never a merge — only the user knows
- * whether they are one process or two.
- */
-export declare function suggestMerges(rollup: ReadonlyArray<{
-    key: string;
-    memberCount: number;
-}>): Array<{
-    role: string;
-    keys: string[];
-    reason: string;
-}>;
 /**
  * Runtime components that state no `process` at all.
  *
@@ -94,26 +43,80 @@ export declare function suggestMerges(rollup: ReadonlyArray<{
  */
 export declare function findUnassigned(members: readonly C4MemberView[]): C4MemberView[];
 /**
- * Fold a decided merge into an element set.
+ * How far a process boundary has travelled toward being a container.
  *
- * Two process keys that are really one container become ONE element holding
- * both sets of members. The survivor keeps the id, label, and confirmed
- * attributes; the other disappears and its members move across.
+ * A boundary starts `unassigned` — no container claims it. Proposing an
+ * element for it (see `proposeElements`) assigns the boundary to a container,
+ * which reads as `proposed` until a human decides. `accepted` verifies the
+ * boundary: someone approved this run of code as one deployable unit.
+ * `rejected` means the proposal was wrong and the boundary should not be
+ * drawn as a box.
+ */
+export type C4ProcessVerification = 'unassigned' | 'proposed' | 'rejected' | 'verified';
+/** One process boundary's assignment and its review state. */
+export interface C4ProcessBoundaryStatus {
+    /** The `process` key, e.g. `principal-studio/host`. */
+    key: string;
+    /** Aliases carrying this key in the model, when the caller supplied them. */
+    memberAliases: string[];
+    status: C4ProcessVerification;
+    /** The container whose state decided the status. Absent when `unassigned`. */
+    element?: C4Element;
+}
+/**
+ * Read a process boundary's verification off its container assignment.
  *
- * Which side survives is the **evidence-heavy** one — the element holding more
- * members — because folding the 113-member host into the 1-member one would
- * leave the box labelled after an almost-empty process and lose its confirmed
- * technology. Pass `preferId` to override.
+ * The claimant is the container whose `process` equals the boundary's key —
+ * a plain string match, no indirection. Two keys that are one deployable unit
+ * under two names are fixed in the model document (a consolidation proposal
+ * rewrites the components' `process` fields), so the reader never sees a
+ * discrepancy to resolve. When several containers claim one key (a
+ * hand-edited set can do this), the decided one wins: accepted over rejected
+ * over proposed, so one reviewer's yes outranks another's no.
  *
- * Returns a new set; the input is untouched. Idempotent.
+ * Pure: the same rollup and elements always read the same. `rollup` accepts
+ * `SubsystemProcessRegion`s directly — only `key` and `memberAliases` are read.
  */
-export declare function mergeElements(elements: readonly C4Element[], derivedFromKeys: readonly string[], preferId?: string, memberCountByKey?: ReadonlyMap<string, number>): C4Element[];
+export declare function verifyProcessBoundaries(options: {
+    rollup: ReadonlyArray<{
+        key: string;
+        memberAliases?: readonly string[];
+    }>;
+    elements: readonly C4Element[];
+}): C4ProcessBoundaryStatus[];
 /**
- * A starting point for an agent: one proposed element per derived key, shaped
- * by the mechanical evidence, with the open questions in the rationale.
+ * Verification statuses as diagnostics findings — the dynamic-topology layer
+ * of the issues list. One finding per boundary that is NOT verified: an
+ * unclaimed boundary is the absence a proposing agent run resolves, a
+ * `proposed` one awaits the human's decision, a `rejected` one records that
+ * the decision was no. `verified` reports nothing — the audit reports
+ * absence only, and silence is the good state.
+ *
+ * The findings ride the existing pipeline untouched: they badge the process
+ * frame (target kind `process`), list under Dynamic topology, focus their
+ * members on click, and carry the fix the decision needs. Pure over its
+ * input, like the rest of this module.
+ */
+export declare function verificationIssues(statuses: readonly C4ProcessBoundaryStatus[]): SubsystemIssue[];
+/**
+ * A starting point for an agent, shaped by the two questions that matter when
+ * assessing a process boundary:
+ *
+ *   1. **Does a container already exist for it?** (`elements`) — a key one
+ *      already claims is never re-proposed; proposing another would be
+ *      exactly the duplicate this module exists to prevent. The exact claim
+ *      is a fact and skipped here; whether a *similarly named* container is
+ *      the same unit is a judgement, so it belongs to the agent querying the
+ *      container list — the fix there is a consolidation proposal, not a
+ *      second box.
+ *   2. **Can the boundary be discerned into a container?** — code that never
+ *      runs cannot be, so a library-shaped group gets no proposal; that
+ *      fact is the agent's to report, not the scaffold's.
  *
- * Every element comes back `proposed`. This is a scaffold to edit and argue
- * with — not an answer, and never `accepted`.
+ * For boundaries passing both, one `proposed` container per key. The
+ * rationale is the proposing agent's own reasoning, written on the proposal
+ * it POSTs — this scaffold does not fabricate one. A scaffold to edit and
+ * argue with — not an answer, and never `accepted`.
  */
 export declare function proposeElements(options: {
     repoKey: string;
@@ -122,7 +125,8 @@ export declare function proposeElements(options: {
         members: readonly C4MemberView[];
         frameworks: readonly string[];
     }>;
-    author?: string;
+    /** Containers that already exist (from the element store), by `process` claim. */
+    elements?: readonly C4Element[];
 }): C4ElementSet;
 /**
  * A first guess at what sort of container this is, offered as a *default* for

package/dist/subsystem/c4Evidence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"c4Evidence.d.ts","sourceRoot":"","sources":["../../src/subsystem/c4Evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAe,eAAe,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,MAAM,CAAC;AAElF,0EAA0E;AAC1E,MAAM,WAAW,SAAS;IACxB,iEAAiE;IACjE,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;;;;GAKG;AACH,MAAM,MAAM,aAAa;AACvB,+DAA+D;AAC7D,iBAAiB;AACnB,oEAAoE;GAClE,WAAW;AACb,mEAAmE;GACjE,gBAAgB;AAClB,mDAAmD;GACjD,oBAAoB;AACtB,6EAA6E;GAC3E,aAAa;AACf,8CAA8C;GAC5C,uBAAuB;AACzB,iDAAiD;GAC/C,YAAY;AACd,gDAAgD;GAC9C,oBAAoB,CAAC;AAEzB,wDAAwD;AACxD,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAUD,2EAA2E;AAC3E,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAE7D;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,SAAS,YAAY,EAAE,EAChC,IAAI,GAAE;IAAE,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;CAAuB,GAC3D,SAAS,EAAE,CAwEb;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,aAAa,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,GAC1D,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAoBzD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,YAAY,EAAE,CAE/E;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,SAAS,SAAS,EAAE,EAC9B,eAAe,EAAE,SAAS,MAAM,EAAE,EAClC,QAAQ,CAAC,EAAE,MAAM,EACjB,gBAAgB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7C,SAAS,EAAE,CAwCb;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE;IACP,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,aAAa,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;QAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IACxG,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACA,YAAY,CAyBd;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,eAAe,CAOtF"}
+{"version":3,"file":"c4Evidence.d.ts","sourceRoot":"","sources":["../../src/subsystem/c4Evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAe,eAAe,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,MAAM,CAAC;AAClF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAElD,gEAAgE;AAChE,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAUD,2EAA2E;AAC3E,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAE7D;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,YAAY,EAAE,CAE/E;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,qBAAqB,GAC7B,YAAY,GACZ,UAAU,GACV,UAAU,GACV,UAAU,CAAC;AAEf,8DAA8D;AAC9D,MAAM,WAAW,uBAAuB;IACtC,uDAAuD;IACvD,GAAG,EAAE,MAAM,CAAC;IACZ,6EAA6E;IAC7E,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,MAAM,EAAE,qBAAqB,CAAC;IAC9B,8EAA8E;IAC9E,OAAO,CAAC,EAAE,SAAS,CAAC;CACrB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE;IAC/C,MAAM,EAAE,aAAa,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAC1E,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;CAChC,GAAG,uBAAuB,EAAE,CAsB5B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,SAAS,uBAAuB,EAAE,GAC3C,cAAc,EAAE,CAyBlB;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,aAAa,CAAC;QACpB,GAAG,EAAE,MAAM,CAAC;QACZ,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;QACjC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;KAC/B,CAAC,CAAC;IACH,kFAAkF;IAClF,QAAQ,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;CACjC,GAAG,YAAY,CA6Bf;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,eAAe,CAOtF"}