@intentset/publisher 0.1.0

package/dist/references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAA8C,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACzF,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAA2B,MAAM,EAAE,MAAM,cAAc,CAAC;AAY/D,qFAAqF;AACrF,MAAM,SAAS,GAAkC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAE1F,gDAAgD;AAChD,SAAS,OAAO,CAAC,KAAwB;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;AAC/G,CAAC;AAED,MAAM,UAAU,GAAG,IAAI,MAAM,CAAC,qBAAqB,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC;AAC3G,MAAM,WAAW,GAAG,gDAAgD,CAAC;AAErE,wGAAwG;AACxG,MAAM,UAAU,cAAc,CAAC,QAAkB,EAAE,KAAY;IAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC3B,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,GAAkB,EAAE,IAAY,EAAE,EAAE;QAC3D,IAAI,EAAE,KAAK,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAE9F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO;QACtD,MAAM,CAAC,GAAG,IAMT,CAAC;QACF,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;QACzC,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;YACnG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACrD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9F,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC/C,MAAM,EAAE,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxD,IAAI,EAAE,KAAK,SAAS;gBAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,QAAQ,IAAI,EAAE;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC;IACF,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAE/B,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAC1C,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,SAAS,CAAC;YACR,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7C,IAAI,KAAK,KAAK,CAAC,CAAC;gBAAE,MAAM;YACxB,MAAM,MAAM,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAClD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACpD,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACrC,MAAM;YACR,CAAC;YACD,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;AAC7G,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW,EAAE,QAAgB;IACzD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,IACE,OAAO,KAAK,EAAE;QACd,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;QACvB,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QACxB,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC;QACH,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAAC,MAAM,CAAC;QACP,6CAA6C;IAC/C,CAAC;IACD,IAAI,MAAM,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IACjH,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACrC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,QAAkB,EAClB,KAAY,EACZ,OAA2B,EAC3B,SAA8B;IAE9B,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAa,CAAC;QACvD,MAAM,KAAK,GACT,GAAG,CAAC,GAAG,KAAK,IAAI;YACd,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,OAAO,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;YACxE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;;YAC9C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAgB,CAAC;QAC5C,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,WAAW,CAAC,IAAI,CACd,qBAAqB,CAAC;YACpB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE;YAC1B,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,QAAQ,EAAE,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC;YACrC,OAAO,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,OAAO,OAAO,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,UAAU,+BAA+B;YACjI,WAAW,EACT,+JAA+J;SAClK,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,QAAkB,EAClB,KAAY,EACZ,OAA2B,EAC3B,aAAkC;IAElC,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAa,CAAC;QAClD,IAAI,EAAE,KAAK,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,SAAS;QAChF,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACxE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,WAAW,CAAC,IAAI,CACd,qBAAqB,CAAC;YACpB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE;YAC1B,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,QAAQ,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAClE,OAAO,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,0BAA0B,EAAE,gBAAgB,OAAO,CAAC,UAAU,6BAA6B;YACvH,WAAW,EACT,yGAAyG;SAC5G,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,gIAAgI;AAChI,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9E,OAAO,IAAI,MAAM,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACrD,CAAC"}

package/dist/request.d.ts

@@ -0,0 +1,63 @@
+/**
+ * The publication request and the projection levels (Core §9).
+ *
+ * A request names one value per availability dimension, the flags the reader
+ * is entitled to, the audience and the projection's visibility. Every one of
+ * them is required: a request that leaves a dimension out is refused rather
+ * than read as "any" (Core §7: no implicit wildcard; Core §4: missing access
+ * information fails closed). Values must be ones the registries declare, so a
+ * request for an unknown release is refused instead of quietly matching
+ * nothing (Core §9: abstain when the requested version is unknown).
+ *
+ * Public projection admits public records only; customer admits public and
+ * customer. Internal and restricted data need their own explicit
+ * authorization, and a restricted projection, which admits internal records
+ * too, needs both.
+ */
+import { type Diagnostic, type Graph, type Registries, type Visibility } from "@intentset/core";
+export interface PublicationRequest {
+    visibility: Visibility;
+    audience: string;
+    product: string;
+    release: string;
+    role: string;
+    edition: string;
+    /** The flags the reader is entitled to. Empty means none. */
+    flags: string[];
+    /** Knowledge IDs requested; omitted means every eligible one. */
+    ids?: string[];
+    /** Explicit authorization for an internal or restricted projection. */
+    authorizedInternal?: boolean;
+    /** Explicit authorization for a restricted projection. */
+    authorizedRestricted?: boolean;
+}
+/** The request as an index records it: authorization flags removed, flags and ids sorted. */
+export interface IndexedRequest {
+    visibility: Visibility;
+    audience: string;
+    product: string;
+    release: string;
+    role: string;
+    edition: string;
+    flags: string[];
+    ids?: string[];
+}
+/** Core §9: the visibilities each projection admits. */
+export declare const PROJECTION_ADMITS: Readonly<Record<Visibility, readonly Visibility[]>>;
+/** The single-valued dimensions of a request, in the order they are reported. */
+export declare const REQUEST_DIMENSIONS: readonly ["audience", "product", "release", "role", "edition"];
+export type RequestDimension = (typeof REQUEST_DIMENSIONS)[number];
+/** True when the request's projection admits a record of this visibility. */
+export declare function admits(request: Pick<PublicationRequest, "visibility">, visibility: Visibility): boolean;
+/** The request without its authorization flags, for an index a reader may see. */
+export declare function indexedRequest(request: PublicationRequest): IndexedRequest;
+/**
+ * Check a request before anything is selected: shape, authorization, and
+ * values against the registries and the graph. Every problem is a PUB001 and
+ * all of them are reported at once; any one refuses the whole request.
+ */
+export declare function checkRequest(value: unknown, graph: Graph, registries: Registries): {
+    request: PublicationRequest | null;
+    diagnostics: Diagnostic[];
+};
+//# sourceMappingURL=request.d.ts.map

