Repository navigation

G1: belt verify through the materialization provider; compute outcomes and binaries in the bounded store - #13097

Open

gunbai-bot[bot] wants to merge 84 commits into

mainfrom

session/bold-dove-431-cutover

Commits on Oct 3, 2026
- Compute work is a request family of std.materialization_provider; work_identity is its derived request_key
  
  Brian Searls
  and
  claude
  committed
  d4cb5ca
- std.cache_interface: timed release is retention, a rejected hit refuses
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9fb2712
- artifact_store: refuse a timed-release provider (control)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d4fc910
- realize_kernel witness: exhaustive match on the refuse arm
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c7e102c
- compute family: the outputs part is the declared-output manifest, not the built bytes
  
  Brian Searls
  and
  claude
  committed
  766fb9c
- compute family: cite the storage ruling for built outputs
  
  Brian Searls
  and
  claude
  committed
  40407bd
- Bound materialization_store_local: per-family ExactLimit budgets, windowed occupancy index, self-clean on open
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  77fd998
- Merge remote-tracking branch 'origin/cache-interface-refuse' into session/bold-dove-431-cutover
  Brian Searls
  committed
  10109fb
- Merge branch 'session/bold-dove-431' into session/bold-dove-431-cutover
  Brian Searls
  committed
  42d3679
- std.fabric_blob: the fabric blob plane interface (exact-key whole objects, sealed FabricBlobReading, put plan with size bound)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  92c8917
- Move capacity-refusal and sweep notes above their types (annotations are module-item grain); retire stale std.materialization_object#get roster row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d9896b3
- G1 cutover: compute outcomes through the bounded materialization store; belt claim verify through compute_provide; receipt cites the shared computation
  
  Brian Searls
  and
  claude
  committed
  d5de04f
- G1 cutover: host ceiling witness counts the compute budget; a wet claim run spells --wet
  
  Brian Searls
  and
  claude
  committed
  9e40327
- std.fabric_blob: state the declared frontier with its trigger; witness address fails closed instead of substituting a digest
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6d01338
- Enrol the ten new wet witnesses: held route gaps (DirWithTemplate has no mock) and scheduled on the local-repo wet lane, as their file's existing wet witnesses are
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  16be520
- Review 74578: index row size is a ByteSize; the Int projection happens only at the occupancy codec
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7743f04
- Filesystem.LinkCreateNew: a create-only link with a typed cross-device refusal, one realization for seed and emitted programs
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5b2e4c9
- Merge remote-tracking branch 'origin/main' into session/quick-gull-60-c1
  gunbc-ci-auto-heal
  committed
  15b2996
- Filesystem.LinkCreateNew witnesses (real execution: publish, occupied, not-found; classifier: cross-device, unrecognized), enrolled as held route gaps and on the wet lane
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bd38a72
- Merge remote-tracking branch 'origin/main' into session/quick-gull-60-link
  gunbc-ci-auto-heal
  committed
  f6a4667
