@bett3r-dev/blueprint-schema 1.6.0 → 1.7.0

package/build/cjs/ops.d.ts

@@ -1,14 +1,15 @@
-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';
+import type { HandlerScopeIssue } from './diagnostics.js';
+import type { StrandingReport } from './reachability.js';
+import type { VerbSubject } from './reality-check.js';
+import type { DesignAuthor, DesignStatus } from './nodes.js';
+import type { CoverageLink, ExampleStatusRestore, MapEntryId, MapForkStatus, MapLink, MapWithdrawal } from './map-structure.js';
+import type { 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 OpVerb = 'propose' | 'modify' | 'remove' | 'comment' | 'resolve' | 'reclassify' | 'position' | 'lock-takeover' | 'anchor-attach' | 'anchor-detach' | 'session-freeze' | 'session-reopen' | 'stage-advance' | 'pr-link' | 'pr-merged' | 'pr-closed' | 'undo' | 'map-ground' | 'map-post' | 'map-strike' | 'map-choose' | 'map-link' | 'map-unlink' | 'map-agree' | 'map-cover' | 'map-uncover' | 'spec-post' | 'spec-strike';
 export type MapOpVerb = Extract<OpVerb, `map-${string}`>;
+export type SpecOpVerb = Extract<OpVerb, `spec-${string}`>;
 export type StrandingOpDiagnostic = {
     strandedProposals?: StrandingReport;
 };
@@ -85,6 +86,16 @@ export type SessionReopenOpPayload = {
     actor: string;
     reason: string;
 };
+/**
+ * ESAS-329 (F6): a ticket session's move from the map stage to the program stage. `seq` and `at` are stamped by the
+ * server as map-agree's are: the seq the op lands at and the time it was written.
+ */
+export type StageAdvanceOpPayload = {
+    from: 'map';
+    to: 'program';
+    seq: number;
+    at: string;
+};
 export type PullRequestProvider = 'github' | 'stub';
 export type PrLinkOpPayload = {
     ref: string;
@@ -100,11 +111,11 @@ export type PrMergedOpPayload = {
 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 declare const UNDOABLE_OP_VERBS: readonly ["propose", "modify", "remove", "comment", "map-post", "map-choose", "map-link", "map-unlink", "map-agree", "map-cover", "map-uncover"];
 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 type MapUndoableOpVerb = 'map-post' | 'map-choose' | 'map-link' | 'map-unlink' | 'map-agree' | 'map-cover' | 'map-uncover';
 export declare function isUndoableOpVerb(verb: unknown): verb is UndoableOpVerb;
 export type UndoWithdrawal = {
     nodes?: ProposedNode[];
@@ -142,7 +153,19 @@ export type MapLinkUndoOpPayload = {
     link: MapLink;
     changed?: false;
 };
-export type MapUndoOpPayload = MapPostUndoOpPayload | MapChooseUndoOpPayload | MapLinkUndoOpPayload;
+export type MapAgreeUndoOpPayload = {
+    fold: 'map';
+    undoes: number;
+    undoneVerb: 'map-agree';
+    restore: ExampleStatusRestore[];
+};
+export type MapCoverageUndoOpPayload = {
+    fold: 'map';
+    undoes: number;
+    undoneVerb: 'map-cover' | 'map-uncover';
+    pairs: CoverageLink[];
+};
+export type MapUndoOpPayload = MapPostUndoOpPayload | MapChooseUndoOpPayload | MapLinkUndoOpPayload | MapAgreeUndoOpPayload | MapCoverageUndoOpPayload;
 export type UndoOpPayload = DesignUndoOpPayload | MapUndoOpPayload;
 export type Op = {
     seq: number;
@@ -154,5 +177,15 @@ export type Op = {
     writerSha: string;
     writerId: string;
     prevHash?: string;
+    /** The authenticated subject that wrote the op, where the writer recorded one (the hosted engine does). */
+    principal?: string;
+    /**
+     * ESAS-205 (ADR-107 decision 8): the member an agent's op was written for, when the agent wrote it with a
+     * job key; that key's job was queued by this member's press. Optional, and outside the op-chain preimage,
+     * so an op written before the field existed hashes and verifies unchanged. A design verb's payload
+     * entries also carry a stamped copy (`attributedDesignPayload`), and that copy is inside the hash, since
+     * the payload is part of the preimage, while this envelope field is not.
+     */
+    onBehalfOf?: string;
 };
 //# sourceMappingURL=ops.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"ops.d.ts","sourceRoot":"","sources":["../../src/ops.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,oBAAoB,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAChI,OAAO,KAAK,EACV,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,GAEhB,eAAe,GACf,SAAS,GACT,WAAW,GACX,WAAW,GACX,MAAM,GACN,YAAY,GACZ,UAAU,GACV,YAAY,GACZ,YAAY,GACZ,UAAU,GACV,YAAY,GACZ,WAAW,GACX,WAAW,GACX,aAAa,GAEb,WAAW,GACX,aAAa,CAAC;AAElB,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,EAAE,OAAQ,MAAO,EAAE,CAAC,CAAC;AAE3D,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,EAAE,QAAS,MAAO,EAAE,CAAC,CAAC;AAE7D,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;;;GAGG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,IAAI,EAAE,KAAK,CAAC;IACZ,EAAE,EAAE,SAAS,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;CACZ,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,kJAAqJ,CAAC;AAEpL,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,GAAG,WAAW,GAAG,WAAW,GAAG,aAAa,CAAC;AAElI,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;AAIF,MAAM,MAAM,qBAAqB,GAAG;IAClC,IAAI,EAAE,KAAK,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,WAAW,CAAC;IACxB,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC,CAAC;AAIF,MAAM,MAAM,wBAAwB,GAAG;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,WAAW,GAAG,aAAa,CAAC;IACxC,KAAK,EAAE,YAAY,EAAE,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,oBAAoB,GAAG,sBAAsB,GAAG,oBAAoB,GAAG,qBAAqB,GAAG,wBAAwB,CAAC;AAEvJ,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;IAClB,2GAA2G;IAC3G,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC"}

package/build/cjs/ops.js

@@ -3,7 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.UNDOABLE_OP_VERBS = exports.BLUEPRINT_OPS_FILENAME = void 0;
 exports.isUndoableOpVerb = isUndoableOpVerb;
 exports.BLUEPRINT_OPS_FILENAME = 'ops.jsonl';
-exports.UNDOABLE_OP_VERBS = ['propose', 'modify', 'remove', 'comment', 'map-post', 'map-choose', 'map-link', 'map-unlink'];
+exports.UNDOABLE_OP_VERBS = ['propose', 'modify', 'remove', 'comment', 'map-post', 'map-choose', 'map-link', 'map-unlink', 'map-agree', 'map-cover', 'map-uncover'];
 function isUndoableOpVerb(verb) {
     return typeof verb === 'string'
         && exports.UNDOABLE_OP_VERBS.includes(verb);

package/build/cjs/ops.js.map

@@ -1 +1 @@
-{"version":3,"file":"ops.js","sourceRoot":"","sources":["../../src/ops.ts"],"names":[],"mappings":";;;AA0JA,4CAGC;AA7IY,QAAA,sBAAsB,GAAG,WAAW,CAAC;AAgIrC,QAAA,iBAAiB,GAAG,CAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,CAAW,CAAC;AAU3I,SAAgB,gBAAgB,CAAE,IAAa;IAC7C,OAAO,OAAO,IAAI,KAAK,QAAQ;WACxB,yBAAwC,CAAC,QAAQ,CAAE,IAAI,CAAE,CAAC;AACnE,CAAC"}
+{"version":3,"file":"ops.js","sourceRoot":"","sources":["../../src/ops.ts"],"names":[],"mappings":";;;AA+KA,4CAGC;AAlKY,QAAA,sBAAsB,GAAG,WAAW,CAAC;AAqJrC,QAAA,iBAAiB,GAAG,CAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,CAAW,CAAC;AAUpL,SAAgB,gBAAgB,CAAE,IAAa;IAC7C,OAAO,OAAO,IAAI,KAAK,QAAQ;WACxB,yBAAwC,CAAC,QAAQ,CAAE,IAAI,CAAE,CAAC;AACnE,CAAC"}

package/build/cjs/overrides.d.ts

@@ -1,5 +1,5 @@
-import { EdgeKind } from './edges.js';
-import { DesignAuthor, NodeType } from './nodes.js';
+import type { EdgeKind } from './edges.js';
+import type { 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";
@@ -9,6 +9,9 @@ export type ManualNode = {
     label: string;
     subdomain: string;
     resourceKey?: string;
+    rule?: string;
+    errorCodes?: string[];
+    generic?: boolean;
     author?: DesignAuthor;
     note?: string;
 };

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

@@ -1 +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"}
+{"version":3,"file":"overrides.d.ts","sourceRoot":"","sources":["../../src/overrides.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEzD,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,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,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/cjs/overrides.js.map

@@ -1 +1 @@
-{"version":3,"file":"overrides.js","sourceRoot":"","sources":["../../src/overrides.ts"],"names":[],"mappings":";;;AA6DA,wCAEC;AAQD,sCAOC;AAzEY,QAAA,wBAAwB,GAAG,CAAC,CAAC;AAE7B,QAAA,4BAA4B,GAAG,2BAA2B,CAAC;AAsDxE,SAAgB,cAAc;IAC5B,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AAC9B,CAAC;AAQD,SAAgB,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,gCAAwB;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"}
+{"version":3,"file":"overrides.js","sourceRoot":"","sources":["../../src/overrides.ts"],"names":[],"mappings":";;;AAgEA,wCAEC;AAQD,sCAOC;AA5EY,QAAA,wBAAwB,GAAG,CAAC,CAAC;AAE7B,QAAA,4BAA4B,GAAG,2BAA2B,CAAC;AAyDxE,SAAgB,cAAc;IAC5B,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AAC9B,CAAC;AAQD,SAAgB,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,gCAAwB;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/cjs/package.json

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

package/build/cjs/reachability.d.ts

@@ -1,7 +1,7 @@
-import { EdgeKind } from './edges.js';
-import { DesignFile } from './design.js';
-import { PromotionOptions } from './entry-points.js';
-import { BlueprintGraph } from './graph.js';
+import type { EdgeKind } from './edges.js';
+import type { DesignFile } from './design.js';
+import { type PromotionOptions } from './entry-points.js';
+import type { 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 = {

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

@@ -1 +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"}
+{"version":3,"file":"reachability.d.ts","sourceRoot":"","sources":["../../src/reachability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAwC,KAAK,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAChG,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAKjD,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,CAoCpB,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,OAAO,cAAc,EACrB,QAAQ,UAAU,EAClB,UAAS,gBAAqB,KAC7B,eAmDF,CAAC"}

package/build/cjs/reachability.js

@@ -43,6 +43,10 @@ const drawableIds = (graph, options = {}) => {
         if (edge.kind === 'issues' && from.type === 'policy' && rootIds.has(edge.to)) {
             drawable.add(edge.from);
         }
+        // ESAS-305: an invariant is a presentation node drawn in each guarded command's flow, not on the causal spine.
+        if (edge.kind === 'guarded-by' && from.type === 'command' && spine.has(edge.from)) {
+            drawable.add(edge.to);
+        }
     }
     return drawable;
 };

package/build/cjs/reachability.js.map

@@ -1 +1 @@
-{"version":3,"file":"reachability.js","sourceRoot":"","sources":["../../src/reachability.ts"],"names":[],"mappings":";;;AAEA,uDAA2F;AAG3F,uDAAmD;AACnD,2DAAsF;AAEzE,QAAA,YAAY,GAA0B,IAAI,GAAG,CAAY;IACpE,GAAG,qCAAiB;IACpB,OAAO;IACP,QAAQ;CACT,CAAE,CAAC;AA6BG,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;AANW,QAAA,gBAAgB,oBAM3B;AAEK,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,IAAA,sCAAoB,EAAE,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,IAAA,gCAAc,EAAE,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,IAAA,kCAAc,EAAE,KAAK,CAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAM,MAAM,MAAM,IAAI,KAAK,EAAG,CAAC;QAC7B,KAAM,MAAM,EAAE,IAAI,IAAA,gCAAY,EAAE,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;AAnCW,QAAA,WAAW,eAmCtB;AAEK,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,IAAA,mBAAW,EAAE,KAAK,EAAE,OAAO,CAAE,CAAC;IAC/C,MAAM,QAAQ,GAAG,aAAa;SAC3B,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,IAAA,gCAAc,EAAE,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,oBAAY,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;AAvDW,QAAA,qBAAqB,yBAuDhC;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,IAAA,mBAAW,EAAE,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"}
+{"version":3,"file":"reachability.js","sourceRoot":"","sources":["../../src/reachability.ts"],"names":[],"mappings":";;;AAEA,uDAAgG;AAGhG,uDAAmD;AACnD,2DAAsF;AAEzE,QAAA,YAAY,GAA0B,IAAI,GAAG,CAAY;IACpE,GAAG,qCAAiB;IACpB,OAAO;IACP,QAAQ;CACT,CAAE,CAAC;AA6BG,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;AANW,QAAA,gBAAgB,oBAM3B;AAEK,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,IAAA,sCAAoB,EAAE,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,IAAA,gCAAc,EAAE,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,IAAA,kCAAc,EAAE,KAAK,CAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAM,MAAM,MAAM,IAAI,KAAK,EAAG,CAAC;QAC7B,KAAM,MAAM,EAAE,IAAI,IAAA,gCAAY,EAAE,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;QACD,+GAA+G;QAC/G,IAAK,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAE,IAAI,CAAC,IAAI,CAAE,EAAG,CAAC;YACtF,QAAQ,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,CAAE,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAvCW,QAAA,WAAW,eAuCtB;AAEK,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,IAAA,mBAAW,EAAE,KAAK,EAAE,OAAO,CAAE,CAAC;IAC/C,MAAM,QAAQ,GAAG,aAAa;SAC3B,GAAG,CAAE,CAAE,IAAI,EAAG,EAAE,CAAC,IAAA,gCAAc,EAAE,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,oBAAY,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;AAvDW,QAAA,qBAAqB,yBAuDhC;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,IAAA,mBAAW,EAAE,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/cjs/reality-check.d.ts

@@ -1,7 +1,7 @@
-import { EdgeKind } from './edges.js';
-import { DesignFile } from './design.js';
-import { BlueprintGraph } from './graph.js';
-import { DesignAuthor } from './nodes.js';
+import type { EdgeKind } from './edges.js';
+import type { DesignFile } from './design.js';
+import { type BlueprintGraph } from './graph.js';
+import type { DesignAuthor } from './nodes.js';
 export type VerbOutcome = 'satisfied' | 'stale' | 'pending';
 export type VerbSubject = {
     kind: 'node';

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

@@ -1 +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"}
+{"version":3,"file":"reality-check.d.ts","sourceRoot":"","sources":["../../src/reality-check.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAiB,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EACV,UAAU,EAMX,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,KAAK,cAAc,EAAuB,MAAM,YAAY,CAAC;AACtE,OAAO,KAAK,EAAE,YAAY,EAAiC,MAAM,YAAY,CAAC;AAE9E,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;AA4JD,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"}

package/build/cjs/reality-check.js

@@ -43,11 +43,20 @@ function nodeAt(reality, id) {
 function routesOf(queries) {
     return [...(queries ?? []).map(query => query.route)].sort().join('\u0000');
 }
+function codesOf(errorCodes) {
+    return [...new Set(errorCodes ?? [])].sort().join('\u0000');
+}
 function exhibitsFields(node, set) {
     if (set.resourceKey !== undefined && node.resourceKey !== set.resourceKey)
         return false;
     if (set.queries !== undefined && routesOf(node.queries) !== routesOf(set.queries))
         return false;
+    if (set.rule !== undefined && node.rule !== set.rule)
+        return false;
+    if (set.errorCodes !== undefined && codesOf(node.errorCodes) !== codesOf(set.errorCodes))
+        return false;
+    if (set.generic !== undefined && (node.generic ?? false) !== set.generic)
+        return false;
     return true;
 }
 function modifyTargetIdentity(entry, reality) {

package/build/cjs/reality-check.js.map

@@ -1 +1 @@
-{"version":3,"file":"reality-check.js","sourceRoot":"","sources":["../../src/reality-check.ts"],"names":[],"mappings":";;AAqBA,wCAIC;AAkBD,4CAGC;AAqJD,8DA8DC;AAaD,8CA6BC;AAlSD,yCAAiE;AAYjE,SAAgB,cAAc,CAAE,OAAoB;IAClD,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM;QAC5B,CAAC,CAAC,QAAS,OAAO,CAAC,QAAS,EAAE;QAC9B,CAAC,CAAC,QAAS,OAAO,CAAC,IAAK,IAAK,OAAO,CAAC,EAAG,IAAK,OAAO,CAAC,QAAS,EAAE,CAAC;AACrE,CAAC;AAkBD,SAAgB,gBAAgB,CAAE,SAAiB,EAAE,KAAa,EAAE,QAAQ,GAAG,CAAC;IAC9E,MAAM,MAAM,GAAG,kBAAmB,SAAU,gBAAiB,KAAM,QAAQ,CAAC;IAC5E,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAI,MAAO,MAAO,QAAS,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;AACxE,CAAC;AAID,SAAS,MAAM,CACb,SAAgC,EAChC,KAA4B,EAC5B,OAAkB;IAElB,OAAO,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC;AACvC,CAAC;AASD,SAAS,OAAO,CAAE,IAAgD;IAChE,OAAO,GAAI,IAAI,CAAC,IAAK,IAAK,IAAI,CAAC,EAAG,IAAK,IAAI,CAAC,IAAK,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,UAAU,CAAE,IAAmB;IACtC,OAAO,IAAA,iBAAM,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAE,CAAC;AACzD,CAAC;AAED,SAAS,YAAY,CAAE,KAAqB;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAC;QAC1B,UAAU,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,IAAI,CAAE,CAAC;IAC7C,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA6B,CAAC;IACxD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAK,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAG,UAAU,CAAC,GAAG,CAAE,OAAO,CAAE,IAAI,CAAE,EAAE,IAAI,CAAC,QAAQ,CAAE,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,GAAG,CAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,EAAE,UAAU,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,MAAM,CAAE,OAAgB,EAAE,EAAU;IAC3C,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;AAChE,CAAC;AAED,SAAS,QAAQ,CAAE,OAAqC;IACtD,OAAO,CAAE,GAAG,CAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAE,CAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAE,QAAQ,CAAE,CAAC;AACrF,CAAC;AAED,SAAS,cAAc,CAAE,IAAmB,EAAE,GAAkC;IAC9E,IAAK,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,GAAG,CAAC,WAAW;QAAG,OAAO,KAAK,CAAC;IAC1F,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAE,IAAI,CAAC,OAAO,CAAE,KAAK,QAAQ,CAAE,GAAG,CAAC,OAAO,CAAE;QAAE,OAAO,KAAK,CAAC;IACrG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAE,KAAkB,EAAE,OAAgB;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAC5C,IAAK,OAAO,EAAE,CAAC;QACb,OAAO,IAAA,iBAAM,EAAE,GAAG,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAE,CAAC;IAChG,CAAC;IACD,MAAM,MAAM,GAAG,IAAA,sBAAW,EAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IACvC,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,SAAS,CAAC;IAC7C,OAAO,IAAA,iBAAM,EAAE,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAE,CAAC;AAC5F,CAAC;AAED,SAAS,iBAAiB,CAAE,QAAsB,EAAE,OAAgB,EAAE,QAAgB;IACpF,OAAO,MAAM,CACX,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE;QAChC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,QAAS,oCAAoC,EAAE;QACrF,CAAC,CAAC,SAAS,EACb,SAAS,EACT,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,QAAQ,CAAC,KAAM,yBAAyB,EAAE,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAE,QAAsB,EAAE,OAAgB,EAAE,GAAW;IAC3E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACnC,IAAK,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,IAAI,CAAC;IACnE,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,GAAG,CAAE,CAAC;IAC7C,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,KAAK,CAAC;IACzC,OAAO,QAAQ,CAAC,KAAK,CAAE,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAE,SAAS,CAAE,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAsB,EACtB,OAAgB,EAChB,kBAAuC;IAEvC,MAAM,GAAG,GAAG,OAAO,CAAE,QAAQ,CAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAE,EAAU,EAAY,EAAE,CACzC,MAAM,CAAE,OAAO,EAAE,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;IACtE,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAE,QAAQ,CAAC,IAAI,CAAE;QACzC,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,CAAC,CAAC,CAAC,QAAQ,CAAE,QAAQ,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAEvD,OAAO,MAAM,CACX,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,GAAG,CAAE,IAAI,aAAa,CAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAE;QACjE,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,GAAI,oCAAoC,EAAE;QAChF,CAAC,CAAC,SAAS,EACb,QAAQ,KAAK,SAAS;QACpB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,4BAA6B,QAAS,+BAA+B,EAAE;QACrG,CAAC,CAAC,SAAS,EACb,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,GAAI,4BAA4B,EAAE,CACrE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,QAA4B;IAE5B,MAAM,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE,CAAC;IACvF,MAAM,KAAK,GAAG,MAAM,KAAK,SAAS,IAAI,cAAc,CAAE,MAAM,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAEjG,OAAO,MAAM,CACX,KAAK;QACH,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,QAAS,6CAA6C,EAAE;QAC9F,CAAC,CAAC,SAAS,EACb,CAAC,QAAQ;QACP,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAmB,KAAK,CAAC,EAAG,+BAA+B,EAAE;QAC3F,CAAC,CAAC,SAAS,EACb,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,KAAK,CAAC,EAAG,2BAA2B,EAAE,CACzE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,gBAAqC;IAErC,MAAM,CAAE,OAAO,EAAE,OAAO,CAAE,GAAG,KAAK,CAAC,IAAI,KAAK,MAAM;QAChD,CAAC,CAAC,CAAE,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,KAAK,CAAC,EAAE,CAAE;QAC/F,CAAC,CAAC;YACA,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;mBAChF,gBAAgB,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC7F,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;SAClE,CAAC;IAEJ,OAAO,MAAM,CACX,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,OAAQ,mCAAmC,EAAE,EACvG,SAAS,EACT,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,OAAQ,kCAAkC,EAAE,CAC/E,CAAC;AACJ,CAAC;AAED,SAAgB,yBAAyB,CACvC,OAAuB,EACvB,MAA8B;IAE9B,MAAM,OAAO,GAAG,YAAY,CAAE,OAAO,CAAE,CAAC;IACxC,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,aAAa,CAAC,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,IAAA,iBAAM,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC,CAC5F,CAAC;IACF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAE,aAAa,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,CAAC;IAEhE,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,MAAM,QAAQ,GAAG,IAAA,iBAAM,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC;QAC7E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE;YACnC,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAE;SACpD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;YACxF,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,kBAAkB,CAAE;SAC9D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,MAAM,QAAQ,GAAG,oBAAoB,CAAE,KAAK,EAAE,OAAO,CAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,IAAI,KAAK,CAAC,EAAE,EAAE;YACzD,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,CAAE;SACpE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM;gBAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE;gBACtC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;YAC9E,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,CAAE;SAC5E,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,WAAW,CAAE,CAAC;IAChF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,OAAO,CAAE,CAAC;IAExE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAE,EAAE,CAAC;AAClG,CAAC;AAaD,SAAgB,iBAAiB,CAAE,KAA6B;IAC9D,MAAM,KAAK,GAAG,yBAAyB,CAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAE,CAAC;IACvE,IAAK,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IAE1E,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QAC9B,SAAS,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,KAAK,CAAE,CAAC;QAC3C,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,KAAM,MAAM,OAAO,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACvC,IAAK,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAE,CAAC;YACxD,IAAK,KAAK,KAAK,SAAS;gBAAG,SAAS;YACpC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,KAAK,CAAE,KAAK,CAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACpF,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC;YAClB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ;SACnF,CAAC,CAAC;QACH,KAAK,CAAC,OAAO,CAAC,CAAE,IAAmB,EAAE,KAAK,EAAG,EAAE;YAC7C,IAAK,OAAO,CAAE,IAAI,CAAE,KAAK,GAAG;gBAAG,OAAO;YACtC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5E,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC;AAC7D,CAAC"}
+{"version":3,"file":"reality-check.js","sourceRoot":"","sources":["../../src/reality-check.ts"],"names":[],"mappings":";;AAqBA,wCAIC;AAkBD,4CAGC;AA4JD,8DA8DC;AAaD,8CA6BC;AAzSD,yCAAsE;AAYtE,SAAgB,cAAc,CAAE,OAAoB;IAClD,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM;QAC5B,CAAC,CAAC,QAAS,OAAO,CAAC,QAAS,EAAE;QAC9B,CAAC,CAAC,QAAS,OAAO,CAAC,IAAK,IAAK,OAAO,CAAC,EAAG,IAAK,OAAO,CAAC,QAAS,EAAE,CAAC;AACrE,CAAC;AAkBD,SAAgB,gBAAgB,CAAE,SAAiB,EAAE,KAAa,EAAE,QAAQ,GAAG,CAAC;IAC9E,MAAM,MAAM,GAAG,kBAAmB,SAAU,gBAAiB,KAAM,QAAQ,CAAC;IAC5E,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAI,MAAO,MAAO,QAAS,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;AACxE,CAAC;AAID,SAAS,MAAM,CACb,SAAgC,EAChC,KAA4B,EAC5B,OAAkB;IAElB,OAAO,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC;AACvC,CAAC;AASD,SAAS,OAAO,CAAE,IAAgD;IAChE,OAAO,GAAI,IAAI,CAAC,IAAK,IAAK,IAAI,CAAC,EAAG,IAAK,IAAI,CAAC,IAAK,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,UAAU,CAAE,IAAmB;IACtC,OAAO,IAAA,iBAAM,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAE,CAAC;AACzD,CAAC;AAED,SAAS,YAAY,CAAE,KAAqB;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAE,CAAC;QAC1B,UAAU,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,IAAI,CAAE,CAAC;IAC7C,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA6B,CAAC;IACxD,KAAM,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,IAAK,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAG,UAAU,CAAC,GAAG,CAAE,OAAO,CAAE,IAAI,CAAE,EAAE,IAAI,CAAC,QAAQ,CAAE,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,GAAG,CAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,EAAE,UAAU,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,MAAM,CAAE,OAAgB,EAAE,EAAU;IAC3C,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,CAAE,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;AAChE,CAAC;AAED,SAAS,QAAQ,CAAE,OAAqC;IACtD,OAAO,CAAE,GAAG,CAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAE,CAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAE,QAAQ,CAAE,CAAC;AACrF,CAAC;AAED,SAAS,OAAO,CAAE,UAAyC;IACzD,OAAO,CAAE,GAAG,IAAI,GAAG,CAAE,UAAU,IAAI,EAAE,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAE,QAAQ,CAAE,CAAC;AACnE,CAAC;AAED,SAAS,cAAc,CAAE,IAAmB,EAAE,GAAkC;IAC9E,IAAK,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,GAAG,CAAC,WAAW;QAAG,OAAO,KAAK,CAAC;IAC1F,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAE,IAAI,CAAC,OAAO,CAAE,KAAK,QAAQ,CAAE,GAAG,CAAC,OAAO,CAAE;QAAE,OAAO,KAAK,CAAC;IACrG,IAAK,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;QAAG,OAAO,KAAK,CAAC;IACrE,IAAK,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,CAAE,IAAI,CAAC,UAAU,CAAE,KAAK,OAAO,CAAE,GAAG,CAAC,UAAU,CAAE;QAAE,OAAO,KAAK,CAAC;IAC5G,IAAK,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,CAAE,IAAI,CAAC,OAAO,IAAI,KAAK,CAAE,KAAK,GAAG,CAAC,OAAO;QAAG,OAAO,KAAK,CAAC;IAC3F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAE,KAAkB,EAAE,OAAgB;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAC5C,IAAK,OAAO,EAAE,CAAC;QACb,OAAO,IAAA,iBAAM,EAAE,GAAG,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAE,CAAC;IAChG,CAAC;IACD,MAAM,MAAM,GAAG,IAAA,sBAAW,EAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IACvC,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,SAAS,CAAC;IAC7C,OAAO,IAAA,iBAAM,EAAE,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAE,CAAC;AAC5F,CAAC;AAED,SAAS,iBAAiB,CAAE,QAAsB,EAAE,OAAgB,EAAE,QAAgB;IACpF,OAAO,MAAM,CACX,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE;QAChC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,QAAS,oCAAoC,EAAE;QACrF,CAAC,CAAC,SAAS,EACb,SAAS,EACT,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,QAAQ,CAAC,KAAM,yBAAyB,EAAE,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAE,QAAsB,EAAE,OAAgB,EAAE,GAAW;IAC3E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACnC,IAAK,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,IAAI,CAAC;IACnE,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,GAAG,CAAE,CAAC;IAC7C,IAAK,MAAM,KAAK,SAAS;QAAG,OAAO,KAAK,CAAC;IACzC,OAAO,QAAQ,CAAC,KAAK,CAAE,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAE,SAAS,CAAE,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAsB,EACtB,OAAgB,EAChB,kBAAuC;IAEvC,MAAM,GAAG,GAAG,OAAO,CAAE,QAAQ,CAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAE,EAAU,EAAY,EAAE,CACzC,MAAM,CAAE,OAAO,EAAE,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,EAAE,CAAE,CAAC;IACtE,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAE,QAAQ,CAAC,IAAI,CAAE;QACzC,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,CAAC,CAAC,CAAC,QAAQ,CAAE,QAAQ,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAEvD,OAAO,MAAM,CACX,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,GAAG,CAAE,IAAI,aAAa,CAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAE;QACjE,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,GAAI,oCAAoC,EAAE;QAChF,CAAC,CAAC,SAAS,EACb,QAAQ,KAAK,SAAS;QACpB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,4BAA6B,QAAS,+BAA+B,EAAE;QACrG,CAAC,CAAC,SAAS,EACb,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,GAAI,4BAA4B,EAAE,CACrE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,QAA4B;IAE5B,MAAM,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAE,QAAQ,CAAE,CAAC;IACvF,MAAM,KAAK,GAAG,MAAM,KAAK,SAAS,IAAI,cAAc,CAAE,MAAM,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,CAAC;IAEjG,OAAO,MAAM,CACX,KAAK;QACH,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,QAAS,6CAA6C,EAAE;QAC9F,CAAC,CAAC,SAAS,EACb,CAAC,QAAQ;QACP,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAmB,KAAK,CAAC,EAAG,+BAA+B,EAAE;QAC3F,CAAC,CAAC,SAAS,EACb,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,KAAK,CAAC,EAAG,2BAA2B,EAAE,CACzE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,OAAgB,EAChB,kBAAuC,EACvC,gBAAqC;IAErC,MAAM,CAAE,OAAO,EAAE,OAAO,CAAE,GAAG,KAAK,CAAC,IAAI,KAAK,MAAM;QAChD,CAAC,CAAC,CAAE,MAAM,CAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAE,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,EAAE,CAAE,EAAE,KAAK,CAAC,EAAE,CAAE;QAC/F,CAAC,CAAC;YACA,OAAO,CAAC,KAAK,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;mBAChF,gBAAgB,CAAC,GAAG,CAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC7F,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;SAClE,CAAC;IAEJ,OAAO,MAAM,CACX,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAI,OAAQ,mCAAmC,EAAE,EACvG,SAAS,EACT,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAI,OAAQ,kCAAkC,EAAE,CAC/E,CAAC;AACJ,CAAC;AAED,SAAgB,yBAAyB,CACvC,OAAuB,EACvB,MAA8B;IAE9B,MAAM,OAAO,GAAG,YAAY,CAAE,OAAO,CAAE,CAAC;IACxC,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,aAAa,CAAC,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,IAAA,iBAAM,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC,CAC5F,CAAC;IACF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAE,aAAa,CAAC,GAAG,CAAE,OAAO,CAAE,CAAC,CAAC;IAEhE,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,MAAM,QAAQ,GAAG,IAAA,iBAAM,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC;QAC7E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE;YACnC,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAE;SACpD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,aAAa,CAAC,OAAO,CAAC,CAAE,QAAQ,EAAE,KAAK,EAAG,EAAE;QAC1C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAkB,KAAM,GAAG;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;YACxF,GAAG,iBAAiB,CAAE,QAAQ,EAAE,OAAO,EAAE,kBAAkB,CAAE;SAC9D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,MAAM,QAAQ,GAAG,oBAAoB,CAAE,KAAK,EAAE,OAAO,CAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,IAAI,KAAK,CAAC,EAAE,EAAE;YACzD,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,CAAE;SACpE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,CAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAE,KAAK,EAAE,KAAK,EAAG,EAAE;QACjD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,UAAW,KAAM,GAAG;YAC1B,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM;gBAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE;gBACtC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;YAC9E,GAAG,gBAAgB,CAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,CAAE;SAC5E,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,WAAW,CAAE,CAAC;IAChF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAE,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,OAAO,CAAE,CAAC;IAExE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAE,EAAE,CAAC;AAClG,CAAC;AAaD,SAAgB,iBAAiB,CAAE,KAA6B;IAC9D,MAAM,KAAK,GAAG,yBAAyB,CAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAE,CAAC;IACvE,IAAK,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAG,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IAE1E,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,KAAK,GAAG,CAAE,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;IACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,CAAC,OAAO,CAAC,CAAE,IAAI,EAAE,KAAK,EAAG,EAAE;QAC9B,SAAS,CAAC,GAAG,CAAE,UAAU,CAAE,IAAI,CAAE,EAAE,KAAK,CAAE,CAAC;QAC3C,SAAS,CAAC,GAAG,CAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,KAAM,MAAM,OAAO,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACvC,IAAK,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAE,CAAC;YACxD,IAAK,KAAK,KAAK,SAAS;gBAAG,SAAS;YACpC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,KAAK,CAAE,KAAK,CAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACpF,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC;YAClB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ;SACnF,CAAC,CAAC;QACH,KAAK,CAAC,OAAO,CAAC,CAAE,IAAmB,EAAE,KAAK,EAAG,EAAE;YAC7C,IAAK,OAAO,CAAE,IAAI,CAAE,KAAK,GAAG;gBAAG,OAAO;YACtC,KAAK,CAAE,KAAK,CAAE,GAAG,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5E,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC;AAC7D,CAAC"}

package/build/cjs/session.d.ts

@@ -26,7 +26,17 @@ export type DesignSession = RealityPointer & {
     frozenFrom?: Exclude<SessionState, 'frozen'>;
     ticketRefs?: string[];
     prRef?: string;
+    /** ESAS-329 (F6): the stage the session's chain moved it to; absent until a `stage-advance` lands. Read it through stageOf. */
+    stage?: SessionStage;
+    /** ESAS-329: the Map agreed press that moved a ticket session to the program stage: its op seq, when and by whom. */
+    mapAgreed?: {
+        seq: number;
+        at: string;
+        by: ActorId;
+    };
 };
+/** ESAS-329 (F8): a ticket session's stages, in order; Map agreed moves it from the first to the second, irreversibly. */
+export type SessionStage = 'map' | 'program';
 export type SessionEvent = {
     type: 'attach';
     provider: ActorId;
@@ -42,4 +52,15 @@ export type SessionEvent = {
 };
 export declare function applySessionEvent(session: DesignSession, event: SessionEvent): DesignSession;
 export declare function isSessionFrozen(session: Pick<DesignSession, 'state'>): boolean;
+/**
+ * ESAS-326 (S1): a ticket session names at least one ticket in `ticketRefs`; a session with none, or an empty list,
+ * is not one. The Design done press refuses any other session NOT_A_TICKET_SESSION; it is exported for ESAS-329's
+ * stageOf and the web-app to read the same predicate.
+ */
+export declare function isTicketSession(session: Pick<DesignSession, 'ticketRefs'>): boolean;
+/**
+ * ESAS-329 (F1): the session's stage. The stored stage when a `stage-advance` moved it; otherwise `'map'` for a ticket
+ * session, created before ESAS-329 or not; otherwise undefined: a session with no ticket refs runs in no stage.
+ */
+export declare function stageOf(session: Pick<DesignSession, 'ticketRefs' | 'stage'>): SessionStage | undefined;
 //# sourceMappingURL=session.d.ts.map

package/build/cjs/session.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"session.d.ts","sourceRoot":"","sources":["../../src/session.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAErC,eAAO,MAAM,sBAAsB,EAAE,oBAAwB,CAAC;AAE9D,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,YAAY,GAAG,QAAQ,CAAC;AAE9D,eAAO,MAAM,cAAc,EAAE,SAAS,YAAY,EAAyC,CAAC;AAE5F,wBAAgB,cAAc,CAAE,KAAK,EAAE,OAAO,GAAI,KAAK,IAAI,YAAY,CAEtE;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,cAAc,GAAG;IAC3C,aAAa,EAAE,oBAAoB,CAAC;IACpC,EAAE,EAAE,SAAS,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,YAAY,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,KAAK,CAAC;IACb,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,YAAY,EAAE,OAAO,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC7C,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAMvB,wBAAgB,iBAAiB,CAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,GAAI,aAAa,CAgC9F;AAED,wBAAgB,eAAe,CAAE,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,GAAI,OAAO,CAEhF"}
+{"version":3,"file":"session.d.ts","sourceRoot":"","sources":["../../src/session.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAErC,eAAO,MAAM,sBAAsB,EAAE,oBAAwB,CAAC;AAE9D,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,YAAY,GAAG,QAAQ,CAAC;AAE9D,eAAO,MAAM,cAAc,EAAE,SAAS,YAAY,EAAyC,CAAC;AAE5F,wBAAgB,cAAc,CAAE,KAAK,EAAE,OAAO,GAAI,KAAK,IAAI,YAAY,CAEtE;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,cAAc,GAAG;IAC3C,aAAa,EAAE,oBAAoB,CAAC;IACpC,EAAE,EAAE,SAAS,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,YAAY,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,KAAK,CAAC;IACb,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,YAAY,EAAE,OAAO,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC7C,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,+HAA+H;IAC/H,KAAK,CAAC,EAAE,YAAY,CAAC;IACrB,qHAAqH;IACrH,SAAS,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,OAAO,CAAA;KAAE,CAAC;CACtD,CAAC;AAEF,0HAA0H;AAC1H,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,SAAS,CAAC;AAE7C,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAMvB,wBAAgB,iBAAiB,CAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,GAAI,aAAa,CAgC9F;AAED,wBAAgB,eAAe,CAAE,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,GAAI,OAAO,CAEhF;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAE,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,YAAY,CAAC,GAAI,OAAO,CAErF;AAED;;;GAGG;AACH,wBAAgB,OAAO,CAAE,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,YAAY,GAAG,OAAO,CAAC,GAAI,YAAY,GAAG,SAAS,CAGxG"}

package/build/cjs/session.js

@@ -4,6 +4,8 @@ exports.SESSION_STATES = exports.SESSION_SCHEMA_VERSION = void 0;
 exports.isSessionState = isSessionState;
 exports.applySessionEvent = applySessionEvent;
 exports.isSessionFrozen = isSessionFrozen;
+exports.isTicketSession = isTicketSession;
+exports.stageOf = stageOf;
 exports.SESSION_SCHEMA_VERSION = 1;
 exports.SESSION_STATES = ['active', 'unanchored', 'frozen'];
 function isSessionState(value) {
@@ -52,4 +54,21 @@ function applySessionEvent(session, event) {
 function isSessionFrozen(session) {
     return session.state === 'frozen';
 }
+/**
+ * ESAS-326 (S1): a ticket session names at least one ticket in `ticketRefs`; a session with none, or an empty list,
+ * is not one. The Design done press refuses any other session NOT_A_TICKET_SESSION; it is exported for ESAS-329's
+ * stageOf and the web-app to read the same predicate.
+ */
+function isTicketSession(session) {
+    return (session.ticketRefs?.length ?? 0) > 0;
+}
+/**
+ * ESAS-329 (F1): the session's stage. The stored stage when a `stage-advance` moved it; otherwise `'map'` for a ticket
+ * session, created before ESAS-329 or not; otherwise undefined: a session with no ticket refs runs in no stage.
+ */
+function stageOf(session) {
+    if (session.stage !== undefined)
+        return session.stage;
+    return isTicketSession(session) ? 'map' : undefined;
+}
 //# sourceMappingURL=session.js.map

package/build/cjs/session.js.map

@@ -1 +1 @@
-{"version":3,"file":"session.js","sourceRoot":"","sources":["../../src/session.ts"],"names":[],"mappings":";;;AAeA,wCAEC;AAkCD,8CAgCC;AAED,0CAEC;AAlFY,QAAA,sBAAsB,GAAyB,CAAC,CAAC;AAQjD,QAAA,cAAc,GAA4B,CAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAE,CAAC;AAE5F,SAAgB,cAAc,CAAE,KAAc;IAC5C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAM,sBAAqC,CAAC,QAAQ,CAAE,KAAK,CAAE,CAAC;AAChG,CAAC;AA8BD,SAAS,eAAe,CAAE,YAAgC,EAAE,KAAc;IACxE,OAAO,YAAY,CAAC,QAAQ,CAAE,KAAK,CAAE,CAAC,CAAC,CAAC,CAAE,GAAG,YAAY,CAAE,CAAC,CAAC,CAAC,CAAE,GAAG,YAAY,EAAE,KAAK,CAAE,CAAC;AAC3F,CAAC;AAED,SAAgB,iBAAiB,CAAE,OAAsB,EAAE,KAAmB;IAC5E,QAAS,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,OAAO;gBACL,GAAG,OAAO;gBACV,KAAK,EAAE,QAAQ;gBACf,eAAe,EAAE,KAAK,CAAC,QAAQ;gBAC/B,UAAU,EAAE,KAAK,CAAC,GAAG;gBACrB,SAAS,EAAE,KAAK,CAAC,EAAE;gBACnB,YAAY,EAAE,eAAe,CAAE,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAE;aACtE,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QAClE,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QACpE,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;YACxC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,IAAI,YAAY,EAAE,CAAC;QACxD,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,KAAK,CAAC;YACjC,KAAK,WAAW,CAAC;YACjB,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAgB,eAAe,CAAE,OAAqC;IACpE,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC;AACpC,CAAC"}
+{"version":3,"file":"session.js","sourceRoot":"","sources":["../../src/session.ts"],"names":[],"mappings":";;;AAeA,wCAEC;AAyCD,8CAgCC;AAED,0CAEC;AAOD,0CAEC;AAMD,0BAGC;AA3GY,QAAA,sBAAsB,GAAyB,CAAC,CAAC;AAQjD,QAAA,cAAc,GAA4B,CAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAE,CAAC;AAE5F,SAAgB,cAAc,CAAE,KAAc;IAC5C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAM,sBAAqC,CAAC,QAAQ,CAAE,KAAK,CAAE,CAAC;AAChG,CAAC;AAqCD,SAAS,eAAe,CAAE,YAAgC,EAAE,KAAc;IACxE,OAAO,YAAY,CAAC,QAAQ,CAAE,KAAK,CAAE,CAAC,CAAC,CAAC,CAAE,GAAG,YAAY,CAAE,CAAC,CAAC,CAAC,CAAE,GAAG,YAAY,EAAE,KAAK,CAAE,CAAC;AAC3F,CAAC;AAED,SAAgB,iBAAiB,CAAE,OAAsB,EAAE,KAAmB;IAC5E,QAAS,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,OAAO;gBACL,GAAG,OAAO;gBACV,KAAK,EAAE,QAAQ;gBACf,eAAe,EAAE,KAAK,CAAC,QAAQ;gBAC/B,UAAU,EAAE,KAAK,CAAC,GAAG;gBACrB,SAAS,EAAE,KAAK,CAAC,EAAE;gBACnB,YAAY,EAAE,eAAe,CAAE,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAE;aACtE,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QAClE,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QACpE,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAK,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAG,OAAO,OAAO,CAAC;YACjD,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;YACxC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,IAAI,YAAY,EAAE,CAAC;QACxD,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,KAAK,CAAC;YACjC,KAAK,WAAW,CAAC;YACjB,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAgB,eAAe,CAAE,OAAqC;IACpE,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC;AACpC,CAAC;AAED;;;;GAIG;AACH,SAAgB,eAAe,CAAE,OAA0C;IACzE,OAAO,CAAE,OAAO,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAE,GAAG,CAAC,CAAC;AACjD,CAAC;AAED;;;GAGG;AACH,SAAgB,OAAO,CAAE,OAAoD;IAC3E,IAAK,OAAO,CAAC,KAAK,KAAK,SAAS;QAAG,OAAO,OAAO,CAAC,KAAK,CAAC;IACxD,OAAO,eAAe,CAAE,OAAO,CAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC"}

package/build/cjs/spec.d.ts

@@ -0,0 +1,137 @@
+import { type DesignFile } from './design.js';
+import type { MapEntryId, MapFile } from './map-structure.js';
+import type { Op } from './ops.js';
+export type SpecVersion = 1;
+export declare const SPEC_VERSION: SpecVersion;
+export type SpecEntryId = string;
+export declare const SPEC_SECTION_IDS: readonly ["problem", "solution", "userStories", "decisionTree", "implementationDecisions", "testingDecisions", "risks", "outOfScope", "provenance"];
+export type SpecSectionId = typeof SPEC_SECTION_IDS[number];
+/**
+ * F2: a typed entry with a markdown body. `kind` types it within its section (a `story`, a `rationale`, a
+ * `tracer-bullet`); `refs` name the map entries it anchors to (a story's impact and actor, a rationale's fork);
+ * `fields` hold the few named values its kind requires. The fold keeps what was posted; judging an entry's
+ * kind and fields is the completeness check's.
+ */
+export type SpecEntry = {
+    id: SpecEntryId;
+    section: SpecSectionId;
+    kind: string;
+    title?: string;
+    /** Markdown; the prose stays free (F2). */
+    body: string;
+    refs?: MapEntryId[];
+    fields?: Record<string, string>;
+    struck?: {
+        reason: string;
+    };
+};
+export type SpecFile = {
+    specVersion: SpecVersion;
+    entries: SpecEntry[];
+};
+/** A spec-post as the feed stores it: a batch of entries, each upserted by its id. */
+export type SpecPostOpPayload = {
+    entries: Array<Omit<SpecEntry, 'struck'>>;
+};
+export type SpecStrike = {
+    id: SpecEntryId;
+    reason: string;
+};
+export type SpecStrikeOpPayload = {
+    entries: SpecStrike[];
+};
+/** What one spec op folds: the entries it upserts and the ids it strikes. */
+export type SpecBatch = {
+    posted: SpecEntry[];
+    struck: SpecStrike[];
+};
+export declare function emptySpec(): SpecFile;
+export declare function isSpecSectionId(value: unknown): value is SpecSectionId;
+/** A spec-post's payload as a batch: every readable entry, in payload order. */
+export declare function specPostBatch(payload: unknown): SpecBatch;
+/** A spec-strike's payload as a batch: every readable id with its reason. */
+export declare function specStrikeBatch(payload: unknown): SpecBatch;
+/**
+ * The one spec fold, which both replay copies call (F5, F6). A post upserts by id in place, so a re-post keeps
+ * the entry's position and clears a strike; a strike of an id the spec does not hold changes nothing.
+ */
+export declare function foldSpecBatch(current: SpecFile, batch: SpecBatch): SpecFile;
+export type SpecGapCode = 'fork-open' | 'section-empty' | 'tracer-bullet' | 'element-unlinked' | 'impact-without-story' | 'rationale-missing' | 'ref-struck' | 'owner-changes-unread' | 'question-open' | 'scenario-proposed' | 'deliverable-without-element' | 'element-review-pending' | 'stage-not-program';
+export type SpecGap = {
+    code: SpecGapCode;
+    section?: SpecSectionId;
+    ref?: string;
+    message: string;
+};
+export type SpecCheckInput = {
+    ops: readonly Op[];
+    design: DesignFile;
+    map: MapFile;
+    spec: SpecFile;
+    agentSyncSeq: number | null;
+};
+/** The session a render names in its provenance header; a bundle manifest satisfies it. */
+export type SpecManifest = {
+    sessionId: string;
+    name: string;
+    ticketRefs: readonly string[];
+};
+/** The three folds one replay holds after folding a feed. */
+export type SpecReplayed = {
+    design: DesignFile;
+    map: MapFile;
+    spec: SpecFile;
+};
+/** A replay of the feed: blueprint-store's replayOps or the session engine's; the render folds through it. */
+export type SpecReplay = (ops: readonly Op[]) => SpecReplayed;
+export type SpecRenderInput = {
+    ops: readonly Op[];
+    manifest: SpecManifest;
+    replay: SpecReplay;
+};
+export declare function specSourceSeq(ops: readonly Op[]): number;
+/**
+ * F7, F8: blueprint.md, the written sections in spine order with the derived ones (decision tree, scenarios,
+ * observations, artifacts) read from the same fold, under a provenance header that prints the source seq.
+ */
+export declare function renderBlueprint(input: SpecRenderInput): string;
+/**
+ * decisions.md: per fork its question, the chosen option, who decided, why, and every rejected option with its
+ * rejectedBecause; an open, moot or locked fork says so instead.
+ */
+export declare function renderDecisions(input: SpecRenderInput): string;
+/**
+ * F13: the check takes a scope, not a stage. At `map` it asks only for what the map stage writes (the forks,
+ * Problem, Solution, the stories and rationales, freshness); at `design` it asks for everything.
+ */
+export type SpecCheckScope = 'map' | 'design';
+/** The written sections that must hold a live entry, per scope; User Stories and the rationales have their own codes. */
+export declare const SPEC_REQUIRED_SECTIONS: {
+    readonly [Scope in SpecCheckScope]: readonly SpecSectionId[];
+};
+/** The spine's Testing Decisions name exactly one tracer bullet. */
+export declare const TRACER_BULLET_KIND = "tracer-bullet";
+/**
+ * ESAS-331 F3, S5: every gap between the session's state and a handoff, in the order SpecGapCode lists the codes.
+ * ESAS-330's three codes read the map fold's own agreedAt and review, and joinMapLinks' unserved list.
+ */
+export declare function checkSpecCompleteness(input: SpecCheckInput, scope?: SpecCheckScope): {
+    complete: boolean;
+    gaps: SpecGap[];
+};
+export type BlueprintFiles = {
+    'blueprint.md': string;
+    'decisions.md': string;
+};
+/**
+ * F10, F14: the two files Design done's flush commits, or the gaps that refuse it. `replay` is the deviation D2
+ * names: blueprint-schema cannot fold design and map, so the caller passes the replay it holds.
+ */
+export declare function blueprintFileOf(ops: readonly Op[], manifest: SpecManifest, agentSyncSeq: number | null, replay: SpecReplay): {
+    ok: true;
+    files: BlueprintFiles;
+} | {
+    ok: false;
+    gaps: SpecGap[];
+};
+//# sourceMappingURL=spec.d.ts.map

package/build/cjs/spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec.d.ts","sourceRoot":"","sources":["../../src/spec.ts"],"names":[],"mappings":"AACA,OAAO,EAAsB,KAAK,UAAU,EAAwE,MAAM,aAAa,CAAC;AAIxI,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAgD,MAAM,oBAAoB,CAAC;AAE5G,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAMnC,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC;AAE5B,eAAO,MAAM,YAAY,EAAE,WAAe,CAAC;AAE3C,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAIjC,eAAO,MAAM,gBAAgB,qJAUnB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,OAAO,gBAAgB,CAAE,MAAM,CAAE,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,EAAE,EAAE,WAAW,CAAC;IAChB,OAAO,EAAE,aAAa,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,MAAM,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,WAAW,EAAE,WAAW,CAAC;IACzB,OAAO,EAAE,SAAS,EAAE,CAAC;CACtB,CAAC;AAEF,sFAAsF;AACtF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IAAE,EAAE,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7D,MAAM,MAAM,mBAAmB,GAAG;IAChC,OAAO,EAAE,UAAU,EAAE,CAAC;CACvB,CAAC;AAEF,6EAA6E;AAC7E,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB,CAAC;AAEF,wBAAgB,SAAS,IAAI,QAAQ,CAEpC;AASD,wBAAgB,eAAe,CAAE,KAAK,EAAE,OAAO,GAAI,KAAK,IAAI,aAAa,CAExE;AAyBD,gFAAgF;AAChF,wBAAgB,aAAa,CAAE,OAAO,EAAE,OAAO,GAAI,SAAS,CAE3D;AAED,6EAA6E;AAC7E,wBAAgB,eAAe,CAAE,OAAO,EAAE,OAAO,GAAI,SAAS,CAM7D;AAYD;;;GAGG;AACH,wBAAgB,aAAa,CAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,GAAI,QAAQ,CAE7E;AAID,MAAM,MAAM,WAAW,GACnB,WAAW,GACX,eAAe,GACf,eAAe,GACf,kBAAkB,GAClB,sBAAsB,GACtB,mBAAmB,GACnB,YAAY,GACZ,sBAAsB,GACtB,eAAe,GACf,mBAAmB,GACnB,6BAA6B,GAC7B,wBAAwB,GACxB,mBAAmB,CAAC;AAExB,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,WAAW,CAAC;IAClB,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC;IACnB,MAAM,EAAE,UAAU,CAAC;IACnB,GAAG,EAAE,OAAO,CAAC;IACb,IAAI,EAAE,QAAQ,CAAC;IACf,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B,CAAC;AAEF,2FAA2F;AAC3F,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B,CAAC;AAEF,6DAA6D;AAC7D,MAAM,MAAM,YAAY,GAAG;IACzB,MAAM,EAAE,UAAU,CAAC;IACnB,GAAG,EAAE,OAAO,CAAC;IACb,IAAI,EAAE,QAAQ,CAAC;CAChB,CAAC;AAEF,8GAA8G;AAC9G,MAAM,MAAM,UAAU,GAAG,CAAE,GAAG,EAAE,SAAS,EAAE,EAAE,KAAM,YAAY,CAAC;AAEhE,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC;IACnB,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,UAAU,CAAC;CACpB,CAAC;AAcF,wBAAgB,aAAa,CAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAI,MAAM,CAE1D;AAgMD;;;GAGG;AACH,wBAAgB,eAAe,CAAE,KAAK,EAAE,eAAe,GAAI,MAAM,CAuBhE;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAE,KAAK,EAAE,eAAe,GAAI,MAAM,CAwBhE;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG,KAAK,GAAG,QAAQ,CAAC;AAE9C,yHAAyH;AACzH,eAAO,MAAM,sBAAsB,EAAE;IAAE,QAAQ,EAAG,KAAK,IAAI,cAAc,GAAI,SAAS,aAAa,EAAE;CAGpG,CAAC;AAQF,oEAAoE;AACpE,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AA0GlD;;;GAGG;AACH,wBAAgB,qBAAqB,CAAE,KAAK,EAAE,cAAc,EAAE,KAAK,GAAE,cAAyB,GAAI;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,OAAO,EAAE,CAAA;CAAE,CAkBvI;AAED,MAAM,MAAM,cAAc,GAAG;IAAE,cAAc,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhF;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,GAC1F;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,OAAO,EAAE,CAAA;CAAE,CAItE"}