SyncResponse class

Closed convergence verdict. Sync used to return a NomosStruct assembled via serde_json, forcing every host to maintain a second interpretation of this kernel-owned procedure. These records are framework protocol, not tenant values, so they remain ordinary generated Protobuf messages end to end.

Available extensions

Constructors

SyncResponse({bool? admitted, String? head, String? candidateHead, String? admittedRemoteHead, String? replayedRemoteHead, Iterable<SyncAdmittedIntent>? admittedRemote, Iterable<BirthOutcome>? remoteBirthOutcomes, SyncRefusal? remoteRefusal, Iterable<SyncReplayedIntent>? replayedLocal, Iterable<String>? skippedLocalIntentIds, Iterable<SyncRefusedIntent>? refusedLocal, CustodyDisagreement? custodyDisagreement, Iterable<String>? parkedLocalRefs, bool? replayPending})
factory
SyncResponse.fromBuffer(List<int> data, [ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY])
factory
SyncResponse.fromJson(String json, [ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY])
factory

Properties

admitted ↔ bool
getter/setter pair
admittedRemote → PbList<SyncAdmittedIntent>
no setter
admittedRemoteHead ↔ String
getter/setter pair
candidateHead ↔ String
getter/setter pair
custodyDisagreement ↔ CustodyDisagreement
No lawful shared base exists. Application policy, not the kernel, chooses whether to retain local custody or request verified replacement of this exact local head.
getter/setter pair
hashCode → int
Calculates a hash code based on the contents of the protobuf.
no setterinherited
getter/setter pair
info_ → BuilderInfo
no setter
isFrozen → bool
Returns true if this message is marked read-only. Otherwise false.
no setterinherited
parkedLocalRefs → PbList<String>
refs/heads/refused/... written for refused local intents when the request opted in. Non-empty means refused_local left main and is recoverable from the refused-offer desk.
no setter
refusedLocal → PbList<SyncRefusedIntent>
no setter
remoteBirthOutcomes → PbList<BirthOutcome>
no setter
remoteRefusal ↔ SyncRefusal
getter/setter pair
replayedLocal → PbList<SyncReplayedIntent>
no setter
replayedRemoteHead ↔ String
getter/setter pair
replayPending ↔ bool
The replay spent its replay_offer_budget before finishing (CAP-757). Nothing was published: live main is unchanged and head is still the live head. The kernel keeps its private candidate; the same request again continues it from the next offer. Every other field is empty until the answer that completes the replay.
getter/setter pair
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
skippedLocalIntentIds → PbList<String>
no setter
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
clearAdmitted() → void
clearAdmittedRemoteHead() → void
clearCandidateHead() → void
clearCustodyDisagreement() → 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
clearHead() → void
clearRemoteRefusal() → void
clearReplayedRemoteHead() → void
clearReplayPending() → void
clone() → SyncResponse
Creates a deep copy of the fields in this message.
copyWith(void updates(SyncResponse)) → SyncResponse
Apply updates to a copy of this message.
createEmptyInstance() → SyncResponse
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.
ensureCustodyDisagreement() → CustodyDisagreement
ensureRemoteRefusal() → SyncRefusal
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
hasAdmitted() → bool
hasAdmittedRemoteHead() → bool
hasCandidateHead() → bool
hasCustodyDisagreement() → 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
hasHead() → bool
hasRemoteRefusal() → bool
hasReplayedRemoteHead() → bool
hasReplayPending() → bool
hasRequiredFields() → bool
Whether the message has required fields.
inherited
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

Static Methods

create() → SyncResponse
getDefault() → SyncResponse