@githolon/runtime 0.119.12 → 0.119.28

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

@@ -2102,6 +2102,12 @@ export declare type QueryResponse = Message<"nomos.kernel.v1.QueryResponse"> & {
      */
     value: ApplicationResultDelta;
     case: "applicationResultDelta";
+  } | {
+    /**
+     * @generated from field: nomos.kernel.v1.ResolveDomainPlanResponse resolve_domain_plan = 36;
+     */
+    value: ResolveDomainPlanResponse;
+    case: "resolveDomainPlan";
   } | { case: undefined; value?: undefined };
 
   /**
@@ -2388,6 +2394,13 @@ export declare type InterfaceCompatibilityResponse = Message<"nomos.kernel.v1.In
    * @generated from field: string candidate_hash = 4;
    */
   candidateHash: string;
+
+  /**
+   * Canonical selected workspace law graph, independent of installation route/history.
+   *
+   * @generated from field: string effective_law_identity = 5;
+   */
+  effectiveLawIdentity: string;
 };
 
 /**
@@ -4050,6 +4063,13 @@ export declare type ModelLifecycleIntent = Message<"nomos.kernel.v1.ModelLifecyc
    * @generated from field: optional string law_identity = 7;
    */
   lawIdentity?: string | undefined;
+
+  /**
+   * Atomic per-domain activation. Candidates must already be staged in custody.
+   *
+   * @generated from field: optional nomos.kernel.v1.DomainTransitionActivation domain_transition = 8;
+   */
+  domainTransition?: DomainTransitionActivation | undefined;
 };
 
 /**
@@ -4058,6 +4078,328 @@ export declare type ModelLifecycleIntent = Message<"nomos.kernel.v1.ModelLifecyc
  */
 export declare const ModelLifecycleIntentSchema: GenMessage<ModelLifecycleIntent>;
 
