@bett3r-dev/blueprint-schema 1.6.0

package/build/esm/ops.d.ts

@@ -0,0 +1,158 @@
+import { HandlerScopeIssue } from './diagnostics.js';
+import { StrandingReport } from './reachability.js';
+import { VerbSubject } from './reality-check.js';
+import { DesignAuthor, DesignStatus } from './nodes.js';
+import type { MapEntryId, MapForkStatus, MapLink, MapWithdrawal } from './map-structure.js';
+import { DesignComment, ModifyEntry, ProposedEdge, ProposedNode, RemoveEntry, ResolveEntry } from './design.js';
+export type OpsSchemaVersion = 1;
+export declare const BLUEPRINT_OPS_FILENAME = "ops.jsonl";
+export type OpClass = 'semantic' | 'layout' | 'operational';
+export type OpVerb = 'propose' | 'modify' | 'remove' | 'comment' | 'resolve' | 'reclassify' | 'position' | 'lock-takeover' | 'anchor-attach' | 'anchor-detach' | 'session-freeze' | 'session-reopen' | 'pr-link' | 'pr-merged' | 'pr-closed' | 'undo' | 'map-ground' | 'map-post' | 'map-strike' | 'map-choose' | 'map-link' | 'map-unlink';
+export type MapOpVerb = Extract<OpVerb, `map-${string}`>;
+export type StrandingOpDiagnostic = {
+    strandedProposals?: StrandingReport;
+};
+export type ProposeOpPayload = StrandingOpDiagnostic & {
+    nodes: ProposedNode[];
+    edges: ProposedEdge[];
+};
+export type ModifyOpPayload = {
+    entries: ModifyEntry[];
+};
+export type RemoveOpPayload = StrandingOpDiagnostic & {
+    entries: RemoveEntry[];
+};
+export type CommentOpPayload = {
+    entries: DesignComment[];
+};
+export type ResolveOpPayload = {
+    entries: ResolveEntry[];
+};
+export type OperationalOpVerb = 'reality-moved' | 'scope' | 'chain-break';
+export type ScopeOpPayload = {
+    saved: Array<{
+        name: string;
+        subdomains: string[];
+        text: string;
+        all?: boolean;
+        design?: {
+            authors: readonly DesignAuthor[];
+            statuses: readonly DesignStatus[];
+        };
+    }>;
+    removed: string[];
+};
+export type RealityMovedOpPayload = {
+    note: string;
+    satisfied: number;
+    stale: number;
+    staleVerbs: Array<{
+        path: string;
+        reason: string;
+        subject?: VerbSubject;
+    }>;
+    degraded?: number;
+    degradedScopes?: Array<{
+        path: string;
+        handlerId: string;
+        issue: HandlerScopeIssue;
+    }>;
+};
+export type LockTakeoverOpPayload = {
+    pid: number;
+    writerId: string;
+    heldForMs: number;
+    reason: 'holder-dead' | 'stale';
+};
+export type AnchorAttachOpPayload = {
+    sessionId: string;
+    realityProvider: string;
+    realitySha: string;
+    realityAt: string;
+    repoPath: string;
+    previousProvider?: string;
+    previousRealitySha?: string;
+};
+export type AnchorDetachObservation = 'recorded' | 'inferred';
+export type AnchorDetachOpPayload = {
+    sessionId: string;
+    realityProvider: string;
+    reason: string;
+    detachedAt: string;
+    observed: AnchorDetachObservation;
+};
+export type SessionReopenOpPayload = {
+    actor: string;
+    reason: string;
+};
+export type PullRequestProvider = 'github' | 'stub';
+export type PrLinkOpPayload = {
+    ref: string;
+    provider: PullRequestProvider;
+    url: string;
+    actor: string;
+};
+export type PrMergedOpPayload = {
+    ref: string;
+    mergeCommitSha: string;
+    mergedAt: string;
+};
+export type PrClosedOpPayload = {
+    ref: string;
+};
+export declare const UNDOABLE_OP_VERBS: readonly ["propose", "modify", "remove", "comment", "map-post", "map-choose", "map-link", "map-unlink"];
+export type UndoableOpVerb = (typeof UNDOABLE_OP_VERBS)[number];
+export type UndoFold = 'design' | 'map';
+export type DesignUndoableOpVerb = Exclude<UndoableOpVerb, MapUndoableOpVerb>;
+export type MapUndoableOpVerb = 'map-post' | 'map-choose' | 'map-link' | 'map-unlink';
+export declare function isUndoableOpVerb(verb: unknown): verb is UndoableOpVerb;
+export type UndoWithdrawal = {
+    nodes?: ProposedNode[];
+    edges?: ProposedEdge[];
+    modify?: ModifyEntry[];
+    comments?: DesignComment[];
+    remove?: RemoveEntry[];
+};
+export type DesignUndoOpPayload = {
+    fold?: 'design';
+    undoes: number;
+    undoneVerb: DesignUndoableOpVerb;
+    withdraw: UndoWithdrawal;
+};
+export type MapPostUndoOpPayload = {
+    fold: 'map';
+    undoes: number;
+    undoneVerb: 'map-post';
+    withdraw: MapWithdrawal;
+};
+export type MapChooseUndoOpPayload = {
+    fold: 'map';
+    undoes: number;
+    undoneVerb: 'map-choose';
+    restore: MapStatusRestore;
+};
+export type MapStatusRestore = {
+    id: MapEntryId;
+    status: MapForkStatus;
+};
+export type MapLinkUndoOpPayload = {
+    fold: 'map';
+    undoes: number;
+    undoneVerb: 'map-link' | 'map-unlink';
+    link: MapLink;
+    changed?: false;
+};
+export type MapUndoOpPayload = MapPostUndoOpPayload | MapChooseUndoOpPayload | MapLinkUndoOpPayload;
+export type UndoOpPayload = DesignUndoOpPayload | MapUndoOpPayload;
+export type Op = {
+    seq: number;
+    ts: string;
+    author: DesignAuthor | 'system';
+    class: OpClass;
+    verb: OpVerb | OperationalOpVerb;
+    payload: unknown;
+    writerSha: string;
+    writerId: string;
+    prevHash?: string;
+};
+//# sourceMappingURL=ops.d.ts.map

