@githolon/runtime 0.114.0 → 0.116.2

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.
@@ -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
  */