+/**
+ * Manifest-only resolution; this is a preview, not compatibility or admission evidence.
+ *
+ * @generated from message nomos.kernel.v1.DomainPlan
+ */
+export declare type DomainPlan = Message<"nomos.kernel.v1.DomainPlan"> & {
+  /**
+   * @generated from field: repeated nomos.kernel.v1.DomainAction actions = 1;
+   */
+  actions: DomainAction[];
+
+  /**
+   * @generated from field: repeated nomos.kernel.v1.DomainSupportPin support = 2;
+   */
+  support: DomainSupportPin[];
+};
+
+/**
+ * Describes the message nomos.kernel.v1.DomainPlan.
+ * Use `create(DomainPlanSchema)` to create a new message.
+ */
+export declare const DomainPlanSchema: GenMessage<DomainPlan>;
+
+/**
+ * @generated from message nomos.kernel.v1.DomainAction
+ */
+export declare type DomainAction = Message<"nomos.kernel.v1.DomainAction"> & {
+  /**
+   * @generated from field: string domain = 1;
+   */
+  domain: string;
+
+  /**
+   * Empty only for install.
+   *
+   * @generated from field: string expected_unit = 2;
+   */
+  expectedUnit: string;
+
+  /**
+   * Empty only for retire.
+   *
+   * @generated from field: string target_unit = 3;
+   */
+  targetUnit: string;
+
+  /**
+   * Required for install; existing identity or new:<name>.
+   *
+   * @generated from field: optional string group = 4;
+   */
+  group?: string | undefined;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.DomainAction.
+ * Use `create(DomainActionSchema)` to create a new message.
+ */
+export declare const DomainActionSchema: GenMessage<DomainAction>;
+
+/**
+ * @generated from message nomos.kernel.v1.DomainSupportPin
+ */
+export declare type DomainSupportPin = Message<"nomos.kernel.v1.DomainSupportPin"> & {
+  /**
+   * @generated from field: string group = 1;
+   */
+  group: string;
+
+  /**
+   * @generated from field: string key = 2;
+   */
+  key: string;
+
+  /**
+   * @generated from field: string unit_hash = 3;
+   */
+  unitHash: string;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.DomainSupportPin.
+ * Use `create(DomainSupportPinSchema)` to create a new message.
+ */
+export declare const DomainSupportPinSchema: GenMessage<DomainSupportPin>;
+
+/**
+ * @generated from message nomos.kernel.v1.ResolveDomainPlanRequest
+ */
+export declare type ResolveDomainPlanRequest = Message<"nomos.kernel.v1.ResolveDomainPlanRequest"> & {
+  /**
+   * @generated from field: nomos.kernel.v1.DomainPlan plan = 1;
+   */
+  plan?: DomainPlan | undefined;
+
+  /**
+   * @generated from field: string at_hash = 2;
+   */
+  atHash: string;
+
+  /**
+   * Optional read-only compatibility judgment of staged results, using the admission gate.
+   * Authority and supported-client policy remain separate qualification obligations.
+   *
+   * @generated from field: bool judge_staged = 3;
+   */
+  judgeStaged: boolean;
+
+  /**
+   * @generated from field: string acknowledgement_principal = 4;
+   */
+  acknowledgementPrincipal: string;
+
+  /**
+   * Read-only qualification of complete, already prepared resulting sets. Never STAGEs law.
+   *
+   * @generated from field: bool qualify = 5;
+   */
+  qualify: boolean;
+
+  /**
+   * @generated from field: repeated nomos.kernel.v1.DomainConsumerRequirement consumers = 6;
+   */
+  consumers: DomainConsumerRequirement[];
+
+  /**
+   * @generated from field: repeated nomos.kernel.v1.LawUnit available_units = 7;
+   */
+  availableUnits: LawUnit[];
+};
+
+/**
+ * Describes the message nomos.kernel.v1.ResolveDomainPlanRequest.
+ * Use `create(ResolveDomainPlanRequestSchema)` to create a new message.
+ */
+export declare const ResolveDomainPlanRequestSchema: GenMessage<ResolveDomainPlanRequest>;
+
+/**
+ * @generated from message nomos.kernel.v1.DomainConsumerRequirement
+ */
+export declare type DomainConsumerRequirement = Message<"nomos.kernel.v1.DomainConsumerRequirement"> & {
+  /**
+   * @generated from field: string name = 1;
+   */
+  name: string;
+
+  /**
+   * @generated from field: bytes application_matrix_usda = 2;
+   */
+  applicationMatrixUsda: Uint8Array;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.DomainConsumerRequirement.
+ * Use `create(DomainConsumerRequirementSchema)` to create a new message.
+ */
+export declare const DomainConsumerRequirementSchema: GenMessage<DomainConsumerRequirement>;
+
+/**
+ * @generated from message nomos.kernel.v1.DomainConsumerVerdict
+ */
+export declare type DomainConsumerVerdict = Message<"nomos.kernel.v1.DomainConsumerVerdict"> & {
+  /**
+   * @generated from field: string name = 1;
+   */
+  name: string;
+
+  /**
+   * @generated from field: bool compatible = 2;
+   */
+  compatible: boolean;
+
+  /**
+   * @generated from field: repeated string failing = 3;
+   */
+  failing: string[];
+};
+
+/**
+ * Describes the message nomos.kernel.v1.DomainConsumerVerdict.
+ * Use `create(DomainConsumerVerdictSchema)` to create a new message.
+ */
+export declare const DomainConsumerVerdictSchema: GenMessage<DomainConsumerVerdict>;
+
+/**
+ * @generated from message nomos.kernel.v1.ResolvedDomainGroup
+ */
+export declare type ResolvedDomainGroup = Message<"nomos.kernel.v1.ResolvedDomainGroup"> & {
+  /**
+   * @generated from field: string group = 1;
+   */
+  group: string;
+
+  /**
+   * @generated from field: string candidate_hash = 2;
+   */
+  candidateHash: string;
+
+  /**
+   * @generated from field: repeated nomos.kernel.v1.DomainUnitPin units = 3;
+   */
+  units: DomainUnitPin[];
+};
+
+/**
+ * Describes the message nomos.kernel.v1.ResolvedDomainGroup.
+ * Use `create(ResolvedDomainGroupSchema)` to create a new message.
+ */
+export declare const ResolvedDomainGroupSchema: GenMessage<ResolvedDomainGroup>;
+
+/**
+ * @generated from message nomos.kernel.v1.DomainUnitPin
+ */
+export declare type DomainUnitPin = Message<"nomos.kernel.v1.DomainUnitPin"> & {
+  /**
+   * @generated from field: string key = 1;
+   */
+  key: string;
+
+  /**
+   * @generated from field: string unit_hash = 2;
+   */
+  unitHash: string;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.DomainUnitPin.
+ * Use `create(DomainUnitPinSchema)` to create a new message.
+ */
+export declare const DomainUnitPinSchema: GenMessage<DomainUnitPin>;
+
+/**
+ * @generated from message nomos.kernel.v1.ResolveDomainPlanResponse
+ */
+export declare type ResolveDomainPlanResponse = Message<"nomos.kernel.v1.ResolveDomainPlanResponse"> & {
+  /**
+   * @generated from field: string at_hash = 1;
+   */
+  atHash: string;
+
+  /**
+   * @generated from field: string at_state_root = 2;
+   */
+  atStateRoot: string;
+
+  /**
+   * @generated from field: repeated nomos.kernel.v1.ResolvedDomainGroup groups = 3;
+   */
+  groups: ResolvedDomainGroup[];
+
+  /**
+   * @generated from field: repeated string retire_installations = 4;
+   */
+  retireInstallations: string[];
+
+  /**
+   * @generated from field: repeated nomos.kernel.v1.DomainUnitPin selected_domains = 5;
+   */
+  selectedDomains: DomainUnitPin[];
+
+  /**
+   * @generated from field: optional bool ready = 6;
+   */
+  ready?: boolean | undefined;
+
+  /**
+   * @generated from field: repeated string violations = 7;
+   */
+  violations: string[];
+
+  /**
+   * @generated from field: repeated nomos.kernel.v1.DomainConsumerVerdict consumers = 8;
+   */
+  consumers: DomainConsumerVerdict[];
+
+  /**
+   * @generated from field: repeated nomos.kernel.v1.LawPreparationUnitSet unit_sets = 9;
+   */
+  unitSets: LawPreparationUnitSet[];
+
+  /**
+   * @generated from field: string kernel_generation = 10;
+   */
+  kernelGeneration: string;
+
+  /**
+   * Present after exact prospective-law qualification, not a manifest-only preview.
+   *
+   * @generated from field: string effective_law_identity = 11;
+   */
+  effectiveLawIdentity: string;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.ResolveDomainPlanResponse.
+ * Use `create(ResolveDomainPlanResponseSchema)` to create a new message.
+ */
+export declare const ResolveDomainPlanResponseSchema: GenMessage<ResolveDomainPlanResponse>;
+
+/**
+ * @generated from message nomos.kernel.v1.DomainTransitionActivation
+ */
+export declare type DomainTransitionActivation = Message<"nomos.kernel.v1.DomainTransitionActivation"> & {
+  /**
+   * @generated from field: nomos.kernel.v1.DomainPlan plan = 1;
+   */
+  plan?: DomainPlan | undefined;
+
+  /**
+   * The exact preview is signed and re-resolved by every receiving kernel.
+   *
+   * @generated from field: nomos.kernel.v1.ResolveDomainPlanResponse resolved = 2;
+   */
+  resolved?: ResolveDomainPlanResponse | undefined;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.DomainTransitionActivation.
+ * Use `create(DomainTransitionActivationSchema)` to create a new message.
+ */
+export declare const DomainTransitionActivationSchema: GenMessage<DomainTransitionActivation>;
+
 /**
  * Exact framework authoring request for the ordinary provider-witness adoption directive. The
  * signed reads remain OfferRequest evidence; this message neither imports verifier material nor
@@ -4579,6 +4921,12 @@ export declare type QueryRequest = Message<"nomos.kernel.v1.QueryRequest"> & {
      */
     value: InstalledLawDeclarationsQuery;
     case: "installedLawDeclarations";
+  } | {
+    /**
+     * @generated from field: nomos.kernel.v1.ResolveDomainPlanRequest resolve_domain_plan = 36;
+     */
+    value: ResolveDomainPlanRequest;
+    case: "resolveDomainPlan";
   } | { case: undefined; value?: undefined };
 };
 
@@ -6910,6 +7258,20 @@ export declare type CustodyRequest = Message<"nomos.kernel.v1.CustodyRequest"> &
      */
     value: ImportLawProductsRequest;
     case: "importLawProducts";
+  } | {
+    /**
+     * @generated from field: nomos.kernel.v1.PrepareLawProductsRequest prepare_law_products = 43;
+     */
+    value: PrepareLawProductsRequest;
+    case: "prepareLawProducts";
+  } | {
+    /**
+     * Read only: recover an exact signed admission, never admit an unheld intent.
+     *
+     * @generated from field: nomos.kernel.v1.RecoverDetachedReceiptRequest recover_detached_receipt = 44;
+     */
+    value: RecoverDetachedReceiptRequest;
+    case: "recoverDetachedReceipt";
   } | { case: undefined; value?: undefined };
 };
 
@@ -9165,6 +9527,18 @@ export declare type CustodyResponse = Message<"nomos.kernel.v1.CustodyResponse">
      */
     value: ImportLawProductsResponse;
     case: "importLawProducts";
+  } | {
+    /**
+     * @generated from field: nomos.kernel.v1.PrepareLawProductsResponse prepare_law_products = 43;
+     */
+    value: PrepareLawProductsResponse;
+    case: "prepareLawProducts";
+  } | {
+    /**
+     * @generated from field: nomos.kernel.v1.OfferResponse recover_detached_receipt = 44;
+     */
+    value: OfferResponse;
+    case: "recoverDetachedReceipt";
   } | { case: undefined; value?: undefined };
 };
 