package/build/esm/ops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ops.d.ts","sourceRoot":"","sources":["../../src/ops.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC5F,OAAO,EACL,aAAa,EACb,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,YAAY,EACb,MAAM,aAAa,CAAC;AAErB,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAEjC,eAAO,MAAM,sBAAsB,cAAc,CAAC;AAElD,MAAM,MAAM,OAAO,GAAG,UAAU,GAAG,QAAQ,GAAG,aAAa,CAAC;AAE5D,MAAM,MAAM,MAAM,GACd,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,SAAS,GACT,YAAY,GACZ,UAAU,GACV,eAAe,GACf,eAAe,GACf,eAAe,GACf,gBAAgB,GAChB,gBAAgB,GAChB,SAAS,GACT,WAAW,GACX,WAAW,GACX,MAAM,GACN,YAAY,GACZ,UAAU,GACV,YAAY,GACZ,YAAY,GACZ,UAAU,GACV,YAAY,CAAC;AAEjB,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,EAAE,OAAQ,MAAO,EAAE,CAAC,CAAC;AAE3D,MAAM,MAAM,qBAAqB,GAAG;IAClC,iBAAiB,CAAC,EAAE,eAAe,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,qBAAqB,GAAG;IACrD,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,KAAK,EAAE,YAAY,EAAE,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,OAAO,EAAE,WAAW,EAAE,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,qBAAqB,GAAG;IACpD,OAAO,EAAE,WAAW,EAAE,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,OAAO,EAAE,aAAa,EAAE,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAAG,OAAO,GAAG,aAAa,CAAC;AAE1E,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,KAAK,CAAC;QACX,IAAI,EAAE,MAAM,CAAC;QACb,UAAU,EAAE,MAAM,EAAE,CAAC;QACrB,IAAI,EAAE,MAAM,CAAC;QACb,GAAG,CAAC,EAAE,OAAO,CAAC;QACd,MAAM,CAAC,EAAE;YAAE,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;YAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;SAAE,CAAC;KAClF,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC;IAC3E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,cAAc,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,iBAAiB,CAAA;KAAE,CAAC,CAAC;CACvF,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,UAAU,GAAG,UAAU,CAAC;AAE9D,MAAM,MAAM,qBAAqB,GAAG;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,uBAAuB,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,MAAM,CAAC;AAEpD,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,GAAG,EAAE,MAAM,CAAC;IACZ,cAAc,EAAE,MAAM,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,GAAG,EAAE,MAAM,CAAC;CACb,CAAC;AAEF,eAAO,MAAM,iBAAiB,yGAA4G,CAAC;AAE3I,MAAM,MAAM,cAAc,GAAG,CAAE,OAAO,iBAAiB,CAAE,CAAE,MAAM,CAAE,CAAC;AAEpE,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,KAAK,CAAC;AAExC,MAAM,MAAM,oBAAoB,GAAG,OAAO,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC;AAE9E,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,YAAY,GAAG,UAAU,GAAG,YAAY,CAAC;AAEtF,wBAAgB,gBAAgB,CAAE,IAAI,EAAE,OAAO,GAAI,IAAI,IAAI,cAAc,CAGxE;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC;IACvB,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC;IACvB,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC;IACvB,QAAQ,CAAC,EAAE,aAAa,EAAE,CAAC;IAC3B,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,oBAAoB,CAAC;IACjC,QAAQ,EAAE,cAAc,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,KAAK,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,UAAU,CAAC;IACvB,QAAQ,EAAE,aAAa,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,IAAI,EAAE,KAAK,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,YAAY,CAAC;IACzB,OAAO,EAAE,gBAAgB,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAAE,EAAE,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,CAAC;AAEzE,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,KAAK,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,UAAU,GAAG,YAAY,CAAC;IACtC,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,CAAC,EAAE,KAAK,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,oBAAoB,GAAG,sBAAsB,GAAG,oBAAoB,CAAC;AAEpG,MAAM,MAAM,aAAa,GAAG,mBAAmB,GAAG,gBAAgB,CAAC;AAEnE,MAAM,MAAM,EAAE,GAAG;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,YAAY,GAAG,QAAQ,CAAC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAC;IACjC,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC"}

package/build/esm/ops.js

@@ -0,0 +1,7 @@
+export const BLUEPRINT_OPS_FILENAME = 'ops.jsonl';
+export const UNDOABLE_OP_VERBS = ['propose', 'modify', 'remove', 'comment', 'map-post', 'map-choose', 'map-link', 'map-unlink'];
+export function isUndoableOpVerb(verb) {
+    return typeof verb === 'string'
+        && UNDOABLE_OP_VERBS.includes(verb);
+}
+//# sourceMappingURL=ops.js.map

