Give the broad gate stages the whole worktree

d474c0045c44 · AtlantisPleb · · parent 308fd68bbdd6

Give the broad gate stages the whole worktree

mix precommit runs the documentation and reference checks as well as the
suite, and those read the invariant ledger and the docs tree — neither of
which was in its declared inputs. A ledger edit alone would have been
reused past, which is exactly the false pass this cache must never produce.
The enumeration proofs read as widely.

Both now take the whole worktree and therefore never reuse. That is the
right answer for the broad stages: the time was never theirs to save. It
comes from the narrow ones — the release rebuilds, the asset suite, and the
staging proof — which a test-only edit no longer re-runs.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KnhfrafYx5ZGaMbzZEJQ2d
Co-Authored-By
Claude Opus 5 (1M context) <noreply@anthropic.com>

Deploy story

What this commit did to the running system — joined from the forge receipt chain, the part a commit page elsewhere cannot show.

pushed
by user · WAL seq 409 · 2026-08-25T15:42:51.595060Z

Changed files

  • modified ops/ci/gate.sh

Diff

1 file changed, +6 -2

ops/ci/gate.sh modified +6 -2

@@ -110,8 +110,12 @@ trap cleanup EXIT INT TERM

110 110
stage_inputs() {
111 111
  case $1 in
112 112
    compile | production_compile) echo "lib" ;;
113
    precommit) echo "lib test priv assets ops" ;;
114
    enumeration_proofs) echo "lib test ops" ;;
113
    # `mix precommit` runs the documentation and reference checks as well as
114
    # the suite, and those read the invariant ledger and the docs tree. Given
115
    # the whole worktree it never reuses, which is the right answer for the
116
    # broad stage: the savings are meant to come from the narrow ones.
117
    precommit) echo "." ;;
118
    enumeration_proofs) echo "." ;;
115 119
    cluster | direct_transaction | relup_topology | rolling_replacement) echo "lib test" ;;
116 120
    javascript) echo "assets" ;;
117 121
    relup | version_chain | interrupted_install) echo "lib priv assets ops" ;;

This page updates live while a promote is in flight · changelog