Repository navigation

Release 0.4.1: per-shard dirty, ci-gpu key binding, commit-time guard, plan/status/durations, verify-inputs - #11

Merged

plancherb1 merged 9 commits into

mainfrom

record-gpu-uuid

Oct 13, 2026

Merged

Release 0.4.1: per-shard dirty, ci-gpu key binding, commit-time guard, plan/status/durations, verify-inputs#11
plancherb1 merged 9 commits into
mainfrom
record-gpu-uuid

Commits on Oct 3, 2026
- Ignore docs/open-tasks working notes
  plancherb1
  committed
  6dad3ee
Commits on Oct 12, 2026
- Add record_gpu_uuid: omit the GPU UUID from the receipt environment when false
  plancherb1
  committed
  6a2db80
- merge: refuse a dirty --carry-from source; record carried.original_dirty and refuse it at verify unless allow_dirty
  plancherb1
  committed
  fca0b21
Commits on Oct 13, 2026