tatara_process/

lib.rs

//! Process CRD — the K8s-as-Unix-processes wire format.
//!
//! A `Process` is one element of the tatara convergence lattice.
//! Clusters, HelmReleases, migrations, tests — all are Processes.
//! The reconciliation loop *is* Unix: fork → exec → wait → exit → reap.

pub mod allocation;
pub mod anyhow_flatten;
pub mod api;
pub mod attestation;
pub mod boundary;
pub mod classification;
pub mod compliance;
pub mod condition_type;
pub mod configmap;
pub mod crd;
pub mod create;
pub mod delete;
pub mod encapsulates;
pub mod env;
pub mod ephemeral;
pub mod err_ctx;
pub mod export;
pub mod finalizers;
pub mod flux_resource;
pub mod hash;
pub mod hostname;
pub mod identity;
pub mod intent;
pub mod json_object;
pub mod k8s_builtin_resource;
pub mod k8s_condition;
pub mod k8s_object_ref;
pub mod k8s_wire_identity;
pub mod kube_error;
pub mod lifetime;
pub mod lifetime_clock;
pub mod list;
pub mod matrix;
pub mod patch;
pub mod phase;
pub mod pool;
pub mod process_api;
pub mod receipt;
pub mod requeue;
pub mod routing;
pub mod routing_edge_resource;
pub mod secret_env;
pub mod serde_defaults;
pub mod signal;
pub mod spec;
pub mod status;
pub mod string_map;
pub mod table;
pub mod tagged_union;
pub mod three_pillar;
pub mod time;

pub mod prelude {
    pub use crate::allocation::{
        AllocationCondition, AllocationPhase, AllocationSpec, AllocationStatus,
        EphemeralAllocation, Requestor,
    };
    pub use crate::anyhow_flatten::FlattenCtxExt;
    pub use crate::attestation::ProcessAttestation;
    pub use crate::boundary::{Boundary, Condition, ConditionKind, UnknownConditionKind};
    pub use crate::classification::{
        Arity, CalmClassification, Classification, ConvergencePointType, DataClassification,
        Horizon, HorizonKind, OptimizationDirection, SubstrateType, UnknownCalmClassification,
        UnknownConvergencePointType, UnknownDataClassification, UnknownHorizonKind,
        UnknownOptimizationDirection, UnknownSubstrateType,
    };
    pub use crate::compliance::{
        ComplianceBinding, ComplianceSpec, UnknownVerificationPhase, VerificationPhase,
    };
    pub use crate::crd::{Process, ProcessSpec, ProcessStatus};
    pub use crate::encapsulates::{
        BareWorkload, EncapsulatesSpec, EncapsulationKind, EncapsulationKindError,
        EncapsulationKindVariant, EncapsulationMode, EncapsulationTarget, ExistingHelmRelease,
        ExistingKustomization, UnknownEncapsulationMode, UnknownEncapsulationTarget,
    };
    pub use crate::ephemeral::{compile_ephemeral_source, EphemeralSpec};
    pub use crate::err_ctx::ErrCtxExt;
    pub use crate::export::{
        ArtifactError, ArtifactKind, ArtifactSource, ArtifactVariant, ChannelError, ChannelKind,
        ChannelVariant, ExportSpec, ExportTrigger, HttpEventChannel, NatsSubjectChannel,
        ProcessSnapshotSource, ReceiptsSource, ReportFormat, ReportPayloadShape, RunMarkerSource,
        StdoutChannel, TestReportSource, UnknownArtifactKind, UnknownChannelKind,
        UnknownExportTrigger, UnknownReportFormat, VectorChannel, DEFAULT_NATS_URL,
        DEFAULT_VECTOR_INGEST,
    };
    pub use crate::flux_resource::FluxResource;
    pub use crate::hash::hex_blake3;
    pub use crate::hostname::{
        ephemeral_id_from_spec, fmt_fqdn, fmt_fqdn_stable, resolve_ephemeral_id, HostnameError,
        HostnameResultExt, EPHEMERAL_ID_HASH_LEN,
    };
    pub use crate::identity::{
        content_hash, derive_identity, format_process_address, join_pid_segment, Identity,
        PID_PATH_SEPARATOR,
    };
    pub use crate::intent::{
        AplicacaoIntent, ContainerIntent, FluxIntent, GuestIntent, HelmLifecyclePolicy,
        HelmRemediationPolicy, Intent, IntentError, IntentKind, IntentVariant, LispIntent,
        NixIntent, UnknownWorkloadKind, WorkloadKind, FLUX_HELM_DEFAULT_INTERVAL,
        HELM_LIFECYCLE_DEFAULT_RETRIES, HELM_LIFECYCLE_DEFAULT_TIMEOUT,
    };
    pub use crate::k8s_builtin_resource::K8sBuiltinResource;
    pub use crate::k8s_condition::K8sConditionStatus;
    pub use crate::k8s_object_ref::K8sObjectRef;
    pub use crate::k8s_wire_identity::K8sWireIdentity;
    pub use crate::lifetime::{
        EphemeralLifetime, Lifetime, LifetimeError, LifetimeKind, LifetimeVariant,
        PermanentLifetime, TeardownPolicy, UnknownTeardownPolicy,
    };
    pub use crate::lifetime_clock::{
        evaluate as lifetime_clock_evaluate, AutoTerminate, AutoTerminateKind, TerminateReason,
        TerminateReasonKind, UnknownAutoTerminateKind, UnknownTerminateReasonKind,
    };
    pub use crate::matrix::{
        compile_env_matrix_source, EnvMatrixSpec, MatrixAxis, MatrixBudget, NamedEphemeral,
        SelectStrategy, SelectStrategyKind, UnknownSelectStrategyKind,
    };
    pub use crate::phase::{ProcessPhase, UnknownPhase};
    pub use crate::pool::{
        AllocationRef, EphemeralPool, MatchKey, MemberState, PoolCondition, PoolMember, PoolPhase,
        PoolSelector, PoolSpec, PoolStatus, ReplacementPolicy, ReturnPolicy, UnknownMemberState,
        UnknownPoolPhase, UnknownReplacementPolicy,
    };
    pub use crate::receipt::{
        default_receipt_config_map_name, extract_receipt_payload_json,
        resolve_receipt_config_map_name, ReceiptEnvelope, ReceiptError, ReceiptKind,
        ReceiptWireForm, RECEIPT_CM_KEYS, RECEIPT_CM_MISSING_KEY_MSG, RECEIPT_CM_SUFFIX,
        RECEIPT_JSON_KEY, RECEIPT_VERSION, RECEIPT_YAML_KEY,
    };
    pub use crate::requeue::after_secs as requeue_after_secs;
    pub use crate::routing::{RoutingBackend, RoutingForm, RoutingHostname, RoutingSpec};
    pub use crate::routing_edge_resource::RoutingEdgeResource;
    pub use crate::signal::{ProcessSignal, SighupStrategy, UnknownSighupStrategy};
    pub use crate::spec::{
        DependsOn, IdentitySpec, MustReachPhase, SignalPolicy, UnknownMustReachPhase,
    };
    pub use crate::status::{
        BoundaryStatus, CheckedCondition, ComplianceStatus, FluxResourceRef, ProcessCondition,
        RenderedResourceCoords,
    };
    pub use crate::table::{
        ClaimRecord, ProcessEntry, ProcessTable, ProcessTableSpec, ProcessTableStatus,
    };
    pub use crate::time::{elapsed_since, seconds_ago, tombstone_at, tombstone_now};
    pub use crate::{qualified_error_ctx, qualified_process_ref};
    pub use crate::{Annotated, DeletionTombstoned, NamespacedApiCoordinates, PlacedInNamespace};
}

/// CRD API group for every tatara CRD.
pub const GROUP: &str = "tatara.pleme.io";
/// CRD version for this module.
pub const VERSION: &str = "v1alpha1";
/// Kind spelling of the tatara Process CRD as it appears in a K8s
/// [`OwnerReference.kind`][ownref] field. Peer to [`GROUP`] +
/// [`VERSION`] — centralizes the ONE literal every SSA-time
/// re-injection helper pre-lift restated by hand across
/// `tatara-reconciler` (`render.rs`, `edges.rs`, `ssapply.rs`).
///
/// [ownref]: https://kubernetes.io/docs/concepts/overview/working-with-objects/owners-dependents/
pub const PROCESS_KIND: &str = "Process";

/// Canonical `<GROUP>/<VERSION>` `apiVersion` string as a compile-time
/// `&'static str` — the ONE typed wire-form binding every tatara CRD
/// stamps on its own `apiVersion` slot.
///
/// Peer to [`GROUP`] + [`VERSION`] on the CRD-group×version axis:
/// where those two consts own the group segment + the version segment
/// separately (each addressable in its own right — the [`api_url_prefix`]
/// composer weaves them into the REST-URL envelope, `#[kube(group = ...,
/// version = ...)]` derive slots on every tatara CRD struct address
/// them individually), this const owns the two-segment compose product
/// every wire-form emit — every K8s `apiVersion:` slot the reconciler
/// stamps + every [`PROCESS_WIRE_IDENTITY`] projection — routes
/// through.
///
/// Byte-shape pinned against `format!("{GROUP}/{VERSION}")` by
/// [`owner_reference_tests::api_version_const_composes_group_and_version_bytewise`]
/// so a rename of [`GROUP`] or a version bump on [`VERSION`] that
/// missed the const surfaces HERE rather than as silent SSA-apply
/// skew at every downstream OwnerReference / apiVersion-slot emit
/// site.
///
/// Sibling to the runtime [`api_version`] fn — [`API_VERSION`] is the
/// `&'static str` typed form (const-callable, feeds
/// [`PROCESS_WIRE_IDENTITY`]); [`api_version`] returns
/// [`API_VERSION`]`.to_string()` for owned-String call sites (SSA
/// re-injection helpers that thread the `apiVersion` slot through a
/// per-site cloned map).
pub const API_VERSION: &str = "tatara.pleme.io/v1alpha1";

/// Typed K8s wire-form identity of the tatara `Process` CRD — the
/// [`k8s_wire_identity::K8sWireIdentity`] projection carrying
/// `(apiVersion, kind) = (API_VERSION, PROCESS_KIND)` at ONE
/// compile-time `const`.
///
/// Peer on the K8s-wire-form-identity axis-family to the three
/// pre-existing closed-set `.wire_identity()` projections:
///
/// * [`k8s_builtin_resource::K8sBuiltinResource::wire_identity`] owns
///   the K8s built-in axis (`Job` / `ConfigMap`) — the resources the
///   reconciler fetches from Kubernetes itself.
/// * [`flux_resource::FluxResource::wire_identity`] owns the
///   FluxCD-controller axis (`Kustomization` / `HelmRelease` /
///   `OCIRepository`).
/// * [`routing_edge_resource::RoutingEdgeResource::wire_identity`]
///   owns the routing-edge axis (`Ingress` / `DNSEndpoint`).
/// * [`PROCESS_WIRE_IDENTITY`] (this const) owns the tatara `Process`
///   CRD's own wire-form identity — pre-lift the fourth arm was the
///   open corner every peer closed-set called out in its own docs as
///   "the tatara `Process` CRD's `(apiVersion, kind)` pair" but which
///   itself lived only as two disjoint consts + a runtime
///   [`api_version`] fn threaded through the [`owner_reference_json`]
///   composer's hand-inlined `json!` slots.
///
/// Together the four owners partition every K8s wire-form identity
/// the workspace's reconcilers reach at run time; the pin
/// [`owner_reference_tests::process_wire_identity_is_disjoint_from_every_peer_wire_form_axis`]
/// binds the four axes pairwise-distinct at fail-before-pass-after
/// granularity so a future variant addition on any peer that
/// accidentally overlapped this pair (a hypothetical
/// `K8sBuiltinResource::Process` copy-paste, a Flux-side `Process`
/// naming collision) surfaces at that pin rather than as silent
/// cross-axis ambiguity at every reconciler dispatch.
///
/// Consumed by [`owner_reference_json`] via
/// [`k8s_wire_identity::K8sWireIdentity::resource_json`] — pre-lift
/// the OwnerReference composer hand-inlined the (apiVersion, kind)
/// pair as two adjacent `json!` slots referencing [`api_version`] +
/// [`PROCESS_KIND`] separately, leaving a silent-drift path where a
/// copy-paste that dropped ONE reference (an `apiVersion` bump that
/// missed the sibling `kind`, a rename of one const that didn't
/// touch the other) would emit an OwnerReference no K8s controller
/// recognizes (a 404 at wire time diagnosed as a broken CRD). Post-
/// lift the emit routes through the ONE typed pair, and the drift
/// trap is unrepresentable — a caller cannot skew the two slots
/// because the composer takes the identity as a single struct.
///
/// A future consumer of the tatara `Process` wire-form identity — a
/// second OwnerReference emit site (P3 kenshi-runner's
/// `TestSuiteBinding` owner-ref, a P1 caixa-tatara-emitted
/// `HelmRelease`'s parent-Process reference), a future admission-
/// webhook that filters on the CRD's `(apiVersion, kind)` pair, a
/// fleet-wide audit walker enumerating every tatara-owned resource —
/// reads through this ONE const rather than re-composing the pair
/// from [`API_VERSION`] + [`PROCESS_KIND`] separately.
///
/// Theory grounding: THEORY.md §II.1 invariant 5 — composition
/// preserves proofs. The two-slot (apiVersion, kind) composition
/// lives at ONE typed algebra projection here; a regression that
/// drifted either slot surfaces at this module's pins rather than as
/// silent operator-visible OwnerReference skew. THEORY.md §III —
/// typescape. The typed [`k8s_wire_identity::K8sWireIdentity`] pair
/// bounds the axis of variation at the type level — a callsite that
/// receives a `K8sWireIdentity` cannot skew the two slots at compose
/// time.
pub const PROCESS_WIRE_IDENTITY: k8s_wire_identity::K8sWireIdentity =
    k8s_wire_identity::K8sWireIdentity::new(API_VERSION, PROCESS_KIND);

/// Canonical `<GROUP>/<VERSION>` as an owned `String` — the ONE
/// K8s `apiVersion` shape every tatara CRD stamps. Delegates to the
/// compile-time [`API_VERSION`] const so a bump of [`GROUP`] or
/// [`VERSION`] that missed the const surfaces at
/// [`owner_reference_tests::api_version_const_composes_group_and_version_bytewise`]
/// rather than as silent skew between the runtime fn and the typed
/// [`PROCESS_WIRE_IDENTITY`] const that shares the same wire form.
///
/// Pre-lift, two `tatara-reconciler` sites hand-wrote
/// `format!("{}/{}", tatara_process::GROUP, tatara_process::VERSION)`
/// while a third inlined the literal `"tatara.pleme.io/v1alpha1"`,
/// opening a silent drift path if [`VERSION`] ever advances past
/// `v1alpha1`; both are covered by the ONE substrate owner here.
pub fn api_version() -> String {
    API_VERSION.to_string()
}

/// Canonical `/apis/<GROUP>/<VERSION>/` prefix as an owned `String` —
/// the ONE K8s REST-path shape every typed `Api::namespaced` /
/// `Api::all` primitive built off a tatara CRD kind (`Process`,
/// `ProcessTable`, `EphemeralPool`, `EphemeralAllocation`) emits at
/// [`kube::Api::resource_url`]. Peer to [`api_version`] — composed
/// from the SAME [`GROUP`] + [`VERSION`] pair, wrapped in the fixed
/// `/apis/{…}/` HTTP-path envelope that the K8s API server exposes
/// every custom-resource group under.
///
/// Pre-lift the wire-form literal `"/apis/tatara.pleme.io/v1alpha1/"`
/// recurred at ELEVEN hand-authored sites across three separate test
/// modules — six across `tatara-reconciler::context` (`process_api`,
/// `process_table_api`, `processes_all_api` scope pins), four across
/// `tatara-pool-reconciler::context` (`pool_api`, `allocation_api`,
/// `pools_all_api`, `allocations_all_api` scope pins), and one at
/// `tatara-github-watcher::handler` (`allocation_api` scope pin) —
/// each restating the same URL prefix a bump of `GROUP` or `VERSION`
/// would silently miss at every one. Post-lift each of the eleven
/// sites composes the prefix through this substrate function, so a
/// future group rename or `v1alpha1` → `v1beta1` bump lands at ONE
/// composer and the eleven downstream scope guards inherit the shape
/// mechanically.
///
/// Theory anchor: THEORY.md §II.1 invariant 5 — composition preserves
/// proofs. A regression that drifted the URL prefix at ONE site (a
/// group typo, a `/apis/` → `/api/` mis-spelling, a stale `v1alpha1`
/// left behind after a workspace-wide `VERSION` bump) surfaces at the
/// [`api_url_prefix_tests`] pins below rather than as silent
/// scope-guard drift between the three reconciler + watcher test
/// suites (which pre-lift already disagreed with each other on
/// nothing but were free to drift independently).
#[must_use]
pub fn api_url_prefix() -> String {
    format!("/apis/{GROUP}/{VERSION}/")
}

/// Substrate-primitive composer for the canonical
/// **namespace-qualified process reference** — the `<ns>/<name>`
/// string every consumer that grepped, keyed, or annotated a
/// Process by "which cluster location owns it" hand-authored as
/// `format!("{ns}/{name}")` at scattered sites across the workspace.
/// Lifted onto `tatara-process` (from its prior home at
/// `tatara_reconciler::ssapply::qualified_process_ref`) so callers
/// BELOW the reconciler layer — `tatara-export-worker` (which does
/// NOT depend on `tatara-reconciler`) and `tatara-pool-reconciler` —
/// reach the SAME composer the reconciler-side sites do, closing
/// the previously-open substrate corner where a downstream consumer
/// re-authored the shape by hand rather than routing through the
/// ONE primitive.
///
/// The `<ns>/<name>` shape is the workspace-wide convention for
/// "how to name a namespaced K8s resource in a single string" — the
/// same shape the K8s API server itself uses in
/// [`OwnerReference`][ownref] pretty-printing, in the `holder` slot of
/// [`crate::table::ClaimRecord`], and in the `tatara.pleme.io/process`
/// annotation every reconciler-emitted resource carries. Callers
/// with a live [`crate::prelude::Process`] compose through
/// [`crate::prelude::Process::coordinates_or_defaults`] +
/// [`Self`] (this function); callers with bare
/// `(ns: &str, name: &str)` params (CLI-arg driven binaries,
/// `metadata`-agnostic composers) call this directly.
///
/// The 2-arg signature encodes the invariant "the qualified
/// reference is EXACTLY `<ns>/<name>`, in that order, joined by a
/// single `/` separator" at the type level — a caller cannot
/// accidentally swap the two axes (which would produce `<name>/<ns>`
/// and silently break every downstream grep) nor omit either half,
/// the way a pre-lift hand-authored `format!("{name}/{ns}")` or
/// `format!("{ns}-{name}")` typo would.
///
/// A future change to the reference shape — a `<ns>/<name>@<gen>`
/// multi-generation variant for attestation grepping, a
/// `<cluster>/<ns>/<name>` cross-cluster form, a normalization
/// (case-fold, unicode-safe collation) that must apply everywhere —
/// lands at ONE substrate function here and every downstream
/// composer (annotation seed, ProcessTable claim key, label
/// selector, owner metadata, export-worker run-id fallback,
/// receipt-owner filter) inherits the upgrade mechanically.
///
/// Theory anchor: THEORY.md §VI.1 (generation over composition —
/// the `<ns>/<name>` shape recurred at hand-authored sites past the
/// ★★ PRIME-DIRECTIVE ≥ 2 duplication trigger, and is lifted onto
/// the ONE workspace-wide owner here). THEORY.md §II.1 invariant 5
/// (composition preserves proofs — a regression that swapped the
/// two axes or the separator at ONE site surfaces at
/// [`qualified_process_ref_tests::qualified_process_ref_joins_ns_and_name_with_slash`]
/// rather than as silent drift at every downstream annotation seed
/// / claim key / label selector / run-id / receipt-owner filter).
///
/// [ownref]: https://kubernetes.io/docs/concepts/overview/working-with-objects/owners-dependents/
#[must_use]
pub fn qualified_process_ref(ns: &str, name: &str) -> String {
    format!("{ns}/{name}")
}

/// Substrate-primitive composer for the workspace-canonical
/// **`<verb> <Kind> <ns>/<name>`** diagnostic-body head every
/// per-Kind [`error_ctx`][crate::configmap::error_ctx] peer wraps
/// around a wire-verb failure against a namespaced K8s resource
/// (through [`crate::kube_error::KubeResultExt::kube_ctx_with`] on
/// the reconciler-boundary consumers or through
/// [`anyhow::Context::with_context`] on the export-worker
/// consumers).
///
/// Owns the fixed 4-slot shape at ONE substrate site, routing the
/// `<ns>/<name>` join through the workspace-wide
/// [`qualified_process_ref`] composer so a future normalization of
/// the qualified-ref shape (case-fold, unicode collation, IDN) lands
/// at ONE site and every per-Kind diagnostic body picks it up
/// mechanically.
///
/// Pre-lift the 4-slot shape recurred at TWO peer per-Kind
/// composers in this crate past the ★★ PRIME-DIRECTIVE ≥ 2
/// duplication threshold, each restating the SAME
/// `format!("{verb} <Kind> {}", qualified_process_ref(ns, name))`
/// incantation with only the fixed `<Kind>` literal differing:
///
/// * [`crate::configmap::error_ctx`] — the ConfigMap-axis per-Kind
///   composer (`<Kind> = "ConfigMap"`), routing the closed-loop
///   probe's receipt-CM writer + the export-worker's SSA-side
///   ConfigMap writer through ONE substrate slug.
/// * [`crate::process_api::error_ctx`] — the tatara-CRD
///   Process-axis per-Kind composer (`<Kind> = "Process"`), routing
///   the reconciler-boundary ProcessPhase evaluator + the
///   export-worker's ProcessSnapshotSource reader through ONE
///   substrate slug.
///
/// Both peers walked the SAME 4-slot shape — take a verb, a fixed
/// `&'static str` per-Kind literal (`"ConfigMap"` / `"Process"`),
/// and the target resource's namespace + name — and produced the
/// SAME `"<verb> <Kind> <ns>/<name>"` diagnostic head. Post-lift
/// each per-Kind composer reads
/// `crate::qualified_error_ctx(<verb>, "<Kind>", ns, name)` as a
/// one-line delegate, and the shared 4-slot shape lives at ONE
/// substrate owner here. A future third + fourth per-Kind composer
/// (a `crate::secret::error_ctx` for the K8s `Secret` axis, a
/// `crate::job::error_ctx` for the `batch/v1::Job` axis a future
/// `ConditionKind::JobAttested` companion reader might open, a
/// `crate::helm_release::error_ctx` for the FluxCD `HelmRelease`
/// axis the P2 reconciler already emits) inherits the 4-slot shape
/// through THIS composer, pinning only its own `&'static str` Kind
/// literal.
///
/// ### Naming — `qualified_error_ctx`, not `error_ctx`
///
/// The bare `error_ctx` name is already taken at each per-Kind
/// composer's module ([`crate::configmap::error_ctx`],
/// [`crate::process_api::error_ctx`], [`crate::list::error_ctx`]),
/// each closing its own per-Kind or per-verb axis. This composer's
/// `qualified_error_ctx` name is deliberately distinct so a caller
/// with any of the per-Kind modules in scope cannot resolve to the
/// wrong composer by accident (which would silently drop the
/// per-Kind literal at the callsite). The `qualified_` prefix names
/// the routing invariant: the `<ns>/<name>` join at the composer's
/// tail rides through [`qualified_process_ref`], the SAME workspace-
/// wide substrate every per-Kind peer already routes through.
///
/// ### 4-slot shape, not 3
///
/// The `kind` slot is required — the pre-lift per-Kind composers
/// hard-coded their Kind literal as a `&'static str` at each
/// `format!` chain, and post-lift the composer keeps that Kind
/// literal at the caller so the K8s-canonical TitleCase spelling
/// stays visible in the callsite's grep footprint. A future
/// caller with a dynamically-composed Kind slot (a CRD-family
/// walker that renders errors for every `ProcessTable` /
/// `EphemeralPool` / `EphemeralAllocation` variant at one call)
/// still reaches through this same 4-slot signature — the `&str`
/// bound on `kind` accepts both `&'static str` literals (the
/// per-Kind peer shape) and runtime-composed `&str` slices (the
/// dynamic-Kind walker shape).
///
/// ### `#[must_use]`
///
/// The returned `String` is consumed by [`crate::kube_error::
/// KubeResultExt::kube_ctx_with`], by
/// [`anyhow::Context::with_context`]'s owned-`String`-returning
/// closure form, or by the sibling [`crate::err_ctx::ErrCtxExt::
/// err_ctx_with`] owned-string escape hatch. Dropping the return
/// silently drops the diagnostic head entirely, which is never the
/// intended semantic at any pre-lift or post-lift consumer.
///
/// Theory anchor: THEORY.md §VI.1 (generation over composition —
/// the 4-slot `<verb> <Kind> <ns>/<name>` shape recurred at 2 peer
/// per-Kind composers past the ★★ PRIME-DIRECTIVE ≥ 2 duplication
/// trigger, and is lifted onto the ONE workspace-wide substrate
/// owner here). THEORY.md §II.1 invariant 5 (composition preserves
/// proofs — a regression that reordered the head slots, dropped
/// the fixed `<Kind>` word, or routed the `<ns>/<name>` join
/// through a bare inline `format!` — bypassing
/// [`qualified_process_ref`] — surfaces at
/// [`qualified_error_ctx_tests`] rather than as silent drift across
/// every per-Kind diagnostic body and every future per-Kind peer
/// that opens on this composer).
#[must_use]
pub fn qualified_error_ctx(verb: &str, kind: &str, ns: &str, name: &str) -> String {
    format!("{verb} {kind} {}", qualified_process_ref(ns, name))
}