package/dist/request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"request.d.ts","sourceRoot":"","sources":["../src/request.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAE,KAAK,UAAU,EAAgB,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG9G,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,UAAU,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,iEAAiE;IACjE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;IACf,uEAAuE;IACvE,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,0DAA0D;IAC1D,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED,6FAA6F;AAC7F,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,UAAU,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,wDAAwD;AACxD,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,UAAU,EAAE,CAAC,CAKjF,CAAC;AAEF,iFAAiF;AACjF,eAAO,MAAM,kBAAkB,YAAI,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAU,CAAC;AACjG,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAWnE,6EAA6E;AAC7E,wBAAgB,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,kBAAkB,EAAE,YAAY,CAAC,EAAE,UAAU,EAAE,UAAU,GAAG,OAAO,CAEvG;AAED,kFAAkF;AAClF,wBAAgB,cAAc,CAAC,OAAO,EAAE,kBAAkB,GAAG,cAAc,CAY1E;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,UAAU,GACrB;IAAE,OAAO,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CA4InE"}

package/dist/request.js

@@ -0,0 +1,156 @@
+/**
+ * The publication request and the projection levels (Core §9).
+ *
+ * A request names one value per availability dimension, the flags the reader
+ * is entitled to, the audience and the projection's visibility. Every one of
+ * them is required: a request that leaves a dimension out is refused rather
+ * than read as "any" (Core §7: no implicit wildcard; Core §4: missing access
+ * information fails closed). Values must be ones the registries declare, so a
+ * request for an unknown release is refused instead of quietly matching
+ * nothing (Core §9: abstain when the requested version is unknown).
+ *
+ * Public projection admits public records only; customer admits public and
+ * customer. Internal and restricted data need their own explicit
+ * authorization, and a restricted projection, which admits internal records
+ * too, needs both.
+ */
+import { VISIBILITIES } from "@intentset/core";
+import { compareStrings, publicationDiagnostic, sortedUnique } from "./diagnostic.js";
+/** Core §9: the visibilities each projection admits. */
+export const PROJECTION_ADMITS = {
+    public: ["public"],
+    customer: ["public", "customer"],
+    internal: ["public", "customer", "internal"],
+    restricted: ["public", "customer", "internal", "restricted"],
+};
+/** The single-valued dimensions of a request, in the order they are reported. */
+export const REQUEST_DIMENSIONS = ["audience", "product", "release", "role", "edition"];
+const REQUEST_KEYS = new Set([
+    "visibility",
+    ...REQUEST_DIMENSIONS,
+    "flags",
+    "ids",
+    "authorizedInternal",
+    "authorizedRestricted",
+]);
+/** True when the request's projection admits a record of this visibility. */
+export function admits(request, visibility) {
+    return PROJECTION_ADMITS[request.visibility].includes(visibility);
+}
+/** The request without its authorization flags, for an index a reader may see. */
+export function indexedRequest(request) {
+    const out = {
+        visibility: request.visibility,
+        audience: request.audience,
+        product: request.product,
+        release: request.release,
+        role: request.role,
+        edition: request.edition,
+        flags: sortedUnique(request.flags),
+    };
+    if (request.ids !== undefined)
+        out.ids = sortedUnique(request.ids);
+    return out;
+}
+/**
+ * Check a request before anything is selected: shape, authorization, and
+ * values against the registries and the graph. Every problem is a PUB001 and
+ * all of them are reported at once; any one refuses the whole request.
+ */
+export function checkRequest(value, graph, registries) {
+    const diagnostics = [];
+    const refuse = (message, remediation) => diagnostics.push(publicationDiagnostic({ code: "PUB001", artifact: null, path: null, message, remediation }));
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        refuse("The publication request is not a mapping of dimensions.", "Pass visibility, audience, product, release, role, edition and flags.");
+        return { request: null, diagnostics };
+    }
+    const raw = value;
+    for (const key of Object.keys(raw).sort(compareStrings)) {
+        if (!REQUEST_KEYS.has(key)) {
+            refuse(`The request has an unknown key \`${key}\`.`, `Use only ${[...REQUEST_KEYS].join(", ")}; an unrecognized key is refused rather than ignored.`);
+        }
+    }
+    const visibility = raw.visibility;
+    if (visibility === undefined || visibility === null) {
+        refuse("The request names no visibility, so no projection can be chosen.", "Set visibility to public, customer, internal or restricted; missing access information fails closed (Core §4).");
+    }
+    else if (!VISIBILITIES.includes(visibility)) {
+        refuse("The request's visibility is not one of public, customer, internal or restricted.", "Name one of the four Core §4 visibilities.");
+    }
+    for (const dimension of REQUEST_DIMENSIONS) {
+        const v = raw[dimension];
+        if (typeof v !== "string" || v === "") {
+            refuse(`The request names no ${dimension}.`, `Name exactly one ${dimension}; availability has no implicit wildcard, so a missing dimension is refused (Core §7).`);
+        }
+    }
+    const flags = raw.flags;
+    const flagsOk = Array.isArray(flags) && flags.every((flag) => typeof flag === "string" && flag !== "");
+    if (flags === undefined || flags === null) {
+        refuse("The request names no flags.", "Pass the reader's enabled flags, or `flags: []` for none; an omission is refused rather than read as none (Core §7).");
+    }
+    else if (!flagsOk) {
+        refuse("The request's flags are not a list of flag names.", "Pass flags as a list of non-empty strings.");
+    }
+    const ids = raw.ids;
+    if (ids !== undefined && !(Array.isArray(ids) && ids.every((id) => typeof id === "string" && id !== ""))) {
+        refuse("The request's ids are not a list of artifact IDs.", "Pass ids as a list of knowledge IDs, or omit it to publish every eligible one.");
+    }
+    for (const key of ["authorizedInternal", "authorizedRestricted"]) {
+        if (raw[key] !== undefined && typeof raw[key] !== "boolean") {
+            refuse(`The request's ${key} is not true or false.`, `Set ${key} to true only when the caller holds that authorization.`);
+        }
+    }
+    if (visibility === "internal" || visibility === "restricted") {
+        if (raw.authorizedInternal !== true) {
+            refuse(`${visibility === "internal" ? "An internal" : "A restricted"} projection was requested without internal authorization.`, "Internal records need explicit authorization: pass authorizedInternal only for a caller entitled to engineering material (Core §9).");
+        }
+    }
+    if (visibility === "restricted" && raw.authorizedRestricted !== true) {
+        refuse("A restricted projection was requested without restricted authorization.", "Restricted records need their own explicit authorization: pass authorizedRestricted only for a caller entitled to them (Core §9).");
+    }
+    const known = (v, list) => typeof v === "string" && list.includes(v);
+    if (typeof raw.audience === "string" && raw.audience !== "" && !known(raw.audience, registries.audiences)) {
+        refuse(`The request names audience ${raw.audience}, which the audience registry does not declare.`, "Request a registered audience.");
+    }
+    if (typeof raw.product === "string" &&
+        raw.product !== "" &&
+        graph.artifacts.get(raw.product)?.meta.type !== "product") {
+        refuse(`The request names product ${raw.product}, which is not a product in this snapshot.`, "Name the product artifact's ID, such as PRD-LANTERN.");
+    }
+    for (const [dimension, list] of [
+        ["release", registries.releases],
+        ["role", registries.roles],
+        ["edition", registries.editions],
+    ]) {
+        const v = raw[dimension];
+        if (typeof v === "string" && v !== "" && !known(v, list)) {
+            refuse(`The request names ${dimension} ${v}, which the registries do not declare.`, `Request a declared ${dimension}; release labels match exactly and an unknown one is refused rather than guessed (Core §7, §9).`);
+        }
+    }
+    if (flagsOk) {
+        for (const flag of sortedUnique(flags)) {
+            if (!registries.flags.includes(flag)) {
+                refuse(`The request names flag ${flag}, which the registries do not declare.`, "Request only declared flags.");
+            }
+        }
+    }
+    if (diagnostics.length > 0)
+        return { request: null, diagnostics };
+    const request = {
+        visibility: visibility,
+        audience: raw.audience,
+        product: raw.product,
+        release: raw.release,
+        role: raw.role,
+        edition: raw.edition,
+        flags: sortedUnique(flags),
+    };
+    if (ids !== undefined)
+        request.ids = sortedUnique(ids);
+    if (raw.authorizedInternal === true)
+        request.authorizedInternal = true;
+    if (raw.authorizedRestricted === true)
+        request.authorizedRestricted = true;
+    return { request, diagnostics };
+}
+//# sourceMappingURL=request.js.map

