Repository navigation

census: ordered startup input record and prefix cuts (instrumented builds only) - #14259

Closed

proggeramlug wants to merge 10 commits into

mainfrom

snap23-census-inputs

Closed

census: ordered startup input record and prefix cuts (instrumented builds only)#14259
proggeramlug wants to merge 10 commits into
mainfrom
snap23-census-inputs

Commits on Nov 6, 2026
- chore: trace snapshot inputs in instrumented builds
  Ralph Küpper
  committed
  c70d8f4
- chore: verify snapshot boundaries and census instruction accounting
  Ralph Küpper
  committed
  44b66df
- chore: retain input coverage and replay counterexamples
  Ralph Küpper
  committed
  81a8c7f
- chore: preserve mapped-file input observations
  Ralph Küpper
  committed
  07320d1
- Merge remote-tracking branch 'origin/main' into snap22
  Ralph Küpper
  committed
  d95b3fa
Commits on Nov 7, 2026
- fix: preserve production bytes around census crypto hooks
  Ralph Küpper
  committed
  ea632bc
- chore: retain native census shape publication diagnostics
  Ralph Küpper
  committed
  8da58ff
- fix: stream census inputs without allocator re-entry
  Ralph Küpper
  committed
  2d10475
- fix: restore census page policy after first-write tracking
  Ralph Küpper
  committed
  377449f
- fix: share the census writable bulk transition
  Ralph Küpper
  committed
  3c391bf