@githolon/dsl 0.107.4 → 0.108.1

package/dart_types/lib/src/proto/nomos/kernel/v1/progress.pb.dart

@@ -0,0 +1,245 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/kernel/v1/progress.proto.
+
+// @dart = 3.3
+
+// ignore_for_file: annotate_overrides, camel_case_types, comment_references
+// ignore_for_file: constant_identifier_names
+// ignore_for_file: curly_braces_in_flow_control_structures
+// ignore_for_file: deprecated_member_use_from_same_package, library_prefixes
+// ignore_for_file: non_constant_identifier_names
+
+import 'dart:core' as $core;
+
+import 'package:fixnum/fixnum.dart' as $fixnum;
+import 'package:protobuf/protobuf.dart' as $pb;
+
+import 'progress.pbenum.dart';
+
+export 'package:protobuf/protobuf.dart' show GeneratedMessageGenericExtensions;
+
+export 'progress.pbenum.dart';
+
+/// Ephemeral, authority-free progress from one long-running kernel operation.
+///
+/// This is deliberately a typed protobuf rather than JSON or a Nomos domain
+/// record. It describes local execution only: it cannot authorize an effect,
+/// enter custody, or influence a deterministic verdict. Hosts may poll the
+/// latest snapshot while the canonical CallRequest remains in flight.
+class KernelProgressSnapshot extends $pb.GeneratedMessage {
+  factory KernelProgressSnapshot({
+    $core.int? schemaVersion,
+    $fixnum.Int64? sequence,
+    KernelProgressOperation? operation,
+    KernelProgressPhase? phase,
+    $fixnum.Int64? completedUnits,
+    $fixnum.Int64? totalUnits,
+    KernelProgressUnit? unit,
+    $core.bool? terminal,
+    $fixnum.Int64? allocatorLiveBytes,
+    $fixnum.Int64? allocatorPeakBytes,
+    KernelLawHydrationStep? lawHydrationStep,
+    $core.String? lawPackageSha256,
+  }) {
+    final result = create();
+    if (schemaVersion != null) result.schemaVersion = schemaVersion;
+    if (sequence != null) result.sequence = sequence;
+    if (operation != null) result.operation = operation;
+    if (phase != null) result.phase = phase;
+    if (completedUnits != null) result.completedUnits = completedUnits;
+    if (totalUnits != null) result.totalUnits = totalUnits;
+    if (unit != null) result.unit = unit;
+    if (terminal != null) result.terminal = terminal;
+    if (allocatorLiveBytes != null)
+      result.allocatorLiveBytes = allocatorLiveBytes;
+    if (allocatorPeakBytes != null)
+      result.allocatorPeakBytes = allocatorPeakBytes;
+    if (lawHydrationStep != null) result.lawHydrationStep = lawHydrationStep;
+    if (lawPackageSha256 != null) result.lawPackageSha256 = lawPackageSha256;
+    return result;
+  }
+
+  KernelProgressSnapshot._();
+
+  factory KernelProgressSnapshot.fromBuffer($core.List<$core.int> data,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromBuffer(data, registry);
+  factory KernelProgressSnapshot.fromJson($core.String json,
+          [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
+      create()..mergeFromJson(json, registry);
+
+  static final $pb.BuilderInfo _i = $pb.BuilderInfo(
+      _omitMessageNames ? '' : 'KernelProgressSnapshot',
+      package:
+          const $pb.PackageName(_omitMessageNames ? '' : 'nomos.kernel.v1'),
+      createEmptyInstance: create)
+    ..aI(1, _omitFieldNames ? '' : 'schemaVersion',
+        fieldType: $pb.PbFieldType.OU3)
+    ..a<$fixnum.Int64>(
+        2, _omitFieldNames ? '' : 'sequence', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aE<KernelProgressOperation>(3, _omitFieldNames ? '' : 'operation',
+        enumValues: KernelProgressOperation.values)
+    ..aE<KernelProgressPhase>(4, _omitFieldNames ? '' : 'phase',
+        enumValues: KernelProgressPhase.values)
+    ..a<$fixnum.Int64>(
+        5, _omitFieldNames ? '' : 'completedUnits', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..a<$fixnum.Int64>(
+        6, _omitFieldNames ? '' : 'totalUnits', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aE<KernelProgressUnit>(7, _omitFieldNames ? '' : 'unit',
+        enumValues: KernelProgressUnit.values)
+    ..aOB(8, _omitFieldNames ? '' : 'terminal')
+    ..a<$fixnum.Int64>(
+        9, _omitFieldNames ? '' : 'allocatorLiveBytes', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..a<$fixnum.Int64>(
+        10, _omitFieldNames ? '' : 'allocatorPeakBytes', $pb.PbFieldType.OU6,
+        defaultOrMaker: $fixnum.Int64.ZERO)
+    ..aE<KernelLawHydrationStep>(11, _omitFieldNames ? '' : 'lawHydrationStep',
+        enumValues: KernelLawHydrationStep.values)
+    ..aOS(12, _omitFieldNames ? '' : 'lawPackageSha256')
+    ..hasRequiredFields = false;
+
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  KernelProgressSnapshot clone() => deepCopy();
+  @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
+  KernelProgressSnapshot copyWith(
+          void Function(KernelProgressSnapshot) updates) =>
+      super.copyWith((message) => updates(message as KernelProgressSnapshot))
+          as KernelProgressSnapshot;
+
+  @$core.override
+  $pb.BuilderInfo get info_ => _i;
+
+  @$core.pragma('dart2js:noInline')
+  static KernelProgressSnapshot create() => KernelProgressSnapshot._();
+  @$core.override
+  KernelProgressSnapshot createEmptyInstance() => create();
+  @$core.pragma('dart2js:noInline')
+  static KernelProgressSnapshot getDefault() => _defaultInstance ??=
+      $pb.GeneratedMessage.$_defaultFor<KernelProgressSnapshot>(create);
+  static KernelProgressSnapshot? _defaultInstance;
+
+  @$pb.TagNumber(1)
+  $core.int get schemaVersion => $_getIZ(0);
+  @$pb.TagNumber(1)
+  set schemaVersion($core.int value) => $_setUnsignedInt32(0, value);
+  @$pb.TagNumber(1)
+  $core.bool hasSchemaVersion() => $_has(0);
+  @$pb.TagNumber(1)
+  void clearSchemaVersion() => $_clearField(1);
+
+  @$pb.TagNumber(2)
+  $fixnum.Int64 get sequence => $_getI64(1);
+  @$pb.TagNumber(2)
+  set sequence($fixnum.Int64 value) => $_setInt64(1, value);
+  @$pb.TagNumber(2)
+  $core.bool hasSequence() => $_has(1);
+  @$pb.TagNumber(2)
+  void clearSequence() => $_clearField(2);
+
+  @$pb.TagNumber(3)
+  KernelProgressOperation get operation => $_getN(2);
+  @$pb.TagNumber(3)
+  set operation(KernelProgressOperation value) => $_setField(3, value);
+  @$pb.TagNumber(3)
+  $core.bool hasOperation() => $_has(2);
+  @$pb.TagNumber(3)
+  void clearOperation() => $_clearField(3);
+
+  @$pb.TagNumber(4)
+  KernelProgressPhase get phase => $_getN(3);
+  @$pb.TagNumber(4)
+  set phase(KernelProgressPhase value) => $_setField(4, value);
+  @$pb.TagNumber(4)
+  $core.bool hasPhase() => $_has(3);
+  @$pb.TagNumber(4)
+  void clearPhase() => $_clearField(4);
+
+  @$pb.TagNumber(5)
+  $fixnum.Int64 get completedUnits => $_getI64(4);
+  @$pb.TagNumber(5)
+  set completedUnits($fixnum.Int64 value) => $_setInt64(4, value);
+  @$pb.TagNumber(5)
+  $core.bool hasCompletedUnits() => $_has(4);
+  @$pb.TagNumber(5)
+  void clearCompletedUnits() => $_clearField(5);
+
+  @$pb.TagNumber(6)
+  $fixnum.Int64 get totalUnits => $_getI64(5);
+  @$pb.TagNumber(6)
+  set totalUnits($fixnum.Int64 value) => $_setInt64(5, value);
+  @$pb.TagNumber(6)
+  $core.bool hasTotalUnits() => $_has(5);
+  @$pb.TagNumber(6)
+  void clearTotalUnits() => $_clearField(6);
+
+  @$pb.TagNumber(7)
+  KernelProgressUnit get unit => $_getN(6);
+  @$pb.TagNumber(7)
+  set unit(KernelProgressUnit value) => $_setField(7, value);
+  @$pb.TagNumber(7)
+  $core.bool hasUnit() => $_has(6);
+  @$pb.TagNumber(7)
+  void clearUnit() => $_clearField(7);
+
+  @$pb.TagNumber(8)
+  $core.bool get terminal => $_getBF(7);
+  @$pb.TagNumber(8)
+  set terminal($core.bool value) => $_setBool(7, value);
+  @$pb.TagNumber(8)
+  $core.bool hasTerminal() => $_has(7);
+  @$pb.TagNumber(8)
+  void clearTerminal() => $_clearField(8);
+
+  /// Bytes currently owned by the kernel's counting allocator at this phase.
+  /// Zero means the release kernel was built without memory accounting.
+  @$pb.TagNumber(9)
+  $fixnum.Int64 get allocatorLiveBytes => $_getI64(8);
+  @$pb.TagNumber(9)
+  set allocatorLiveBytes($fixnum.Int64 value) => $_setInt64(8, value);
+  @$pb.TagNumber(9)
+  $core.bool hasAllocatorLiveBytes() => $_has(8);
+  @$pb.TagNumber(9)
+  void clearAllocatorLiveBytes() => $_clearField(9);
+
+  /// Highest allocator-live observation since this kernel instance started.
+  @$pb.TagNumber(10)
+  $fixnum.Int64 get allocatorPeakBytes => $_getI64(9);
+  @$pb.TagNumber(10)
+  set allocatorPeakBytes($fixnum.Int64 value) => $_setInt64(9, value);
+  @$pb.TagNumber(10)
+  $core.bool hasAllocatorPeakBytes() => $_has(9);
+  @$pb.TagNumber(10)
+  void clearAllocatorPeakBytes() => $_clearField(10);
+
+  /// Exact typed subphase while HYDRATE_LAW is active. Hosts timestamp changes
+  /// at observation time because the deterministic WASI clock is fixed.
+  @$pb.TagNumber(11)
+  KernelLawHydrationStep get lawHydrationStep => $_getN(10);
+  @$pb.TagNumber(11)
+  set lawHydrationStep(KernelLawHydrationStep value) => $_setField(11, value);
+  @$pb.TagNumber(11)
+  $core.bool hasLawHydrationStep() => $_has(10);
+  @$pb.TagNumber(11)
+  void clearLawHydrationStep() => $_clearField(11);
+
+  /// SHA-256 identity of the authenticated USDA law package being hydrated.
+  /// Empty outside HYDRATE_LAW and before the first package begins.
+  @$pb.TagNumber(12)
+  $core.String get lawPackageSha256 => $_getSZ(11);
+  @$pb.TagNumber(12)
+  set lawPackageSha256($core.String value) => $_setString(11, value);
+  @$pb.TagNumber(12)
+  $core.bool hasLawPackageSha256() => $_has(11);
+  @$pb.TagNumber(12)
+  void clearLawPackageSha256() => $_clearField(12);
+}
+
+const $core.bool _omitFieldNames =
+    $core.bool.fromEnvironment('protobuf.omit_field_names');
+const $core.bool _omitMessageNames =
+    $core.bool.fromEnvironment('protobuf.omit_message_names');

package/dart_types/lib/src/proto/nomos/kernel/v1/progress.pbenum.dart

@@ -0,0 +1,160 @@
+// This is a generated file - do not edit.
+//
+// Generated from nomos/kernel/v1/progress.proto.
+
+// @dart = 3.3
+
+// ignore_for_file: annotate_overrides, camel_case_types, comment_references
+// ignore_for_file: constant_identifier_names
+// ignore_for_file: curly_braces_in_flow_control_structures
+// ignore_for_file: deprecated_member_use_from_same_package, library_prefixes
+// ignore_for_file: non_constant_identifier_names
+
+import 'dart:core' as $core;
+
+import 'package:protobuf/protobuf.dart' as $pb;
+
+class KernelProgressOperation extends $pb.ProtobufEnum {
+  static const KernelProgressOperation KERNEL_PROGRESS_OPERATION_UNSPECIFIED =
+      KernelProgressOperation._(
+          0, _omitEnumNames ? '' : 'KERNEL_PROGRESS_OPERATION_UNSPECIFIED');
+  static const KernelProgressOperation KERNEL_PROGRESS_OPERATION_RESTORE_MAIN =
+      KernelProgressOperation._(
+          1, _omitEnumNames ? '' : 'KERNEL_PROGRESS_OPERATION_RESTORE_MAIN');
+
+  static const $core.List<KernelProgressOperation> values =
+      <KernelProgressOperation>[
+    KERNEL_PROGRESS_OPERATION_UNSPECIFIED,
+    KERNEL_PROGRESS_OPERATION_RESTORE_MAIN,
+  ];
+
+  static final $core.List<KernelProgressOperation?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 1);
+  static KernelProgressOperation? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const KernelProgressOperation._(super.value, super.name);
+}
+
+class KernelProgressPhase extends $pb.ProtobufEnum {
+  static const KernelProgressPhase KERNEL_PROGRESS_PHASE_UNSPECIFIED =
+      KernelProgressPhase._(
+          0, _omitEnumNames ? '' : 'KERNEL_PROGRESS_PHASE_UNSPECIFIED');
+  static const KernelProgressPhase KERNEL_PROGRESS_PHASE_CHECK_CUSTODY =
+      KernelProgressPhase._(
+          1, _omitEnumNames ? '' : 'KERNEL_PROGRESS_PHASE_CHECK_CUSTODY');
+  static const KernelProgressPhase KERNEL_PROGRESS_PHASE_READ_CHAIN =
+      KernelProgressPhase._(
+          2, _omitEnumNames ? '' : 'KERNEL_PROGRESS_PHASE_READ_CHAIN');
+  static const KernelProgressPhase KERNEL_PROGRESS_PHASE_INITIALIZE_ENGINE =
+      KernelProgressPhase._(
+          3, _omitEnumNames ? '' : 'KERNEL_PROGRESS_PHASE_INITIALIZE_ENGINE');
+  static const KernelProgressPhase KERNEL_PROGRESS_PHASE_READ_TIMELINE =
+      KernelProgressPhase._(
+          4, _omitEnumNames ? '' : 'KERNEL_PROGRESS_PHASE_READ_TIMELINE');
+  static const KernelProgressPhase KERNEL_PROGRESS_PHASE_HYDRATE_LAW =
+      KernelProgressPhase._(
+          5, _omitEnumNames ? '' : 'KERNEL_PROGRESS_PHASE_HYDRATE_LAW');
+  static const KernelProgressPhase KERNEL_PROGRESS_PHASE_RECOVERY_PRESCAN =
+      KernelProgressPhase._(
+          6, _omitEnumNames ? '' : 'KERNEL_PROGRESS_PHASE_RECOVERY_PRESCAN');
+  static const KernelProgressPhase KERNEL_PROGRESS_PHASE_VERIFY_INTENTS =
+      KernelProgressPhase._(
+          7, _omitEnumNames ? '' : 'KERNEL_PROGRESS_PHASE_VERIFY_INTENTS');
+  static const KernelProgressPhase KERNEL_PROGRESS_PHASE_PROMOTE_CUSTODY =
+      KernelProgressPhase._(
+          8, _omitEnumNames ? '' : 'KERNEL_PROGRESS_PHASE_PROMOTE_CUSTODY');
+  static const KernelProgressPhase KERNEL_PROGRESS_PHASE_REBUILD_FRONTIER =
+      KernelProgressPhase._(
+          9, _omitEnumNames ? '' : 'KERNEL_PROGRESS_PHASE_REBUILD_FRONTIER');
+  static const KernelProgressPhase KERNEL_PROGRESS_PHASE_COMPLETE =
+      KernelProgressPhase._(
+          10, _omitEnumNames ? '' : 'KERNEL_PROGRESS_PHASE_COMPLETE');
+
+  static const $core.List<KernelProgressPhase> values = <KernelProgressPhase>[
+    KERNEL_PROGRESS_PHASE_UNSPECIFIED,
+    KERNEL_PROGRESS_PHASE_CHECK_CUSTODY,
+    KERNEL_PROGRESS_PHASE_READ_CHAIN,
+    KERNEL_PROGRESS_PHASE_INITIALIZE_ENGINE,
+    KERNEL_PROGRESS_PHASE_READ_TIMELINE,
+    KERNEL_PROGRESS_PHASE_HYDRATE_LAW,
+    KERNEL_PROGRESS_PHASE_RECOVERY_PRESCAN,
+    KERNEL_PROGRESS_PHASE_VERIFY_INTENTS,
+    KERNEL_PROGRESS_PHASE_PROMOTE_CUSTODY,
+    KERNEL_PROGRESS_PHASE_REBUILD_FRONTIER,
+    KERNEL_PROGRESS_PHASE_COMPLETE,
+  ];
+
+  static final $core.List<KernelProgressPhase?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 10);
+  static KernelProgressPhase? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const KernelProgressPhase._(super.value, super.name);
+}
+
+class KernelProgressUnit extends $pb.ProtobufEnum {
+  static const KernelProgressUnit KERNEL_PROGRESS_UNIT_UNSPECIFIED =
+      KernelProgressUnit._(
+          0, _omitEnumNames ? '' : 'KERNEL_PROGRESS_UNIT_UNSPECIFIED');
+  static const KernelProgressUnit KERNEL_PROGRESS_UNIT_INTENT =
+      KernelProgressUnit._(
+          1, _omitEnumNames ? '' : 'KERNEL_PROGRESS_UNIT_INTENT');
+  static const KernelProgressUnit KERNEL_PROGRESS_UNIT_LAW_PACKAGE =
+      KernelProgressUnit._(
+          2, _omitEnumNames ? '' : 'KERNEL_PROGRESS_UNIT_LAW_PACKAGE');
+
+  static const $core.List<KernelProgressUnit> values = <KernelProgressUnit>[
+    KERNEL_PROGRESS_UNIT_UNSPECIFIED,
+    KERNEL_PROGRESS_UNIT_INTENT,
+    KERNEL_PROGRESS_UNIT_LAW_PACKAGE,
+  ];
+
+  static final $core.List<KernelProgressUnit?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 2);
+  static KernelProgressUnit? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const KernelProgressUnit._(super.value, super.name);
+}
+
+class KernelLawHydrationStep extends $pb.ProtobufEnum {
+  static const KernelLawHydrationStep KERNEL_LAW_HYDRATION_STEP_UNSPECIFIED =
+      KernelLawHydrationStep._(
+          0, _omitEnumNames ? '' : 'KERNEL_LAW_HYDRATION_STEP_UNSPECIFIED');
+  static const KernelLawHydrationStep KERNEL_LAW_HYDRATION_STEP_READ_CLOSURE =
+      KernelLawHydrationStep._(
+          1, _omitEnumNames ? '' : 'KERNEL_LAW_HYDRATION_STEP_READ_CLOSURE');
+  static const KernelLawHydrationStep KERNEL_LAW_HYDRATION_STEP_COMPOSE_STAGE =
+      KernelLawHydrationStep._(
+          2, _omitEnumNames ? '' : 'KERNEL_LAW_HYDRATION_STEP_COMPOSE_STAGE');
+  static const KernelLawHydrationStep KERNEL_LAW_HYDRATION_STEP_DERIVE_SCHEMAS =
+      KernelLawHydrationStep._(
+          3, _omitEnumNames ? '' : 'KERNEL_LAW_HYDRATION_STEP_DERIVE_SCHEMAS');
+  static const KernelLawHydrationStep
+      KERNEL_LAW_HYDRATION_STEP_LOAD_POLICY_SHELL = KernelLawHydrationStep._(4,
+          _omitEnumNames ? '' : 'KERNEL_LAW_HYDRATION_STEP_LOAD_POLICY_SHELL');
+  static const KernelLawHydrationStep
+      KERNEL_LAW_HYDRATION_STEP_PACKAGE_COMPLETE = KernelLawHydrationStep._(5,
+          _omitEnumNames ? '' : 'KERNEL_LAW_HYDRATION_STEP_PACKAGE_COMPLETE');
+
+  static const $core.List<KernelLawHydrationStep> values =
+      <KernelLawHydrationStep>[
+    KERNEL_LAW_HYDRATION_STEP_UNSPECIFIED,
+    KERNEL_LAW_HYDRATION_STEP_READ_CLOSURE,
+    KERNEL_LAW_HYDRATION_STEP_COMPOSE_STAGE,
+    KERNEL_LAW_HYDRATION_STEP_DERIVE_SCHEMAS,
+    KERNEL_LAW_HYDRATION_STEP_LOAD_POLICY_SHELL,
+    KERNEL_LAW_HYDRATION_STEP_PACKAGE_COMPLETE,
+  ];
+
+  static final $core.List<KernelLawHydrationStep?> _byValue =
+      $pb.ProtobufEnum.$_initByValueList(values, 5);
+  static KernelLawHydrationStep? valueOf($core.int value) =>
+      value < 0 || value >= _byValue.length ? null : _byValue[value];
+
+  const KernelLawHydrationStep._(super.value, super.name);
+}
+
+const $core.bool _omitEnumNames =
+    $core.bool.fromEnvironment('protobuf.omit_enum_names');