@software-dlc/cli 0.157.2

package/dist/local/variants.d.ts

@@ -0,0 +1,125 @@
+import type { C4NodeGraphVariantSetData, C4VariantSetCorrespondence, C4VariantSetMember, PortableGraph } from '@software-dlc/graph/types';
+import { type PortableUINodeValidationIssue } from '@software-dlc/graph/validator';
+import type { ClaimStatus } from './workspace-claim-status.js';
+/**
+ * `sdlc variants`: each Variant Set in a graph with its members,
+ * correspondences, validation issues and gap (docs/specs/graph-variants.md,
+ * Local and hosted members). No resolver: every copy is read as stored. Graph
+ * only; the caller supplies the claim status of the sync entities and, read
+ * as built against an environment, of the members' node forms
+ * (variantMemberFormIds).
+ */
+export type VariantClaim = {
+    status: ClaimStatus;
+    environment: string | null;
+};
+export type VariantMemberOnlyForm = {
+    correspondence: string;
+    kind: 'node' | 'edge';
+    member: string;
+    entity: string;
+};
+export type VariantDivergedPair = {
+    correspondence: string;
+    kind: 'node' | 'edge';
+    member: string;
+    base: string;
+    form: string;
+};
+export type VariantBehindForm = VariantDivergedPair & {
+    /** The base's object hash when the form was last reconciled. */
+    reconciled: string;
+    /** The base's object hash now. */
+    current: string;
+};
+export type VariantSync = {
+    correspondence: string;
+    /** The job or function that syncs the forms; null when the sync is not designed. */
+    sync: string | null;
+    /** The sync entity's claim status; null without a sync entity or a status read. */
+    claim: VariantClaim | null;
+};
+export type VariantSetGap = {
+    member_only_forms: VariantMemberOnlyForm[];
+    diverged_pairs: VariantDivergedPair[];
+    behind: VariantBehindForm[];
+    /** Diverged forms with no recorded reconciled hash, so behind is unknown. */
+    unreconciled: VariantDivergedPair[];
+    sync: VariantSync[];
+    counts: {
+        member_only_forms: number;
+        diverged_pairs: number;
+        behind: number;
+        unreconciled: number;
+        unsynced: number;
+    };
+};
+/**
+ * One active member's node forms by claim status: the forms it uses (its own
+ * form, else the base). Edge forms carry no claim status and are not counted.
+ */
+export type VariantMemberClaims = {
+    member: string;
+    lifecycle: C4VariantSetMember['lifecycle'];
+    forms: number;
+    /** Forms per claim status, as built. */
+    by_status: Partial<Record<ClaimStatus, number>>;
+    /**
+     * The member is declared live or deprecated, yet none of its node forms is
+     * released in a given environment: reported, never corrected.
+     */
+    contradiction: boolean;
+};
+export type VariantSetReport = {
+    id: string;
+    label: string | null;
+    /** Stored set data, or null when it does not parse (see issues). */
+    subject: C4NodeGraphVariantSetData['subject'] | null;
+    members: C4VariantSetMember[];
+    correspondences: C4VariantSetCorrespondence[];
+    issues: PortableUINodeValidationIssue[];
+    gap: VariantSetGap | null;
+    /**
+     * Each active member's forms by claim status; null when they were not read
+     * (no environment, so nothing reads released, a failed claim read, or set
+     * data that does not parse).
+     */
+    member_claims: VariantMemberClaims[] | null;
+};
+export type VariantsReport = {
+    version: 1;
+    sets: VariantSetReport[];
+    /**
+     * Why the claim status could not be read (sync claims read null), or an
+     * environment that did not resolve; either way members are not checked.
+     */
+    claim_error?: string;
+    /** Variant Set issues on nodes that are not sets (set data on another type). */
+    other_issues: PortableUINodeValidationIssue[];
+    totals: VariantSetGap['counts'] & {
+        sets: number;
+        issues: number;
+        /** Members whose lifecycle contradicts their claim status; null when members were not checked. */
+        contradictions: number | null;
+    };
+};
+/** The sync entities the sets name, so a caller can read their claim status first. */
+export declare function variantSyncIds(graph: PortableGraph): string[];
+/** Every node form an active member uses, so a caller can read how each is built. */
+export declare function variantMemberFormIds(graph: PortableGraph): string[];
+export declare function variantsReport(input: {
+    graph: PortableGraph;
+    /** Claim status by sync entity id; a missing entry reads as null. */
+    claims?: ReadonlyMap<string, VariantClaim>;
+    /**
+     * How each member form (variantMemberFormIds) is built, read in the built
+     * view against at least one environment: whether a form is released is a
+     * fact of the build, which a plan's pending gate claim on it or on a node
+     * realizing it must not hide. A form the read left out was never built.
+     * Absent, members are not checked.
+     */
+    form_claims?: ReadonlyMap<string, VariantClaim>;
+}): VariantsReport;
+/** One line per set, then one per gap entry, for `sdlc variants` without --json. */
+export declare function formatVariantsReport(report: VariantsReport): string;
+//# sourceMappingURL=variants.d.ts.map

