@action-state-group/capsule-viewer 0.0.0 → 0.1.0

package/dist/compliance.js

@@ -0,0 +1,333 @@
+// SPDX-License-Identifier: BSD-3-Clause
+import { asString, isObject, } from "@action-state-group/agent-action-capsule";
+import { findTranscript, NOT_STATED, readableId, } from "@action-state-group/agent-action-capsule";
+import { REQUIREMENT_CLAIM, } from "@action-state-group/agent-action-capsule";
+/**
+ * The EU AI Act obligations-report card, rendered from a verified Result v0
+ * root. Results are stated as counts of sessions per TEST; there is no
+ * per-conversation roll-up and no overall compliance percentage anywhere in
+ * this model.
+ *
+ * Where each thing on the page comes from:
+ *
+ * - From the sealed records (or "not stated"): which obligations and tests
+ *   exist (the requirement claims' `requirement_ref`s, `<obligation>.<test>`,
+ *   in the order the claims first name them), every verdict and count, the
+ *   pack id and version (the claims' one `contract_ref`), each test's wording
+ *   (the cited reports' `clause_claim`, when they all agree), each test's
+ *   tier (the cited reports' `epistemic_type`, when they all agree), the
+ *   contract and judge pin, the rationale, and the transcript (only when the
+ *   bundle carries it verifiably; see `findTranscript`).
+ * - From the producer's `eu-ai-act-compliance/v1` extension, outside the
+ *   signed records: the regulatory mapping -- article, obligation title,
+ *   plain-language summary, applicability, method, the not-evaluable note and
+ *   the finding templates (severity, recommendation, owner). The page labels
+ *   it as the producer's mapping. An obligation the claims name but the
+ *   extension does not map reads "not stated"; a test the extension names but
+ *   no claim does is not drawn.
+ *
+ * A finding is drawn only for a test whose finding template exists AND whose
+ * sealed not-met count is above zero.
+ */
+const CLAIM_ID_SEPARATOR = "::";
+function drawnVerdict(claim) {
+    if (claim.failed)
+        return "failed";
+    if (claim.support === "unsupported")
+        return "unsupported";
+    return claim.verdict;
+}
+/**
+ * The claim's cited `evaluation-report/v1`, resolved against this bundle.
+ * A book record's own agent_input is the book's header, not the report: the
+ * report is the agent_input of the capsule the record carries
+ * (`carriedInput`, digest-checked by result-root.ts).
+ */
+function reportPayload(records, claim) {
+    const digest = claim.evidence[0]?.digest;
+    if (digest === undefined)
+        return undefined;
+    const record = records.get(digest);
+    if (record === undefined)
+        return undefined;
+    const input = record.carriedInput ?? record.agentInput;
+    if (input.state !== "disclosed")
+        return undefined;
+    return isObject(input.payload) ? input.payload : undefined;
+}
+function dayOf(payload) {
+    const period = asString(payload?.period);
+    if (period === undefined)
+        return NOT_STATED;
+    const colon = period.indexOf(":");
+    return colon === -1 ? period : period.slice(colon + 1);
+}
+function sealedTier(payload) {
+    const type = asString(payload?.epistemic_type);
+    if (type === "semantic_judgment")
+        return "judged";
+    if (type === "recomputed_determination")
+        return "recomputed";
+    return "not stated";
+}
+function agree(values, none, mixed) {
+    const distinct = new Set(values.filter((v) => v !== none));
+    if (distinct.size === 0)
+        return none;
+    return distinct.size === 1 ? [...distinct][0] : mixed;
+}
+function parseClaim(claim) {
+    if (claim.type !== REQUIREMENT_CLAIM)
+        return undefined;
+    const sep = claim.id.indexOf(CLAIM_ID_SEPARATOR);
+    if (sep <= 0)
+        return undefined;
+    const dot = claim.requirementRef.indexOf(".");
+    if (dot <= 0 || dot === claim.requirementRef.length - 1)
+        return undefined;
+    return {
+        claim,
+        conversationId: claim.id.slice(0, sep),
+        obligationKey: claim.requirementRef.slice(0, dot),
+    };
+}
+/**
+ * The claims this card counts, and the pack they belong to. When the claims
+ * name one `contract_ref`, all of them. When they name more than one (a
+ * bundle carrying a different pack's claims too), only the claims whose test
+ * the producer's extension maps, and the pack reads not stated: a different
+ * pack's claim is never grouped into this card's sessions.
+ */
+function countedClaims(result, presentation) {
+    const parsed = result.claims.flatMap((c) => {
+        const p = parseClaim(c);
+        return p === undefined ? [] : [p];
+    });
+    const refs = new Set(parsed.map((p) => p.claim.contractRef));
+    if (refs.size === 1) {
+        const ref = [...refs][0];
+        const at = ref.lastIndexOf("@");
+        return {
+            claims: parsed,
+            pack: {
+                id: at <= 0 ? NOT_STATED : ref.slice(0, at),
+                version: at <= 0 || at === ref.length - 1 ? NOT_STATED : ref.slice(at + 1),
+            },
+        };
+    }
+    const mapped = new Set(presentation.obligations.flatMap((o) => o.rows.map((r) => r.criterionId)));
+    return {
+        claims: parsed.filter((p) => mapped.has(p.claim.requirementRef)),
+        pack: { id: NOT_STATED, version: NOT_STATED },
+    };
+}
+function buildSessions(result, claims, testIds) {
+    const byConversation = new Map();
+    for (const p of claims) {
+        const list = byConversation.get(p.conversationId) ?? [];
+        list.push(p.claim);
+        byConversation.set(p.conversationId, list);
+    }
+    const sessions = [];
+    for (const [conversationId, conversationClaims] of byConversation) {
+        const tests = [];
+        const sources = new Set();
+        let day = NOT_STATED;
+        for (const criterionId of testIds) {
+            const claim = conversationClaims.find((c) => c.requirementRef === criterionId);
+            if (claim === undefined) {
+                // The Result v0 schema has no not_applicable verdict: a test the
+                // roll-up left out for this conversation reads not_applicable,
+                // never a silent gap.
+                tests.push({
+                    criterionId,
+                    verdict: "not_applicable",
+                    tier: "not stated",
+                });
+                continue;
+            }
+            const payload = reportPayload(result.records, claim);
+            const rationale = asString(payload?.rationale);
+            // The Result's own schema-checked contract_ref first, then what the
+            // report states.
+            const contract = claim.contractRef ||
+                asString(payload?.contract_ref) ||
+                asString(payload?.contract);
+            const judgePinDigest = asString(payload?.judge_pin_digest);
+            const source = asString(payload?.source_capsule_id);
+            if (source !== undefined)
+                sources.add(source);
+            if (day === NOT_STATED)
+                day = dayOf(payload);
+            const reportDigest = claim.evidence[0]?.digest;
+            tests.push({
+                criterionId,
+                verdict: drawnVerdict(claim),
+                tier: sealedTier(payload),
+                claim,
+                ...(reportDigest === undefined ? {} : { reportDigest }),
+                ...(rationale === undefined ? {} : { rationale }),
+                ...(contract === undefined ? {} : { contract }),
+                ...(judgePinDigest === undefined ? {} : { judgePinDigest }),
+            });
+        }
+        const sourceCapsuleId = sources.size === 1 ? [...sources][0] : undefined;
+        sessions.push({
+            conversationId,
+            day,
+            tests,
+            ...(sourceCapsuleId === undefined ? {} : { sourceCapsuleId }),
+            transcript: findTranscript(result, conversationId, conversationClaims, sourceCapsuleId),
+        });
+    }
+    sessions.sort((a, b) => a.day === b.day
+        ? a.conversationId.localeCompare(b.conversationId)
+        : a.day.localeCompare(b.day));
+    return sessions;
+}
+function sealedWording(result, claims, criterionId) {
+    const texts = new Set();
+    for (const p of claims) {
+        if (p.claim.requirementRef !== criterionId)
+            continue;
+        const text = asString(reportPayload(result.records, p.claim)?.clause_claim);
+        if (text !== undefined)
+            texts.add(text);
+    }
+    if (texts.size === 1)
+        return { text: [...texts][0], source: "sealed" };
+    return { text: NOT_STATED, source: texts.size === 0 ? "unstated" : "mixed" };
+}
+function buildRow(criterionId, mapping, wording, sessions) {
+    const byVerdict = new Map([
+        ["met", []],
+        ["not_met", []],
+        ["not_evaluable", []],
+        ["not_applicable", []],
+    ]);
+    const tiers = [];
+    for (const session of sessions) {
+        const test = session.tests.find((t) => t.criterionId === criterionId);
+        if (test === undefined)
+            continue;
+        tiers.push(test.tier);
+        // failed/unsupported (a claim that failed verification, or cites
+        // evidence this bundle can't resolve) is never read as met: it folds
+        // into not_met.
+        const bucket = test.verdict === "failed" || test.verdict === "unsupported"
+            ? "not_met"
+            : test.verdict;
+        byVerdict.get(bucket).push(session.conversationId);
+    }
+    return {
+        criterionId,
+        name: mapping?.name ??
+            readableId(criterionId.slice(criterionId.indexOf(".") + 1)),
+        wording,
+        tier: agree(tiers, "not stated", "mixed"),
+        ...(mapping?.notEvaluableNote === undefined
+            ? {}
+            : { notEvaluableNote: mapping.notEvaluableNote }),
+        ...(mapping?.finding === undefined ? {} : { finding: mapping.finding }),
+        metCount: byVerdict.get("met").length,
+        notMetCount: byVerdict.get("not_met").length,
+        notEvaluableCount: byVerdict.get("not_evaluable").length,
+        notApplicableCount: byVerdict.get("not_applicable").length,
+        sessionsByVerdict: byVerdict,
+    };
+}
+function buildObligation(key, mapping, rows) {
+    if (mapping === undefined)
+        return {
+            key,
+            mapped: false,
+            article: NOT_STATED,
+            title: readableId(key),
+            plain: NOT_STATED,
+            judgedTerms: [],
+            applicability: { status: "not stated", note: NOT_STATED },
+            method: NOT_STATED,
+            rows,
+        };
+    return {
+        key,
+        mapped: true,
+        article: mapping.article,
+        title: mapping.title,
+        plain: mapping.plain,
+        judgedTerms: mapping.judgedTerms,
+        applicability: mapping.applicability,
+        method: mapping.method,
+        rows,
+    };
+}
+function buildRunInfo(sessions) {
+    const contracts = new Set();
+    const pins = new Set();
+    for (const session of sessions)
+        for (const test of session.tests) {
+            if (test.contract !== undefined)
+                contracts.add(test.contract);
+            if (test.judgePinDigest !== undefined)
+                pins.add(test.judgePinDigest);
+        }
+    return {
+        ...(contracts.size === 1 ? { contract: [...contracts][0] } : {}),
+        ...(pins.size === 1 ? { judgePinDigest: [...pins][0] } : {}),
+        pinned: contracts.size <= 1 && pins.size <= 1,
+    };
+}
+function buildFindings(obligations) {
+    const findings = [];
+    for (const obligation of obligations)
+        for (const row of obligation.rows) {
+            // Derived from the sealed verdicts: a test with no finding template
+            // can never produce one, and a test WITH one produces nothing when
+            // its not-met count is zero.
+            if (row.finding === undefined || row.notMetCount === 0)
+                continue;
+            findings.push({
+                id: row.finding.id,
+                criterionId: row.criterionId,
+                obligationKey: obligation.key,
+                article: obligation.article,
+                testName: row.name,
+                severity: row.finding.severity,
+                recommendation: row.finding.recommendation,
+                ownerDue: row.finding.ownerDue,
+                sessionIds: row.sessionsByVerdict.get("not_met") ?? [],
+            });
+        }
+    return findings;
+}
+export function buildComplianceModel(result, presentation) {
+    const { claims, pack } = countedClaims(result, presentation);
+    // Obligations and tests in the order the claims first name them.
+    const tests = new Map();
+    for (const p of claims) {
+        const list = tests.get(p.obligationKey) ?? [];
+        if (!list.includes(p.claim.requirementRef))
+            list.push(p.claim.requirementRef);
+        tests.set(p.obligationKey, list);
+    }
+    const testIds = [...tests.values()].flat();
+    const sessions = buildSessions(result, claims, testIds);
+    const mappings = new Map(presentation.obligations.map((o) => [o.key, o]));
+    const obligations = [...tests.entries()].map(([key, ids]) => {
+        const mapping = mappings.get(key);
+        const rowMappings = new Map((mapping?.rows ?? []).map((r) => [r.criterionId, r]));
+        return buildObligation(key, mapping, ids.map((id) => buildRow(id, rowMappings.get(id), sealedWording(result, claims, id), sessions)));
+    });
+    return {
+        regulation: presentation.regulation,
+        pack,
+        obligations,
+        sessions,
+        findings: buildFindings(obligations),
+        totalSessions: sessions.length,
+        runInfo: buildRunInfo(sessions),
+        qualityProtocol: presentation.qualityProtocol,
+        capsuleId: result.capsuleId,
+    };
+}
+//# sourceMappingURL=compliance.js.map