package/build/esm/ops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ops.js","sourceRoot":"","sources":["../../src/ops.ts"],"names":[],"mappings":"AAgBA,MAAM,CAAC,MAAM,sBAAsB,GAAG,WAAW,CAAC;AAgIlD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,CAAW,CAAC;AAU3I,MAAM,UAAU,gBAAgB,CAAE,IAAa;IAC7C,OAAO,OAAO,IAAI,KAAK,QAAQ;WACxB,iBAAwC,CAAC,QAAQ,CAAE,IAAI,CAAE,CAAC;AACnE,CAAC"}

package/build/esm/organisation.d.ts

@@ -0,0 +1,10 @@
+export type OrgId = string;
+export declare const DEFAULT_ORG: OrgId;
+export type OrgScope = {
+    boundOrg: OrgId;
+};
+export declare class UnscopedOrgError extends Error {
+    constructor();
+}
+export declare function orgScope(boundOrg: OrgId): OrgScope;
+//# sourceMappingURL=organisation.d.ts.map

package/build/esm/organisation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"organisation.d.ts","sourceRoot":"","sources":["../../src/organisation.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAE3B,eAAO,MAAM,WAAW,EAAE,KAAkB,CAAC;AAE7C,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,EAAE,KAAK,CAAC;CACjB,CAAC;AAEF,qBAAa,gBAAiB,SAAQ,KAAK;;CAU1C;AAED,wBAAgB,QAAQ,CAAE,QAAQ,EAAE,KAAK,GAAI,QAAQ,CAGpD"}

package/build/esm/organisation.js

@@ -0,0 +1,16 @@
+export const DEFAULT_ORG = 'personal';
+export class UnscopedOrgError extends Error {
+    constructor() {
+        super('refusing an unscoped access: no bound org. An access with no org would read every org in ' +
+            'the store, which is not a broad query but a tenancy failure — and its result is ' +
+            'indistinguishable from a correct one. Bind the org from injected configuration ' +
+            '(DEFAULT_ORG locally; a hosted substrate must supply one and refuse without it).');
+        this.name = 'UnscopedOrgError';
+    }
+}
+export function orgScope(boundOrg) {
+    if (!boundOrg || boundOrg.trim() === '')
+        throw new UnscopedOrgError();
+    return { boundOrg };
+}
+//# sourceMappingURL=organisation.js.map

package/build/esm/organisation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"organisation.js","sourceRoot":"","sources":["../../src/organisation.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,WAAW,GAAU,UAAU,CAAC;AAM7C,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC;QACE,KAAK,CACH,2FAA2F;YAC3F,kFAAkF;YAClF,iFAAiF;YACjF,kFAAkF,CACnF,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,MAAM,UAAU,QAAQ,CAAE,QAAe;IACvC,IAAK,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QAAG,MAAM,IAAI,gBAAgB,EAAE,CAAC;IACxE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACtB,CAAC"}

package/build/esm/overrides.d.ts

@@ -0,0 +1,74 @@
+import { EdgeKind } from './edges.js';
+import { DesignAuthor, NodeType } from './nodes.js';
+export type OverridesSchemaVersion = 1;
+export declare const OVERRIDES_SCHEMA_VERSION = 1;
+export declare const BLUEPRINT_OVERRIDES_FILENAME = ".blueprint.overrides.json";
+export type ManualNode = {
+    id?: string;
+    type: NodeType;
+    label: string;
+    subdomain: string;
+    resourceKey?: string;
+    author?: DesignAuthor;
+    note?: string;
+};
+export type ManualEdge = {
+    from: string;
+    to: string;
+    kind: EdgeKind;
+    author?: DesignAuthor;
+    note?: string;
+    handlers?: string[];
+};
+export type NodePatch = {
+    id: string;
+    set: Partial<{
+        label: string;
+        subdomain: string;
+        resourceKey: string;
+    }>;
+    note?: string;
+};
+export type Suppression = {
+    type: 'node';
+    id: string;
+    note?: string;
+} | {
+    type: 'edge';
+    from: string;
+    to: string;
+    edgeKind: EdgeKind;
+    note?: string;
+} | {
+    type: 'unresolved-edge';
+    anchorId: string;
+    targetName: string;
+    edgeKind: EdgeKind;
+    note?: string;
+};
+export type BlueprintOverrides = {
+    schemaVersion: OverridesSchemaVersion;
+    add?: {
+        nodes?: ManualNode[];
+        edges?: ManualEdge[];
+    };
+    patch?: {
+        nodes?: NodePatch[];
+    };
+    suppress?: Suppression[];
+};
+export declare function emptyOverrides(): BlueprintOverrides;
+export type OverridesReadFailure = {
+    ok: false;
+    reason: 'not-a-document';
+} | {
+    ok: false;
+    reason: 'wrong-version';
+    observed: unknown;
+};
+export type OverridesRead = {
+    ok: true;
+    overrides: BlueprintOverrides;
+} | OverridesReadFailure;
+export declare function readOverrides(parsed: unknown): OverridesRead;
+//# sourceMappingURL=overrides.d.ts.map

