obix 0.10.0

use serde::{Serialize, de::DeserializeOwned};

use es_entity::hooks::HookOperation;

use crate::{
    inbox::{InboxError, InboxEvent, InboxEventId, InboxEventStatus, InboxIdempotencyKey},
    out::{
        DecodeFailure, EphemeralEventType, EphemeralOutboxEvent, OutboxEventId,
        PersistentOutboxEvent, UndecodableEventError,
    },
    sequence::*,
};

#[derive(Clone)]
#[cfg_attr(feature = "default-tables", derive(obix_macros::MailboxTables))]
#[cfg_attr(feature = "default-tables", obix(crate = "crate"))]
pub struct DefaultMailboxTables;

/// Decode one stored persistent row into a delivery item, invoked from
/// `MailboxTables` derive output. A `NULL` payload is a plain placeholder
/// (`Ok` with `payload: None`); a payload that does not decode into the
/// caller's event type (e.g. a variant the consumer does not know yet, or a
/// row written by a different event enum sharing the table) must neither
/// panic — a single poison row previously wedged the whole pipeline in a hot
/// panic/retry loop — nor be silently dropped: it becomes the `Err` arm
/// ([`UndecodableEventError`]), still occupying its sequence position, and
/// its fate is decided by consumer policy (see
/// [`SingletonSubscriber::handle_undecodable`](crate::SingletonSubscriber::handle_undecodable)).
#[doc(hidden)]
pub fn decode_persistent_event<P>(
    id: OutboxEventId,
    sequence: u64,
    recorded_at: chrono::DateTime<chrono::Utc>,
    tracing_context: Option<es_entity::context::TracingContext>,
    payload: Option<serde_json::Value>,
) -> Result<PersistentOutboxEvent<P>, UndecodableEventError>
where
    P: Serialize + DeserializeOwned + Send,
{
    let sequence = EventSequence::from(sequence);
    let payload = match payload {
        None => None,
        Some(raw) => match P::deserialize(&raw) {
            Ok(payload) => Some(payload),
            Err(error) => {
                record_persistent_payload_undecodable(&error, u64::from(sequence));
                return Err(UndecodableEventError {
                    id,
                    sequence,
                    recorded_at,
                    failure: DecodeFailure {
                        error: error.to_string(),
                        raw,
                    },
                });
            }
        },
    };
    Ok(PersistentOutboxEvent {
        id,
        sequence,
        payload,
        tracing_context,
        recorded_at,
    })
}

#[tracing::instrument(
    name = "obix.tables.persistent_payload_undecodable",
    level = "error",
    skip_all,
    fields(otel.status_code = "ERROR", error = %error, sequence = sequence)
)]
fn record_persistent_payload_undecodable(error: &serde_json::Error, sequence: u64) {}

/// Invoked from `MailboxTables` derive output when a stored ephemeral event
/// payload cannot be deserialized; the event is dropped from the result.
/// Unlike the persistent stream (ordered, guaranteed delivery — see
/// [`decode_persistent_payload`]) the ephemeral stream is best-effort
/// last-value by design, so dropping is the honest degradation.
#[doc(hidden)]
#[tracing::instrument(
    name = "obix.tables.ephemeral_payload_undecodable",
    level = "error",
    skip_all,
    fields(otel.status_code = "ERROR", error = %error, event_type = %event_type)
)]
pub fn record_ephemeral_payload_undecodable(error: &serde_json::Error, event_type: &str) {}

/// Invoked from `MailboxTables` derive output when a stored ephemeral row's
/// `event_type` cannot be deserialized (schema drift or foreign rows); the
/// event is dropped from the result, like an undecodable payload.
#[doc(hidden)]
#[tracing::instrument(
    name = "obix.tables.ephemeral_event_type_undecodable",
    level = "error",
    skip_all,
    fields(otel.status_code = "ERROR", error = %error, event_type = %event_type)
)]
pub fn record_ephemeral_event_type_undecodable(error: &serde_json::Error, event_type: &str) {}

