instar 1.3.698 → 1.3.700
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/commands/server.d.ts.map +1 -1
- package/dist/commands/server.js +90 -9
- package/dist/commands/server.js.map +1 -1
- package/dist/core/CoherenceJournal.d.ts +10 -1
- package/dist/core/CoherenceJournal.d.ts.map +1 -1
- package/dist/core/CoherenceJournal.js +31 -3
- package/dist/core/CoherenceJournal.js.map +1 -1
- package/dist/core/MachinePoolRegistry.d.ts +13 -0
- package/dist/core/MachinePoolRegistry.d.ts.map +1 -1
- package/dist/core/MachinePoolRegistry.js +22 -3
- package/dist/core/MachinePoolRegistry.js.map +1 -1
- package/dist/core/OwnershipApplier.d.ts +21 -0
- package/dist/core/OwnershipApplier.d.ts.map +1 -1
- package/dist/core/OwnershipApplier.js +60 -5
- package/dist/core/OwnershipApplier.js.map +1 -1
- package/dist/core/OwnershipReconciler.d.ts +80 -3
- package/dist/core/OwnershipReconciler.d.ts.map +1 -1
- package/dist/core/OwnershipReconciler.js +187 -10
- package/dist/core/OwnershipReconciler.js.map +1 -1
- package/dist/core/TopicPinReplicatedStore.d.ts +68 -0
- package/dist/core/TopicPinReplicatedStore.d.ts.map +1 -0
- package/dist/core/TopicPinReplicatedStore.js +148 -0
- package/dist/core/TopicPinReplicatedStore.js.map +1 -0
- package/dist/core/TopicPlacementPinStore.d.ts +20 -2
- package/dist/core/TopicPlacementPinStore.d.ts.map +1 -1
- package/dist/core/TopicPlacementPinStore.js +5 -3
- package/dist/core/TopicPlacementPinStore.js.map +1 -1
- package/dist/core/devGatedFeatures.d.ts.map +1 -1
- package/dist/core/devGatedFeatures.js +6 -0
- package/dist/core/devGatedFeatures.js.map +1 -1
- package/dist/core/ownershipApplierWiring.d.ts +5 -0
- package/dist/core/ownershipApplierWiring.d.ts.map +1 -1
- package/dist/core/ownershipApplierWiring.js +3 -0
- package/dist/core/ownershipApplierWiring.js.map +1 -1
- package/dist/server/AgentServer.d.ts +2 -0
- package/dist/server/AgentServer.d.ts.map +1 -1
- package/dist/server/AgentServer.js +1 -0
- package/dist/server/AgentServer.js.map +1 -1
- package/dist/server/routes.d.ts +2 -0
- package/dist/server/routes.d.ts.map +1 -1
- package/dist/server/routes.js +33 -0
- package/dist/server/routes.js.map +1 -1
- package/package.json +1 -1
- package/src/data/builtin-manifest.json +47 -47
- package/upgrades/1.3.699.md +31 -0
- package/upgrades/1.3.700.md +39 -0
- package/upgrades/side-effects/cross-machine-reconciler-convergence.md +56 -0
- package/upgrades/side-effects/reconciler-meshself-ordering-fix.md +93 -0
package/package.json
CHANGED
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "./builtin-manifest.schema.json",
|
|
3
3
|
"schemaVersion": 1,
|
|
4
|
-
"generatedAt": "2026-06-
|
|
5
|
-
"instarVersion": "1.3.
|
|
4
|
+
"generatedAt": "2026-06-30T06:26:47.170Z",
|
|
5
|
+
"instarVersion": "1.3.700",
|
|
6
6
|
"entryCount": 202,
|
|
7
7
|
"entries": {
|
|
8
8
|
"hook:session-start": {
|
|
@@ -418,7 +418,7 @@
|
|
|
418
418
|
"type": "route-group",
|
|
419
419
|
"domain": "monitoring",
|
|
420
420
|
"sourcePath": "src/server/routes.ts",
|
|
421
|
-
"contentHash": "
|
|
421
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
422
422
|
"since": "2025-01-01"
|
|
423
423
|
},
|
|
424
424
|
"route-group:agents": {
|
|
@@ -426,7 +426,7 @@
|
|
|
426
426
|
"type": "route-group",
|
|
427
427
|
"domain": "sessions",
|
|
428
428
|
"sourcePath": "src/server/routes.ts",
|
|
429
|
-
"contentHash": "
|
|
429
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
430
430
|
"since": "2025-01-01"
|
|
431
431
|
},
|
|
432
432
|
"route-group:backups": {
|
|
@@ -434,7 +434,7 @@
|
|
|
434
434
|
"type": "route-group",
|
|
435
435
|
"domain": "operations",
|
|
436
436
|
"sourcePath": "src/server/routes.ts",
|
|
437
|
-
"contentHash": "
|
|
437
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
438
438
|
"since": "2025-01-01"
|
|
439
439
|
},
|
|
440
440
|
"route-group:git": {
|
|
@@ -442,7 +442,7 @@
|
|
|
442
442
|
"type": "route-group",
|
|
443
443
|
"domain": "coordination",
|
|
444
444
|
"sourcePath": "src/server/routes.ts",
|
|
445
|
-
"contentHash": "
|
|
445
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
446
446
|
"since": "2025-01-01"
|
|
447
447
|
},
|
|
448
448
|
"route-group:memory": {
|
|
@@ -450,7 +450,7 @@
|
|
|
450
450
|
"type": "route-group",
|
|
451
451
|
"domain": "memory",
|
|
452
452
|
"sourcePath": "src/server/routes.ts",
|
|
453
|
-
"contentHash": "
|
|
453
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
454
454
|
"since": "2025-01-01"
|
|
455
455
|
},
|
|
456
456
|
"route-group:semantic": {
|
|
@@ -458,7 +458,7 @@
|
|
|
458
458
|
"type": "route-group",
|
|
459
459
|
"domain": "memory",
|
|
460
460
|
"sourcePath": "src/server/routes.ts",
|
|
461
|
-
"contentHash": "
|
|
461
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
462
462
|
"since": "2025-01-01"
|
|
463
463
|
},
|
|
464
464
|
"route-group:status": {
|
|
@@ -466,7 +466,7 @@
|
|
|
466
466
|
"type": "route-group",
|
|
467
467
|
"domain": "monitoring",
|
|
468
468
|
"sourcePath": "src/server/routes.ts",
|
|
469
|
-
"contentHash": "
|
|
469
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
470
470
|
"since": "2025-01-01"
|
|
471
471
|
},
|
|
472
472
|
"route-group:capabilities": {
|
|
@@ -474,7 +474,7 @@
|
|
|
474
474
|
"type": "route-group",
|
|
475
475
|
"domain": "mapping",
|
|
476
476
|
"sourcePath": "src/server/routes.ts",
|
|
477
|
-
"contentHash": "
|
|
477
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
478
478
|
"since": "2025-01-01"
|
|
479
479
|
},
|
|
480
480
|
"route-group:project-map": {
|
|
@@ -482,7 +482,7 @@
|
|
|
482
482
|
"type": "route-group",
|
|
483
483
|
"domain": "mapping",
|
|
484
484
|
"sourcePath": "src/server/routes.ts",
|
|
485
|
-
"contentHash": "
|
|
485
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
486
486
|
"since": "2025-01-01"
|
|
487
487
|
},
|
|
488
488
|
"route-group:coherence": {
|
|
@@ -490,7 +490,7 @@
|
|
|
490
490
|
"type": "route-group",
|
|
491
491
|
"domain": "coherence",
|
|
492
492
|
"sourcePath": "src/server/routes.ts",
|
|
493
|
-
"contentHash": "
|
|
493
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
494
494
|
"since": "2025-01-01"
|
|
495
495
|
},
|
|
496
496
|
"route-group:topic-bindings": {
|
|
@@ -498,7 +498,7 @@
|
|
|
498
498
|
"type": "route-group",
|
|
499
499
|
"domain": "sessions",
|
|
500
500
|
"sourcePath": "src/server/routes.ts",
|
|
501
|
-
"contentHash": "
|
|
501
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
502
502
|
"since": "2025-01-01"
|
|
503
503
|
},
|
|
504
504
|
"route-group:context": {
|
|
@@ -506,7 +506,7 @@
|
|
|
506
506
|
"type": "route-group",
|
|
507
507
|
"domain": "context",
|
|
508
508
|
"sourcePath": "src/server/routes.ts",
|
|
509
|
-
"contentHash": "
|
|
509
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
510
510
|
"since": "2025-01-01"
|
|
511
511
|
},
|
|
512
512
|
"route-group:scope-coherence": {
|
|
@@ -514,7 +514,7 @@
|
|
|
514
514
|
"type": "route-group",
|
|
515
515
|
"domain": "coherence",
|
|
516
516
|
"sourcePath": "src/server/routes.ts",
|
|
517
|
-
"contentHash": "
|
|
517
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
518
518
|
"since": "2025-01-01"
|
|
519
519
|
},
|
|
520
520
|
"route-group:canonical-state": {
|
|
@@ -522,7 +522,7 @@
|
|
|
522
522
|
"type": "route-group",
|
|
523
523
|
"domain": "state",
|
|
524
524
|
"sourcePath": "src/server/routes.ts",
|
|
525
|
-
"contentHash": "
|
|
525
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
526
526
|
"since": "2025-01-01"
|
|
527
527
|
},
|
|
528
528
|
"route-group:ci": {
|
|
@@ -530,7 +530,7 @@
|
|
|
530
530
|
"type": "route-group",
|
|
531
531
|
"domain": "monitoring",
|
|
532
532
|
"sourcePath": "src/server/routes.ts",
|
|
533
|
-
"contentHash": "
|
|
533
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
534
534
|
"since": "2025-01-01"
|
|
535
535
|
},
|
|
536
536
|
"route-group:sessions": {
|
|
@@ -538,7 +538,7 @@
|
|
|
538
538
|
"type": "route-group",
|
|
539
539
|
"domain": "sessions",
|
|
540
540
|
"sourcePath": "src/server/routes.ts",
|
|
541
|
-
"contentHash": "
|
|
541
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
542
542
|
"since": "2025-01-01"
|
|
543
543
|
},
|
|
544
544
|
"route-group:jobs": {
|
|
@@ -546,7 +546,7 @@
|
|
|
546
546
|
"type": "route-group",
|
|
547
547
|
"domain": "scheduling",
|
|
548
548
|
"sourcePath": "src/server/routes.ts",
|
|
549
|
-
"contentHash": "
|
|
549
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
550
550
|
"since": "2025-01-01"
|
|
551
551
|
},
|
|
552
552
|
"route-group:skip-ledger": {
|
|
@@ -554,7 +554,7 @@
|
|
|
554
554
|
"type": "route-group",
|
|
555
555
|
"domain": "scheduling",
|
|
556
556
|
"sourcePath": "src/server/routes.ts",
|
|
557
|
-
"contentHash": "
|
|
557
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
558
558
|
"since": "2025-01-01"
|
|
559
559
|
},
|
|
560
560
|
"route-group:telegram": {
|
|
@@ -562,7 +562,7 @@
|
|
|
562
562
|
"type": "route-group",
|
|
563
563
|
"domain": "communication",
|
|
564
564
|
"sourcePath": "src/server/routes.ts",
|
|
565
|
-
"contentHash": "
|
|
565
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
566
566
|
"since": "2025-01-01"
|
|
567
567
|
},
|
|
568
568
|
"route-group:attention": {
|
|
@@ -570,7 +570,7 @@
|
|
|
570
570
|
"type": "route-group",
|
|
571
571
|
"domain": "communication",
|
|
572
572
|
"sourcePath": "src/server/routes.ts",
|
|
573
|
-
"contentHash": "
|
|
573
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
574
574
|
"since": "2025-01-01"
|
|
575
575
|
},
|
|
576
576
|
"route-group:relationships": {
|
|
@@ -578,7 +578,7 @@
|
|
|
578
578
|
"type": "route-group",
|
|
579
579
|
"domain": "relationships",
|
|
580
580
|
"sourcePath": "src/server/routes.ts",
|
|
581
|
-
"contentHash": "
|
|
581
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
582
582
|
"since": "2025-01-01"
|
|
583
583
|
},
|
|
584
584
|
"route-group:feedback": {
|
|
@@ -586,7 +586,7 @@
|
|
|
586
586
|
"type": "route-group",
|
|
587
587
|
"domain": "feedback",
|
|
588
588
|
"sourcePath": "src/server/routes.ts",
|
|
589
|
-
"contentHash": "
|
|
589
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
590
590
|
"since": "2025-01-01"
|
|
591
591
|
},
|
|
592
592
|
"route-group:updates": {
|
|
@@ -594,7 +594,7 @@
|
|
|
594
594
|
"type": "route-group",
|
|
595
595
|
"domain": "updates",
|
|
596
596
|
"sourcePath": "src/server/routes.ts",
|
|
597
|
-
"contentHash": "
|
|
597
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
598
598
|
"since": "2025-01-01"
|
|
599
599
|
},
|
|
600
600
|
"route-group:dispatches": {
|
|
@@ -602,7 +602,7 @@
|
|
|
602
602
|
"type": "route-group",
|
|
603
603
|
"domain": "dispatches",
|
|
604
604
|
"sourcePath": "src/server/routes.ts",
|
|
605
|
-
"contentHash": "
|
|
605
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
606
606
|
"since": "2025-01-01"
|
|
607
607
|
},
|
|
608
608
|
"route-group:quota": {
|
|
@@ -610,7 +610,7 @@
|
|
|
610
610
|
"type": "route-group",
|
|
611
611
|
"domain": "monitoring",
|
|
612
612
|
"sourcePath": "src/server/routes.ts",
|
|
613
|
-
"contentHash": "
|
|
613
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
614
614
|
"since": "2025-01-01"
|
|
615
615
|
},
|
|
616
616
|
"route-group:publishing": {
|
|
@@ -618,7 +618,7 @@
|
|
|
618
618
|
"type": "route-group",
|
|
619
619
|
"domain": "publishing",
|
|
620
620
|
"sourcePath": "src/server/routes.ts",
|
|
621
|
-
"contentHash": "
|
|
621
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
622
622
|
"since": "2025-01-01"
|
|
623
623
|
},
|
|
624
624
|
"route-group:private-views": {
|
|
@@ -626,7 +626,7 @@
|
|
|
626
626
|
"type": "route-group",
|
|
627
627
|
"domain": "publishing",
|
|
628
628
|
"sourcePath": "src/server/routes.ts",
|
|
629
|
-
"contentHash": "
|
|
629
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
630
630
|
"since": "2025-01-01"
|
|
631
631
|
},
|
|
632
632
|
"route-group:tunnel": {
|
|
@@ -634,7 +634,7 @@
|
|
|
634
634
|
"type": "route-group",
|
|
635
635
|
"domain": "networking",
|
|
636
636
|
"sourcePath": "src/server/routes.ts",
|
|
637
|
-
"contentHash": "
|
|
637
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
638
638
|
"since": "2025-01-01"
|
|
639
639
|
},
|
|
640
640
|
"route-group:events": {
|
|
@@ -642,7 +642,7 @@
|
|
|
642
642
|
"type": "route-group",
|
|
643
643
|
"domain": "networking",
|
|
644
644
|
"sourcePath": "src/server/routes.ts",
|
|
645
|
-
"contentHash": "
|
|
645
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
646
646
|
"since": "2025-01-01"
|
|
647
647
|
},
|
|
648
648
|
"route-group:evolution": {
|
|
@@ -650,7 +650,7 @@
|
|
|
650
650
|
"type": "route-group",
|
|
651
651
|
"domain": "evolution",
|
|
652
652
|
"sourcePath": "src/server/routes.ts",
|
|
653
|
-
"contentHash": "
|
|
653
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
654
654
|
"since": "2025-01-01"
|
|
655
655
|
},
|
|
656
656
|
"route-group:watchdog": {
|
|
@@ -658,7 +658,7 @@
|
|
|
658
658
|
"type": "route-group",
|
|
659
659
|
"domain": "monitoring",
|
|
660
660
|
"sourcePath": "src/server/routes.ts",
|
|
661
|
-
"contentHash": "
|
|
661
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
662
662
|
"since": "2025-01-01"
|
|
663
663
|
},
|
|
664
664
|
"route-group:topic-memory": {
|
|
@@ -666,7 +666,7 @@
|
|
|
666
666
|
"type": "route-group",
|
|
667
667
|
"domain": "memory",
|
|
668
668
|
"sourcePath": "src/server/routes.ts",
|
|
669
|
-
"contentHash": "
|
|
669
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
670
670
|
"since": "2025-01-01"
|
|
671
671
|
},
|
|
672
672
|
"route-group:state-sync": {
|
|
@@ -674,7 +674,7 @@
|
|
|
674
674
|
"type": "route-group",
|
|
675
675
|
"domain": "coordination",
|
|
676
676
|
"sourcePath": "src/server/routes.ts",
|
|
677
|
-
"contentHash": "
|
|
677
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
678
678
|
"since": "2025-01-01"
|
|
679
679
|
},
|
|
680
680
|
"route-group:intent": {
|
|
@@ -682,7 +682,7 @@
|
|
|
682
682
|
"type": "route-group",
|
|
683
683
|
"domain": "intent",
|
|
684
684
|
"sourcePath": "src/server/routes.ts",
|
|
685
|
-
"contentHash": "
|
|
685
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
686
686
|
"since": "2025-01-01"
|
|
687
687
|
},
|
|
688
688
|
"route-group:triage": {
|
|
@@ -690,7 +690,7 @@
|
|
|
690
690
|
"type": "route-group",
|
|
691
691
|
"domain": "safety",
|
|
692
692
|
"sourcePath": "src/server/routes.ts",
|
|
693
|
-
"contentHash": "
|
|
693
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
694
694
|
"since": "2025-01-01"
|
|
695
695
|
},
|
|
696
696
|
"route-group:operations": {
|
|
@@ -698,7 +698,7 @@
|
|
|
698
698
|
"type": "route-group",
|
|
699
699
|
"domain": "safety",
|
|
700
700
|
"sourcePath": "src/server/routes.ts",
|
|
701
|
-
"contentHash": "
|
|
701
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
702
702
|
"since": "2025-01-01"
|
|
703
703
|
},
|
|
704
704
|
"route-group:sentinel": {
|
|
@@ -706,7 +706,7 @@
|
|
|
706
706
|
"type": "route-group",
|
|
707
707
|
"domain": "safety",
|
|
708
708
|
"sourcePath": "src/server/routes.ts",
|
|
709
|
-
"contentHash": "
|
|
709
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
710
710
|
"since": "2025-01-01"
|
|
711
711
|
},
|
|
712
712
|
"route-group:trust": {
|
|
@@ -714,7 +714,7 @@
|
|
|
714
714
|
"type": "route-group",
|
|
715
715
|
"domain": "safety",
|
|
716
716
|
"sourcePath": "src/server/routes.ts",
|
|
717
|
-
"contentHash": "
|
|
717
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
718
718
|
"since": "2025-01-01"
|
|
719
719
|
},
|
|
720
720
|
"route-group:monitoring": {
|
|
@@ -722,7 +722,7 @@
|
|
|
722
722
|
"type": "route-group",
|
|
723
723
|
"domain": "monitoring",
|
|
724
724
|
"sourcePath": "src/server/routes.ts",
|
|
725
|
-
"contentHash": "
|
|
725
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
726
726
|
"since": "2025-01-01"
|
|
727
727
|
},
|
|
728
728
|
"route-group:commitments": {
|
|
@@ -730,7 +730,7 @@
|
|
|
730
730
|
"type": "route-group",
|
|
731
731
|
"domain": "commitments",
|
|
732
732
|
"sourcePath": "src/server/routes.ts",
|
|
733
|
-
"contentHash": "
|
|
733
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
734
734
|
"since": "2025-01-01"
|
|
735
735
|
},
|
|
736
736
|
"route-group:episodes": {
|
|
@@ -738,7 +738,7 @@
|
|
|
738
738
|
"type": "route-group",
|
|
739
739
|
"domain": "memory",
|
|
740
740
|
"sourcePath": "src/server/routes.ts",
|
|
741
|
-
"contentHash": "
|
|
741
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
742
742
|
"since": "2025-01-01"
|
|
743
743
|
},
|
|
744
744
|
"route-group:messages": {
|
|
@@ -746,7 +746,7 @@
|
|
|
746
746
|
"type": "route-group",
|
|
747
747
|
"domain": "coordination",
|
|
748
748
|
"sourcePath": "src/server/routes.ts",
|
|
749
|
-
"contentHash": "
|
|
749
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
750
750
|
"since": "2025-01-01"
|
|
751
751
|
},
|
|
752
752
|
"route-group:system-reviews": {
|
|
@@ -754,7 +754,7 @@
|
|
|
754
754
|
"type": "route-group",
|
|
755
755
|
"domain": "monitoring",
|
|
756
756
|
"sourcePath": "src/server/routes.ts",
|
|
757
|
-
"contentHash": "
|
|
757
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
758
758
|
"since": "2025-01-01"
|
|
759
759
|
},
|
|
760
760
|
"route-group:machine-mesh": {
|
|
@@ -770,7 +770,7 @@
|
|
|
770
770
|
"type": "route-group",
|
|
771
771
|
"domain": "security",
|
|
772
772
|
"sourcePath": "src/server/routes.ts",
|
|
773
|
-
"contentHash": "
|
|
773
|
+
"contentHash": "0cc2eb0170501a43c818c88863303c7cb20fd905a0cddc0ec57352138c3b004c",
|
|
774
774
|
"since": "2025-01-01"
|
|
775
775
|
},
|
|
776
776
|
"cli:init": {
|
|
@@ -1530,7 +1530,7 @@
|
|
|
1530
1530
|
"type": "subsystem",
|
|
1531
1531
|
"domain": "server",
|
|
1532
1532
|
"sourcePath": "src/server/AgentServer.ts",
|
|
1533
|
-
"contentHash": "
|
|
1533
|
+
"contentHash": "c55b920cb89980f73d9226b5770c63a94170e9fca13c81a501a2664d73c6bd96",
|
|
1534
1534
|
"since": "2025-01-01"
|
|
1535
1535
|
},
|
|
1536
1536
|
"subsystem:session-manager": {
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
# Upgrade Guide — vNEXT
|
|
2
|
+
|
|
3
|
+
<!-- assembled-by: assemble-next-md -->
|
|
4
|
+
<!-- bump: patch -->
|
|
5
|
+
|
|
6
|
+
## What Changed
|
|
7
|
+
|
|
8
|
+
Closes the cross-machine "stuck move" bug: a conversation pinned to one machine while another still owned it never converged. Three root causes are fixed:
|
|
9
|
+
|
|
10
|
+
1. **Clock-skew quarantine false-positive** — the pool-refresh fed the coarse, git-synced file heartbeat's timestamp into the live 5-minute clock-skew check, permanently quarantining a peer whose clock was actually fine. A `coarseHeartbeat` flag now makes coarse beats refresh liveness without ever driving the skew FSM.
|
|
11
|
+
2. **The pin (move-instruction) never reached the owning machine** — it was written only on the lease-holder. A new `topic-pin-record` replicated-record kind (on the existing WS2 replicated-record rails: HLC ordering, tombstone-on-clear, quarantine) replicates the pin; the owning machine's reconciler reads it as an HLC-ordered, validated (known + online target) advisory move-intent and starts the cooperative transfer.
|
|
12
|
+
3. **The `transferring` handoff signal never replicated** — `PlacementData` is extended with `status`/`transferTo`/`timestamp`/`drainInFlight`, threaded at the shared `emitPlacement` helper, and `OwnershipApplier` now materializes the transferring state (validated `transferTo`→downgrade, epoch-fenced, timestamp-clamped) so the target machine claims and the handoff completes.
|
|
13
|
+
|
|
14
|
+
Also: a stuck-transferring `abort-transfer` recovery (a dead-target handoff self-heals back to active instead of freezing), a read-only `GET /pool/reconciler` observability route, and the testing-integrity root fix — the reconciler test harness is rebuilt so every test runs separate-per-machine stores joined only by a journal pump (the shared-store harness had masked this bug class for months).
|
|
15
|
+
|
|
16
|
+
Ships dark behind `multiMachine.seamlessness.ws13Reconcile` / `ws13DryRun` and an independent `ws13PinReplicate` sub-flag (dev-agent live, fleet dark). A single-machine agent is a strict no-op.
|
|
17
|
+
|
|
18
|
+
## What to Tell Your User
|
|
19
|
+
|
|
20
|
+
Nothing yet — this ships **off by default** (infrastructure, fleet-dark). When it is enabled, moving a conversation between your machines will reliably converge instead of silently getting stuck, and a move that can't complete will surface honestly ("still moving / couldn't move") rather than freezing. There is no change to how things work today until it is deliberately turned on.
|
|
21
|
+
|
|
22
|
+
## Summary of New Capabilities
|
|
23
|
+
|
|
24
|
+
- (Dark) Reliable cross-machine conversation moves: the owning machine learns it is pinned away and completes the hand-off, with skew-proof ordering, validated targets, and self-healing recovery.
|
|
25
|
+
- `GET /pool/reconciler` — read-only observability for the cross-machine reconciler (last-tick status + per-topic decision explanation).
|
|
26
|
+
|
|
27
|
+
## Evidence
|
|
28
|
+
|
|
29
|
+
- Spec converged through 3 review rounds (8 internal reviewers + codex/gemini external each round, ~24 findings folded): `docs/specs/cross-machine-reconciler-convergence.md` (`review-convergence` + `approved: true`); report at `docs/specs/reports/cross-machine-reconciler-convergence-convergence.md`.
|
|
30
|
+
- Unit: full suite `npx vitest run tests/unit` exits 0. New/changed unit coverage: `MachinePoolRegistry.test.ts` (coarse-heartbeat skew abstention, both sides), `OwnershipApplier.test.ts` (transferring materialization, transferTo downgrade, epoch fence, timestamp clamp, owner-anchored tie-break), `OwnershipReconciler.test.ts` (rebuilt to the real two-machine topology + advisory-pin precedence/N3/offline-target + abort-transfer recovery), `TopicPinReplicatedStore.test.ts` (HLC merge, tombstone, malformed-reject).
|
|
31
|
+
- Integration: `tests/integration/topic-pin-replication.test.ts` (pin round-trips the real CoherenceJournal: emit→validate→append→read→merge; tombstone; re-pin HLC; malformed-reject; op-key dedupe) + `tests/integration/pool-reconciler-route.test.ts` (401 / 503-when-dark / 200-status / 200-topic-explain).
|
|
@@ -0,0 +1,39 @@
|
|
|
1
|
+
# Upgrade Guide — vNEXT
|
|
2
|
+
|
|
3
|
+
<!-- assembled-by: assemble-next-md -->
|
|
4
|
+
<!-- bump: patch -->
|
|
5
|
+
|
|
6
|
+
## What Changed
|
|
7
|
+
|
|
8
|
+
The cross-machine convergence loop (`OwnershipReconciler`) was being wired during server startup inside a
|
|
9
|
+
guard that required the machine's mesh id to already be set — but that id is assigned ~950 lines later in the
|
|
10
|
+
same synchronous boot sequence. So the guard was always null and **the reconciler was never constructed and
|
|
11
|
+
never ticked** (live-confirmed: zero `OwnershipReconciler` lines in the server log; `/pool/reconciler` 503
|
|
12
|
+
even with both machines online). This made the merged cross-machine "stuck move" fix correct but inert — the
|
|
13
|
+
loop that consumes it didn't exist.
|
|
14
|
+
|
|
15
|
+
The fix applies the exact pattern already shipped for the sibling `OwnershipApplier`
|
|
16
|
+
(`ownership-applier-meshself-ordering-fix`): construction is now gated on the pin store alone, and
|
|
17
|
+
`selfMachineId` is a **late-bound getter** read at tick time. While the id is still unresolved (very early
|
|
18
|
+
boot) a tick is a strict no-op (`skipped: 'self-id-unresolved'`); once it resolves, the same loop instance
|
|
19
|
+
acts. Found by driving the feature through live, exactly the value of the live-proof discipline.
|
|
20
|
+
|
|
21
|
+
## What to Tell Your User
|
|
22
|
+
|
|
23
|
+
Nothing yet — the convergence loop remains off by default (dev-gated). This fix simply means that when it is
|
|
24
|
+
enabled, the loop actually runs (it never did before). No change to normal use until it's turned on.
|
|
25
|
+
|
|
26
|
+
## Summary of New Capabilities
|
|
27
|
+
|
|
28
|
+
- (Dark) The cross-machine convergence loop is now actually constructed and ticking on every machine that has
|
|
29
|
+
a pin store — the prerequisite for the merged stuck-move fix to take effect.
|
|
30
|
+
|
|
31
|
+
## Evidence
|
|
32
|
+
|
|
33
|
+
- Unit: `tests/unit/OwnershipReconciler.test.ts` — 32 tests incl. two new regression tests (a null self-id is
|
|
34
|
+
a strict no-op even with a triggering pin; once the getter resolves, the SAME instance transfers). All four
|
|
35
|
+
`new OwnershipReconciler` construction sites updated to the late-bound shape.
|
|
36
|
+
- Affected suites green: OwnershipReconciler, OwnershipApplier, CoherenceJournal, MachinePoolRegistry,
|
|
37
|
+
TopicPinReplicatedStore (123 tests).
|
|
38
|
+
- The sibling `OwnershipApplier` already carries this identical fix + its own converged spec, establishing the
|
|
39
|
+
proven pattern.
|
|
@@ -0,0 +1,56 @@
|
|
|
1
|
+
# Side-Effects Review — Cross-Machine Ownership-Reconciler Convergence
|
|
2
|
+
|
|
3
|
+
**Version / slug:** `cross-machine-reconciler-convergence`
|
|
4
|
+
**Date:** 2026-06-30
|
|
5
|
+
**Author:** echo (autonomous pre-approved run, topic 28744)
|
|
6
|
+
**Second-pass reviewer:** echo second-pass subagent (high-risk: ownership/routing decision surface)
|
|
7
|
+
|
|
8
|
+
## Summary of the change
|
|
9
|
+
|
|
10
|
+
Closes the cross-machine "stuck move" bug: a conversation pinned to machine T while machine S still owns it never converged. Three root causes, all live-verified Laptop↔Mini: (1) a false-positive **clock-skew quarantine** — `refreshPool()` fed the coarse git-synced file heartbeat's timestamp into the live 5-min clock-skew FSM, permanently quarantining the peer (fix: a `coarseHeartbeat` flag so coarse beats refresh liveness but never drive the skew FSM); (2) the **pin (move-intent) never replicated** to the owning machine (fix: a new `topic-pin-record` replicated-record kind on the WS2 rails + `TopicPinReplicatedStore` advisory consumer + reconciler HLC-precedence between local and advisory pins, validated known+online); (3) the **`transferring` handoff signal never replicated** (fix: extend `PlacementData` with `status`/`transferTo`/`timestamp`/`drainInFlight`, thread it at the shared `emitPlacement` helper, and have `OwnershipApplier` materialize the transferring state — validated `transferTo`, epoch-fenced, timestamp-clamped — so the target machine claims). Plus a stuck-transferring `abort-transfer` recovery case, the `/pool/reconciler` observability route, and the **testing-integrity root fix**: `makeSim` rebuilt so every reconciler test runs separate-per-machine stores joined only by a journal pump (the shared-store harness masked this bug for months). Files: `MachinePoolRegistry.ts`, `CoherenceJournal.ts`, `OwnershipApplier.ts`/`ownershipApplierWiring.ts`, `OwnershipReconciler.ts`, `TopicPlacementPinStore.ts`, new `TopicPinReplicatedStore.ts`, `server.ts`, `routes.ts`, `AgentServer.ts`, tests. Decision points touched: the WS1.3 OwnershipReconciler (ownership transfer/claim/abort), the OwnershipApplier (cross-machine ownership materialization), the clock-skew quarantine FSM.
|
|
11
|
+
|
|
12
|
+
## Decision-point inventory
|
|
13
|
+
|
|
14
|
+
- `OwnershipReconciler.tick()` (ownership transfer/claim/force-claim/abort) — **modify** — now reads an effective pin (local + HLC-ordered advisory) + a new abort-transfer recovery case; still epoch-fenced + death-evidence-gated, never a brittle timer steal.
|
|
15
|
+
- `OwnershipApplier.tick()` (materializes replicated ownership) — **modify** — now materializes `transferring` (validated `transferTo`→downgrade, epoch-fenced, timestamp-clamped), not only `active`.
|
|
16
|
+
- `MachinePoolRegistry.recordHeartbeat()` clock-skew FSM — **modify** — a `coarseHeartbeat` beat no longer drives the FSM (abstains; liveness only).
|
|
17
|
+
- `topic-pin-record` replicated kind + `TopicPinReplicatedStore` — **add** — advisory move-intent replication (HLC, tombstone, quarantine via the WS2 envelope).
|
|
18
|
+
- `GET /pool/reconciler` — **add** — read-only observability (status + per-topic explain); 503 when absent.
|
|
19
|
+
|
|
20
|
+
## 1. Over-block
|
|
21
|
+
|
|
22
|
+
No block/allow message surface. The closest "reject" behaviors are protective and tightly scoped: a replicated `transferring` whose `transferTo` is unknown/offline/==owner is DOWNGRADED to `active(owner)` (never materialized as un-claimable) — it does not reject a legitimate handoff, it falls back to the safe state; an advisory pin toward an offline/unknown machine is ignored (the move waits, never misroutes). A legitimate handoff to a known+online machine is never downgraded. Over-rejection risk: a brief window where a just-joined machine isn't yet in `machines()` could make a valid advisory pin/transferTo read as "unknown" → the move waits one tick until membership populates (self-healing, not a permanent block).
|
|
23
|
+
|
|
24
|
+
## 2. Under-block
|
|
25
|
+
|
|
26
|
+
A genuinely STALE peer stream is the in-scope adversary (single-agent model — no hostile tenant). Residual misses, all bounded: a corrupt future-dated `timestamp` is clamped (can't defeat the deadline); a corrupt huge epoch is fenced; a stale pin is HLC-ordered out by a fresher one AND requires an online target. What it does NOT yet cover (documented follow-ups, tracked): `pendingReplacement` honest-pending surfacing for a not-yet-converged advisory move, and an explicit tombstone-on-clear emit from `/pool/transfer` (today a clear relies on a re-pin's higher HLC). These are additive surfacing/cleanup, not correctness holes — convergence still completes; the gap is only the "still moving" UX cue and faster clear propagation. <!-- tracked: CMT-1829 -->
|
|
27
|
+
|
|
28
|
+
## 3. Level-of-abstraction fit
|
|
29
|
+
|
|
30
|
+
Correct layer. The fixes sit exactly where the decisions already live: the clock-skew abstention is in the registry that owns the FSM; the pin replication rides the EXISTING WS2 replicated-record machinery (HLC envelope, tombstone, quarantine, retention) rather than a new bespoke transport (Round-1 review explicitly rejected a wall-clock `topic-pin` kind); the transferring replication extends the EXISTING placement journal + applier rather than a parallel path. The reconciler consumes signals (advisory pins, machine liveness) and acts within the existing FSM/CAS authority — it does not add a new authority.
|
|
31
|
+
|
|
32
|
+
## 4. Signal vs authority compliance
|
|
33
|
+
|
|
34
|
+
Compliant. A replicated pin is a **signal** (advisory move-intent). The reconciler's effective-pin merge IS read by every branch (including force-claim Case C when the pin names self), but the force-claim DECISION is gated on death-evidence + quorum derived from machine LIVENESS (`machines()`), never on the advisory pin — a stale/corrupt pin cannot manufacture death evidence, so it can never cause a LIVE-owner seat-steal. The only thing an advisory pin can trigger is the owner's OWN cooperative transfer (owner-gated FSM action). The clock-skew change REMOVES a brittle authority (a coarse file timestamp was wrongly gating placement eligibility). `/pool/reconciler` is observe-only. No brittle check gains blocking authority.
|
|
35
|
+
|
|
36
|
+
## 5. Interactions
|
|
37
|
+
|
|
38
|
+
The transferring extension threads through the SHARED `emitPlacement` helper so every CAS site (reconciler, drain runner, user-move) emits coherently — avoids the "only the reconciler path threads it" shadow. The applier's owner-anchored equal-epoch tie-break prevents a forged peer `active(e)` from shadowing the true owner's `transferring(e)`. The advisory pin is unioned with the local pin (HLC precedence) so a stale local self-pin can't shadow a fresher replicated intent (the N3 recurrence). No double-fire: the journal op-key dedupes a same-(recordKey,hlc) retry. The abort-transfer is owner-only (FSM-gated), so two machines can't both abort.
|
|
39
|
+
|
|
40
|
+
## 6. External surfaces
|
|
41
|
+
|
|
42
|
+
New: `GET /pool/reconciler` (Bearer-gated, credential-free — topic ids/machine ids/epochs/decision reasons only). New journal kind `topic-pin-record` (additive — older peers ignore unknown kinds; the feature converges only when BOTH machines are new, a degrade to the pre-fix stuck-move, never a regression). New config flag `multiMachine.seamlessness.ws13PinReplicate` (dev-live/fleet-dark). The cross-machine convergence latency is eventually-consistent (~45–90s) — surfaced honestly. Timing/runtime dependence: convergence depends on the journal replicating (best-effort HTTP pull) — a lost pin record delays (never corrupts) a move; the reconciler retries each tick.
|
|
43
|
+
|
|
44
|
+
## 7. Multi-machine posture (Cross-Machine Coherence)
|
|
45
|
+
|
|
46
|
+
This change IS the multi-machine feature. Posture per surface: `topic-pin-record` = **replicated** (WS2 rails, HLC; advisory-on-receive, local pin write stays router-authenticated); `topic-placement` status/transferTo = **replicated** (existing placement journal + applier); `TopicPinReplicatedStore` = **machine-local view of replicated data**; `/pool/reconciler` = **proxied-on-read** via the standby (503 when dark); reconciler tick / appliers = **machine-local BY DESIGN** (each reconciles its own view; the journal is the shared arbiter). No single-machine assumption — a single-machine agent is a strict no-op (no peers → no advisory pins, the reconciler `machines()<2` no-ops). User-facing: a non-converging move surfaces via the reconciler explain + (follow-up) pendingReplacement — no silent stuck state.
|
|
47
|
+
|
|
48
|
+
## 8. Rollback cost
|
|
49
|
+
|
|
50
|
+
Cheap and layered. Everything ships dark behind `ws13Reconcile`/`ws13DryRun` (dev-live/fleet-dark) + `ws13PinReplicate` (independent sub-flag for the pin-replicator). Back-out paths, in order: set `ws13PinReplicate` off (stops pin emission — the topic-pin store entry is absent → the emitter no-ops); set `ws13DryRun` true (reconciler logs but lands no CAS); set `ws13Reconcile` off (reconciler strict no-op). No data migration needed — the new `topic-pin-record` stream is additive and self-prunes (retention rotateKeep:4); the `TopicPin.hlc` field is optional (absent ⇒ derived-from-updatedAt fallback). No agent-state repair. A bad release is a config flip, not a hot-fix.
|
|
51
|
+
|
|
52
|
+
---
|
|
53
|
+
|
|
54
|
+
## Second-pass reviewer response
|
|
55
|
+
|
|
56
|
+
**Concur with the review.** An independent reviewer verified every load-bearing safety claim against the code: (1) signal-vs-authority — a replicated pin can only yield a `preferredMachine` the owner transfers TOWARD; Case A fires only when `owner === self` (the owner releasing its own topic), and the force-claim Case C is gated independently on death-evidence + quorum from `machines()` liveness, so a stale/corrupt pin cannot manufacture a live-owner steal (confirmed OwnershipReconciler.ts effectivePins + Case A/C); (2) the applier's `transferTo` validation→downgrade, epoch fence, and timestamp clamp match the code exactly; (3) the coarse-heartbeat abstention genuinely never drives the skew FSM while still refreshing liveness; (4) the threading + route + multi-machine posture + rollback all check out. The one concern raised was a §4 phrasing imprecision ("never reads the advisory store") — corrected above to credit the death-evidence+quorum gate (the actual safety mechanism) rather than overstating store isolation. Not a correctness or safety defect; the code's behavior was already safe.
|
|
@@ -0,0 +1,93 @@
|
|
|
1
|
+
# Side-Effects Review — Reconciler Boot-Ordering Fix (late-bound self-id)
|
|
2
|
+
|
|
3
|
+
**Version / slug:** `reconciler-meshself-ordering-fix`
|
|
4
|
+
**Date:** 2026-06-30
|
|
5
|
+
**Author:** echo (autonomous run, topic 28744)
|
|
6
|
+
**Second-pass reviewer:** echo second-pass subagent (touches the reconciler decision surface)
|
|
7
|
+
|
|
8
|
+
## Summary of the change
|
|
9
|
+
|
|
10
|
+
The WS1.3 `OwnershipReconciler` was wired in `server.ts` inside `if (_topicPinStore && _meshSelfId)` at
|
|
11
|
+
line ~16917 — but `_meshSelfId` is not assigned until line ~17877 (~950 lines later in the synchronous boot
|
|
12
|
+
flow). So the guard was always null → the reconciler was NEVER constructed and never ticked. Live-confirmed:
|
|
13
|
+
0 `OwnershipReconciler` lines in the server log; `/pool/reconciler` 503s even with both machines online. This
|
|
14
|
+
is the identical boot-ordering bug already fixed for the sibling `OwnershipApplier`
|
|
15
|
+
(`ownership-applier-meshself-ordering-fix`), which made its self-id a late-bound getter. This change applies
|
|
16
|
+
the same pattern to the reconciler: (1) gate construction on `_topicPinStore` ALONE; (2) make the `selfMachineId`
|
|
17
|
+
dep a getter `() => string | null`, read at tick time; (3) a tick while the id is still null is a strict no-op
|
|
18
|
+
(`skipped: 'self-id-unresolved'`). Files: `src/core/OwnershipReconciler.ts` (dep + reads + null guard + skipped
|
|
19
|
+
type), `src/commands/server.ts` (gate + getter), plus the two test construction sites and a new regression test.
|
|
20
|
+
|
|
21
|
+
## Decision-point inventory
|
|
22
|
+
|
|
23
|
+
- `OwnershipReconciler.tick()` decision FSM — **modify** — now resolves self-id via getter at the top and
|
|
24
|
+
no-ops the whole tick while null (never acts without a resolved self). Otherwise the decision tree is
|
|
25
|
+
byte-identical.
|
|
26
|
+
- `server.ts` reconciler construction gate — **modify** — `&& _meshSelfId` dropped (the ordering bug);
|
|
27
|
+
construction now happens, self-id arrives late.
|
|
28
|
+
|
|
29
|
+
## 1. Over-block
|
|
30
|
+
|
|
31
|
+
No message block/allow surface. The only added "refusal" is the tick no-op while self-id is null — that is
|
|
32
|
+
strictly MORE conservative than before (before, the loop never ran at all; now it runs but waits for the id).
|
|
33
|
+
A legitimate action is never blocked once the id resolves (which happens within the first boot).
|
|
34
|
+
|
|
35
|
+
## 2. Under-block
|
|
36
|
+
|
|
37
|
+
The self-id null window is bounded to early boot (the id is assigned synchronously during the same boot). A
|
|
38
|
+
tick in that window no-ops; the interval keeps ticking, so the first post-id tick acts. No failure mode is
|
|
39
|
+
newly missed — the reconciler simply starts working where it never did before.
|
|
40
|
+
|
|
41
|
+
## 3. Level-of-abstraction fit
|
|
42
|
+
|
|
43
|
+
Correct — this is the exact pattern the sibling `OwnershipApplier` already uses (late-bound `getSelfMachineId`),
|
|
44
|
+
extracted from the same boot-ordering bug. It does not add a new authority; it makes an existing (never-running)
|
|
45
|
+
one actually run. The alternative (moving the `_meshSelfId` assignment ~950 lines earlier) is far riskier —
|
|
46
|
+
many intervening consumers assume the current ordering.
|
|
47
|
+
|
|
48
|
+
## 4. Signal vs authority compliance
|
|
49
|
+
|
|
50
|
+
Compliant. The reconciler's authority (cooperative transfer / force-claim within the FSM) is unchanged. The
|
|
51
|
+
late-bound self-id is a wiring correction, not a new decision. The force-claim path still gates on
|
|
52
|
+
death-evidence + quorum from machine liveness. A null-self tick is a no-op, never an action.
|
|
53
|
+
|
|
54
|
+
## 5. Interactions
|
|
55
|
+
|
|
56
|
+
The late-bound getter mirrors the applier's, so both now resolve self-id consistently at tick time. No
|
|
57
|
+
double-fire (one reconciler instance, one timer). The null-guard sits before any machinery, so a partial
|
|
58
|
+
boot can't drive a half-initialized tick. The `skipped: 'self-id-unresolved'` value is additive to the
|
|
59
|
+
report union.
|
|
60
|
+
|
|
61
|
+
## 6. External surfaces
|
|
62
|
+
|
|
63
|
+
`/pool/reconciler` now returns real status (not 503) once the server boots — this is the intended fix
|
|
64
|
+
(the route exposed the bug). No new route/config. The reconciler beginning to actually tick is the
|
|
65
|
+
behavioral change; it remains dark/dev-gated (`ws13Reconcile`), so the fleet is unaffected; a dev agent's
|
|
66
|
+
reconciler now runs (in dry-run unless `ws13DryRun:false`).
|
|
67
|
+
|
|
68
|
+
## 7. Multi-machine posture (Cross-Machine Coherence)
|
|
69
|
+
|
|
70
|
+
This is squarely a multi-machine fix. The reconciler is **machine-local BY DESIGN** (each machine reconciles
|
|
71
|
+
its own view against the shared journal). The fix ensures it is actually constructed on every machine that
|
|
72
|
+
has a pin store. A single-machine agent still no-ops (machines() < 2). The self-id getter reads the same
|
|
73
|
+
`_meshSelfId` every other multi-machine consumer uses.
|
|
74
|
+
|
|
75
|
+
## 8. Rollback cost
|
|
76
|
+
|
|
77
|
+
Cheap. The reconciler is dark/dev-gated (`ws13Reconcile` resolves dark on the fleet, live on a dev agent) and
|
|
78
|
+
defaults to dry-run (`ws13DryRun !== false`). Back-out: set `ws13Reconcile` off (reconciler no-op) or
|
|
79
|
+
`ws13DryRun:true` (logs, no CAS). No data migration, no state repair — a config flip. The change is also a
|
|
80
|
+
pure wiring/ordering correction with no schema impact.
|
|
81
|
+
|
|
82
|
+
## Second-pass reviewer response
|
|
83
|
+
|
|
84
|
+
**Concur with the review.** An independent reviewer verified all five points against the code: (1) the
|
|
85
|
+
null-self-id tick is a strict no-op — `const self = this.d.selfMachineId()` then `if (!self) { skipped =
|
|
86
|
+
'self-id-unresolved'; return }` precedes `effectivePins()` and every `act()`/CAS; (2) every `selfMachineId`
|
|
87
|
+
read goes through the getter `()` (deriveLocalPinHlc, tick, act, explainTopic, status) — none left as a bare
|
|
88
|
+
property; (3) `server.ts` gates on `if (_topicPinStore)` alone and passes `selfMachineId: () => _meshSelfId`;
|
|
89
|
+
(4) the constructor only stores `deps` — it never captures the id at construction, so late-binding holds; (5)
|
|
90
|
+
no stale/transient-null unsoundness — `_meshSelfId` is a module var assigned once (null→value, never reverts),
|
|
91
|
+
the only window is early boot which the guard covers, and the `?? ''` in `act()` is reached only after the
|
|
92
|
+
tick guard (never an empty-sender CAS in practice). The pattern exactly mirrors the already-shipped
|
|
93
|
+
`OwnershipApplier` fix. Not a correctness or safety defect.
|