Repository navigation

std.temporal_effect + gunbc.os_install_deduction T1 vocabulary (roadmap 2-temporal-effect-spine-a, 2-os-install-deduction-a) - #6187

Merged

briansrls merged 11 commits into

mainfrom

session/os-install-deduction-a

Jul 3, 2026

Merged

std.temporal_effect + gunbc.os_install_deduction T1 vocabulary (roadmap 2-temporal-effect-spine-a, 2-os-install-deduction-a)#6187
briansrls merged 11 commits into
mainfrom
session/os-install-deduction-a

Commits on Jul 2, 2026
- std: temporal realization spine vocabulary (temporal-effect-spine-a)
  
  briansrls
  and
  cursoragent
  committed
  12089a8
- fix(std): fail-closed lease regression and grant expiry in temporal fold
  
  briansrls
  and
  cursoragent
  committed
  a603325
- gunbc: os-install deduction preflight vocabulary (os-install-deduction-a)
  
  briansrls
  and
  cursoragent
  committed
  9818e49
- WIP: srv3-bringup — finish prefix:os-install-actuated + first subsumption che
  briansrls
  committed
  c2ab4c7
Commits on Jul 3, 2026