package/build/esm/overrides.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"overrides.d.ts","sourceRoot":"","sources":["../../src/overrides.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEpD,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAEvC,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C,eAAO,MAAM,4BAA4B,8BAA8B,CAAC;AAExE,MAAM,MAAM,UAAU,GAAG;IACvB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,OAAO,CAAC;QACX,KAAK,EAAE,MAAM,CAAC;QACd,SAAS,EAAE,MAAM,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC,CAAC;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7E;IACE,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEN,MAAM,MAAM,kBAAkB,GAAG;IAC/B,aAAa,EAAE,sBAAsB,CAAC;IACtC,GAAG,CAAC,EAAE;QACJ,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;QACrB,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;KACtB,CAAC;IACF,KAAK,CAAC,EAAE;QACN,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC;KACrB,CAAC;IACF,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;CAC1B,CAAC;AAEF,wBAAgB,cAAc,IAAI,kBAAkB,CAEnD;AAED,MAAM,MAAM,oBAAoB,GAC5B;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAA;CAAE,GACvC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,aAAa,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,kBAAkB,CAAA;CAAE,GAAG,oBAAoB,CAAC;AAE/F,wBAAgB,aAAa,CAAE,MAAM,EAAE,OAAO,GAAI,aAAa,CAO9D"}

package/build/esm/overrides.js

@@ -0,0 +1,15 @@
+export const OVERRIDES_SCHEMA_VERSION = 1;
+export const BLUEPRINT_OVERRIDES_FILENAME = '.blueprint.overrides.json';
+export function emptyOverrides() {
+    return { schemaVersion: 1 };
+}
+export function readOverrides(parsed) {
+    if (parsed === null || typeof parsed !== 'object' || Array.isArray(parsed)) {
+        return { ok: false, reason: 'not-a-document' };
+    }
+    const observed = parsed.schemaVersion;
+    if (observed !== OVERRIDES_SCHEMA_VERSION)
+        return { ok: false, reason: 'wrong-version', observed };
+    return { ok: true, overrides: parsed };
+}
+//# sourceMappingURL=overrides.js.map

package/build/esm/overrides.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"overrides.js","sourceRoot":"","sources":["../../src/overrides.ts"],"names":[],"mappings":"AAKA,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAE1C,MAAM,CAAC,MAAM,4BAA4B,GAAG,2BAA2B,CAAC;AAsDxE,MAAM,UAAU,cAAc;IAC5B,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AAC9B,CAAC;AAQD,MAAM,UAAU,aAAa,CAAE,MAAe;IAC5C,IAAK,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAE,MAAM,CAAE,EAAG,CAAC;QAC/E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IACjD,CAAC;IACD,MAAM,QAAQ,GAAK,MAAuC,CAAC,aAAa,CAAC;IACzE,IAAK,QAAQ,KAAK,wBAAwB;QAAG,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;IACrG,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAA4B,EAAE,CAAC;AAC/D,CAAC"}

package/build/esm/package.json

@@ -0,0 +1 @@
+{"type":"module"}

package/build/esm/reachability.d.ts

@@ -0,0 +1,27 @@
+import { EdgeKind } from './edges.js';
+import { DesignFile } from './design.js';
+import { PromotionOptions } from './entry-points.js';
+import { BlueprintGraph } from './graph.js';
+export declare const CAUSAL_KINDS: ReadonlySet<EdgeKind>;
+export type StrandReason = 'SYSTEM_WITHOUT_COMMAND_HANDLER' | 'CROSS_SUBDOMAIN_ENTRY_POINT_ONLY' | 'POLICY_HOP_WITHOUT_CAUSES_MIRROR' | 'NO_PATH_FROM_ANY_ROOT';
+export type StrandFrontier = {
+    id: string;
+    reason: StrandReason;
+    hint?: string;
+};
+export type StrandDownstream = {
+    id: string;
+    downstreamOf: string;
+};
+export type StrandingReport = {
+    frontier: readonly StrandFrontier[];
+    downstream: readonly StrandDownstream[];
+};
+export type StrandingFailure = {
+    code: string;
+    message: string;
+};
+export declare const strandingFailure: (cause: unknown) => StrandingFailure;
+export declare const drawableIds: (graph: BlueprintGraph, options?: PromotionOptions) => ReadonlySet<string>;
+export declare const findStrandedProposals: (graph: BlueprintGraph, design: DesignFile, options?: PromotionOptions) => StrandingReport;
+//# sourceMappingURL=reachability.d.ts.map

package/build/esm/reachability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reachability.d.ts","sourceRoot":"","sources":["../../src/reachability.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAwC,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAK5C,eAAO,MAAM,YAAY,EAAE,WAAW,CAAC,QAAQ,CAI5C,CAAC;AAEJ,MAAM,MAAM,YAAY,GACpB,gCAAgC,GAChC,kCAAkC,GAClC,kCAAkC,GAClC,uBAAuB,CAAC;AAE5B,MAAM,MAAM,cAAc,GAAG;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,YAAY,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IACpC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACzC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAAK,OAAO,OAAO,KAAI,gBAMnD,CAAC;AAEF,eAAO,MAAM,WAAW,GACtB,OAAO,cAAc,EACrB,UAAS,gBAAqB,KAC7B,WAAW,CAAC,MAAM,CAgCpB,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,OAAO,cAAc,EACrB,QAAQ,UAAU,EAClB,UAAS,gBAAqB,KAC7B,eAmDF,CAAC"}

package/build/esm/reachability.js