/// Build a Kubernetes [`OwnerReference`][ownref] JSON blob pointing
/// at a Process (`kind = `[`PROCESS_KIND`], `apiVersion = `
/// [`api_version`]) with `controller: true` +
/// `blockOwnerDeletion: true` — the exact 6-slot shape every SSA
/// re-injection site pre-lift restated three times across
/// `tatara-reconciler` (`render.rs::owner_refs` for export-Job
/// owners, `edges.rs::build_owner_refs` for Ingress + DNSEndpoint
/// owners, `ssapply.rs::build_owner_reference` for the injected
/// owner-ref stamped on every applied `DynamicObject`). Callers
/// with a live `Process` value read `metadata.{name,uid}` and pass
/// them through as `&str`.
///
/// The 6-slot shape is fixed (`controller` + `blockOwnerDeletion`
/// both `true`); a Process-owned resource that wants a non-
/// controller reference doesn't belong on this owner and can build
/// its own `json!` inline — this primitive is the composer for the
/// canonical "Process controls this resource, cascade-delete on
/// GC" shape, not a general OwnerReference builder.
///
/// [ownref]: https://kubernetes.io/docs/concepts/overview/working-with-objects/owners-dependents/
pub fn owner_reference_json(name: &str, uid: &str) -> serde_json::Value {
    // Route the (apiVersion, kind) pair through the ONE typed
    // wire-identity const [`PROCESS_WIRE_IDENTITY`] via
    // [`k8s_wire_identity::K8sWireIdentity::resource_json`] — the
    // composer stamps the identity slots on top of the caller's
    // 4-slot extras map (name / uid / controller / blockOwnerDeletion)
    // and the identity slots win over any accidental extras collision
    // by construction. Pre-lift the two identity slots were hand-
    // inlined as adjacent `json!` slots referencing `api_version()` +
    // `PROCESS_KIND` separately, so a copy-paste that dropped one
    // reference (or drifted one const under a group rename) would
    // silently emit an OwnerReference no K8s controller recognizes.
    // Post-lift the wire-form pair binds structurally at ONE typed
    // [`PROCESS_WIRE_IDENTITY`] const and the drift trap is
    // unrepresentable.
    PROCESS_WIRE_IDENTITY.resource_json(serde_json::json!({
        "name": name,
        "uid": uid,
        "controller": true,
        "blockOwnerDeletion": true,
    }))
}

/// Substrate-primitive builder for a Process-owned resource's
/// **`metadata.ownerReferences` array** — the empty-uid-gated,
/// single-entry `Vec<Value>` every emit site that lacks a fully
/// materialized [`crate::prelude::Process`] (i.e. every site that
/// works from a bare `(name, uid)` pair rather than routing through
/// [`ssapply::build_owner_reference`](../tatara_reconciler/ssapply/fn.build_owner_reference.html)'s
/// anyhow-guarded unwrap) hand-composed by wrapping
/// [`owner_reference_json`] in a `Vec::new()` + `is_empty` gate on
/// the `uid` slot.
///
/// The `uid.is_empty()` gate encodes the invariant every caller
/// already enforced: a Process pre-metadata (fixtured in tests, or
/// caught mid-Forking before the API server has stamped a `uid`) has
/// no admissible owner reference to point at, so the emit site
/// stamps `metadata.ownerReferences: []` rather than an
/// owner-referenceless resource pointing at a placeholder uid the K8s
/// GC would silently ignore. Post-lift the gate lives at ONE
/// primitive so a regression that inlined an owner reference for
/// an empty uid — which the API server accepts and quietly detaches
/// from cascade-delete — surfaces at THIS primitive's pin rather
/// than as an operator-visible ownerless resource after apply.
///
/// Pre-lift the 3-line `let mut owner_refs = vec![]; if
/// !uid.is_empty() { owner_refs.push(owner_reference_json(name,
/// uid)); }` incantation was hand-authored at TWO sites past the
/// ★★ PRIME-DIRECTIVE ≥ 2 duplication threshold in
/// `tatara-reconciler`, each restating the same gated composition:
/// * `edges::build_owner_refs` — the shared owner-refs builder both
///   `IngressEdge` + `DnsEndpointEdge` route through, sourcing
///   `(process_name, process_uid)` from the [`crate::edges::EdgeContext`].
/// * `render::one_export_job` — the export Job's owner-refs seed,
///   sourcing `(name, uid)` from the [`crate::prelude::Process`]
///   `render_export_jobs` threaded in.
///
/// Post-lift both callsites read `owner_references_json(name, uid)`.
/// A future addition — e.g. a second owner-reference slot naming a
/// controlling ProcessTable entry, a policy that stamps a stale-uid
/// warning annotation before returning empty, or a normalization
/// that strips a cluster-prefix off the uid — lands at ONE
/// substrate function here and every emit site inherits the upgrade
/// mechanically. The [`ssapply::build_owner_reference`] path (which
/// works from a materialized [`crate::prelude::Process`] and errors
/// on absent `metadata.uid`) is a peer, not a lift candidate: its
/// contract is "the K8s API server assigned a uid, so refuse to
/// SSA-apply resources whose owner cannot be materialized", while
/// this primitive's contract is "the caller has an optional-uid
/// posture; emit `[]` when the uid is absent". The two shapes
/// partition the input space at the "is the enclosing scope
/// obligated to produce a materialized Process reference" axis.
///
/// The 2-arg `(&str, &str)` signature accepts both the
/// `EdgeContext`-sourced `(&str, &str)` slice shape and the
/// `render_export_jobs`-owned `(name: &str, uid: &str)` local shape
/// without widening — matches every current callsite.
pub fn owner_references_json(name: &str, uid: &str) -> Vec<serde_json::Value> {
    if uid.is_empty() {
        vec![]
    } else {
        vec![owner_reference_json(name, uid)]
    }
}

/// Substrate-primitive trait for the **`Api::namespaced`-shaped
/// coordinate extraction** every tatara-CRD reconciler restated by
/// hand at its top-level `reconcile` dispatcher: pull owned `String`
/// forms of `metadata.namespace` and `metadata.name` and refuse to
/// substitute a workspace-wide default for either slot, because the
/// caller is about to feed the pair positionally into
/// `Api::namespaced(client, &ns)` + `Api::patch(&name, …)` and the
/// K8s API server refuses an empty-string name / namespace path
/// segment.
///
/// Pre-lift the 5-line `.metadata.<slot>.clone().ok_or_else(||
/// anyhow!("<Kind> has no metadata.<slot>"))?` chain (paired at both
/// slots inside every controller's `reconcile_inner`) was hand-
/// authored at TWO sites past the ★★ PRIME-DIRECTIVE ≥ 2 duplication
/// threshold in `tatara-pool-reconciler`, each restating the SAME
/// (`namespace` errors, then `name` errors, both owned `String`)
/// contract on a different CRD:
/// * `controller_pool::reconcile_inner` — the pool reconciler's
///   top-level `Pool has no metadata.{namespace,name}` gate,
///   funneling every subsequent `Api::namespaced` + `Api::patch` call
///   through the extracted `(ns, name)` pair.
/// * `controller_allocation::reconcile_inner` — the allocation
///   reconciler's peer gate on `EphemeralAllocation`, funneling the
///   `Api::namespaced` + `Api::patch_status` calls that follow.
///
/// Both sites walked the SAME 5-line paired chain and both wanted the
/// `(String, String)` form the primitive returns — because the
/// produced `ns` outlives the source-object borrow (it feeds
/// `Api::namespaced(client, &ns)` and later log-line interpolations
/// across a stretch of `.await` points) and the `name` similarly
/// threads through `Api::patch(&name, …)` calls downstream. Post-lift
/// each callsite reads `pool.owned_coordinates_required()?` /
/// `alloc.owned_coordinates_required()?` and the produced tuple
/// destructures into the same downstream slots unchanged.
///
/// The blanket impl over `kube::Resource<DynamicType = ()>` (which
/// every `#[derive(CustomResource)]`-generated tatara CRD satisfies)
/// closes the substrate corner ONCE for the entire workspace: adding
/// a third or fourth CRD in a peer crate — a routing-edge object, a
/// receipt registry — inherits the extractor for free at its own
/// `reconcile_inner` dispatcher with zero per-CRD lift work. This is
/// the direction the CSE Compounding Directive names by
/// "solve once, load-bearing fixes only": the primitive lands once
/// and every downstream controller pattern-matches into it without
/// re-authoring the chain.
///
/// Peer to [`crate::prelude::Process::owned_coordinates_or_err`] on
/// the (`Process`-specific × namespace-required) axis pair — the two
/// primitives partition the workspace's owned-form coordinate
/// extraction on the `namespace-required` axis and cover the
/// per-CRD needs they were opened for:
///
/// * ns-defaulted, name-required, `Process`-inherent →
///   [`crate::prelude::Process::owned_coordinates_or_err`]
///   (`tatara-reconciler`'s `phase_machine` / `signals` callers —
///   consumers whose downstream tolerates the workspace's
///   [`crate::prelude::Process::DEFAULT_NAMESPACE`] substitute for a
///   `Process` fixtured pre-namespace-defaulting).
/// * ns-required + name-required, blanket over every CRD → **this
///   method** (`tatara-pool-reconciler`'s pool + allocation reconciler
///   callers — consumers whose downstream refuses BOTH substitutions
///   because the `Api::namespaced` dispatcher expects a real path
///   segment on each axis and the enclosing controller is not
///   authored to run against a namespace-less pool / allocation).
///
/// The error strings are shaped as `"{Kind} has no metadata.{slot}"`
/// with `{Kind}` pulled positionally from `Self::kind(&())` (the
/// kube-rs canonical CRD kind — `"EphemeralPool"` / `"EphemeralAllocation"`
/// — which matches `kubectl get ephemeralpools|ephemeralallocations`
/// output verbatim rather than the pre-lift `"Pool"` / `"Allocation"`
/// short-forms every callsite hard-coded by hand). Routing the type
/// name through `Self::kind` closes the drift path where a future
/// CRD rename or a copy-paste consumer inherited the wrong short-
/// form; the K8s-kind spelling is the ONE canonical name every
/// operator-facing surface (kubectl output, RBAC subject strings,
/// audit-log entries) already uses, so a log-line consumer greppping
/// for either kind hits the primitive's canonical spelling directly.
///
/// A future normalization step (a per-CRD namespace canonicalization
/// pass — case-fold, unicode-safe path-segment validation, a shared
/// [`crate::prelude::Process::DEFAULT_NAMESPACE`]-aware fallback
/// mode gated by an argument) lands at ONE substrate trait method
/// here and every downstream reconciler picks up the upgrade
/// mechanically — no per-callsite hand-edit at `controller_pool` /
/// `controller_allocation` / any future CRD's `reconcile_inner`.
///
/// Theory anchor: THEORY.md §VI.1 (generation over composition —
/// the paired 5-line `.metadata.<slot>.clone().ok_or_else` chain
/// recurred at two hand-authored sites past the ★★ PRIME-DIRECTIVE
/// ≥ 2 duplication trigger, and is lifted onto ONE trait method
/// here). THEORY.md §II.1 invariant 5 (composition preserves
/// proofs — the pins bind the missing-namespace corner, the
/// missing-name corner, the missing-both corner (namespace error
/// wins), the both-slots-present happy path, AND the
/// `Self::kind`-driven error-string spelling per CRD, so a
/// regression that reordered the two `ok_or_else` gates or drifted
/// the error prefix surfaces at `tests::owned_coordinates_required_*`
/// rather than as silent operator-facing skew between the two
/// reconcilers' top-level error-message shapes).
pub trait NamespacedApiCoordinates: kube::Resource<DynamicType = ()> {
    /// Extract the K8s API path coordinates as owned `String`s,
    /// erroring with a `Self::kind`-prefixed message when either
    /// slot is absent. See the trait-level docs for the axis-family
    /// context, peer primitives, and future-normalization anchor.
    fn owned_coordinates_required(&self) -> anyhow::Result<(String, String)> {
        let meta = self.meta();
        let ns = meta
            .namespace
            .clone()
            .ok_or_else(|| anyhow::anyhow!("{} has no metadata.namespace", Self::kind(&())))?;
        let name = meta
            .name
            .clone()
            .ok_or_else(|| anyhow::anyhow!("{} has no metadata.name", Self::kind(&())))?;
        Ok((ns, name))
    }
}

impl<T> NamespacedApiCoordinates for T where T: kube::Resource<DynamicType = ()> {}

/// Substrate-primitive trait for the **deletion-tombstone presence
/// probe** every tatara CRD reconciler restated as
/// `.metadata.deletion_timestamp.is_some()` on the K8s-API-server-
/// stamped `metadata.deletionTimestamp` slot: a `true` reading means
/// the API server has accepted a DELETE and finalizers are draining
/// (the object is still live but the controller must move into its
/// SIGTERM cascade / DELETE-skip branch), while a `false` reading
/// means no delete is in flight.
///
/// Pre-lift the ONE-line `.metadata.deletion_timestamp.is_some()`
/// chain was hand-authored across every tatara-process CRD in
/// consumer crates and independently re-authored as byte-identical
/// inherent methods on [`crate::prelude::Process`] +
/// [`crate::prelude::EphemeralPool`], with the sister CRD
/// [`crate::prelude::EphemeralAllocation`] still on the raw chain in
/// `tatara-pool-reconciler::allocation_decide::AllocationConvergenceCtx::observe`.
/// That's TWO byte-identical inherent implementations past the ★★
/// PRIME-DIRECTIVE ≥ 2 duplication threshold on the substrate side
/// PLUS the hand-authored chain on the third CRD — three surfaces
/// spelling the SAME projection, each with the same drift risk (a
/// stale-tombstone grace-period gate, a paused-controller
/// canonicalization, a cross-cluster clock-skew guard would have to
/// land at every surface plus stay coherent).
///
/// Post-lift the substrate owns the probe at ONE trait method with a
/// blanket impl over every `kube::Resource<DynamicType = ()>`, so:
/// * [`crate::prelude::EphemeralAllocation`] inherits the probe for
///   free — its `allocation_decide.rs` hand-authored chain routes
///   through `alloc.is_being_deleted()` post-lift, closing the
///   third-CRD gap noted in the [`crate::prelude::EphemeralPool::is_being_deleted`]
///   commit body (`7f8f104`).
/// * Any future tatara CRD (a routing-edge object, a receipt
///   registry, a fleet-wide claim registry) inherits the probe at
///   its own `reconcile_inner` dispatcher with zero per-CRD lift
///   work — the same solve-once discipline
///   [`NamespacedApiCoordinates`] established for the paired
///   coordinate extractor.
///
/// The two existing inherent methods
/// ([`crate::prelude::Process::is_being_deleted`] +
/// [`crate::prelude::EphemeralPool::is_being_deleted`]) are peers
/// rather than lift casualties: Rust method resolution prefers the
/// inherent over the trait's blanket, so every existing callsite
/// keeps hitting the same code path. The trait's blanket impl
/// closes the substrate corner for CRDs WITHOUT the inherent — the
/// coherence tests pin that the trait and the two inherents produce
/// byte-identical results across every corner of the (missing,
/// present) input matrix, so a future rewrite that consolidates
/// onto the trait doesn't skew any consumer.
///
/// Return-form axis: `bool` matches the copy-form discipline of the
/// two inherent peers and of [`crate::prelude::Process::observed_phase`]
/// — the underlying wire-format slot is an `Option<Time>` carrying
/// only presence information at this axis (the RFC-3339 timestamp
/// payload itself is not what the callers read; all just probe
/// presence to detect the tombstone-stamped state).
///
/// A future normalization step (a per-tombstone staleness gate
/// returning `false` for a tombstone older than the reconciler's
/// grace-period budget, a paused-controller tombstone
/// canonicalization, a cross-cluster tombstone-observation clock
/// skew guard) lands at ONE substrate trait method here — the two
/// inherent forwarders inherit the upgrade mechanically if they are
/// rewired to `<Self as DeletionTombstoned>::is_being_deleted(self)`
/// as a follow-up sweep, and every downstream consumer that already
/// routes through this trait picks it up without a per-callsite
/// hand-edit.
///
/// Theory anchor: THEORY.md §VI.1 (generation over composition —
/// the `.metadata.deletion_timestamp.is_some()` projection recurred
/// as TWO byte-identical inherent implementations on
/// [`crate::prelude::Process`] + [`crate::prelude::EphemeralPool`]
/// past the ★★ PRIME-DIRECTIVE ≥ 2 duplication trigger and is
/// lifted onto ONE trait method here). THEORY.md §II.1 invariant 5
/// (composition preserves proofs — the pins bind the missing-
/// tombstone corner + the present-tombstone corner + the copy-form
/// `bool` return + the byte-identical parity with the pre-lift
/// `.is_some()` chain + cross-CRD coherence with both inherent
/// forwarders on the SAME `Process` / `EphemeralPool` value, so a
/// regression that skewed either surface surfaces at
/// `deletion_tombstoned_tests::*` rather than as silent operator-
/// facing skew between the top-level dispatcher's SIGTERM preempt,
/// the SIGTERM cascade's child-fan-out DELETE-skip, the pool
/// reconciler's Drain gate, and the allocation reconciler's release
/// short-circuit on three sibling CRDs.
pub trait DeletionTombstoned: kube::Resource<DynamicType = ()> {
    /// True iff the K8s API server has stamped `metadata.deletionTimestamp`
    /// on this resource — a DELETE is in flight and finalizers are
    /// draining. See the trait-level docs for the axis-family context,
    /// peer inherent methods, and future-normalization anchor.
    fn is_being_deleted(&self) -> bool {
        self.meta().deletion_timestamp.is_some()
    }
}

impl<T> DeletionTombstoned for T where T: kube::Resource<DynamicType = ()> {}

/// Substrate-primitive trait for the ONE **borrow-form annotation
/// lookup** every tatara CRD reconciler restated as the 3-line
/// `.metadata.annotations.as_ref().and_then(|m| m.get(key)).map(String::as_str)`
/// chain (or a `.cloned()` / `.cloned().unwrap_or_default()` variant
/// of the same shape) on the K8s `metadata.annotations` map: returns
/// `Some(&str)` iff the annotations block is present AND the key is
/// present inside it; both missing corners collapse to `None`.
///
/// Peer to [`DeletionTombstoned`] + [`NamespacedApiCoordinates`] on
/// the substrate-primitive-trait axis (kube-Resource blanket impls
/// over `DynamicType = ()`), and peer to the pre-existing
/// [`crate::prelude::Process::annotation`] inherent forwarder on the
/// axis of "one annotation-lookup shape shared across every kube
/// resource, tatara CRD or K8s built-in". The inherent stays as a
/// peer — Rust method resolution prefers an inherent over a trait's
/// blanket impl, so the three consumers already routed through
/// `Process::annotation`
/// (`tatara-reconciler::signals::ingest`,
/// `tatara-reconciler::phase_machine::released_from_annotation`,
/// `tatara-pool-reconciler::controller_pool::process_belongs_to_pool`)
/// keep hitting the byte-identical code path — and the trait's
/// blanket impl closes the substrate corner for kube resources
/// WITHOUT the inherent: post-lift the hand-authored
/// `.metadata.annotations.as_ref().and_then(|m| m.get(KEY))...` chain
/// in `tatara-export-worker::main` (on `k8s_openapi`'s `ConfigMap`,
/// which has no tatara-owned inherent) routes through the trait at
/// `cm.annotation(KEY)`, and any future `EphemeralPool` /
/// `EphemeralAllocation` (or new tatara CRD) consumer that needs an
/// annotation lookup inherits the primitive for free — the same
/// solve-once discipline the two peer traits already established.
///
/// Return-form axis: `Option<&str>` matches the borrow-first
/// discipline of the peer metadata primitives
/// ([`crate::prelude::Process::namespace_or_default`],
/// [`crate::prelude::Process::name_or_placeholder`],
/// [`crate::prelude::Process::coordinates_or_none`], and the inherent
/// [`crate::prelude::Process::annotation`] this trait mirrors). The
/// two corners the pre-lift chain swallowed (missing `annotations`
/// map, missing key inside the map) BOTH collapse to `None` so
/// `.is_some()` / `if let Some(_)` / `Option::map` behave identically
/// on a resource whose annotations block is `None` and on one whose
/// annotations block is populated but omits the key — matching what
/// the pre-lift `.and_then(...)` chain produced.
///
/// A future normalization step (a key-canonicalization pass, a
/// case-fold lookup, a per-key alias table for renamed annotations
/// across API versions, a per-namespace override substrate) lands at
/// ONE trait method here and every downstream consumer — the four
/// current sites plus every future CRD reconciler that inherits the
/// blanket impl — picks up the upgrade mechanically. If the inherent
/// is ever rewired to `<Self as Annotated>::annotation(self, key)`
/// as a follow-up sweep, the three inherent-preferred callsites
/// automatically inherit any trait-level upgrade too.
///
/// Theory anchor: THEORY.md §VI.1 (generation over composition —
/// the annotation-lookup shape recurred as ONE inherent forwarder on
/// `Process` PLUS a hand-authored chain on `ConfigMap` past the
/// ★★ PRIME-DIRECTIVE ≥ 2 duplication trigger, and is lifted onto
/// ONE trait method here). THEORY.md §II.1 invariant 5 (composition
/// preserves proofs — the pins bind the missing-annotations corner +
/// the missing-key corner + the borrow-form `&str` lifetime + the
/// byte-identical parity with the pre-lift 3-line chain + the
/// cross-primitive coherence with `Process::annotation` on the SAME
/// `Process` value, so a regression that skewed either surface
/// surfaces at `annotated_tests::*` rather than as silent operator-
/// facing skew between the SIGNAL / RELEASED_FROM / POOL annotation
/// readers on Process and the receipts-owner filter on ConfigMap).
pub trait Annotated: kube::Resource<DynamicType = ()> {
    /// Borrow one key from `metadata.annotations`. See the trait-level
    /// docs for the axis-family context, peer inherent method, and
    /// future-normalization anchor.
    fn annotation(&self, key: &str) -> Option<&str> {
        self.meta()
            .annotations
            .as_ref()
            .and_then(|m| m.get(key))
            .map(String::as_str)
    }
}