package/dist/local/variants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variants.d.ts","sourceRoot":"","sources":["../../src/local/variants.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,yBAAyB,EACzB,0BAA0B,EAC1B,kBAAkB,EAClB,aAAa,EACd,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAEL,KAAK,6BAA6B,EACnC,MAAM,+BAA+B,CAAC;AAEvC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG/D;;;;;;;GAOG;AAEH,MAAM,MAAM,YAAY,GAAG;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAE/E,MAAM,MAAM,qBAAqB,GAAG;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,mBAAmB,GAAG;IACpD,gEAAgE;IAChE,UAAU,EAAE,MAAM,CAAC;IACnB,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,oFAAoF;IACpF,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,mFAAmF;IACnF,KAAK,EAAE,YAAY,GAAG,IAAI,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,iBAAiB,EAAE,qBAAqB,EAAE,CAAC;IAC3C,cAAc,EAAE,mBAAmB,EAAE,CAAC;IACtC,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5B,6EAA6E;IAC7E,YAAY,EAAE,mBAAmB,EAAE,CAAC;IACpC,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB,MAAM,EAAE;QACN,iBAAiB,EAAE,MAAM,CAAC;QAC1B,cAAc,EAAE,MAAM,CAAC;QACvB,MAAM,EAAE,MAAM,CAAC;QACf,YAAY,EAAE,MAAM,CAAC;QACrB,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,kBAAkB,CAAC,WAAW,CAAC,CAAC;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,wCAAwC;IACxC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;IAChD;;;OAGG;IACH,aAAa,EAAE,OAAO,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,oEAAoE;IACpE,OAAO,EAAE,yBAAyB,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;IACrD,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAC9B,eAAe,EAAE,0BAA0B,EAAE,CAAC;IAC9C,MAAM,EAAE,6BAA6B,EAAE,CAAC;IACxC,GAAG,EAAE,aAAa,GAAG,IAAI,CAAC;IAC1B;;;;OAIG;IACH,aAAa,EAAE,mBAAmB,EAAE,GAAG,IAAI,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACzB;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gFAAgF;IAChF,YAAY,EAAE,6BAA6B,EAAE,CAAC;IAC9C,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,GAAG;QAChC,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,MAAM,CAAC;QACf,kGAAkG;QAClG,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;KAC/B,CAAC;CACH,CAAC;AA4BF,sFAAsF;AACtF,wBAAgB,cAAc,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,EAAE,CAQ7D;AAED,qFAAqF;AACrF,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,EAAE,CAcnE;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE;IACpC,KAAK,EAAE,aAAa,CAAC;IACrB,qEAAqE;IACrE,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC3C;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;CACjD,GAAG,cAAc,CAuLjB;AAED,oFAAoF;AACpF,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAgEnE"}

package/dist/local/variants.js