@@ -0,0 +1,212 @@
+import { buildEntryPointIndex, isPromotableId } from './entry-points.js';
+import { proposedNodeId } from './apply-design.js';
+import { buildFlowIndex, traverseFlow, TRAVERSABLE_KINDS } from './flow-traversal.js';
+export const CAUSAL_KINDS = new Set([
+    ...TRAVERSABLE_KINDS,
+    'emits',
+    'issues'
+]);
+export const strandingFailure = (cause) => {
+    const code = cause?.code;
+    return {
+        code: typeof code === 'string' ? code : 'INTERNAL_ERROR',
+        message: cause instanceof Error ? cause.message : String(cause)
+    };
+};
+export const drawableIds = (graph, options = {}) => {
+    const nodesById = new Map(graph.nodes.map((node) => [node.id, node]));
+    const index = buildEntryPointIndex(graph, nodesById);
+    const roots = graph.nodes
+        .filter((node) => node.type === 'command' &&
+        node.status !== 'removed' &&
+        isPromotableId(node.id, index, options))
+        .map((node) => node.id);
+    const rootIds = new Set(roots);
+    const flowIndex = buildFlowIndex(graph);
+    const spine = new Set();
+    for (const rootId of roots) {
+        for (const id of traverseFlow(flowIndex, { rootId }).keys())
+            spine.add(id);
+    }
+    const drawable = new Set(spine);
+    for (const edge of graph.edges) {
+        const from = nodesById.get(edge.from);
+        if (from === undefined)
+            continue;
+        if (edge.kind === 'invokes' && from.type === 'ui' && spine.has(edge.to)) {
+            drawable.add(edge.from);
+        }
+        if (edge.kind === 'issues' && from.type === 'policy' && rootIds.has(edge.to)) {
+            drawable.add(edge.from);
+        }
+    }
+    return drawable;
+};
+export const findStrandedProposals = (graph, design, options = {}) => {
+    const proposedNodes = design.propose?.nodes ?? [];
+    const proposedEdges = design.propose?.edges ?? [];
+    if (proposedNodes.length === 0)
+        return { frontier: [], downstream: [] };
+    const incident = new Set();
+    for (const edge of proposedEdges) {
+        incident.add(edge.from);
+        incident.add(edge.to);
+    }
+    const drawable = drawableIds(graph, options);
+    const stranded = proposedNodes
+        .map((node) => proposedNodeId(node))
+        .filter((id) => incident.has(id) && !drawable.has(id));
+    if (stranded.length === 0)
+        return { frontier: [], downstream: [] };
+    const strandedSet = new Set(stranded);
+    const causalEdges = graph.edges.filter((edge) => CAUSAL_KINDS.has(edge.kind) &&
+        strandedSet.has(edge.from) &&
+        strandedSet.has(edge.to) &&
+        edge.from !== edge.to);
+    const componentOf = stronglyConnectedComponents(stranded, causalEdges);
+    const causedComponents = new Set();
+    for (const edge of causalEdges) {
+        if (componentOf.get(edge.from) !== componentOf.get(edge.to)) {
+            causedComponents.add(componentOf.get(edge.to));
+        }
+    }
+    const frontierIds = stranded.filter((id) => !causedComponents.has(componentOf.get(id)));
+    const attribution = attributeToFrontier(frontierIds, causalEdges);
+    const nodesById = new Map(graph.nodes.map((node) => [node.id, node]));
+    const explain = explainer(graph, nodesById);
+    const frontier = [];
+    const downstream = [];
+    for (const id of stranded) {
+        const cause = attribution.get(id);
+        if (cause === undefined || cause === id) {
+            frontier.push({ id, ...explain(id) });
+        }
+        else {
+            downstream.push({ id, downstreamOf: cause });
+        }
+    }
+    return { frontier, downstream };
+};
+const explainer = (graph, nodesById) => {
+    let wideDrawable;
+    return (id) => {
+        if (wideDrawable === undefined) {
+            wideDrawable = drawableIds(graph, { showInboundTriggers: true });
+        }
+        if (wideDrawable.has(id)) {
+            return {
+                reason: 'CROSS_SUBDOMAIN_ENTRY_POINT_ONLY',
+                hint: 'drawn only while the board\'s "show inbound triggers" toggle is on, which is off by default'
+            };
+        }
+        const node = nodesById.get(id);
+        if (node?.type === 'system' &&
+            !graph.edges.some((edge) => edge.kind === 'handled-by' && edge.to === id)) {
+            return { reason: 'SYSTEM_WITHOUT_COMMAND_HANDLER' };
+        }
+        if (node?.type === 'command') {
+            for (const issues of graph.edges) {
+                if (issues.kind !== 'issues' || issues.to !== id)
+                    continue;
+                for (const triggers of graph.edges) {
+                    if (triggers.kind !== 'triggers' || triggers.to !== issues.from)
+                        continue;
+                    const mirrored = graph.edges.some((edge) => edge.kind === 'causes' && edge.from === triggers.from && edge.to === id);
+                    if (!mirrored) {
+                        return {
+                            reason: 'POLICY_HOP_WITHOUT_CAUSES_MIRROR',
+                            hint: `${triggers.from} --causes--> ${id}`
+                        };
+                    }
+                }
+            }
+        }
+        return { reason: 'NO_PATH_FROM_ANY_ROOT' };
+    };
+};
+const stronglyConnectedComponents = (ids, edges) => {
+    const adjacency = new Map(ids.map((id) => [id, []]));
+    for (const edge of edges)
+        adjacency.get(edge.from).push(edge.to);
+    const index = new Map();
+    const lowLink = new Map();
+    const onStack = new Set();
+    const stack = [];
+    const component = new Map();
+    let counter = 0;
+    let components = 0;
+    for (const start of ids) {
+        if (index.has(start))
+            continue;
+        const frames = [[start, 0]];
+        index.set(start, counter);
+        lowLink.set(start, counter);
+        counter += 1;
+        stack.push(start);
+        onStack.add(start);
+        while (frames.length > 0) {
+            const frame = frames[frames.length - 1];
+            const [node] = frame;
+            const neighbours = adjacency.get(node);
+            if (frame[1] < neighbours.length) {
+                const next = neighbours[frame[1]];
+                frame[1] += 1;
+                if (!index.has(next)) {
+                    index.set(next, counter);
+                    lowLink.set(next, counter);
+                    counter += 1;
+                    stack.push(next);
+                    onStack.add(next);
+                    frames.push([next, 0]);
+                }
+                else if (onStack.has(next)) {
+                    lowLink.set(node, Math.min(lowLink.get(node), index.get(next)));
+                }
+                continue;
+            }
+            frames.pop();
+            if (frames.length > 0) {
+                const parent = frames[frames.length - 1][0];
+                lowLink.set(parent, Math.min(lowLink.get(parent), lowLink.get(node)));
+            }
+            if (lowLink.get(node) === index.get(node)) {
+                let member;
+                do {
+                    member = stack.pop();
+                    onStack.delete(member);
+                    component.set(member, components);
+                } while (member !== node);
+                components += 1;
+            }
+        }
+    }
+    return component;
+};
+const attributeToFrontier = (frontierIds, edges) => {
+    const outgoing = new Map();
+    for (const edge of edges) {
+        const list = outgoing.get(edge.from);
+        if (list)
+            list.push(edge.to);
+        else
+            outgoing.set(edge.from, [edge.to]);
+    }
+    const attribution = new Map();
+    const queue = [];
+    for (const id of frontierIds) {
+        attribution.set(id, id);
+        queue.push(id);
+    }
+    while (queue.length > 0) {
+        const current = queue.shift();
+        const cause = attribution.get(current);
+        for (const next of outgoing.get(current) ?? []) {
+            if (attribution.has(next))
+                continue;
+            attribution.set(next, cause);
+            queue.push(next);
+        }
+    }
+    return attribution;
+};
+//# sourceMappingURL=reachability.js.map