impl<T> Annotated for T where T: kube::Resource<DynamicType = ()> {}

/// Substrate-primitive trait for the **place-in-namespace** fluent
/// builder every consumer of a `kube::Resource` restated as
/// `let mut cr = <CRD>::new(name, spec); cr.meta_mut().namespace = Some(ns.into()); cr`
/// on the freshly-minted resource whose derive-supplied
/// `::new(name, spec)` constructor stamps `metadata.name` alone and
/// leaves `metadata.namespace` at `None`.
///
/// Pre-lift the pattern was hand-authored across THREE tatara-owned
/// axes past the ★★ PRIME-DIRECTIVE ≥ 2 duplication threshold:
///
/// * `tatara-reconciler::render::tests::render_through_top_level_intent_dispatch`
///   — the ONE remaining hand-authored site on the `Process` CRD
///   (the sibling `Process::new_in` was not opened in the prior
///   pool/allocation sweep because no `Process`-side pool fixture
///   restated the pattern at ≥ 2 sites in isolation).
/// * [`crate::pool::EphemeralPool::new_in`] — a per-CRD inherent
///   composer opened in commit `a5dbb26` that inlined the identical
///   `Self::new(name, spec); metadata.namespace = Some(namespace.into())`
///   body on the `EphemeralPool` axis.
/// * [`crate::allocation::EphemeralAllocation::new_in`] — the sister
///   inherent composer opened in the same commit on the
///   `EphemeralAllocation` axis with the byte-identical body.
///
/// Post-lift the substrate owns the `metadata.namespace` stamp at
/// ONE trait method with a blanket impl over every
/// `kube::Resource<DynamicType = ()>`, so:
///
/// * The two per-CRD `new_in` composers forward through
///   `Self::new(name, spec).in_namespace(namespace)` — three
///   substrate copies of the mutation collapse to one. The
///   composers keep their ergonomic per-CRD signatures so existing
///   callers stay unchanged; only the body threads through here.
/// * The `tatara-reconciler::render` fixture routes through
///   `Process::new(...).in_namespace(...)` on the SAME trait method,
///   closing the last hand-authored site on the tatara CRD trio.
/// * Any future tatara CRD (a routing-edge object, a receipt
///   registry, a fleet-wide claim registry) inherits the builder at
///   its own operator-facing factory + its own test-fixture site
///   with zero per-CRD lift work — the same solve-once discipline
///   [`NamespacedApiCoordinates`] established for the paired
///   coordinate extractor and [`DeletionTombstoned`] established
///   for the deletion-tombstone probe.
/// * Any K8s built-in CRD (`ConfigMap`, `Job`, `Ingress`) inherits
///   the builder too — the sibling [`Annotated`] blanket already
///   covers the same category on the annotation-read axis, so an
///   emitter that composes a `ConfigMap` in a specific namespace can
///   now write `<owner-composer>().in_namespace(ns)` on the SAME
///   finished value.
///
/// Return-form axis: `Self` (owned, by-value) — the builder
/// consumes `self` and returns the mutated value so chained
/// composers read left-to-right as `<CRD>::new(name, spec)
/// .in_namespace(ns)` in the ONE natural composition order operators
/// reach for. Peer to the borrow-form observer
/// [`Annotated::annotation`] on the (mutation direction ×
/// ObjectMeta-slot family) axis pair; both traits close their
/// respective ObjectMeta-slot corners at ONE trait method with a
/// blanket impl over the SAME `kube::Resource<DynamicType = ()>`
/// bound so a future consumer that alternates between reading an
/// annotation and stamping a namespace never sees two different
/// trait-import spellings.
///
/// A future normalization step (a per-fleet virtual-cluster prefix
/// rewrite on the `namespace` slot, a per-cluster canonical
/// case-fold pass, an operator-scoped default namespace for
/// cluster-local test rigs, a promotion to a typed `Namespace`
/// newtype that carries K8s DNS-1123 validation as a phantom-type
/// guard) lands at ONE substrate trait method here — every
/// downstream consumer routed through `.in_namespace(...)` picks up
/// the upgrade mechanically, and the two per-CRD `new_in` composers
/// inherit it for free through their one-line forwarders.
///
/// Theory anchor: THEORY.md §II.1 invariant 5 (composition preserves
/// proofs — the pins bind `<CRD>::new(name, spec).in_namespace(ns)
/// .metadata.namespace == Some(ns.to_string())` on every corner of
/// the (CRD ∈ {`Process`, `EphemeralPool`, `EphemeralAllocation`,
/// `ConfigMap`} × input form ∈ {`&str`, `String`}) input matrix
/// PLUS the overwrite corner where `.in_namespace(a).in_namespace(b)`
/// binds `b`, so a regression that skewed either surface surfaces
/// at `placed_in_namespace_tests::*` rather than as silent
/// operator-facing skew between the tatara-reconciler render
/// fixture, the two per-CRD `new_in` composers, and any future
/// CRD-adjacent namespace-stamping consumer). THEORY.md §VI.1
/// (generation over composition — the mutation recurred as three
/// substrate copies past the ★★ PRIME-DIRECTIVE ≥ 2 duplication
/// trigger).
pub trait PlacedInNamespace: kube::Resource<DynamicType = ()> + Sized {
    /// Stamp `namespace` onto `self.metadata.namespace` and return
    /// the mutated value by-value. See the trait-level docs for the
    /// axis-family context, peer trait, and future-normalization
    /// anchor.
    #[must_use]
    fn in_namespace(mut self, namespace: impl Into<String>) -> Self {
        self.meta_mut().namespace = Some(namespace.into());
        self
    }
}

impl<T> PlacedInNamespace for T where T: kube::Resource<DynamicType = ()> {}

/// Annotation keys the reconciler reads/writes on owned FluxCD resources.
pub mod annotations {
    pub const MANAGED_BY: &str = "tatara.pleme.io/managed-by";
    pub const PROCESS: &str = "tatara.pleme.io/process";
    pub const PID: &str = "tatara.pleme.io/pid";
    pub const CONTENT_HASH: &str = "tatara.pleme.io/content-hash";
    pub const ATTESTATION_ROOT: &str = "tatara.pleme.io/attestation-root";
    pub const GENERATION: &str = "tatara.pleme.io/generation";
    pub const SIGNAL: &str = "tatara.pleme.io/signal";
    /// Stamped by the reconciler when transitioning into `Releasing`
    /// — records which terminal-reached gate the Process came from
    /// (`Attested` or `Failed`) so `handle_releasing` can pick the
    /// matching `ExportTrigger` set + the correct post-Releasing
    /// destination (`Exiting` from Attested, `Zombie` from Failed).
    pub const RELEASED_FROM: &str = "tatara.pleme.io/released-from";
    /// Labels the export-worker Jobs the reconciler emits during
    /// `Releasing`. Selector: `tatara.pleme.io/role=export`.
    pub const ROLE: &str = "tatara.pleme.io/role";
    /// Index of an export inside `lifetime.ephemeral.exports`.
    /// Stamped on the corresponding tatara-export-worker Job + its
    /// receipt ConfigMap so the reconciler can correlate them
    /// without re-parsing the spec JSON.
    pub const EXPORT_INDEX: &str = "tatara.pleme.io/export-index";
    /// Label / annotation key stamping which
    /// `RoutingSpec.hostnames` entry a routing edge (Ingress /
    /// DNSEndpoint) belongs to. Value is the entry's `app` slot;
    /// a `label`-selector on this key slices every emitted edge
    /// for a given `app` regardless of hostname form. Peer to
    /// [`ROUTING_FORM`] on the routing-axis pair.
    pub const APP: &str = "tatara.pleme.io/app";
    /// Label / annotation key stamping the routing form
    /// (`"stable"` | `"instance"`) on every emitted routing edge.
    /// Value is a [`crate::routing::RoutingForm`] wire-form string;
    /// consumers filtering the two forms compare to
    /// [`RoutingForm::as_str`][crate::routing::RoutingForm::as_str],
    /// never to a bare literal.
    pub const ROUTING_FORM: &str = "tatara.pleme.io/routing-form";
    /// Stamped by `tatara-pool-reconciler::controller_allocation::
    /// reconcile` on the member `Process` at the moment an
    /// `EphemeralAllocation` transitions Queued → Bound. Value is
    /// the requestor Allocation's `<ns>/<name>` qualified reference
    /// (composed through the same `<ns>/<name>` shape every peer
    /// substrate composer routes through — see
    /// [`crate::qualified_process_ref`]). Downstream consumers
    /// (operator dashboards, admission webhooks, audit-trail
    /// scrapers) grep for this key to answer "which allocator drove
    /// this member Process into its ephemeral overlay".
    pub const REQUESTOR: &str = "tatara.pleme.io/requestor";
    /// Peer to [`REQUESTOR`] on the same allocator-bind axis: the
    /// bare Allocation name (no namespace prefix), stamped alongside
    /// so downstream consumers that key on the Allocation identity
    /// alone (a single-namespace UI, an in-cluster label selector
    /// that already carries the namespace) don't need to re-split
    /// [`REQUESTOR`]'s composed reference.
    pub const ALLOCATION: &str = "tatara.pleme.io/allocation";
    /// Peer to [`REQUESTOR`] + [`ALLOCATION`] on the same
    /// allocator-bind axis: mirrors
    /// [`crate::allocation::RequestorRef.kind`] verbatim onto the
    /// bound member Process so consumers that dispatch on the
    /// requestor-kind axis (a GitHub-PR-scoped webhook, a
    /// scheduler-window scoped fairness gate, a per-kind quota
    /// enforcer) never have to fetch the Allocation object again.
    pub const REQUESTOR_KIND: &str = "tatara.pleme.io/requestor-kind";
    /// Stamped by `tatara-pool-reconciler::controller_pool::
    /// build_member_process` on every Process the pool controller
    /// materializes into a pool slot. Value is the owning
    /// [`crate::pool::EphemeralPool`]'s `metadata.name`; the pool
    /// controller's `process_belongs_to_pool` membership gate reads
    /// this key back through the substrate primitive
    /// [`crate::prelude::Process::annotation`] to filter its owned
    /// members out of the cluster-wide Process listing. Peer to
    /// [`POOL_SLOT`] on the same pool-membership axis; the two keys
    /// travel together at every write site so any future rename (a
    /// `tatara.pleme.io/v2/pool` migration, an alias table for
    /// cross-cluster pool identity, a per-cluster ownership prefix)
    /// lands at ONE `pub const` in the substrate and every
    /// downstream consumer (the pool reconciler's membership gate,
    /// any future observability label emitter, a cross-namespace
    /// pool-topology walker) inherits the upgrade mechanically.
    pub const POOL: &str = "tatara.pleme.io/pool";
    /// Peer to [`POOL`] on the same pool-membership axis: the
    /// zero-based slot index the pool controller assigned to the
    /// member Process, stamped alongside so downstream consumers
    /// that need per-slot identity (a UI grid layout, a per-slot
    /// affinity gate, a slot-scoped audit-trail scraper) can
    /// dispatch on it without re-scanning the pool controller's
    /// naming scheme. Value is the slot's `u32` rendered through
    /// `.to_string()`.
    pub const POOL_SLOT: &str = "tatara.pleme.io/pool-slot";
    /// Stamped by `tatara-pool-reconciler::controller_allocation::
    /// reconcile` on the bound member `Process` at the moment an
    /// `EphemeralAllocation` transitions Bound → Released, to nudge
    /// the pool reconciler into taking the return path (flip back
    /// to `Lifetime::Permanent` on the pool's [`crate::pool::ReturnPolicy::
    /// Keep`] arm, or delete the Process outright on the
    /// [`crate::pool::ReturnPolicy::Replace`] arm). Value is the wire-
    /// form string `"true"` — merge-patch semantics treat a bare
    /// `Value::Null` as strip, so the pool reconciler's future strip
    /// arm will stamp `Value::Null` under the same key through the
    /// same substrate [`crate::patch::annotation_body`] composer. Peer
    /// to [`SIGNAL`] (asynchronous signal-annotation ingest by
    /// `tatara-reconciler::signals::ingest`) and [`RELEASED_FROM`]
    /// (Releasing-gate stamp by `tatara-reconciler::phase_machine::
    /// transition_to_releasing`) on the "single-annotation trigger
    /// for the next reconcile pass" axis-family; all three keys ride
    /// through the same `annotation_body(<key>, <value>)` composer at
    /// their stamp sites.
    ///
    /// Peer to [`POOL`] + [`POOL_SLOT`] on the pool-membership axis:
    /// where those two keys travel together at pool-controller
    /// creation to identify a Process as a pool member, this key
    /// travels alone at the allocator's Release arm to fire the
    /// return path. A future rename that shifted the return-trigger
    /// wire-form (a `tatara.pleme.io/v2/return-trigger` migration, a
    /// per-fleet override, a collapse into a compound
    /// `tatara.pleme.io/allocator-trigger` key carrying the
    /// (bind|release) discriminator) lands at ONE `pub const` in the
    /// substrate and every downstream consumer inherits the upgrade
    /// mechanically.
    pub const RETURN_TRIGGER: &str = "tatara.pleme.io/return-trigger";
    /// Stamped by
    /// `tatara-reconciler::render::mark_resources_as_adopting` on every
    /// emitted resource of a Process whose
    /// [`crate::encapsulates::EncapsulatesSpec.mode`] gates the Adopt
    /// arm. Value is the wire-form spelling of the corresponding
    /// [`crate::encapsulates::EncapsulationMode`] variant
    /// (`"Adopt"` today; future modes ride through the same closed set),
    /// so downstream consumers (operator dashboards, admission webhooks,
    /// audit-trail scrapers) can filter which owned resources were
    /// stamped for adoption vs greenfield management vs pure observation
    /// without re-deriving the mode from the parent Process spec. Peer
    /// to [`ADOPTED_RELEASE`] on the same encapsulation-diagnostic
    /// axis-family; both keys travel together at the same emit site so
    /// a future rename (a `tatara.pleme.io/v2/encapsulation-mode`
    /// migration, a per-fleet override, a collapse into a compound
    /// `tatara.pleme.io/encapsulation` payload key) lands at ONE
    /// `pub const` in the substrate and every downstream consumer
    /// inherits the upgrade mechanically.
    pub const ENCAPSULATION_MODE: &str = "tatara.pleme.io/encapsulation-mode";
    /// Peer to [`ENCAPSULATION_MODE`] on the encapsulation-diagnostic
    /// axis-family: stamped by
    /// `tatara-reconciler::render::mark_resources_as_adopting` on every
    /// emitted resource of a Process whose
    /// [`crate::encapsulates::EncapsulationKind`] gates the
    /// [`crate::encapsulates::ExistingHelmRelease`] arm. Value is the
    /// `<ns>/<release>` qualified reference of the pre-existing
    /// HelmRelease the Process is adopting, composed through the
    /// workspace-wide [`crate::qualified_process_ref`] `<ns>/<name>`
    /// substrate composer (never as a hand-authored `format!("{}/{}",
    /// ns, release)` chain). Downstream consumers (operator dashboards,
    /// audit-trail scrapers, cross-namespace release-lineage walkers)
    /// grep for this key to answer "which pre-existing release did this
    /// Process take over".
    pub const ADOPTED_RELEASE: &str = "tatara.pleme.io/adopted-release";
    /// Label key stamped on every receipt [`ConfigMap`] that carries a
    /// typed [`crate::receipt::ReceiptEnvelope`] payload, so operators
    /// can `kubectl get cm -l tatara.pleme.io/receipt=tatara-receipt/v1`
    /// to enumerate every receipt of a given version on a cluster
    /// without pre-parsing each CM's embedded JSON/YAML.
    ///
    /// Value is [`crate::receipt::RECEIPT_VERSION`] — the wire-format
    /// version string every parser gates on. A future bump to
    /// `tatara-receipt/v2` lands at ONE const declaration on
    /// [`crate::receipt::RECEIPT_VERSION`] and every consumer that
    /// stamps this label picks up the upgrade mechanically.
    ///
    /// Load-bearing at TWO production write-sites past the ★★
    /// PRIME-DIRECTIVE ≥ 2 duplication threshold:
    /// - `tatara-closed-loop-probe::write_receipt_cm`'s
    ///   `BTreeMap::from([...])` label seed — the closed-loop auth
    ///   probe's receipt-CM label writer.
    /// - `tatara_process::configmap::with_data`'s byte-shape parity
    ///   witness test that mirrors the closed-loop-probe callsite.
    ///
    /// The `tatara-export-worker` receipt-CM writer intentionally
    /// stamps NO labels (its consumer keys on the CM name the
    /// ExportSpec channel already carries), so it is not a consumer of
    /// this const; the two production label-stamp sites above are the
    /// complete workspace consumer set today.
    ///
    /// Peer to [`ROLE`] + [`EXPORT_INDEX`] on the "annotation / label
    /// key stamped on a receipt-emitting resource other than the
    /// Process itself" axis-family: those two keys ride on the
    /// export-worker Job the reconciler emits (Job-side), this key
    /// rides on the receipt ConfigMap the probe binary writes
    /// (ConfigMap-side); all three share the [`GROUP_PREFIX`]
    /// reverse-DNS namespace. A future rename of this key (a
    /// `tatara.pleme.io/v2/receipt` migration, a per-fleet override, a
    /// collapse into a compound `tatara.pleme.io/receipt-envelope`
    /// key) lands at ONE `pub const` in the substrate and every
    /// downstream consumer inherits the upgrade mechanically.
    pub const RECEIPT: &str = "tatara.pleme.io/receipt";

    /// Shared reverse-DNS namespace prefix every substrate-owned
    /// annotation key in this module carries — the same
    /// `tatara.pleme.io/` group segment every tatara-owned CRD
    /// annotation + finalizer key rides through, matching the
    /// `#[kube(group = "tatara.pleme.io", …)]` derive slot on every
    /// tatara CRD struct.
    ///
    /// Byte-parity mirror of the sibling
    /// [`crate::finalizers::GROUP_PREFIX`] on the peer-family axis: the
    /// [`crate::finalizers`] module owns the ONE canonical
    /// `tatara.pleme.io/` const on the finalizer-key family axis; this
    /// const opens the SAME canonical prefix on the annotation-key
    /// family axis. Both families ride the same reverse-DNS namespace;
    /// pinning them at a shared const AND at a coherence pin
    /// ([`crate::annotations_family_tests::group_prefix_matches_finalizers_group_prefix`])
    /// binds the two peer families to ONE substrate owner rather than
    /// two independent per-module string literals — a future
    /// group-segment shift (a `tatara.pleme.io/v2/` migration, a
    /// per-fleet override, a per-cluster ownership prefix) lands at ONE
    /// crate-wide const pair here + at [`crate::finalizers::GROUP_PREFIX`]
    /// with the pin catching any partial edit, rather than at 20 +
    /// 3 hand-authored per-key literals spread across the two modules.
    ///
    /// Pinned across every arm of [`ALL`] by
    /// [`crate::annotations_family_tests::all_share_group_prefix`] so a
    /// future addition to the annotation family that drifted the prefix
    /// (a `tatara.io/` copy-paste that silently escaped the K8s-side
    /// reverse-DNS convention, a group-segment shift on ONE key that
    /// missed the ALL slice) surfaces at compile-time / test-time rather
    /// than as silent operator-facing skew.
    pub const GROUP_PREFIX: &str = "tatara.pleme.io/";

    /// Closed family of every substrate-owned annotation key in this
    /// module, in stable declaration order matching the `pub const`
    /// definitions above.
    ///
    /// Peer to [`crate::finalizers::ALL`] on the "closed slice over a
    /// family of tatara-owned wire-form keys sharing the
    /// [`GROUP_PREFIX`] reverse-DNS namespace" axis-pair: the
    /// [`crate::finalizers`] module owns the same shape over its three
    /// finalizer keys; this const opens the mirror over the 20
    /// annotation keys in this module.
    ///
    /// Downstream sweeps that pre-lift the ALL owner had to hand-list
    /// every substrate-owned annotation key to iterate them — a
    /// fleet-wide annotation-audit binary dumping every
    /// `tatara.pleme.io/*` key on a cluster, a per-key coverage report
    /// answering "which annotations does the reconciler write vs read",
    /// a cross-cluster rename planner, the existing intra-module
    /// pairwise-disjointness tests (see the "peer list" arrays in
    /// [`crate::annotations_pins`] which hand-list up to 18 sibling
    /// keys to prove one axis is disjoint from every other) — iterate
    /// through ONE substrate slice post-lift. A future addition to the
    /// annotation family that landed a new `pub const` above but forgot
    /// this slice surfaces at
    /// [`crate::annotations_family_tests::all_matches_declared_length`]
    /// rather than by silently escaping every downstream iteration
    /// consumer.
    ///
    /// Pinned to length 21 by
    /// [`crate::annotations_family_tests::all_matches_declared_length`],
    /// to shared [`GROUP_PREFIX`] membership by
    /// [`crate::annotations_family_tests::all_share_group_prefix`],
    /// and to pairwise-uniqueness by
    /// [`crate::annotations_family_tests::all_are_pairwise_unique`] so
    /// a copy-paste that duplicated one arm's wire form at another arm
    /// (silently double-booking the K8s metadata slot the two keys
    /// share) surfaces at the family pin rather than as silent
    /// annotation-writer collision at whichever downstream site
    /// stamped the copy-paste'd key.
    pub const ALL: &[&str] = &[
        MANAGED_BY,
        PROCESS,
        PID,
        CONTENT_HASH,
        ATTESTATION_ROOT,
        GENERATION,
        SIGNAL,
        RELEASED_FROM,
        ROLE,
        EXPORT_INDEX,
        APP,
        ROUTING_FORM,
        REQUESTOR,
        ALLOCATION,
        REQUESTOR_KIND,
        POOL,
        POOL_SLOT,
        RETURN_TRIGGER,
        ENCAPSULATION_MODE,
        ADOPTED_RELEASE,
        RECEIPT,
    ];
}

/// Standard finalizer for the Process reconciler.
///
/// Re-export of [`finalizers::PROCESS`] — the substrate-owner
/// per-CRD finalizer family lives at [`crate::finalizers`]; this
/// top-level const stays put for downstream consumers that predate
/// the module, and is coherence-pinned against
/// [`finalizers::PROCESS`] by
/// [`finalizers::tests::process_finalizer_top_level_reexport_routes_through_finalizers_process`].
pub const PROCESS_FINALIZER: &str = finalizers::PROCESS;

/// Shared schemars helpers — emit OpenAPI schemas Kubernetes accepts.
/// Free-form `serde_json::Value` fields default to an *empty* schema
/// in schemars, which the K8s API server rejects with "type: Required
/// value: must not be empty for specified object fields". The typed
/// workaround is to emit `{type: object, x-kubernetes-preserve-unknown-
/// fields: true}` — same shape kube-rs's own helpers produce.
pub mod schema_helpers {
    use schemars::{gen::SchemaGenerator, schema::Schema};
    /// Schema for a free-form JSON object field. Apply via
    /// `#[schemars(schema_with = "tatara_process::schema_helpers::preserve_unknown_object")]`
    /// on any `serde_json::Value` / `BTreeMap<String, serde_json::Value>`
    /// field exposed through a CRD.
    pub fn preserve_unknown_object(_g: &mut SchemaGenerator) -> Schema {
        serde_json::from_value(serde_json::json!({
            "type": "object",
            "x-kubernetes-preserve-unknown-fields": true
        }))
        .expect("static JSON literal parses as Schema")
    }
}