package/dist/request.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"request.js","sourceRoot":"","sources":["../src/request.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAgD,YAAY,EAAmB,MAAM,iBAAiB,CAAC;AAC9G,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AA+BtF,wDAAwD;AACxD,MAAM,CAAC,MAAM,iBAAiB,GAAwD;IACpF,MAAM,EAAE,CAAC,QAAQ,CAAC;IAClB,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;IAChC,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;IAC5C,UAAU,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,CAAC;CAC7D,CAAC;AAEF,iFAAiF;AACjF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAU,CAAC;AAGjG,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;IACnC,YAAY;IACZ,GAAG,kBAAkB;IACrB,OAAO;IACP,KAAK;IACL,oBAAoB;IACpB,sBAAsB;CACvB,CAAC,CAAC;AAEH,6EAA6E;AAC7E,MAAM,UAAU,MAAM,CAAC,OAA+C,EAAE,UAAsB;IAC5F,OAAO,iBAAiB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AACpE,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,cAAc,CAAC,OAA2B;IACxD,MAAM,GAAG,GAAmB;QAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC;KACnC,CAAC;IACF,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS;QAAE,GAAG,CAAC,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACnE,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAc,EACd,KAAY,EACZ,UAAsB;IAEtB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,WAAmB,EAAE,EAAE,CACtD,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IAEhH,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,CACJ,yDAAyD,EACzD,uEAAuE,CACxE,CAAC;QACF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACxC,CAAC;IACD,MAAM,GAAG,GAAG,KAAgC,CAAC;IAE7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,CACJ,oCAAoC,GAAG,KAAK,EAC5C,YAAY,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,uDAAuD,CAChG,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAClC,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,CACJ,kEAAkE,EAClE,gHAAgH,CACjH,CAAC;IACJ,CAAC;SAAM,IAAI,CAAE,YAAmC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACtE,MAAM,CACJ,kFAAkF,EAClF,4CAA4C,CAC7C,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,kBAAkB,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;YACtC,MAAM,CACJ,wBAAwB,SAAS,GAAG,EACpC,oBAAoB,SAAS,uFAAuF,CACrH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACxB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;IACvG,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,CACJ,6BAA6B,EAC7B,sHAAsH,CACvH,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,CAAC,mDAAmD,EAAE,4CAA4C,CAAC,CAAC;IAC5G,CAAC;IAED,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC;IACpB,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;QACzG,MAAM,CACJ,mDAAmD,EACnD,gFAAgF,CACjF,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,oBAAoB,EAAE,sBAAsB,CAAU,EAAE,CAAC;QAC1E,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;YAC5D,MAAM,CACJ,iBAAiB,GAAG,wBAAwB,EAC5C,OAAO,GAAG,yDAAyD,CACpE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,UAAU,KAAK,UAAU,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;QAC7D,IAAI,GAAG,CAAC,kBAAkB,KAAK,IAAI,EAAE,CAAC;YACpC,MAAM,CACJ,GAAG,UAAU,KAAK,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,2DAA2D,EACxH,qIAAqI,CACtI,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,UAAU,KAAK,YAAY,IAAI,GAAG,CAAC,oBAAoB,KAAK,IAAI,EAAE,CAAC;QACrE,MAAM,CACJ,yEAAyE,EACzE,mIAAmI,CACpI,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,IAAuB,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACjG,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,QAAQ,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1G,MAAM,CACJ,8BAA8B,GAAG,CAAC,QAAQ,iDAAiD,EAC3F,gCAAgC,CACjC,CAAC;IACJ,CAAC;IACD,IACE,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAC/B,GAAG,CAAC,OAAO,KAAK,EAAE;QAClB,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,EACzD,CAAC;QACD,MAAM,CACJ,6BAA6B,GAAG,CAAC,OAAO,4CAA4C,EACpF,sDAAsD,CACvD,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI;QAC9B,CAAC,SAAS,EAAE,UAAU,CAAC,QAAQ,CAAC;QAChC,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC;QAC1B,CAAC,SAAS,EAAE,UAAU,CAAC,QAAQ,CAAC;KACxB,EAAE,CAAC;QACX,MAAM,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YACzD,MAAM,CACJ,qBAAqB,SAAS,IAAI,CAAC,wCAAwC,EAC3E,sBAAsB,SAAS,iGAAiG,CACjI,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAiB,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,0BAA0B,IAAI,wCAAwC,EAAE,8BAA8B,CAAC,CAAC;YACjH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAClE,MAAM,OAAO,GAAuB;QAClC,UAAU,EAAE,UAAwB;QACpC,QAAQ,EAAE,GAAG,CAAC,QAAkB;QAChC,OAAO,EAAE,GAAG,CAAC,OAAiB;QAC9B,OAAO,EAAE,GAAG,CAAC,OAAiB;QAC9B,IAAI,EAAE,GAAG,CAAC,IAAc;QACxB,OAAO,EAAE,GAAG,CAAC,OAAiB;QAC9B,KAAK,EAAE,YAAY,CAAC,KAAiB,CAAC;KACvC,CAAC;IACF,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,CAAC,GAAG,GAAG,YAAY,CAAC,GAAe,CAAC,CAAC;IACnE,IAAI,GAAG,CAAC,kBAAkB,KAAK,IAAI;QAAE,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;IACvE,IAAI,GAAG,CAAC,oBAAoB,KAAK,IAAI;QAAE,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC;IAC3E,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAClC,CAAC"}

