@githolon/dsl 0.108.4 → 0.108.7

package/dart_types/lib/src/proto/nomos/runtime/v2/runtime.pb.dart

@@ -41,6 +41,8 @@ enum RuntimeRequest_Command {
   historicQuery,
   modelLifecycle,
   establishApplicationCustody,
+  workspaceStatus,
+  remoteGeneratedOffer,
   notSet
 }
 
@@ -65,6 +67,8 @@ class RuntimeRequest extends $pb.GeneratedMessage {
     HistoricQueryRequest? historicQuery,
     ModelLifecycleRequest? modelLifecycle,
     EstablishApplicationCustodyRequest? establishApplicationCustody,
+    WorkspaceStatusRequest? workspaceStatus,
+    RemoteGeneratedOfferRequest? remoteGeneratedOffer,
   }) {
     final result = create();
     if (protocolVersion != null) result.protocolVersion = protocolVersion;
@@ -88,6 +92,9 @@ class RuntimeRequest extends $pb.GeneratedMessage {
     if (modelLifecycle != null) result.modelLifecycle = modelLifecycle;
     if (establishApplicationCustody != null)
       result.establishApplicationCustody = establishApplicationCustody;
+    if (workspaceStatus != null) result.workspaceStatus = workspaceStatus;
+    if (remoteGeneratedOffer != null)
+      result.remoteGeneratedOffer = remoteGeneratedOffer;
     return result;
   }
 
@@ -118,6 +125,8 @@ class RuntimeRequest extends $pb.GeneratedMessage {
     23: RuntimeRequest_Command.historicQuery,
     24: RuntimeRequest_Command.modelLifecycle,
     25: RuntimeRequest_Command.establishApplicationCustody,
+    26: RuntimeRequest_Command.workspaceStatus,
+    27: RuntimeRequest_Command.remoteGeneratedOffer,
     0: RuntimeRequest_Command.notSet
   };
   static final $pb.BuilderInfo _i = $pb.BuilderInfo(
@@ -125,7 +134,26 @@ class RuntimeRequest extends $pb.GeneratedMessage {
       package:
           const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
       createEmptyInstance: create)
-    ..oo(0, [10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25])
+    ..oo(0, [
+      10,
+      11,
+      12,
+      13,
+      14,
+      15,
+      16,
+      17,
+      18,
+      19,
+      20,
+      21,
+      22,
+      23,
+      24,
+      25,
+      26,
+      27
+    ])
     ..aI(1, _omitFieldNames ? '' : 'protocolVersion',
         fieldType: $pb.PbFieldType.OU3)
     ..a<$fixnum.Int64>(
@@ -168,6 +196,11 @@ class RuntimeRequest extends $pb.GeneratedMessage {
     ..aOM<EstablishApplicationCustodyRequest>(
         25, _omitFieldNames ? '' : 'establishApplicationCustody',
         subBuilder: EstablishApplicationCustodyRequest.create)
+    ..aOM<WorkspaceStatusRequest>(26, _omitFieldNames ? '' : 'workspaceStatus',
+        subBuilder: WorkspaceStatusRequest.create)
+    ..aOM<RemoteGeneratedOfferRequest>(
+        27, _omitFieldNames ? '' : 'remoteGeneratedOffer',
+        subBuilder: RemoteGeneratedOfferRequest.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -205,6 +238,8 @@ class RuntimeRequest extends $pb.GeneratedMessage {
   @$pb.TagNumber(23)
   @$pb.TagNumber(24)
   @$pb.TagNumber(25)
+  @$pb.TagNumber(26)
+  @$pb.TagNumber(27)
   RuntimeRequest_Command whichCommand() =>
       _RuntimeRequest_CommandByTag[$_whichOneof(0)]!;
   @$pb.TagNumber(10)
@@ -223,6 +258,8 @@ class RuntimeRequest extends $pb.GeneratedMessage {
   @$pb.TagNumber(23)
   @$pb.TagNumber(24)
   @$pb.TagNumber(25)
+  @$pb.TagNumber(26)
+  @$pb.TagNumber(27)
   void clearCommand() => $_clearField($_whichOneof(0));
 
   @$pb.TagNumber(1)
@@ -434,6 +471,29 @@ class RuntimeRequest extends $pb.GeneratedMessage {
   @$pb.TagNumber(25)
   EstablishApplicationCustodyRequest ensureEstablishApplicationCustody() =>
       $_ensure(18);
+
+  @$pb.TagNumber(26)
+  WorkspaceStatusRequest get workspaceStatus => $_getN(19);
+  @$pb.TagNumber(26)
+  set workspaceStatus(WorkspaceStatusRequest value) => $_setField(26, value);
+  @$pb.TagNumber(26)
+  $core.bool hasWorkspaceStatus() => $_has(19);
+  @$pb.TagNumber(26)
+  void clearWorkspaceStatus() => $_clearField(26);
+  @$pb.TagNumber(26)
+  WorkspaceStatusRequest ensureWorkspaceStatus() => $_ensure(19);
+
+  @$pb.TagNumber(27)
+  RemoteGeneratedOfferRequest get remoteGeneratedOffer => $_getN(20);
+  @$pb.TagNumber(27)
+  set remoteGeneratedOffer(RemoteGeneratedOfferRequest value) =>
+      $_setField(27, value);
+  @$pb.TagNumber(27)
+  $core.bool hasRemoteGeneratedOffer() => $_has(20);
+  @$pb.TagNumber(27)
+  void clearRemoteGeneratedOffer() => $_clearField(27);
+  @$pb.TagNumber(27)
+  RemoteGeneratedOfferRequest ensureRemoteGeneratedOffer() => $_ensure(20);
 }
 
 class KernelCallRequest extends $pb.GeneratedMessage {
@@ -924,6 +984,8 @@ enum RuntimeResponse_Outcome {
   deadLetter,
   modelLifecycle,
   applicationCustodyEstablished,
+  workspaceStatus,
+  remoteGeneratedOffer,
   notSet
 }
 
@@ -949,6 +1011,8 @@ class RuntimeResponse extends $pb.GeneratedMessage {
     DeadLetterResponse? deadLetter,
     ModelLifecycleResponse? modelLifecycle,
     ApplicationCustodyEstablished? applicationCustodyEstablished,
+    WorkspaceStatus? workspaceStatus,
+    RemoteGeneratedOfferAccepted? remoteGeneratedOffer,
   }) {
     final result = create();
     if (protocolVersion != null) result.protocolVersion = protocolVersion;
@@ -974,6 +1038,9 @@ class RuntimeResponse extends $pb.GeneratedMessage {
     if (modelLifecycle != null) result.modelLifecycle = modelLifecycle;
     if (applicationCustodyEstablished != null)
       result.applicationCustodyEstablished = applicationCustodyEstablished;
+    if (workspaceStatus != null) result.workspaceStatus = workspaceStatus;
+    if (remoteGeneratedOffer != null)
+      result.remoteGeneratedOffer = remoteGeneratedOffer;
     return result;
   }
 
@@ -1006,6 +1073,8 @@ class RuntimeResponse extends $pb.GeneratedMessage {
     25: RuntimeResponse_Outcome.deadLetter,
     26: RuntimeResponse_Outcome.modelLifecycle,
     27: RuntimeResponse_Outcome.applicationCustodyEstablished,
+    28: RuntimeResponse_Outcome.workspaceStatus,
+    29: RuntimeResponse_Outcome.remoteGeneratedOffer,
     0: RuntimeResponse_Outcome.notSet
   };
   static final $pb.BuilderInfo _i = $pb.BuilderInfo(
@@ -1031,7 +1100,9 @@ class RuntimeResponse extends $pb.GeneratedMessage {
       24,
       25,
       26,
-      27
+      27,
+      28,
+      29
     ])
     ..aI(1, _omitFieldNames ? '' : 'protocolVersion',
         fieldType: $pb.PbFieldType.OU3)
@@ -1077,6 +1148,11 @@ class RuntimeResponse extends $pb.GeneratedMessage {
     ..aOM<ApplicationCustodyEstablished>(
         27, _omitFieldNames ? '' : 'applicationCustodyEstablished',
         subBuilder: ApplicationCustodyEstablished.create)
+    ..aOM<WorkspaceStatus>(28, _omitFieldNames ? '' : 'workspaceStatus',
+        subBuilder: WorkspaceStatus.create)
+    ..aOM<RemoteGeneratedOfferAccepted>(
+        29, _omitFieldNames ? '' : 'remoteGeneratedOffer',
+        subBuilder: RemoteGeneratedOfferAccepted.create)
     ..hasRequiredFields = false;
 
   @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
@@ -1116,6 +1192,8 @@ class RuntimeResponse extends $pb.GeneratedMessage {
   @$pb.TagNumber(25)
   @$pb.TagNumber(26)
   @$pb.TagNumber(27)
+  @$pb.TagNumber(28)
+  @$pb.TagNumber(29)
   RuntimeResponse_Outcome whichOutcome() =>
       _RuntimeResponse_OutcomeByTag[$_whichOneof(0)]!;
   @$pb.TagNumber(10)
@@ -1136,6 +1214,8 @@ class RuntimeResponse extends $pb.GeneratedMessage {
   @$pb.TagNumber(25)
   @$pb.TagNumber(26)
   @$pb.TagNumber(27)
+  @$pb.TagNumber(28)
+  @$pb.TagNumber(29)
   void clearOutcome() => $_clearField($_whichOneof(0));
 
   @$pb.TagNumber(1)
@@ -1355,6 +1435,226 @@ class RuntimeResponse extends $pb.GeneratedMessage {
   @$pb.TagNumber(27)
   ApplicationCustodyEstablished ensureApplicationCustodyEstablished() =>
       $_ensure(19);
+
+  @$pb.TagNumber(28)
+  WorkspaceStatus get workspaceStatus => $_getN(20);
+  @$pb.TagNumber(28)
+  set workspaceStatus(WorkspaceStatus value) => $_setField(28, value);
+  @$pb.TagNumber(28)
+  $core.bool hasWorkspaceStatus() => $_has(20);
+  @$pb.TagNumber(28)
+  void clearWorkspaceStatus() => $_clearField(28);
+  @$pb.TagNumber(28)
+  WorkspaceStatus ensureWorkspaceStatus() => $_ensure(20);
+
+  @$pb.TagNumber(29)
+  RemoteGeneratedOfferAccepted get remoteGeneratedOffer => $_getN(21);
+  @$pb.TagNumber(29)
+  set remoteGeneratedOffer(RemoteGeneratedOfferAccepted value) =>
+      $_setField(29, value);
+  @$pb.TagNumber(29)
+  $core.bool hasRemoteGeneratedOffer() => $_has(21);
+  @$pb.TagNumber(29)
+  void clearRemoteGeneratedOffer() => $_clearField(29);
+  @$pb.TagNumber(29)
+  RemoteGeneratedOfferAccepted ensureRemoteGeneratedOffer() => $_ensure(21);
+}
+
+/// A resident sovereign workspace may ask another workspace to judge one exact
+/// compiler-generated call without cloning the target's custody. The source
+/// kernel signs the target-kernel-prepared USDA; the host only transports the
+/// generated frame and the resulting sealed change.
+class RemoteGeneratedOfferRequest extends $pb.GeneratedMessage {
+  factory RemoteGeneratedOfferRequest({
+    $core.String? sourceSession,
+    $core.String? targetWorkspace,
+    $core.String? actor,
+    $core.List<$core.int>? authorSecret,
+    $core.List<$core.int>? authToken,
+    $0.DirectiveCall? call,
+  }) {
+    final result = create();
+    if (sourceSession != null) result.sourceSession = sourceSession;
+    if (targetWorkspace != null) result.targetWorkspace = targetWorkspace;
+    if (actor != null) result.actor = actor;
+    if (authorSecret != null) result.authorSecret = authorSecret;
+    if (authToken != null) result.authToken = authToken;
+    if (call != null) result.call = call;
+    return result;
+  }
+
+  RemoteGeneratedOfferRequest._();
+
+  factory RemoteGeneratedOfferRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory RemoteGeneratedOfferRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'RemoteGeneratedOfferRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'sourceSession')
+    ..aOS(2, _omitFieldNames ? '' : 'targetWorkspace')
+    ..aOS(3, _omitFieldNames ? '' : 'actor')
+    ..a<$core.List<$core.int>>(
+        4, _omitFieldNames ? '' : 'authorSecret', $pb.PbFieldType.OY)
+    ..a<$core.List<$core.int>>(
+        5, _omitFieldNames ? '' : 'authToken', $pb.PbFieldType.OY)
+    ..aOM<$0.DirectiveCall>(6, _omitFieldNames ? '' : 'call',
+        subBuilder: $0.DirectiveCall.create)
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  RemoteGeneratedOfferRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  RemoteGeneratedOfferRequest copyWith(
+          void Function(RemoteGeneratedOfferRequest) updates) =>
+      super.copyWith(
+              (message) => updates(message as RemoteGeneratedOfferRequest))
+          as RemoteGeneratedOfferRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static RemoteGeneratedOfferRequest create() =>
+      RemoteGeneratedOfferRequest._();
+  @$core.override
+  RemoteGeneratedOfferRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static RemoteGeneratedOfferRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<RemoteGeneratedOfferRequest>(create);
+  static RemoteGeneratedOfferRequest? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get sourceSession => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set sourceSession($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasSourceSession() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearSourceSession() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get targetWorkspace => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set targetWorkspace($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasTargetWorkspace() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearTargetWorkspace() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  $core.String get actor => $_getSZ(2);
+  @$pb.TagNumber(3)
+  set actor($core.String value) => $_setString(2, value);
+  @$pb.TagNumber(3)
+  $core.bool hasActor() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearActor() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  $core.List<$core.int> get authorSecret => $_getN(3);
+  @$pb.TagNumber(4)
+  set authorSecret($core.List<$core.int> value) => $_setBytes(3, value);
+  @$pb.TagNumber(4)
+  $core.bool hasAuthorSecret() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearAuthorSecret() => $_clearField(4);
+
+  @$pb.TagNumber(5)
+  $core.List<$core.int> get authToken => $_getN(4);
+  @$pb.TagNumber(5)
+  set authToken($core.List<$core.int> value) => $_setBytes(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasAuthToken() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearAuthToken() => $_clearField(5);
+
+  @$pb.TagNumber(6)
+  $0.DirectiveCall get call => $_getN(5);
+  @$pb.TagNumber(6)
+  set call($0.DirectiveCall value) => $_setField(6, value);
+  @$pb.TagNumber(6)
+  $core.bool hasCall() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearCall() => $_clearField(6);
+  @$pb.TagNumber(6)
+  $0.DirectiveCall ensureCall() => $_ensure(5);
+}
+
+class RemoteGeneratedOfferAccepted extends $pb.GeneratedMessage {
+  factory RemoteGeneratedOfferAccepted({
+    $core.String? workspace,
+    $core.String? head,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (head != null) result.head = head;
+    return result;
+  }
+
+  RemoteGeneratedOfferAccepted._();
+
+  factory RemoteGeneratedOfferAccepted.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory RemoteGeneratedOfferAccepted.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'RemoteGeneratedOfferAccepted',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aOS(2, _omitFieldNames ? '' : 'head')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  RemoteGeneratedOfferAccepted clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  RemoteGeneratedOfferAccepted copyWith(
+          void Function(RemoteGeneratedOfferAccepted) updates) =>
+      super.copyWith(
+              (message) => updates(message as RemoteGeneratedOfferAccepted))
+          as RemoteGeneratedOfferAccepted;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static RemoteGeneratedOfferAccepted create() =>
+      RemoteGeneratedOfferAccepted._();
+  @$core.override
+  RemoteGeneratedOfferAccepted createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static RemoteGeneratedOfferAccepted getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<RemoteGeneratedOfferAccepted>(create);
+  static RemoteGeneratedOfferAccepted? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get workspace => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set workspace($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasWorkspace() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearWorkspace() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get head => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set head($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasHead() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearHead() => $_clearField(2);
 }
 
 enum RuntimeBlocked_Reason { workspace, siblings, notSet }
@@ -3982,6 +4282,132 @@ class WorkspaceList extends $pb.GeneratedMessage {
   $pb.PbList<WorkspaceSummary> get workspaces => $_getList(0);
 }
 
+/// Cheap typed position read for an already-connected session. Unlike a
+/// snapshot this never serializes custody, and unlike the legacy command bridge
+/// it cannot confuse a bare string with an object-shaped result.
+class WorkspaceStatusRequest extends $pb.GeneratedMessage {
+  factory WorkspaceStatusRequest({
+    $core.String? session,
+  }) {
+    final result = create();
+    if (session != null) result.session = session;
+    return result;
+  }
+
+  WorkspaceStatusRequest._();
+
+  factory WorkspaceStatusRequest.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory WorkspaceStatusRequest.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'WorkspaceStatusRequest',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'session')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceStatusRequest clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceStatusRequest copyWith(
+          void Function(WorkspaceStatusRequest) updates) =>
+      super.copyWith((message) => updates(message as WorkspaceStatusRequest))
+          as WorkspaceStatusRequest;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceStatusRequest create() => WorkspaceStatusRequest._();
+  @$core.override
+  WorkspaceStatusRequest createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceStatusRequest getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<WorkspaceStatusRequest>(create);
+  static WorkspaceStatusRequest? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get session => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set session($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasSession() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearSession() => $_clearField(1);
+}
+
+class WorkspaceStatus extends $pb.GeneratedMessage {
+  factory WorkspaceStatus({
+    $core.String? workspace,
+    $core.String? head,
+  }) {
+    final result = create();
+    if (workspace != null) result.workspace = workspace;
+    if (head != null) result.head = head;
+    return result;
+  }
+
+  WorkspaceStatus._();
+
+  factory WorkspaceStatus.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory WorkspaceStatus.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'WorkspaceStatus',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
+      createEmptyInstance: create)
+    ..aOS(1, _omitFieldNames ? '' : 'workspace')
+    ..aOS(2, _omitFieldNames ? '' : 'head')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceStatus clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  WorkspaceStatus copyWith(void Function(WorkspaceStatus) updates) =>
+      super.copyWith((message) => updates(message as WorkspaceStatus))
+          as WorkspaceStatus;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceStatus create() => WorkspaceStatus._();
+  @$core.override
+  WorkspaceStatus createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static WorkspaceStatus getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<WorkspaceStatus>(create);
+  static WorkspaceStatus? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.String get workspace => $_getSZ(0);
+  @$pb.TagNumber(1)
+  set workspace($core.String value) => $_setString(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasWorkspace() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearWorkspace() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $core.String get head => $_getSZ(1);
+  @$pb.TagNumber(2)
+  set head($core.String value) => $_setString(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasHead() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearHead() => $_clearField(2);
+}
+
 class SnapshotWorkspaceRequest extends $pb.GeneratedMessage {
   factory SnapshotWorkspaceRequest({
     $core.String? session,

package/dart_types/pubspec.yaml

@@ -9,7 +9,7 @@ description: >-
   Pure kernel wire/data types for Nomos Dart frontends — no transport, no bridge,
   no runtime. Typed protobuf and USDA boundary values plus the offer codec,
   reactive read engine, schema validation, and data-only error/trace types.
-version: 0.10.0
+version: 0.10.1
 
 environment:
   sdk: ^3.5.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.108.4",
+  "version": "0.108.7",
   "type": "module",
   "sideEffects": false,
   "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",