@spec commerce_corridor_prerequisite_taxonomy() :: [atom()]

Returns the canonical taxonomy of prerequisite classes that may be referenced by commerce corridor entries. Every prerequisite_classes value on a commerce corridor entry must be drawn from this set so doctor/support/guides taxonomy stays parity-locked.

@spec commerce_corridor_proof_classes() :: %{
  required(String.t()) => %{
    proof_class: :merge_blocking | :advisory,
    advisory_provider_proof: boolean()
  }
}

Returns the canonical commerce corridor proof-class mapping.

Every commerce corridor declares whether its hermetic Phoenix-owned contract proof is :merge_blocking (core route/manifest/denial truth that must pass before merge) and whether it also carries an advisory_provider_proof flag for storefront/simulator evidence (StoreKit, Play Billing) that stays advisory in v3.2.

@spec gating_truth() :: [map()]

Returns a runtime snapshot of gate state for every registered companion.

Reads Application.get_env(:crosswake, :companions, []) at call time (NOT compile_env) so test fixtures can register companions via Application.put_env/3 and production callers see live runtime-registered companions.

Each entry is a map with:

• :companion_id — the atom id from companion.companion_id()
• :gate_state — one of "gated", "rolling_out (N%)", "killed", or nil (nil means the companion's gate is inactive or unconfigured)

Kill-switch status overrides gate_status — if the kill switch is active, the entry shows "killed" regardless of gate_status.

The :gate_state values are D-08 locked display strings. "rolling_out (N%)" is never equivalent to "supported" — the gating_truth_label/0 column heading reinforces this distinction.

@spec gating_truth_label() :: String.t()

Runtime gate-state label.

Returns the column label for the gating-truth section of the support matrix, deliberately runtime-distinct from build-proof posture. This label must never be misread as "supported" — a route in "rolling_out (10%)" state is gated, not supported, and the column label makes that explicit.

D-08: "Runtime Gate State — not build-proof posture."