package/dist/review.d.ts

@@ -0,0 +1,58 @@
+/**
+ * Needs-review (Core §9): knowledge is current only while every source it was
+ * reviewed against still has the hash it had at review.
+ *
+ * A review is `reviewedBy` and `reviewedAt` in the knowledge's own
+ * frontmatter plus a review record under
+ * `intentset.extensions["intentset.org/review"]` that pins, by ID, the
+ * source hash each source had when it was reviewed:
+ *
+ *     extensions:
+ *       intentset.org/review:
+ *         sources:
+ *           BEH-ASMT-SCHEDULE: 2f53...
+ *           RULE-ASMT-FUTURE: e39f...
+ *         snapshot: <commit or graph hash at review, informative>
+ *
+ * The sources a review must pin are what the knowledge `explains`, plus the
+ * rules that govern each explained behavior: a rule changing under a behavior
+ * changes what the behavior promises, which is catalog case P04.
+ *
+ * A pin of the literal `@current` is a fixture placeholder: `bindReviewPins`
+ * replaces it with the source's hash in the snapshot being checked, so a
+ * case can say "reviewed against what is there now" without computing a
+ * hash. Unbound, it never equals a hash, so it reads as changed.
+ */
+import type { Artifact, Graph } from "@intentset/core";
+export declare const REVIEW_EXTENSION = "intentset.org/review";
+export declare const CURRENT_PIN = "@current";
+export interface ReviewRecord {
+    /** Source ID -> the source hash it was reviewed against. Entries that are not strings are dropped. */
+    sources: Record<string, string>;
+    snapshot?: string;
+}
+export interface ReviewStatus {
+    status: "current" | "needs-review";
+    /** Sources whose current hash differs from the pin, or that are no longer in the graph. */
+    changed: string[];
+    /** Sources the review record does not pin. */
+    missing: string[];
+    /** `reviewedBy`, or null when the knowledge names no reviewer. */
+    reviewer: string | null;
+    /** `reviewedAt`, or null when absent. */
+    reviewedAt: string | null;
+}
+/** The sources a review must pin: everything explained, and the rules governing each explained behavior. Sorted. */
+export declare function reviewSources(graph: Graph, artifact: Artifact): string[];
+/** The review record of a knowledge artifact, or null when it has none or it is not a mapping with `sources`. */
+export declare function readReviewRecord(artifact: Artifact): ReviewRecord | null;
+/** Core §9: whether the knowledge is current against the sources it was reviewed against. */
+export declare function reviewStatus(graph: Graph, artifact: Artifact): ReviewStatus;
+/**
+ * Bind every `@current` pin to the pinned source's hash in this graph, for
+ * fixtures. Returns a new graph; the given one is not modified, and nothing
+ * the graph hash covers changes. A pin naming an artifact that is not in the
+ * graph stays `@current`, which reads as changed.
+ */
+export declare function bindReviewPins(graph: Graph): Graph;
+//# sourceMappingURL=review.d.ts.map

