Repository navigation

shell -> dag Phase 1 cgroup vertical (#7978) on a branch caught up to main - #8035

Merged

briansrls merged 66 commits into

mainfrom

session/keen-ibex-349-omega

Aug 8, 2026

Merged

shell -> dag Phase 1 cgroup vertical (#7978) on a branch caught up to main#8035
briansrls merged 66 commits into
mainfrom
session/keen-ibex-349-omega

Commits on Aug 6, 2026
- WIP: Stop-line: separate direct_rust expected-red standing from long-lane exe
  Brian Searls
  committed
  c7c2065
- WIP: Stop-line: separate direct_rust expected-red standing from long-lane exe
  Brian Searls
  committed
  09d937b
- Separate expected-red standing from execution budget: three independent witness axes
  Brian Searls
  committed
  5da1e74
- WIP: Stop-line: separate direct_rust expected-red standing from long-lane exe
  Brian Searls
  committed
  be9ef88
- Delete the path-grain hermetic known-red field, and refuse an unaccounted failure
  Brian Searls
  committed
  52efeed
- Receipt-layer witness: StaleKnownRed is a refusal, not a WitnessRed and not Done
  Brian Searls
  committed
  37033ee
- Name the lane-granularity consequence of the budget union
  Brian Searls
  committed
  92dd078
- Merge remote-tracking branch 'origin/main' into session/deep-otter-771
  Brian Searls
  committed
  8f1de2a
- Agreement means the assertion RAN and was false; the budget roster is an identity set
  Brian Searls
  committed
  b5a82ae
- ALERT-3.5: strict input boundary before the decision algebra consumes it
  gunbc-ci-auto-heal
  committed
  538802b
- Point the refused/fault collapse at the existing seam note, not a second ledger entry
  Brian Searls
  committed
  a5675af
- review 49571: split the component-summary decoder so only index admits a number
  gunbc-ci-auto-heal
  committed
  9b3f394
- review 49594: emit selection_degradation on every path so encode/decode round-trips
  gunbc-ci-auto-heal
  committed
  ddd19d7
- ALERT-4: the falsifier alert's decision as a pure function over eleven terminal arms
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1e90290
- carry the guard-order divergence reasoning in the witness carrier, not only the PR
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5fabf80
- review 49641: alert_decision takes the decoding, not the peeled incident state
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b457d60
- review 49651: delete the forked throttle decision, keep its payload-driven witnesses
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  32ae6ed
- review 49672: name the Bool helpers as a witness surface, and why no production caller may use them
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2bc74cb
- drop import-only symbols left behind by the consolidation
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  72665e9
Commits on Aug 7, 2026
- operator verdict on #7928: type the decision-grain boundary
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  aa20c1a
- Merge branch 'session/calm-fox-748-alert35' into session/calm-fox-748-alert4
  gunbc-ci-auto-heal
  committed
  b01289c
- review 49774: import the symbols the new claims call
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3d01e1b
- Merge branch 'session/calm-fox-748-alert35' into session/calm-fox-748-alert4
  gunbc-ci-auto-heal
  committed
  be32093
- operator verdict on #7935: the four missing facts, plus the conclusions policy
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2d77759
- review 49807: fold the duplicated import blocks
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e2a0a58
- correct the arm counts in prose against the live coproduct
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5981ea2
- operator live-head B and C: validate the outcome/mode pair, read output, strict natural decode
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8515afd
- Merge branch 'session/calm-fox-748-alert35' into session/calm-fox-748-alert4
  gunbc-ci-auto-heal
  committed
  5b58883
- operator live-head 1-4 on #7935: observer-before-receipt, first-red standing, complete writing instructions
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  98726f9
- CI: write out the wildcard arms the non-fold-residue lens counts
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  49a9dd7
- Merge branch 'session/calm-fox-748-alert35' into session/calm-fox-748-alert4
  gunbc-ci-auto-heal
  committed
  3b991e8
- review 49908: FirstRedStanding has one authority, in the state module
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e4c6571
- review 49927: IncidentLegacy carries the standing, not a bare instant
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  88d6726
- review 49947: one representation for controller failures, and the notes match it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c86d46d
- review 49971: the migration witness reads first_red as a standing
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  df8d4f2
- Separate the known-red axes: two budget-homogeneous batches, and three fail-closed repairs
  Brian Searls
  committed
  9d19c7c
- Add extdeps.linux.proc_self_cgroup parser substrate (#7887).
  
  Brian Searls
  and
  cursoragent
  committed
  87edf85
- Address #7887 substrate review: semantic subject, no inflated service.
  
  Brian Searls
  and
  cursoragent
  committed
  2956615
- Recut cgroup membership + memory.peak ancestor vertical after #7887 review.
  
  Brian Searls
  and
  cursoragent
  committed
  df6befe
- Restrict NearestAncestorContaining.start to PathRefStart construction wall.
  
  Brian Searls
  and
  cursoragent
  committed
  6675cd2
- Split bash cgroup membership lowering into v2.extdeps.languages.bash_proc_self_cgroup.
  
  Brian Searls
  and
  cursoragent
  committed
  9244909
- Regenerate the stage0 seed for the roster-membership addition
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7992dae
- Pin the known-red lane's budget partition in the plan witness, not a singleton count
  Brian Searls
  committed
  2144eea
- Make the pre-verdict arm non-green, and make the roster join actually exact
  Brian Searls
  committed
  059f862
- Make the non-green regression control real, not a doc comment
  Brian Searls
  committed
  268f20f
- Merge remote-tracking branch 'origin/main' into session/deep-otter-771
  Brian Searls
  committed
  d54df7b
- Partition the known-red lane by expectation kind too, not budget alone
  Brian Searls
  committed
  4fba338
- Respell six leading-plus continuations the parser does not accept
  Brian Searls
  committed
  a8d93b0
- Carry the pre-verdict mode structurally, so the receipt stops saying WitnessRed
  Brian Searls
  committed
  a4b4d1c
- Merge origin/main: re-home the three refusal modes into the split receipt module
  Brian Searls
  committed
  b73bead
- Merge remote-tracking branch 'origin/main' into session/calm-fox-748-alert4
  gunbc-ci-auto-heal
  committed
  23f8b0a
- Add permanent cross-realization fixture law for cgroup membership.
  
  Brian Searls
  and
  cursoragent
  committed
  42d9e4f
- delete the dead red_receipt_other_class helper the naming-hygiene walk refused
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0efdae4
- Merge origin/main into cgroup vertical branch after #7887 lands.
  
  Brian Searls
  and
  cursoragent
  committed
  df4c27b
- Extend the fifth site: the pair-agreement match inside the split module
  Brian Searls
  committed
  2c639fb
- review 50351: throttle the observer path with the same window as the red path
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0f2dbd0
- Fix #7978 CI drift, stale citations, and golden brace escapes.
  
  Brian Searls
  and
  cursoragent
  committed
  c940498
- Merge c9404984780e433e269b0eb0e88e24913e7a1798 into 83e497375fa094bafbb33141323c067df794fb7b
  briansrls
  authored
  9d1bbbb
Commits on Aug 8, 2026
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  0733ba8
- Fix workflow drift: add cgroup locate scaffold comments to pre/post steps.
  
  Brian Searls
  and
  cursoragent
  committed
  7cbb3dd
- Merge origin/main: union the claim_executor import list
  Brian Searls
  committed
  521478f
- Integrate #7935 into the keen-ibex-349 omega branch.
  gunbc-ci-auto-heal
  committed
  24b8957
- Integrate #7978 into the keen-ibex-349 omega branch.
  gunbc-ci-auto-heal
  committed
  1f387fb
- Roster unified_membership_outcome_tag_eq for non-fold residue gate.
  
  Brian Searls
  and
  cursoragent
  committed
  a1ea145
- Take #7978's non_fold_residue roster fix (a1ea1454787) into the fold.
  gunbc-ci-auto-heal
  committed
  89be61e
- Catch the omega branch up to main (#7906 and #7935 have landed).
  gunbc-ci-auto-heal
  committed
  c7f5e86

Commits

Commits on Aug 6, 2026

Commits on Aug 7, 2026

Commits on Aug 8, 2026