@githolon/runtime 0.117.0 → 0.119.9

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

@@ -2138,6 +2138,14 @@ export declare type QueryResponse = Message<"nomos.kernel.v1.QueryResponse"> & {
    * @generated from field: optional nomos.kernel.v1.ReadDependencies result_dependencies = 34;
    */
   resultDependencies?: ReadDependencies | undefined;
+
+  /**
+   * CAP-891: present when a `serve_last_ready` read was answered from (or, under a successor law,
+   * refused from) a read index bound behind its branch head. Read maintenance still owes the head.
+   *
+   * @generated from field: optional nomos.kernel.v1.ReadIndexBehind read_index_behind = 35;
+   */
+  readIndexBehind?: ReadIndexBehind | undefined;
 };
 
 /**
@@ -2146,6 +2154,46 @@ export declare type QueryResponse = Message<"nomos.kernel.v1.QueryResponse"> & {
  */
 export declare const QueryResponseSchema: GenMessage<QueryResponse>;
 
+/**
+ * The last-ready read index a `serve_last_ready` read met: bound to `served_frontier`, while the
+ * branch head is `requested_frontier`. `successor_law`: the head's law is not the law that index
+ * was built under, so no rows were served from it.
+ *
+ * @generated from message nomos.kernel.v1.ReadIndexBehind
+ */
+export declare type ReadIndexBehind = Message<"nomos.kernel.v1.ReadIndexBehind"> & {
+  /**
+   * @generated from field: string workspace = 1;
+   */
+  workspace: string;
+
+  /**
+   * @generated from field: string branch = 2;
+   */
+  branch: string;
+
+  /**
+   * @generated from field: string served_frontier = 3;
+   */
+  servedFrontier: string;
+
+  /**
+   * @generated from field: string requested_frontier = 4;
+   */
+  requestedFrontier: string;
+
+  /**
+   * @generated from field: bool successor_law = 5;
+   */
+  successorLaw: boolean;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.ReadIndexBehind.
+ * Use `create(ReadIndexBehindSchema)` to create a new message.
+ */
+export declare const ReadIndexBehindSchema: GenMessage<ReadIndexBehind>;
+
 /**
  * The state a declared rows result reads, from the installed read law. A state change touching none
  * of it leaves the next delta from this result's position empty. Exact or wider, never narrower.
@@ -2405,6 +2453,15 @@ export declare type ReadIndexPending = Message<"nomos.kernel.v1.ReadIndexPending
    * @generated from field: string requested_frontier = 3;
    */
   requestedFrontier: string;
+
+  /**
+   * CAP-900: for a read that asked to be served from its last-ready index (serve_last_ready), why
+   * no complete earlier frontier could answer it, so the read waits for read maintenance. Empty
+   * when the read did not ask. Diagnostic text only: no caller branches on it.
+   *
+   * @generated from field: string last_ready_absent = 4;
+   */
+  lastReadyAbsent: string;
 };
 
 /**
@@ -4351,6 +4408,18 @@ export declare type QueryRequest = Message<"nomos.kernel.v1.QueryRequest"> & {
    */
   resultFormat: QueryResultFormat;
 
+  /**
+   * CAP-891: an application read answers from the last-ready read index instead of waiting for it
+   * to catch up. When the serving index is bound to an older committed frontier of this branch under
+   * the SAME law as its head, the kernel answers from that index at its own bound frontier (one
+   * committed frontier: stale, never mixed) and names the gap in `QueryResponse.read_index_behind`.
+   * Under a different law it answers `read_index_pending` with `read_index_behind.successor_law`:
+   * the application's decoders belong to the head law, so predecessor rows are never handed out.
+   *
+   * @generated from field: bool serve_last_ready = 5;
+   */
+  serveLastReady: boolean;
+
   /**
    * @generated from oneof nomos.kernel.v1.QueryRequest.query
    */
@@ -7254,14 +7323,20 @@ export declare type ApplyPackRequest = Message<"nomos.kernel.v1.ApplyPackRequest
     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.
+     * Continue exactly the import named by import_id (CAP-889). No pack or boundary is carried.
      *
      * @generated from field: bool continue_pending = 8;
      */
     value: boolean;
     case: "continuePending";
+  } | {
+    /**
+     * Release only this caller's named import without publishing it. Idempotent after completion.
+     *
+     * @generated from field: bool cancel_pending = 10;
+     */
+    value: boolean;
+    case: "cancelPending";
   } | { case: undefined; value?: undefined };
 
   /**
@@ -7288,12 +7363,20 @@ export declare type ApplyPackRequest = Message<"nomos.kernel.v1.ApplyPackRequest
    * (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.
+   * whole length. A new bounded import waits when this repository or the bounded import slots
+   * are busy; an unbudgeted import never consumes another caller's pending state. Absent or 0:
+   * the whole pack in one call, as before.
    *
    * @generated from field: uint64 work_budget_bytes = 7;
    */
   workBudgetBytes: bigint;
+
+  /**
+   * Kernel-issued identity returned by the first pending step; required for continue/cancel.
+   *
+   * @generated from field: uint64 import_id = 9;
+   */
+  importId: bigint;
 };
 
 /**
@@ -7620,6 +7703,14 @@ export declare type ResolveRefRequest = Message<"nomos.kernel.v1.ResolveRefReque
    * @generated from field: string reference = 2;
    */
   reference: string;
+
+  /**
+   * With a path: the object at that path in the tree of the commit the reference names (Git's
+   * `<ref>:<path>`), absent when there is none. A copy names the law trees it holds this way (CAP-901).
+   *
+   * @generated from field: optional string path = 3;
+   */
+  path?: string | undefined;
 };
 
 /**
@@ -9164,6 +9255,21 @@ export declare type ApplyPackResponse = Message<"nomos.kernel.v1.ApplyPackRespon
    * @generated from field: uint64 work_done_bytes = 5;
    */
   workDoneBytes: bigint;
+
+  /**
+   * Nonzero identity of the pending import. Continuations must carry this exact identity and repo.
+   *
+   * @generated from field: uint64 import_id = 6;
+   */
+  importId: bigint;
+
+  /**
+   * No import was started: retry the original source after yielding. The staged file, if any,
+   * remains untouched. Capacity is bounded; active imports are never silently evicted.
+   *
+   * @generated from field: bool import_deferred = 7;
+   */
+  importDeferred: boolean;
 };
 
 /**