#[cfg(test)]
mod owner_reference_tests {
    //! Pin the `owner_reference_json` composer at fail-before-pass-
    //! after granularity. Every shape a pre-lift caller hand-authored
    //! is re-asserted here so a regression that inlined any of the
    //! six slots at a call site (breaking the primitive's role as
    //! the ONE source of truth) fails HERE at the composer's shipped-
    //! shape pin rather than as silent drift between the pre-lift
    //! `render.rs` / `edges.rs` / `ssapply.rs` sites (which pre-lift
    //! already carried TWO different `apiVersion` spellings — a
    //! composed `format!("{}/{}", GROUP, VERSION)` at two sites and
    //! the frozen literal `"tatara.pleme.io/v1alpha1"` at the third).
    use super::{
        api_version, owner_reference_json, owner_references_json, API_VERSION, GROUP, PROCESS_KIND,
        PROCESS_WIRE_IDENTITY, VERSION,
    };
    use crate::flux_resource::FluxResource;
    use crate::k8s_builtin_resource::K8sBuiltinResource;
    use crate::k8s_wire_identity::K8sWireIdentity;
    use crate::routing_edge_resource::RoutingEdgeResource;
    use serde_json::json;

    #[test]
    fn api_version_composes_group_and_version() {
        // Any bump of GROUP or VERSION lands at ONE composer.
        assert_eq!(api_version(), format!("{GROUP}/{VERSION}"));
    }

    // ─── API_VERSION const substrate pins ───────────────────────────
    //
    // The compile-time `&'static str` [`API_VERSION`] const feeds the
    // typed [`PROCESS_WIRE_IDENTITY`] const and delegates the runtime
    // [`api_version`] fn — these pins bind the const at fail-before-
    // pass-after granularity so a regression that drifted the const
    // (a rename that touched [`GROUP`] but not the const's baked
    // literal, a VERSION bump that only updated [`VERSION`]) surfaces
    // HERE rather than as silent operator-facing skew between the
    // typed-const consumers and the fn-based consumers on the same
    // wire-form axis.

    #[test]
    fn api_version_const_composes_group_and_version_bytewise() {
        // Cross-const coherence pin: the compile-time [`API_VERSION`]
        // must be byte-identical to the runtime `format!("{GROUP}/
        // {VERSION}")` composition. A regression that drifted either
        // the const or the two segment consts would surface HERE
        // rather than as silent skew between [`PROCESS_WIRE_IDENTITY`]
        // (which composes over the const) and [`api_url_prefix`]
        // (which composes over the two segment consts at runtime).
        assert_eq!(API_VERSION, format!("{GROUP}/{VERSION}"));
    }

    #[test]
    fn api_version_const_byte_matches_wire_form_pre_lift() {
        // Byte-identity pin: the frozen wire-form literal is the SAME
        // string every downstream consumer (the typed
        // [`PROCESS_WIRE_IDENTITY`] const, the runtime [`api_version`]
        // fn, every K8s `apiVersion:` slot the reconciler stamps)
        // must emit. Peer of the pre-existing runtime pin
        // [`api_version_byte_matches_wire_form_pre_lift`]; both close
        // the axis at the SAME wire form.
        assert_eq!(API_VERSION, "tatara.pleme.io/v1alpha1");
    }

    #[test]
    fn api_version_fn_delegates_through_const_owner() {
        // Routing pin: the runtime `api_version()` fn returns
        // [`API_VERSION`]`.to_string()` — the ONE substrate owner of
        // the wire-form literal. A regression that re-open-coded the
        // fn's body (restoring the pre-lift `format!("{GROUP}/
        // {VERSION}")` composition, or inlining a stale literal) would
        // surface HERE rather than as silent skew between the two
        // sibling emit paths (typed-const vs owned-String).
        assert_eq!(api_version(), API_VERSION);
    }

    #[test]
    fn api_version_const_is_reachable_at_compile_time() {
        // Compile-time reachability pin: [`API_VERSION`] is a `const
        // &'static str` so a caller can bind it into a `const` slot —
        // exactly what [`PROCESS_WIRE_IDENTITY`] does through
        // [`K8sWireIdentity::new`]'s `const fn`. A regression that
        // widened the const to an owned `String` or a `Lazy<String>`
        // would fail-loudly at this coercion rather than at the
        // silent runtime-vs-const composition boundary at
        // [`PROCESS_WIRE_IDENTITY`].
        const AV: &str = API_VERSION;
        assert_eq!(AV, "tatara.pleme.io/v1alpha1");
    }

    // ─── PROCESS_WIRE_IDENTITY substrate pins ───────────────────────
    //
    // The typed [`PROCESS_WIRE_IDENTITY`] const closes the fourth arm
    // of the K8s-wire-form-identity axis-family (peer to
    // [`K8sBuiltinResource::wire_identity`],
    // [`FluxResource::wire_identity`],
    // [`RoutingEdgeResource::wire_identity`]). These pins bind the
    // const at fail-before-pass-after granularity so a regression that
    // drifted either slot (an `apiVersion` slot that stopped routing
    // through [`API_VERSION`], a `kind` slot that stopped routing
    // through [`PROCESS_KIND`]) surfaces HERE rather than as silent
    // OwnerReference-emit skew at every downstream consumer.

    #[test]
    fn process_wire_identity_pairs_api_version_and_kind_through_substrate_owners() {
        // Slot-routing pin: both slots MUST route through the ONE
        // substrate owner per slot ([`API_VERSION`] for the
        // `apiVersion` slot, [`PROCESS_KIND`] for the `kind` slot).
        // A regression that re-inlined either slot's literal at the
        // const declaration would surface HERE rather than as silent
        // skew between the wire-identity const and its slot owners.
        assert_eq!(PROCESS_WIRE_IDENTITY.api_version, API_VERSION);
        assert_eq!(PROCESS_WIRE_IDENTITY.kind, PROCESS_KIND);
    }

    #[test]
    fn process_wire_identity_byte_matches_wire_form_pre_lift() {
        // Byte-identity pin: the const's `(apiVersion, kind)` pair
        // must equal the two frozen wire-form strings every pre-lift
        // consumer hand-authored — a regression that drifted either
        // slot would surface HERE rather than as a wire-time 404 the
        // K8s API server would misdiagnose as a broken CRD.
        assert_eq!(
            PROCESS_WIRE_IDENTITY.api_version,
            "tatara.pleme.io/v1alpha1"
        );
        assert_eq!(PROCESS_WIRE_IDENTITY.kind, "Process");
    }

    #[test]
    fn process_wire_identity_is_const_reachable() {
        // Compile-time reachability pin: [`PROCESS_WIRE_IDENTITY`] is
        // a compile-time `const K8sWireIdentity` so a caller can bind
        // it into a `const` slot. A regression that dropped the
        // `const fn` qualifier on [`K8sWireIdentity::new`] or widened
        // [`API_VERSION`] off the `&'static str` axis would fail-loudly
        // HERE rather than as a runtime dispatch at every OwnerReference
        // emit site.
        const ID: K8sWireIdentity = PROCESS_WIRE_IDENTITY;
        assert_eq!(ID.api_version, "tatara.pleme.io/v1alpha1");
        assert_eq!(ID.kind, "Process");
    }

    #[test]
    fn process_wire_identity_is_disjoint_from_every_peer_wire_form_axis() {
        // Cross-substrate coherence pin: the tatara `Process` CRD's
        // typed `(apiVersion, kind)` pair MUST NOT collide with any
        // variant of the three peer closed-set axes on the K8s wire-
        // form-identity axis-family
        // ([`K8sBuiltinResource`] / [`FluxResource`] /
        // [`RoutingEdgeResource`]) — a hypothetical variant addition
        // on any peer that copy-pasted the tatara `Process` pair
        // (a `FluxResource::Process` renaming collision, a
        // `K8sBuiltinResource::Process` typo) would silently let a
        // reconciler dispatch reach through the wrong closed set. Pin
        // the disjointness so every future addition to any peer axis
        // that would collide with this const surfaces HERE.
        for k in K8sBuiltinResource::ALL {
            assert_ne!(
                (
                    PROCESS_WIRE_IDENTITY.api_version,
                    PROCESS_WIRE_IDENTITY.kind
                ),
                (k.api_version(), k.kind()),
                "PROCESS_WIRE_IDENTITY must not share a wire-form pair with K8sBuiltinResource {k:?}"
            );
        }
        for f in FluxResource::ALL {
            assert_ne!(
                (
                    PROCESS_WIRE_IDENTITY.api_version,
                    PROCESS_WIRE_IDENTITY.kind
                ),
                (f.api_version(), f.kind()),
                "PROCESS_WIRE_IDENTITY must not share a wire-form pair with FluxResource {f:?}"
            );
        }
        for r in RoutingEdgeResource::ALL {
            assert_ne!(
                (
                    PROCESS_WIRE_IDENTITY.api_version,
                    PROCESS_WIRE_IDENTITY.kind
                ),
                (r.api_version(), r.kind()),
                "PROCESS_WIRE_IDENTITY must not share a wire-form pair with RoutingEdgeResource {r:?}"
            );
        }
    }

    #[test]
    fn owner_reference_json_routes_apiversion_and_kind_through_process_wire_identity() {
        // Routing pin: the `owner_reference_json` composer's
        // `(apiVersion, kind)` pair MUST match the typed
        // [`PROCESS_WIRE_IDENTITY`] const's `(api_version, kind)`
        // fields byte-for-byte. Post-lift the composer routes through
        // [`K8sWireIdentity::resource_json`], so this equality holds
        // by construction; a regression that re-open-coded the two
        // slots at the composer body (restoring the pre-lift `json!`
        // inline reference to `api_version()` + `PROCESS_KIND`
        // separately) would surface HERE rather than as silent skew
        // between the OwnerReference emit and the typed const owner.
        let v = owner_reference_json("p", "u");
        assert_eq!(v["apiVersion"], PROCESS_WIRE_IDENTITY.api_version);
        assert_eq!(v["kind"], PROCESS_WIRE_IDENTITY.kind);
    }

    #[test]
    fn api_version_byte_matches_wire_form_pre_lift() {
        // Byte-identity pin: the frozen wire-form literal
        // `"tatara.pleme.io/v1alpha1"` that `ssapply.rs::
        // build_owner_reference` hand-wrote pre-lift must equal the
        // composed shape now sourced through the ONE owner. A
        // future VERSION bump that missed this test would land as
        // an operator-visible reference-mismatch after apply.
        assert_eq!(api_version(), "tatara.pleme.io/v1alpha1");
    }

    #[test]
    fn api_url_prefix_composes_apis_group_version_slash() {
        // Composition pin: any bump of GROUP or VERSION lands at
        // ONE composer.
        assert_eq!(super::api_url_prefix(), format!("/apis/{GROUP}/{VERSION}/"));
    }

    #[test]
    fn api_url_prefix_byte_matches_wire_form_pre_lift() {
        // Byte-identity pin: the frozen wire-form literal
        // `"/apis/tatara.pleme.io/v1alpha1/"` that eleven
        // hand-authored scope guards across `tatara-reconciler::
        // context`, `tatara-pool-reconciler::context`, and
        // `tatara-github-watcher::handler` restated pre-lift must
        // equal the composed shape now sourced through the ONE
        // owner. A future group rename or VERSION bump that missed
        // this pin would land as a silent scope-guard mismatch at
        // every downstream Api-primitive test.
        assert_eq!(super::api_url_prefix(), "/apis/tatara.pleme.io/v1alpha1/");
    }

    #[test]
    fn api_url_prefix_carries_api_version_between_apis_and_trailing_slash() {
        // Cross-primitive pin: the URL prefix and the `apiVersion`
        // wire form share the SAME `<GROUP>/<VERSION>` shape,
        // wrapped by the fixed `/apis/…/` HTTP-path envelope. A
        // regression that drifted the two composers apart (a bump
        // that missed one of the two owners) surfaces here rather
        // than as an operator-visible mismatch between an emitted
        // ownerReference's `apiVersion` and the REST url every typed
        // `Api` primitive routes through.
        let prefix = super::api_url_prefix();
        let version = api_version();
        assert!(
            prefix.starts_with("/apis/") && prefix.ends_with('/'),
            "prefix must be wrapped as `/apis/…/`; got {prefix}"
        );
        let inner = &prefix["/apis/".len()..prefix.len() - 1];
        assert_eq!(
            inner, version,
            "prefix inner slot must equal api_version(); got inner={inner:?} version={version:?}"
        );
    }

    #[test]
    fn process_kind_is_process_literal() {
        // Symbol-vs-string pin: any consumer that hand-wrote `"Process"`
        // pre-lift routes through this const post-lift.
        assert_eq!(PROCESS_KIND, "Process");
    }

    #[test]
    fn owner_reference_json_has_all_six_slots_present() {
        let v = owner_reference_json("my-process", "abc-uid");
        let obj = v.as_object().expect("owner reference is a JSON object");
        for k in [
            "apiVersion",
            "kind",
            "name",
            "uid",
            "controller",
            "blockOwnerDeletion",
        ] {
            assert!(obj.contains_key(k), "missing owner-reference slot: {k}");
        }
        assert_eq!(obj.len(), 6, "owner reference must have exactly 6 slots");
    }

    #[test]
    fn owner_reference_json_apiversion_routes_through_api_version_owner() {
        let v = owner_reference_json("x", "y");
        assert_eq!(v["apiVersion"], api_version());
    }

    #[test]
    fn owner_reference_json_kind_routes_through_process_kind_const() {
        let v = owner_reference_json("x", "y");
        assert_eq!(v["kind"], PROCESS_KIND);
    }

    #[test]
    fn owner_reference_json_stamps_supplied_name_and_uid() {
        let v = owner_reference_json("some-name", "some-uid");
        assert_eq!(v["name"], "some-name");
        assert_eq!(v["uid"], "some-uid");
    }

    #[test]
    fn owner_reference_json_controller_and_block_owner_deletion_are_true() {
        // These are structural — a Process-owned resource always
        // has a controlling reference that cascade-deletes with
        // the owner. A regression that flipped either boolean
        // would silently detach every emitted resource.
        let v = owner_reference_json("x", "y");
        assert_eq!(v["controller"], true);
        assert_eq!(v["blockOwnerDeletion"], true);
    }

    #[test]
    fn owner_reference_json_matches_hand_authored_shape_pre_lift() {
        // Byte-shape pin against the exact `json!({…})` incantation
        // every pre-lift call site restated. A regression that
        // reordered a slot, dropped one, or added a seventh here
        // surfaces at THIS pin rather than as a subtle SSA-apply
        // failure downstream when the K8s API server rejects the
        // OwnerReference on schema mismatch.
        let via_owner = owner_reference_json("p", "u");
        let hand_authored = json!({
            "apiVersion": "tatara.pleme.io/v1alpha1",
            "kind": "Process",
            "name": "p",
            "uid": "u",
            "controller": true,
            "blockOwnerDeletion": true,
        });
        assert_eq!(via_owner, hand_authored);
    }

    #[test]
    fn owner_reference_json_preserves_empty_name_and_uid_bytewise() {
        // The primitive does not guard against empty inputs — its
        // callers pre-lift did the empty-check upstream (both the
        // `edges.rs::build_owner_refs` and `render.rs::one_export_job`
        // sites gated on `!uid.is_empty()` before calling this composer,
        // and both now route through `owner_references_json` below;
        // `ssapply.rs::build_owner_reference` unwraps a required
        // `metadata.uid` via anyhow). The scalar composer owns
        // shape composition, not admission control; a downstream
        // rename that wants strict input validation lands as a
        // peer, not a change to the composer's contract.
        let v = owner_reference_json("", "");
        assert_eq!(v["name"], "");
        assert_eq!(v["uid"], "");
    }

    // ─── owner_references_json substrate pins ────────────────────────
    //
    // The 3-line `let mut owner_refs = vec![]; if !uid.is_empty()
    // { owner_refs.push(owner_reference_json(name, uid)); }` gate was
    // hand-authored at TWO sites in `tatara-reconciler`
    // (`edges::build_owner_refs` + `render::one_export_job`) before
    // this primitive existed, each restating the same optional-uid
    // posture that emits `[]` when the caller lacks a K8s-assigned
    // uid to point owners at. These pins bind the primitive at
    // fail-before-pass-after granularity so a regression that
    // inlined an owner reference for an empty uid — silently
    // detaching the resource from cascade-delete — surfaces HERE
    // rather than as an operator-visible ownerless resource after
    // apply, and a regression that added an owner reference of the
    // wrong SHAPE (a peer of `owner_reference_json` that swapped a
    // slot) surfaces via the composed-shape pin below rather than
    // as silent drift at every downstream emit site.

    #[test]
    fn owner_references_json_emits_single_entry_when_uid_present() {
        // The primary shape: a caller with a materialized uid gets
        // exactly one owner reference back — the pre-lift 3-line
        // `vec![]` + `push` gate collapses to this ONE call, and
        // the returned array is a direct-drop `ownerReferences`
        // slot value at every callsite.
        let refs = owner_references_json("demo-app", "abc-uid");
        assert_eq!(refs.len(), 1);
        assert_eq!(refs[0]["kind"], PROCESS_KIND);
        assert_eq!(refs[0]["name"], "demo-app");
        assert_eq!(refs[0]["uid"], "abc-uid");
        // controller + blockOwnerDeletion routed through the scalar
        // composer — a regression that hand-composed the vec entry
        // rather than delegating would flip one of these booleans.
        assert_eq!(refs[0]["controller"], true);
        assert_eq!(refs[0]["blockOwnerDeletion"], true);
    }

    #[test]
    fn owner_references_json_emits_empty_when_uid_empty() {
        // The load-bearing gate — a pre-metadata Process (fixtured in
        // tests, or caught mid-Forking) has no admissible owner
        // reference to point at. Post-lift the gate lives at ONE
        // primitive so every emit site stamps `[]` uniformly rather
        // than one site accidentally emitting a placeholder-uid
        // owner reference the K8s GC would quietly detach from
        // cascade-delete.
        let refs = owner_references_json("demo-app", "");
        assert!(
            refs.is_empty(),
            "empty uid must produce zero owner references, not a placeholder-uid entry"
        );
    }

    #[test]
    fn owner_references_json_gates_on_uid_not_name() {
        // The gate axis is `uid`, not `name` — a Process with a
        // non-empty name but no uid still emits `[]` (the pre-metadata
        // shape), while a Process with a non-empty uid emits ONE
        // entry even when the name slot is empty (matching the
        // scalar composer's admission-control-free contract). Pin
        // both cross-diagonal combinations so a regression that
        // swapped the gate axis surfaces HERE rather than at every
        // downstream owner-refs consumer.
        assert!(
            owner_references_json("has-name", "").is_empty(),
            "empty uid gates to []; name presence is irrelevant"
        );
        let refs = owner_references_json("", "has-uid");
        assert_eq!(
            refs.len(),
            1,
            "empty name but present uid still emits one entry (name is not the gate)"
        );
        assert_eq!(refs[0]["name"], "");
        assert_eq!(refs[0]["uid"], "has-uid");
    }

    #[test]
    fn owner_references_json_matches_hand_authored_pre_lift_bytewise() {
        // Byte-identical parity with the exact pre-lift 3-line
        // `let mut owner_refs = vec![]; if !uid.is_empty() {
        // owner_refs.push(owner_reference_json(name, uid)); }` gate
        // across the two axis combinations every callsite plausibly
        // encounters. A regression that reordered the two branches,
        // dropped the gate, or reshaped the vec composition surfaces
        // HERE rather than at every downstream `ownerReferences`
        // slot pinned across `edges.rs` + `render.rs` tests.
        for (name, uid) in [
            ("demo-app", "uid-abc"),
            ("demo-app", ""),
            ("", "uid-abc"),
            ("", ""),
        ] {
            let via_primitive = owner_references_json(name, uid);

            // The pre-lift 3-line block, byte-for-byte.
            let mut hand_authored: Vec<serde_json::Value> = vec![];
            if !uid.is_empty() {
                hand_authored.push(owner_reference_json(name, uid));
            }

            assert_eq!(
                via_primitive, hand_authored,
                "owner_references_json must be byte-identical to the pre-lift 3-line gate on ({name:?}, {uid:?})"
            );
        }
    }

    #[test]
    fn owner_references_json_interpolates_cleanly_as_owner_refs_slot() {
        // Both callsites drop the returned vec directly under a
        // `"ownerReferences"` key inside a `json!({...})` block. Pin
        // the interop shape: a JSON-macro-wrapped Value carries the
        // primitive's output as a JSON array with the exact 6-slot
        // entries at each index. A regression that returned a
        // non-array (e.g. a single Value on the one-entry path,
        // requiring per-site vec-wrapping) surfaces HERE rather than
        // as a broken `metadata.ownerReferences` slot on every
        // emitted Ingress / DNSEndpoint / export Job.
        let refs = owner_references_json("demo-app", "abc-uid");
        let wrapped = json!({
            "metadata": {
                "name": "resource",
                "ownerReferences": refs,
            },
        });
        let owner_refs = &wrapped["metadata"]["ownerReferences"];
        assert!(
            owner_refs.is_array(),
            "ownerReferences must land as a JSON array"
        );
        assert_eq!(owner_refs.as_array().unwrap().len(), 1);
        assert_eq!(owner_refs[0]["kind"], PROCESS_KIND);

        // And the empty-uid path lands as an EMPTY array, not a
        // missing key or a null — matches the K8s API server's
        // expectation that the slot is either an array of entries
        // or absent, never a null.
        let empty_refs = owner_references_json("demo-app", "");
        let wrapped_empty = json!({
            "metadata": {
                "name": "resource",
                "ownerReferences": empty_refs,
            },
        });
        let owner_refs_empty = &wrapped_empty["metadata"]["ownerReferences"];
        assert!(owner_refs_empty.is_array());
        assert!(owner_refs_empty.as_array().unwrap().is_empty());
    }
}

#[cfg(test)]
mod qualified_process_ref_tests {
    //! Pin the [`qualified_process_ref`] composer at fail-before-
    //! pass-after granularity. The `<ns>/<name>` shape is the
    //! workspace-wide convention for a namespaced K8s resource
    //! reference — every downstream grep (the reconciler's
    //! `tatara.pleme.io/process` annotation reader, the
    //! [`crate::table::ClaimRecord.holder`] slot, the
    //! export-worker's receipt-owner filter, the reconciler's
    //! `PROCESS=<ref>` label-selector composer) depends on the
    //! two axes landing in `(ns, name)` order joined by a single
    //! `/` separator. A regression that swapped the axes, dropped
    //! either half, or renormalized the input surfaces HERE rather
    //! than as silent operator-facing drift at every downstream
    //! consumer.
    use super::qualified_process_ref;

    #[test]
    fn qualified_process_ref_joins_ns_and_name_with_slash() {
        // The invariant every downstream consumer composes against:
        // the qualified reference is EXACTLY `<ns>/<name>`, in that
        // order, joined by a single `/`.
        assert_eq!(
            qualified_process_ref("demo-ns", "ephemeral-demo"),
            "demo-ns/ephemeral-demo",
        );
    }

    #[test]
    fn qualified_process_ref_binds_positional_slots_by_axis_order() {
        // Positional pin — a copy-paste that swapped the two `&str`
        // arguments (both mechanically interchangeable at the type
        // level) would silently produce `<name>/<ns>` and break every
        // downstream grep keyed on the reference shape. Distinct
        // input slot values so a swap surfaces as an equality
        // failure rather than accidental identity.
        let out = qualified_process_ref("first-slot-ns", "second-slot-name");
        assert!(
            out.starts_with("first-slot-ns/"),
            "position 0 must be the namespace slot: got {out}"
        );
        assert!(
            out.ends_with("/second-slot-name"),
            "position 1 must be the name slot: got {out}"
        );
    }

