194-the-ledger-probe-sweeps-the-candidate

The built-in ledger probe sweeps the candidate, not origin/main

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Spec 154's carried acceptance proves the built-in exempt ledger by sweeping spec 019 at `origin/main` with the candidate binary. Under an exact engine pin, a version bump makes the candidate refuse `origin/main`'s older pin, so 046, 089, 146 and 154 fail in the merge queue of every bump. The probe sweeps the candidate's own `HEAD` instead.

Read the full pinned specification ↗

Relationships

Claimed units

No ownership claims exported.

Source headings

  1. 194: The built-in ledger probe sweeps the candidate, not origin/main
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 The probe sweeps the candidate's own revision
  6. 3.2 Acceptance
  7. Decisions
  8. Verification

Frozen anchors

No frozen anchors declared.