package/dist/compliance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compliance.js","sourceRoot":"","sources":["../src/compliance.ts"],"names":[],"mappings":"AAAA,wCAAwC;AACxC,OAAO,EACL,QAAQ,EACR,QAAQ,GAET,MAAM,0CAA0C,CAAC;AAQlD,OAAO,EACL,cAAc,EACd,UAAU,EACV,UAAU,GAEX,MAAM,0CAA0C,CAAC;AAClD,OAAO,EACL,iBAAiB,GAIlB,MAAM,0CAA0C,CAAC;AAElD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,MAAM,kBAAkB,GAAG,IAAI,CAAC;AA8GhC,SAAS,YAAY,CAAC,KAAkB;IACtC,IAAI,KAAK,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,KAAK,aAAa;QAAE,OAAO,aAAa,CAAC;IAC1D,OAAO,KAAK,CAAC,OAAO,CAAC;AACvB,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CACpB,OAAyC,EACzC,KAAkB;IAElB,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;IACzC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,UAAU,CAAC;IACvD,IAAI,KAAK,CAAC,KAAK,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAClD,OAAO,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED,SAAS,KAAK,CAAC,OAAgC;IAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,UAAU,CAAC,OAAgC;IAClD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IAC/C,IAAI,IAAI,KAAK,mBAAmB;QAAE,OAAO,QAAQ,CAAC;IAClD,IAAI,IAAI,KAAK,0BAA0B;QAAE,OAAO,YAAY,CAAC;IAC7D,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,KAAK,CAAmB,MAAoB,EAAE,IAAO,EAAE,KAAQ;IACtE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IAC3D,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AACzD,CAAC;AAQD,SAAS,UAAU,CAAC,KAAkB;IACpC,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,SAAS,CAAC;IACvD,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACjD,IAAI,GAAG,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,KAAK,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1E,OAAO;QACL,KAAK;QACL,cAAc,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QACtC,aAAa,EAAE,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;KAClD,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,aAAa,CACpB,MAAkB,EAClB,YAAoC;IAEpC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAiB,EAAE;QACxD,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACxB,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAChC,OAAO;YACL,MAAM,EAAE,MAAM;YACd,IAAI,EAAE;gBACJ,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;gBAC3C,OAAO,EACL,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;aACpE;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC1E,CAAC;IACF,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAChE,IAAI,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAkB,EAClB,MAA8B,EAC9B,OAA0B;IAE1B,MAAM,cAAc,GAAG,IAAI,GAAG,EAAyB,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;QACxD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACnB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,cAAc,EAAE,kBAAkB,CAAC,IAAI,cAAc,EAAE,CAAC;QAClE,MAAM,KAAK,GAAkB,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,IAAI,GAAG,GAAW,UAAU,CAAC;QAC7B,KAAK,MAAM,WAAW,IAAI,OAAO,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,WAAW,CACxC,CAAC;YACF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,iEAAiE;gBACjE,+DAA+D;gBAC/D,sBAAsB;gBACtB,KAAK,CAAC,IAAI,CAAC;oBACT,WAAW;oBACX,OAAO,EAAE,gBAAgB;oBACzB,IAAI,EAAE,YAAY;iBACnB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACrD,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAC/C,oEAAoE;YACpE,iBAAiB;YACjB,MAAM,QAAQ,GACZ,KAAK,CAAC,WAAW;gBACjB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;gBAC/B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC9B,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;YACpD,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,GAAG,KAAK,UAAU;gBAAE,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC;gBACT,WAAW;gBACX,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC;gBAC5B,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC;gBACzB,KAAK;gBACL,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;gBACvD,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;gBACjD,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;gBAC/C,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC;aAC5D,CAAC,CAAC;QACL,CAAC;QACD,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1E,QAAQ,CAAC,IAAI,CAAC;YACZ,cAAc;YACd,GAAG;YACH,KAAK;YACL,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC;YAC7D,UAAU,EAAE,cAAc,CACxB,MAAM,EACN,cAAc,EACd,kBAAkB,EAClB,eAAe,CAChB;SACF,CAAC,CAAC;IACL,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACrB,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG;QACb,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC;QAClD,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAC/B,CAAC;IACF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,aAAa,CACpB,MAAkB,EAClB,MAA8B,EAC9B,WAAmB;IAEnB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,KAAK,CAAC,cAAc,KAAK,WAAW;YAAE,SAAS;QACrD,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,CAAC;QAC5E,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC/E,CAAC;AAED,SAAS,QAAQ,CACf,WAAmB,EACnB,OAAkC,EAClC,OAAmB,EACnB,QAA4B;IAE5B,MAAM,SAAS,GAAG,IAAI,GAAG,CAGvB;QACA,CAAC,KAAK,EAAE,EAAE,CAAC;QACX,CAAC,SAAS,EAAE,EAAE,CAAC;QACf,CAAC,eAAe,EAAE,EAAE,CAAC;QACrB,CAAC,gBAAgB,EAAE,EAAE,CAAC;KACvB,CAAC,CAAC;IACH,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACtE,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,iEAAiE;QACjE,qEAAqE;QACrE,gBAAgB;QAChB,MAAM,MAAM,GACV,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,aAAa;YACzD,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;QACnB,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACtD,CAAC;IACD,OAAO;QACL,WAAW;QACX,IAAI,EACF,OAAO,EAAE,IAAI;YACb,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,OAAO;QACP,IAAI,EAAE,KAAK,CAAc,KAAK,EAAE,YAAY,EAAE,OAAO,CAAC;QACtD,GAAG,CAAC,OAAO,EAAE,gBAAgB,KAAK,SAAS;YACzC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;QACnD,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;QACvE,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,MAAM;QACtC,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC,MAAM;QAC7C,iBAAiB,EAAE,SAAS,CAAC,GAAG,CAAC,eAAe,CAAE,CAAC,MAAM;QACzD,kBAAkB,EAAE,SAAS,CAAC,GAAG,CAAC,gBAAgB,CAAE,CAAC,MAAM;QAC3D,iBAAiB,EAAE,SAAS;KAC7B,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,GAAW,EACX,OAAyC,EACzC,IAAmC;IAEnC,IAAI,OAAO,KAAK,SAAS;QACvB,OAAO;YACL,GAAG;YACH,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC;YACtB,KAAK,EAAE,UAAU;YACjB,WAAW,EAAE,EAAE;YACf,aAAa,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE;YACzD,MAAM,EAAE,UAAU;YAClB,IAAI;SACL,CAAC;IACJ,OAAO;QACL,GAAG;QACH,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI;KACL,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,QAA4B;IAChD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,OAAO,IAAI,QAAQ;QAC5B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;gBAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9D,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS;gBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACvE,CAAC;IACH,OAAO;QACL,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,WAAuC;IAEvC,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,KAAK,MAAM,UAAU,IAAI,WAAW;QAClC,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YAClC,oEAAoE;YACpE,mEAAmE;YACnE,6BAA6B;YAC7B,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,GAAG,CAAC,WAAW,KAAK,CAAC;gBAAE,SAAS;YACjE,QAAQ,CAAC,IAAI,CAAC;gBACZ,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE;gBAClB,WAAW,EAAE,GAAG,CAAC,WAAW;gBAC5B,aAAa,EAAE,UAAU,CAAC,GAAG;gBAC7B,OAAO,EAAE,UAAU,CAAC,OAAO;gBAC3B,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ;gBAC9B,cAAc,EAAE,GAAG,CAAC,OAAO,CAAC,cAAc;gBAC1C,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ;gBAC9B,UAAU,EAAE,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE;aACvD,CAAC,CAAC;QACL,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,MAAkB,EAClB,YAAoC;IAEpC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC7D,iEAAiE;IACjE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE;QAC1D,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,CAAC,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CACrD,CAAC;QACF,OAAO,eAAe,CACpB,GAAG,EACH,OAAO,EACP,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACb,QAAQ,CACN,EAAE,EACF,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EACnB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,EACjC,QAAQ,CACT,CACF,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO;QACL,UAAU,EAAE,YAAY,CAAC,UAAU;QACnC,IAAI;QACJ,WAAW;QACX,QAAQ;QACR,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC;QACpC,aAAa,EAAE,QAAQ,CAAC,MAAM;QAC9B,OAAO,EAAE,YAAY,CAAC,QAAQ,CAAC;QAC/B,eAAe,EAAE,YAAY,CAAC,eAAe;QAC7C,SAAS,EAAE,MAAM,CAAC,SAAS;KAC5B,CAAC;AACJ,CAAC"}

