Repository navigation

Staged writes and installs become modeled programs: no here-doc delimiter to collide with, install(1) cited - #8845

Merged

briansrls merged 17 commits into

mainfrom

session/silent-otter-405-emit-program

Aug 23, 2026

Commits on Aug 21, 2026
- host_axis_caps: cap scripts become modeled bash programs (WIP verify)
  Brian Searls
  committed
  88a7e0b
- probe script (temp)
  Brian Searls
  committed
  b3def83
- probe v2
  Brian Searls
  committed
  f57e093
- Runtime shell in the memory-cap axis becomes a modeled bash program, not a joined String
  Brian Searls
  committed
  4830907
- Delete the converge-side memory-cap apply arm at the root; the privilege hold was enforced by two self-asserting Bools
  Brian Searls
  committed
  8579822
- probe: correct witness homes
  Brian Searls
  committed
  6aa66f1
- Remove probe scripts
  Brian Searls
  committed
  781304c
- Single authority for argv->shell text: gunbc.shell_command_text; live_deploy operations stop join-quoting
  Brian Searls
  committed
  517936b
Commits on Aug 22, 2026
- emit_test: reach tree-sync unit name through the srv1 spec (names is a fn, not data)
  Brian Searls
  committed
  fcf313c
- Drop the ad-hoc verification probe
  Brian Searls
  committed
  36aad30
- Stage writes and installs become modeled programs: no here-doc delimiters, cited install(1) argv
  Brian Searls
  committed
  da66dc2
- Remove the ad-hoc verification probe (it was re-added by the previous commit)
  Brian Searls
  committed
  56fd51f
- Delete the unused install_file_command and its argv row; the staged install consumes the coreutils rows
  Brian Searls
  committed
  97909ca
- Teardown rm, tailscale serve, receipts and preambles stop being assembled text — and two grammar gaps named (#8888)
  
  briansrls
  and
  Brian Searls
  authored
  a916d5d
- Merge remote-tracking branch 'origin/main' into session/silent-otter-405-emit-program
  Brian Searls
  committed
  5ab6bd3
- Merge remote-tracking branch 'origin/main' into session/silent-otter-405-emit-program
  Brian Searls
  committed
  f2ffb29
Commits on Aug 23, 2026
- Derive seven witness assertions from the routed commands: four were red, three were silently vacuous
  
  Brian Searls
  and
  claude
  committed
  0da6c8a

Navigation Menu

Repository navigation

Staged writes and installs become modeled programs: no here-doc delimiter to collide with, install(1) cited - #8845

Staged writes and installs become modeled programs: no here-doc delimiter to collide with, install(1) cited#8845
briansrls merged 17 commits into
mainfrom
session/silent-otter-405-emit-program

Commits on Aug 21, 2026

host_axis_caps: cap scripts become modeled bash programs (WIP verify)

probe script (temp)

probe v2

Runtime shell in the memory-cap axis becomes a modeled bash program, not a joined String

Delete the converge-side memory-cap apply arm at the root; the privilege hold was enforced by two self-asserting Bools

probe: correct witness homes

Remove probe scripts

Single authority for argv->shell text: gunbc.shell_command_text; live_deploy operations stop join-quoting

Commits on Aug 22, 2026

emit_test: reach tree-sync unit name through the srv1 spec (names is a fn, not data)

Drop the ad-hoc verification probe

Stage writes and installs become modeled programs: no here-doc delimiters, cited install(1) argv

Remove the ad-hoc verification probe (it was re-added by the previous commit)

Delete the unused install_file_command and its argv row; the staged install consumes the coreutils rows

Teardown rm, tailscale serve, receipts and preambles stop being assembled text — and two grammar gaps named (#8888)

Merge remote-tracking branch 'origin/main' into session/silent-otter-405-emit-program

Merge remote-tracking branch 'origin/main' into session/silent-otter-405-emit-program

Commits on Aug 23, 2026

Derive seven witness assertions from the routed commands: four were red, three were silently vacuous