@githolon/runtime 0.114.0 → 0.115.0

package/src/application_reception.ts

@@ -115,10 +115,25 @@ export interface ReceptionSession<ApplicationDesk> {
   close(): Promise<void>;
 }
 
+/**
+ * One application domain's requirement (CAP-666), as the compiler generated it beside the unit set: the
+ * hash of the domain's law unit (`domain:<key>` of the unit set) and the sha256 of the domain's own slice
+ * of the generated compatibility requirement. A workspace serving exactly that unit for the key is
+ * current for this build whatever else its unit set carries. Identities only; never a verdict.
+ */
+export interface ApplicationDomainRequirement {
+  readonly domainKey: string;
+  readonly unitSha256: string;
+  readonly requirementSha256: string;
+}
+
 /** Immutable compatibility requirements emitted from the compiler graph. */
 export interface ApplicationCompatibility {
   readonly lawIdentity: Sha256Digest;
   readonly matrixUsda: Uint8Array;
+  /** Per application domain key (CAP-666). Absent on a client generated before the table existed:
+   *  the unit set alone then decides. */
+  readonly domainRequirements?: Readonly<Record<string, ApplicationDomainRequirement>>;
   readonly readyCommands: readonly {
     readonly domain: string;
     readonly packageHash: Sha256Digest;

package/src/protocol/nomos/kernel/v1/kernel_pb.d.ts

@@ -723,6 +723,16 @@ export declare type OfferAdmitted = Message<"nomos.kernel.v1.OfferAdmitted"> & {
    * @generated from field: optional nomos.kernel.v1.OfferStateChange state_change = 13;
    */
   stateChange?: OfferStateChange | undefined;
+
+  /**
+   * CAP-811: this offer installed, staged or promoted law whose claimed version is equal to or lower
+   * than the claim this workspace already serves for the same law identity (package name). Advice
+   * only: the offer was admitted, and the warning never enters custody. Empty when either side claims
+   * no version (era rule), when the identity was not served, or when the claim moves forward.
+   *
+   * @generated from field: repeated nomos.kernel.v1.LawVersionWarning law_version_warnings = 14;
+   */
+  lawVersionWarnings: LawVersionWarning[];
 };
 
 /**
@@ -731,6 +741,110 @@ export declare type OfferAdmitted = Message<"nomos.kernel.v1.OfferAdmitted"> & {
  */
 export declare const OfferAdmittedSchema: GenMessage<OfferAdmitted>;
 
+/**
+ * A law's identity: its package name (/Nomos/Package nomos:name) (CAP-809, CAP-811).
+ *
+ * @generated from message nomos.kernel.v1.LawIdentity
+ */
+export declare type LawIdentity = Message<"nomos.kernel.v1.LawIdentity"> & {
+  /**
+   * @generated from field: string package_name = 1;
+   */
+  packageName: string;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.LawIdentity.
+ * Use `create(LawIdentitySchema)` to create a new message.
+ */
+export declare const LawIdentitySchema: GenMessage<LawIdentity>;
+
+/**
+ * One version of a law: its closure identity, a canonical lowercase SHA-256 digest (CAP-809).
+ *
+ * @generated from message nomos.kernel.v1.LawVersion
+ */
+export declare type LawVersion = Message<"nomos.kernel.v1.LawVersion"> & {
+  /**
+   * @generated from field: string closure_sha256 = 1;
+   */
+  closureSha256: string;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.LawVersion.
+ * Use `create(LawVersionSchema)` to create a new message.
+ */
+export declare const LawVersionSchema: GenMessage<LawVersion>;
+
+/**
+ * A semver 2.0 claim without build metadata, as authored in nomos.project.ts (CAP-811).
+ *
+ * @generated from message nomos.kernel.v1.LawVersionClaim
+ */
+export declare type LawVersionClaim = Message<"nomos.kernel.v1.LawVersionClaim"> & {
+  /**
+   * @generated from field: string semver = 1;
+   */
+  semver: string;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.LawVersionClaim.
+ * Use `create(LawVersionClaimSchema)` to create a new message.
+ */
+export declare const LawVersionClaimSchema: GenMessage<LawVersionClaim>;
+
+/**
+ * An install that does not move its law's claimed version forward (CAP-811).
+ *
+ * @generated from message nomos.kernel.v1.LawVersionWarning
+ */
+export declare type LawVersionWarning = Message<"nomos.kernel.v1.LawVersionWarning"> & {
+  /**
+   * @generated from field: nomos.kernel.v1.LawIdentity law = 1;
+   */
+  law?: LawIdentity | undefined;
+
+  /**
+   * @generated from field: nomos.kernel.v1.LawVersionOrder order = 2;
+   */
+  order: LawVersionOrder;
+
+  /**
+   * @generated from field: nomos.kernel.v1.LawVersionClaim installed_claim = 3;
+   */
+  installedClaim?: LawVersionClaim | undefined;
+
+  /**
+   * @generated from field: nomos.kernel.v1.LawVersion installed_version = 4;
+   */
+  installedVersion?: LawVersion | undefined;
+
+  /**
+   * @generated from field: nomos.kernel.v1.LawVersionClaim served_claim = 5;
+   */
+  servedClaim?: LawVersionClaim | undefined;
+
+  /**
+   * @generated from field: nomos.kernel.v1.LawVersion served_version = 6;
+   */
+  servedVersion?: LawVersion | undefined;
+
+  /**
+   * Human-readable summary of the same facts.
+   *
+   * @generated from field: string message = 7;
+   */
+  message: string;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.LawVersionWarning.
+ * Use `create(LawVersionWarningSchema)` to create a new message.
+ */
+export declare const LawVersionWarningSchema: GenMessage<LawVersionWarning>;
+
 /**
  * The aggregates one admitted offer changed, by the type a read resolves for each (its `__type`,
  * else its id), between the head it was admitted on and the head it produced. Exact or wider,
@@ -1097,6 +1211,16 @@ export declare type OfferBlockedOnDependency = Message<"nomos.kernel.v1.OfferBlo
    * @generated from field: nomos.kernel.v1.NomosStruct diagnostics = 3;
    */
   diagnostics?: NomosStruct | undefined;
+
+  /**
+   * Present only when the kernel itself found that a read the authored plan made needs a
+   * derivative only background maintenance builds (CAP-824): the exact workspace position owed.
+   * Not a verdict of law. The same offer, made again once maintenance has repaid it, is judged.
+   * Absent for every other blocked dependency; a peer never infers it from `detail`.
+   *
+   * @generated from field: nomos.kernel.v1.ReadIndexPending awaits_maintenance = 4;
+   */
+  awaitsMaintenance?: ReadIndexPending | undefined;
 };
 
 /**
@@ -2128,6 +2252,15 @@ export declare type InterfaceCompatibilityQuery = Message<"nomos.kernel.v1.Inter
    * @generated from field: bytes application_matrix_usda = 1;
    */
   applicationMatrixUsda: Uint8Array;
+
+  /**
+   * RELEASE QUALIFICATION (CAP-789): judge the matrix against the law this workspace would serve once
+   * these carried units were staged and promoted (composed exactly as that STAGE would compose them at
+   * this frontier), instead of the law it serves now. Nothing is written and no verdict is retained.
+   *
+   * @generated from field: repeated nomos.kernel.v1.LawUnit candidate_units = 2;
+   */
+  candidateUnits: LawUnit[];
 };
 
 /**
@@ -2200,6 +2333,13 @@ export declare type InterfaceCompatibilityResponse = Message<"nomos.kernel.v1.In
    * @generated from field: string workspace_frontier = 3;
    */
   workspaceFrontier: string;
+
+  /**
+   * The closure the carried candidate units composed to; empty when the installed law was judged.
+   *
+   * @generated from field: string candidate_hash = 4;
+   */
+  candidateHash: string;
 };
 
 /**
@@ -5726,6 +5866,18 @@ export declare type FrontierTransitionRequest = Message<"nomos.kernel.v1.Frontie
    * @generated from field: optional string restore_previous_of = 5;
    */
   restorePreviousOf?: string | undefined;
+
+  /**
+   * RELEASE QUALIFICATION (CAP-789): the candidate carried as law units instead of named as a staged
+   * closure. The kernel admits each unit from its content, places and composes them exactly as a STAGE
+   * carrying them would at this frontier, and judges the same transition. It writes nothing: no stage, no
+   * custody object, no ref. When set, candidate_hash must equal the composed identity (the response names
+   * it either way). The answer is qualification evidence only: promotion still needs the candidate staged
+   * and judged again at the then-current frontier. Not with restore_previous_of.
+   *
+   * @generated from field: repeated nomos.kernel.v1.LawUnit candidate_units = 6;
+   */
+  candidateUnits: LawUnit[];
 };
 
 /**
@@ -7039,6 +7191,31 @@ export declare type PackDeltaRequest = Message<"nomos.kernel.v1.PackDeltaRequest
    * @generated from field: optional string staged_pack_file = 5;
    */
   stagedPackFile?: string | undefined;
+
+  /**
+   * A SHALLOW pack instead of a delta (architecture/peer_catchup.md), with no `base`: the commits
+   * within `depth` generations of `head`, each with its complete tree, objects ordered by id
+   * (deterministic bytes). depth 1 is a checkpoint: the frontier state at `head`.
+   *
+   * @generated from field: optional uint32 depth = 6;
+   */
+  depth?: number | undefined;
+
+  /**
+   * With `depth`: `head` is a shallow boundary the receiver holds. Its commit and tree are omitted
+   * and the `depth` generations below it are packed: one lazy-history slice.
+   *
+   * @generated from field: bool below_head = 7;
+   */
+  belowHead: boolean;
+
+  /**
+   * With `depth` and not `below_head`: more heads packed beside `head` at the same depth (the
+   * settled-letter outcome commits a checkpoint carries).
+   *
+   * @generated from field: repeated string also_heads = 8;
+   */
+  alsoHeads: string[];
 };
 
 /**
@@ -7075,6 +7252,16 @@ export declare type ApplyPackRequest = Message<"nomos.kernel.v1.ApplyPackRequest
      */
     value: string;
     case: "stagedPackFile";
+  } | {
+    /**
+     * Continue the import this repository has pending (CAP-806): the one a request with
+     * `work_budget_bytes` began and answered `import_pending`. It carries no pack, head or
+     * boundary; the import keeps those of the request that began it.
+     *
+     * @generated from field: bool continue_pending = 8;
+     */
+    value: boolean;
+    case: "continuePending";
   } | { case: undefined; value?: undefined };
 
   /**
@@ -7095,6 +7282,18 @@ export declare type ApplyPackRequest = Message<"nomos.kernel.v1.ApplyPackRequest
    * @generated from field: repeated string unshallow = 6;
    */
   unshallow: string[];