@@ -0,0 +1,267 @@
+import { c4_node_graph_variant_set_data_schema } from '@software-dlc/graph/schema';
+import { validateGraphVariantSetNodes } from '@software-dlc/graph/validator';
+import { entityObjectHash } from './workspace-evidence-status.js';
+/** Lifecycle states that promise the member runs, so some form must be released. */
+const RUNNING = new Set(['live', 'deprecated']);
+function setNodes(graph) {
+    return graph.nodes.filter((node) => node.type === 'graph_variant_set');
+}
+function setData(node) {
+    const parsed = c4_node_graph_variant_set_data_schema.safeParse(node.data?.data?.graph_variant_set);
+    return parsed.success ? parsed.data : null;
+}
+/** The node an active member uses in a correspondence: its own form, else the base. */
+function usedForm(correspondence, member) {
+    const used = member in correspondence.forms ? correspondence.forms[member] : correspondence.base;
+    return used ?? null;
+}
+/** The sync entities the sets name, so a caller can read their claim status first. */
+export function variantSyncIds(graph) {
+    const ids = new Set();
+    for (const node of setNodes(graph)) {
+        for (const correspondence of setData(node)?.correspondences ?? []) {
+            if (correspondence.sync)
+                ids.add(correspondence.sync);
+        }
+    }
+    return [...ids].sort();
+}
+/** Every node form an active member uses, so a caller can read how each is built. */
+export function variantMemberFormIds(graph) {
+    const ids = new Set();
+    for (const node of setNodes(graph)) {
+        const data = setData(node);
+        for (const correspondence of data?.correspondences ?? []) {
+            if (correspondence.kind !== 'node')
+                continue;
+            for (const member of data.members) {
+                if (member.lifecycle === 'retired')
+                    continue;
+                const used = usedForm(correspondence, member.key);
+                if (used)
+                    ids.add(used);
+            }
+        }
+    }
+    return [...ids].sort();
+}
+export function variantsReport(input) {
+    const { graph } = input;
+    const nodes = new Map(graph.nodes.map((node) => [node.id, node]));
+    const edges = new Map(graph.edges.map((edge) => [edge.id, edge]));
+    const issues = validateGraphVariantSetNodes(graph.nodes, graph.edges);
+    const owned = (id) => (issue) => issue.path?.startsWith(`/nodes[id=${id}]`) ?? false;
+    const sets = setNodes(graph)
+        .map((node) => {
+        const data = setData(node);
+        const label = node.data?.data?.label;
+        return {
+            id: node.id,
+            label: typeof label === 'string' ? label : null,
+            subject: data?.subject ?? null,
+            members: data?.members ?? [],
+            correspondences: data?.correspondences ?? [],
+            issues: issues.filter(owned(node.id)),
+            gap: data ? gapOf(data) : null,
+            member_claims: data && input.form_claims ? memberClaimsOf(data, input.form_claims) : null
+        };
+    })
+        .sort((a, b) => a.id.localeCompare(b.id));
+    const set_ids = sets.map((set) => set.id);
+    const other_issues = issues.filter((issue) => !set_ids.some((id) => owned(id)(issue)));
+    const counts = {
+        member_only_forms: 0,
+        diverged_pairs: 0,
+        behind: 0,
+        unreconciled: 0,
+        unsynced: 0
+    };
+    for (const set of sets) {
+        if (!set.gap)
+            continue;
+        for (const key of Object.keys(counts)) {
+            counts[key] += set.gap.counts[key];
+        }
+    }
+    return {
+        version: 1,
+        sets,
+        other_issues,
+        totals: {
+            ...counts,
+            sets: sets.length,
+            issues: issues.length,
+            contradictions: input.form_claims
+                ? sets.reduce((sum, set) => sum + (set.member_claims ?? []).filter((claims) => claims.contradiction).length, 0)
+                : null
+        }
+    };
+    function memberClaimsOf(set, form_claims) {
+        return set.members
+            .filter((member) => member.lifecycle !== 'retired')
+            .map((member) => {
+            const by_status = {};
+            let forms = 0;
+            for (const correspondence of set.correspondences) {
+                if (correspondence.kind !== 'node')
+                    continue;
+                const used = usedForm(correspondence, member.key);
+                if (!used)
+                    continue;
+                forms += 1;
+                // The built view leaves out a node never built, which realizes nothing.
+                const status = form_claims.get(used)?.status ?? 'unrecorded';
+                by_status[status] = (by_status[status] ?? 0) + 1;
+            }
+            return {
+                member: member.key,
+                lifecycle: member.lifecycle,
+                forms,
+                by_status,
+                contradiction: RUNNING.has(member.lifecycle) && forms > 0 && !by_status.released
+            };
+        });
+    }
+    function entity(kind, id) {
+        return (kind === 'node' ? nodes.get(id) : edges.get(id));
+    }
+    function gapOf(set) {
+        const active = set.members.filter((member) => member.lifecycle !== 'retired');
+        const gap = {
+            member_only_forms: [],
+            diverged_pairs: [],
+            behind: [],
+            unreconciled: [],
+            sync: [],
+            counts: {
+                member_only_forms: 0,
+                diverged_pairs: 0,
+                behind: 0,
+                unreconciled: 0,
+                unsynced: 0
+            }
+        };
+        for (const correspondence of set.correspondences) {
+            const { key, kind, base } = correspondence;
+            // What each active member uses: its own form, else the base; null when it has none.
+            const users = new Map();
+            let lacking = 0;
+            for (const member of active) {
+                const used = member.key in correspondence.forms
+                    ? correspondence.forms[member.key]
+                    : base;
+                if (used === null || used === undefined) {
+                    lacking += 1;
+                    continue;
+                }
+                users.set(used, [...(users.get(used) ?? []), member.key]);
+            }
+            // A form is one member's only when another member has none at all; two
+            // members with different forms are a diverged pair instead.
+            if (active.length > 1 && lacking > 0) {
+                for (const [used, members] of users) {
+                    if (members.length === 1) {
+                        gap.member_only_forms.push({
+                            correspondence: key,
+                            kind,
+                            member: members[0],
+                            entity: used
+                        });
+                    }
+                }
+            }
+            if (base !== null) {
+                // A retired member's forms are never resolved, so they are no gap.
+                for (const member of active) {
+                    const form = correspondence.forms[member.key];
+                    if (!form)
+                        continue;
+                    const pair = { correspondence: key, kind, member: member.key, base, form };
+                    gap.diverged_pairs.push(pair);
+                    const stored = entity(kind, base);
+                    if (!stored)
+                        continue;
+                    const reconciled = correspondence.reconciled?.[member.key];
+                    if (reconciled === undefined) {
+                        gap.unreconciled.push(pair);
+                        continue;
+                    }
+                    const current = entityObjectHash(kind, stored);
+                    if (current !== reconciled) {
+                        gap.behind.push({ ...pair, reconciled, current });
+                    }
+                }
+            }
+            const sync = correspondence.sync ?? null;
+            gap.sync.push({
+                correspondence: key,
+                sync,
+                claim: sync ? (input.claims?.get(sync) ?? null) : null
+            });
+        }
+        gap.counts = {
+            member_only_forms: gap.member_only_forms.length,
+            diverged_pairs: gap.diverged_pairs.length,
+            behind: gap.behind.length,
+            unreconciled: gap.unreconciled.length,
+            unsynced: gap.sync.filter((entry) => entry.sync === null).length
+        };
+        return gap;
+    }
+}
+/** One line per set, then one per gap entry, for `sdlc variants` without --json. */
+export function formatVariantsReport(report) {
+    if (!report.sets.length) {
+        return report.other_issues.length
+            ? report.other_issues.map((issue) => `issue: ${issue.message}`).join('\n')
+            : 'No Variant Sets in this graph.';
+    }
+    const lines = [];
+    for (const set of report.sets) {
+        const members = set.members
+            .map((member) => `${member.key} (${[
+            member.lifecycle,
+            member.stability,
+            member.default ? 'default' : null
+        ]
+            .filter(Boolean)
+            .join(', ')})`)
+            .join(', ');
+        lines.push(`variant_set ${set.id} "${set.label ?? ''}": ${members || 'no members'}; ${set.correspondences.length} correspondences`);
+        for (const issue of set.issues)
+            lines.push(`  issue: ${issue.message}`);
+        if (!set.gap)
+            continue;
+        const { counts } = set.gap;
+        lines.push(`  gap: ${counts.member_only_forms} member-only forms, ${counts.diverged_pairs} diverged pairs, ${counts.behind} behind (${counts.unreconciled} unreconciled), ${counts.unsynced} without a sync`);
+        for (const form of set.gap.member_only_forms) {
+            lines.push(`  only ${form.member}: ${form.kind} ${form.entity} (${form.correspondence})`);
+        }
+        for (const form of set.gap.behind) {
+            lines.push(`  behind: ${form.member} form ${form.form} of base ${form.base} (${form.correspondence})`);
+        }
+        for (const entry of set.gap.sync) {
+            lines.push(entry.sync
+                ? `  sync ${entry.correspondence}: ${entry.sync} ${entry.claim?.status ?? 'status unknown'}`
+                : `  sync ${entry.correspondence}: not designed`);
+        }
+        for (const claims of set.member_claims ?? []) {
+            const released = claims.by_status.released ?? 0;
+            lines.push(claims.forms
+                ? `  member ${claims.member} (${claims.lifecycle}): ${released} of ${claims.forms} node forms released`
+                : `  member ${claims.member} (${claims.lifecycle}): no node forms`);
+            if (claims.contradiction) {
+                lines.push(`  contradiction: ${claims.member} is ${claims.lifecycle} but none of its ${claims.forms} node forms is released`);
+            }
+        }
+    }
+    for (const issue of report.other_issues)
+        lines.push(`issue: ${issue.message}`);
+    if (report.claim_error)
+        lines.push(`claim status: ${report.claim_error}`);
+    else if (report.totals.contradictions === null) {
+        lines.push('members not checked: name an --environment to read which forms are released');
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=variants.js.map

package/dist/local/variants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variants.js","sourceRoot":"","sources":["../../src/local/variants.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qCAAqC,EAAE,MAAM,4BAA4B,CAAC;AAOnF,OAAO,EACL,4BAA4B,EAE7B,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EAAE,gBAAgB,EAAuB,MAAM,gCAAgC,CAAC;AA+GvF,oFAAoF;AACpF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;AAIhD,SAAS,QAAQ,CAAC,KAAoB;IACpC,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,OAAO,CAAC,IAAe;IAC9B,MAAM,MAAM,GAAG,qCAAqC,CAAC,SAAS,CAC3D,IAAI,CAAC,IAAI,EAAE,IAA4C,EAAE,iBAAiB,CAC5E,CAAC;IACF,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7C,CAAC;AAED,uFAAuF;AACvF,SAAS,QAAQ,CACf,cAA0C,EAC1C,MAAc;IAEd,MAAM,IAAI,GACR,MAAM,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;IACtF,OAAO,IAAI,IAAI,IAAI,CAAC;AACtB,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,cAAc,CAAC,KAAoB;IACjD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,KAAK,MAAM,cAAc,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;YAClE,IAAI,cAAc,CAAC,IAAI;gBAAE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAAC,KAAoB;IACvD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3B,KAAK,MAAM,cAAc,IAAI,IAAI,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;YACzD,IAAI,cAAc,CAAC,IAAI,KAAK,MAAM;gBAAE,SAAS;YAC7C,KAAK,MAAM,MAAM,IAAI,IAAK,CAAC,OAAO,EAAE,CAAC;gBACnC,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;oBAAE,SAAS;gBAC7C,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;gBAClD,IAAI,IAAI;oBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAY9B;IACC,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,4BAA4B,CACzC,KAAK,CAAC,KAAc,EACpB,KAAK,CAAC,KAAc,CACrB,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,CAAC,KAAoC,EAAE,EAAE,CACrE,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,aAAa,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC;IAEtD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC;SACzB,GAAG,CAAC,CAAC,IAAI,EAAoB,EAAE;QAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAI,IAAI,CAAC,IAAI,EAAE,IAAwC,EAAE,KAAK,CAAC;QAC1E,OAAO;YACL,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,KAAK,EAAE,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;YAC/C,OAAO,EAAE,IAAI,EAAE,OAAO,IAAI,IAAI;YAC9B,OAAO,EAAE,IAAI,EAAE,OAAO,IAAI,EAAE;YAC5B,eAAe,EAAE,IAAI,EAAE,eAAe,IAAI,EAAE;YAC5C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;YAC9B,aAAa,EAAE,IAAI,IAAI,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI;SAC1F,CAAC;IACJ,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1C,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAChC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CACnD,CAAC;IAEF,MAAM,MAAM,GAAG;QACb,iBAAiB,EAAE,CAAC;QACpB,cAAc,EAAE,CAAC;QACjB,MAAM,EAAE,CAAC;QACT,YAAY,EAAE,CAAC;QACf,QAAQ,EAAE,CAAC;KACZ,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,GAAG,CAAC,GAAG;YAAE,SAAS;QACvB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAA4B,EAAE,CAAC;YACjE,MAAM,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI;QACJ,YAAY;QACZ,MAAM,EAAE;YACN,GAAG,MAAM;YACT,IAAI,EAAE,IAAI,CAAC,MAAM;YACjB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,cAAc,EAAE,KAAK,CAAC,WAAW;gBAC/B,CAAC,CAAC,IAAI,CAAC,MAAM,CACT,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CACX,GAAG,GAAG,CAAC,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,MAAM,EACjF,CAAC,CACF;gBACH,CAAC,CAAC,IAAI;SACT;KACF,CAAC;IAEF,SAAS,cAAc,CACrB,GAA8B,EAC9B,WAA8C;QAE9C,OAAO,GAAG,CAAC,OAAO;aACf,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC;aAClD,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YACd,MAAM,SAAS,GAAqC,EAAE,CAAC;YACvD,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,cAAc,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;gBACjD,IAAI,cAAc,CAAC,IAAI,KAAK,MAAM;oBAAE,SAAS;gBAC7C,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;gBAClD,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,KAAK,IAAI,CAAC,CAAC;gBACX,wEAAwE;gBACxE,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,IAAI,YAAY,CAAC;gBAC7D,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACnD,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,MAAM,CAAC,GAAG;gBAClB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,KAAK;gBACL,SAAS;gBACT,aAAa,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ;aACjF,CAAC;QACJ,CAAC,CAAC,CAAC;IACP,CAAC;IAED,SAAS,MAAM,CAAC,IAAqB,EAAE,EAAU;QAC/C,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAE1C,CAAC;IAChB,CAAC;IAED,SAAS,KAAK,CAAC,GAA8B;QAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QAC9E,MAAM,GAAG,GAAkB;YACzB,iBAAiB,EAAE,EAAE;YACrB,cAAc,EAAE,EAAE;YAClB,MAAM,EAAE,EAAE;YACV,YAAY,EAAE,EAAE;YAChB,IAAI,EAAE,EAAE;YACR,MAAM,EAAE;gBACN,iBAAiB,EAAE,CAAC;gBACpB,cAAc,EAAE,CAAC;gBACjB,MAAM,EAAE,CAAC;gBACT,YAAY,EAAE,CAAC;gBACf,QAAQ,EAAE,CAAC;aACZ;SACF,CAAC;QAEF,KAAK,MAAM,cAAc,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;YACjD,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC;YAC3C,oFAAoF;YACpF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;YAC1C,IAAI,OAAO,GAAG,CAAC,CAAC;YAChB,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;gBAC5B,MAAM,IAAI,GACR,MAAM,CAAC,GAAG,IAAI,cAAc,CAAC,KAAK;oBAChC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC;oBAClC,CAAC,CAAC,IAAI,CAAC;gBACX,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACxC,OAAO,IAAI,CAAC,CAAC;oBACb,SAAS;gBACX,CAAC;gBACD,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5D,CAAC;YACD,uEAAuE;YACvE,4DAA4D;YAC5D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;gBACrC,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;oBACpC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACzB,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC;4BACzB,cAAc,EAAE,GAAG;4BACnB,IAAI;4BACJ,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;4BAClB,MAAM,EAAE,IAAI;yBACb,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,mEAAmE;gBACnE,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;oBAC5B,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBAC9C,IAAI,CAAC,IAAI;wBAAE,SAAS;oBACpB,MAAM,IAAI,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;oBAC3E,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBAClC,IAAI,CAAC,MAAM;wBAAE,SAAS;oBACtB,MAAM,UAAU,GAAG,cAAc,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBAC3D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;wBAC7B,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBAC5B,SAAS;oBACX,CAAC;oBACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC/C,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;wBAC3B,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;oBACpD,CAAC;gBACH,CAAC;YACH,CAAC;YAED,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,IAAI,IAAI,CAAC;YACzC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBACZ,cAAc,EAAE,GAAG;gBACnB,IAAI;gBACJ,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;aACvD,CAAC,CAAC;QACL,CAAC;QAED,GAAG,CAAC,MAAM,GAAG;YACX,iBAAiB,EAAE,GAAG,CAAC,iBAAiB,CAAC,MAAM;YAC/C,cAAc,EAAE,GAAG,CAAC,cAAc,CAAC,MAAM;YACzC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM;YACzB,YAAY,EAAE,GAAG,CAAC,YAAY,CAAC,MAAM;YACrC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM;SACjE,CAAC;QACF,OAAO,GAAG,CAAC;IACb,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,oBAAoB,CAAC,MAAsB;IACzD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,YAAY,CAAC,MAAM;YAC/B,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1E,CAAC,CAAC,gCAAgC,CAAC;IACvC,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO;aACxB,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CACT,GAAG,MAAM,CAAC,GAAG,KAAK;YAChB,MAAM,CAAC,SAAS;YAChB,MAAM,CAAC,SAAS;YAChB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI;SAClC;aACE,MAAM,CAAC,OAAO,CAAC;aACf,IAAI,CAAC,IAAI,CAAC,GAAG,CACnB;aACA,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,KAAK,CAAC,IAAI,CACR,eAAe,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,KAAK,IAAI,EAAE,MAAM,OAAO,IAAI,YAAY,KACpE,GAAG,CAAC,eAAe,CAAC,MACtB,kBAAkB,CACnB,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACxE,IAAI,CAAC,GAAG,CAAC,GAAG;YAAE,SAAS;QACvB,MAAM,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC;QAC3B,KAAK,CAAC,IAAI,CACR,UAAU,MAAM,CAAC,iBAAiB,uBAAuB,MAAM,CAAC,cAAc,oBAAoB,MAAM,CAAC,MAAM,YAAY,MAAM,CAAC,YAAY,mBAAmB,MAAM,CAAC,QAAQ,iBAAiB,CAClM,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,cAAc,GAAG,CAAC,CAAC;QAC5F,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,MAAM,SAAS,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,cAAc,GAAG,CAAC,CAAC;QACzG,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,IAAI;gBACR,CAAC,CAAC,UAAU,KAAK,CAAC,cAAc,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,MAAM,IAAI,gBAAgB,EAAE;gBAC5F,CAAC,CAAC,UAAU,KAAK,CAAC,cAAc,gBAAgB,CACnD,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;YAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,IAAI,CAAC,CAAC;YAChD,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,KAAK;gBACV,CAAC,CAAC,YAAY,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,SAAS,MAAM,QAAQ,OAAO,MAAM,CAAC,KAAK,sBAAsB;gBACvG,CAAC,CAAC,YAAY,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,SAAS,kBAAkB,CACrE,CAAC;YACF,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;gBACzB,KAAK,CAAC,IAAI,CACR,oBAAoB,MAAM,CAAC,MAAM,OAAO,MAAM,CAAC,SAAS,oBAAoB,MAAM,CAAC,KAAK,yBAAyB,CAClH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,YAAY;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/E,IAAI,MAAM,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;SACrE,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/local/workspace-admission.d.ts

@@ -0,0 +1,61 @@
+import { type GatedVocabularyItem } from '@software-dlc/graph/validator';
+import type { PortableGraph } from '@software-dlc/graph/types';
+import type { LocalWorkspaceStoreDatabase } from './workspace-store-database.js';
+/**
+ * Vocabulary admission (docs/specs/graph-traceability.md, Required surfaces):
+ * builds from before a gated vocabulary item cannot read it, so this
+ * repository admits an item only once its publish origin advertised the
+ * item's capability. promote publish records what the origin advertised, and
+ * replaces the record on every turn; commit and integration read it offline.
+ * A repository with no record has no gate.
+ */
+export type LocalVocabularyAdmission = {
+    origin: string;
+    capabilities: string[];
+    evidence: string;
+    recorded_at: string;
+};
+export declare class LocalVocabularyAdmissionStore {
+    private readonly database;
+    constructor(database: LocalWorkspaceStoreDatabase);
+    get(): LocalVocabularyAdmission | null;
+    /** Replaces the record: an origin that stops advertising a capability revokes it. */
+    record(input: {
+        origin: string;
+        capabilities: readonly string[];
+        evidence: string;
+        recorded_at?: string;
+    }): LocalVocabularyAdmission;
+}
+type GraphLike = Pick<PortableGraph, 'nodes' | 'edges'>;
+/** The items of `items` whose capability `admission` does not admit. */
+export declare function unadmittedItems(items: readonly GatedVocabularyItem[], admission: LocalVocabularyAdmission): GatedVocabularyItem[];
+/**
+ * The admission check of `sdlc workspace admission check`: every gated item a
+ * graph holds, and which of them the record does not admit. With no record
+ * there is no gate, so nothing is unadmitted.
+ */
+export declare function checkGraphAdmission(input: {
+    graph: GraphLike;
+    admission: LocalVocabularyAdmission | null;
+}): {
+    version: 1;
+    status: 'holds' | 'refused';
+    gate: 'off' | 'on';
+    origin: string | null;
+    gated: GatedVocabularyItem[];
+    unadmitted: GatedVocabularyItem[];
+};
+/**
+ * Throws, naming each item, when a change from `base_graph` to `graph`
+ * introduces a gated item the record does not admit, or a criterion
+ * surface_id that is not one of its story's available_on targets. Items that
+ * arrive unchanged pass. With no record there is no gate.
+ */
+export declare function assertIntroducedVocabularyAdmitted(input: {
+    base_graph: GraphLike;
+    graph: GraphLike;
+    admission: LocalVocabularyAdmission | null;
+}): void;
+export {};
+//# sourceMappingURL=workspace-admission.d.ts.map

package/dist/local/workspace-admission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-admission.d.ts","sourceRoot":"","sources":["../../src/local/workspace-admission.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,mBAAmB,EACzB,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE/D,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAEjF;;;;;;;GAOG;AACH,MAAM,MAAM,wBAAwB,GAAG;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAKF,qBAAa,6BAA6B;IAC5B,OAAO,CAAC,QAAQ,CAAC,QAAQ;gBAAR,QAAQ,EAAE,2BAA2B;IAElE,GAAG,IAAI,wBAAwB,GAAG,IAAI;IAoBtC,qFAAqF;IACrF,MAAM,CAAC,KAAK,EAAE;QACZ,MAAM,EAAE,MAAM,CAAC;QACf,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;QAChC,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,GAAG,wBAAwB;CAsD7B;AAED,KAAK,SAAS,GAAG,IAAI,CAAC,aAAa,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC;AAYxD,wEAAwE;AACxE,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,mBAAmB,EAAE,EACrC,SAAS,EAAE,wBAAwB,GAClC,mBAAmB,EAAE,CAGvB;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE;IACzC,KAAK,EAAE,SAAS,CAAC;IACjB,SAAS,EAAE,wBAAwB,GAAG,IAAI,CAAC;CAC5C,GAAG;IACF,OAAO,EAAE,CAAC,CAAC;IACX,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IAC5B,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC;IACnB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,KAAK,EAAE,mBAAmB,EAAE,CAAC;IAC7B,UAAU,EAAE,mBAAmB,EAAE,CAAC;CACnC,CAaA;AAED;;;;;GAKG;AACH,wBAAgB,kCAAkC,CAAC,KAAK,EAAE;IACxD,UAAU,EAAE,SAAS,CAAC;IACtB,KAAK,EAAE,SAAS,CAAC;IACjB,SAAS,EAAE,wBAAwB,GAAG,IAAI,CAAC;CAC5C,GAAG,IAAI,CAmBP"}

package/dist/local/workspace-admission.js

@@ -0,0 +1,112 @@
+import { introducedCriterionSurfaceMismatches, introducedGatedVocabularyItems, gatedVocabularyItems } from '@software-dlc/graph/validator';
+const MAX_CAPABILITIES = 64;
+const MAX_TEXT = 2000;
+export class LocalVocabularyAdmissionStore {
+    database;
+    constructor(database) {
+        this.database = database;
+    }
+    get() {
+        const row = this.database
+            .prepare('select * from local_vocabulary_admission where singleton = 1')
+            .get();
+        if (!row)
+            return null;
+        return {
+            origin: row.origin,
+            capabilities: JSON.parse(row.capabilities_json),
+            evidence: row.evidence,
+            recorded_at: row.recorded_at
+        };
+    }
+    /** Replaces the record: an origin that stops advertising a capability revokes it. */
+    record(input) {
+        let origin;
+        try {
+            origin = new URL(input.origin);
+        }
+        catch {
+            throw new Error(`The publish origin ${input.origin} is not a URL.`);
+        }
+        if ((origin.protocol !== 'http:' && origin.protocol !== 'https:') ||
+            origin.origin !== input.origin.replace(/\/$/, '')) {
+            throw new Error(`The publish origin must be a bare http(s) origin, such as http://localhost:3000, not ${input.origin}.`);
+        }
+        const capabilities = [...new Set(input.capabilities)].sort();
+        if (capabilities.length > MAX_CAPABILITIES ||
+            capabilities.some((name) => !name || name.length > 128)) {
+            throw new Error('Capabilities must be at most 64 names of 1 to 128 characters.');
+        }
+        if (!input.evidence.trim() || input.evidence.length > MAX_TEXT) {
+            throw new Error('Evidence must say, in at most 2000 characters, how the capabilities were read.');
+        }
+        const admission = {
+            origin: origin.origin,
+            capabilities,
+            evidence: input.evidence,
+            recorded_at: input.recorded_at ?? new Date().toISOString()
+        };
+        this.database
+            .prepare(`insert into local_vocabulary_admission (
+           singleton, origin, capabilities_json, evidence, recorded_at
+         ) values (1, ?, ?, ?, ?)
+         on conflict(singleton) do update set
+           origin = excluded.origin,
+           capabilities_json = excluded.capabilities_json,
+           evidence = excluded.evidence,
+           recorded_at = excluded.recorded_at`)
+            .run(admission.origin, JSON.stringify(admission.capabilities), admission.evidence, admission.recorded_at);
+        return admission;
+    }
+}
+function describeItem(item) {
+    if (item.entity_kind === 'edge') {
+        return `edge ${item.entity_id} (${item.source} ${item.relationship} ${item.target}) needs ${item.capability}`;
+    }
+    if ('criterion_id' in item) {
+        return `criterion ${item.criterion_id} of ${item.entity_id} sets ${item.field}, which needs ${item.capability}`;
+    }
+    return `node ${item.entity_id} has ${item.field} ${item.value}, which needs ${item.capability}`;
+}
+/** The items of `items` whose capability `admission` does not admit. */
+export function unadmittedItems(items, admission) {
+    const admitted = new Set(admission.capabilities);
+    return items.filter((item) => !admitted.has(item.capability));
+}
+/**
+ * The admission check of `sdlc workspace admission check`: every gated item a
+ * graph holds, and which of them the record does not admit. With no record
+ * there is no gate, so nothing is unadmitted.
+ */
+export function checkGraphAdmission(input) {
+    const gated = gatedVocabularyItems(input.graph);
+    const unadmitted = input.admission
+        ? unadmittedItems(gated, input.admission)
+        : [];
+    return {
+        version: 1,
+        status: unadmitted.length ? 'refused' : 'holds',
+        gate: input.admission ? 'on' : 'off',
+        origin: input.admission?.origin ?? null,
+        gated,
+        unadmitted
+    };
+}
+/**
+ * Throws, naming each item, when a change from `base_graph` to `graph`
+ * introduces a gated item the record does not admit, or a criterion
+ * surface_id that is not one of its story's available_on targets. Items that
+ * arrive unchanged pass. With no record there is no gate.
+ */
+export function assertIntroducedVocabularyAdmitted(input) {
+    if (!input.admission)
+        return;
+    const problems = [
+        ...unadmittedItems(introducedGatedVocabularyItems(input), input.admission).map(describeItem),
+        ...introducedCriterionSurfaceMismatches(input).map((mismatch) => `criterion ${mismatch.criterion_id} of ${mismatch.node_id} holds on surface ${mismatch.surface_id}, which is not one of its story's available_on surfaces`)
+    ];
+    if (problems.length) {
+        throw new Error(`Graph changes refused by the vocabulary admission gate (publish origin ${input.admission.origin} advertises ${input.admission.capabilities.join(', ') || 'none'}): ${problems.join('; ')}. An item is admitted once promote publish records an origin that reads it; a criterion's surface must be an available_on target of its story.`);
+    }
+}
+//# sourceMappingURL=workspace-admission.js.map

package/dist/local/workspace-admission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-admission.js","sourceRoot":"","sources":["../../src/local/workspace-admission.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oCAAoC,EACpC,8BAA8B,EAC9B,oBAAoB,EAErB,MAAM,+BAA+B,CAAC;AAoBvC,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC;AAEtB,MAAM,OAAO,6BAA6B;IACX;IAA7B,YAA6B,QAAqC;QAArC,aAAQ,GAAR,QAAQ,CAA6B;IAAG,CAAC;IAEtE,GAAG;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ;aACtB,OAAO,CAAC,8DAA8D,CAAC;aACvE,GAAG,EAOO,CAAC;QACd,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,OAAO;YACL,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAa;YAC3D,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,WAAW,EAAE,GAAG,CAAC,WAAW;SAC7B,CAAC;IACJ,CAAC;IAED,qFAAqF;IACrF,MAAM,CAAC,KAKN;QACC,IAAI,MAAW,CAAC;QAChB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACjC,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,sBAAsB,KAAK,CAAC,MAAM,gBAAgB,CAAC,CAAC;QACtE,CAAC;QACD,IACE,CAAC,MAAM,CAAC,QAAQ,KAAK,OAAO,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC;YAC7D,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,EACjD,CAAC;YACD,MAAM,IAAI,KAAK,CACb,wFAAwF,KAAK,CAAC,MAAM,GAAG,CACxG,CAAC;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7D,IACE,YAAY,CAAC,MAAM,GAAG,gBAAgB;YACtC,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,EACvD,CAAC;YACD,MAAM,IAAI,KAAK,CACb,+DAA+D,CAChE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CACb,gFAAgF,CACjF,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GAA6B;YAC1C,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,YAAY;YACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SAC3D,CAAC;QACF,IAAI,CAAC,QAAQ;aACV,OAAO,CACN;;;;;;;8CAOsC,CACvC;aACA,GAAG,CACF,SAAS,CAAC,MAAM,EAChB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,YAAY,CAAC,EACtC,SAAS,CAAC,QAAQ,EAClB,SAAS,CAAC,WAAW,CACtB,CAAC;QACJ,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AAID,SAAS,YAAY,CAAC,IAAyB;IAC7C,IAAI,IAAI,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;QAChC,OAAO,QAAQ,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,MAAM,WAAW,IAAI,CAAC,UAAU,EAAE,CAAC;IAChH,CAAC;IACD,IAAI,cAAc,IAAI,IAAI,EAAE,CAAC;QAC3B,OAAO,aAAa,IAAI,CAAC,YAAY,OAAO,IAAI,CAAC,SAAS,SAAS,IAAI,CAAC,KAAK,iBAAiB,IAAI,CAAC,UAAU,EAAE,CAAC;IAClH,CAAC;IACD,OAAO,QAAQ,IAAI,CAAC,SAAS,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,iBAAiB,IAAI,CAAC,UAAU,EAAE,CAAC;AAClG,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,eAAe,CAC7B,KAAqC,EACrC,SAAmC;IAEnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACjD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAGnC;IAQC,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS;QAChC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC;QACzC,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,OAAO,EAAE,CAAC;QACV,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;QAC/C,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK;QACpC,MAAM,EAAE,KAAK,CAAC,SAAS,EAAE,MAAM,IAAI,IAAI;QACvC,KAAK;QACL,UAAU;KACX,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kCAAkC,CAAC,KAIlD;IACC,IAAI,CAAC,KAAK,CAAC,SAAS;QAAE,OAAO;IAC7B,MAAM,QAAQ,GAAG;QACf,GAAG,eAAe,CAChB,8BAA8B,CAAC,KAAK,CAAC,EACrC,KAAK,CAAC,SAAS,CAChB,CAAC,GAAG,CAAC,YAAY,CAAC;QACnB,GAAG,oCAAoC,CAAC,KAAK,CAAC,CAAC,GAAG,CAChD,CAAC,QAAQ,EAAE,EAAE,CACX,aAAa,QAAQ,CAAC,YAAY,OAAO,QAAQ,CAAC,OAAO,qBAAqB,QAAQ,CAAC,UAAU,yDAAyD,CAC7J;KACF,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CACb,0EAA0E,KAAK,CAAC,SAAS,CAAC,MAAM,eAC9F,KAAK,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAC7C,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,gJAAgJ,CAC1K,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/local/workspace-authority-guard.d.ts

@@ -0,0 +1,18 @@
+import { type GitWorktreeContext } from './git.js';
+import { LocalWorkspaceStore, type LocalWorkspace } from './workspace-store.js';
+export type CurrentWorkspaceAuthority = {
+    workspace: LocalWorkspace;
+    git: GitWorktreeContext;
+};
+/** Re-discovers Git before an operation relies on foreground authority. */
+export declare class LocalWorkspaceAuthorityGuard {
+    private readonly repository_root;
+    private readonly git_common_dir;
+    private readonly store;
+    constructor(repository_root: string, git_common_dir: string, store: LocalWorkspaceStore);
+    requireCurrent(workspace_id: string, input?: {
+        allow_branch_change?: boolean;
+        require_human?: boolean;
+    }): Promise<CurrentWorkspaceAuthority>;
+}
+//# sourceMappingURL=workspace-authority-guard.d.ts.map

package/dist/local/workspace-authority-guard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-authority-guard.d.ts","sourceRoot":"","sources":["../../src/local/workspace-authority-guard.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,kBAAkB,EACxB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,mBAAmB,EAAE,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEhF,MAAM,MAAM,yBAAyB,GAAG;IACtC,SAAS,EAAE,cAAc,CAAC;IAC1B,GAAG,EAAE,kBAAkB,CAAC;CACzB,CAAC;AAEF,2EAA2E;AAC3E,qBAAa,4BAA4B;IAErC,OAAO,CAAC,QAAQ,CAAC,eAAe;IAChC,OAAO,CAAC,QAAQ,CAAC,cAAc;IAC/B,OAAO,CAAC,QAAQ,CAAC,KAAK;gBAFL,eAAe,EAAE,MAAM,EACvB,cAAc,EAAE,MAAM,EACtB,KAAK,EAAE,mBAAmB;IAGvC,cAAc,CAClB,YAAY,EAAE,MAAM,EACpB,KAAK,GAAE;QAAE,mBAAmB,CAAC,EAAE,OAAO,CAAC;QAAC,aAAa,CAAC,EAAE,OAAO,CAAA;KAAO,GACrE,OAAO,CAAC,yBAAyB,CAAC;CAoEtC"}