KernelConfigurationRequest class
Immutable process configuration supplied once by the Peer Office before it opens any workspace custody. This is not law, an offer or a test backdoor: it selects the external trust universe in which this kernel instance will verify lineage. Repeating the same configuration is idempotent; changing it after configuration is refused.
- Available extensions
Constructors
-
KernelConfigurationRequest({List<
int> ? trustRootPublicKey, bool? trustsCustodianHistory, bool? deferredDurability, bool? hostCallLedger}) -
factory
-
KernelConfigurationRequest.fromBuffer(List<
int> data, [ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) -
factory
- KernelConfigurationRequest.fromJson(String json, [ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY])
-
factory
Properties
- deferredDurability ↔ bool
-
A peer property, not law (CAP-746): this peer is a personal device whose saves acknowledge
once their writes reach the OS. The kernel forces nothing to stable storage on the hot path
and owes it to an ordered background flush (MaintenanceQuantumQuery.flush_durability); a
reopen after an unclean shutdown returns main to the last flushed head if its newer custody
is unreadable and rebuilds unsynced disposable indexes. Absent or false keeps synchronous
durability (the cloud custodian). Immutable once set.
getter/setter pair
- hashCode → int
-
Calculates a hash code based on the contents of the protobuf.
no setterinherited
- hostCallLedger ↔ bool
-
Observability only, never law: this host counts the host calls it services into the kernel's
per-offer phase ledger (kernel/src/offer_phases.rs). The kernel answers with the ledger's
address in its own linear memory; the host adds one call and its nanoseconds there for every
host call, and reads the finished offer line back from the same block. Changes no judgment.
getter/setter pair
- info_ → BuilderInfo
-
no setter
- isFrozen → bool
-
Returns
trueif this message is marked read-only. Otherwisefalse.no setterinherited - runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
-
trustRootPublicKey
↔ List<
int> -
Empty leaves an already configured trust root unchanged.
getter/setter pair
- trustsCustodianHistory ↔ bool
-
A peer property, not law: this peer adopts the history its authenticated custodian serves
without re-proving it (no physical closure walk on import, no re-verification of the
custodian's commits on convergence). Keeping the custodian honest is then the custodian's
job, which it does by verifying every untrusted offer. Absent or false keeps full
verification. Immutable once set, like the trust root.
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
-
clearDeferredDurability(
) → 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
-
clearHostCallLedger(
) → void -
clearTrustRootPublicKey(
) → void -
clearTrustsCustodianHistory(
) → void -
clone(
) → KernelConfigurationRequest - Creates a deep copy of the fields in this message.
-
copyWith(
void updates(KernelConfigurationRequest)) → KernelConfigurationRequest -
Apply
updatesto a copy of this message. -
createEmptyInstance(
) → KernelConfigurationRequest - 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
-
hasDeferredDurability(
) → bool -
hasExtension(
Extension extension) → bool -
Returns
trueif a value ofextensionis present.inherited -
hasField(
int tagNumber) → bool -
Whether this message has a field associated with
tagNumber.inherited -
hasHostCallLedger(
) → bool -
hasRequiredFields(
) → bool -
Whether the message has required fields.
inherited
-
hasTrustRootPublicKey(
) → bool -
hasTrustsCustodianHistory(
) → 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 aCodedBufferReaderinput.inherited -
mergeFromJson(
String data, [ExtensionRegistry extensionRegistry = ExtensionRegistry.EMPTY]) → void -
Merges field values from
data, a JSON object, encoded as described byGeneratedMessage.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
otherinto 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
Applyupdatesto 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 givenCodedBufferWriter.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