+
+  /**
+   * At most about this many bytes of work (hashing, inflating, decoding, rewriting) in this call
+   * (CAP-806). When the pack needs more, the kernel keeps the import's progress, publishes
+   * nothing and answers `import_pending`; `continue_pending` continues it. A host interleaves the
+   * steps with its user's reads and offers, so a large import never holds the kernel for its
+   * whole length. A new pack for the same repository discards a pending import. Absent or 0: the
+   * whole pack in one call, as before.
+   *
+   * @generated from field: uint64 work_budget_bytes = 7;
+   */
+  workBudgetBytes: bigint;
 };
 
 /**
@@ -8899,6 +9098,28 @@ export declare type PackDeltaResponse = Message<"nomos.kernel.v1.PackDeltaRespon
    * @generated from field: uint64 bytes = 2;
    */
   bytes: bigint;
+
+  /**
+   * A shallow pack only: the commits whose parents it omits, and what it holds.
+   *
+   * @generated from field: repeated string shallow = 3;
+   */
+  shallow: string[];
+
+  /**
+   * @generated from field: uint32 commits = 4;
+   */
+  commits: number;
+
+  /**
+   * @generated from field: uint32 trees = 5;
+   */
+  trees: number;
+
+  /**
+   * @generated from field: uint32 blobs = 6;
+   */
+  blobs: number;
 };
 
 /**
@@ -8928,6 +9149,21 @@ export declare type ApplyPackResponse = Message<"nomos.kernel.v1.ApplyPackRespon
    * @generated from field: optional nomos.kernel.v1.PhysicalClosureCheck closure = 3;
    */
   closure?: PhysicalClosureCheck | undefined;
