Certification
This provider is certified: it passes every behavior in the BigFleet conformance program — the same bar every provider must clear — so you can trust it to create, configure, drain, and delete machines correctly under load, failure, and restart. You do not need to run anything here to use it in production; this page exists if you want to reproduce that verdict yourself.
“Certified” here means exactly what it means in the conformance program: the provider passes both the upstream authoritative baseline and this repo’s extension suite, with no failures and no skipped-as-failed behaviors.
One command
make certify-gcpThat target (hack/run-certify.sh gcp) is fully credential-free. It:
- Resolves the bigfleet checkout that owns the authoritative contract — reusing
$BIGFLEET_SRCif set, otherwise cloning the exact version pinned in the provider’sgo.modinto.cache/bigfleet-src. - Builds
./bin/gcpand boots it with--provider=certify --seed-count=256. It uses--use-fake-backend, so no GCP project is touched — the extension suite consumes a fresh machine per behavior, hence the generous seed. - Runs the upstream baseline (
test/conformance/in the bigfleet repo), then the extension suite (conformance/suite, build-taggedcertify), both dialing that one endpoint. - Prints
CERTIFIED: gcp passed the upstream baseline + the extension suite— or fails non-zero on the first failing behavior, tearing the provider down.
Override the port with PORT=....
Profiles the GCP provider claims
The harness certifies a provider against the profiles it advertises;
behaviors outside a claimed profile skip-as-pass. The harness probes the
provider’s Capabilities over the wire and skips inapplicable behaviors with a
reason (never failing them).
- core — every provider (lifecycle, errors, fencing, concurrency, metadata, field-shape, list, property).
- cloud — implements
Delete(Idle → Speculative). The GCP provider does (Delete=Instances.Delete), so it claims cloud. - spot — exposes SPOT capacity with a real
interruption_probability > 0. The GCP provider offers Spot VMs, so it claimsspot, and its default offerings include Spot slots so the invariant actively fires. See Pricing & interruption. - fault / durable / scale — failure→
FAILED, restart recovery, and scale lanes. These come fromproviderkitand pass by construction for any kit-based provider; run them through the report runner.
make certify-gcp runs the credential-free core gate (baseline + the black-box
extension). The complete certification — every applicable lane — runs through
the bfconformance runner and emits a JUnit + JSON report with a verdict:
make report-gcp PROFILE=core,cloud,spot,fault,durable,scale# -> VERDICT: CERTIFIED, writes conformance-report/gcp/{report.json,junit.xml}The certified run covers all 93 behaviors across the 11 areas (lifecycle, transition matrix/errors, fencing, concurrency & idempotency, metadata, field-shape & cost, list/revision/pagination, timeouts & failure, durability/restart, scale & soak, property/fuzz).
Certifying a real endpoint
make certify-gcp certifies the fake backend in CI. To certify the provider
talking to real GCE, run it yourself against your project and point the
extension suite at it:
# 1. Boot the provider against real GCP (see Install & deploy / Configuration)../bin/gcp \ --addr 127.0.0.1:9099 \ --project my-gcp-project \ --region us-central1 \ --image projects/debian-cloud/global/images/family/debian-12 \ --offerings ./offerings.json
# 2. In another shell, run the extension suite against that endpoint.go -C conformance test -tags=certify -count=1 ./suite/... -target=127.0.0.1:9099A real run exercises the full lifecycle — Instances.Insert → wait-for-RUNNING →
in-band SSH Configure/Drain → Instances.Delete — so the endpoint needs a
provider service account with compute.instanceAdmin.v1 (see
Credentials), an --ssh-key, and an image whose
bootstrap hook joins the cluster. It will create and destroy real instances; certify in a
throwaway project and tear the instances down.
See also
- Conformance program — the behavior registry, profiles, and how to add a behavior.
- Pricing & interruption — why every SPOT machine declares a real, non-zero interruption probability.
- Credentials & auth — the service account a real-endpoint certification run needs.