KernelProgressSnapshot class

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.

Available extensions

Constructors

KernelProgressSnapshot({int? schemaVersion, Int64? sequence, KernelProgressOperation? operation, KernelProgressPhase? phase, Int64? completedUnits, Int64? totalUnits, KernelProgressUnit? unit, bool? terminal, Int64? allocatorLiveBytes, Int64? allocatorPeakBytes, KernelLawHydrationStep? lawHydrationStep, String? lawPackageSha256})
factory
KernelProgressSnapshot.fromBuffer(List<int> data, [ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY])
factory
KernelProgressSnapshot.fromJson(String json, [ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY])
factory

Properties

allocatorLiveBytes ↔ Int64
Bytes currently owned by the kernel's counting allocator at this phase. Zero means the release kernel was built without memory accounting.
getter/setter pair
allocatorPeakBytes ↔ Int64
Highest allocator-live observation since this kernel instance started.
getter/setter pair
completedUnits ↔ Int64
getter/setter pair
hashCode → int
Calculates a hash code based on the contents of the protobuf.
no setterinherited
info_ → BuilderInfo
no setter
isFrozen → bool
Returns true if this message is marked read-only. Otherwise false.
no setterinherited
lawHydrationStep ↔ KernelLawHydrationStep
Exact typed subphase while HYDRATE_LAW is active. Hosts timestamp changes at observation time because the deterministic WASI clock is fixed.
getter/setter pair
lawPackageSha256 ↔ String
SHA-256 identity of the authenticated USDA law package being hydrated. Empty outside HYDRATE_LAW and before the first package begins.
getter/setter pair
operation ↔ KernelProgressOperation
getter/setter pair
phase ↔ KernelProgressPhase
getter/setter pair
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
schemaVersion ↔ int
getter/setter pair
sequence ↔ Int64
getter/setter pair
terminal ↔ bool
getter/setter pair
totalUnits ↔ Int64
getter/setter pair
unit ↔ KernelProgressUnit
getter/setter pair
unknownFields → UnknownFieldSet
no setterinherited

Methods

addExtension(Extension extension, Object? value) → void
Adds an extension field value to a repeated field.
inherited
check() → void
Throws a StateError if the message has required fields without a value.
inherited
clear() → void
Clears all data that was set in this message.
inherited
clearAllocatorLiveBytes() → void
clearAllocatorPeakBytes() → void
clearCompletedUnits() → void
clearExtension(Extension extension) → void
Clears an extension field and also removes the extension.
inherited
clearField(int tagNumber) → void
Clears the contents of a given field.
inherited
clearLawHydrationStep() → void
clearLawPackageSha256() → void
clearOperation() → void
clearPhase() → void
clearSchemaVersion() → void
clearSequence() → void
clearTerminal() → void
clearTotalUnits() → void
clearUnit() → void
clone() → KernelProgressSnapshot
Creates a deep copy of the fields in this message.
copyWith(void updates(KernelProgressSnapshot)) → KernelProgressSnapshot
Apply updates to a copy of this message.
createEmptyInstance() → KernelProgressSnapshot
Creates an empty instance of the same message type as this.
deepCopy() → T

Available on T, provided by the GeneratedMessageGenericExtensions extension

Returns a writable deep copy of this message.
extensionsAreInitialized() → bool
inherited
freeze() → GeneratedMessage
Make this message read-only.
inherited
getDefaultForField(int tagNumber) → dynamic
Returns the default value for the given field.
inherited
getExtension(Extension extension) → dynamic
Returns the value of extension.
inherited
getField(int tagNumber) → dynamic
Returns the value of the field associated with tagNumber, or the default value if it is not set.
inherited
getFieldOrNull(int tagNumber) → dynamic
Returns the value of a field, ignoring any defaults.
inherited
getTagNumber(String fieldName) → int?
inherited
hasAllocatorLiveBytes() → bool
hasAllocatorPeakBytes() → bool
hasCompletedUnits() → bool
hasExtension(Extension extension) → bool
Returns true if a value of extension is present.
inherited
hasField(int tagNumber) → bool
Whether this message has a field associated with tagNumber.
inherited
hasLawHydrationStep() → bool
hasLawPackageSha256() → bool
hasOperation() → bool
hasPhase() → bool
hasRequiredFields() → bool
Whether the message has required fields.
inherited
hasSchemaVersion() → bool
hasSequence() → bool
hasTerminal() → bool
hasTotalUnits() → bool
hasUnit() → bool
isInitialized() → bool
Whether all required fields in the message and embedded messages are set.
inherited
mergeFromBuffer(List<int> input, [ExtensionRegistry extensionRegistry = ExtensionRegistry.EMPTY]) → void
Merges serialized protocol buffer data into this message.
inherited
mergeFromCodedBufferReader(CodedBufferReader input, [ExtensionRegistry extensionRegistry = ExtensionRegistry.EMPTY]) → void
Same as mergeFromBuffer, but takes a CodedBufferReader input.
inherited
mergeFromJson(String data, [ExtensionRegistry extensionRegistry = ExtensionRegistry.EMPTY]) → void
Merges field values from data, a JSON object, encoded as described by GeneratedMessage.writeToJson.
inherited
mergeFromJsonMap(Map<String, dynamic> json, [ExtensionRegistry extensionRegistry = ExtensionRegistry.EMPTY]) → void
Merges field values from a JSON object represented as a Dart map.
inherited
mergeFromMessage(GeneratedMessage other) → void
Merges the contents of the other into this message.
inherited
mergeFromProto3Json(Object? json, {TypeRegistry typeRegistry = const TypeRegistry.empty(), bool ignoreUnknownFields = false, bool supportNamesWithUnderscores = true, bool permissiveEnums = false}) → void
Merges field values from json, a JSON object using proto3 encoding.
inherited
mergeUnknownFields(UnknownFieldSet unknownFieldSet) → void
inherited
noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
rebuild(void updates(T)) → T

Available on T, provided by the GeneratedMessageGenericExtensions extension

Apply updates to a copy of this message.
setExtension(Extension extension, Object value) → void
Sets the value of a non-repeated extension field to value.
inherited
setField(int tagNumber, Object value) → void
Sets the value of a field by its tagNumber.
inherited
toBuilder() → GeneratedMessage
Creates a writable, shallow copy of this message.
inherited
toDebugString() → String
Returns a String representation of this message.
inherited
toProto3Json({TypeRegistry typeRegistry = const TypeRegistry.empty()}) → Object?
Returns an Object representing Proto3 JSON serialization of this.
inherited
toString() → String
Returns a String representation of this message.
inherited
writeToBuffer() → Uint8List
Serialize the message as the protobuf binary format.
inherited
writeToCodedBufferWriter(CodedBufferWriter output) → void
Same as writeToBuffer, but serializes to the given CodedBufferWriter.
inherited
writeToJson() → String
Returns a JSON string that encodes this message.
inherited
writeToJsonMap() → Map<String, dynamic>
Returns the JSON encoding of this message as a Dart Map.
inherited

Operators

operator ==(Object other) → bool
The equality operator.
inherited