    #[test]
    fn qualified_process_ref_accepts_string_deref_and_str_slice_shapes() {
        // Consumers split across two callsite shapes: owned
        // `String` locals (via deref coercion), bare `&str` slices,
        // and mixed provenance. Every shape must ride cleanly
        // through the same 2-arg signature — matches every current
        // pre-lift caller in `tatara-export-worker` (CLI-arg driven
        // owned strings + `&str` from a struct field) and in
        // `tatara-reconciler` (owned locals + function-param
        // slices).
        let owned_ns = String::from("owned-ns");
        let owned_name = String::from("owned-app");
        let borrowed_ns: &str = "borrowed-ns";
        let borrowed_name: &str = "borrowed-app";
        assert_eq!(
            qualified_process_ref(&owned_ns, &owned_name),
            "owned-ns/owned-app",
        );
        assert_eq!(
            qualified_process_ref(borrowed_ns, borrowed_name),
            "borrowed-ns/borrowed-app",
        );
        assert_eq!(
            qualified_process_ref(&owned_ns, borrowed_name),
            "owned-ns/borrowed-app",
        );
    }

    #[test]
    fn qualified_process_ref_rides_edge_case_axis_shapes() {
        // The composer shapes the two axes as arbitrary strings —
        // no length/character validation happens at the composer,
        // so any shape a Process's `metadata.namespace` /
        // `metadata.name` can hold rides through unchanged. Pin
        // the empty-string cases (unnamed process pre-metadata,
        // cluster-scoped `namespace = ""` fallback), and the
        // whitespace-and-slash-in-name pathological case (a
        // regression that URL-escaped or path-normalized the input
        // at this primitive would silently break every downstream
        // grep).
        assert_eq!(qualified_process_ref("", ""), "/");
        assert_eq!(qualified_process_ref("default", ""), "default/");
        assert_eq!(qualified_process_ref("", "orphan"), "/orphan");
        assert_eq!(
            qualified_process_ref("weird ns", "with/slash"),
            "weird ns/with/slash",
        );
    }

    #[test]
    fn qualified_process_ref_composes_from_process_coordinates_or_defaults() {
        // The primary Process-driven callsite: a live
        // [`crate::prelude::Process`] with populated metadata
        // composes through
        // [`crate::prelude::Process::coordinates_or_defaults`] +
        // [`qualified_process_ref`]. Pin the composition so a
        // regression in either primitive that broke the `(ns,
        // name)` positional contract surfaces HERE rather than as
        // silent drift at every downstream reconciler / export-
        // worker / pool-reconciler consumer.
        use crate::crd::{Process, ProcessSpec};
        // Routes through the ONE substrate composer
        // `ProcessSpec::gate_compute_defaults` — pre-lift this was a
        // 12-line inline struct-literal restated verbatim inside this
        // pin body.
        let spec = ProcessSpec::gate_compute_defaults();
        let mut p = Process::new("ephemeral-demo", spec);
        p.metadata.namespace = Some("demo-ns".into());
        let (ns, name) = p.coordinates_or_defaults();
        assert_eq!(
            qualified_process_ref(ns, name),
            "demo-ns/ephemeral-demo",
            "coordinates_or_defaults + qualified_process_ref must \
             compose to the canonical <ns>/<name> shape"
        );
    }

    #[test]
    fn qualified_process_ref_matches_hand_authored_pre_lift_bytewise() {
        // Byte-identical parity with the exact pre-lift
        // `format!("{ns}/{name}")` incantation. A regression that
        // reshaped the separator, reordered the axes, or dropped
        // either half surfaces HERE rather than at every downstream
        // annotation / claim-key / run-id consumer. Sweeps every
        // shape combination the pre-lift callers plausibly
        // encountered.
        for (ns, name) in [
            ("demo-ns", "ephemeral-demo"),
            ("", ""),
            ("default", ""),
            ("", "orphan"),
        ] {
            let via_primitive = qualified_process_ref(ns, name);
            let hand_authored = format!("{ns}/{name}");
            assert_eq!(
                via_primitive, hand_authored,
                "qualified_process_ref must be byte-identical to \
                 the pre-lift `format!(\"{{ns}}/{{name}}\")` \
                 hand-authored shape on ({ns:?}, {name:?})"
            );
        }
    }
}

#[cfg(test)]
mod qualified_error_ctx_tests {
    //! Pin the [`qualified_error_ctx`] composer at fail-before-
    //! pass-after granularity across the shape it factored out of
    //! the two peer per-Kind composers
    //! ([`crate::configmap::error_ctx`],
    //! [`crate::process_api::error_ctx`]). Every observable slot
    //! (verb-first, fixed-Kind literal in the middle, `<ns>/<name>`
    //! join at the tail routed through
    //! [`qualified_process_ref`]) is bound here so a regression
    //! that reordered the head slots, dropped the fixed `<Kind>`
    //! word, drifted the qualified-ref join off the substrate axis,
    //! or narrowed any input slot to a closed set (would silently
    //! reject a future per-Kind peer that composes a fresh verb or
    //! Kind literal) surfaces HERE rather than as silent operator-
    //! facing skew at the two consumer peers.
    use super::qualified_error_ctx;

    #[test]
    fn qualified_error_ctx_signature_binds_borrowed_slots_returning_owned_string() {
        // Signature pin: `verb: &str` + `kind: &str` + `ns: &str` +
        // `name: &str` on the input side (both pre-lift per-Kind
        // peers pass a `&'static str` verb + `&'static str` fixed-
        // Kind literal + borrowed `&str` ns/name fields). Return
        // `String` matches the downstream `kube_ctx_with(context:
        // String)` sink verbatim on the reconciler-boundary
        // consumers AND the `with_context(|| String)` closure form
        // on the export-worker consumers.
        //
        // A regression that widened any input slot to `String`
        // (forcing the caller to `.to_string()` at the boundary — a
        // per-site perf regression that also fights the
        // `&str`-fields-in-args idiom the callers thread) or
        // narrowed the return to `&'static str` (which would prevent
        // the runtime-composed ns/name slots the two peer composers
        // pass) fails at compile time.
        let _witness: fn(&str, &str, &str, &str) -> String = qualified_error_ctx;
    }

    #[test]
    fn qualified_error_ctx_composes_verb_kind_qualified_ref_head_verbatim() {
        // Byte-shape parity witness on the primary shape both peer
        // composers depend on: the composed slug MUST be exactly
        // `"<verb> <Kind> <ns>/<name>"` in that order. A regression
        // that reordered the head slots (verb after Kind, Kind
        // after the qualified ref) would silently break every
        // operator-facing grep every downstream diagnostic body
        // riding through the sibling per-Kind peers uses.
        assert_eq!(
            qualified_error_ctx("fetch", "Process", "default", "api"),
            "fetch Process default/api",
        );
        assert_eq!(
            qualified_error_ctx("patch", "ConfigMap", "demo-ns", "receipt-cm"),
            "patch ConfigMap demo-ns/receipt-cm",
        );
    }

    #[test]
    fn qualified_error_ctx_routes_ns_name_join_through_qualified_process_ref_substrate() {
        // Routing pin — the `<ns>/<name>` join at the composer's
        // tail rides through the workspace-wide
        // [`qualified_process_ref`] primitive rather than a bare
        // inline `format!("{ns}/{name}")`. A future normalization
        // of the qualified-ref shape (case-fold, unicode collation,
        // IDN) lands at ONE [`qualified_process_ref`] site and
        // every per-Kind diagnostic body picks it up mechanically;
        // this pin binds THIS composer to that substrate so a
        // regression that inlined the join (drifting the primitive
        // off the substrate axis this commit opens) surfaces HERE
        // rather than as silent qualified-ref drift between the
        // two peer per-Kind composers and every other qualified-
        // ref consumer across the workspace.
        for (verb, kind, ns, name) in [
            ("fetch", "Process", "default", "api"),
            ("get", "Process", "tatara-system", "reconciler-canary"),
            ("patch", "ConfigMap", "demo-ns", "receipt-cm"),
            ("create", "ConfigMap", "ns-1", "cm.dotted.name"),
        ] {
            let via_composer = qualified_error_ctx(verb, kind, ns, name);
            let via_qualified = format!("{verb} {kind} {}", super::qualified_process_ref(ns, name));
            assert_eq!(
                via_composer, via_qualified,
                "qualified_error_ctx must route the (ns, name) join through \
                 qualified_process_ref for ({verb:?}, {kind:?}, {ns:?}, {name:?})",
            );
        }
    }

    #[test]
    fn qualified_error_ctx_is_symbolic_over_the_kind_slot() {
        // Symbolic pin: the `kind` slot is threaded verbatim into
        // the produced slug — no case-fold, no allow-list narrowing
        // to the two shipped Kinds (`"ConfigMap"`, `"Process"`), no
        // per-Kind canonicalization. A regression that hardcoded
        // an allow-list (a `match kind { "ConfigMap" | "Process" =>
        // …, _ => … }` closed set that would silently reject future
        // per-Kind peers) surfaces HERE.
        //
        // Future third + fourth per-Kind peers (a `Secret` axis
        // reader, a `batch/v1::Job` axis reader for the
        // ConditionKind::JobAttested companion, a FluxCD
        // `HelmRelease` axis reader for the P2 reconciler's
        // emit-side) inherit the primitive at their own peer
        // composers and pass their own Kind literals verbatim
        // without the composer widening.
        for kind in [
            "ConfigMap",
            "Process",
            "Secret",
            "Job",
            "HelmRelease",
            "OCIRepository",
            "Deployment",
            "StatefulSet",
        ] {
            let got = qualified_error_ctx("fetch", kind, "default", "api");
            let expected = format!("fetch {kind} default/api");
            assert_eq!(
                got, expected,
                "kind-slot substitution must be verbatim for {kind:?}"
            );
        }
    }

    #[test]
    fn qualified_error_ctx_is_symbolic_over_the_verb_slot() {
        // Symbolic pin: the `verb` slot is threaded verbatim — same
        // discipline as the sibling verb-slot pins on the two peer
        // per-Kind composers ([`crate::configmap::tests::
        // error_ctx_is_symbolic_over_the_verb_slot`] via absence,
        // [`crate::process_api::tests::
        // error_ctx_is_symbolic_over_the_verb_slot`]). Post-lift
        // both peers route through this composer so this pin binds
        // the shared symbolic contract at ONE substrate owner rather
        // than as two parallel pins that could drift.
        for verb in [
            "fetch", "get", "reap", "resolve", "watch", "patch", "delete", "create",
        ] {
            let got = qualified_error_ctx(verb, "Process", "default", "api");
            let expected = format!("{verb} Process default/api");
            assert_eq!(
                got, expected,
                "verb-slot substitution must be verbatim for {verb:?}"
            );
        }
    }

    #[test]
    fn qualified_error_ctx_matches_configmap_peer_bytewise() {
        // Post-lift peer coherence pin: the composer's output at
        // `<Kind> = "ConfigMap"` MUST be byte-identical to the
        // [`crate::configmap::error_ctx`] peer's output at the SAME
        // (verb, ns, name) triple. The peer is now a one-line
        // delegate through this composer, so a regression that
        // dropped or drifted the delegation would surface HERE.
        for (verb, ns, name) in [
            ("patch", "default", "receipt-cm"),
            ("create", "demo-ns", "cm-01"),
            ("get", "ns-1", "receipt.dotted.name"),
        ] {
            let via_composer = qualified_error_ctx(verb, "ConfigMap", ns, name);
            let via_peer = crate::configmap::error_ctx(verb, ns, name);
            assert_eq!(
                via_composer, via_peer,
                "configmap::error_ctx must route through qualified_error_ctx \
                 for ({verb:?}, {ns:?}, {name:?})"
            );
        }
    }

    #[test]
    fn qualified_error_ctx_matches_process_api_peer_bytewise() {
        // Post-lift peer coherence pin: the composer's output at
        // `<Kind> = "Process"` MUST be byte-identical to the
        // [`crate::process_api::error_ctx`] peer's output at the
        // SAME (verb, ns, name) triple. Peer to the ConfigMap
        // coherence pin above — both peers now delegate through the
        // SAME 4-slot composer, so a regression that drifted either
        // delegation surfaces at exactly ONE of the two
        // fail-before-pass-after pins.
        for (verb, ns, name) in [
            ("fetch", "default", "api"),
            ("get", "demo-ns", "demo"),
            ("watch", "tatara-system", "reconciler-canary"),
        ] {
            let via_composer = qualified_error_ctx(verb, "Process", ns, name);
            let via_peer = crate::process_api::error_ctx(verb, ns, name);
            assert_eq!(
                via_composer, via_peer,
                "process_api::error_ctx must route through qualified_error_ctx \
                 for ({verb:?}, {ns:?}, {name:?})"
            );
        }
    }

    #[test]
    fn qualified_error_ctx_rides_edge_case_axis_shapes() {
        // Edge-case pin: the composer performs NO validation on the
        // four slots — an empty verb / empty Kind / empty ns / empty
        // name / slash-in-name pathological input rides through
        // unchanged. Matches the pre-lift per-Kind peers' semantics
        // (both were unconditional `format!(…)` chains). A
        // regression that added a normalization step (URL-escaping
        // the slot values, path-normalizing the qualified-ref tail,
        // trimming empty slots) at this primitive would silently
        // break every downstream grep operators run to bisect an
        // authoring bug in the pre-lift consumers' input surface.
        assert_eq!(qualified_error_ctx("", "", "", ""), "  /");
        assert_eq!(
            qualified_error_ctx("fetch", "Process", "", ""),
            "fetch Process /",
        );
        assert_eq!(
            qualified_error_ctx("fetch", "Process", "default", ""),
            "fetch Process default/",
        );
        assert_eq!(
            qualified_error_ctx("get", "Process", "ns", "with/slash"),
            "get Process ns/with/slash",
        );
    }
}

#[cfg(test)]
mod namespaced_api_coordinates_tests {
    //! Pin the [`NamespacedApiCoordinates`] trait's
    //! `owned_coordinates_required` extractor at fail-before-pass-
    //! after granularity across every corner of the (namespace slot,
    //! name slot) × (present, absent) input matrix, on BOTH CRDs the
    //! trait's blanket impl covers today (`EphemeralPool` +
    //! `EphemeralAllocation`). A regression that reordered the two
    //! `ok_or_else` gates, dropped the `Self::kind` prefix, or drifted
    //! the error-string spelling surfaces HERE rather than as silent
    //! operator-facing skew between the two reconcilers' top-level
    //! error messages.
    use super::NamespacedApiCoordinates;
    use crate::allocation::{AllocationSpec, EphemeralAllocation, Requestor};
    use crate::ephemeral::EphemeralSpec;
    use crate::intent::AplicacaoIntent;
    use crate::lifetime::TeardownPolicy;
    use crate::pool::{EphemeralPool, PoolSpec};

    fn empty_template() -> EphemeralSpec {
        // Mirror `tatara-pool-reconciler::router::tests::empty_template`
        // — the workspace-wide minimal `EphemeralSpec` fixture the sister
        // reconciler tests already use for pool wiring exercised here.
        EphemeralSpec {
            aplicacao: AplicacaoIntent::chart_only("oci://x", "1"),
            ttl: "1h".into(),
            teardown: TeardownPolicy::Always,
            max_concurrent: 0,
            postconditions: vec![],
            preconditions: vec![],
            verify_timeout: None,
            classification: None,
            parent: None,
            exports: vec![],
            routing: None,
        }
    }

    fn pool_fixture(name: &str, ns: Option<&str>) -> EphemeralPool {
        // Every non-template slot rides the ONE substrate composer
        // [`PoolSpec::with_template`]; pre-lift this fixture spelled the
        // full 11-slot struct-literal verbatim as one of eight cross-
        // crate hand-authored copies. See the primitive's doc-comment
        // for the full migration rationale.
        let spec = PoolSpec {
            desired_size: 1,
            ..PoolSpec::with_template(empty_template())
        };
        let mut p = EphemeralPool::new(name, spec);
        p.metadata.namespace = ns.map(str::to_string);
        p
    }

    fn alloc_fixture(name: &str, ns: Option<&str>) -> EphemeralAllocation {
        // AllocationSpec rides through the ONE substrate composer
        // `AllocationSpec::requestor_only`; the inner Requestor rides
        // through the peer composer `Requestor::kind_only`. Nine
        // pre-lift exact-match sites past the ★★ PRIME-DIRECTIVE ≥ 2
        // threshold collapse onto this ONE substrate owner.
        let spec = AllocationSpec::requestor_only(Requestor::kind_only("github-pr"));
        let mut a = EphemeralAllocation::new(name, spec);
        a.metadata.namespace = ns.map(str::to_string);
        a
    }

    fn nameless_pool(ns: Option<&str>) -> EphemeralPool {
        let mut p = pool_fixture("placeholder", ns);
        p.metadata.name = None;
        p
    }

    fn nameless_alloc(ns: Option<&str>) -> EphemeralAllocation {
        let mut a = alloc_fixture("placeholder", ns);
        a.metadata.name = None;
        a
    }

    // ── Happy path: both slots present ─────────────────────────────

    #[test]
    fn owned_coordinates_required_returns_owned_strings_on_ephemeral_pool_when_both_slots_present()
    {
        let p = pool_fixture("attest-pool", Some("ephemeral-pools"));
        let (ns, name) = p.owned_coordinates_required().unwrap();
        assert_eq!(ns, "ephemeral-pools");
        assert_eq!(name, "attest-pool");
    }

    #[test]
    fn owned_coordinates_required_returns_owned_strings_on_ephemeral_allocation_when_both_slots_present(
    ) {
        let a = alloc_fixture("pr-42-demo", Some("ephemeral-pools"));
        let (ns, name) = a.owned_coordinates_required().unwrap();
        assert_eq!(ns, "ephemeral-pools");
        assert_eq!(name, "pr-42-demo");
    }

    // ── Missing namespace ─────────────────────────────────────────

    #[test]
    fn owned_coordinates_required_errors_on_ephemeral_pool_missing_namespace() {
        let p = pool_fixture("attest-pool", None);
        let err = p.owned_coordinates_required().unwrap_err();
        assert_eq!(err.to_string(), "EphemeralPool has no metadata.namespace");
    }

    #[test]
    fn owned_coordinates_required_errors_on_ephemeral_allocation_missing_namespace() {
        let a = alloc_fixture("pr-42-demo", None);
        let err = a.owned_coordinates_required().unwrap_err();
        assert_eq!(
            err.to_string(),
            "EphemeralAllocation has no metadata.namespace"
        );
    }

    // ── Missing name ──────────────────────────────────────────────

    #[test]
    fn owned_coordinates_required_errors_on_ephemeral_pool_missing_name_when_namespace_present() {
        let p = nameless_pool(Some("ephemeral-pools"));
        let err = p.owned_coordinates_required().unwrap_err();
        assert_eq!(err.to_string(), "EphemeralPool has no metadata.name");
    }

    #[test]
    fn owned_coordinates_required_errors_on_ephemeral_allocation_missing_name_when_namespace_present(
    ) {
        let a = nameless_alloc(Some("ephemeral-pools"));
        let err = a.owned_coordinates_required().unwrap_err();
        assert_eq!(err.to_string(), "EphemeralAllocation has no metadata.name");
    }

    // ── Missing both slots: namespace error wins (pre-lift ordering) ──

    #[test]
    fn owned_coordinates_required_reports_namespace_first_when_both_slots_absent_on_ephemeral_pool()
    {
        // Pre-lift both reconcilers spelled the paired chain as the
        // namespace ok_or_else THEN the name ok_or_else, so the
        // reported error on a fixture missing both slots was always
        // the namespace one. Pin that ordering post-lift so a
        // regression that swapped the two `ok_or_else` blocks
        // surfaces HERE rather than at operator-facing log-line
        // grep drift between the two reconcilers.
        let p = nameless_pool(None);
        let err = p.owned_coordinates_required().unwrap_err();
        assert_eq!(err.to_string(), "EphemeralPool has no metadata.namespace");
    }

    #[test]
    fn owned_coordinates_required_reports_namespace_first_when_both_slots_absent_on_ephemeral_allocation(
    ) {
        let a = nameless_alloc(None);
        let err = a.owned_coordinates_required().unwrap_err();
        assert_eq!(
            err.to_string(),
            "EphemeralAllocation has no metadata.namespace"
        );
    }

    // ── Byte-identical parity with the pre-lift 5-line chain ──────

    #[test]
    fn owned_coordinates_required_matches_pre_lift_pool_reconciler_chain_shape() {
        // Byte-identical parity pin: the primitive produces the SAME
        // `Result<(String, String), anyhow::Error>` shape a pre-lift
        // `.metadata.<slot>.clone().ok_or_else(|| anyhow!("<Kind> has
        // no metadata.<slot>"))?` chain produced at
        // `tatara-pool-reconciler::controller_pool::reconcile_inner`
        // pre-lift, on both the happy and the missing-slot corners.
        // A regression that changed the error prefix, reordered the
        // two gates, or returned a non-`(String, String)` tuple
        // surfaces HERE rather than at every consumer downstream.
        let cases = [
            (Some("prod"), Some("api")),
            (Some("prod"), None),
            (None, Some("orphan")),
            (None, None),
        ];
        for (ns_slot, name_slot) in cases {
            let mut p = pool_fixture("placeholder", ns_slot);
            if let Some(nm) = name_slot {
                p.metadata.name = Some(nm.into());
            } else {
                p.metadata.name = None;
            }

            // Pre-lift 5-line paired chain (with the reconciler's
            // hand-authored short-form `"Pool"` prefix updated to the
            // canonical kube kind `"EphemeralPool"`, matching the
            // primitive's `Self::kind`-driven spelling — the drift
            // is intentional per the trait's docs).
            let pre_lift: anyhow::Result<(String, String)> = (|| {
                let ns =
                    p.metadata.namespace.clone().ok_or_else(|| {
                        anyhow::anyhow!("EphemeralPool has no metadata.namespace")
                    })?;
                let name = p
                    .metadata
                    .name
                    .clone()
                    .ok_or_else(|| anyhow::anyhow!("EphemeralPool has no metadata.name"))?;
                Ok((ns, name))
            })();

            let via_primitive = p.owned_coordinates_required();

            // Compare on both the Ok tuple + the error string
            // spelling — anyhow::Error does not derive PartialEq so
            // pattern-match on the Result axis rather than a direct
            // `assert_eq!` on the whole Result.
            match (via_primitive, pre_lift) {
                (Ok(a), Ok(b)) => assert_eq!(a, b),
                (Err(a), Err(b)) => assert_eq!(a.to_string(), b.to_string()),
                (a, b) => panic!(
                    "primitive vs pre-lift chain disagree on Ok/Err axis for \
                     (ns={ns_slot:?}, name={name_slot:?}): primitive={a:?}, pre_lift={b:?}"
                ),
            }
        }
    }