@@ -10417,6 +10791,175 @@ export declare type HistoryRequired = Message<"nomos.kernel.v1.HistoryRequired">
  */
 export declare const HistoryRequiredSchema: GenMessage<HistoryRequired>;
 
+/**
+ * CAP-986: isolated preparation only. No install, stage, author or admission permission.
+ *
+ * @generated from message nomos.kernel.v1.LawPreparationUnitSet
+ */
+export declare type LawPreparationUnitSet = Message<"nomos.kernel.v1.LawPreparationUnitSet"> & {
+  /**
+   * @generated from field: repeated nomos.kernel.v1.LawUnit units = 1;
+   */
+  units: LawUnit[];
+};
+
+/**
+ * Describes the message nomos.kernel.v1.LawPreparationUnitSet.
+ * Use `create(LawPreparationUnitSetSchema)` to create a new message.
+ */
+export declare const LawPreparationUnitSetSchema: GenMessage<LawPreparationUnitSet>;
+
+/**
+ * @generated from message nomos.kernel.v1.PreparedLawLayer
+ */
+export declare type PreparedLawLayer = Message<"nomos.kernel.v1.PreparedLawLayer"> & {
+  /**
+   * @generated from field: string input = 1;
+   */
+  input: string;
+
+  /**
+   * @generated from field: string key = 2;
+   */
+  key: string;
+
+  /**
+   * @generated from field: bytes layer = 3;
+   */
+  layer: Uint8Array;
+
+  /**
+   * @generated from field: string sha256 = 4;
+   */
+  sha256: string;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.PreparedLawLayer.
+ * Use `create(PreparedLawLayerSchema)` to create a new message.
+ */
+export declare const PreparedLawLayerSchema: GenMessage<PreparedLawLayer>;
+
+/**
+ * @generated from message nomos.kernel.v1.PrepareLawProductsRequest
+ */
+export declare type PrepareLawProductsRequest = Message<"nomos.kernel.v1.PrepareLawProductsRequest"> & {
+  /**
+   * Retained custody to prepare (all current and historical law), when supplied.
+   *
+   * @generated from field: nomos.kernel.v1.WorkspaceTarget target = 1;
+   */
+  target?: WorkspaceTarget | undefined;
+
+  /**
+   * Complete kernel-resolved sets: candidates, retirement residuals and current-law sets.
+   *
+   * @generated from field: repeated nomos.kernel.v1.LawPreparationUnitSet unit_sets = 2;
+   */
+  unitSets: LawPreparationUnitSet[];
+
+  /**
+   * A provider's claim is compared with independent local derivation, never trusted on its digest.
+   *
+   * @generated from field: nomos.kernel.v1.PrepareLawProductsResponse expected = 3;
+   */
+  expected?: PrepareLawProductsResponse | undefined;
+
+  /**
+   * Legacy carried-candidate placement is resolved by the same kernel desk, off lane.
+   *
+   * @generated from field: repeated nomos.kernel.v1.LawUnit candidate_units = 4;
+   */
+  candidateUnits: LawUnit[];
+
+  /**
+   * @generated from field: bool coverage_only = 5;
+   */
+  coverageOnly: boolean;
+
+  /**
+   * Incoming retained heads can be prepared before admission moves a live ref.
+   *
+   * @generated from field: repeated string custody_heads = 6;
+   */
+  custodyHeads: string[];
+
+  /**
+   * Exact per-domain plan at an approved baseline. Resolve and fill retained units in isolation.
+   *
+   * @generated from field: nomos.kernel.v1.ResolveDomainPlanRequest domain_plan = 7;
+   */
+  domainPlan?: ResolveDomainPlanRequest | undefined;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.PrepareLawProductsRequest.
+ * Use `create(PrepareLawProductsRequestSchema)` to create a new message.
+ */
+export declare const PrepareLawProductsRequestSchema: GenMessage<PrepareLawProductsRequest>;
+
+/**
+ * @generated from message nomos.kernel.v1.PrepareLawProductsResponse
+ */
+export declare type PrepareLawProductsResponse = Message<"nomos.kernel.v1.PrepareLawProductsResponse"> & {
+  /**
+   * @generated from field: string kernel_generation = 1;
+   */
+  kernelGeneration: string;
+
+  /**
+   * @generated from field: repeated string unit_sets = 2;
+   */
+  unitSets: string[];
+
+  /**
+   * @generated from field: repeated string preparation_keys = 3;
+   */
+  preparationKeys: string[];
+
+  /**
+   * @generated from field: repeated nomos.kernel.v1.PreparedLawLayer layers = 4;
+   */
+  layers: PreparedLawLayer[];
+
+  /**
+   * @generated from field: uint64 derivations = 5;
+   */
+  derivations: bigint;
+
+  /**
+   * @generated from field: uint64 preparation_micros = 6;
+   */
+  preparationMicros: bigint;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.PrepareLawProductsResponse.
+ * Use `create(PrepareLawProductsResponseSchema)` to create a new message.
+ */
+export declare const PrepareLawProductsResponseSchema: GenMessage<PrepareLawProductsResponse>;
+
+/**
+ * @generated from message nomos.kernel.v1.RecoverDetachedReceiptRequest
+ */
+export declare type RecoverDetachedReceiptRequest = Message<"nomos.kernel.v1.RecoverDetachedReceiptRequest"> & {
+  /**
+   * @generated from field: nomos.kernel.v1.WorkspaceTarget target = 1;
+   */
+  target?: WorkspaceTarget | undefined;
+
+  /**
+   * @generated from field: nomos.kernel.v1.DetachedSignedChange change = 2;
+   */
+  change?: DetachedSignedChange | undefined;
+};
+
+/**
+ * Describes the message nomos.kernel.v1.RecoverDetachedReceiptRequest.
+ * Use `create(RecoverDetachedReceiptRequestSchema)` to create a new message.
+ */
+export declare const RecoverDetachedReceiptRequestSchema: GenMessage<RecoverDetachedReceiptRequest>;
+
 /**
  * How an installed claim orders against the claim already served for its identity (CAP-811).
  *