Repository navigation

Filesystem.LinkCreateNew: create-only link with a typed cross-device refusal, one realization for seed and emitted programs - #13091

Merged

gunbai-bot[bot] merged 9 commits into

mainfrom

session/quick-gull-60-link

Oct 4, 2026

Merged

Filesystem.LinkCreateNew: create-only link with a typed cross-device refusal, one realization for seed and emitted programs#13091
gunbai-bot[bot] merged 9 commits into
mainfrom
session/quick-gull-60-link

Commits on Oct 3, 2026
- 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
- 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
- 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
- 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/main' into session/quick-gull-60-link
  gunbc-ci-auto-heal
  committed
  da8a402
- 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
- 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
- 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

Commits

Commits on Oct 3, 2026