    #[test]
    fn owned_coordinates_required_matches_pre_lift_allocation_reconciler_chain_shape() {
        // Peer to the pool-side pin above — pin the same byte-
        // identity contract on the allocation reconciler's chain,
        // where the pre-lift error spelling used the short-form
        // `"Allocation"` prefix that the primitive now emits as the
        // canonical kube-kind `"EphemeralAllocation"`.
        let cases = [
            (Some("ephemeral-pools"), Some("pr-42-demo")),
            (Some("ephemeral-pools"), None),
            (None, Some("orphan")),
            (None, None),
        ];
        for (ns_slot, name_slot) in cases {
            let mut a = alloc_fixture("placeholder", ns_slot);
            if let Some(nm) = name_slot {
                a.metadata.name = Some(nm.into());
            } else {
                a.metadata.name = None;
            }

            let pre_lift: anyhow::Result<(String, String)> = (|| {
                let ns = a.metadata.namespace.clone().ok_or_else(|| {
                    anyhow::anyhow!("EphemeralAllocation has no metadata.namespace")
                })?;
                let name =
                    a.metadata.name.clone().ok_or_else(|| {
                        anyhow::anyhow!("EphemeralAllocation has no metadata.name")
                    })?;
                Ok((ns, name))
            })();

            let via_primitive = a.owned_coordinates_required();

            match (via_primitive, pre_lift) {
                (Ok(a), Ok(b)) => assert_eq!(a, b),
                (Err(a), Err(b)) => assert_eq!(a.to_string(), b.to_string()),
                (a, b) => panic!(
                    "primitive vs pre-lift chain disagree on Ok/Err axis for \
                     (ns={ns_slot:?}, name={name_slot:?}): primitive={a:?}, pre_lift={b:?}"
                ),
            }
        }
    }

    // ── Cross-CRD symmetry: kube kind drives the error prefix ─────

    #[test]
    fn owned_coordinates_required_error_prefix_matches_kube_kind_on_each_crd() {
        // The error prefix is sourced positionally from `Self::kind`
        // so the two CRDs emit distinct kube-canonical spellings
        // without either callsite hard-coding a per-CRD literal.
        // Regressions that hard-coded a shared prefix (e.g. a
        // copy-paste that pasted the pool's error string into the
        // allocation callsite) surface HERE.
        use kube::Resource;
        let p = pool_fixture("p", None);
        let a = alloc_fixture("a", None);
        assert_eq!(
            p.owned_coordinates_required().unwrap_err().to_string(),
            format!("{} has no metadata.namespace", EphemeralPool::kind(&()))
        );
        assert_eq!(
            a.owned_coordinates_required().unwrap_err().to_string(),
            format!(
                "{} has no metadata.namespace",
                EphemeralAllocation::kind(&())
            )
        );
        // Belt-and-suspenders: the two kinds are distinct spellings,
        // so the error strings are distinct too.
        assert_ne!(
            p.owned_coordinates_required().unwrap_err().to_string(),
            a.owned_coordinates_required().unwrap_err().to_string(),
        );
    }
}

#[cfg(test)]
mod deletion_tombstoned_tests {
    //! Pin the [`DeletionTombstoned`] trait's `is_being_deleted` probe
    //! at fail-before-pass-after granularity across every corner of
    //! the (tombstone present, tombstone absent) input matrix, on
    //! ALL THREE tatara-process CRDs the trait's blanket impl covers
    //! today (`Process`, `EphemeralPool`, `EphemeralAllocation`), plus
    //! the cross-CRD coherence with the two pre-existing inherent
    //! forwarders. A regression that skewed the trait's default,
    //! promoted a distinct-payload tombstone to a false negative, or
    //! diverged the trait from either inherent forwarder surfaces
    //! HERE rather than as silent operator-facing skew between the
    //! four consumer sites the primitive owns (the top-level
    //! dispatcher's SIGTERM preempt, the SIGTERM cascade's child-
    //! fan-out DELETE-skip, the pool reconciler's Drain gate, and
    //! the allocation reconciler's release short-circuit) on three
    //! sibling CRDs.
    use super::DeletionTombstoned;
    use crate::allocation::{AllocationSpec, EphemeralAllocation, Requestor};
    use crate::crd::{Process, ProcessSpec};
    use crate::ephemeral::EphemeralSpec;
    use crate::intent::AplicacaoIntent;
    use crate::lifetime::TeardownPolicy;
    use crate::pool::{EphemeralPool, PoolSpec};
    use k8s_openapi::apimachinery::pkg::apis::meta::v1::Time;

    fn empty_template() -> EphemeralSpec {
        EphemeralSpec {
            aplicacao: AplicacaoIntent::chart_only("oci://x", "1"),
            ttl: "1h".into(),
            teardown: TeardownPolicy::Always,
            max_concurrent: 0,
            postconditions: vec![],
            preconditions: vec![],
            verify_timeout: None,
            classification: None,
            parent: None,
            exports: vec![],
            routing: None,
        }
    }

    fn empty_pool_spec() -> PoolSpec {
        // Every non-template slot rides the ONE substrate composer
        // [`PoolSpec::with_template`]; see the primitive's doc-comment
        // for the full migration rationale.
        PoolSpec {
            desired_size: 1,
            ..PoolSpec::with_template(empty_template())
        }
    }

    fn empty_alloc_spec() -> AllocationSpec {
        // AllocationSpec rides through the ONE substrate composer
        // `AllocationSpec::requestor_only`; the inner Requestor rides
        // through `Requestor::kind_only`. Nine pre-lift exact-match
        // fixture sites past the ★★ PRIME-DIRECTIVE ≥ 2 threshold
        // collapse onto this ONE substrate owner.
        AllocationSpec::requestor_only(Requestor::kind_only("github-pr"))
    }

    fn empty_process_spec() -> ProcessSpec {
        // Routes through the ONE substrate composer
        // `ProcessSpec::gate_compute_defaults` — the minimal
        // `ProcessSpec` used across every substrate metadata-projection
        // pin. Pre-lift this was the 12-line struct-literal restated
        // verbatim at every fixture in this pin family.
        ProcessSpec::gate_compute_defaults()
    }

    // ── Missing tombstone (default fixture) — trait returns false ─────

    #[test]
    fn is_being_deleted_on_process_missing_tombstone_returns_false_via_trait() {
        let p = Process::new("api", empty_process_spec());
        assert!(!DeletionTombstoned::is_being_deleted(&p));
    }

    #[test]
    fn is_being_deleted_on_ephemeral_pool_missing_tombstone_returns_false_via_trait() {
        let p = EphemeralPool::new("attest-pool", empty_pool_spec());
        assert!(!DeletionTombstoned::is_being_deleted(&p));
    }

    #[test]
    fn is_being_deleted_on_ephemeral_allocation_missing_tombstone_returns_false_via_trait() {
        // The load-bearing corner: EphemeralAllocation had NO inherent
        // is_being_deleted pre-lift — the trait's blanket impl is
        // what closes the substrate gap for the allocation reconciler's
        // hand-authored `.metadata.deletion_timestamp.is_some()` chain.
        let a = EphemeralAllocation::new("pr-42-demo", empty_alloc_spec());
        assert!(!DeletionTombstoned::is_being_deleted(&a));
    }

    // ── Present tombstone — trait returns true ────────────────────────

    #[test]
    fn is_being_deleted_on_process_present_tombstone_returns_true_via_trait() {
        let mut p = Process::new("api", empty_process_spec());
        // Routes through the ONE substrate composer
        // `tatara_process::time::tombstone_now` — one of 12 pre-lift
        // exact-match sites past the ★★ PRIME-DIRECTIVE ≥ 2 threshold
        // for the `Some(Time(Utc::now()))` wire shape.
        p.metadata.deletion_timestamp = crate::time::tombstone_now();
        assert!(DeletionTombstoned::is_being_deleted(&p));
    }

    #[test]
    fn is_being_deleted_on_ephemeral_pool_present_tombstone_returns_true_via_trait() {
        let mut p = EphemeralPool::new("attest-pool", empty_pool_spec());
        p.metadata.deletion_timestamp = crate::time::tombstone_now();
        assert!(DeletionTombstoned::is_being_deleted(&p));
    }

    #[test]
    fn is_being_deleted_on_ephemeral_allocation_present_tombstone_returns_true_via_trait() {
        let mut a = EphemeralAllocation::new("pr-42-demo", empty_alloc_spec());
        a.metadata.deletion_timestamp = crate::time::tombstone_now();
        assert!(DeletionTombstoned::is_being_deleted(&a));
    }

    // ── Byte-identical parity with the pre-lift `.is_some()` chain ────

    #[test]
    fn is_being_deleted_matches_pre_lift_deletion_timestamp_is_some_chain_on_ephemeral_allocation()
    {
        // Byte-identical parity pin: the trait's default produces the
        // SAME `bool` a pre-lift `.metadata.deletion_timestamp.is_some()`
        // chain produced at `tatara-pool-reconciler::allocation_decide::
        // AllocationConvergenceCtx::observe` pre-lift, across every
        // corner of the (absent, present-at-now, present-at-past)
        // input matrix. A regression that inserted a normalization
        // step the pre-lift chain does NOT apply — or vice versa —
        // surfaces here rather than as silent drift between the
        // substrate owner and the pre-lift consumer.
        // Routes through the ONE substrate composer family
        // `tatara_process::time::{tombstone_now,tombstone_at}` — the
        // present-at-now corner rides `tombstone_now`, the present-at-
        // past corner composes `tombstone_at(seconds_ago(3600))` per
        // the composer's canonical stale-fixture shape.
        let mut cases: Vec<Option<Time>> = vec![None];
        cases.push(crate::time::tombstone_now());
        cases.push(crate::time::tombstone_at(crate::time::seconds_ago(3600)));

        for ts in cases {
            let mut a = EphemeralAllocation::new("pr-42-demo", empty_alloc_spec());
            a.metadata.deletion_timestamp = ts.clone();

            let pre_lift = a.metadata.deletion_timestamp.is_some();
            let via_trait = DeletionTombstoned::is_being_deleted(&a);

            assert_eq!(
                pre_lift, via_trait,
                "trait probe must be byte-identical to pre-lift .metadata.deletion_timestamp.is_some() on tombstone={ts:?}",
            );
        }
    }

    // ── Cross-CRD coherence with the two inherent forwarders ──────────

    #[test]
    fn trait_probe_coheres_with_process_inherent_is_being_deleted_on_both_corners() {
        // Cross-primitive coherence pin: the trait's default and the
        // pre-existing `Process::is_being_deleted` inherent forwarder
        // return the SAME `bool` on the SAME `Process` value — a
        // future consolidation of the inherent onto the trait's default
        // (or vice versa) cannot land any drift between the two
        // surfaces because this pin binds them at every corner of the
        // (missing, present) input matrix.
        // Routes the tombstone-present corner through the ONE
        // substrate composer `tatara_process::time::tombstone_now`.
        for ts in [None, crate::time::tombstone_now()] {
            let mut p = Process::new("api", empty_process_spec());
            p.metadata.deletion_timestamp = ts.clone();
            assert_eq!(
                p.is_being_deleted(),
                DeletionTombstoned::is_being_deleted(&p),
                "Process trait probe must match inherent on tombstone={ts:?}",
            );
        }
    }

    #[test]
    fn trait_probe_coheres_with_ephemeral_pool_inherent_is_being_deleted_on_both_corners() {
        // Peer coherence pin on the sister CRD.
        for ts in [None, crate::time::tombstone_now()] {
            let mut p = EphemeralPool::new("attest-pool", empty_pool_spec());
            p.metadata.deletion_timestamp = ts.clone();
            assert_eq!(
                p.is_being_deleted(),
                DeletionTombstoned::is_being_deleted(&p),
                "EphemeralPool trait probe must match inherent on tombstone={ts:?}",
            );
        }
    }

    // ── Inherent-preferred method resolution on Process + EphemeralPool ──

    #[test]
    fn dot_call_on_process_resolves_to_inherent_when_trait_in_scope() {
        // Rust method resolution prefers an inherent over a trait's
        // blanket impl, so `process.is_being_deleted()` with the trait
        // in scope still routes through the inherent — and both
        // return the same `bool` (verified in
        // `trait_probe_coheres_with_process_inherent_is_being_deleted_on_both_corners`).
        // This pin guards against a future refactor that removes the
        // inherent but leaves consumers assuming inherent-preferred
        // resolution — the observable output is identical either way,
        // so the pin locks the invariant that BOTH paths agree.
        let mut p = Process::new("api", empty_process_spec());
        // Routes through `tatara_process::time::tombstone_now`.
        p.metadata.deletion_timestamp = crate::time::tombstone_now();
        assert!(p.is_being_deleted());
    }

    #[test]
    fn dot_call_on_ephemeral_allocation_resolves_to_trait_blanket_impl() {
        // The load-bearing corner: `alloc.is_being_deleted()` with
        // the trait in scope routes to the trait's blanket impl
        // (there is no inherent on `EphemeralAllocation`) and
        // produces the expected `bool`. This is what the swept
        // allocation-reconciler callsite depends on post-lift.
        let mut a = EphemeralAllocation::new("pr-42-demo", empty_alloc_spec());
        assert!(!a.is_being_deleted());
        a.metadata.deletion_timestamp = crate::time::tombstone_now();
        assert!(a.is_being_deleted());
    }
}

#[cfg(test)]
mod annotated_tests {
    //! Pin the [`Annotated`] trait's `annotation` lookup at fail-
    //! before-pass-after granularity across every corner of the
    //! (annotations map: absent / present-empty / present-with-key /
    //! present-without-key) × (value form: normal / empty-string)
    //! input matrix, on the three tatara-process CRDs the trait's
    //! blanket impl covers today (`Process`, `EphemeralPool`,
    //! `EphemeralAllocation`) PLUS a K8s built-in (`ConfigMap`) — the
    //! load-bearing fourth surface that `tatara-export-worker::main`
    //! consumes post-lift where no tatara-owned inherent forwarder
    //! exists. Also pin cross-primitive coherence with the pre-existing
    //! `Process::annotation` inherent so a future consolidation onto
    //! the trait's default cannot silently skew the three consumers
    //! already routed through the inherent
    //! (`signals::ingest`,
    //! `phase_machine::released_from_annotation`,
    //! `controller_pool::process_belongs_to_pool`).
    use super::Annotated;
    use crate::allocation::{AllocationSpec, EphemeralAllocation, Requestor};
    use crate::crd::{Process, ProcessSpec};
    use crate::ephemeral::EphemeralSpec;
    use crate::intent::AplicacaoIntent;
    use crate::lifetime::TeardownPolicy;
    use crate::pool::{EphemeralPool, PoolSpec};
    use k8s_openapi::api::core::v1::ConfigMap;
    use std::collections::BTreeMap;

    fn empty_template() -> EphemeralSpec {
        EphemeralSpec {
            aplicacao: AplicacaoIntent::chart_only("oci://x", "1"),
            ttl: "1h".into(),
            teardown: TeardownPolicy::Always,
            max_concurrent: 0,
            postconditions: vec![],
            preconditions: vec![],
            verify_timeout: None,
            classification: None,
            parent: None,
            exports: vec![],
            routing: None,
        }
    }

    fn empty_pool_spec() -> PoolSpec {
        // Every non-template slot rides the ONE substrate composer
        // [`PoolSpec::with_template`]; see the primitive's doc-comment
        // for the full migration rationale.
        PoolSpec {
            desired_size: 1,
            ..PoolSpec::with_template(empty_template())
        }
    }

    fn empty_alloc_spec() -> AllocationSpec {
        // AllocationSpec rides through `AllocationSpec::requestor_only`;
        // the inner Requestor rides through `Requestor::kind_only` —
        // sibling to the peer `empty_alloc_spec` fixture in the
        // DeletionTombstoned pin module above.
        AllocationSpec::requestor_only(Requestor::kind_only("github-pr"))
    }

    fn empty_process_spec() -> ProcessSpec {
        // Routes through the ONE substrate composer
        // `ProcessSpec::gate_compute_defaults` — sibling to the
        // `empty_process_spec` fixture in the DeletionTombstoned pin
        // module above and to `empty_spec` in `crd.rs::tests`.
        ProcessSpec::gate_compute_defaults()
    }

    fn one_annotation(key: &str, value: &str) -> BTreeMap<String, String> {
        let mut m = BTreeMap::new();
        m.insert(key.into(), value.into());
        m
    }

    // ── Missing annotations map — trait returns None on every key ─────

    #[test]
    fn annotation_on_process_missing_annotations_returns_none_via_trait() {
        let mut p = Process::new("api", empty_process_spec());
        p.metadata.annotations = None;
        assert_eq!(Annotated::annotation(&p, "tatara.pleme.io/signal"), None);
        assert_eq!(Annotated::annotation(&p, ""), None);
    }

    #[test]
    fn annotation_on_ephemeral_pool_missing_annotations_returns_none_via_trait() {
        let mut p = EphemeralPool::new("attest-pool", empty_pool_spec());
        p.metadata.annotations = None;
        assert_eq!(Annotated::annotation(&p, "tatara.pleme.io/pool"), None);
    }

    #[test]
    fn annotation_on_ephemeral_allocation_missing_annotations_returns_none_via_trait() {
        // The peer load-bearing corner: EphemeralAllocation has NO
        // inherent `annotation()` pre-lift — the trait's blanket impl
        // is what closes the substrate gap here, exactly as the
        // sibling `DeletionTombstoned` trait already did on the
        // tombstone axis for the SAME third CRD.
        let mut a = EphemeralAllocation::new("pr-42-demo", empty_alloc_spec());
        a.metadata.annotations = None;
        assert_eq!(
            Annotated::annotation(&a, "tatara.pleme.io/requestor-kind"),
            None,
        );
    }

    #[test]
    fn annotation_on_config_map_missing_annotations_returns_none_via_trait() {
        // The load-bearing corner the export-worker's post-lift call
        // depends on: `ConfigMap` is a K8s built-in with no tatara-
        // owned inherent forwarder, and the receipts-owner filter
        // needs to route through the trait's blanket impl at
        // `cm.annotation(KEY)`.
        let cm = ConfigMap::default();
        // `Default::default()` produces an object with an empty
        // ObjectMeta whose `annotations` slot is `None` — the exact
        // missing-annotations corner the trait must collapse to
        // `None` at every key lookup, matching what the pre-lift
        // `cm.metadata.annotations.as_ref().and_then(...)` chain
        // produced.
        assert_eq!(Annotated::annotation(&cm, "tatara.pleme.io/process"), None,);
    }

    // ── Missing key inside populated map — trait returns None ─────────

    #[test]
    fn annotation_on_process_missing_key_returns_none_via_trait() {
        let mut p = Process::new("api", empty_process_spec());
        p.metadata.annotations = Some(one_annotation("other/key", "irrelevant"));
        assert_eq!(Annotated::annotation(&p, "tatara.pleme.io/signal"), None);
        assert_eq!(Annotated::annotation(&p, ""), None);
    }

    #[test]
    fn annotation_on_config_map_missing_key_returns_none_via_trait() {
        let mut cm = ConfigMap::default();
        cm.metadata.annotations = Some(one_annotation("unrelated", "yes"));
        assert_eq!(Annotated::annotation(&cm, "tatara.pleme.io/process"), None,);
    }

    // ── Present key — trait returns borrowed slice ────────────────────

    #[test]
    fn annotation_on_process_present_key_returns_borrowed_slice_via_trait() {
        let mut p = Process::new("api", empty_process_spec());
        p.metadata.annotations = Some(one_annotation("tatara.pleme.io/signal", "SIGHUP"));
        assert_eq!(
            Annotated::annotation(&p, "tatara.pleme.io/signal"),
            Some("SIGHUP"),
        );
    }

    #[test]
    fn annotation_on_ephemeral_pool_present_key_returns_borrowed_slice_via_trait() {
        let mut p = EphemeralPool::new("attest-pool", empty_pool_spec());
        p.metadata.annotations = Some(one_annotation("tatara.pleme.io/pool", "demo-pool"));
        assert_eq!(
            Annotated::annotation(&p, "tatara.pleme.io/pool"),
            Some("demo-pool"),
        );
    }

    #[test]
    fn annotation_on_ephemeral_allocation_present_key_returns_borrowed_slice_via_trait() {
        let mut a = EphemeralAllocation::new("pr-42-demo", empty_alloc_spec());
        a.metadata.annotations = Some(one_annotation(
            "tatara.pleme.io/requestor-kind",
            "github-pr",
        ));
        assert_eq!(
            Annotated::annotation(&a, "tatara.pleme.io/requestor-kind"),
            Some("github-pr"),
        );
    }

    #[test]
    fn annotation_on_config_map_present_key_returns_borrowed_slice_via_trait() {
        // The exact receipts-owner filter shape from
        // `tatara-export-worker::main`: a ConfigMap carrying the
        // `tatara.pleme.io/process` annotation set to the qualified
        // process reference `<ns>/<name>`. Pin that the trait produces
        // the exact borrowed slice the equality comparison against the
        // caller's `want.as_str()` sentinel consumes.
        let mut cm = ConfigMap::default();
        cm.metadata.annotations = Some(one_annotation(
            "tatara.pleme.io/process",
            "demo-ns/demo-app",
        ));
        assert_eq!(
            Annotated::annotation(&cm, "tatara.pleme.io/process"),
            Some("demo-ns/demo-app"),
        );
    }

    // ── Empty-value contract: `Some("")` — the pre-lift chain never
    //    swallowed empty values into `None`, so the trait must not
    //    either. Pinned separately from the missing-slot corners.

    #[test]
    fn annotation_present_key_with_empty_value_returns_some_empty_slice_via_trait() {
        let mut p = Process::new("api", empty_process_spec());
        p.metadata.annotations = Some(one_annotation("tatara.pleme.io/signal", ""));
        assert_eq!(
            Annotated::annotation(&p, "tatara.pleme.io/signal"),
            Some("")
        );
    }

    // ── Byte-identical parity with the pre-lift 3-line chain ──────────

    #[test]
    fn annotation_matches_pre_lift_annotations_lookup_chain_on_config_map() {
        // The four-corner input matrix the pre-lift
        // `cm.metadata.annotations.as_ref().and_then(|m| m.get(KEY))
        // .map(String::as_str)` chain traversed in
        // `tatara-export-worker::main` pre-lift. A regression that
        // inserted a normalization step the pre-lift chain does NOT
        // apply — or vice versa — surfaces here rather than as silent
        // drift between the substrate owner and the pre-lift consumer.
        const KEY: &str = "tatara.pleme.io/process";
        let cases: Vec<(Option<BTreeMap<String, String>>, Option<&str>)> = vec![
            (None, None),
            (Some(BTreeMap::new()), None),
            (Some(one_annotation("unrelated", "yes")), None),
            (
                Some(one_annotation(KEY, "demo-ns/demo-app")),
                Some("demo-ns/demo-app"),
            ),
            (Some(one_annotation(KEY, "")), Some("")),
        ];
        for (anns, expected) in cases {
            let mut cm = ConfigMap::default();
            cm.metadata.annotations = anns.clone();

            let pre_lift: Option<&str> = cm
                .metadata
                .annotations
                .as_ref()
                .and_then(|m| m.get(KEY))
                .map(String::as_str);
            let via_trait = Annotated::annotation(&cm, KEY);

            assert_eq!(
                pre_lift, expected,
                "pre-lift chain must return {expected:?} for annotations={anns:?}",
            );
            assert_eq!(
                via_trait, pre_lift,
                "trait probe must be byte-identical to pre-lift chain for annotations={anns:?}",
            );
        }
    }

    // ── Cross-primitive coherence with Process's inherent forwarder ───

    #[test]
    fn trait_probe_coheres_with_process_inherent_annotation_on_every_corner() {
        // Cross-primitive coherence pin: the trait's default and the
        // pre-existing `Process::annotation` inherent forwarder return
        // the SAME `Option<&str>` on the SAME `Process` value — a
        // future consolidation of the inherent onto the trait's
        // default cannot land any drift because this pin binds them
        // at every corner of the (absent, present-missing-key,
        // present-with-key, present-with-empty-value) input matrix.
        const KEY: &str = "tatara.pleme.io/signal";
        let cases: Vec<Option<BTreeMap<String, String>>> = vec![
            None,
            Some(BTreeMap::new()),
            Some(one_annotation("other/key", "irrelevant")),
            Some(one_annotation(KEY, "SIGHUP")),
            Some(one_annotation(KEY, "")),
        ];
        for anns in cases {
            let mut p = Process::new("api", empty_process_spec());
            p.metadata.annotations = anns.clone();
            let via_inherent = p.annotation(KEY);
            let via_trait = Annotated::annotation(&p, KEY);
            assert_eq!(
                via_inherent, via_trait,
                "Process inherent + Annotated trait must agree on annotations={anns:?}",
            );
        }
    }