package/dist/review.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"review.d.ts","sourceRoot":"","sources":["../src/review.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAGvD,eAAO,MAAM,gBAAgB,yBAAyB,CAAC;AACvD,eAAO,MAAM,WAAW,aAAa,CAAC;AAEtC,MAAM,WAAW,YAAY;IAC3B,sGAAsG;IACtG,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,SAAS,GAAG,cAAc,CAAC;IACnC,2FAA2F;IAC3F,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,8CAA8C;IAC9C,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,kEAAkE;IAClE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,yCAAyC;IACzC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,oHAAoH;AACpH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,EAAE,CAQxE;AAED,iHAAiH;AACjH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,GAAG,YAAY,GAAG,IAAI,CAWxE;AAED,6FAA6F;AAC7F,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,GAAG,YAAY,CAa3E;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAgBlD"}

package/dist/review.js

@@ -0,0 +1,77 @@
+import { compareStrings, sortedUnique } from "./diagnostic.js";
+export const REVIEW_EXTENSION = "intentset.org/review";
+export const CURRENT_PIN = "@current";
+/** The sources a review must pin: everything explained, and the rules governing each explained behavior. Sorted. */
+export function reviewSources(graph, artifact) {
+    const ids = [];
+    for (const id of artifact.meta.links.explains ?? []) {
+        ids.push(id);
+        const source = graph.artifacts.get(id);
+        if (source?.meta.type === "behavior")
+            ids.push(...(source.meta.links.governedBy ?? []));
+    }
+    return sortedUnique(ids);
+}
+/** The review record of a knowledge artifact, or null when it has none or it is not a mapping with `sources`. */
+export function readReviewRecord(artifact) {
+    const value = artifact.meta.extensions?.[REVIEW_EXTENSION];
+    if (!isRecord(value) || !isRecord(value.sources))
+        return null;
+    const sources = {};
+    for (const id of Object.keys(value.sources).sort(compareStrings)) {
+        const pin = value.sources[id];
+        if (typeof pin === "string")
+            sources[id] = pin;
+    }
+    const record = { sources };
+    if (typeof value.snapshot === "string")
+        record.snapshot = value.snapshot;
+    return record;
+}
+/** Core §9: whether the knowledge is current against the sources it was reviewed against. */
+export function reviewStatus(graph, artifact) {
+    const record = readReviewRecord(artifact);
+    const changed = [];
+    const missing = [];
+    for (const id of reviewSources(graph, artifact)) {
+        const pin = record?.sources[id];
+        if (pin === undefined)
+            missing.push(id);
+        else if (graph.artifacts.get(id)?.sourceHash !== pin)
+            changed.push(id);
+    }
+    const reviewer = nonEmpty(artifact.meta.reviewedBy);
+    const reviewedAt = nonEmpty(artifact.meta.reviewedAt);
+    const current = changed.length === 0 && missing.length === 0 && reviewer !== null && reviewedAt !== null;
+    return { status: current ? "current" : "needs-review", changed, missing, reviewer, reviewedAt };
+}
+/**
+ * Bind every `@current` pin to the pinned source's hash in this graph, for
+ * fixtures. Returns a new graph; the given one is not modified, and nothing
+ * the graph hash covers changes. A pin naming an artifact that is not in the
+ * graph stays `@current`, which reads as changed.
+ */
+export function bindReviewPins(graph) {
+    const artifacts = new Map();
+    for (const [id, artifact] of graph.artifacts) {
+        const value = artifact.meta.extensions?.[REVIEW_EXTENSION];
+        if (!isRecord(value) || !isRecord(value.sources) || !Object.values(value.sources).includes(CURRENT_PIN)) {
+            artifacts.set(id, artifact);
+            continue;
+        }
+        const sources = {};
+        for (const [source, pin] of Object.entries(value.sources)) {
+            sources[source] = pin === CURRENT_PIN ? (graph.artifacts.get(source)?.sourceHash ?? pin) : pin;
+        }
+        const extensions = { ...artifact.meta.extensions, [REVIEW_EXTENSION]: { ...value, sources } };
+        artifacts.set(id, { ...artifact, meta: { ...artifact.meta, extensions } });
+    }
+    return { ...graph, artifacts };
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function nonEmpty(value) {
+    return value === undefined || value.trim() === "" ? null : value;
+}
+//# sourceMappingURL=review.js.map

package/dist/review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review.js","sourceRoot":"","sources":["../src/review.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/D,MAAM,CAAC,MAAM,gBAAgB,GAAG,sBAAsB,CAAC;AACvD,MAAM,CAAC,MAAM,WAAW,GAAG,UAAU,CAAC;AAoBtC,oHAAoH;AACpH,MAAM,UAAU,aAAa,CAAC,KAAY,EAAE,QAAkB;IAC5D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACpD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACb,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,iHAAiH;AACjH,MAAM,UAAU,gBAAgB,CAAC,QAAkB;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,gBAAgB,CAAC,CAAC;IAC3D,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACjE,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;IACjD,CAAC;IACD,MAAM,MAAM,GAAiB,EAAE,OAAO,EAAE,CAAC;IACzC,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IACzE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,YAAY,CAAC,KAAY,EAAE,QAAkB;IAC3D,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,EAAE,IAAI,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aACnC,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,UAAU,KAAK,GAAG;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI,CAAC;IACzG,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAClG,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,KAAY;IACzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,gBAAgB,CAAC,CAAC;QAC3D,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACxG,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAA4B,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,OAAO,CAAC,MAAM,CAAC,GAAG,GAAG,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,UAAU,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACjG,CAAC;QACD,MAAM,UAAU,GAAG,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC;QAC9F,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,QAAQ,CAAC,KAAyB;IACzC,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AACnE,CAAC"}

package/dist/yaml.d.ts

@@ -0,0 +1,18 @@
+/**
+ * The YAML the generated frontmatter is written in: block mappings with
+ * two-space indentation, sequences indented under their key, `[]` for an
+ * empty list, and strings left plain only when they are an identifier-like
+ * token no reader could take for anything else. It is written for two
+ * readers: core's strict reader (ADR 0001) and Markset's frontmatter subset,
+ * which does not accept a sequence at its key's own indentation. Key order is
+ * the object's own, so the output is fixed by the code that builds it.
+ */
+export type YamlValue = string | number | boolean | null | YamlValue[] | {
+    [key: string]: YamlValue;
+};
+export declare class YamlEmitError extends Error {
+}
+export declare function emitYaml(value: {
+    [key: string]: YamlValue;
+}): string;
+//# sourceMappingURL=yaml.d.ts.map

package/dist/yaml.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"yaml.d.ts","sourceRoot":"","sources":["../src/yaml.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,EAAE,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEtG,qBAAa,aAAc,SAAQ,KAAK;CAAG;AAE3C,wBAAgB,QAAQ,CAAC,KAAK,EAAE;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAAG,MAAM,CAIpE"}

package/dist/yaml.js

@@ -0,0 +1,90 @@
+/**
+ * The YAML the generated frontmatter is written in: block mappings with
+ * two-space indentation, sequences indented under their key, `[]` for an
+ * empty list, and strings left plain only when they are an identifier-like
+ * token no reader could take for anything else. It is written for two
+ * readers: core's strict reader (ADR 0001) and Markset's frontmatter subset,
+ * which does not accept a sequence at its key's own indentation. Key order is
+ * the object's own, so the output is fixed by the code that builds it.
+ */
+export class YamlEmitError extends Error {
+}
+export function emitYaml(value) {
+    const lines = [];
+    writeMapping(value, 0, lines);
+    return `${lines.join("\n")}\n`;
+}
+function writeMapping(mapping, indent, lines) {
+    const pad = " ".repeat(indent);
+    for (const [key, value] of Object.entries(mapping)) {
+        const label = `${pad}${scalar(key)}:`;
+        if (Array.isArray(value)) {
+            if (value.length === 0)
+                lines.push(`${label} []`);
+            else {
+                lines.push(label);
+                writeSequence(value, indent + 2, lines);
+            }
+        }
+        else if (isMapping(value)) {
+            if (Object.keys(value).length === 0)
+                throw new YamlEmitError(`cannot write the empty mapping at ${key}`);
+            lines.push(label);
+            writeMapping(value, indent + 2, lines);
+        }
+        else {
+            lines.push(`${label} ${scalar(value)}`);
+        }
+    }
+}
+function writeSequence(items, indent, lines) {
+    const pad = " ".repeat(indent);
+    for (const item of items) {
+        if (isMapping(item)) {
+            const inner = [];
+            writeMapping(item, indent + 2, inner);
+            if (inner.length === 0)
+                throw new YamlEmitError("cannot write an empty mapping in a sequence");
+            inner[0] = `${pad}- ${inner[0].slice(indent + 2)}`;
+            lines.push(...inner);
+        }
+        else if (Array.isArray(item)) {
+            throw new YamlEmitError("cannot write a sequence directly inside a sequence");
+        }
+        else {
+            lines.push(`${pad}- ${scalar(item)}`);
+        }
+    }
+}
+const PLAIN = /^[A-Za-z_][A-Za-z0-9_./-]*$/;
+const RESERVED = /^(?:true|false|yes|no|on|off|y|n|null)$/i;
+function scalar(value) {
+    if (value === null)
+        return "null";
+    if (typeof value === "boolean")
+        return value ? "true" : "false";
+    if (typeof value === "number") {
+        if (!Number.isInteger(value))
+            throw new YamlEmitError(`cannot write the number ${value}: only integers are written`);
+        return String(value);
+    }
+    if (typeof value !== "string")
+        throw new YamlEmitError("cannot write a collection as a scalar");
+    if (hasControlCharacter(value))
+        throw new YamlEmitError("cannot write a string containing a control character");
+    if (PLAIN.test(value) && !RESERVED.test(value))
+        return value;
+    return `'${value.replace(/'/g, "''")}'`;
+}
+function hasControlCharacter(text) {
+    for (let i = 0; i < text.length; i++) {
+        const code = text.charCodeAt(i);
+        if (code < 0x20 || code === 0x7f)
+            return true;
+    }
+    return false;
+}
+function isMapping(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=yaml.js.map

package/dist/yaml.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"yaml.js","sourceRoot":"","sources":["../src/yaml.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,MAAM,OAAO,aAAc,SAAQ,KAAK;CAAG;AAE3C,MAAM,UAAU,QAAQ,CAAC,KAAmC;IAC1D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC9B,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,OAAqC,EAAE,MAAc,EAAE,KAAe;IAC1F,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,GAAG,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;QACtC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC;iBAC7C,CAAC;gBACJ,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;aAAM,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,aAAa,CAAC,qCAAqC,GAAG,EAAE,CAAC,CAAC;YACzG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAkB,EAAE,MAAc,EAAE,KAAe;IACxE,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YACtC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,aAAa,CAAC,6CAA6C,CAAC,CAAC;YAC/F,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QACvB,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,aAAa,CAAC,oDAAoD,CAAC,CAAC;QAChF,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,KAAK,GAAG,6BAA6B,CAAC;AAC5C,MAAM,QAAQ,GAAG,0CAA0C,CAAC;AAE5D,SAAS,MAAM,CAAC,KAAgB;IAC9B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;YAC1B,MAAM,IAAI,aAAa,CAAC,2BAA2B,KAAK,6BAA6B,CAAC,CAAC;QACzF,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,aAAa,CAAC,uCAAuC,CAAC,CAAC;IAChG,IAAI,mBAAmB,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,aAAa,CAAC,sDAAsD,CAAC,CAAC;IAChH,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AAC1C,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,KAAgB;IACjC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}

package/package.json

@@ -0,0 +1,36 @@
+{
+  "name": "@intentset/publisher",
+  "version": "0.1.0",
+  "description": "Audience and release projection of reviewed knowledge into Markset documents with provenance.",
+  "license": "MIT",
+  "type": "module",
+  "engines": {
+    "node": ">=22.18"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/intentset/intentset.git",
+    "directory": "packages/publisher"
+  },
+  "homepage": "https://intentset.org/",
+  "publishConfig": {
+    "access": "public"
+  },
+  "files": [
+    "dist",
+    "src"
+  ],
+  "exports": {
+    ".": {
+      "intentset-source": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "dependencies": {
+    "@intentset/core": "^0.1.0",
+    "@intentset/markset-adapter": "^0.1.0",
+    "@markset-lang/parser": "0.3.4",
+    "@markset-lang/render-html": "0.3.4"
+  }
+}

package/src/body.ts

@@ -0,0 +1,32 @@
+/**
+ * Line arithmetic between a knowledge body and the file it came from, so a
+ * publication diagnostic about the body can point at the line an author
+ * edits. When the offset cannot be established the location is left out,
+ * never guessed (ADR 0004).
+ */
+import { type Artifact, type Location, collectHeadings } from "@intentset/core";
+
+/**
+ * The number to add to a 1-based body line to get its file line, found by
+ * matching the body's first heading with the carrier's first heading. Null
+ * when the document has no heading or the two disagree.
+ */
+export function bodyLineOffset(artifact: Artifact): number | null {
+  const fromFile = artifact.headings[0];
+  const fromBody = collectHeadings(artifact.body.split("\n"), 0)[0];
+  if (fromFile === undefined || fromBody === undefined || fromFile.text !== fromBody.text) return null;
+  return fromFile.line - fromBody.line;
+}
+
+/** A file location for a 1-based body line, or undefined when the offset is unknown. */
+export function fileLocation(offset: number | null, bodyLine: number | undefined): Location | undefined {
+  if (offset === null || bodyLine === undefined) return undefined;
+  return { line: bodyLine + offset };
+}
+
+/** The 1-based line of a character index in a text. */
+export function lineAt(text: string, index: number): number {
+  let line = 1;
+  for (let i = 0; i < index && i < text.length; i++) if (text.charCodeAt(i) === 10) line++;
+  return line;
+}