+
+  /**
+   * The import spent its `work_budget_bytes` before finishing (CAP-806). Nothing is published;
+   * every other field is empty until the step that completes it.
+   *
+   * @generated from field: bool import_pending = 4;
+   */
+  importPending: boolean;
+
+  /**
+   * Bytes of work the import has done so far, across its steps.
+   *
+   * @generated from field: uint64 work_done_bytes = 5;
+   */
+  workDoneBytes: bigint;
 };
 
 /**
@@ -10075,6 +10311,33 @@ export declare type HistoryRequired = Message<"nomos.kernel.v1.HistoryRequired">
  */
 export declare const HistoryRequiredSchema: GenMessage<HistoryRequired>;
 
+/**
+ * How an installed claim orders against the claim already served for its identity (CAP-811).
+ *
+ * @generated from enum nomos.kernel.v1.LawVersionOrder
+ */
+export enum LawVersionOrder {
+  /**
+   * @generated from enum value: LAW_VERSION_ORDER_UNSPECIFIED = 0;
+   */
+  UNSPECIFIED = 0,
+
+  /**
+   * @generated from enum value: LAW_VERSION_ORDER_EQUAL = 1;
+   */
+  EQUAL = 1,
+
+  /**
+   * @generated from enum value: LAW_VERSION_ORDER_LOWER = 2;
+   */
+  LOWER = 2,
+}
+
+/**
+ * Describes the enum nomos.kernel.v1.LawVersionOrder.
+ */
+export declare const LawVersionOrderSchema: GenEnum<LawVersionOrder>;
+
 /**
  * @generated from enum nomos.kernel.v1.BirthOutcomeStatus
  */