@principal-ai/subsystems-react 0.51.4 → 0.53.0

package/dist/subsystem/c4Evidence.js

@@ -1,18 +1,23 @@
 /**
- * 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.
  */
 /** Constructs that execute at runtime — the only things a container can be. */
 const RUNTIME_CONSTRUCTS = new Set(['function', 'class', 'custom_entity']);
@@ -24,105 +29,6 @@ function storageOf(m) {
 export function isRuntimeConstruct(construct) {
     return RUNTIME_CONSTRUCTS.has(construct);
 }
-/**
- * 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 function deriveConcerns(key, members, tech = { frameworks: [] }) {
-    const out = [];
-    const aliases = members.map((m) => m.alias);
-    const runtime = members.filter((m) => isRuntimeConstruct(m.construct));
-    if (members.length === 1) {
-        out.push({
-            target: key,
-            kind: 'singleton',
-            message: `process "${key}" has exactly one member (${aliases[0]}) — a lone function is not a deployable unit`,
-            members: aliases,
-        });
-    }
-    // No member executes at runtime ⇒ this cannot be a deployable unit,
-    // regardless of how many members it has. A lone interface and a package of
-    // interfaces fail the same way.
-    if (members.length > 0 && runtime.length === 0) {
-        out.push({
-            target: key,
-            kind: 'library_shaped',
-            message: `process "${key}" has ${members.length} member(s) but none execute at runtime (${[...new Set(members.map((m) => m.construct))].join(', ')}) — this reads as a library, not a container`,
-            members: aliases,
-        });
-    }
-    if (runtime.length > 0 && tech.frameworks.length === 0) {
-        out.push({
-            target: key,
-            kind: 'missing_technology',
-            message: `container "${key}" has no framework signal — C4 requires a technology on every container`,
-            members: aliases,
-        });
-    }
-    const repos = new Set(members
-        .map((m) => (m.purl ?? '').split('#')[0])
-        .filter((r) => r && !r.startsWith('external:')));
-    if (repos.size > 1) {
-        out.push({
-            target: key,
-            kind: 'spans_repos',
-            message: `process "${key}" spans ${repos.size} repo keys (${[...repos].join(', ')}) — a C4 container cannot straddle a system boundary`,
-            members: aliases,
-        });
-    }
-    const unclassified = members.filter((m) => m.construct === 'store' && !storageOf(m));
-    if (unclassified.length > 0) {
-        out.push({
-            target: key,
-            kind: 'store_unclassified',
-            message: `${unclassified.length} store(s) in "${key}" declare no storage kind (${unclassified.map((m) => m.alias).join(', ')}) — decide whether each is a C4 data store or an internal detail`,
-            members: unclassified.map((m) => m.alias),
-        });
-    }
-    const unidentified = members.filter((m) => m.construct === 'external' && (!m.purl || m.purl === 'external' || m.purl.startsWith('external:proposed')));
-    if (unidentified.length > 0) {
-        out.push({
-            target: key,
-            kind: 'external_unidentified',
-            message: `${unidentified.length} external(s) have no resolvable identity (${unidentified.map((m) => m.alias).join(', ')}) — a C4 box named "external" is not a diagram`,
-            members: unidentified.map((m) => m.alias),
-        });
-    }
-    return out;
-}
-/**
- * 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 function suggestMerges(rollup) {
-    const byRole = new Map();
-    for (const { key } of rollup) {
-        const slash = key.lastIndexOf('/');
-        if (slash <= 0)
-            continue; // a bare key has no app/role shape
-        const role = key.slice(slash + 1);
-        const list = byRole.get(role) ?? [];
-        list.push(key);
-        byRole.set(role, list);
-    }
-    const out = [];
-    for (const [role, keys] of [...byRole].sort((a, b) => a[0].localeCompare(b[0]))) {
-        if (keys.length < 2)
-            continue;
-        out.push({
-            role,
-            keys: [...keys].sort(),
-            reason: `${keys.length} process keys end in "/${role}" (${[...keys].sort().join(', ')}) — one deployable unit under two names, or two units?`,
-        });
-    }
-    return out;
-}
 /**
  * Runtime components that state no `process` at all.
  *
@@ -134,69 +40,112 @@ export function findUnassigned(members) {
     return members.filter((m) => !m.process && isRuntimeConstruct(m.construct));
 }
 /**
- * Fold a decided merge into an element set.
+ * Read a process boundary's verification off its container assignment.
  *
- * 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.
+ * 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.
  *
- * 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.
- *
- * 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 function mergeElements(elements, derivedFromKeys, preferId, memberCountByKey) {
-    const wanted = new Set(derivedFromKeys.map((k) => k.trim()).filter(Boolean));
-    if (wanted.size < 2)
-        return [...elements];
-    const involved = elements.filter((e) => e.derivedFrom?.some((k) => wanted.has(k)));
-    if (involved.length < 2)
-        return [...elements];
-    // Only containers merge. A component has a required `container` field, and
-    // folding one into another would silently repoint it at a new parent.
-    if (involved.some((e) => e.kind !== 'container'))
-        return [...elements];
-    const weight = (e) => {
-        if (memberCountByKey) {
-            let n = 0;
-            for (const k of e.derivedFrom ?? [])
-                n += memberCountByKey.get(k) ?? 0;
-            return n;
+export function verifyProcessBoundaries(options) {
+    const byKey = new Map();
+    for (const e of options.elements) {
+        if (e.kind !== 'container' || !e.process)
+            continue;
+        const list = byKey.get(e.process) ?? [];
+        list.push(e);
+        byKey.set(e.process, list);
+    }
+    const precedence = { accepted: 0, rejected: 1, proposed: 2 };
+    return options.rollup.map(({ key, memberAliases }) => {
+        const aliases = [...(memberAliases ?? [])];
+        const claimants = byKey.get(key) ?? [];
+        if (claimants.length === 0) {
+            return { key, memberAliases: aliases, status: 'unassigned' };
         }
-        return e.members.length;
-    };
-    const survivor = (preferId ? involved.find((e) => e.id === preferId) : undefined) ??
-        [...involved].sort((a, b) => weight(b) - weight(a) || a.id.localeCompare(b.id))[0];
-    const absorbed = involved.filter((e) => e.id !== survivor.id);
-    const absorbedIds = new Set(absorbed.map((e) => e.id));
-    const merged = {
-        ...survivor,
-        members: [...new Set([...survivor.members, ...absorbed.flatMap((e) => e.members)])],
-        derivedFrom: [
-            ...new Set([...(survivor.derivedFrom ?? []), ...absorbed.flatMap((e) => e.derivedFrom ?? [])]),
-        ],
-        rationale: [survivor.rationale, ...absorbed.map((e) => e.rationale)].filter(Boolean).join(' | ') ||
-            undefined,
-    };
-    return [...elements.filter((e) => e.id !== survivor.id && !absorbedIds.has(e.id)), merged].sort((a, b) => a.id.localeCompare(b.id));
+        const decided = [...claimants].sort((a, b) => precedence[a.state] - precedence[b.state] || a.id.localeCompare(b.id))[0];
+        const status = decided.state === 'accepted' ? 'verified' : decided.state;
+        return { key, memberAliases: aliases, status, element: decided };
+    });
 }
 /**
- * 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.
  *
- * Every element comes back `proposed`. This is a scaffold to edit and argue
- * with — not an answer, and never `accepted`.
+ * 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 function verificationIssues(statuses) {
+    const out = [];
+    for (const { key, status, element } of statuses) {
+        if (status === 'verified')
+            continue;
+        const label = element?.label ?? key;
+        out.push({
+            id: `process-verification:${key}`,
+            severity: 'info',
+            kind: `boundary_process_${status}`,
+            message: status === 'unassigned'
+                ? `No C4 container claims this process boundary yet — a proposing agent run would scaffold one.`
+                : status === 'proposed'
+                    ? `Container "${label}" claims this boundary and awaits a decision.`
+                    : `Container "${label}" was rejected for this boundary — it stays unclaimed until a container is accepted.`,
+            target: { kind: 'process', id: key, label: key },
+            fix: status === 'unassigned'
+                ? { label: 'Propose container' }
+                : status === 'proposed'
+                    ? { label: 'Accept container' }
+                    : undefined,
+        });
+    }
+    return out;
+}
+/**
+ * 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.
+ *
+ * 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 function proposeElements(options) {
-    const elements = options.rollup.map(({ key, members, frameworks }) => {
-        const concerns = deriveConcerns(key, members, { frameworks });
-        return {
+    const existing = options.elements ?? [];
+    const claimed = new Set(existing.flatMap((e) => (e.kind === 'container' && e.process ? [e.process] : [])));
+    const elements = [];
+    for (const { key, members, frameworks } of options.rollup) {
+        if (claimed.has(key))
+            continue; // already covered — exact claim, a fact
+        const runtime = members.filter((m) => isRuntimeConstruct(m.construct));
+        if (members.length > 0 && runtime.length === 0)
+            continue; // not discernible: code that never runs
+        elements.push({
             id: `container:${key}`,
             kind: 'container',
-            members: members.map((m) => m.alias),
-            derivedFrom: [key],
+            process: key,
             label: key,
             containerKind: suggestContainerKind(members),
             // C4 requires a technology on every container. With no framework signal
@@ -205,10 +154,8 @@ export function proposeElements(options) {
             // module stopped doing.
             technology: frameworks.length > 0 ? frameworks.join(' + ') : '',
             state: 'proposed',
-            rationale: concerns.map((c) => c.message).join(' ') || undefined,
-            author: options.author,
-        };
-    });
+        });
+    }
     return {
         repoKey: options.repoKey,
         elements: elements.sort((a, b) => a.id.localeCompare(b.id)),

package/dist/subsystem/c4Evidence.js.map

@@ -1 +1 @@
-{"version":3,"file":"c4Evidence.js","sourceRoot":"","sources":["../../src/subsystem/c4Evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAkDH,+EAA+E;AAC/E,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC;AAE3E,SAAS,SAAS,CAAC,CAAe;IAChC,MAAM,CAAC,GAAG,CAAC,CAAC,WAA8D,CAAC;IAC3E,OAAO,CAAC,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC5B,GAAW,EACX,OAAgC,EAChC,OAA0C,EAAE,UAAU,EAAE,EAAE,EAAE;IAE5D,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAEvE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE;QACxB,GAAG,CAAC,IAAI,CAAC;YACP,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,YAAY,GAAG,6BAA6B,OAAO,CAAC,CAAC,CAAC,8CAA8C;YAC7G,OAAO,EAAE,OAAO;SACjB,CAAC,CAAC;KACJ;IAED,oEAAoE;IACpE,2EAA2E;IAC3E,gCAAgC;IAChC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE;QAC9C,GAAG,CAAC,IAAI,CAAC;YACP,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,YAAY,GAAG,SAAS,OAAO,CAAC,MAAM,2CAA2C,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,8CAA8C;YAChM,OAAO,EAAE,OAAO;SACjB,CAAC,CAAC;KACJ;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE;QACtD,GAAG,CAAC,IAAI,CAAC;YACP,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,cAAc,GAAG,yEAAyE;YACnG,OAAO,EAAE,OAAO;SACjB,CAAC,CAAC;KACJ;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,OAAO;SACJ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;SACxC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAClD,CAAC;IACF,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE;QAClB,GAAG,CAAC,IAAI,CAAC;YACP,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,YAAY,GAAG,WAAW,KAAK,CAAC,IAAI,eAAe,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sDAAsD;YACvI,OAAO,EAAE,OAAO;SACjB,CAAC,CAAC;KACJ;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE;QAC3B,GAAG,CAAC,IAAI,CAAC;YACP,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,GAAG,YAAY,CAAC,MAAM,iBAAiB,GAAG,8BAA8B,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,kEAAkE;YAC9L,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;SAC1C,CAAC,CAAC;KACJ;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC,CAClH,CAAC;IACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE;QAC3B,GAAG,CAAC,IAAI,CAAC;YACP,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,uBAAuB;YAC7B,OAAO,EAAE,GAAG,YAAY,CAAC,MAAM,6CAA6C,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,gDAAgD;YACvK,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;SAC1C,CAAC,CAAC;KACJ;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,MAA2D;IAE3D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,MAAM,EAAE;QAC5B,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,KAAK,IAAI,CAAC;YAAE,SAAS,CAAC,mCAAmC;QAC7D,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;KACxB;IACD,MAAM,GAAG,GAA4D,EAAE,CAAC;IACxE,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;QAC/E,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC9B,GAAG,CAAC,IAAI,CAAC;YACP,IAAI;YACJ,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE;YACtB,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,0BAA0B,IAAI,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,wDAAwD;SAC9I,CAAC,CAAC;KACJ;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,OAAgC;IAC7D,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,aAAa,CAC3B,QAA8B,EAC9B,eAAkC,EAClC,QAAiB,EACjB,gBAA8C;IAE9C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;IAE1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;IAC9C,2EAA2E;IAC3E,sEAAsE;IACtE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;QAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;IAEvE,MAAM,MAAM,GAAG,CAAC,CAAY,EAAU,EAAE;QACtC,IAAI,gBAAgB,EAAE;YACpB,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,IAAI,EAAE;gBAAE,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACvE,OAAO,CAAC,CAAC;SACV;QACD,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IAC1B,CAAC,CAAC;IAEF,MAAM,QAAQ,GACZ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChE,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC;IAEtF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEvD,MAAM,MAAM,GAAgB;QAC1B,GAAI,QAAwB;QAC5B,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnF,WAAW,EAAE;YACX,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC;SAC/F;QACD,SAAS,EACP,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;YACrF,SAAS;KACZ,CAAC;IAEF,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAC7F,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CACnC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,OAIC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE;QACnE,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;QAC9D,OAAO;YACL,EAAE,EAAE,aAAa,GAAG,EAAE;YACtB,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;YACpC,WAAW,EAAE,CAAC,GAAG,CAAC;YAClB,KAAK,EAAE,GAAG;YACV,aAAa,EAAE,oBAAoB,CAAC,OAAO,CAAC;YAC5C,wEAAwE;YACxE,oEAAoE;YACpE,mEAAmE;YACnE,wBAAwB;YACxB,UAAU,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;YAC/D,KAAK,EAAE,UAAmB;YAC1B,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS;YAChE,MAAM,EAAE,OAAO,CAAC,MAAM;SACvB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAgC;IACnE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE;QACrB,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;QAC5F,OAAO,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC;KAChD;IACD,OAAO,aAAa,CAAC;AACvB,CAAC"}
+{"version":3,"file":"c4Evidence.js","sourceRoot":"","sources":["../../src/subsystem/c4Evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAiBH,+EAA+E;AAC/E,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC;AAE3E,SAAS,SAAS,CAAC,CAAe;IAChC,MAAM,CAAC,GAAG,CAAC,CAAC,WAA8D,CAAC;IAC3E,OAAO,CAAC,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,OAAgC;IAC7D,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAC9E,CAAC;AA6BD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAGvC;IACC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,EAAE;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,CAAC,OAAO;YAAE,SAAS;QACnD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACb,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;KAC5B;IAED,MAAM,UAAU,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAW,CAAC;IACtE,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;QACnD,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACvC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE;YAC1B,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,YAAqB,EAAE,CAAC;SACvE;QACD,MAAM,OAAO,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAChF,CAAC,CAAC,CAAE,CAAC;QACN,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAE,UAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;QACpF,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAA4C;IAE5C,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,KAAK,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,QAAQ,EAAE;QAC/C,IAAI,MAAM,KAAK,UAAU;YAAE,SAAS;QACpC,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,IAAI,GAAG,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,wBAAwB,GAAG,EAAE;YACjC,QAAQ,EAAE,MAAM;YAChB,IAAI,EAAE,oBAAoB,MAAM,EAAE;YAClC,OAAO,EACL,MAAM,KAAK,YAAY;gBACrB,CAAC,CAAC,8FAA8F;gBAChG,CAAC,CAAC,MAAM,KAAK,UAAU;oBACrB,CAAC,CAAC,cAAc,KAAK,+CAA+C;oBACpE,CAAC,CAAC,cAAc,KAAK,sFAAsF;YACjH,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;YAChD,GAAG,EACD,MAAM,KAAK,YAAY;gBACrB,CAAC,CAAC,EAAE,KAAK,EAAE,mBAAmB,EAAE;gBAChC,CAAC,CAAC,MAAM,KAAK,UAAU;oBACrB,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE;oBAC/B,CAAC,CAAC,SAAS;SAClB,CAAC,CAAC;KACJ;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,eAAe,CAAC,OAS/B;IACC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAE3G,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,OAAO,CAAC,MAAM,EAAE;QACzD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,wCAAwC;QACxE,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QACvE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS,CAAC,wCAAwC;QAElG,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,aAAa,GAAG,EAAE;YACtB,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,GAAG;YACV,aAAa,EAAE,oBAAoB,CAAC,OAAO,CAAC;YAC5C,wEAAwE;YACxE,oEAAoE;YACpE,mEAAmE;YACnE,wBAAwB;YACxB,UAAU,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;YAC/D,KAAK,EAAE,UAAU;SAClB,CAAC,CAAC;KACJ;IAED,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAgC;IACnE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE;QACrB,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;QAC5F,OAAO,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC;KAChD;IACD,OAAO,aAAa,CAAC;AACvB,CAAC"}