/// Invoked from `MailboxTables` derive output when the tracing-context
/// envelope cannot be deserialized; the event is kept with no context
/// attached (the context is delivery metadata, not payload data).
#[doc(hidden)]
#[tracing::instrument(
    name = "obix.tables.tracing_context_undecodable",
    level = "error",
    skip_all,
    fields(otel.status_code = "ERROR", error = %error)
)]
pub fn record_tracing_context_undecodable(error: &serde_json::Error) {}

/// One page/batch of decoded persistent rows: each item is one committed
/// sequence position — `Ok` for a decoded event or a placeholder, `Err`
/// for a stored payload that does not decode into `P`.
pub type PersistentEventRows<P> = Vec<Result<PersistentOutboxEvent<P>, UndecodableEventError>>;

pub trait MailboxTables: Send + Sync + 'static {
    fn highest_known_persistent_sequence<'a>(
        op: impl es_entity::IntoOneTimeExecutor<'a>,
    ) -> impl Future<Output = Result<EventSequence, sqlx::Error>> + Send;

    fn persist_events<'a, P>(
        op: &mut HookOperation<'a>,
        events: impl Iterator<Item = P>,
    ) -> impl Future<Output = Result<Vec<PersistentOutboxEvent<P>>, sqlx::Error>> + Send
    where
        P: Serialize + DeserializeOwned + Send;

    /// [`persist_events`](Self::persist_events) variant whose insert carries
    /// the legacy in-transaction `pg_notify` hint. Only for operations
    /// without commit-hook support (bare `sqlx::Transaction`), where
    /// `post_commit` never runs and the debounced notifier cannot observe
    /// the commit.
    fn persist_events_notifying<'a, P>(
        op: &mut HookOperation<'a>,
        events: impl Iterator<Item = P>,
    ) -> impl Future<Output = Result<Vec<PersistentOutboxEvent<P>>, sqlx::Error>> + Send
    where
        P: Serialize + DeserializeOwned + Send;

    /// Load the committed rows in `(from_sequence, from_sequence +
    /// buffer_size]` with a plain bounded SELECT. Each item is one committed
    /// sequence position: `Ok` for a decoded event or a stored placeholder
    /// (`payload: None`), `Err` for a stored payload that does not decode
    /// into `P` — delivered, not dropped, so it still occupies its sequence
    /// position. The page may contain sequence gaps (in-flight or lost
    /// writers): this method never writes placeholder rows — that is
    /// exclusively [`fill_gaps`](Self::fill_gaps) /
    /// [`fill_gaps_deduped`](Self::fill_gaps_deduped), invoked proof-gated
    /// and batch-capped from the per-process `out::gap_fill::GapFiller`.
    fn load_next_page<P>(
        pool: &sqlx::PgPool,
        from_sequence: EventSequence,
        buffer_size: usize,
    ) -> impl Future<Output = Result<PersistentEventRows<P>, sqlx::Error>> + Send
    where
        P: Serialize + DeserializeOwned + Send;

    /// Load the **contiguous** committed run in `(from_sequence,
    /// from_sequence + buffer_size]` — the same window as
    /// [`load_next_page`](Self::load_next_page), cut at the first gap. The cut
    /// is found index-only, so a window blocked at its first sequence returns
    /// an empty page without touching the heap.
    ///
    /// For callers delivering in sequence order, where everything past the
    /// first hole is unusable anyway. This deliberately cannot distinguish
    /// "the window has a hole" from "the window ended" — the caller resolves
    /// that against its own frontier, or asks
    /// [`missing_sequences`](Self::missing_sequences).
    fn load_next_contiguous_page<P>(
        pool: &sqlx::PgPool,
        from_sequence: EventSequence,
        buffer_size: usize,
    ) -> impl Future<Output = Result<PersistentEventRows<P>, sqlx::Error>> + Send
    where
        P: Serialize + DeserializeOwned + Send;

    /// Whether `sequence` has a committed row — a real event or a
    /// placeholder. One index probe, no payload: the per-interval re-check
    /// for a reader parked on a gap.
    fn sequence_present(
        pool: &sqlx::PgPool,
        sequence: EventSequence,
    ) -> impl Future<Output = Result<bool, sqlx::Error>> + Send;

    /// The sequences in `(after_sequence, up_to_sequence]` with no committed
    /// row, as an index-only anti-join — no payloads fetched. For callers
    /// that must report holes rather than consume events.
    fn missing_sequences(
        pool: &sqlx::PgPool,
        after_sequence: EventSequence,
        up_to_sequence: EventSequence,
    ) -> impl Future<Output = Result<Vec<EventSequence>, sqlx::Error>> + Send;

    /// Insert placeholder rows (`payload: NULL`) for the given sequences
    /// with `ON CONFLICT (sequence) DO NOTHING`, returning only the rows
    /// actually inserted. Sequences that already have a committed row —
    /// a real event or an earlier placeholder — are left untouched: no
    /// rewrite, no dead tuple. A sequence whose writer is still in flight
    /// blocks the insert on that transaction's speculative-insertion lock
    /// until it resolves, so callers must only pass sequences that are
    /// provably abandoned: either their own rolled-back allocations (the
    /// rollback-compensation path) or sequences proven lost via
    /// [`abandonment_marker`](Self::abandonment_marker) /
    /// [`abandonment_proof_passed`](Self::abandonment_proof_passed).
    fn fill_gaps<P>(
        pool: &sqlx::PgPool,
        sequences: Vec<EventSequence>,
    ) -> impl Future<Output = Result<PersistentEventRows<P>, sqlx::Error>> + Send
    where
        P: Serialize + DeserializeOwned + Send;

    /// [`fill_gaps`](Self::fill_gaps) behind a per-table
    /// `pg_try_advisory_xact_lock`: the cluster-wide dedup for backstop
    /// fills, where multiple nodes may attempt the same range. Returns
    /// `None` without inserting anything when another connection holds the
    /// fill lock — the winner's rows are committed by the time its lock
    /// releases, so the caller's next page read delivers them.
    fn fill_gaps_deduped<P>(
        pool: &sqlx::PgPool,
        sequences: Vec<EventSequence>,
    ) -> impl Future<Output = Result<Option<PersistentEventRows<P>>, sqlx::Error>> + Send
    where
        P: Serialize + DeserializeOwned + Send;

    /// Assign an abandonment marker: a real xid on this connection (one
    /// auto-commit statement), returned together with the sequence
    /// allocation head read in the same statement. Every write transaction
    /// that had begun before the marker holds a smaller xid, and every
    /// sequence `<=` the returned head was allocated before it — the two
    /// facts [`abandonment_proof_passed`](Self::abandonment_proof_passed)
    /// combines into a proof.
    fn abandonment_marker(
        pool: &sqlx::PgPool,
    ) -> impl Future<Output = Result<(String, EventSequence), sqlx::Error>> + Send;

    /// Whether the xmin horizon has passed `marker`: every transaction
    /// with an older xid has ended. A sequence allocated before the marker
    /// (per [`abandonment_marker`](Self::abandonment_marker)'s head) that
    /// is still absent from the table once this returns `true` is provably
    /// abandoned — its writer ended without committing it — so a
    /// placeholder insert cannot collide with a live writer. Latency is
    /// the actual remaining lifetime of the concurrent write transactions,
    /// not a fixed guess.
    fn abandonment_proof_passed(
        pool: &sqlx::PgPool,
        marker: &str,
    ) -> impl Future<Output = Result<bool, sqlx::Error>> + Send;

    /// Load the committed events in `(after_sequence, up_to_sequence]` with
    /// a plain SELECT. Unlike [`load_next_page`](Self::load_next_page) this
    /// never writes placeholder rows for sequence gaps — sequences absent
    /// from the result belong to in-flight transactions and are left to the
    /// grace-period gap fill. Undecodable payloads are the `Err` items, as
    /// in [`load_next_page`](Self::load_next_page).
    fn load_events_in_range<P>(
        pool: &sqlx::PgPool,
        after_sequence: EventSequence,
        up_to_sequence: EventSequence,
    ) -> impl Future<Output = Result<PersistentEventRows<P>, sqlx::Error>> + Send
    where
        P: Serialize + DeserializeOwned + Send;

    fn persist_ephemeral_event<P>(
        pool: &sqlx::PgPool,
        now: Option<chrono::DateTime<chrono::Utc>>,
        event_type: EphemeralEventType,
        payload: P,
    ) -> impl Future<Output = Result<EphemeralOutboxEvent<P>, sqlx::Error>> + Send
    where
        P: Serialize + DeserializeOwned + Send;

    fn persist_ephemeral_event_in_op<'a, P>(
        op: &mut HookOperation<'a>,
        event_type: EphemeralEventType,
        payload: P,
    ) -> impl Future<Output = Result<EphemeralOutboxEvent<P>, sqlx::Error>> + Send
    where
        P: Serialize + DeserializeOwned + Send;

    fn load_ephemeral_events<P>(
        pool: &sqlx::PgPool,
        event_type_filter: Option<EphemeralEventType>,
    ) -> impl Future<Output = Result<Vec<EphemeralOutboxEvent<P>>, sqlx::Error>> + Send
    where
        P: Serialize + DeserializeOwned + Send;

    fn persistent_outbox_events_channel() -> &'static str;
    fn ephemeral_outbox_events_channel() -> &'static str;

    /// Base name of the persistent outbox events table (honouring any table
    /// prefix). The partition maintainer derives child partition names
    /// (`{table}_p{k}`) and the sequence-object name (`{table}_sequence_seq`)
    /// from it.
    fn persistent_outbox_events_table() -> &'static str;

    /// Job type of this outbox's keyed waker: `{persistent table}.keyed-waker`.
    /// Composed at macro-expansion time so the waker's `job::JobType` — which
    /// only accepts `&'static str` — needs no runtime formatting and no leak.
    const KEYED_WAKER_JOB_TYPE: &'static str;

    // === Inbox methods ===

    fn insert_inbox_event<P>(
        op: &mut impl es_entity::AtomicOperation,
        idempotency_key: &InboxIdempotencyKey,
        payload: &P,
    ) -> impl Future<Output = Result<Option<InboxEventId>, sqlx::Error>> + Send
    where
        P: Serialize + Send + Sync;

    fn find_inbox_event_by_id(
        pool: &sqlx::PgPool,
        id: InboxEventId,
    ) -> impl Future<Output = Result<InboxEvent, InboxError>> + Send;

    fn update_inbox_event_status(
        pool: &sqlx::PgPool,
        now: Option<chrono::DateTime<chrono::Utc>>,
        id: InboxEventId,
        status: InboxEventStatus,
        error: Option<&str>,
    ) -> impl Future<Output = Result<(), sqlx::Error>> + Send;

    fn update_inbox_event_status_in_op(
        op: &mut impl es_entity::AtomicOperation,
        id: InboxEventId,
        status: InboxEventStatus,
        error: Option<&str>,
    ) -> impl Future<Output = Result<(), sqlx::Error>> + Send;

    fn list_inbox_events_by_status(
        pool: &sqlx::PgPool,
        status: InboxEventStatus,
        limit: usize,
    ) -> impl Future<Output = Result<Vec<InboxEvent>, InboxError>> + Send;

    // === Keyed-subscriber subscription methods ===

    /// Insert a new subscription row, idempotently: a conflict on
    /// `(subscriber_type, key)` — an already-live subscription — resolves to
    /// success without overwriting the existing row's `start_after` or
    /// `wake_keys`. Re-subscribing an already-subscribed key must never
    /// silently rewind or fast-forward its birth frontier.
    fn insert_subscription_in_op(
        op: &mut impl es_entity::AtomicOperation,
        subscriber_type: &str,
        key: &str,
        wake_keys: &[String],
        instance_config: serde_json::Value,
        start_after: EventSequence,
    ) -> impl Future<Output = Result<(), sqlx::Error>> + Send;

    /// Delete a subscription row. Row absence is the tombstone: no job-kill
    /// API exists or is needed — the runner's next run-start row check (or a
    /// stray wake) observes the missing row and completes.
    fn delete_subscription_in_op(
        op: &mut impl es_entity::AtomicOperation,
        subscriber_type: &str,
        key: &str,
    ) -> impl Future<Output = Result<(), sqlx::Error>> + Send;

    /// Point-read one subscription's identity and terms by primary key.
    /// `None` means cancelled (or never subscribed) — the caller's row-is-truth
    /// check.
    fn find_subscription(
        pool: &sqlx::PgPool,
        subscriber_type: &str,
        key: &str,
    ) -> impl Future<Output = Result<Option<SubscriptionRow>, sqlx::Error>> + Send;

    /// Advance one subscription's mirrored cursor, in the caller's op so it
    /// shares the fate of the job checkpoint it copies. Monotonic: a lower
    /// value than the stored one is ignored rather than applied, so a write
    /// from a superseded generation cannot rewind it.
    fn update_subscription_checkpoint_in_op(
        op: &mut impl es_entity::AtomicOperation,
        subscriber_type: &str,
        key: &str,
        checkpoint: EventSequence,
    ) -> impl Future<Output = Result<(), sqlx::Error>> + Send;

    /// `(subscriber_type, key)` of the subscriptions whose mirrored cursor is
    /// below `below`, furthest behind first, capped at `limit` — the waker's
    /// catch-up scan.
    ///
    /// Spans every *registered* subscriber type because the waker does: one
    /// scan per pass for the whole outbox, not one per type. Ordering is what
    /// makes `limit` safe to apply — it sheds the members with the most
    /// slack, so a cap can bound the wake rate without ever starving the
    /// member closest to falling out of the cache.
    ///
    /// `subscriber_types` must filter in SQL, not afterwards: a row whose
    /// type is not registered here has no runner to advance its checkpoint,
    /// so it is permanently the furthest behind and would otherwise win every
    /// scan and consume the entire limit.
    fn subscriptions_behind(
        op: &mut impl es_entity::AtomicOperation,
        subscriber_types: &[String],
        below: EventSequence,
        limit: i64,
    ) -> impl Future<Output = Result<Vec<(String, String)>, sqlx::Error>> + Send;

    /// The `(subscriber_type, key)` of every subscription whose declared
    /// `wake_keys` contain a key the batch classified an event to for that
    /// same type — the waker's flush-time lookup, run **on the flush op** so
    /// the wakes it drives and the waker's own checkpoint commit atomically.
    /// Liveness-only: an over-approximating false positive here is a harmless
    /// empty wake, never a correctness gap.
    ///
    /// `subscriber_types` and `wake_keys` are **parallel arrays**: element `i`
    /// of each names one (type, wake key) pair to match. One query covers
    /// every registered type without losing per-type precision — a type is
    /// never matched against another type's keys.
    fn subscriptions_for_wake_keys(
        op: &mut impl es_entity::AtomicOperation,
        subscriber_types: &[String],
        wake_keys: &[String],
    ) -> impl Future<Output = Result<Vec<(String, String)>, sqlx::Error>> + Send;
}

/// One subscription's identity and terms, as stored — everything but the
/// primary key `(subscriber_type, key)` itself, which the caller already
/// knows from its own lookup.
#[derive(Debug, Clone)]
pub struct SubscriptionRow {
    pub wake_keys: Vec<String>,
    pub instance_config: serde_json::Value,
    pub start_after: EventSequence,
    pub created_at: chrono::DateTime<chrono::Utc>,
}