package/dist/composed-view.d.ts

@@ -0,0 +1,24 @@
+import { type ComposedResult } from "@action-state-group/agent-action-capsule";
+import type { PresentationModule } from "@action-state-group/agent-action-capsule";
+/**
+ * The composition section: a generic view of the `composed/v1` block's
+ * verification, as the verify core computed it (`composed.ts`). It reports
+ * what draft-mih-zhang-agent-disclosure-bundle-01 "Verifying composed/v1"
+ * says a verifier reports, separately: the composed digest, each member,
+ * composition closure, each join's declared and derived state, and per
+ * derived agreement whether it is redundant or corroborating on declared
+ * custody. It shows no product wording and names no party's business role;
+ * an observer's `role` is shown as the block declares it, uninterpreted.
+ *
+ * It never verifies: every value it shows is read from the context's one
+ * verification result.
+ */
+type Verified = Extract<ComposedResult, {
+    malformed: false;
+}>;
+export interface ComposedSectionModel {
+    readonly result: Verified;
+}
+/** The built-in composition section module (`aac.builtin.composed/v0`). */
+export declare const composedSectionModule: PresentationModule<ComposedSectionModel>;
+export {};

package/dist/composed-view.js

@@ -0,0 +1,179 @@
+import { BUILTIN_MANIFEST_COMPOSED } from "@action-state-group/agent-action-capsule";
+import { COMPOSED_KIND, } from "@action-state-group/agent-action-capsule";
+/** The well-formed composed/v1 result the core verified, if there is one. */
+function composedResult(context) {
+    const entry = context.verification.extensions.find((extension) => extension.kind === COMPOSED_KIND);
+    const composed = entry?.composed;
+    return composed !== undefined && !composed.malformed ? composed : undefined;
+}
+function element(tag, text) {
+    const node = document.createElement(tag);
+    if (text !== undefined)
+        node.textContent = text;
+    return node;
+}
+function row(cells, header = false) {
+    const tr = element("tr");
+    for (const cell of cells)
+        tr.append(element(header ? "th" : "td", cell));
+    return tr;
+}
+function table(name, columns, rows) {
+    const node = element("table");
+    node.setAttribute(`data-${name}`, "");
+    const head = element("thead");
+    head.append(row(columns, true));
+    const body = element("tbody");
+    body.append(...rows);
+    node.append(head, body);
+    return node;
+}
+const NOT_APPLICABLE = "—";
+const findingsText = (findings) => findings.length === 0 ? "none" : findings.join(", ");
+const claimText = (claim) => claim === undefined
+    ? NOT_APPLICABLE
+    : claim.findings.length === 0
+        ? claim.status
+        : `${claim.status} (${claim.findings.join(", ")})`;
+const pairText = (members) => `${members[0]} – ${members[1]}`;
+// The values two members hold at one compare pointer, as text. No winner is
+// named (draft "Joins": "names no winner").
+function renderDifference(difference, host) {
+    const list = element("dl");
+    list.dataset.pointer = difference.pointer;
+    list.append(element("dt", difference.pointer));
+    for (const value of difference.values)
+        list.append(element("dd", value.resolved
+            ? `${value.member}: ${JSON.stringify(value.value)}`
+            : `${value.member}: does not resolve`));
+    host.append(list);
+}
+// go/bundle/composed.go:102-114 and draft "Observers and Redundancy": a
+// redundant pair is presented as "redundant, not corroborating" with its
+// reason; a corroborating one is qualified as resting on declared custody.
+function corroborationText(c) {
+    switch (c.result) {
+        case "redundant":
+            return `${c.report} (${c.reasons.join(", ")})`;
+        case "corroborating":
+            return "corroborating, on declared custody";
+        case "not_applicable":
+            return "not applicable: the join did not derive agree";
+    }
+}
+function renderComposed(model, host, services) {
+    const result = model.result;
+    const section = element("section");
+    section.dataset.section = "composition";
+    section.dataset.module = BUILTIN_MANIFEST_COMPOSED.id;
+    section.append(element("h2", "Composition"));
+    const status = element("p", `composed/v1 check: ${result.status}`);
+    status.dataset.compositionStatus = result.status;
+    section.append(status);
+    if (result.findings.length > 0)
+        section.append(element("p", `findings: ${result.findings.join(", ")}`));
+    // capsule-cli internal/cli/composed.go:69, the same statement of scope.
+    section.append(element("p", "Composition closure covers the declared members only; it is not completeness of participation."));
+    section.append(element("h3", "Composed digest"));
+    const digest = element("dl");
+    digest.dataset.composedDigest = result.composedDigest.declared;
+    digest.dataset.matches = String(result.composedDigest.matches);
+    digest.append(element("dt", "declared"), element("dd", result.composedDigest.declared), element("dt", "recomputed"), element("dd", result.composedDigest.recomputed || "uncomputable"), element("dt", "matches"), element("dd", result.composedDigest.matches ? "yes" : "no"));
+    section.append(digest);
+    section.append(element("h3", "Members"));
+    section.append(table("composition-members", [
+        "member",
+        "observer",
+        "outcome",
+        "body",
+        "digest",
+        "graph closure",
+        "interval coverage",
+        "per-record membership",
+        "refusal signature",
+        "findings",
+    ], result.members.map((m) => {
+        const tr = row([
+            m.id,
+            m.observer,
+            m.outcome,
+            m.body,
+            m.digest,
+            claimText(m.bundle?.graphClosure),
+            claimText(m.bundle?.intervalCoverage),
+            claimText(m.bundle?.perRecordMembership),
+            m.refusalSignature ?? NOT_APPLICABLE,
+            findingsText(m.findings),
+        ]);
+        tr.dataset.memberId = m.id;
+        tr.dataset.body = m.body;
+        tr.dataset.digest = m.digest;
+        return tr;
+    })));
+    section.append(element("h3", "Observers"));
+    section.append(table("composition-observers", ["observer", "role", "custody domain"], result.observers.map((o) => {
+        const tr = row([o.id, o.role, o.custodyDomain]);
+        tr.dataset.observerId = o.id;
+        return tr;
+    })));
+    // Draft "Observers and Redundancy": custody labels can only downgrade.
+    section.append(element("p", "Custody domains are labels declared by whoever composed this block. Identical labels make an agreeing pair redundant; distinct labels do not establish that two observers are independent."));
+    section.append(element("h3", "Composition closure"));
+    const closure = element("p", `${result.compositionClosure.status}; missing: ${result.compositionClosure.missing.length === 0
+        ? "none"
+        : result.compositionClosure.missing.join(", ")}; findings: ${findingsText(result.compositionClosure.findings)}`);
+    closure.dataset.closureStatus = result.compositionClosure.status;
+    section.append(closure);
+    section.append(element("h3", "Joins"));
+    if (result.joins.length === 0)
+        section.append(element("p", "No joins."));
+    else {
+        section.append(table("composition-joins", ["members", "basis", "declared", "derived", "result"], result.joins.map((j) => {
+            const tr = row([
+                pairText(j.members),
+                j.basis,
+                j.declared,
+                j.derived ?? "not derivable",
+                j.result,
+            ]);
+            tr.dataset.joinMembers = j.members.join(",");
+            tr.dataset.joinDeclared = j.declared;
+            tr.dataset.joinDerived = j.derived ?? "not_derivable";
+            tr.dataset.joinResult = j.result;
+            return tr;
+        })));
+        for (const j of result.joins) {
+            if (j.differences.length === 0)
+                continue;
+            const details = services.details(`Differing values: ${pairText(j.members)}`);
+            details.dataset.joinDifferences = j.members.join(",");
+            for (const difference of j.differences)
+                renderDifference(difference, details);
+            section.append(details);
+        }
+        // Per pair, never combined into a count or a score.
+        section.append(element("h3", "Agreement"));
+        section.append(table("composition-agreement", ["members", "result"], result.corroboration.map((c) => {
+            const tr = row([pairText(c.members), corroborationText(c)]);
+            tr.dataset.agreementMembers = c.members.join(",");
+            tr.dataset.corroboration = c.result;
+            if (c.result === "redundant")
+                tr.dataset.reasons = c.reasons.join(",");
+            return tr;
+        })));
+    }
+    host.L1.append(section);
+}
+/** The built-in composition section module (`aac.builtin.composed/v0`). */
+export const composedSectionModule = {
+    manifest: BUILTIN_MANIFEST_COMPOSED,
+    canRender: (context) => composedResult(context) !== undefined,
+    buildModel: (context) => {
+        const result = composedResult(context);
+        if (result === undefined)
+            throw new Error(`${BUILTIN_MANIFEST_COMPOSED.id}: buildModel called although canRender was false`);
+        return { result };
+    },
+    render: renderComposed,
+};
+//# sourceMappingURL=composed-view.js.map

