Repository navigation

RLM-2a: typed fleet plan/apply + dashboard deploy receipts, RoadmapLaunchDeploymentReceipt (total verdict), root-tree OID readback, BeltTickReceipt v4, systemd unit standing, live observers, run/artifact bindings, content-addressed persistence, generated receipt mode - #9761

Merged

gunbai-bot[bot] merged 26 commits into

mainfrom

session/crisp-newt-85

Aug 31, 2026

Commits on Aug 30, 2026
- RLM-2a: typed fleet plan/apply + dashboard deploy receipts, RoadmapLaunchDeploymentReceipt, root-tree OID readback, BeltTickReceipt v4, systemd unit standing, live observers, run/artifact bindings,…
  
  Brian Searls
  and
  claude
  committed
  0d2cc47
- RLM-2a: rename the two SystemdUnitProperty variants that collided with SystemdServiceDirective; hoist a body annotation to item grain
  
  Brian Searls
  and
  claude
  committed
  e50d1d0
- RLM-2a: ListHeadResult arms in exec_start parse; tamper controls match the emitted ": " separator
  
  Brian Searls
  and
  claude
  committed
  ab0037a
- RLM-2a: split is a std.algebra builtin hidden by the selective import; remaining ListHeadResult arms
  
  Brian Searls
  and
  claude
  committed
  6f12fde
- RLM-2a: split is the String method spelling
  
  Brian Searls
  and
  claude
  committed
  5c35de9
- RLM-2a: exec_start argv parse via the typed fold idiom (list_head over reverse loses the element type)
  
  Brian Searls
  and
  claude
  committed
  74c0dcb
- Merge origin/main into session/crisp-newt-85 (RLM-2a): keep #9752's annotation form; new note rows become §4c annotations
  
  Brian Searls
  and
  claude
  committed
  52d3cb8
- RLM-2a: the receipt witness names the workflow file through rlm_workflow_file_path (a bare nullary artifact variant is an undefined variable in the floor frame)
  
  Brian Searls
  and
  claude
  committed
  7609d22
- RLM-2a: the two document witnesses grep the emitted ": " separator
  
  Brian Searls
  and
  claude
  committed
  b1839cf
- RLM-2a: regenerate fleet-converge.yml from gunbc.fleet_converge_workflow (rlm_launch_deployment_receipt mode, receipt uploads, shared host-mutation concurrency)
  
  Brian Searls
  and
  claude
  committed
  06c2e31
- RLM-2a review 57664: dissolve the two Bool coproduct predicates (per-unit blocker matches recover WHICH unit refused; verdict matched at its one consumer); Scaffold+DissolutionCondition pair for gu…
  
  Brian Searls
  and
  claude
  committed
  7382d27
- Merge origin/main (fabric allocation store) into session/crisp-newt-85; mode options union; regenerate fleet-converge.yml
  
  Brian Searls
  and
  claude
  committed
  c6906cd
Commits on Aug 31, 2026
- Rework for review 5061891290: expected-revision admission before apply, required FullyApplied terminal, normalized timer cadence values from the emitted unit, four-run provenance, whole LeaseEpoch …
  
  Brian Searls
  and
  claude
  committed
  a2a43a1
- Merge main (through 0a6d177619) into session/crisp-newt-85
  Brian Searls
  committed
  e7d171b
- Review 57708: Microsecond/Second measure carriers for timer cadence and tick freshness, three named timer-directive readers replace the string-tag selector, symbol citation replaces the line-range …
  
  Brian Searls
  and
  claude
  committed
  4683c48
- Merge main into session/crisp-newt-85
  Brian Searls
  committed
  0f764a4
- Dissolve the stale cadence-comparison residue note: values are compared via systemd_duration_usec since review 5061891290 P1-3
  
  Brian Searls
  and
  claude
  committed
  9b89da8
- Merge main (through b41d56484f) into session/crisp-newt-85
  
  Brian Searls
  and
  claude
  committed
  7722485
- Review 5062738052: routed health is the release/tree binding and the window reads routed state; current receipt-run admitted against the canonical repository (receipt_repository on RunProvenanceFac…
  
  Brian Searls
  and
  claude
  committed
  e49dd85
- Review 5063097188 B2 refinement: state the provenance split at the model — RunProvenanceFact carries no current-run conclusion; that is a post-run manager verification
  
  Brian Searls
  and
  claude
  committed
  faaf41e
- Split the freshness machine-readability witness into fresh/stale single-document witnesses: the two-document form was budget-refused at the floor's 500ms CPU line (run 33358233304)
  
  Brian Searls
  and
  claude
  committed
  05e93e1
- Merge main (through a6d6c68d4d) into session/crisp-newt-85
  
  Brian Searls
  and
  claude
  committed
  6b90284
- Regenerated .gitattributes on the merged tree (generated_artifact_gate main_wet output)
  
  Brian Searls
  and
  claude
  committed
  785cc03
- Review 57760: Minute carrier for the rlm receipt-job backstop, typed ReceiptWorkflowRefStanding replaces the Bool discriminator (foreign arm carries the observed ref), iso8601 epoch instants carrie…
  
  Brian Searls
  and
  claude
  committed
  f14021d
- Executing evidence for the target_decision decode refusal: unknown wire label reaches the typed LiveDeployApplyReceiptUnreadable arm (review 57765 rebuttal condition, lane-manager ruling)
  
  Brian Searls
  and
  claude
  committed
  e5e9967
- Review 57773: class-preserving four-arm member reads replace the collapsing wrapper, unconstructable WindowUnobserved deleted, dead receipt-path row deleted, Gregorian day-in-month validation (Feb …
  
  Brian Searls
  and
  claude
  committed
  f474d96

Commits

Commits on Aug 30, 2026

Commits on Aug 31, 2026