    // ── Inherent-preferred method resolution on Process ───────────────

    #[test]
    fn dot_call_on_process_resolves_to_inherent_when_trait_in_scope() {
        // Rust method resolution prefers an inherent over a trait's
        // blanket impl, so `process.annotation(key)` with the trait in
        // scope still routes through the inherent — and both return
        // the same `Option<&str>` (verified in
        // `trait_probe_coheres_with_process_inherent_annotation_on_every_corner`).
        // This pin guards against a future refactor that removes the
        // inherent but leaves consumers assuming inherent-preferred
        // resolution — the observable output is identical either way,
        // so the pin locks the invariant that BOTH paths agree.
        let mut p = Process::new("api", empty_process_spec());
        p.metadata.annotations = Some(one_annotation("tatara.pleme.io/signal", "SIGHUP"));
        assert_eq!(p.annotation("tatara.pleme.io/signal"), Some("SIGHUP"));
    }

    #[test]
    fn dot_call_on_ephemeral_allocation_resolves_to_trait_blanket_impl() {
        // The peer load-bearing corner: `alloc.annotation(key)` with
        // the trait in scope routes to the trait's blanket impl —
        // there is no inherent on `EphemeralAllocation` — and produces
        // the expected `Option<&str>`. The same discipline the sibling
        // `DeletionTombstoned` trait already established on the
        // tombstone axis for the SAME third CRD.
        let mut a = EphemeralAllocation::new("pr-42-demo", empty_alloc_spec());
        assert_eq!(a.annotation("tatara.pleme.io/requestor-kind"), None);
        a.metadata.annotations = Some(one_annotation(
            "tatara.pleme.io/requestor-kind",
            "github-pr",
        ));
        assert_eq!(
            a.annotation("tatara.pleme.io/requestor-kind"),
            Some("github-pr"),
        );
    }

    #[test]
    fn dot_call_on_config_map_resolves_to_trait_blanket_impl() {
        // The load-bearing corner the export-worker's post-lift call
        // exercises: `cm.annotation(KEY)` with the trait in scope
        // routes to the blanket impl (ConfigMap is a K8s built-in
        // with no tatara-owned inherent) and produces the same
        // `Option<&str>` the pre-lift 3-line chain did.
        let mut cm = ConfigMap::default();
        assert_eq!(cm.annotation("tatara.pleme.io/process"), None);
        cm.metadata.annotations = Some(one_annotation(
            "tatara.pleme.io/process",
            "demo-ns/demo-app",
        ));
        assert_eq!(
            cm.annotation("tatara.pleme.io/process"),
            Some("demo-ns/demo-app"),
        );
    }
}

#[cfg(test)]
mod annotations_pins {
    //! Pin the three newly-lifted allocator-bind annotation keys
    //! ([`crate::annotations::REQUESTOR`],
    //! [`crate::annotations::ALLOCATION`],
    //! [`crate::annotations::REQUESTOR_KIND`]) at their canonical
    //! wire-form byte-values, and pin the coherence between each
    //! constant and the pre-lift string literal the sibling writer +
    //! reader test-sites still spell verbatim.
    //!
    //! Pre-lift each of the three keys was a bare `"tatara.pleme.io/…"`
    //! string literal at both the writer (`tatara-pool-reconciler::
    //! controller_allocation::reconcile_inner`'s Bind arm) AND the
    //! reader-side test sites in `annotated_tests` above — six
    //! restatements of `REQUESTOR_KIND` alone past the ★★
    //! PRIME-DIRECTIVE ≥ 2 duplication threshold. Post-lift the writer
    //! keys on the substrate constant; these pins bind the constant's
    //! byte-shape so a future edit that drifted the constant (a
    //! typo'd suffix, an accidental `tatara.pleme.io/v2/…` migration
    //! landing at only the writer, an incoming rename that swapped
    //! two of the three keys) surfaces here rather than as silent
    //! operator-facing skew between the writer and the tatara-process
    //! reader tests that still spell the literal.
    //!
    //! Theory anchor: THEORY.md §II.1 invariant 5 (composition
    //! preserves proofs — the wire-form value each downstream reader
    //! depends on now has a compile-time pin at the substrate).
    use crate::annotations;

    #[test]
    fn requestor_matches_pre_lift_wire_string() {
        assert_eq!(annotations::REQUESTOR, "tatara.pleme.io/requestor");
    }

    #[test]
    fn allocation_matches_pre_lift_wire_string() {
        assert_eq!(annotations::ALLOCATION, "tatara.pleme.io/allocation");
    }

    #[test]
    fn requestor_kind_matches_pre_lift_wire_string() {
        assert_eq!(
            annotations::REQUESTOR_KIND,
            "tatara.pleme.io/requestor-kind",
        );
    }

    #[test]
    fn allocator_bind_axis_keys_are_distinct() {
        // A copy-paste that duplicated one key's value across two
        // slots (an oversight during the initial lift or a future
        // rename that merged two keys by mistake) collapses BOTH
        // downstream readers onto the same wire string and silently
        // loses one of the three axes. Pin the closed set is
        // partition-distinct.
        assert_ne!(annotations::REQUESTOR, annotations::ALLOCATION);
        assert_ne!(annotations::REQUESTOR, annotations::REQUESTOR_KIND);
        assert_ne!(annotations::ALLOCATION, annotations::REQUESTOR_KIND);
    }

    #[test]
    fn allocator_bind_axis_keys_share_tatara_namespace() {
        // Every substrate-owned annotation key inhabits the
        // `tatara.pleme.io/` reverse-DNS namespace; a future rename
        // that dropped the prefix (a bare `"requestor"` key, a
        // typo'd `pleme.io/requestor`) would collide with an
        // arbitrary third-party operator's annotations on the same
        // Process and silently corrupt cross-consumer reads.
        for key in [
            annotations::REQUESTOR,
            annotations::ALLOCATION,
            annotations::REQUESTOR_KIND,
        ] {
            assert!(
                key.starts_with("tatara.pleme.io/"),
                "annotation key {key:?} must inhabit tatara.pleme.io/ namespace",
            );
        }
    }

    // ── Pool-membership axis pins ────────────────────────────────────
    //
    // Pins the two newly-lifted pool-membership annotation keys
    // ([`crate::annotations::POOL`], [`crate::annotations::POOL_SLOT`])
    // at their canonical wire-form byte-values. Pre-lift each key was
    // a file-scope `const ANNOTATION_POOL / ANNOTATION_SLOT` in
    // `tatara-pool-reconciler::controller_pool` PLUS bare
    // `"tatara.pleme.io/pool"` string literals at four reader-side
    // test sites in this crate (in the sibling `annotated_tests` above
    // and in `crd.rs`'s
    // `annotation_composes_borrow_equality_tail_matching_pre_lift_pool`
    // + `annotation_returns_none_when_metadata_annotations_is_none`).
    // Post-lift the writer routes through the substrate constant; a
    // future edit that drifted the constant (a typo'd suffix, an
    // accidental `tatara.pleme.io/v2/pool` migration landing at only
    // the writer, an incoming rename that swapped POOL and POOL_SLOT)
    // surfaces here rather than as silent operator-facing skew
    // between the pool controller's writer and its own membership-
    // gate reader.

    #[test]
    fn pool_matches_pre_lift_wire_string() {
        assert_eq!(annotations::POOL, "tatara.pleme.io/pool");
    }

    #[test]
    fn pool_slot_matches_pre_lift_wire_string() {
        assert_eq!(annotations::POOL_SLOT, "tatara.pleme.io/pool-slot");
    }

    #[test]
    fn pool_membership_axis_keys_are_distinct() {
        // A copy-paste that duplicated one key's value across both
        // slots (an oversight during the initial lift, or a future
        // rename that merged the two keys by mistake) collapses
        // BOTH downstream readers onto the same wire string and
        // silently loses the slot-index axis — the pool controller
        // would still find its own members via POOL but every per-
        // slot dispatch consumer would read the pool name where the
        // slot index used to sit. Pin the closed set is partition-
        // distinct.
        assert_ne!(annotations::POOL, annotations::POOL_SLOT);
    }

    #[test]
    fn pool_membership_axis_keys_share_tatara_namespace() {
        // Same reverse-DNS namespace invariant the allocator-bind
        // axis-family enforces above — a rename that dropped the
        // prefix on either POOL or POOL_SLOT would collide with an
        // arbitrary third-party operator's annotations on the same
        // Process and silently corrupt every pool-membership read.
        for key in [annotations::POOL, annotations::POOL_SLOT] {
            assert!(
                key.starts_with("tatara.pleme.io/"),
                "annotation key {key:?} must inhabit tatara.pleme.io/ namespace",
            );
        }
    }

    #[test]
    fn pool_membership_axis_keys_partition_distinct_from_allocator_bind_axis() {
        // Cross-family distinctness pin — the pool-membership axis
        // (POOL, POOL_SLOT) and the allocator-bind axis (REQUESTOR,
        // ALLOCATION, REQUESTOR_KIND) travel on the SAME member
        // Process at the SAME time (the pool controller writes POOL
        // + POOL_SLOT at creation; the allocator later merges
        // REQUESTOR / ALLOCATION / REQUESTOR_KIND onto the same
        // Process at Bind). A copy-paste that collapsed any axis
        // pair (e.g. POOL and REQUESTOR onto the same wire string)
        // would let one write silently overwrite the other. Pin
        // that every substrate-owned annotation key is unique
        // across the two axis-families.
        let pool_axis = [annotations::POOL, annotations::POOL_SLOT];
        let bind_axis = [
            annotations::REQUESTOR,
            annotations::ALLOCATION,
            annotations::REQUESTOR_KIND,
        ];
        for p in pool_axis {
            for b in bind_axis {
                assert_ne!(
                    p, b,
                    "pool-membership key {p:?} collides with allocator-bind key {b:?}",
                );
            }
        }
    }

    // ── Release-return axis pins ─────────────────────────────────────
    //
    // Pins the newly-lifted release-return annotation key
    // ([`crate::annotations::RETURN_TRIGGER`]) at its canonical
    // wire-form byte-value. Pre-lift the key was a bare
    // `"tatara.pleme.io/return-trigger"` string literal at the
    // pool-reconciler's Release-arm stamp (`tatara-pool-reconciler::
    // controller_allocation::reconcile_inner`) — the ONE remaining
    // hand-authored annotation-key literal in the workspace's active
    // controllers after every sibling single-annotation key on the
    // same axis-family (`SIGNAL`, `RELEASED_FROM`, `POOL`, `POOL_SLOT`,
    // `REQUESTOR`, `ALLOCATION`, `REQUESTOR_KIND`) already routed
    // through a `pub const` in the substrate. Post-lift the writer
    // routes through the substrate constant; these pins bind the
    // constant's byte-shape + tatara-namespace membership + partition-
    // distinctness against every peer key so a future edit that
    // drifted the constant (a typo'd suffix, an incoming rename that
    // collapsed RETURN_TRIGGER onto a peer key, a `tatara.pleme.io/v2/
    // return-trigger` migration landing at only the writer) surfaces
    // HERE rather than as silent operator-facing skew between the
    // allocator's Release-arm stamp and every downstream reader (an
    // audit-trail scraper, a future pool-reconciler return-path arm,
    // an admission-webhook gate on the return trigger).

    #[test]
    fn return_trigger_matches_pre_lift_wire_string() {
        assert_eq!(
            annotations::RETURN_TRIGGER,
            "tatara.pleme.io/return-trigger",
        );
    }

    #[test]
    fn return_trigger_inhabits_tatara_namespace() {
        // Same reverse-DNS namespace invariant every sibling key on
        // the axis-family enforces above — a rename that dropped the
        // prefix on RETURN_TRIGGER would collide with an arbitrary
        // third-party operator's annotations on the same Process and
        // silently corrupt the allocator's Release-arm write.
        assert!(
            annotations::RETURN_TRIGGER.starts_with("tatara.pleme.io/"),
            "annotation key {:?} must inhabit tatara.pleme.io/ namespace",
            annotations::RETURN_TRIGGER,
        );
    }

    #[test]
    fn return_trigger_is_distinct_from_every_peer_annotation_key() {
        // Cross-family distinctness pin — RETURN_TRIGGER travels on
        // the SAME member Process (at Release) that already carries
        // the pool-membership axis (POOL, POOL_SLOT, stamped at
        // creation), the allocator-bind axis (REQUESTOR, ALLOCATION,
        // REQUESTOR_KIND, stamped at Bind), and the
        // "single-annotation trigger for the next reconcile pass"
        // axis-family (SIGNAL, RELEASED_FROM). A copy-paste that
        // collapsed RETURN_TRIGGER onto any peer would let one write
        // silently overwrite the other. Pin the key against every
        // sibling substrate-owned annotation key on the workspace.
        for peer in [
            annotations::SIGNAL,
            annotations::RELEASED_FROM,
            annotations::POOL,
            annotations::POOL_SLOT,
            annotations::REQUESTOR,
            annotations::ALLOCATION,
            annotations::REQUESTOR_KIND,
            annotations::MANAGED_BY,
            annotations::PROCESS,
            annotations::PID,
            annotations::CONTENT_HASH,
            annotations::ATTESTATION_ROOT,
            annotations::GENERATION,
            annotations::ROLE,
            annotations::EXPORT_INDEX,
            annotations::APP,
            annotations::ROUTING_FORM,
        ] {
            assert_ne!(
                annotations::RETURN_TRIGGER,
                peer,
                "RETURN_TRIGGER key {:?} collides with peer annotation key {peer:?}",
                annotations::RETURN_TRIGGER,
            );
        }
    }

    #[test]
    fn return_trigger_composes_at_annotation_body_key_slot() {
        // End-to-end composability pin: the substrate composer
        // [`crate::patch::annotation_body`] takes a `key: &str`; the
        // pre-lift Release-arm callsite fed a bare `"tatara.pleme.io/
        // return-trigger"` literal and the post-lift callsite feeds
        // `annotations::RETURN_TRIGGER`. Both shapes produce a JSON
        // merge-body whose `metadata.annotations.<KEY>` slot equals
        // `"true"`; pin that the substrate constant threads through
        // the composer verbatim so a regression that reshaped the
        // `annotation_body` key-slot (a case-fold pass, an unexpected
        // trim, a prefix-normalization step) surfaces HERE rather
        // than at every downstream consumer.
        let body = crate::patch::annotation_body(annotations::RETURN_TRIGGER, "true");
        assert_eq!(
            body["metadata"]["annotations"][annotations::RETURN_TRIGGER],
            "true",
            "annotation_body must stamp RETURN_TRIGGER verbatim at the metadata.annotations slot",
        );
        assert_eq!(
            body["metadata"]["annotations"]["tatara.pleme.io/return-trigger"],
            "true",
            "byte-shape parity — the pre-lift hand-authored key spelling routes through the constant to the same nested slot",
        );
    }

    // ── Encapsulation-diagnostic axis pins ──────────────────────────
    //
    // Pins the two newly-lifted encapsulation-diagnostic annotation
    // keys ([`crate::annotations::ENCAPSULATION_MODE`],
    // [`crate::annotations::ADOPTED_RELEASE`]) at their canonical
    // wire-form byte-values. Pre-lift the two keys were bare
    // `"tatara.pleme.io/encapsulation-mode"` /
    // `"tatara.pleme.io/adopted-release"` string literals inline at
    // `tatara-reconciler::render::mark_resources_as_adopting`'s two
    // `anns_obj.insert_str(...)` writer sites — the ONE remaining
    // hand-authored annotation-key pair in the workspace's active
    // reconciler after every sibling annotation key already routed
    // through a `pub const` in the substrate. Post-lift the writer
    // routes through the substrate constants; these pins bind each
    // constant's byte-shape + tatara-namespace membership + partition-
    // distinctness against every peer key so a future edit that
    // drifted the constants (a typo'd suffix, an incoming rename that
    // collapsed the pair onto a peer key, a
    // `tatara.pleme.io/v2/encapsulation-mode` migration landing at
    // only the writer, a collapse into a compound
    // `tatara.pleme.io/encapsulation` payload key) surfaces HERE
    // rather than as silent operator-facing skew between the render
    // emitter and every downstream reader (an operator dashboard
    // filtering adopted resources, an admission-webhook gate on the
    // encapsulation mode, an audit-trail scraper following the
    // `<ns>/<release>` adoption lineage).

    #[test]
    fn encapsulation_mode_matches_pre_lift_wire_string() {
        assert_eq!(
            annotations::ENCAPSULATION_MODE,
            "tatara.pleme.io/encapsulation-mode",
        );
    }

    #[test]
    fn adopted_release_matches_pre_lift_wire_string() {
        assert_eq!(
            annotations::ADOPTED_RELEASE,
            "tatara.pleme.io/adopted-release",
        );
    }

    #[test]
    fn encapsulation_diagnostic_axis_keys_are_distinct() {
        // A copy-paste that duplicated one key's value across the pair
        // (an oversight during the initial lift, or a future rename
        // that merged the two keys by mistake) collapses BOTH
        // downstream readers onto the same wire string and silently
        // loses one of the two axes — an operator dashboard would
        // still see the mode via ENCAPSULATION_MODE but every
        // `<ns>/<release>` back-reference consumer would read the
        // mode literal where the qualified reference used to sit.
        // Pin the closed set is partition-distinct.
        assert_ne!(
            annotations::ENCAPSULATION_MODE,
            annotations::ADOPTED_RELEASE
        );
    }

    #[test]
    fn encapsulation_diagnostic_axis_keys_share_tatara_namespace() {
        // Same reverse-DNS namespace invariant every sibling
        // annotation key on the workspace enforces above — a rename
        // that dropped the prefix on either constant would collide
        // with an arbitrary third-party operator's annotations on the
        // same emitted resource (a HelmRelease, a Kustomization, an
        // adopted secondary) and silently corrupt every
        // encapsulation-diagnostic read.
        for key in [
            annotations::ENCAPSULATION_MODE,
            annotations::ADOPTED_RELEASE,
        ] {
            assert!(
                key.starts_with("tatara.pleme.io/"),
                "annotation key {key:?} must inhabit tatara.pleme.io/ namespace",
            );
        }
    }

    #[test]
    fn encapsulation_diagnostic_axis_keys_partition_distinct_from_every_peer() {
        // Cross-family distinctness pin — the encapsulation-diagnostic
        // axis (ENCAPSULATION_MODE, ADOPTED_RELEASE) is stamped on
        // every RESOURCE the reconciler emits for an Adopt-mode
        // Process, whereas every peer annotation key on the workspace
        // is stamped on the PROCESS itself (SIGNAL, RELEASED_FROM,
        // POOL, POOL_SLOT, REQUESTOR, ALLOCATION, REQUESTOR_KIND,
        // RETURN_TRIGGER) OR on emitted routing edges (APP,
        // ROUTING_FORM) OR on export-worker Jobs (ROLE, EXPORT_INDEX).
        // A copy-paste that collapsed the pair onto any peer would
        // let one write silently overwrite the other. Pin that both
        // constants are unique across every substrate-owned peer.
        let diag_axis = [
            annotations::ENCAPSULATION_MODE,
            annotations::ADOPTED_RELEASE,
        ];
        let peers = [
            annotations::MANAGED_BY,
            annotations::PROCESS,
            annotations::PID,
            annotations::CONTENT_HASH,
            annotations::ATTESTATION_ROOT,
            annotations::GENERATION,
            annotations::SIGNAL,
            annotations::RELEASED_FROM,
            annotations::ROLE,
            annotations::EXPORT_INDEX,
            annotations::APP,
            annotations::ROUTING_FORM,
            annotations::REQUESTOR,
            annotations::ALLOCATION,
            annotations::REQUESTOR_KIND,
            annotations::POOL,
            annotations::POOL_SLOT,
            annotations::RETURN_TRIGGER,
        ];
        for d in diag_axis {
            for p in peers {
                assert_ne!(
                    d, p,
                    "encapsulation-diagnostic key {d:?} collides with peer annotation key {p:?}",
                );
            }
        }
    }

    // ── Receipt-CM-label axis pins ──────────────────────────────────
    //
    // Pins the newly-lifted receipt-CM label KEY
    // ([`crate::annotations::RECEIPT`]) at its canonical wire-form
    // byte-value. Pre-lift the key was a bare
    // `"tatara.pleme.io/receipt"` string literal inline at
    // `tatara-closed-loop-probe::write_receipt_cm`'s
    // `BTreeMap::from([...])` label seed AND at the byte-shape parity
    // witness in `tatara_process::configmap::with_data`'s
    // `with_data_preserves_passed_labels_map_verbatim_when_some` test —
    // TWO restatements past the ★★ PRIME-DIRECTIVE ≥ 2 duplication
    // threshold. Post-lift both callsites route through the substrate
    // constant; these pins bind the constant's byte-shape +
    // tatara-namespace membership + partition-distinctness against
    // every peer key so a future edit that drifted the constant (a
    // typo'd suffix, an incoming rename that collapsed RECEIPT onto a
    // peer key, a `tatara.pleme.io/v2/receipt` migration landing at
    // only the writer, a collapse into a compound
    // `tatara.pleme.io/receipt-envelope` payload key) surfaces HERE
    // rather than as silent operator-facing kubectl-selector skew
    // between the probe's receipt-CM writer and every downstream
    // consumer (a receipt-collection walker, an admission-webhook gate
    // on receipt version, an audit-trail scraper enumerating every
    // `tatara-receipt/v1` payload on a cluster).

    #[test]
    fn receipt_matches_pre_lift_wire_string() {
        assert_eq!(annotations::RECEIPT, "tatara.pleme.io/receipt");
    }

    #[test]
    fn receipt_inhabits_tatara_namespace() {
        // Same reverse-DNS namespace invariant every sibling key on
        // the workspace enforces above — a rename that dropped the
        // prefix on RECEIPT would collide with an arbitrary
        // third-party operator's labels on the same ConfigMap and
        // silently corrupt every downstream kubectl-selector that
        // enumerates receipt CMs of a given version on a cluster.
        assert!(
            annotations::RECEIPT.starts_with(annotations::GROUP_PREFIX),
            "annotation key {:?} must inhabit {:?} namespace",
            annotations::RECEIPT,
            annotations::GROUP_PREFIX,
        );
    }

    #[test]
    fn receipt_is_distinct_from_every_peer_annotation_key() {
        // Cross-family distinctness pin — RECEIPT rides on the
        // receipt ConfigMap the probe binary writes (a peer resource
        // of the Process itself), whereas every peer annotation key on
        // the workspace is stamped on the PROCESS (SIGNAL,
        // RELEASED_FROM, POOL, POOL_SLOT, REQUESTOR, ALLOCATION,
        // REQUESTOR_KIND, RETURN_TRIGGER) OR on emitted routing edges
        // (APP, ROUTING_FORM) OR on export-worker Jobs (ROLE,
        // EXPORT_INDEX) OR on encapsulation-diagnostic side-resources
        // (ENCAPSULATION_MODE, ADOPTED_RELEASE). A copy-paste that
        // collapsed RECEIPT onto any peer would let one write silently
        // overwrite the other. Pin the key against every sibling
        // substrate-owned annotation key on the workspace.
        for peer in [
            annotations::MANAGED_BY,
            annotations::PROCESS,
            annotations::PID,
            annotations::CONTENT_HASH,
            annotations::ATTESTATION_ROOT,
            annotations::GENERATION,
            annotations::SIGNAL,
            annotations::RELEASED_FROM,
            annotations::ROLE,
            annotations::EXPORT_INDEX,
            annotations::APP,
            annotations::ROUTING_FORM,
            annotations::REQUESTOR,
            annotations::ALLOCATION,
            annotations::REQUESTOR_KIND,
            annotations::POOL,
            annotations::POOL_SLOT,
            annotations::RETURN_TRIGGER,
            annotations::ENCAPSULATION_MODE,
            annotations::ADOPTED_RELEASE,
        ] {
            assert_ne!(
                annotations::RECEIPT,
                peer,
                "RECEIPT key {:?} collides with peer annotation key {peer:?}",
                annotations::RECEIPT,
            );
        }
    }

