computeHasCapacity function

bool computeHasCapacity({
  1. required String kind,
  2. required int available,
})

The COMPUTE domain's declare-and-check CAPACITY PREDICATE (ADR-0011 D3 — the capacity predicate is domain-owned, not engine code).

A compute slot is grantable iff the request names kComputeKind AND the lessor has at least one free slot (available > 0). The federation core runs the GENERIC kind+slot arithmetic (LeaseManager); this names what "compute capacity" MEANS so the core stays kind-agnostic. Pure — no I/O, no state.

Implementation

bool computeHasCapacity({required String kind, required int available}) =>
    kind == kComputeKind && available > 0;