## Code Analysis

### The probe reports execution failure
`test/contract-claims.checks.sh:164-177`
```bash
contract_check_cooklang_name_termination_adjacency() {
  local corpus="$CC_OUT/cooklang-adjacency" out rc
 # ...
  out="$("$BORIS" recipe-scale --input "$corpus/in" --id adjacency --factor 2 --cooklang 2>&1)"
  rc=$?
 # ...
  if [[ "$rc" -ne 0 ]]; then
    cc_detail "recipe-scale exited $rc, so the divergence could not be probed:"
    cc_detail "$out"
    return 1
  fi
}
```
The check explicitly identifies a nonzero `recipe-scale` exit as an inability to probe and returns failure. That result does not establish that the parser divergence was resolved.

### The gate assigns every nonzero result the resolution meaning
`scripts/test-contract-claims.sh:215-224`
```bash
known-divergence)
  if [[ "$check_rc" -eq 0 ]]; then
    warn "$r_id (known divergence $r_issue -- still reproduces)"
    divergent=$((divergent + 1))
  else
    failmsg "$r_id (known-divergence) -- the divergence no longer reproduces"
    detail "the recorded bug looks fixed. Repin/re-verify, then flip this record to"
    detail "\`status: enforced\` with a check asserting the contract-correct behavior."
    failed=$((failed + 1))
  fi
  ;;
```
The `known-divergence` branch receives only `check_rc`, so the probe's execution failure is treated the same as a completed probe that contradicts the known divergence. The resulting message falsely claims resolution.

## Observed Execution

### unavailable probe
```text
recipe-scale exited 2, so the divergence could not be probed:
error: unexpected argument: recipe-scale-not-available (try --help)
usage: boris <command> [options] (run boris --help for the full option list)
FAIL cooklang.name-termination-adjacency (known-divergence) -- the divergence no longer reproduces
the recorded bug looks fixed. Repin/re-verify, then flip this record to
`status: enforced` with a check asserting the contract-correct behavior.
tracked as: https://github.com/drawmeanelephant/boris/issues/907
contract-claims: 1 record(s) failed
```

### restored probe
```text
OK cooklang.name-termination-adjacency (known divergence https://github.com/drawmeanelephant/boris/issues/907 -- still reproduces)
==> 5 enforced, 1 known divergence(s), 6 record(s) total
contract-claims: all assertions passed
```

### Result
The unavailable oracle produced an execution error, but the contract gate reported the known divergence as no longer reproducing. The restored comparison confirms the parser divergence still reproduces, so the unavailable-probe result is a false resolution signal.

### Test context
The run used a disposable unavailable-oracle setup for the first probe and restored the command for comparison. No application mocks or route stubs were used.