package/dist/composed-view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composed-view.js","sourceRoot":"","sources":["../src/composed-view.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,yBAAyB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,EACL,aAAa,GAKd,MAAM,0CAA0C,CAAC;AA2BlD,6EAA6E;AAC7E,SAAS,cAAc,CAAC,OAA8B;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAChD,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,aAAa,CAChD,CAAC;IACF,MAAM,QAAQ,GAAG,KAAK,EAAE,QAAQ,CAAC;IACjC,OAAO,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9E,CAAC;AAED,SAAS,OAAO,CAAC,GAAW,EAAE,IAAa;IACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,GAAG,CAAC,KAAwB,EAAE,MAAM,GAAG,KAAK;IACnD,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACzE,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,KAAK,CACZ,IAAY,EACZ,OAA0B,EAC1B,IAA4B;IAE5B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,CAAC,YAAY,CAAC,QAAQ,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;IACrB,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACxB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,cAAc,GAAG,GAAG,CAAC;AAC3B,MAAM,YAAY,GAAG,CAAC,QAA2B,EAAU,EAAE,CAC3D,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvD,MAAM,SAAS,GAAG,CAAC,KAAgC,EAAU,EAAE,CAC7D,KAAK,KAAK,SAAS;IACjB,CAAC,CAAC,cAAc;IAChB,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC3B,CAAC,CAAC,KAAK,CAAC,MAAM;QACd,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACzD,MAAM,QAAQ,GAAG,CAAC,OAAkC,EAAU,EAAE,CAC9D,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;AAElC,4EAA4E;AAC5E,4CAA4C;AAC5C,SAAS,gBAAgB,CAAC,UAA0B,EAAE,IAAiB;IACrE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM;QACnC,IAAI,CAAC,MAAM,CACT,OAAO,CACL,IAAI,EACJ,KAAK,CAAC,QAAQ;YACZ,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;YACnD,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,oBAAoB,CACxC,CACF,CAAC;IACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AACpB,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,2EAA2E;AAC3E,SAAS,iBAAiB,CAAC,CAAsB;IAC/C,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjD,KAAK,eAAe;YAClB,OAAO,oCAAoC,CAAC;QAC9C,KAAK,gBAAgB;YACnB,OAAO,+CAA+C,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,KAA2B,EAC3B,IAAsB,EACtB,QAA8B;IAE9B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACnC,OAAO,CAAC,OAAO,CAAC,OAAO,GAAG,aAAa,CAAC;IACxC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,yBAAyB,CAAC,EAAE,CAAC;IACtD,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;IAE7C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,sBAAsB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACnE,MAAM,CAAC,OAAO,CAAC,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvB,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAC5B,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,aAAa,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1E,wEAAwE;IACxE,OAAO,CAAC,MAAM,CACZ,OAAO,CACL,GAAG,EACH,gGAAgG,CACjG,CACF,CAAC;IAEF,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,CAAC,OAAO,CAAC,cAAc,GAAG,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC;IAC/D,MAAM,CAAC,OAAO,CAAC,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,CAAC,MAAM,CACX,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,EACzB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,EAC7C,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,EAC3B,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,UAAU,IAAI,cAAc,CAAC,EACjE,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,EACxB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAC5D,CAAC;IACF,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAEvB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;IACzC,OAAO,CAAC,MAAM,CACZ,KAAK,CACH,qBAAqB,EACrB;QACE,QAAQ;QACR,UAAU;QACV,SAAS;QACT,MAAM;QACN,QAAQ;QACR,eAAe;QACf,mBAAmB;QACnB,uBAAuB;QACvB,mBAAmB;QACnB,UAAU;KACX,EACD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACvB,MAAM,EAAE,GAAG,GAAG,CAAC;YACb,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,MAAM;YACR,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC;YACjC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,gBAAgB,CAAC;YACrC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,mBAAmB,CAAC;YACxC,CAAC,CAAC,gBAAgB,IAAI,cAAc;YACpC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;SACzB,CAAC,CAAC;QACH,EAAE,CAAC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC;QAC3B,EAAE,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;QAC7B,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CACH,CACF,CAAC;IAEF,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;IAC3C,OAAO,CAAC,MAAM,CACZ,KAAK,CACH,uBAAuB,EACvB,CAAC,UAAU,EAAE,MAAM,EAAE,gBAAgB,CAAC,EACtC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACzB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;QAChD,EAAE,CAAC,OAAO,CAAC,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CACH,CACF,CAAC;IACF,uEAAuE;IACvE,OAAO,CAAC,MAAM,CACZ,OAAO,CACL,GAAG,EACH,4LAA4L,CAC7L,CACF,CAAC;IAEF,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,OAAO,CACrB,GAAG,EACH,GAAG,MAAM,CAAC,kBAAkB,CAAC,MAAM,cACjC,MAAM,CAAC,kBAAkB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC5C,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CACjD,eAAe,YAAY,CAAC,MAAM,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAClE,CAAC;IACF,OAAO,CAAC,OAAO,CAAC,aAAa,GAAG,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC;IACjE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAExB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACvC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC;SACpE,CAAC;QACJ,OAAO,CAAC,MAAM,CACZ,KAAK,CACH,mBAAmB,EACnB,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,EACrD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACrB,MAAM,EAAE,GAAG,GAAG,CAAC;gBACb,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;gBACnB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,OAAO,IAAI,eAAe;gBAC5B,CAAC,CAAC,MAAM;aACT,CAAC,CAAC;YACH,EAAE,CAAC,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7C,EAAE,CAAC,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC,QAAQ,CAAC;YACrC,EAAE,CAAC,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC,OAAO,IAAI,eAAe,CAAC;YACtD,EAAE,CAAC,OAAO,CAAC,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;YACjC,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC,CACH,CACF,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAC9B,qBAAqB,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAC3C,CAAC;YACF,OAAO,CAAC,OAAO,CAAC,eAAe,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtD,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,WAAW;gBACpC,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACxC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1B,CAAC;QAED,oDAAoD;QACpD,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;QAC3C,OAAO,CAAC,MAAM,CACZ,KAAK,CACH,uBAAuB,EACvB,CAAC,SAAS,EAAE,QAAQ,CAAC,EACrB,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5D,EAAE,CAAC,OAAO,CAAC,gBAAgB,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClD,EAAE,CAAC,OAAO,CAAC,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;YACpC,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW;gBAC1B,EAAE,CAAC,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC3C,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC,CACH,CACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC;AAED,2EAA2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAA6C;IAC7E,QAAQ,EAAE,yBAAyB;IACnC,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,SAAS;IAC7D,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE;QACtB,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS;YACtB,MAAM,IAAI,KAAK,CACb,GAAG,yBAAyB,CAAC,EAAE,kDAAkD,CAClF,CAAC;QACJ,OAAO,EAAE,MAAM,EAAE,CAAC;IACpB,CAAC;IACD,MAAM,EAAE,cAAc;CACvB,CAAC"}