package/build/esm/reachability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reachability.js","sourceRoot":"","sources":["../../src/reachability.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAoB,MAAM,mBAAmB,CAAC;AAG3F,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAEtF,MAAM,CAAC,MAAM,YAAY,GAA0B,IAAI,GAAG,CAAY;IACpE,GAAG,iBAAiB;IACpB,OAAO;IACP,QAAQ;CACT,CAAE,CAAC;AA6BJ,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAE,KAAc,EAAqB,EAAE;IACrE,MAAM,IAAI,GAAK,KAAgD,EAAE,IAAI,CAAC;IACtE,OAAO;QACL,IAAI,EAAE,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB;QACxD,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAE,KAAK,CAAE;KAClE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAqB,EACrB,UAA4B,EAAE,EACT,EAAE;IACvB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAyB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAE,CAAE,CAAC;IACrG,MAAM,KAAK,GAAG,oBAAoB,CAAE,KAAK,EAAE,SAAS,CAAE,CAAC;IAEvD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK;SACtB,MAAM,CAAE,CAAE,IAAI,EAAG,EAAE,CAClB,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,IAAI,CAAC,MAAM,KAAK,SAAS;QACzB,cAAc,CAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAE,CAAE;SAC5C,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAE,KAAK,CAAE,CAAC;IAEjC,MAAM,SAAS,GAAG,cAAc,CAAE,KAAK,CAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAM,MAAM,MAAM,IAAI,KAAK,EAAG,CAAC;QAC7B,KAAM,MAAM,EAAE,IAAI,YAAY,CAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAE,CAAC,IAAI,EAAE;YAAG,KAAK,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;IACnF,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAU,KAAK,CAAE,CAAC;IAE1C,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;QACjC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QACxC,IAAK,IAAI,KAAK,SAAS;YAAG,SAAS;QACnC,IAAK,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,EAAG,CAAC;YAC5E,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QAC5B,CAAC;QACD,IAAK,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,EAAG,CAAC;YACjF,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAqB,EACrB,MAAkB,EAClB,UAA4B,EAAE,EACb,EAAE;IACnB,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IAClD,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IAClD,IAAK,aAAa,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAE1E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAM,MAAM,IAAI,IAAI,aAAa,EAAG,CAAC;QACnC,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QAC1B,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;IAC1B,CAAC;IAED,MAAM,QAAQ,GAAG,WAAW,CAAE,KAAK,EAAE,OAAO,CAAE,CAAC;IAC/C,MAAM,QAAQ,GAAG,aAAa;SAC3B,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,cAAc,CAAE,IAAI,CAAE,CAAE;SACzC,MAAM,CAAE,CAAE,EAAE,EAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAE,EAAE,CAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAE,EAAE,CAAE,CAAE,CAAC;IACjE,IAAK,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAErE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAE,QAAQ,CAAE,CAAC;IACxC,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAE,CAAE,IAAI,EAAG,EAAE,CACjD,YAAY,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE;QAC7B,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE;QAC5B,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE;QAC1B,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAE,CAAC;IAE1B,MAAM,WAAW,GAAG,2BAA2B,CAAE,QAAQ,EAAE,WAAW,CAAE,CAAC;IAEzE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,KAAM,MAAM,IAAI,IAAI,WAAW,EAAG,CAAC;QACjC,IAAK,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,KAAK,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,EAAG,CAAC;YAClE,gBAAgB,CAAC,GAAG,CAAE,WAAW,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAG,CAAE,CAAC;QACtD,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAE,CAAE,EAAE,EAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAE,WAAW,CAAC,GAAG,CAAE,EAAE,CAAG,CAAE,CAAE,CAAC;IACjG,MAAM,WAAW,GAAG,mBAAmB,CAAE,WAAW,EAAE,WAAW,CAAE,CAAC;IAEpE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAyB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAE,CAAE,CAAC;IACrG,MAAM,OAAO,GAAG,SAAS,CAAE,KAAK,EAAE,SAAS,CAAE,CAAC;IAE9C,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,KAAM,MAAM,EAAE,IAAI,QAAQ,EAAG,CAAC;QAC5B,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;QACpC,IAAK,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,EAAG,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAE,EAAE,CAAE,EAAE,CAAE,CAAC;QAC5C,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAE,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,CAAE,CAAC;QACjD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAE,KAAqB,EAAE,SAA6C,EAAG,EAAE;IAC3F,IAAI,YAA6C,CAAC;IAElD,OAAO,CAAE,EAAU,EAA4C,EAAE;QAC/D,IAAK,YAAY,KAAK,SAAS,EAAG,CAAC;YACjC,YAAY,GAAG,WAAW,CAAE,KAAK,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAE,CAAC;QACrE,CAAC;QACD,IAAK,YAAY,CAAC,GAAG,CAAE,EAAE,CAAE,EAAG,CAAC;YAC7B,OAAO;gBACL,MAAM,EAAE,kCAAkC;gBAC1C,IAAI,EAAE,6FAA6F;aACpG,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;QAEjC,IACE,IAAI,EAAE,IAAI,KAAK,QAAQ;YACvB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,EAAE,KAAK,EAAE,CAAE,EAC7E,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;QACtD,CAAC;QAED,IAAK,IAAI,EAAE,IAAI,KAAK,SAAS,EAAG,CAAC;YAC/B,KAAM,MAAM,MAAM,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;gBACnC,IAAK,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,EAAE,KAAK,EAAE;oBAAG,SAAS;gBAC7D,KAAM,MAAM,QAAQ,IAAI,KAAK,CAAC,KAAK,EAAG,CAAC;oBACrC,IAAK,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI;wBAAG,SAAS;oBAC5E,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAE,CAAE,IAAI,EAAG,EAAE,CAC5C,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,EAAE,CAAE,CAAC;oBAC5E,IAAK,CAAC,QAAQ,EAAG,CAAC;wBAChB,OAAO;4BACL,MAAM,EAAE,kCAAkC;4BAC1C,IAAI,EAAE,GAAI,QAAQ,CAAC,IAAK,gBAAiB,EAAG,EAAE;yBAC/C,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;IAC7C,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,GAAsB,EACtB,KAA8C,EACjB,EAAE;IAC/B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAoB,GAAG,CAAC,GAAG,CAAE,CAAE,EAAE,EAAG,EAAE,CAAC,CAAE,EAAE,EAAE,EAAE,CAAE,CAAE,CAAE,CAAC;IAC/E,KAAM,MAAM,IAAI,IAAI,KAAK;QAAG,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAG,CAAC,IAAI,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;IAExE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAM,MAAM,KAAK,IAAI,GAAG,EAAG,CAAC;QAC1B,IAAK,KAAK,CAAC,GAAG,CAAE,KAAK,CAAE;YAAG,SAAS;QAEnC,MAAM,MAAM,GAAyB,CAAE,CAAE,KAAK,EAAE,CAAC,CAAE,CAAE,CAAC;QACtD,KAAK,CAAC,GAAG,CAAE,KAAK,EAAE,OAAO,CAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAE,KAAK,EAAE,OAAO,CAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,CAAC;QACb,KAAK,CAAC,IAAI,CAAE,KAAK,CAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAE,KAAK,CAAE,CAAC;QAErB,OAAQ,MAAM,CAAC,MAAM,GAAG,CAAC,EAAG,CAAC;YAC3B,MAAM,KAAK,GAAG,MAAM,CAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;YAC1C,MAAM,CAAE,IAAI,CAAE,GAAG,KAAK,CAAC;YACvB,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAE,IAAI,CAAG,CAAC;YAE1C,IAAK,KAAK,CAAE,CAAC,CAAE,GAAG,UAAU,CAAC,MAAM,EAAG,CAAC;gBACrC,MAAM,IAAI,GAAG,UAAU,CAAE,KAAK,CAAE,CAAC,CAAE,CAAE,CAAC;gBACtC,KAAK,CAAE,CAAC,CAAE,IAAI,CAAC,CAAC;gBAChB,IAAK,CAAC,KAAK,CAAC,GAAG,CAAE,IAAI,CAAE,EAAG,CAAC;oBACzB,KAAK,CAAC,GAAG,CAAE,IAAI,EAAE,OAAO,CAAE,CAAC;oBAC3B,OAAO,CAAC,GAAG,CAAE,IAAI,EAAE,OAAO,CAAE,CAAC;oBAC7B,OAAO,IAAI,CAAC,CAAC;oBACb,KAAK,CAAC,IAAI,CAAE,IAAI,CAAE,CAAC;oBACnB,OAAO,CAAC,GAAG,CAAE,IAAI,CAAE,CAAC;oBACpB,MAAM,CAAC,IAAI,CAAE,CAAE,IAAI,EAAE,CAAC,CAAE,CAAE,CAAC;gBAC7B,CAAC;qBAAM,IAAK,OAAO,CAAC,GAAG,CAAE,IAAI,CAAE,EAAG,CAAC;oBACjC,OAAO,CAAC,GAAG,CAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAE,OAAO,CAAC,GAAG,CAAE,IAAI,CAAG,EAAE,KAAK,CAAC,GAAG,CAAE,IAAI,CAAG,CAAE,CAAE,CAAC;gBAC5E,CAAC;gBACD,SAAS;YACX,CAAC;YAED,MAAM,CAAC,GAAG,EAAE,CAAC;YACb,IAAK,MAAM,CAAC,MAAM,GAAG,CAAC,EAAG,CAAC;gBACxB,MAAM,MAAM,GAAG,MAAM,CAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAE,CAAC,CAAE,CAAC;gBAChD,OAAO,CAAC,GAAG,CAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAE,OAAO,CAAC,GAAG,CAAE,MAAM,CAAG,EAAE,OAAO,CAAC,GAAG,CAAE,IAAI,CAAG,CAAE,CAAE,CAAC;YAClF,CAAC;YACD,IAAK,OAAO,CAAC,GAAG,CAAE,IAAI,CAAE,KAAK,KAAK,CAAC,GAAG,CAAE,IAAI,CAAE,EAAG,CAAC;gBAChD,IAAI,MAAc,CAAC;gBACnB,GAAG,CAAC;oBACF,MAAM,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;oBACtB,OAAO,CAAC,MAAM,CAAE,MAAM,CAAE,CAAC;oBACzB,SAAS,CAAC,GAAG,CAAE,MAAM,EAAE,UAAU,CAAE,CAAC;gBACtC,CAAC,QAAS,MAAM,KAAK,IAAI,EAAG;gBAC5B,UAAU,IAAI,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,WAA8B,EAC9B,KAA8C,EACjB,EAAE;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAM,MAAM,IAAI,IAAI,KAAK,EAAG,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,CAAC;QACvC,IAAK,IAAI;YAAG,IAAI,CAAC,IAAI,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;;YAC5B,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,EAAE,CAAE,IAAI,CAAC,EAAE,CAAE,CAAE,CAAC;IAC9C,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAM,MAAM,EAAE,IAAI,WAAW,EAAG,CAAC;QAC/B,WAAW,CAAC,GAAG,CAAE,EAAE,EAAE,EAAE,CAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAE,EAAE,CAAE,CAAC;IACnB,CAAC;IAED,OAAQ,KAAK,CAAC,MAAM,GAAG,CAAC,EAAG,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAE,OAAO,CAAG,CAAC;QAC1C,KAAM,MAAM,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAE,OAAO,CAAE,IAAI,EAAE,EAAG,CAAC;YACnD,IAAK,WAAW,CAAC,GAAG,CAAE,IAAI,CAAE;gBAAG,SAAS;YACxC,WAAW,CAAC,GAAG,CAAE,IAAI,EAAE,KAAK,CAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAE,IAAI,CAAE,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC"}

