@intentius/chant 0.85.0 → 0.86.0

package/dist/workspace/records.d.ts

@@ -3,9 +3,11 @@
  *
  * A record kind is data. It says where its records live, which JSON Schema
  * they follow and which of their states are closed. This module reads every
- * record a kind locates, parses its front matter as the JSON subset of YAML,
+ * record a kind locates, parses its structured core (the front matter, as the
+ * JSON subset of YAML, or the whole file as one I-JSON object, ws-053),
  * validates it against the kind's schema and derives supersession from the
- * records' own `supersedes` links. It never writes a record.
+ * records' own `supersedes` links. It never writes a record; `records-write.ts`
+ * does, through the rules here (#2670).
  *
  * A record that fails any of that is still returned, with reason codes, and the
  * read succeeds. Only a failure to read the kind, its schema or the revision is
@@ -17,22 +19,31 @@
  */
 import { z } from "zod";
 import { type AssetPin } from "./record-assets.js";
+import { type SessionCitation } from "./record-sessions.js";
 import type { RecordSource } from "./record-source.js";
 import type { WorkspaceTree } from "./tree.js";
+import type { DecisionWork, WorkLink, WorkWarningCode } from "./work.js";
 /**
  * Why one record is not valid. The list is closed: a reader may switch on it,
  * and a new code is a contract change (#2536).
  */
-export declare const RECORD_REASON_CODES: readonly ["record-unparseable", "record-schema-invalid", "record-id-duplicate", "record-supersedes-unknown", "record-supersedes-conflict"];
+export declare const RECORD_REASON_CODES: readonly ["record-unparseable", "record-schema-invalid", "record-id-duplicate", "record-supersedes-unknown", "record-supersedes-conflict", "session-seal-mismatch", "session-verdict-unknown-record"];
 export type RecordReasonCode = (typeof RECORD_REASON_CODES)[number];
 /**
  * Why a record carries a warning. Closed, like the reason codes. A warning
  * never makes a record invalid, and `--current` still lists the record.
  */
-export declare const RECORD_WARNING_CODES: readonly ["asset-drift", "asset-missing", "asset-stale", "record-supersedes-pending", "record-no-evidence"];
+export declare const RECORD_WARNING_CODES: readonly ["asset-drift", "asset-missing", "asset-stale", "record-supersedes-pending", "record-no-evidence", "review-undigested"];
 export type RecordWarningCode = (typeof RECORD_WARNING_CODES)[number];
+/**
+ * Why a verdict does not count toward a record's quorum (#2671). Closed, like
+ * the reason codes. A verdict with none of these counts.
+ */
+export declare const REVIEW_REASON_CODES: readonly ["review-decider", "review-agent", "review-duplicate", "review-older-digest", "review-unattested"];
+export type ReviewReasonCode = (typeof REVIEW_REASON_CODES)[number];
 export interface RecordWarning {
-    code: RecordWarningCode;
+    /** A work kind's records also carry the codes of `WORK_WARNING_CODES` (#2683). */
+    code: RecordWarningCode | WorkWarningCode;
     message: string;
 }
 /**
@@ -45,6 +56,9 @@ export declare class RecordReadError extends Error {
     readonly code: ReadErrorCode;
     constructor(code: ReadErrorCode, message: string);
 }
+/** The formats a kind file may name. Closed. */
+export declare const RECORD_FORMATS: readonly ["markdown-front-matter", "json"];
+export type RecordFormat = (typeof RECORD_FORMATS)[number];
 /** The data a kind file exports as `recordKind`. */
 export declare const recordKindSchema: z.ZodObject<{
     name: z.ZodString;
@@ -52,19 +66,27 @@ export declare const recordKindSchema: z.ZodObject<{
         dir: z.ZodString;
         match: z.ZodString;
     }, z.core.$strict>;
-    format: z.ZodLiteral<"markdown-front-matter">;
+    format: z.ZodEnum<{
+        json: "json";
+        "markdown-front-matter": "markdown-front-matter";
+    }>;
     schema: z.ZodObject<{
         id: z.ZodString;
         path: z.ZodString;
+        refs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            path: z.ZodString;
+        }, z.core.$strict>>>;
     }, z.core.$strict>;
-    idField: z.ZodString;
-    stateField: z.ZodString;
-    states: z.ZodArray<z.ZodString>;
-    closedStates: z.ZodArray<z.ZodString>;
-    supersedes: z.ZodObject<{
+    idField: z.ZodOptional<z.ZodString>;
+    idFrom: z.ZodOptional<z.ZodLiteral<"sha256">>;
+    stateField: z.ZodOptional<z.ZodString>;
+    states: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    closedStates: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    supersedes: z.ZodOptional<z.ZodObject<{
         field: z.ZodString;
-        key: z.ZodString;
-    }, z.core.$strict>;
+        key: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
     approval: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
     pins: z.ZodOptional<z.ZodObject<{
         field: z.ZodString;
@@ -72,6 +94,25 @@ export declare const recordKindSchema: z.ZodObject<{
     constrains: z.ZodOptional<z.ZodObject<{
         field: z.ZodString;
     }, z.core.$strict>>;
+    reviews: z.ZodOptional<z.ZodObject<{
+        field: z.ZodString;
+        decider: z.ZodString;
+    }, z.core.$strict>>;
+    session: z.ZodOptional<z.ZodObject<{
+        verdicts: z.ZodString;
+        seal: z.ZodString;
+        subjects: z.ZodObject<{
+            kind: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    work: z.ZodOptional<z.ZodObject<{
+        needs: z.ZodString;
+        implements: z.ZodString;
+        decisions: z.ZodString;
+        open: z.ZodString;
+        done: z.ZodString;
+        closedOn: z.ZodString;
+    }, z.core.$strict>>;
 }, z.core.$strict>;
 export type RecordKind = z.infer<typeof recordKindSchema>;
 /** A kind as loaded: its data, where it came from, and its schema. */
@@ -82,6 +123,8 @@ export interface LoadedRecordKind {
     /** Absolute path of the records directory in the working tree. */
     dir: string;
     schema: Record<string, unknown>;
+    /** The schema files `schema.refs` names, in order (ws-053). Empty without it. */
+    refs: Record<string, unknown>[];
 }
 /**
  * Import the kind file at `path` through the path loader lexicons use (#2520).
@@ -104,6 +147,113 @@ export type FrontMatter = {
  * cannot hold, are refused, so the same text always reads as the same JSON.
  */
 export declare function parseFrontMatter(text: string): FrontMatter;
+/**
+ * A JSON record: the whole file is one object, read as I-JSON (RFC 7493)
+ * requires on the two points JSON.parse lets through (ws-053). A top-level
+ * value other than an object is refused, and so is a member name that repeats
+ * within one object, at any depth, which JSON.parse accepts by keeping the
+ * last value. Names compare after their escapes are decoded, so `"a"` and
+ * `"\u0061"` are the same name. A number too large for a double is refused as
+ * front matter's is.
+ */
+export declare function parseJsonRecord(text: string): FrontMatter;
+/** A record's structured core, parsed as the kind's format says. */
+export declare function parseRecord(format: RecordFormat, text: string): FrontMatter;
+/**
+ * The digest a review verdict names: the lowercase hex SHA-256 of the record
+ * file's text with its reviews block taken out of the front matter (#2672), or
+ * for a JSON record its reviews member taken out of the object (ws-053).
+ * Adding, changing or removing a verdict leaves it as it was; any other edit
+ * to the file changes it, so a verdict given before an amendment stops
+ * counting.
+ *
+ * The rule, which a hand-editor can follow with a text editor and
+ * `sha256sum`:
+ *
+ * 1. Line endings become LF (CRLF and a lone CR each become one LF).
+ * 2. When the text starts with a `---` line and a later line is exactly
+ *    `---`, the lines between them are the front matter. In it, the line
+ *    that starts, at column 0, with the key `field` (bare, or in single or
+ *    double quotes), optional spaces or tabs and a `:`, is removed, and so
+ *    is every line after it, up to the closing `---`, that is empty or
+ *    starts with a space, a tab, `#` or `-`. Removal stops at the first
+ *    other line. Everything else, the `---` lines and the body included, is
+ *    kept byte for byte.
+ * 3. The digest is the SHA-256 of the result's UTF-8 bytes.
+ *
+ * Text with no front matter, or no such key, is hashed after step 1 alone.
+ * A writer that adds a verdict must change only the reviews block: a
+ * reformatted front matter is a new digest, and every earlier verdict stops
+ * counting.
+ */
+export declare function recordTextDigest(text: string, field?: string | null, format?: RecordFormat): string;
+/** The quorum a workspace sets when its declaration names none: two verdicts besides the decider's (#2555). */
+export declare const DEFAULT_QUORUM = 2;
+/** A principal as the quorum compares it: NFKC, trimmed and lower-cased, so `alice` and `Alice ` are one reviewer (#2671). */
+export declare function normalisePrincipal(name: string): string;
+/** One verdict as the quorum reads it. */
+export interface QuorumVerdict {
+    /** The entry's position in the record's reviews list, from 0. */
+    index: number;
+    /** The reviewer, normalised. */
+    principal: string;
+    /** The reviewer as written. */
+    reviewer: string;
+    verdict: "agree" | "dissent" | "abstain";
+    /** The digest the verdict names, or null when it names none. */
+    digest: string | null;
+    /** Why it does not count. Absent on a counted verdict. */
+    reason?: {
+        code: ReviewReasonCode;
+        message: string;
+    };
+}
+/** A dissent that is neither addressed nor withdrawn. */
+export interface OpenConcern {
+    index: number;
+    principal: string;
+    reviewer: string;
+    note: string | null;
+    /** The proposed decision the dissent opened, when it names one. */
+    proposes?: string;
+}
+export interface Quorum {
+    /** How many counted agree verdicts, besides the decider's, the record needs. */
+    need: number;
+    /** Whether `need` comes from the workspace declaration or is the default. */
+    needFrom: "declaration" | "default";
+    /** Counted verdicts that agree. */
+    agreed: number;
+    /** Verdicts that count: one per principal, the latest, after the exclusions. */
+    counted: QuorumVerdict[];
+    /** Verdicts that don't, each with its reason. */
+    notCounted: QuorumVerdict[];
+    openConcerns: OpenConcern[];
+    /** `agreed` reaches `need`. */
+    met: boolean;
+    /** `met`, with at least one open concern. A met quorum with an open concern is never consensus (RFC 7282). */
+    metWithObjections: boolean;
+}
+export interface QuorumOptions {
+    need: number;
+    needFrom: "declaration" | "default";
+    /** Normalised principals that hold the agent role. */
+    agents: ReadonlySet<string>;
+    /** Whether an attestation policy is active, so a verdict needs a seal to count. */
+    attestation: boolean;
+}
+/**
+ * The quorum of one record, read from its reviews list, or null when the
+ * kind has no reviews list or the front matter could not be read (#2671).
+ * Malformed entries are skipped; the schema reports them.
+ *
+ * A verdict is not counted when its reviewer is the decider, holds the agent
+ * role, names a digest other than the record's own now, or carries no seal
+ * under an active attestation policy, in that order. Of the rest, the latest
+ * verdict per principal counts and each earlier one is a duplicate. No
+ * verdict carries a seal yet (#2546), so under an active policy none counts.
+ */
+export declare function computeQuorum(kind: RecordKind, entry: Pick<RecordEntry, "data" | "digest">, options: QuorumOptions): Quorum | null;
 export interface RecordReason {
     code: RecordReasonCode;
     message: string;
@@ -119,12 +269,26 @@ export interface RecordEntry {
     reasons: RecordReason[];
     /** The id of the closed record whose `supersedes` link replaces this one, or null. */
     supersededBy: string | null;
-    /** The front matter as JSON, or null when it could not be parsed. */
+    /** The record's structured core as JSON (the front matter, or the whole JSON file), or null when it could not be parsed. */
     data: Record<string, unknown> | null;
-    /** Each workspace file the record pins, checked against the tree read (#2549). Empty when nothing was checked. */
+    /**
+     * Each workspace file the record pins, checked against the tree read
+     * (#2549). Empty when nothing was checked. A content-addressed record whose
+     * name claims a hash other than its bytes' lists itself, drifted (ws-053).
+     */
     assets: AssetPin[];
     /** Findings that leave the record valid, such as a pinned file that changed (#2549). */
     warnings: RecordWarning[];
+    /** {@link recordTextDigest} of the file's text, without the kind's reviews list when it has one (#2672). */
+    digest: string;
+    /** For a session kind only: the subject records' review entries that name this session (#2673). */
+    citedBy?: SessionCitation[];
+    /** For a work kind (#2683): the record's state is its kind's open state and every need is done. */
+    ready?: boolean;
+    /** For a work kind: each need that is not done, with its state, or null when no record has the id. */
+    blockedBy?: WorkLink[];
+    /** For a work kind: each decision the record implements, with its state, or null when no decision has the id. */
+    implements?: WorkLink[];
 }
 export interface ReadRecordsOptions {
     /** Where record paths are reported from, and what `source` reads relative to. */
@@ -143,6 +307,21 @@ export interface ReadRecordsOptions {
      * compared.
      */
     history?: RecordHistory;
+    /**
+     * For a session kind: the records its `session.subjects.kind` locates, read
+     * from the same tree (#2673). Without them no verdict is checked and no
+     * session is cited.
+     */
+    subjects?: {
+        records: RecordEntry[];
+        reviews: string;
+    };
+    /**
+     * The workspace root, from `root` with / separators ("." for `root`
+     * itself): where a content-addressed record's own path is reported from
+     * when it lists itself in `assets` (ws-053). Defaults to ".".
+     */
+    workspaceRoot?: string;
 }
 /** Commit times, in seconds since the epoch, read from git. */
 export interface RecordHistory {
@@ -159,7 +338,15 @@ export interface ReadRecordsResult {
         invalid: number;
         superseded: number;
     };
+    /** For a work kind (#2683): every decision its decision kind reads, with the work records implementing it. */
+    decisions?: DecisionWork[];
 }
+/**
+ * The ids a record's supersedes field names (ws-053). With the kind's `key`,
+ * the field is a list of objects and each one's `key` holds an id; without
+ * it, the field holds one id or a list of ids. Anything else names none.
+ */
+export declare function supersedesTargets(kind: Pick<RecordKind, "supersedes">, data: Record<string, unknown> | null): string[];
 /** Read every record `loaded` locates, through `options.source`. */
 export declare function readRecords(loaded: LoadedRecordKind, options: ReadRecordsOptions): Promise<ReadRecordsResult>;
 //# sourceMappingURL=records.d.ts.map

package/dist/workspace/records.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"records.d.ts","sourceRoot":"","sources":["../../src/workspace/records.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAKH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAyB,KAAK,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AAI5C;;;GAGG;AACH,eAAO,MAAM,mBAAmB,4IAWU,CAAC;AAC3C,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE;;;GAGG;AACH,eAAO,MAAM,oBAAoB,6GAkBS,CAAC;AAC3C,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,eAAO,MAAM,gBAAgB,2KAiBa,CAAC;AAC3C,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9D,qBAAa,eAAgB,SAAQ,KAAK;IAEtC,QAAQ,CAAC,IAAI,EAAE,aAAa;gBAAnB,IAAI,EAAE,aAAa,EAC5B,OAAO,EAAE,MAAM;CAKlB;AAMD,oDAAoD;AACpD,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;kBA2DzB,CAAC;AAEL,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,sEAAsE;AACtE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,UAAU,CAAC;IACjB,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,kEAAkE;IAClE,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC;AAED;;;;GAIG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAUrF;AAED,kFAAkF;AAClF,wBAAsB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,GAAE,MAAsB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAiCzG;AAID,MAAM,MAAM,WAAW,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAExG;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAgB1D;AA0BD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,gBAAgB,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,0DAA0D;IAC1D,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,iGAAiG;IACjG,IAAI,EAAE,MAAM,CAAC;IACb,wEAAwE;IACxE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,sFAAsF;IACtF,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IACrC,kHAAkH;IAClH,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,wFAAwF;IACxF,QAAQ,EAAE,aAAa,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,kBAAkB;IACjC,iFAAiF;IACjF,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,YAAY,CAAC;IACrB,oDAAoD;IACpD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;OAGG;IACH,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB;;;;OAIG;IACH,OAAO,CAAC,EAAE,aAAa,CAAC;CACzB;AAED,+DAA+D;AAC/D,MAAM,WAAW,aAAa;IAC5B,2FAA2F;IAC3F,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IACzC,+GAA+G;IAC/G,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,OAAO,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;CAChF;AAsDD,oEAAoE;AACpE,wBAAsB,WAAW,CAAC,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CA4HnH"}
+{"version":3,"file":"records.d.ts","sourceRoot":"","sources":["../../src/workspace/records.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAOH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAyB,KAAK,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACvE,OAAO,EAAgB,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC;AAItE;;;GAGG;AACH,eAAO,MAAM,mBAAmB,uMAeU,CAAC;AAC3C,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE;;;GAGG;AACH,eAAO,MAAM,oBAAoB,kIAwBS,CAAC;AAC3C,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtE;;;GAGG;AACH,eAAO,MAAM,mBAAmB,6GAWU,CAAC;AAC3C,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE,MAAM,WAAW,aAAa;IAC5B,kFAAkF;IAClF,IAAI,EAAE,iBAAiB,GAAG,eAAe,CAAC;IAC1C,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,eAAO,MAAM,gBAAgB,2KAiBa,CAAC;AAC3C,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9D,qBAAa,eAAgB,SAAQ,KAAK;IAEtC,QAAQ,CAAC,IAAI,EAAE,aAAa;gBAAnB,IAAI,EAAE,aAAa,EAC5B,OAAO,EAAE,MAAM;CAKlB;AAMD,gDAAgD;AAChD,eAAO,MAAM,cAAc,4CAA6C,CAAC;AACzE,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAE3D,oDAAoD;AACpD,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAwJzB,CAAC;AAEL,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,sEAAsE;AACtE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,UAAU,CAAC;IACjB,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,kEAAkE;IAClE,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,iFAAiF;IACjF,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;CACjC;AAED;;;;GAIG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAUrF;AAED,kFAAkF;AAClF,wBAAsB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,GAAE,MAAsB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAsBzG;AAqBD,MAAM,MAAM,WAAW,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAExG;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAgB1D;AAID;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAezD;AAED,oEAAoE;AACpE,wBAAgB,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAE3E;AA2GD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,GAAE,MAAM,GAAG,IAAgB,EAAE,MAAM,GAAE,YAAsC,GAAG,MAAM,CAIvI;AAoED,+GAA+G;AAC/G,eAAO,MAAM,cAAc,IAAI,CAAC;AAEhC,8HAA8H;AAC9H,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED,0CAA0C;AAC1C,MAAM,WAAW,aAAa;IAC5B,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC;IACd,gCAAgC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,+BAA+B;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;IACzC,gEAAgE;IAChE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,0DAA0D;IAC1D,MAAM,CAAC,EAAE;QAAE,IAAI,EAAE,gBAAgB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CACtD;AAED,yDAAyD;AACzD,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,mEAAmE;IACnE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,MAAM;IACrB,gFAAgF;IAChF,IAAI,EAAE,MAAM,CAAC;IACb,6EAA6E;IAC7E,QAAQ,EAAE,aAAa,GAAG,SAAS,CAAC;IACpC,mCAAmC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,gFAAgF;IAChF,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,iDAAiD;IACjD,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,+BAA+B;IAC/B,GAAG,EAAE,OAAO,CAAC;IACb,8GAA8G;IAC9G,iBAAiB,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,aAAa,GAAG,SAAS,CAAC;IACpC,sDAAsD;IACtD,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5B,mFAAmF;IACnF,WAAW,EAAE,OAAO,CAAC;CACtB;AAID;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,GAAG,QAAQ,CAAC,EAAE,OAAO,EAAE,aAAa,GAAG,MAAM,GAAG,IAAI,CA2DlI;AAID,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,gBAAgB,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,0DAA0D;IAC1D,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,iGAAiG;IACjG,IAAI,EAAE,MAAM,CAAC;IACb,wEAAwE;IACxE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,sFAAsF;IACtF,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,4HAA4H;IAC5H,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IACrC;;;;OAIG;IACH,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,wFAAwF;IACxF,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,4GAA4G;IAC5G,MAAM,EAAE,MAAM,CAAC;IACf,mGAAmG;IACnG,OAAO,CAAC,EAAE,eAAe,EAAE,CAAC;IAC5B,mGAAmG;IACnG,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,sGAAsG;IACtG,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;IACvB,iHAAiH;IACjH,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,kBAAkB;IACjC,iFAAiF;IACjF,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,YAAY,CAAC;IACrB,oDAAoD;IACpD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;OAGG;IACH,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB;;;;OAIG;IACH,OAAO,CAAC,EAAE,aAAa,CAAC;IACxB;;;;OAIG;IACH,QAAQ,CAAC,EAAE;QAAE,OAAO,EAAE,WAAW,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACvD;;;;OAIG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,+DAA+D;AAC/D,MAAM,WAAW,aAAa;IAC5B,2FAA2F;IAC3F,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IACzC,+GAA+G;IAC/G,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,OAAO,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/E,8GAA8G;IAC9G,SAAS,CAAC,EAAE,YAAY,EAAE,CAAC;CAC5B;AA0DD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GAAG,MAAM,EAAE,CAQtH;AAWD,oEAAoE;AACpE,wBAAsB,WAAW,CAAC,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAyKnH"}

package/dist/workspace/runtimes.d.ts

@@ -0,0 +1,60 @@
+/**
+ * The runtimes a member's components can deploy on, for `chant workspace
+ * graph --composites` (#2674): the built-in `local` runtime, and every lexicon
+ * the member's `chant.config.ts` configures whose `opRuntime` hosts
+ * `chant run --components`. That is the list `chant run --components <name>
+ * --on <runtime>` accepts in the member's directory (`../cli/handlers/run.ts`),
+ * so a reader such as hud offers these and never guesses a runtime.
+ *
+ * `local` is the default. A configured default (`run.on`) is read once the
+ * config type has one; until then the command without `--on` runs locally.
+ *
+ * The config is read the way `chant run` reads it, from the member's
+ * directory, in the working tree or in the tree `--at` exported. Reading it
+ * runs the member's `chant.config.ts` and imports the lexicons it lists.
+ */
+/** The runtime core provides, which `chant run` uses without `--on`. */
+export declare const LOCAL_RUNTIME = "local";
+/** Why a member's runtimes list only part of what its config names. Closed: part of the read contract. */
+export declare const RUNTIME_REASON_CODES: readonly ["runtimes-config-unreadable", "runtimes-lexicon-unreadable"];
+export type RuntimeReasonCode = (typeof RUNTIME_REASON_CODES)[number];
+export interface RuntimeReason {
+    code: RuntimeReasonCode;
+    message: string;
+}
+/** One runtime a component can deploy on. */
+export interface ComponentRuntime {
+    /** What `--on` takes: the lexicon's name, or `local`. */
+    name: string;
+    /** The lexicon that hosts it, or null for `local`. */
+    lexicon: string | null;
+    /** True for the runtime `chant run --components` uses without `--on`. */
+    default: boolean;
+    /** The command that deploys the component on it, run in the member's directory. */
+    command: string;
+}
+/** What one member's config says about runtimes. */
+export interface MemberRuntimes {
+    /** Configured lexicons whose `opRuntime` hosts component runs, in config order. */
+    lexicons: string[];
+    /** The default runtime's name. */
+    default: string;
+    reasons: RuntimeReason[];
+}
+/** Loads a lexicon plugin by name; `loadPlugin` from the CLI unless a test swaps it. */
+export type PluginLoader = (name: string) => Promise<{
+    opRuntime?: {
+        runComponents?: unknown;
+    };
+}>;
+/** Read the runtimes a member's config offers. `dir` is the member's directory on disk. */
+export declare function readMemberRuntimes(dir: string, load?: PluginLoader): Promise<MemberRuntimes>;
+/** The runtimes one component can deploy on, `local` first, each with its command line. */
+export declare function componentRuntimes(component: string, member: MemberRuntimes | undefined): ComponentRuntime[];
+/** Read the runtimes of each member of kind chant, from the tree at `root`. */
+export declare function readRuntimesIn(root: string, members: readonly {
+    name: string;
+    dir: string;
+    kind: string;
+}[], load?: PluginLoader): Promise<Map<string, MemberRuntimes>>;
+//# sourceMappingURL=runtimes.d.ts.map

package/dist/workspace/runtimes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtimes.d.ts","sourceRoot":"","sources":["../../src/workspace/runtimes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH,wEAAwE;AACxE,eAAO,MAAM,aAAa,UAAU,CAAC;AAErC,0GAA0G;AAC1G,eAAO,MAAM,oBAAoB,wEAKS,CAAC;AAC3C,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,6CAA6C;AAC7C,MAAM,WAAW,gBAAgB;IAC/B,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,sDAAsD;IACtD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,yEAAyE;IACzE,OAAO,EAAE,OAAO,CAAC;IACjB,mFAAmF;IACnF,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,oDAAoD;AACpD,MAAM,WAAW,cAAc;IAC7B,mFAAmF;IACnF,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,aAAa,EAAE,CAAC;CAC1B;AAED,wFAAwF;AACxF,MAAM,MAAM,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IAAE,SAAS,CAAC,EAAE;QAAE,aAAa,CAAC,EAAE,OAAO,CAAA;KAAE,CAAA;CAAE,CAAC,CAAC;AAIlG,2FAA2F;AAC3F,wBAAsB,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,cAAc,CAAC,CAoBlG;AAED,2FAA2F;AAC3F,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,SAAS,GAAG,gBAAgB,EAAE,CAS3G;AAED,+EAA+E;AAC/E,wBAAsB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,EAAE,IAAI,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAO7K"}

package/dist/workspace/status-gates.d.ts

@@ -0,0 +1,90 @@
+/**
+ * Gate state for `chant workspace status --json` (#2674): each member's gates
+ * as its gate ledger on `chant/lifecycle` records them, so a reader such as
+ * hud never runs `git show` on the branch itself.
+ *
+ * A member's gate ledger is the `_gates/` directory under its ledger prefix:
+ * `_members/<member>/_gates/<component>.jsonl` for a member that writes the
+ * member layout (#2538), and the flat `_gates/<component>.jsonl` otherwise,
+ * chosen the same way as its release ledger. Each file is keyed by the
+ * component, or by the op for a gate an Op run reached, and holds both the
+ * pending facts a run records and the approvals `chant approve` records
+ * (`../lifecycle/gate-ledger.ts`).
+ *
+ * A gate's state is decided the way a run decides it (`evaluateGate` in
+ * `../op/gate.ts`), without writing anything: the newest pending fact for the
+ * gate in its environment is the anchor, only approvals recorded since it and
+ * for its plan count, and a gate with an `approval` block counts them with
+ * `tallyGateApprovals`, as `describeApprovalProgress` does after an approve.
+ */
+/** Why a member's gates can't be listed. Closed: a new code is a contract change. */
+export declare const GATE_REASON_CODES: readonly ["gates-no-ledger", "gates-no-gate-ledger", "gates-ledger-unreadable"];
+export type GateReasonCode = (typeof GATE_REASON_CODES)[number];
+export type GateState = "pending" | "approved" | "expired" | "superseded";
+export interface StatusGateApproval {
+    /** Who recorded it: `chant approve --approver`, or the CI or shell identity. */
+    principal: string;
+    /** The channel it was recorded on (`cli`, `mcp`, `acp`), or null for a record older than chant#2384. */
+    channel: string | null;
+    at: string;
+}
+export interface StatusGate {
+    /** The ledger file's key: the component, or the op for a gate an Op run reached. */
+    component: string;
+    /** The gate's name. */
+    name: string;
+    /** The environment the gate was reached in, or null for a gate that records none (an Op gate). */
+    env: string | null;
+    /** The plan the run reached the gate with, or null for a gate that binds no plan. */
+    planDigest: string | null;
+    state: GateState;
+    /** When the run recorded the pending fact the state is read against. */
+    recordedAt: string;
+    expiresAt: string;
+    /** The approvals that count toward the gate for this plan, oldest first. */
+    approvals: StatusGateApproval[];
+    /** How many human approvals the gate needs: its quorum's count, 1 without one. */
+    needed: number;
+    /** The command that approves it, run in the member's directory. */
+    approve: string;
+}
+export interface StatusGateLedger {
+    /** `members` for `_members/<member>/_gates`, `flat` for `_gates`. */
+    layout: "members" | "flat";
+    /** The gate ledger directory on the branch. */
+    path: string;
+    /** True when more than one member in this output reads the same flat directory. */
+    shared: boolean;
+    /** Lines that are neither a pending fact nor an approval, skipped. */
+    malformed: number;
+    reason: {
+        code: GateReasonCode;
+        message: string;
+    } | null;
+}
+/**
+ * Reads the gate ledger files in `dir` on the branch at `commit`: file name
+ * without `.jsonl` to contents. Null when the directory doesn't exist; throws
+ * when it can't be read.
+ */
+export type GateLedgerReader = (dir: string, commit: string, cwd: string) => Promise<Map<string, string> | null>;
+export declare const defaultGateLedgerReader: GateLedgerReader;
+/** The exact `chant approve` line for a gate. */
+export declare function approveCommand(component: string, gate: string, env: string | null): string;
+/**
+ * Every gate in one ledger file, one per gate and environment, for the
+ * environments in `envs`. A gate whose facts record no environment (an Op
+ * gate) is listed whatever `envs` is. A pending fact with no environment on a
+ * gate whose other facts have one is left out, as a run leaves it out: such a
+ * line binds no environment, and `chant approve --expire` writes one.
+ */
+export declare function gatesInLedger(component: string, content: string, envs: readonly string[], now: string): {
+    gates: StatusGate[];
+    malformed: number;
+};
+/** Read one member's gate ledger directory at `commit` and list its gates. */
+export declare function readMemberGates(dir: string, layout: "members" | "flat", commit: string | null, envs: readonly string[], cwd: string, now: string, read?: GateLedgerReader): Promise<{
+    gates: StatusGate[];
+    ledger: StatusGateLedger;
+}>;
+//# sourceMappingURL=status-gates.d.ts.map

package/dist/workspace/status-gates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"status-gates.d.ts","sourceRoot":"","sources":["../../src/workspace/status-gates.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAQH,qFAAqF;AACrF,eAAO,MAAM,iBAAiB,iFAOY,CAAC;AAC3C,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEhE,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,YAAY,CAAC;AAE1E,MAAM,WAAW,kBAAkB;IACjC,gFAAgF;IAChF,SAAS,EAAE,MAAM,CAAC;IAClB,wGAAwG;IACxG,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,UAAU;IACzB,oFAAoF;IACpF,SAAS,EAAE,MAAM,CAAC;IAClB,uBAAuB;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,kGAAkG;IAClG,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,qFAAqF;IACrF,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,KAAK,EAAE,SAAS,CAAC;IACjB,wEAAwE;IACxE,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,4EAA4E;IAC5E,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAChC,kFAAkF;IAClF,MAAM,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,gBAAgB;IAC/B,qEAAqE;IACrE,MAAM,EAAE,SAAS,GAAG,MAAM,CAAC;IAC3B,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,mFAAmF;IACnF,MAAM,EAAE,OAAO,CAAC;IAChB,sEAAsE;IACtE,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CAC1D;AAED;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;AAMjH,eAAO,MAAM,uBAAuB,EAAE,gBAYrC,CAAC;AAEF,iDAAiD;AACjD,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAE1F;AAgDD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG;IAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAkBlJ;AAED,8EAA8E;AAC9E,wBAAsB,eAAe,CACnC,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,SAAS,GAAG,MAAM,EAC1B,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,MAAM,EACX,IAAI,GAAE,gBAA0C,GAC/C,OAAO,CAAC;IAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAA;CAAE,CAAC,CAsB5D"}

package/dist/workspace/status.d.ts

@@ -20,10 +20,16 @@
  * declaration that can't be read, or an environment name that can't be one,
  * exits 1. The `--json` output is part of the read contract and is described
  * by `status.schema.json` beside this file.
+ *
+ * The JSON also lists each member's gates, read from its gate ledger on the
+ * same branch (#2674, `status-gates.ts`): the state of each, the approvals
+ * that count, and the `chant approve` line that answers it. The text view
+ * doesn't show them.
  */
 import type { CommandContext } from "../cli/registry.js";
 import { type ReleaseRecord } from "../lifecycle/release-ledger.js";
 import { type ErrorLocation } from "./declaration.js";
+import { type GateLedgerReader, type StatusGate, type StatusGateLedger } from "./status-gates.js";
 /** The version of the `status` output this chant writes. */
 export declare const STATUS_CONTRACT_VERSION = 1;
 /** `$id` of the JSON Schema for the `--json` output, shipped beside this file. */
@@ -38,6 +44,8 @@ export declare const MEMBERS_DIR = "_members";
  */
 export declare const STATUS_REASON_CODES: readonly ["ledger-unreadable", "ledger-malformed"];
 export type StatusReasonCode = (typeof STATUS_REASON_CODES)[number];
+/** Why a member's gates can't be listed (#2674). Closed, like {@link STATUS_REASON_CODES}. */
+export declare const STATUS_GATE_REASON_CODES: readonly ["gates-no-ledger", "gates-no-gate-ledger", "gates-ledger-unreadable"];
 /**
  * Why the status couldn't be read at all. The declaration's own codes, except
  * the two that only `--at` returns, and one for the environment name.
@@ -93,7 +101,12 @@ export interface StatusMember {
     environments: StatusEnvironment[];
     /** Null without `--compare-to`. */
     compare: StatusCompare | null;
+    /** True when no environment's release ledger has a reason. Gate reasons don't change it. */
     readable: boolean;
+    /** Where the member's gates were read from, and why none are listed when none can be (#2674). */
+    gateLedger: StatusGateLedger;
+    /** Each gate in the member's gate ledger, one per environment asked for, sorted by component then gate. */
+    gates: StatusGate[];
 }
 export type StatusDocument = {
     $schema: string;
@@ -138,6 +151,10 @@ export interface StatusQuery {
     compareTo?: string;
     /** Reads one ledger; the lifecycle reader unless a test swaps it. */
     readLedger?: LedgerReader;
+    /** Reads one member's gate ledger directory; git unless a test swaps it. */
+    readGates?: GateLedgerReader;
+    /** The instant a gate's expiry is measured against; now by default. */
+    now?: string;
 }
 export declare function compareEnvironments(a: StatusEnvironment, b: StatusEnvironment): StatusCompare;
 /** Find the workspace, read every member's ledger and build the document `--json` prints. */

package/dist/workspace/status.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"status.d.ts","sourceRoot":"","sources":["../../src/workspace/status.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAMH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EAAyC,KAAK,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAExG,OAAO,EAAsD,KAAK,aAAa,EAAe,MAAM,eAAe,CAAC;AAKpH,4DAA4D;AAC5D,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC,kFAAkF;AAClF,eAAO,MAAM,uBAAuB,8EAA8E,CAAC;AAEnH,wCAAwC;AACxC,eAAO,MAAM,aAAa,oBAAoB,CAAC;AAE/C,gFAAgF;AAChF,eAAO,MAAM,WAAW,aAAa,CAAC;AAItC;;;GAGG;AACH,eAAO,MAAM,mBAAmB,oDAKU,CAAC;AAC3C,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE;;;GAGG;AACH,eAAO,MAAM,kBAAkB,0NAYW,CAAC;AAC3C,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAKlE,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,0GAA0G;IAC1G,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,mDAAmD;IACnD,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,iGAAiG;IACjG,MAAM,EAAE,SAAS,GAAG,MAAM,CAAC;IAC3B,uCAAuC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,YAAY,CAAC;IACrB,+EAA+E;IAC/E,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,MAAM,EAAE;QAAE,IAAI,EAAE,gBAAgB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CAC5D;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,cAAc,CAAC;AAE5E,MAAM,WAAW,aAAa;IAC5B,6CAA6C;IAC7C,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,YAAY,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,EAAE,CAAC;CAC/G;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC,mCAAmC;IACnC,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;IAC9B,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,MAAM,cAAc,GACtB;IACE,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,SAAS,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IAClD,SAAS,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;CAC9F,GACD;IACE,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE;QAAE,IAAI,EAAE,eAAe,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,aAAa,GAAG,IAAI,CAAA;KAAE,CAAC;CACnF,CAAC;AAEN,KAAK,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;IAAE,OAAO,EAAE,aAAa,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE5G,MAAM,WAAW,WAAW;IAC1B,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qEAAqE;IACrE,UAAU,CAAC,EAAE,YAAY,CAAC;CAC3B;AAkFD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,iBAAiB,GAAG,aAAa,CAW7F;AAED,6FAA6F;AAC7F,wBAAsB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,CA4DjF;AAED,wBAAsB,kBAAkB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAuC7E;AAeD,wBAAgB,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,cAAc,EAAE;IAAE,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC,GAAG,MAAM,CAqCvF"}
+{"version":3,"file":"status.d.ts","sourceRoot":"","sources":["../../src/workspace/status.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAMH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAGtD,OAAO,EAAyC,KAAK,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAExG,OAAO,EAAsD,KAAK,aAAa,EAAe,MAAM,eAAe,CAAC;AAEpH,OAAO,EAAsC,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAInI,4DAA4D;AAC5D,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC,kFAAkF;AAClF,eAAO,MAAM,uBAAuB,8EAA8E,CAAC;AAEnH,wCAAwC;AACxC,eAAO,MAAM,aAAa,oBAAoB,CAAC;AAE/C,gFAAgF;AAChF,eAAO,MAAM,WAAW,aAAa,CAAC;AAItC;;;GAGG;AACH,eAAO,MAAM,mBAAmB,oDAKU,CAAC;AAC3C,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE,8FAA8F;AAC9F,eAAO,MAAM,wBAAwB,iFAAoB,CAAC;AAE1D;;;GAGG;AACH,eAAO,MAAM,kBAAkB,0NAYW,CAAC;AAC3C,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAKlE,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,0GAA0G;IAC1G,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,mDAAmD;IACnD,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,iGAAiG;IACjG,MAAM,EAAE,SAAS,GAAG,MAAM,CAAC;IAC3B,uCAAuC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,YAAY,CAAC;IACrB,+EAA+E;IAC/E,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,MAAM,EAAE;QAAE,IAAI,EAAE,gBAAgB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CAC5D;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,cAAc,CAAC;AAE5E,MAAM,WAAW,aAAa;IAC5B,6CAA6C;IAC7C,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,YAAY,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,EAAE,CAAC;CAC/G;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC,mCAAmC;IACnC,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;IAC9B,4FAA4F;IAC5F,QAAQ,EAAE,OAAO,CAAC;IAClB,iGAAiG;IACjG,UAAU,EAAE,gBAAgB,CAAC;IAC7B,2GAA2G;IAC3G,KAAK,EAAE,UAAU,EAAE,CAAC;CACrB;AAED,MAAM,MAAM,cAAc,GACtB;IACE,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,SAAS,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IAClD,SAAS,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;CAC9F,GACD;IACE,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE;QAAE,IAAI,EAAE,eAAe,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,aAAa,GAAG,IAAI,CAAA;KAAE,CAAC;CACnF,CAAC;AAEN,KAAK,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;IAAE,OAAO,EAAE,aAAa,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE5G,MAAM,WAAW,WAAW;IAC1B,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qEAAqE;IACrE,UAAU,CAAC,EAAE,YAAY,CAAC;IAC1B,4EAA4E;IAC5E,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B,uEAAuE;IACvE,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAuFD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,iBAAiB,GAAG,aAAa,CAW7F;AAED,6FAA6F;AAC7F,wBAAsB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,CAqEjF;AAED,wBAAsB,kBAAkB,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAuC7E;AAeD,wBAAgB,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,cAAc,EAAE;IAAE,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC,GAAG,MAAM,CAqCvF"}

package/dist/workspace/work.d.ts

@@ -0,0 +1,56 @@
+/**
+ * Work items on read (#2683): a record kind with a `work` block.
+ *
+ * A work item is a record in the workspace, a git-tracked file with its
+ * dependencies written inside it, that people and agents share as one queue
+ * with no server. Most work items come from a gap the intent graph already
+ * reports (`source.finding`), given an id, an owner and a lifecycle.
+ *
+ * `records.ts` calls {@link applyWork} after it has read a work kind's
+ * records, before it sets `valid` and applies `--current`. This module reads
+ * the decision kind the work kind names, at the same revision, and gives each
+ * work record:
+ *
+ * - `ready`: its state is the kind's open state, every need is done, and the
+ *   record is valid and not superseded;
+ * - `blockedBy`: each need that is not done, with its state;
+ * - `implements`: each decision it names, with that decision's state;
+ *
+ * and each decision `implementedBy`, the work records naming it. The
+ * warnings are closed codes. `work-done-gap-open` is not raised here: only
+ * `graph --intent` walks a region, so only it can tell whether the finding a
+ * done item came from still fires. It never writes a record.
+ */
+import { type LoadedRecordKind, type ReadRecordsOptions, type RecordEntry } from "./records.js";
+/** Why a work record carries a warning. Closed, like the record warning codes. */
+export declare const WORK_WARNING_CODES: readonly ["work-needs-unknown", "work-implements-unknown", "work-needs-cycle", "work-implements-undecided", "work-done-unpinned", "work-closed-without-date", "work-done-gap-open"];
+export type WorkWarningCode = (typeof WORK_WARNING_CODES)[number];
+/** A link from a work record to another record, with that record's state now. */
+export interface WorkLink {
+    id: string;
+    /** The linked record's state, or null when no record has the id. */
+    state: string | null;
+}
+/** A decision as a work read lists it: its state and the work records implementing it. */
+export interface DecisionWork {
+    id: string;
+    path: string;
+    state: string | null;
+    supersededBy: string | null;
+    implementedBy: WorkLink[];
+}
+/** The strings of a front-matter list, or none. */
+export declare function idList(data: Record<string, unknown> | null, field: string): string[];
+/**
+ * Whether `state` counts as decided in the decision kind: ranked above 0 by
+ * its approval ranks, or, for a kind without them, closed.
+ */
+export declare function isDecided(kind: LoadedRecordKind["kind"], state: string | null): boolean;
+/**
+ * Give each work record its links, ready and blockedBy, and its warnings, in
+ * place. Throws a `RecordReadError` when the decision kind can't be read.
+ */
+export declare function applyWork(loaded: LoadedRecordKind, entries: RecordEntry[], options: ReadRecordsOptions): Promise<{
+    decisions: DecisionWork[];
+}>;
+//# sourceMappingURL=work.d.ts.map

package/dist/workspace/work.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"work.d.ts","sourceRoot":"","sources":["../../src/workspace/work.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAIH,OAAO,EAA+B,KAAK,gBAAgB,EAAE,KAAK,kBAAkB,EAAE,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AAE1H,kFAAkF;AAClF,eAAO,MAAM,kBAAkB,qLAeW,CAAC;AAC3C,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAElE,iFAAiF;AACjF,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,oEAAoE;IACpE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CACtB;AAED,0FAA0F;AAC1F,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,aAAa,EAAE,QAAQ,EAAE,CAAC;CAC3B;AAED,mDAAmD;AACnD,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAGpF;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAGvF;AAED;;;GAGG;AACH,wBAAsB,SAAS,CAAC,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC;IAAE,SAAS,EAAE,YAAY,EAAE,CAAA;CAAE,CAAC,CAgFrJ"}