Repository navigation

Pkg4: resource-admitted execution on one host - #11962

Merged

gunbai-bot[bot] merged 19 commits into

mainfrom

session/bold-lynx-559

Sep 22, 2026

Commits on Sep 21, 2026
- Compute admission reserves observed host memory atomically, not a count of leases
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3e3b72c
- The meminfo parse resolves each field by the lookup that proves it present
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9bf00d7
- Three defects the first real run on srv1 found, and the controls for them
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  047bb3e
- Body-position annotations refused by gunbc compile; move them to module grain
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  dd240f0
- Four design defects: the double promise, the instance-keyed pool, the record
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  725d9c5
- Quiescence is observed, obligations are per attempt, and the admission cells
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9172cf7
- PR 1 rescoped to admission+pool: conservative release, declared discharge gap,
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5ee0cce
- The empty-ControlGroup release arm, the discarded host record, and two remedy
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  773825c
- A completed wait never overrides a live cgroup; an uncertain completion keeps
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  73c570f
- The bound termination policy is a fold a control can read, not a sentence
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1248df9
- Merge remote-tracking branch 'origin/main' into session/bold-lynx-559
  gunbc-ci-auto-heal
  committed
  f5344b2
- The release predicate is exactly four cases; a lost record reaches a terminal
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c901fc0
- The receipt stays parseable: the host-record fact gets its own file beside it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1c670b8
- SeatRequest carries its dimension; the strip moves to where the pool proves it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bf58075
- The attached arm carried the loss it had just built into a discard
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  afb46eb
- File the partition-identity class the PoolAcquired argument would have buried
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2700b01
- Two unmigrated SeatRequest callers outside the gate, and the truncated grep
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  18b329d
- /proc/meminfo is not uniformly kB, and the witness asserted that it was
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  09b62f9
- The cited witness module is named with its _test suffix, unlike its siblings
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ce54fa4

Navigation Menu

Repository navigation

Pkg4: resource-admitted execution on one host - #11962

Pkg4: resource-admitted execution on one host#11962
gunbai-bot[bot] merged 19 commits into
mainfrom
session/bold-lynx-559

Commits on Sep 21, 2026

Compute admission reserves observed host memory atomically, not a count of leases

The meminfo parse resolves each field by the lookup that proves it present

Three defects the first real run on srv1 found, and the controls for them

Body-position annotations refused by gunbc compile; move them to module grain

Four design defects: the double promise, the instance-keyed pool, the record

Quiescence is observed, obligations are per attempt, and the admission cells

PR 1 rescoped to admission+pool: conservative release, declared discharge gap,

The empty-ControlGroup release arm, the discarded host record, and two remedy

A completed wait never overrides a live cgroup; an uncertain completion keeps

The bound termination policy is a fold a control can read, not a sentence

Merge remote-tracking branch 'origin/main' into session/bold-lynx-559

The release predicate is exactly four cases; a lost record reaches a terminal

The receipt stays parseable: the host-record fact gets its own file beside it

SeatRequest carries its dimension; the strip moves to where the pool proves it

The attached arm carried the loss it had just built into a discard

File the partition-identity class the PoolAcquired argument would have buried

Two unmigrated SeatRequest callers outside the gate, and the truncated grep

/proc/meminfo is not uniformly kB, and the witness asserted that it was

The cited witness module is named with its _test suffix, unlike its siblings