    #[test]
    fn receipt_value_slot_routes_through_receipt_version_const() {
        // Value-side coherence pin — the SUBSTRATE convention is that
        // every ConfigMap labeled `RECEIPT` carries a payload whose
        // envelope `version` slot equals [`crate::receipt::RECEIPT_VERSION`],
        // so a kubectl `-l tatara.pleme.io/receipt=tatara-receipt/v1`
        // selector matches exactly the CMs whose payloads pass the
        // `RECEIPT_VERSION` gate. Pin that the label VALUE the probe
        // stamps IS `RECEIPT_VERSION` (routed through the const, not a
        // parallel `"tatara-receipt/v1"` literal): a future bump to
        // `tatara-receipt/v2` at the version const propagates
        // MECHANICALLY to the label value without touching any writer.
        assert_eq!(
            crate::receipt::RECEIPT_VERSION,
            "tatara-receipt/v1",
            "RECEIPT_VERSION wire-form pin — a bump surfaces here",
        );
    }

    #[test]
    fn encapsulation_mode_value_slot_routes_through_encapsulation_mode_closed_set() {
        // Value-side pin — the render emitter's `ENCAPSULATION_MODE`
        // slot writes the wire-form spelling of an
        // [`crate::encapsulates::EncapsulationMode`] variant. Pre-lift
        // the site hand-authored the fixed `"Adopt"` literal;
        // post-lift the writer feeds
        // `EncapsulationMode::Adopt.as_str()` — the SAME closed-set
        // owner every peer consumer (the reconciler's status-condition
        // reason string, the operator dashboard's per-mode filter, the
        // admission webhook's Adopt/Manage/Observe dispatch) routes
        // through. A regression that drifted the closed-set wire form
        // (a lowercase `"adopt"`, a `"Adoption"` typo) surfaces at
        // `EncapsulationMode::as_str`'s own pin AND here at the value
        // slot the render emitter stamps.
        assert_eq!(
            crate::encapsulates::EncapsulationMode::Adopt.as_str(),
            "Adopt",
            "the render emitter's ENCAPSULATION_MODE value slot must byte-match the closed-set wire form",
        );
    }
}

// ── Lisp → ProcessSpec compile bridge ──────────────────────────────────
//
// `(defpoint NAME :k v …)` compiles to a `NamedDefinition<ProcessSpec>`.
// The derive on ProcessSpec handles every field via the serde Deserialize
// fallthrough — no hand-rolled keyword parsing needed.

/// A named ProcessSpec as produced by `compile_source`.
pub type Definition = tatara_lisp::NamedDefinition<crate::crd::ProcessSpec>;

/// Compile a Lisp source string into a list of named ProcessSpecs.
/// Each top-level `(defpoint NAME …)` form becomes one `Definition`.
pub fn compile_source(src: &str) -> tatara_lisp::Result<Vec<Definition>> {
    tatara_lisp::compile_named::<crate::crd::ProcessSpec>(src)
}

/// Register every domain owned by this crate with the global Lisp
/// dispatcher. Call once per binary, typically near the top of `main`.
/// After this call, `tatara_lisp::domain::lookup("defpoint")` and
/// `lookup("defephemeral")` both resolve to the right typed compiler.
///
/// Idempotent — registering the same type twice is a no-op.
pub fn register_all() {
    tatara_lisp::domain::register::<crate::crd::ProcessSpec>();
    tatara_lisp::domain::register::<crate::ephemeral::EphemeralSpec>();
}

#[cfg(test)]
mod compile_tests {
    use super::compile_source;
    use crate::classification::{ConvergencePointType, SubstrateType};
    use crate::compliance::VerificationPhase;
    use crate::spec::MustReachPhase;

    /// The full derive-powered pipeline — no hand-rolled parsing anywhere.
    /// Every field travels: Lisp → Sexp → serde_json → typed ProcessSpec.
    #[test]
    fn full_processspec_round_trip_via_derive() {
        let src = r#"
            (defpoint observability-stack
              :identity       (:parent "seph.1")
              :classification (:point-type Gate
                               :substrate Observability
                               :horizon (:kind Bounded)
                               :calm Monotone
                               :data-classification Internal)
              :intent         (:nix (:flake-ref "github:pleme-io/k8s"
                                     :attribute "observability"
                                     :attic-cache "main"))
              :boundary       (:postconditions
                                 ((:kind KustomizationHealthy
                                   :params (:name "observability-stack"
                                            :namespace "flux-system"))
                                  (:kind PromQL
                                   :params (:query "up == 1")))
                               :timeout "15m")
              :compliance     (:baseline "fedramp-moderate"
                               :bindings ((:framework "nist-800-53"
                                           :control-id "SC-7"
                                           :phase AtBoundary)))
              :depends-on     ((:name "secret-injection" :must-reach Attested))
              :signals        (:sigterm-grace-seconds 480
                               :sighup-strategy Reconverge))
        "#;
        let defs = compile_source(src).expect("compile");
        assert_eq!(defs.len(), 1);
        let d = &defs[0];
        assert_eq!(d.name, "observability-stack");

        // identity
        assert_eq!(d.spec.identity.parent.as_deref(), Some("seph.1"));

        // classification (enums deserialized via symbol → string)
        assert_eq!(d.spec.classification.point_type, ConvergencePointType::Gate);
        assert_eq!(
            d.spec.classification.substrate,
            SubstrateType::Observability
        );

        // intent (tagged-union with one of four options)
        let nix = d.spec.intent.nix.as_ref().expect("nix intent");
        assert_eq!(nix.flake_ref, "github:pleme-io/k8s");
        assert_eq!(nix.attribute, "observability");
        assert_eq!(nix.attic_cache.as_deref(), Some("main"));

        // boundary (Vec<nested struct with params object>)
        assert_eq!(d.spec.boundary.postconditions.len(), 2);
        assert_eq!(d.spec.boundary.timeout.as_deref(), Some("15m"));

        // compliance (Vec<binding with enum phase>)
        assert_eq!(
            d.spec.compliance.baseline.as_deref(),
            Some("fedramp-moderate")
        );
        assert_eq!(d.spec.compliance.bindings.len(), 1);
        assert_eq!(
            d.spec.compliance.bindings[0].phase,
            VerificationPhase::AtBoundary
        );

        // depends_on (Vec<struct with enum>)
        assert_eq!(d.spec.depends_on.len(), 1);
        assert_eq!(d.spec.depends_on[0].must_reach, MustReachPhase::Attested);

        // signals (numeric + enum defaults)
        assert_eq!(d.spec.signals.sigterm_grace_seconds, 480);
    }

    #[test]
    fn missing_required_field_errors() {
        // `:classification` has no #[serde(default)] — omit it and compile must fail.
        let src = r#"(defpoint x :intent (:nix (:flake-ref "f" :attribute "a")))"#;
        assert!(compile_source(src).is_err());
    }

    #[test]
    fn serde_default_fields_are_optional() {
        // Omit every #[serde(default)] field — compile must succeed because
        // the derive honors serde defaults.
        let src = r#"
            (defpoint x
              :classification (:point-type Transform :substrate Compute)
              :intent (:flux (:git-repository "g" :path ".")))
        "#;
        let defs = compile_source(src).expect("compile");
        assert_eq!(defs.len(), 1);
        let d = &defs[0];
        assert!(d.spec.depends_on.is_empty());
        assert!(d.spec.boundary.postconditions.is_empty());
        assert!(d.spec.compliance.bindings.is_empty());
        assert!(!d.spec.suspended);
        // Lifetime defaults to Permanent (no variant set, resolver still works).
        assert!(d.spec.lifetime.is_default());
        assert!(!d.spec.lifetime.is_ephemeral());
    }

    /// Registering all process-owned domains is idempotent and resolves
    /// both `defpoint` (ProcessSpec) and `defephemeral` (EphemeralSpec).
    #[test]
    fn register_all_resolves_defpoint_and_defephemeral() {
        use tatara_lisp::domain::lookup;
        super::register_all();
        super::register_all(); // idempotent
        assert!(lookup("defpoint").is_some(), "defpoint must resolve");
        assert!(
            lookup("defephemeral").is_some(),
            "defephemeral must resolve"
        );
    }

    /// End-to-end: a `(defpoint …)` form may carry the full ephemeral
    /// shape directly — `:intent (:aplicacao …)` + `:lifetime (:ephemeral …)`.
    /// This is what the `(defephemeral …)` sugar lowers to via `From`.
    #[test]
    fn defpoint_with_aplicacao_intent_and_ephemeral_lifetime() {
        use crate::intent::IntentVariant;
        use crate::lifetime::{LifetimeVariant, TeardownPolicy};
        let src = r#"
            (defpoint closed-loop-attest
              :classification (:point-type Gate :substrate Compute)
              :intent (:aplicacao
                        (:chart-ref "oci://ghcr.io/pleme-io/charts/lareira-demo-app"
                         :version "0.5.5"
                         :profile "all-in-one"
                         :values-overlay (:cluster (:name "ephemeral-test-01"))
                         :target-namespace "demo-test"))
              :boundary (:postconditions
                          ((:kind HelmReleaseReleased
                            :params (:name "demo-app-consolidated"
                                     :namespace "demo-test"))
                           (:kind ClosedLoopAuth
                            :params (:issuer (:service "demo-app-issuer" :port 8080)
                                     :consumer (:service "demo-app-gateway" :port 8000)
                                     :probeImage "ghcr.io/pleme-io/closed-loop-probe:0.1.0"))))
              :lifetime (:ephemeral (:ttl "1h"
                                     :teardown-policy OnAttested
                                     :max-concurrent 1)))
        "#;
        let defs = compile_source(src).expect("compile");
        assert_eq!(defs.len(), 1);
        let d = &defs[0];

        // Aplicacao intent landed.
        match d.spec.intent.variant().unwrap() {
            IntentVariant::Aplicacao(a) => {
                assert_eq!(a.profile, "all-in-one");
                assert_eq!(a.version, "0.5.5");
                assert_eq!(a.target_namespace.as_deref(), Some("demo-test"));
                assert_eq!(a.values_overlay["cluster"]["name"], "ephemeral-test-01");
            }
            other => panic!("expected Aplicacao, got {other:?}"),
        }

        // Ephemeral lifetime landed with the right teardown policy.
        match d.spec.lifetime.variant().unwrap() {
            LifetimeVariant::Ephemeral(e) => {
                assert_eq!(e.ttl, "1h");
                assert_eq!(e.teardown_policy, TeardownPolicy::OnAttested);
                assert_eq!(e.max_concurrent, 1);
            }
            other => panic!("expected ephemeral, got {other:?}"),
        }

        // Two typed postconditions including ClosedLoopAuth.
        assert_eq!(d.spec.boundary.postconditions.len(), 2);
        assert_eq!(
            d.spec.boundary.postconditions[1].kind,
            crate::boundary::ConditionKind::ClosedLoopAuth
        );
    }
}

#[cfg(test)]
mod placed_in_namespace_tests {
    //! Pin the [`PlacedInNamespace`] trait's `in_namespace` builder at
    //! fail-before-pass-after granularity across every corner of the
    //! (CRD ∈ {`Process`, `EphemeralPool`, `EphemeralAllocation`,
    //! `ConfigMap`}) × (input form ∈ {`&str`, `String`, `&String`})
    //! matrix — the three tatara-owned CRDs the trait's blanket impl
    //! covers today PLUS one K8s built-in (`ConfigMap`) whose sibling
    //! [`Annotated`] blanket already covers the same category on the
    //! annotation-read axis. Also pin (a) the overwrite corner where
    //! `.in_namespace(a).in_namespace(b)` binds `b`, so a future
    //! consumer that chains two stamps in one composition never sees
    //! stale semantics, and (b) the byte-identical parity corner with
    //! the pre-lift 3-line body of the per-CRD `EphemeralPool::new_in`
    //! and `EphemeralAllocation::new_in` composers post-forwarding —
    //! `<CRD>::new_in(name, ns, spec)` must yield a value structurally
    //! identical to `<CRD>::new(name, spec).in_namespace(ns)` on every
    //! metadata slot the derive stamps.
    use super::PlacedInNamespace;
    use crate::allocation::{AllocationSpec, EphemeralAllocation, Requestor};
    use crate::crd::{Process, ProcessSpec};
    use crate::pool::{EphemeralPool, PoolSpec};
    use k8s_openapi::api::core::v1::ConfigMap;
    use kube::api::ObjectMeta;

    fn empty_process_spec() -> ProcessSpec {
        ProcessSpec::gate_compute_defaults()
    }

    fn empty_pool_spec() -> PoolSpec {
        PoolSpec {
            desired_size: 1,
            ..PoolSpec::with_template(crate::ephemeral::EphemeralSpec {
                aplicacao: crate::intent::AplicacaoIntent::chart_only("oci://x", "1"),
                ttl: "1h".into(),
                teardown: crate::lifetime::TeardownPolicy::Always,
                max_concurrent: 0,
                postconditions: vec![],
                preconditions: vec![],
                verify_timeout: None,
                classification: None,
                parent: None,
                exports: vec![],
                routing: None,
            })
        }
    }

    fn empty_alloc_spec() -> AllocationSpec {
        AllocationSpec::requestor_only(Requestor::kind_only("github-pr"))
    }

    #[test]
    fn in_namespace_on_process_stamps_borrowed_str() {
        let p = Process::new("api", empty_process_spec()).in_namespace("prod");
        assert_eq!(p.metadata.namespace.as_deref(), Some("prod"));
    }

    #[test]
    fn in_namespace_on_process_stamps_owned_string() {
        let ns: String = "prod".into();
        let p = Process::new("api", empty_process_spec()).in_namespace(ns);
        assert_eq!(p.metadata.namespace.as_deref(), Some("prod"));
    }

    #[test]
    fn in_namespace_on_process_stamps_string_ref() {
        let ns: String = "prod".into();
        let p = Process::new("api", empty_process_spec()).in_namespace(&ns);
        assert_eq!(p.metadata.namespace.as_deref(), Some("prod"));
    }

    #[test]
    fn in_namespace_on_ephemeral_pool_stamps_borrowed_str() {
        let p = EphemeralPool::new("pool-1", empty_pool_spec()).in_namespace("pools");
        assert_eq!(p.metadata.namespace.as_deref(), Some("pools"));
    }

    #[test]
    fn in_namespace_on_ephemeral_allocation_stamps_borrowed_str() {
        let a = EphemeralAllocation::new("alloc-1", empty_alloc_spec()).in_namespace("pools");
        assert_eq!(a.metadata.namespace.as_deref(), Some("pools"));
    }

    #[test]
    fn in_namespace_on_configmap_via_blanket_stamps_ns() {
        let cm = ConfigMap {
            metadata: ObjectMeta {
                name: Some("cm-1".into()),
                ..Default::default()
            },
            ..Default::default()
        };
        let cm = cm.in_namespace("demo");
        assert_eq!(cm.metadata.namespace.as_deref(), Some("demo"));
    }

    #[test]
    fn in_namespace_second_call_overwrites_first() {
        let p = Process::new("api", empty_process_spec())
            .in_namespace("staging")
            .in_namespace("prod");
        assert_eq!(p.metadata.namespace.as_deref(), Some("prod"));
    }

    #[test]
    fn in_namespace_preserves_name_and_spec_untouched() {
        // Byte-identical parity with the pre-lift two-line pattern:
        // only `metadata.namespace` moves; `metadata.name` + `spec`
        // stay at the values the derive-supplied `::new` stamped.
        // Serialize both `spec` sides through serde_json so we can
        // pin equality without requiring `PartialEq` on `ProcessSpec`.
        let p = Process::new("api", empty_process_spec()).in_namespace("prod");
        assert_eq!(p.metadata.name.as_deref(), Some("api"));
        assert_eq!(p.metadata.namespace.as_deref(), Some("prod"));
        let expected = serde_json::to_value(empty_process_spec()).unwrap();
        let actual = serde_json::to_value(&p.spec).unwrap();
        assert_eq!(actual, expected);
    }

    #[test]
    fn pool_new_in_forwarder_matches_trait_form() {
        // Cross-composer coherence witness — the per-CRD
        // `EphemeralPool::new_in` forwarder must produce a value
        // structurally identical to what `Process::new(...).in_namespace(...)`
        // does on the same axis. Serialize both sides through
        // serde_json so any drift between the forwarding form and a
        // direct trait-call materializes at this pin.
        let via_new_in = EphemeralPool::new_in("pool-x", "pools", empty_pool_spec());
        let via_trait = EphemeralPool::new("pool-x", empty_pool_spec()).in_namespace("pools");
        assert_eq!(
            serde_json::to_value(&via_new_in).unwrap(),
            serde_json::to_value(&via_trait).unwrap(),
        );
    }

    #[test]
    fn allocation_new_in_forwarder_matches_trait_form() {
        let via_new_in = EphemeralAllocation::new_in("alloc-x", "pools", empty_alloc_spec());
        let via_trait =
            EphemeralAllocation::new("alloc-x", empty_alloc_spec()).in_namespace("pools");
        assert_eq!(
            serde_json::to_value(&via_new_in).unwrap(),
            serde_json::to_value(&via_trait).unwrap(),
        );
    }
}

#[cfg(test)]
mod annotations_family_tests {
    //! Family-invariant pins for the substrate-owned annotation-key
    //! family that the [`crate::annotations`] module owns.
    //!
    //! Mirror of the sibling [`crate::finalizers::tests`] family-
    //! invariant block on the peer-family axis: the [`crate::finalizers`]
    //! module already carries the same closed-family + shared-prefix
    //! + pairwise-uniqueness discipline over its three finalizer keys;
    //! this block extends the same solve-once discipline to the 21-key
    //! annotation family.
    //!
    //! Each pin binds ONE invariant at fail-before-pass-after
    //! granularity so a future addition to the annotation family that
    //! violated the invariant (a new `pub const` that missed the
    //! [`crate::annotations::ALL`] slice, a prefix drift that dropped
    //! the shared [`crate::annotations::GROUP_PREFIX`] on ONE arm, a
    //! copy-paste that duplicated one arm's wire form at another)
    //! surfaces HERE rather than at some downstream sweep binary or
    //! silent K8s-API-server-side skew whichever consumer hit the
    //! broken invariant first.
    use crate::{annotations, finalizers};

    #[test]
    fn group_prefix_matches_tatara_reverse_dns() {
        // Byte-shape pin — the shared prefix is the same
        // reverse-DNS namespace every tatara-owned wire-form key
        // (annotation, finalizer, CRD group) rides through.
        assert_eq!(annotations::GROUP_PREFIX, "tatara.pleme.io/");
    }

    #[test]
    fn group_prefix_matches_finalizers_group_prefix() {
        // Cross-peer-family coherence pin — the annotation family +
        // the finalizer family MUST share the same reverse-DNS
        // namespace prefix at the substrate level. A future rename
        // that shifted ONE module's prefix (a group-segment migration
        // that landed at the annotation family but forgot the
        // finalizer family, or vice-versa) would silently unbind the
        // two peer families and let one CRD's finalizers escape the
        // reverse-DNS convention every annotation key on the same CRD
        // still carried. Pin the two consts equal at the ONE
        // substrate-level coherence witness.
        assert_eq!(annotations::GROUP_PREFIX, finalizers::GROUP_PREFIX);
    }

    #[test]
    fn all_matches_declared_length() {
        // A regression that added a 22nd `pub const` above the ALL
        // slice without appending it to ALL (or shrank the family
        // without pruning the slice) would surface here. The
        // 21-arm listing pins the declaration order every downstream
        // audit sweep iterates through.
        assert_eq!(annotations::ALL.len(), 21);
    }

    #[test]
    fn all_share_group_prefix() {
        // Every arm of the family MUST start with the shared
        // [`crate::annotations::GROUP_PREFIX`] reverse-DNS namespace
        // — matching the `#[kube(group = "tatara.pleme.io", …)]`
        // slot on every CRD struct. A future rename that drifted ONE
        // arm's prefix (a `tatara.io/` copy-paste that silently
        // escaped the K8s-side convention) would silently corrupt
        // every downstream annotation read on that key; the pin
        // surfaces the drift here rather than at operator-visible
        // annotation-read skew.
        for key in annotations::ALL {
            assert!(
                key.starts_with(annotations::GROUP_PREFIX),
                "annotation key {key:?} must start with {:?}",
                annotations::GROUP_PREFIX,
            );
        }
    }

    #[test]
    fn all_are_pairwise_unique() {
        // No two arms of the family may share the same wire form —
        // a copy-paste regression that duplicated one arm's wire
        // form at another arm (e.g. a `POOL_SLOT` const that got
        // copy-pasted to the `RETURN_TRIGGER` const's value) would
        // silently double-book the K8s metadata slot the two keys
        // share, letting one write overwrite the other at whichever
        // downstream stamp site fired second.
        let mut seen: Vec<&str> = Vec::new();
        for key in annotations::ALL {
            assert!(
                !seen.contains(key),
                "duplicate annotation key in ALL: {key:?}",
            );
            seen.push(key);
        }
        assert_eq!(seen.len(), annotations::ALL.len());
    }

    #[test]
    fn all_contains_every_declared_const() {
        // Coherence pin — a regression that added a new `pub const`
        // above the ALL slice but forgot to append it here surfaces
        // by name at this pin. Every currently-declared const in
        // [`crate::annotations`] MUST appear at least once in the
        // [`crate::annotations::ALL`] slice; if a future editor
        // adds a 22nd const above but omits it below, this pin +
        // [`all_matches_declared_length`] together catch both the
        // slice-length drift and the omitted-const case.
        for key in [
            annotations::MANAGED_BY,
            annotations::PROCESS,
            annotations::PID,
            annotations::CONTENT_HASH,
            annotations::ATTESTATION_ROOT,
            annotations::GENERATION,
            annotations::SIGNAL,
            annotations::RELEASED_FROM,
            annotations::ROLE,
            annotations::EXPORT_INDEX,
            annotations::APP,
            annotations::ROUTING_FORM,
            annotations::REQUESTOR,
            annotations::ALLOCATION,
            annotations::REQUESTOR_KIND,
            annotations::POOL,
            annotations::POOL_SLOT,
            annotations::RETURN_TRIGGER,
            annotations::ENCAPSULATION_MODE,
            annotations::ADOPTED_RELEASE,
            annotations::RECEIPT,
        ] {
            assert!(
                annotations::ALL.contains(&key),
                "annotation key {key:?} missing from ALL slice",
            );
        }
    }

    #[test]
    fn all_disjoint_from_finalizer_family() {
        // Cross-peer-family disjointness pin — the annotation +
        // finalizer families share the reverse-DNS namespace
        // [`crate::annotations::GROUP_PREFIX`] but MUST NOT share
        // any specific wire-form key. A copy-paste that landed a
        // finalizer key (`tatara.pleme.io/<owner>-finalizer`) in
        // the annotation family, or an annotation key on the
        // finalizer family, would let a metadata-list writer
        // silently double-book the K8s garbage-collection slot on
        // the SAME resource the annotation reader consumes.
        for ann in annotations::ALL {
            for fin in finalizers::ALL {
                assert_ne!(
                    ann, fin,
                    "annotation key {ann:?} collides with finalizer key {fin:?}",
                );
            }
        }
    }
}