package/build/esm/reality-check.d.ts

@@ -0,0 +1,42 @@
+import { EdgeKind } from './edges.js';
+import { DesignFile } from './design.js';
+import { BlueprintGraph } from './graph.js';
+import { DesignAuthor } from './nodes.js';
+export type VerbOutcome = 'satisfied' | 'stale' | 'pending';
+export type VerbSubject = {
+    kind: 'node';
+    identity: string;
+} | {
+    kind: 'edge';
+    from: string;
+    to: string;
+    edgeKind: EdgeKind;
+};
+export declare function verbSubjectKey(subject: VerbSubject): string;
+export type VerbVerdict = {
+    path: string;
+    verb: 'propose' | 'modify' | 'remove';
+    author: DesignAuthor;
+    outcome: VerbOutcome;
+    subject: VerbSubject;
+    reason: string;
+};
+export type RealityCheck = {
+    verdicts: VerbVerdict[];
+    satisfied: VerbVerdict[];
+    stale: VerbVerdict[];
+    note: string;
+};
+export declare function realityMovedNote(satisfied: number, stale: number, degraded?: number): string;
+export declare function checkDesignAgainstReality(reality: BlueprintGraph, design: DesignFile | undefined): RealityCheck;
+export type DecorateSatisfiedInput = {
+    reality: BlueprintGraph;
+    merged: BlueprintGraph;
+    design: DesignFile | undefined;
+};
+export type DecorateSatisfiedResult = {
+    graph: BlueprintGraph;
+    check: RealityCheck;
+};
+export declare function decorateSatisfied(input: DecorateSatisfiedInput): DecorateSatisfiedResult;
+//# sourceMappingURL=reality-check.d.ts.map

package/build/esm/reality-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reality-check.d.ts","sourceRoot":"","sources":["../../src/reality-check.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAiB,MAAM,YAAY,CAAC;AACrD,OAAO,EACL,UAAU,EAMX,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,cAAc,EAAuB,MAAM,YAAY,CAAC;AACjE,OAAO,EAAE,YAAY,EAAiC,MAAM,YAAY,CAAC;AAEzE,MAAM,MAAM,WAAW,GACnB,WAAW,GACX,OAAO,GACP,SAAS,CAAC;AAEd,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEnE,wBAAgB,cAAc,CAAE,OAAO,EAAE,WAAW,GAAI,MAAM,CAI7D;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACtC,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,wBAAgB,gBAAgB,CAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,SAAI,GAAI,MAAM,CAGzF;AAqJD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,UAAU,GAAG,SAAS,GAC7B,YAAY,CA2Dd;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,OAAO,EAAE,cAAc,CAAC;IACxB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,KAAK,EAAE,cAAc,CAAC;IACtB,KAAK,EAAE,YAAY,CAAC;CACrB,CAAC;AAEF,wBAAgB,iBAAiB,CAAE,KAAK,EAAE,sBAAsB,GAAI,uBAAuB,CA6B1F"}