@githolon/runtime 0.114.0 → 0.115.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/RUNTIME-SOURCES.sha256 +71 -54
- package/dist/application-reception.js +2 -2
- package/dist/nomos-native-runtime.js +4980 -2735
- package/dist/nomos-runner-web.js +347 -9
- package/dist/nomos-runner-worker.js +7470 -2345
- package/dist/nomos-runner.js +7205 -2412
- package/dist/remote-reception.cjs +19 -19
- package/dist/remote-reception.js +19 -19
- package/dist/typescript-application-desk.js +22 -22
- package/package.json +1 -1
- package/runner/node-entry.mjs +7129 -4424
- package/src/application_reception.ts +15 -0
- package/src/protocol/nomos/kernel/v1/kernel_pb.d.ts +263 -0
- package/src/protocol/nomos/kernel/v1/kernel_pb.js +323 -281
- package/src/protocol/nomos/runtime/v2/correspondence_desk_pb.d.ts +704 -0
- package/src/protocol/nomos/runtime/v2/correspondence_desk_pb.js +115 -24
- package/src/protocol/nomos/runtime/v2/model_adoption_desk_pb.d.ts +43 -0
- package/src/protocol/nomos/runtime/v2/model_adoption_desk_pb.js +10 -3
- package/src/protocol/nomos/runtime/v2/records_desk_pb.d.ts +10 -0
- package/src/protocol/nomos/runtime/v2/records_desk_pb.js +1 -1
- package/src/protocol/nomos/runtime/v2/runtime_pb.d.ts +15 -1
- package/src/protocol/nomos/runtime/v2/runtime_pb.js +1 -1
|
@@ -1493,6 +1493,12 @@ export declare type PeerEffectReceipt = Message<"nomos.runtime.v2.PeerEffectRece
|
|
|
1493
1493
|
*/
|
|
1494
1494
|
value: PeerConsoleEnrolmentRefused;
|
|
1495
1495
|
case: "consoleEnrolmentRefused";
|
|
1496
|
+
} | {
|
|
1497
|
+
/**
|
|
1498
|
+
* @generated from field: nomos.runtime.v2.PeerStreamReceipt stream = 25;
|
|
1499
|
+
*/
|
|
1500
|
+
value: PeerStreamReceipt;
|
|
1501
|
+
case: "stream";
|
|
1496
1502
|
} | { case: undefined; value?: undefined };
|
|
1497
1503
|
};
|
|
1498
1504
|
|
|
@@ -1546,6 +1552,14 @@ export declare type PeerGitFetchEffect = Message<"nomos.runtime.v2.PeerGitFetchE
|
|
|
1546
1552
|
* @generated from field: nomos.runtime.v2.PeerHttpEffect alongside = 7;
|
|
1547
1553
|
*/
|
|
1548
1554
|
alongside?: PeerHttpEffect | undefined;
|
|
1555
|
+
|
|
1556
|
+
/**
|
|
1557
|
+
* Independent refs fetched CONCURRENTLY with `reference`, from the same ref advertisement (a
|
|
1558
|
+
* source's settled workspace-effect outcomes). Their failure never fails the fetch.
|
|
1559
|
+
*
|
|
1560
|
+
* @generated from field: nomos.runtime.v2.PeerGitRefsAlongside alongside_refs = 8;
|
|
1561
|
+
*/
|
|
1562
|
+
alongsideRefs?: PeerGitRefsAlongside | undefined;
|
|
1549
1563
|
};
|
|
1550
1564
|
|
|
1551
1565
|
/**
|
|
@@ -1587,6 +1601,13 @@ export declare type PeerGitFetchResponse = Message<"nomos.runtime.v2.PeerGitFetc
|
|
|
1587
1601
|
* @generated from field: nomos.runtime.v2.PeerHttpResponse alongside = 5;
|
|
1588
1602
|
*/
|
|
1589
1603
|
alongside?: PeerHttpResponse | undefined;
|
|
1604
|
+
|
|
1605
|
+
/**
|
|
1606
|
+
* The answer to the effect's `alongside_refs`; absent when there was none or it failed.
|
|
1607
|
+
*
|
|
1608
|
+
* @generated from field: nomos.runtime.v2.PeerGitRefsFetched alongside_refs = 6;
|
|
1609
|
+
*/
|
|
1610
|
+
alongsideRefs?: PeerGitRefsFetched | undefined;
|
|
1590
1611
|
};
|
|
1591
1612
|
|
|
1592
1613
|
/**
|
|
@@ -1948,6 +1969,12 @@ export declare type CorrespondencePending = Message<"nomos.runtime.v2.Correspond
|
|
|
1948
1969
|
*/
|
|
1949
1970
|
value: PeerConsoleEnrolmentEffect;
|
|
1950
1971
|
case: "consoleEnrolment";
|
|
1972
|
+
} | {
|
|
1973
|
+
/**
|
|
1974
|
+
* @generated from field: nomos.runtime.v2.PeerStreamEffect stream = 15;
|
|
1975
|
+
*/
|
|
1976
|
+
value: PeerStreamEffect;
|
|
1977
|
+
case: "stream";
|
|
1951
1978
|
} | { case: undefined; value?: undefined };
|
|
1952
1979
|
};
|
|
1953
1980
|
|
|
@@ -2879,6 +2906,53 @@ export declare type LiveOfferFrame = Message<"nomos.runtime.v2.LiveOfferFrame">
|
|
|
2879
2906
|
*/
|
|
2880
2907
|
value: LiveAdmission;
|
|
2881
2908
|
case: "admission";
|
|
2909
|
+
} | {
|
|
2910
|
+
/**
|
|
2911
|
+
* THE STREAM (architecture/peer_catchup.md, CAP-826). One socket per workspace, to that
|
|
2912
|
+
* workspace's coordinator, carries the workspace's whole lifecycle in order from the cloud
|
|
2913
|
+
* peer that holds it: a checkpoint at head H (chunked, resumable), the offers after H in
|
|
2914
|
+
* bounded batches, then live offers. A device never contacts Artifacts.
|
|
2915
|
+
*
|
|
2916
|
+
* @generated from field: nomos.runtime.v2.LiveCheckpointRequest checkpoint_request = 4;
|
|
2917
|
+
*/
|
|
2918
|
+
value: LiveCheckpointRequest;
|
|
2919
|
+
case: "checkpointRequest";
|
|
2920
|
+
} | {
|
|
2921
|
+
/**
|
|
2922
|
+
* @generated from field: nomos.runtime.v2.LiveCheckpointOffer checkpoint_offer = 5;
|
|
2923
|
+
*/
|
|
2924
|
+
value: LiveCheckpointOffer;
|
|
2925
|
+
case: "checkpointOffer";
|
|
2926
|
+
} | {
|
|
2927
|
+
/**
|
|
2928
|
+
* @generated from field: nomos.runtime.v2.LiveCheckpointChunk checkpoint_chunk = 6;
|
|
2929
|
+
*/
|
|
2930
|
+
value: LiveCheckpointChunk;
|
|
2931
|
+
case: "checkpointChunk";
|
|
2932
|
+
} | {
|
|
2933
|
+
/**
|
|
2934
|
+
* @generated from field: nomos.runtime.v2.LiveHistoryRequest history_request = 7;
|
|
2935
|
+
*/
|
|
2936
|
+
value: LiveHistoryRequest;
|
|
2937
|
+
case: "historyRequest";
|
|
2938
|
+
} | {
|
|
2939
|
+
/**
|
|
2940
|
+
* @generated from field: nomos.runtime.v2.LiveRefRequest ref_request = 8;
|
|
2941
|
+
*/
|
|
2942
|
+
value: LiveRefRequest;
|
|
2943
|
+
case: "refRequest";
|
|
2944
|
+
} | {
|
|
2945
|
+
/**
|
|
2946
|
+
* @generated from field: nomos.runtime.v2.LivePack pack = 9;
|
|
2947
|
+
*/
|
|
2948
|
+
value: LivePack;
|
|
2949
|
+
case: "pack";
|
|
2950
|
+
} | {
|
|
2951
|
+
/**
|
|
2952
|
+
* @generated from field: nomos.runtime.v2.LiveStreamRefusal refusal = 10;
|
|
2953
|
+
*/
|
|
2954
|
+
value: LiveStreamRefusal;
|
|
2955
|
+
case: "refusal";
|
|
2882
2956
|
} | { case: undefined; value?: undefined };
|
|
2883
2957
|
};
|
|
2884
2958
|
|
|
@@ -2914,6 +2988,14 @@ export declare type LiveAdmission = Message<"nomos.runtime.v2.LiveAdmission"> &
|
|
|
2914
2988
|
export declare const LiveAdmissionSchema: GenMessage<LiveAdmission>;
|
|
2915
2989
|
|
|
2916
2990
|
/**
|
|
2991
|
+
* `max_offers` (a stream-capable receiver): send at most this many offers directly above `head`;
|
|
2992
|
+
* the receiver announces its new head once it admitted them, and the next batch follows.
|
|
2993
|
+
* `remount_after_offers`: sent only by a copy holding no work above its bookmark. Further behind
|
|
2994
|
+
* than this many offers, or at a head the peer does not hold, answer a checkpoint_offer instead.
|
|
2995
|
+
* `outcomes_digest` (a stream-capable receiver): the hex sha256 of the sorted object ids of the
|
|
2996
|
+
* settled-letter outcome refs it holds (#567). A peer whose own set differs answers with its
|
|
2997
|
+
* `outcomes` (names and ids only); the receiver asks for the ones it lacks with a ref request.
|
|
2998
|
+
*
|
|
2917
2999
|
* @generated from message nomos.runtime.v2.LiveFrontier
|
|
2918
3000
|
*/
|
|
2919
3001
|
export declare type LiveFrontier = Message<"nomos.runtime.v2.LiveFrontier"> & {
|
|
@@ -2926,6 +3008,33 @@ export declare type LiveFrontier = Message<"nomos.runtime.v2.LiveFrontier"> & {
|
|
|
2926
3008
|
* @generated from field: bool response = 2;
|
|
2927
3009
|
*/
|
|
2928
3010
|
response: boolean;
|
|
3011
|
+
|
|
3012
|
+
/**
|
|
3013
|
+
* @generated from field: uint32 max_offers = 3;
|
|
3014
|
+
*/
|
|
3015
|
+
maxOffers: number;
|
|
3016
|
+
|
|
3017
|
+
/**
|
|
3018
|
+
* @generated from field: uint32 remount_after_offers = 4;
|
|
3019
|
+
*/
|
|
3020
|
+
remountAfterOffers: number;
|
|
3021
|
+
|
|
3022
|
+
/**
|
|
3023
|
+
* @generated from field: string outcomes_digest = 5;
|
|
3024
|
+
*/
|
|
3025
|
+
outcomesDigest: string;
|
|
3026
|
+
|
|
3027
|
+
/**
|
|
3028
|
+
* @generated from field: repeated nomos.runtime.v2.RetainedRef outcomes = 6;
|
|
3029
|
+
*/
|
|
3030
|
+
outcomes: RetainedRef[];
|
|
3031
|
+
|
|
3032
|
+
/**
|
|
3033
|
+
* In a peer's answer: the main its custodian has made durable (a copy bookmarks only that).
|
|
3034
|
+
*
|
|
3035
|
+
* @generated from field: optional string sealed = 7;
|
|
3036
|
+
*/
|
|
3037
|
+
sealed?: string | undefined;
|
|
2929
3038
|
};
|
|
2930
3039
|
|
|
2931
3040
|
/**
|
|
@@ -2934,6 +3043,540 @@ export declare type LiveFrontier = Message<"nomos.runtime.v2.LiveFrontier"> & {
|
|
|
2934
3043
|
*/
|
|
2935
3044
|
export declare const LiveFrontierSchema: GenMessage<LiveFrontier>;
|
|
2936
3045
|
|
|
3046
|
+
/**
|
|
3047
|
+
* Start or resume a checkpoint. A resume names the checkpoint (`head`, `pack_id`) and the bytes it
|
|
3048
|
+
* already holds (`offset`); the peer answers the next `window_chunks` chunks, or a newer offer.
|
|
3049
|
+
* `pack_id` is the pack's own trailer hash (hex SHA-1 of its bytes): the receiving kernel verifies it
|
|
3050
|
+
* while indexing, so no shell hashes a checkpoint in JavaScript.
|
|
3051
|
+
*
|
|
3052
|
+
* @generated from message nomos.runtime.v2.LiveCheckpointRequest
|
|
3053
|
+
*/
|
|
3054
|
+
export declare type LiveCheckpointRequest = Message<"nomos.runtime.v2.LiveCheckpointRequest"> & {
|
|
3055
|
+
/**
|
|
3056
|
+
* @generated from field: optional string head = 1;
|
|
3057
|
+
*/
|
|
3058
|
+
head?: string | undefined;
|
|
3059
|
+
|
|
3060
|
+
/**
|
|
3061
|
+
* @generated from field: optional string pack_id = 2;
|
|
3062
|
+
*/
|
|
3063
|
+
packId?: string | undefined;
|
|
3064
|
+
|
|
3065
|
+
/**
|
|
3066
|
+
* @generated from field: uint64 offset = 3;
|
|
3067
|
+
*/
|
|
3068
|
+
offset: bigint;
|
|
3069
|
+
|
|
3070
|
+
/**
|
|
3071
|
+
* @generated from field: uint32 window_chunks = 4;
|
|
3072
|
+
*/
|
|
3073
|
+
windowChunks: number;
|
|
3074
|
+
};
|
|
3075
|
+
|
|
3076
|
+
/**
|
|
3077
|
+
* Describes the message nomos.runtime.v2.LiveCheckpointRequest.
|
|
3078
|
+
* Use `create(LiveCheckpointRequestSchema)` to create a new message.
|
|
3079
|
+
*/
|
|
3080
|
+
export declare const LiveCheckpointRequestSchema: GenMessage<LiveCheckpointRequest>;
|
|
3081
|
+
|
|
3082
|
+
/**
|
|
3083
|
+
* The checkpoint the peer will send: the frontier state at H (H's commit and state tree, and the
|
|
3084
|
+
* settled-letter outcome commits beside it), one deterministic Git pack. It is the same shape as an
|
|
3085
|
+
* epoch boundary's frontier state (CAP-825), whether or not epochs are on.
|
|
3086
|
+
*
|
|
3087
|
+
* @generated from message nomos.runtime.v2.LiveCheckpointOffer
|
|
3088
|
+
*/
|
|
3089
|
+
export declare type LiveCheckpointOffer = Message<"nomos.runtime.v2.LiveCheckpointOffer"> & {
|
|
3090
|
+
/**
|
|
3091
|
+
* @generated from field: string head = 1;
|
|
3092
|
+
*/
|
|
3093
|
+
head: string;
|
|
3094
|
+
|
|
3095
|
+
/**
|
|
3096
|
+
* @generated from field: string pack_id = 2;
|
|
3097
|
+
*/
|
|
3098
|
+
packId: string;
|
|
3099
|
+
|
|
3100
|
+
/**
|
|
3101
|
+
* @generated from field: uint64 bytes = 3;
|
|
3102
|
+
*/
|
|
3103
|
+
bytes: bigint;
|
|
3104
|
+
|
|
3105
|
+
/**
|
|
3106
|
+
* @generated from field: uint32 chunk_bytes = 4;
|
|
3107
|
+
*/
|
|
3108
|
+
chunkBytes: number;
|
|
3109
|
+
|
|
3110
|
+
/**
|
|
3111
|
+
* @generated from field: repeated string shallow = 6;
|
|
3112
|
+
*/
|
|
3113
|
+
shallow: string[];
|
|
3114
|
+
|
|
3115
|
+
/**
|
|
3116
|
+
* The settled-letter outcome refs whose commits the pack carries (#567).
|
|
3117
|
+
*
|
|
3118
|
+
* @generated from field: repeated nomos.runtime.v2.RetainedRef outcomes = 7;
|
|
3119
|
+
*/
|
|
3120
|
+
outcomes: RetainedRef[];
|
|
3121
|
+
|
|
3122
|
+
/**
|
|
3123
|
+
* Offered instead of offers: the copy is further behind than its remount bound, or its head is
|
|
3124
|
+
* not in the peer's custody.
|
|
3125
|
+
*
|
|
3126
|
+
* @generated from field: bool remount = 8;
|
|
3127
|
+
*/
|
|
3128
|
+
remount: boolean;
|
|
3129
|
+
|
|
3130
|
+
/**
|
|
3131
|
+
* @generated from field: optional uint64 offers_behind = 9;
|
|
3132
|
+
*/
|
|
3133
|
+
offersBehind?: bigint | undefined;
|
|
3134
|
+
|
|
3135
|
+
/**
|
|
3136
|
+
* Set when this transfer is a history slice, not a checkpoint: the slice's request id. `head` is
|
|
3137
|
+
* then the shallow boundary the slice continues below, `shallow` its new boundary.
|
|
3138
|
+
*
|
|
3139
|
+
* @generated from field: string request_id = 10;
|
|
3140
|
+
*/
|
|
3141
|
+
requestId: string;
|
|
3142
|
+
|
|
3143
|
+
/**
|
|
3144
|
+
* The main this peer's custodian has made durable. A checkpoint is offered at it whenever the peer
|
|
3145
|
+
* knows it and it is on main; the offers above it follow in batches, so a stream never waits for a
|
|
3146
|
+
* seal. A copy bookmarks the checkpoint's head only when it is this sealed head.
|
|
3147
|
+
*
|
|
3148
|
+
* @generated from field: optional string sealed = 11;
|
|
3149
|
+
*/
|
|
3150
|
+
sealed?: string | undefined;
|
|
3151
|
+
|
|
3152
|
+
/**
|
|
3153
|
+
* The peer's main when it offered this checkpoint. Above `head`, the copy levels to it after mounting.
|
|
3154
|
+
*
|
|
3155
|
+
* @generated from field: string main = 12;
|
|
3156
|
+
*/
|
|
3157
|
+
main: string;
|
|
3158
|
+
};
|
|
3159
|
+
|
|
3160
|
+
/**
|
|
3161
|
+
* Describes the message nomos.runtime.v2.LiveCheckpointOffer.
|
|
3162
|
+
* Use `create(LiveCheckpointOfferSchema)` to create a new message.
|
|
3163
|
+
*/
|
|
3164
|
+
export declare const LiveCheckpointOfferSchema: GenMessage<LiveCheckpointOffer>;
|
|
3165
|
+
|
|
3166
|
+
/**
|
|
3167
|
+
* One chunk of a checkpoint, or (with `request_id`) of a history slice.
|
|
3168
|
+
*
|
|
3169
|
+
* @generated from message nomos.runtime.v2.LiveCheckpointChunk
|
|
3170
|
+
*/
|
|
3171
|
+
export declare type LiveCheckpointChunk = Message<"nomos.runtime.v2.LiveCheckpointChunk"> & {
|
|
3172
|
+
/**
|
|
3173
|
+
* @generated from field: string pack_id = 1;
|
|
3174
|
+
*/
|
|
3175
|
+
packId: string;
|
|
3176
|
+
|
|
3177
|
+
/**
|
|
3178
|
+
* @generated from field: uint64 offset = 2;
|
|
3179
|
+
*/
|
|
3180
|
+
offset: bigint;
|
|
3181
|
+
|
|
3182
|
+
/**
|
|
3183
|
+
* @generated from field: bytes bytes = 3;
|
|
3184
|
+
*/
|
|
3185
|
+
bytes: Uint8Array;
|
|
3186
|
+
|
|
3187
|
+
/**
|
|
3188
|
+
* @generated from field: string request_id = 4;
|
|
3189
|
+
*/
|
|
3190
|
+
requestId: string;
|
|
3191
|
+
};
|
|
3192
|
+
|
|
3193
|
+
/**
|
|
3194
|
+
* Describes the message nomos.runtime.v2.LiveCheckpointChunk.
|
|
3195
|
+
* Use `create(LiveCheckpointChunkSchema)` to create a new message.
|
|
3196
|
+
*/
|
|
3197
|
+
export declare const LiveCheckpointChunkSchema: GenMessage<LiveCheckpointChunk>;
|
|
3198
|
+
|
|
3199
|
+
/**
|
|
3200
|
+
* One lazy-history slice: `depth` generations below a shallow `boundary` the copy holds. A slice is a
|
|
3201
|
+
* transfer like a checkpoint: offered, then chunked; a resume names the slice (`pack_id`) and the bytes
|
|
3202
|
+
* already held (`offset`), and the peer answers the next `window_chunks` chunks.
|
|
3203
|
+
*
|
|
3204
|
+
* @generated from message nomos.runtime.v2.LiveHistoryRequest
|
|
3205
|
+
*/
|
|
3206
|
+
export declare type LiveHistoryRequest = Message<"nomos.runtime.v2.LiveHistoryRequest"> & {
|
|
3207
|
+
/**
|
|
3208
|
+
* @generated from field: string request_id = 1;
|
|
3209
|
+
*/
|
|
3210
|
+
requestId: string;
|
|
3211
|
+
|
|
3212
|
+
/**
|
|
3213
|
+
* @generated from field: string boundary = 2;
|
|
3214
|
+
*/
|
|
3215
|
+
boundary: string;
|
|
3216
|
+
|
|
3217
|
+
/**
|
|
3218
|
+
* @generated from field: uint32 depth = 3;
|
|
3219
|
+
*/
|
|
3220
|
+
depth: number;
|
|
3221
|
+
|
|
3222
|
+
/**
|
|
3223
|
+
* @generated from field: optional string pack_id = 4;
|
|
3224
|
+
*/
|
|
3225
|
+
packId?: string | undefined;
|
|
3226
|
+
|
|
3227
|
+
/**
|
|
3228
|
+
* @generated from field: uint64 offset = 5;
|
|
3229
|
+
*/
|
|
3230
|
+
offset: bigint;
|
|
3231
|
+
|
|
3232
|
+
/**
|
|
3233
|
+
* @generated from field: uint32 window_chunks = 6;
|
|
3234
|
+
*/
|
|
3235
|
+
windowChunks: number;
|
|
3236
|
+
};
|
|
3237
|
+
|
|
3238
|
+
/**
|
|
3239
|
+
* Describes the message nomos.runtime.v2.LiveHistoryRequest.
|
|
3240
|
+
* Use `create(LiveHistoryRequestSchema)` to create a new message.
|
|
3241
|
+
*/
|
|
3242
|
+
export declare const LiveHistoryRequestSchema: GenMessage<LiveHistoryRequest>;
|
|
3243
|
+
|
|
3244
|
+
/**
|
|
3245
|
+
* An independent ref (refs/nomos/placement) at `want`, with its (small) history; or, for the
|
|
3246
|
+
* settled-letter outcome namespace (refs/nomos/effect-outcomes/), the parentless commits `wants`.
|
|
3247
|
+
*
|
|
3248
|
+
* @generated from message nomos.runtime.v2.LiveRefRequest
|
|
3249
|
+
*/
|
|
3250
|
+
export declare type LiveRefRequest = Message<"nomos.runtime.v2.LiveRefRequest"> & {
|
|
3251
|
+
/**
|
|
3252
|
+
* @generated from field: string request_id = 1;
|
|
3253
|
+
*/
|
|
3254
|
+
requestId: string;
|
|
3255
|
+
|
|
3256
|
+
/**
|
|
3257
|
+
* @generated from field: string reference = 2;
|
|
3258
|
+
*/
|
|
3259
|
+
reference: string;
|
|
3260
|
+
|
|
3261
|
+
/**
|
|
3262
|
+
* @generated from field: optional string want = 3;
|
|
3263
|
+
*/
|
|
3264
|
+
want?: string | undefined;
|
|
3265
|
+
|
|
3266
|
+
/**
|
|
3267
|
+
* @generated from field: repeated string wants = 4;
|
|
3268
|
+
*/
|
|
3269
|
+
wants: string[];
|
|
3270
|
+
};
|
|
3271
|
+
|
|
3272
|
+
/**
|
|
3273
|
+
* Describes the message nomos.runtime.v2.LiveRefRequest.
|
|
3274
|
+
* Use `create(LiveRefRequestSchema)` to create a new message.
|
|
3275
|
+
*/
|
|
3276
|
+
export declare const LiveRefRequestSchema: GenMessage<LiveRefRequest>;
|
|
3277
|
+
|
|
3278
|
+
/**
|
|
3279
|
+
* A pack the stream sends: a checkpoint, a history slice, a ref, settled-letter outcomes, or a batch
|
|
3280
|
+
* of the offers after a copy's head (`request_id` "level:<base>", `base` the head it continues): the
|
|
3281
|
+
* sealed offers as the commits the peer admitted them in, so the copy's kernel adopts exactly those
|
|
3282
|
+
* commits on the same parent and verifies them by hash.
|
|
3283
|
+
*
|
|
3284
|
+
* @generated from message nomos.runtime.v2.LivePack
|
|
3285
|
+
*/
|
|
3286
|
+
export declare type LivePack = Message<"nomos.runtime.v2.LivePack"> & {
|
|
3287
|
+
/**
|
|
3288
|
+
* @generated from field: string request_id = 1;
|
|
3289
|
+
*/
|
|
3290
|
+
requestId: string;
|
|
3291
|
+
|
|
3292
|
+
/**
|
|
3293
|
+
* @generated from field: string reference = 2;
|
|
3294
|
+
*/
|
|
3295
|
+
reference: string;
|
|
3296
|
+
|
|
3297
|
+
/**
|
|
3298
|
+
* @generated from field: string head = 3;
|
|
3299
|
+
*/
|
|
3300
|
+
head: string;
|
|
3301
|
+
|
|
3302
|
+
/**
|
|
3303
|
+
* @generated from field: bytes pack = 4;
|
|
3304
|
+
*/
|
|
3305
|
+
pack: Uint8Array;
|
|
3306
|
+
|
|
3307
|
+
/**
|
|
3308
|
+
* @generated from field: repeated string shallow = 5;
|
|
3309
|
+
*/
|
|
3310
|
+
shallow: string[];
|
|
3311
|
+
|
|
3312
|
+
/**
|
|
3313
|
+
* @generated from field: string base = 6;
|
|
3314
|
+
*/
|
|
3315
|
+
base: string;
|
|
3316
|
+
|
|
3317
|
+
/**
|
|
3318
|
+
* @generated from field: uint32 offers = 7;
|
|
3319
|
+
*/
|
|
3320
|
+
offers: number;
|
|
3321
|
+
|
|
3322
|
+
/**
|
|
3323
|
+
* The main the peer's custodian had made durable when it answered.
|
|
3324
|
+
*
|
|
3325
|
+
* @generated from field: optional string sealed = 8;
|
|
3326
|
+
*/
|
|
3327
|
+
sealed?: string | undefined;
|
|
3328
|
+
};
|
|
3329
|
+
|
|
3330
|
+
/**
|
|
3331
|
+
* Describes the message nomos.runtime.v2.LivePack.
|
|
3332
|
+
* Use `create(LivePackSchema)` to create a new message.
|
|
3333
|
+
*/
|
|
3334
|
+
export declare const LivePackSchema: GenMessage<LivePack>;
|
|
3335
|
+
|
|
3336
|
+
/**
|
|
3337
|
+
* @generated from message nomos.runtime.v2.LiveStreamRefusal
|
|
3338
|
+
*/
|
|
3339
|
+
export declare type LiveStreamRefusal = Message<"nomos.runtime.v2.LiveStreamRefusal"> & {
|
|
3340
|
+
/**
|
|
3341
|
+
* @generated from field: string request_id = 1;
|
|
3342
|
+
*/
|
|
3343
|
+
requestId: string;
|
|
3344
|
+
|
|
3345
|
+
/**
|
|
3346
|
+
* @generated from field: string code = 2;
|
|
3347
|
+
*/
|
|
3348
|
+
code: string;
|
|
3349
|
+
|
|
3350
|
+
/**
|
|
3351
|
+
* @generated from field: string message = 3;
|
|
3352
|
+
*/
|
|
3353
|
+
message: string;
|
|
3354
|
+
|
|
3355
|
+
/**
|
|
3356
|
+
* The peer is opening the workspace or acquiring the history asked for: ask again after this.
|
|
3357
|
+
*
|
|
3358
|
+
* @generated from field: optional uint32 retry_after_millis = 4;
|
|
3359
|
+
*/
|
|
3360
|
+
retryAfterMillis?: number | undefined;
|
|
3361
|
+
};
|
|
3362
|
+
|
|
3363
|
+
/**
|
|
3364
|
+
* Describes the message nomos.runtime.v2.LiveStreamRefusal.
|
|
3365
|
+
* Use `create(LiveStreamRefusalSchema)` to create a new message.
|
|
3366
|
+
*/
|
|
3367
|
+
export declare const LiveStreamRefusalSchema: GenMessage<LiveStreamRefusal>;
|
|
3368
|
+
|
|
3369
|
+
/**
|
|
3370
|
+
* A coordinator's paper to the cloud peer that holds the workspace: serve one stream request.
|
|
3371
|
+
*
|
|
3372
|
+
* @generated from message nomos.runtime.v2.LiveStreamRequest
|
|
3373
|
+
*/
|
|
3374
|
+
export declare type LiveStreamRequest = Message<"nomos.runtime.v2.LiveStreamRequest"> & {
|
|
3375
|
+
/**
|
|
3376
|
+
* @generated from oneof nomos.runtime.v2.LiveStreamRequest.request
|
|
3377
|
+
*/
|
|
3378
|
+
request: {
|
|
3379
|
+
/**
|
|
3380
|
+
* @generated from field: nomos.runtime.v2.LiveFrontier frontier = 1;
|
|
3381
|
+
*/
|
|
3382
|
+
value: LiveFrontier;
|
|
3383
|
+
case: "frontier";
|
|
3384
|
+
} | {
|
|
3385
|
+
/**
|
|
3386
|
+
* @generated from field: nomos.runtime.v2.LiveCheckpointRequest checkpoint = 2;
|
|
3387
|
+
*/
|
|
3388
|
+
value: LiveCheckpointRequest;
|
|
3389
|
+
case: "checkpoint";
|
|
3390
|
+
} | {
|
|
3391
|
+
/**
|
|
3392
|
+
* @generated from field: nomos.runtime.v2.LiveHistoryRequest history = 3;
|
|
3393
|
+
*/
|
|
3394
|
+
value: LiveHistoryRequest;
|
|
3395
|
+
case: "history";
|
|
3396
|
+
} | {
|
|
3397
|
+
/**
|
|
3398
|
+
* @generated from field: nomos.runtime.v2.LiveRefRequest ref = 4;
|
|
3399
|
+
*/
|
|
3400
|
+
value: LiveRefRequest;
|
|
3401
|
+
case: "ref";
|
|
3402
|
+
} | { case: undefined; value?: undefined };
|
|
3403
|
+
};
|
|
3404
|
+
|
|
3405
|
+
/**
|
|
3406
|
+
* Describes the message nomos.runtime.v2.LiveStreamRequest.
|
|
3407
|
+
* Use `create(LiveStreamRequestSchema)` to create a new message.
|
|
3408
|
+
*/
|
|
3409
|
+
export declare const LiveStreamRequestSchema: GenMessage<LiveStreamRequest>;
|
|
3410
|
+
|
|
3411
|
+
/**
|
|
3412
|
+
* The frames to send, in order, to the socket that asked.
|
|
3413
|
+
*
|
|
3414
|
+
* @generated from message nomos.runtime.v2.LiveStreamAnswer
|
|
3415
|
+
*/
|
|
3416
|
+
export declare type LiveStreamAnswer = Message<"nomos.runtime.v2.LiveStreamAnswer"> & {
|
|
3417
|
+
/**
|
|
3418
|
+
* @generated from field: repeated nomos.runtime.v2.LiveOfferFrame frames = 1;
|
|
3419
|
+
*/
|
|
3420
|
+
frames: LiveOfferFrame[];
|
|
3421
|
+
};
|
|
3422
|
+
|
|
3423
|
+
/**
|
|
3424
|
+
* Describes the message nomos.runtime.v2.LiveStreamAnswer.
|
|
3425
|
+
* Use `create(LiveStreamAnswerSchema)` to create a new message.
|
|
3426
|
+
*/
|
|
3427
|
+
export declare const LiveStreamAnswerSchema: GenMessage<LiveStreamAnswer>;
|
|
3428
|
+
|
|
3429
|
+
/**
|
|
3430
|
+
* Inside a device's Peer Office only (architecture/peer_catchup.md): a procedure's request of its
|
|
3431
|
+
* workspace's stream. The office serves it over the workspace's live socket and answers the
|
|
3432
|
+
* procedure itself; a shell never performs it and refuses one it is handed.
|
|
3433
|
+
*
|
|
3434
|
+
* @generated from message nomos.runtime.v2.PeerStreamEffect
|
|
3435
|
+
*/
|
|
3436
|
+
export declare type PeerStreamEffect = Message<"nomos.runtime.v2.PeerStreamEffect"> & {
|
|
3437
|
+
/**
|
|
3438
|
+
* @generated from field: string effect_id = 1;
|
|
3439
|
+
*/
|
|
3440
|
+
effectId: string;
|
|
3441
|
+
|
|
3442
|
+
/**
|
|
3443
|
+
* @generated from field: string workspace = 2;
|
|
3444
|
+
*/
|
|
3445
|
+
workspace: string;
|
|
3446
|
+
|
|
3447
|
+
/**
|
|
3448
|
+
* @generated from oneof nomos.runtime.v2.PeerStreamEffect.request
|
|
3449
|
+
*/
|
|
3450
|
+
request: {
|
|
3451
|
+
/**
|
|
3452
|
+
* @generated from field: nomos.runtime.v2.LiveCheckpointRequest checkpoint = 3;
|
|
3453
|
+
*/
|
|
3454
|
+
value: LiveCheckpointRequest;
|
|
3455
|
+
case: "checkpoint";
|
|
3456
|
+
} | {
|
|
3457
|
+
/**
|
|
3458
|
+
* @generated from field: nomos.runtime.v2.LiveHistoryRequest history = 4;
|
|
3459
|
+
*/
|
|
3460
|
+
value: LiveHistoryRequest;
|
|
3461
|
+
case: "history";
|
|
3462
|
+
} | {
|
|
3463
|
+
/**
|
|
3464
|
+
* @generated from field: nomos.runtime.v2.LiveRefRequest ref = 5;
|
|
3465
|
+
*/
|
|
3466
|
+
value: LiveRefRequest;
|
|
3467
|
+
case: "ref";
|
|
3468
|
+
} | {
|
|
3469
|
+
/**
|
|
3470
|
+
* Bring this copy level with the peer's main over the socket: batches of offers after its head,
|
|
3471
|
+
* or (with `remount_after_offers`, from a copy holding no work above its bookmark) a checkpoint
|
|
3472
|
+
* to remount when it is further behind than that.
|
|
3473
|
+
*
|
|
3474
|
+
* @generated from field: nomos.runtime.v2.LiveFrontier level = 6;
|
|
3475
|
+
*/
|
|
3476
|
+
value: LiveFrontier;
|
|
3477
|
+
case: "level";
|
|
3478
|
+
} | { case: undefined; value?: undefined };
|
|
3479
|
+
|
|
3480
|
+
/**
|
|
3481
|
+
* Only start the ask and answer at once (an empty receipt): the procedure does other work (its
|
|
3482
|
+
* law products) while the stream delivers, then asks again without `start_only` to wait for it.
|
|
3483
|
+
*
|
|
3484
|
+
* @generated from field: bool start_only = 7;
|
|
3485
|
+
*/
|
|
3486
|
+
startOnly: boolean;
|
|
3487
|
+
|
|
3488
|
+
/**
|
|
3489
|
+
* Where the workspace is followed from (its custodian's workspace URL) and the credential the
|
|
3490
|
+
* stream presents, for a workspace this copy streams without a follow of its own (a prerequisite).
|
|
3491
|
+
*
|
|
3492
|
+
* @generated from field: string upstream = 8;
|
|
3493
|
+
*/
|
|
3494
|
+
upstream: string;
|
|
3495
|
+
|
|
3496
|
+
/**
|
|
3497
|
+
* @generated from field: string credential_capability = 9;
|
|
3498
|
+
*/
|
|
3499
|
+
credentialCapability: string;
|
|
3500
|
+
};
|
|
3501
|
+
|
|
3502
|
+
/**
|
|
3503
|
+
* Describes the message nomos.runtime.v2.PeerStreamEffect.
|
|
3504
|
+
* Use `create(PeerStreamEffectSchema)` to create a new message.
|
|
3505
|
+
*/
|
|
3506
|
+
export declare const PeerStreamEffectSchema: GenMessage<PeerStreamEffect>;
|
|
3507
|
+
|
|
3508
|
+
/**
|
|
3509
|
+
* @generated from message nomos.runtime.v2.PeerStreamReceipt
|
|
3510
|
+
*/
|
|
3511
|
+
export declare type PeerStreamReceipt = Message<"nomos.runtime.v2.PeerStreamReceipt"> & {
|
|
3512
|
+
/**
|
|
3513
|
+
* @generated from oneof nomos.runtime.v2.PeerStreamReceipt.outcome
|
|
3514
|
+
*/
|
|
3515
|
+
outcome: {
|
|
3516
|
+
/**
|
|
3517
|
+
* A complete, verified checkpoint, or the pack a history/ref request asked for.
|
|
3518
|
+
*
|
|
3519
|
+
* @generated from field: nomos.runtime.v2.LivePack pack = 1;
|
|
3520
|
+
*/
|
|
3521
|
+
value: LivePack;
|
|
3522
|
+
case: "pack";
|
|
3523
|
+
} | {
|
|
3524
|
+
/**
|
|
3525
|
+
* The stream brought this copy's main to the peer's announced main.
|
|
3526
|
+
*
|
|
3527
|
+
* @generated from field: string level = 2;
|
|
3528
|
+
*/
|
|
3529
|
+
value: string;
|
|
3530
|
+
case: "level";
|
|
3531
|
+
} | {
|
|
3532
|
+
/**
|
|
3533
|
+
* @generated from field: nomos.runtime.v2.LiveStreamRefusal refusal = 3;
|
|
3534
|
+
*/
|
|
3535
|
+
value: LiveStreamRefusal;
|
|
3536
|
+
case: "refusal";
|
|
3537
|
+
} | { case: undefined; value?: undefined };
|
|
3538
|
+
|
|
3539
|
+
/**
|
|
3540
|
+
* The checkpoint's outcome refs, present with a checkpoint pack.
|
|
3541
|
+
*
|
|
3542
|
+
* @generated from field: repeated nomos.runtime.v2.RetainedRef outcomes = 4;
|
|
3543
|
+
*/
|
|
3544
|
+
outcomes: RetainedRef[];
|
|
3545
|
+
|
|
3546
|
+
/**
|
|
3547
|
+
* @generated from field: uint64 received_bytes = 5;
|
|
3548
|
+
*/
|
|
3549
|
+
receivedBytes: bigint;
|
|
3550
|
+
|
|
3551
|
+
/**
|
|
3552
|
+
* The peer's durable main as it last said (a copy bookmarks only a durable head).
|
|
3553
|
+
*
|
|
3554
|
+
* @generated from field: optional string sealed = 6;
|
|
3555
|
+
*/
|
|
3556
|
+
sealed?: string | undefined;
|
|
3557
|
+
|
|
3558
|
+
/**
|
|
3559
|
+
* The pack's bytes are a file in the kernel's filesystem (the transfer landed there chunk by chunk);
|
|
3560
|
+
* the pack field is then empty and the import names this file.
|
|
3561
|
+
*
|
|
3562
|
+
* @generated from field: optional string staged_pack_file = 7;
|
|
3563
|
+
*/
|
|
3564
|
+
stagedPackFile?: string | undefined;
|
|
3565
|
+
|
|
3566
|
+
/**
|
|
3567
|
+
* With a checkpoint: the peer's main when it offered it (the copy levels to it after mounting).
|
|
3568
|
+
*
|
|
3569
|
+
* @generated from field: optional string main = 8;
|
|
3570
|
+
*/
|
|
3571
|
+
main?: string | undefined;
|
|
3572
|
+
};
|
|
3573
|
+
|
|
3574
|
+
/**
|
|
3575
|
+
* Describes the message nomos.runtime.v2.PeerStreamReceipt.
|
|
3576
|
+
* Use `create(PeerStreamReceiptSchema)` to create a new message.
|
|
3577
|
+
*/
|
|
3578
|
+
export declare const PeerStreamReceiptSchema: GenMessage<PeerStreamReceipt>;
|
|
3579
|
+
|
|
2937
3580
|
/**
|
|
2938
3581
|
* Runtime-owned socket lifecycle; shells only operate the identified socket.
|
|
2939
3582
|
*
|
|
@@ -3738,6 +4381,67 @@ export declare type OutboxTargetCount = Message<"nomos.runtime.v2.OutboxTargetCo
|
|
|
3738
4381
|
*/
|
|
3739
4382
|
export declare const OutboxTargetCountSchema: GenMessage<OutboxTargetCount>;
|
|
3740
4383
|
|
|
4384
|
+
/**
|
|
4385
|
+
* Every ref the remote advertises below `prefix`, each an independent history of its own (never
|
|
4386
|
+
* below `reference`'s shallow boundary). The shell fetches, without depth and without negotiation,
|
|
4387
|
+
* the advertised objects not in `held`, at most `limit` of them per fetch (0: no limit).
|
|
4388
|
+
*
|
|
4389
|
+
* @generated from message nomos.runtime.v2.PeerGitRefsAlongside
|
|
4390
|
+
*/
|
|
4391
|
+
export declare type PeerGitRefsAlongside = Message<"nomos.runtime.v2.PeerGitRefsAlongside"> & {
|
|
4392
|
+
/**
|
|
4393
|
+
* @generated from field: string prefix = 1;
|
|
4394
|
+
*/
|
|
4395
|
+
prefix: string;
|
|
4396
|
+
|
|
4397
|
+
/**
|
|
4398
|
+
* @generated from field: repeated string held = 2;
|
|
4399
|
+
*/
|
|
4400
|
+
held: string[];
|
|
4401
|
+
|
|
4402
|
+
/**
|
|
4403
|
+
* @generated from field: uint32 limit = 3;
|
|
4404
|
+
*/
|
|
4405
|
+
limit: number;
|
|
4406
|
+
};
|
|
4407
|
+
|
|
4408
|
+
/**
|
|
4409
|
+
* Describes the message nomos.runtime.v2.PeerGitRefsAlongside.
|
|
4410
|
+
* Use `create(PeerGitRefsAlongsideSchema)` to create a new message.
|
|
4411
|
+
*/
|
|
4412
|
+
export declare const PeerGitRefsAlongsideSchema: GenMessage<PeerGitRefsAlongside>;
|
|
4413
|
+
|
|
4414
|
+
/**
|
|
4415
|
+
* The advertised refs below the prefix whose objects the peer holds once `pack` is imported: every
|
|
4416
|
+
* one already `held`, and every one this pack carries. The Peer Office chooses which to write.
|
|
4417
|
+
*
|
|
4418
|
+
* @generated from message nomos.runtime.v2.PeerGitRefsFetched
|
|
4419
|
+
*/
|
|
4420
|
+
export declare type PeerGitRefsFetched = Message<"nomos.runtime.v2.PeerGitRefsFetched"> & {
|
|
4421
|
+
/**
|
|
4422
|
+
* @generated from field: repeated nomos.runtime.v2.RetainedRef refs = 1;
|
|
4423
|
+
*/
|
|
4424
|
+
refs: RetainedRef[];
|
|
4425
|
+
|
|
4426
|
+
/**
|
|
4427
|
+
* @generated from field: bytes pack = 2;
|
|
4428
|
+
*/
|
|
4429
|
+
pack: Uint8Array;
|
|
4430
|
+
|
|
4431
|
+
/**
|
|
4432
|
+
* Advertised refs below the prefix that this fetch left for a later one (the `limit`).
|
|
4433
|
+
*
|
|
4434
|
+
* @generated from field: uint32 deferred = 3;
|
|
4435
|
+
*/
|
|
4436
|
+
deferred: number;
|
|
4437
|
+
};
|
|
4438
|
+
|
|
4439
|
+
/**
|
|
4440
|
+
* Describes the message nomos.runtime.v2.PeerGitRefsFetched.
|
|
4441
|
+
* Use `create(PeerGitRefsFetchedSchema)` to create a new message.
|
|
4442
|
+
*/
|
|
4443
|
+
export declare const PeerGitRefsFetchedSchema: GenMessage<PeerGitRefsFetched>;
|
|
4444
|
+
|
|
3741
4445
|
/**
|
|
3742
4446
|
* @generated from enum nomos.runtime.v2.ShareWorkspaceOutcome
|
|
3743
4447
|
*/
|