- Merge remote-tracking branch 'origin/std-fabric-blob' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  84948c3
- Enrol the LinkCreateNew wet witness file in gunbc.ci_layer_roots (the third enrolment beside the route-gap and wet-schedule rows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6cdb443
- Merge remote-tracking branch 'origin/session/quick-gull-60-link' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  0404500
- Merge remote-tracking branch 'origin/session/quick-gull-60-link' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  392356a
- Byte parts in the local materialization store: typed blob lines (record v3), staged files linked create-only and verified on every read, charged to the family budget and evicted with their record
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  facf422
- Merge C1b (#13095) into the G1 cutover
  Brian Searls
  committed
  51f88b6
- G1 cutover on C1b: build binaries are byte parts of the compute record; dependents execute verified readings; store_dir deleted
  
  Brian Searls
  and
  claude
  committed
  92fbbea
- G1 cutover: the store root is the materialization's; wet witness runs build commit, attach and dependent resolution on a scratch root
  
  Brian Searls
  and
  claude
  committed
  fc0dcda
- #13072 ruling: injective structural operation key; observed execution identity (triple, rustc -vV, cargo, sccache, provider revision); wet claim runs refused on the legacy provider; honest native p…
  
  Brian Searls
  and
  claude
  committed
  6537389
- Evidence the cross-device refusal by real execution: stage in /dev/shm, link into /tmp, asserting the st_dev precondition (coreutils.Stat.PathDevice) so an unobservable runner reds rather than greens
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  637b746
- Merge remote-tracking branch 'origin/session/quick-gull-60-link' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  8706ace
- Merge #13072 ruling fixes into the cutover; wet runs get an execution-occurrence identity instead of the legacy refusal
  
  Brian Searls
  and
  claude
  committed
  d79efd4
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbai-bot[bot]
  authored
  51e0276
- Restore the wet-schedule entry boundary lost in an earlier roster conflict resolution (duplicate identity field)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5177fde
- Merge remote-tracking branch 'origin/session/quick-gull-60-c1' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  8434baf
- Merge remote-tracking branch 'origin/main' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  bc4c935
- Merge remote-tracking branch 'origin/main' into session/quick-gull-60-link
  gunbc-ci-auto-heal
  committed
  da8a402
- Admission reads the contract's demand_nature instead of re-deriving it (review 74671)
  
  Brian Searls
  and
  claude
  committed
  288f967
- Merge #13072 review fix into the cutover (admission superseded by occurrence identity here)
  Brian Searls
  committed
  d442cd7
- Review 74673: a reclaim failure carries the host's own error text, and reclaim/sweep receipts split one observed delete per name instead of searching (no quadratic pass)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  eed2b31
- Merge main (std.fabric_blob landed): regenerate the emitter mirror to the fixed point; declare LinkCreateNew's consumer as a typed frontier retired by gunbc#13095 (review 74665)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d527bde
- Merge main (std.fabric_blob landed): emitter mirror regenerated to the fixed point
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f86d59a
- Merge remote-tracking branch 'origin/session/quick-gull-60-c1' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  7b4d436
- Merge remote-tracking branch 'origin/session/quick-gull-60-link' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  8aa3832
- Name the executing consumer of the compute family in place of a stale frontier (review 74699)
  
  Brian Searls
  and
  claude
  committed
  c5af09e
- Review 74701: index name recovery, eviction diff, sweep membership and recency hits use a key->name map and name sets (one hash per name; no quadratic fold on the commit path)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  be98dbd
- Merge remote-tracking branch 'origin/session/quick-gull-60-c1' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  7533d7e
- Merge origin/main into session/quick-gull-60-c1
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  746dea5
- Merge origin/main into session/quick-gull-60-c1b
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a078e5b
- Merge remote-tracking branch 'origin/session/quick-gull-60-c1' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  3c155fa
- Merge session/quick-gull-60-c1b into the G1 cutover
  Brian Searls
  committed
  d56e045
- Compute binaries are a closed GunbcBinary set with one declared output id each; no prefix-encoded part identity (review 74747)
  
  Brian Searls
  and
  claude
  committed
  a2f220f
- Merge origin/main into session/quick-gull-60-c1
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2585470
- Merge origin/main into session/quick-gull-60-c1b (emitter mirror held at ours; regenerated next)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  01b3892
- Merge remote-tracking branch 'origin/session/quick-gull-60-c1' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  68eb394
- Regenerate v1_compiler_emit_rust.rs after merging main and C1 (regen fixed point equal)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  919aac3
- Compute attempts open their slot before reserving and close it on a refused reservation (conform to #13074's slot-first ruling)
  
  Brian Searls
  and
  claude
  committed
  af7c74a
- Seed-growth receipt for Filesystem.LinkCreateNew's hand-written seed Rust (dispatch_file arm, io_error_kind_name row, v1_rt entry)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a165d81
- Merge remote-tracking branch 'origin/session/quick-gull-60-link' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  a45fac4
- Materialization store: establish the disk ceiling under races and refused deletes
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9cb7286
- Merge reworked C1: the disk ceiling now covers byte parts
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bf9ade3
- Merge session/quick-gull-60-c1b (reworked C1 disk ceiling) into the G1 cutover
  Brian Searls
  committed
  b3dbf66
- Seed-growth receipt: state LinkCreateNew's store consumer as the declared frontier at #13095, not a present fact
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6f5bbd5
- Merge remote-tracking branch 'origin/session/quick-gull-60-link' into session/quick-gull-60-c1b
  gunbc-ci-auto-heal
  committed
  0e39ae4
- Retire filesystem_link_create_new_consumer_frontier: this change is its trigger (local_store_link_part consumes LinkCreateNew); the seed-growth receipt names the present consumer
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8f35f43
- Cutover after the reworked C1: render the two new commit refusals; move a body-position annotation to its declaration
  
  Brian Searls
  and
  claude
  committed
  9e1919d
- Store refusals stay typed (review 75054)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bb3b97c
- Merge C1's typed refusals; a record delete is typed too
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7a7165f
- Compute budget: the measured record size is a ByteSize, not a bare Nat named for its unit
  
  Brian Searls
  and
  claude
  committed
  4def5f1
- Store budgets are the consumer's policy, not the transport's (review 75099)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  af65ffa
- Merge C1: budgets are the caller's parameter; parts keep their charge through it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  248bd5e
- Merge C1 (budgets are the consumer's policy): the compute budget row moves to gunbc.materialization_store_budgets; the provider opens its store with root + budgets
  
  Brian Searls
  and
  claude
  committed
  5f7866e
- Shared-computation reader: typed absence and a declared consumer frontier naming gunbc#13077 (review 75127)
  
  Brian Searls
  and
  claude
  committed
  b37307b
Commits on Oct 4, 2026
- Compute budget is a named policy with its headroom reasoning and revision trigger, not a transcribed measurement (review 75170)
  
  Brian Searls
  and
  claude
  committed
  c6c7c40
Commits on Oct 6, 2026
- Merge main (the store stack landed) into the G1 cutover
  
  Brian Searls
  and
  claude
  committed
  3a08c88
- Compute store: a refused commit reports its unremoved stages; dependency binaries join by typed part id and digest, not path shape (review 77120)
  
  Brian Searls
  and
  claude
  committed
  74a8846
- Merge remote-tracking branch 'origin/main' into session/bold-dove-431-cutover
  Brian Searls
  committed
  b9327d7
- Review 77173: harness premise cites compute_work_identity; dependency binaries are one verified reading per GunbcBinary; an uncitable compute claim run refuses
  
  Brian Searls
  and
  claude
  committed
  87ec0f8
- Store read and belt verdict dispatch on the decoded WorkEnding, not its display word (review 77184 note)
  
  Brian Searls
  and
  claude
  committed
  a9b217a
Commits on Oct 7, 2026
- Merge remote-tracking branch 'origin/main' into session/bold-dove-431-cutover
  Brian Searls
  committed
  a492592
Commits on Oct 8, 2026
- Merge main into #13072; harness premise cites compute_work_identity
  
  Brian Searls
  and
  claude
  committed
  acee730
- Merge main into the G1 cutover (typed systemd setenv bindings, refusable unit launch)
  Brian Searls
  committed
  73f00d5
- Merge #13072 (main integrated) into the G1 cutover
  
  Brian Searls
  and
  claude
  committed
  a47b481
- Window env witness reads the typed setenv binding
  Brian Searls
  committed
  424281e

Commits

Commits on Oct 3, 2026

Commits on Oct 4, 2026

Commits on Oct 6, 2026

Commits on Oct 7, 2026

Commits on Oct 8, 2026