wasm4pm-compat 26.6.8

//! Loss policy, loss report, named-projection law, and named-loss descriptor.
//!
//! Some translations between process-evidence shapes **cannot** be lossless.
//! The canonical case is flattening an object-centric log (OCEL) down to a
//! classic single-case log (XES): you must pick *one* object type to act as the
//! case notion, and every event-to-object link to the other types is discarded.
//! That discarded structure is real evidence — it cannot vanish silently.
//!
//! This module makes loss **accountable**:
//!
//! - [`crate::loss::Project`] is the only sanctioned lossy transformation. It is named, and
//!   it is gated by a [`crate::loss::LossPolicy`].
//! - [`crate::loss::LossPolicy`] forces a caller to *decide in advance* how loss is handled:
//!   refuse it, allow it under a named projection, or allow it but emit a
//!   [`crate::loss::LossReport`]. Use [`crate::loss::LossPolicy::is_refusing`], [`crate::loss::LossPolicy::is_named`],
//!   and [`crate::loss::LossPolicy::is_reporting`] to guard on intent without pattern-matching.
//! - [`crate::loss::LossReport`] is the receipt of what was lost — it records the
//!   [`crate::loss::ProjectionName`], the policy, and the discarded items. Use
//!   [`crate::loss::LossReport::summary`] to derive a [`crate::loss::NamedLoss`] and
//!   [`crate::loss::LossReport::is_lossless`] (where `Items: `[`crate::loss::IsEmpty`]) to detect
//!   vacuously lossless projections.
//! - [`crate::loss::ProjectionName`] is a `&'static str` newtype implementing [`Display`][core::fmt::Display],
//!   making projection identifiers embeddable in diagnostic output.
//! - [`crate::loss::NamedLoss`] pairs a [`crate::loss::ProjectionName`] with a loss-category label so a
//!   specific loss occurrence is auditable by both projection identity and kind.
//!
//! No raw format-to-format laundering is permitted: lossy projection requires a
//! named projection + a [`crate::loss::LossPolicy`] + a [`crate::loss::LossReport`] + a refusal path. See
//! [`crate::diagnostic::CompatDiagnostic::LossyProjectionWithoutPolicy`] and
//! [`crate::diagnostic::CompatDiagnostic::HiddenFlattening`].
//!
//! Structure only: this module *accounts for* loss; it does not *perform*
//! discovery on the projected result. Graduate to `wasm4pm` to act on it.

use core::marker::PhantomData;

/// How a lossy projection must be handled — decided **before** loss occurs.
///
/// A projection that drops evidence must be governed by exactly one of these
/// policies. Choosing [`LossPolicy::RefuseLoss`] turns any would-be loss into a
/// refusal; the other two require the loss to be named and (for
/// [`LossPolicy::AllowLossWithReport`]) itemized in a [`LossReport`].
///
/// Structure-only label. It states the *rule of engagement* for loss; it does
/// not itself compute what is lost.
#[doc(alias = "projection policy")]
#[doc(alias = "loss")]
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub enum LossPolicy {
    /// Loss is not tolerated: a projection that would drop evidence must refuse.
    RefuseLoss,
    /// Loss is permitted, but only via an explicitly *named* projection
    /// ([`ProjectionName`]). Items need not be enumerated.
    AllowNamedProjection,
    /// Loss is permitted and must be *reported*: a [`LossReport`] enumerating the
    /// discarded items is produced alongside the result.
    AllowLossWithReport,
}

impl Default for LossPolicy {
    /// The safest default: refuse all loss.
    ///
    /// Callers that do not explicitly select a policy receive
    /// [`LossPolicy::RefuseLoss`], preventing silent structure loss. Use a
    /// builder or explicit enum variant when loss is intentional.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::LossPolicy;
    /// assert_eq!(LossPolicy::default(), LossPolicy::RefuseLoss);
    /// assert!(LossPolicy::default().is_refusing());
    /// ```
    #[inline]
    fn default() -> Self {
        LossPolicy::RefuseLoss
    }
}

impl LossPolicy {
    /// Returns `true` when this policy requires refusing any loss.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::LossPolicy;
    ///
    /// assert!(LossPolicy::RefuseLoss.is_refusing());
    /// assert!(!LossPolicy::AllowNamedProjection.is_refusing());
    /// assert!(!LossPolicy::AllowLossWithReport.is_refusing());
    /// ```
    #[inline]
    pub const fn is_refusing(self) -> bool {
        matches!(self, LossPolicy::RefuseLoss)
    }

    /// Returns `true` when this policy permits loss under a named projection
    /// (items need not be enumerated).
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::LossPolicy;
    ///
    /// assert!(!LossPolicy::RefuseLoss.is_named());
    /// assert!(LossPolicy::AllowNamedProjection.is_named());
    /// assert!(!LossPolicy::AllowLossWithReport.is_named());
    /// ```
    #[inline]
    pub const fn is_named(self) -> bool {
        matches!(self, LossPolicy::AllowNamedProjection)
    }

    /// Returns `true` when this policy permits loss and requires a full
    /// itemized [`LossReport`].
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::LossPolicy;
    ///
    /// assert!(!LossPolicy::RefuseLoss.is_reporting());
    /// assert!(!LossPolicy::AllowNamedProjection.is_reporting());
    /// assert!(LossPolicy::AllowLossWithReport.is_reporting());
    /// ```
    #[inline]
    pub const fn is_reporting(self) -> bool {
        matches!(self, LossPolicy::AllowLossWithReport)
    }
}

impl core::fmt::Display for LossPolicy {
    /// Formats as the variant name for diagnostics and log output.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::LossPolicy;
    ///
    /// assert_eq!(format!("{}", LossPolicy::RefuseLoss),          "RefuseLoss");
    /// assert_eq!(format!("{}", LossPolicy::AllowNamedProjection), "AllowNamedProjection");
    /// assert_eq!(format!("{}", LossPolicy::AllowLossWithReport),  "AllowLossWithReport");
    /// ```
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        match self {
            LossPolicy::RefuseLoss => f.write_str("RefuseLoss"),
            LossPolicy::AllowNamedProjection => f.write_str("AllowNamedProjection"),
            LossPolicy::AllowLossWithReport => f.write_str("AllowLossWithReport"),
        }
    }
}

/// The stable name of a projection (e.g. `"ocel-flatten-to-xes:by-order"`).
///
/// A [`ProjectionName`] makes a lossy transformation *recognizable* and
/// *auditable*: two runs of the same named projection mean the same thing.
/// It is a thin `&'static str` newtype so names live in the binary, are cheap to
/// pass, and cannot be confused with arbitrary user strings.
///
/// Structure-only identifier. It names the projection; it does not implement it.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct ProjectionName(pub &'static str);

impl ProjectionName {
    /// Borrows the underlying static name.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::ProjectionName;
    ///
    /// let name = ProjectionName("ocel-flatten-to-xes:by-order");
    /// assert_eq!(name.as_str(), "ocel-flatten-to-xes:by-order");
    /// ```
    #[inline]
    pub const fn as_str(self) -> &'static str {
        self.0
    }

    /// Consumes `self` and returns the underlying `&'static str`.
    ///
    /// Identical to [`as_str`](Self::as_str) (since `&'static str` is `Copy`);
    /// provided for newtype-wrapper ergonomics.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::ProjectionName;
    /// let n = ProjectionName("p");
    /// assert_eq!(n.into_inner(), "p");
    /// ```
    #[inline]
    pub const fn into_inner(self) -> &'static str {
        self.0
    }

    /// Borrows the underlying `&'static str`.
    ///
    /// Identical to [`as_str`](Self::as_str); provided for newtype-wrapper
    /// ergonomics so callers can use `as_inner()` uniformly.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::ProjectionName;
    /// let n = ProjectionName("p");
    /// assert_eq!(n.as_inner(), "p");
    /// ```
    #[inline]
    pub const fn as_inner(&self) -> &'static str {
        self.0
    }
}

impl From<&'static str> for ProjectionName {
    /// Constructs a [`ProjectionName`] from a static string literal.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::ProjectionName;
    ///
    /// let name: ProjectionName = "ocel-flatten-to-xes:by-order".into();
    /// assert_eq!(name.as_str(), "ocel-flatten-to-xes:by-order");
    /// ```
    #[inline]
    fn from(s: &'static str) -> Self {
        ProjectionName(s)
    }
}

impl AsRef<str> for ProjectionName {
    /// Borrows the underlying static string.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::ProjectionName;
    ///
    /// let name = ProjectionName("ocel-flatten-to-xes:by-order");
    /// assert_eq!(name.as_ref(), "ocel-flatten-to-xes:by-order");
    /// ```
    #[inline]
    fn as_ref(&self) -> &str {
        self.0
    }
}

impl core::fmt::Display for ProjectionName {
    /// Formats the projection name for diagnostics and log output.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::ProjectionName;
    ///
    /// let name = ProjectionName("ocel-flatten-to-xes:by-order");
    /// assert_eq!(format!("{}", name), "ocel-flatten-to-xes:by-order");
    /// ```
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        f.write_str(self.0)
    }
}

/// A named descriptor for a specific category of loss under a projection.
///
/// A [`NamedLoss`] pairs a [`ProjectionName`] with a `&'static str` label that
/// names the *kind* of loss that occurred (e.g. `"DroppedObjectTypeLinks"` or
/// `"FlattenedMultiObjectRelation"`).  Together they make a specific loss
/// occurrence *auditable by name*: both *which projection* ran and *which law*
/// it violated are explicit on the type, not buried in a `String`.
///
/// Use [`NamedLoss`] as the `Lost` type parameter of a [`LossReport`] when the
/// most important fact is the *category* of loss rather than a full item list.
///
/// Structure-only: carries no engine logic. Graduate to `wasm4pm` to act on it.
///
/// # Examples
///
/// ```
/// use wasm4pm_compat::loss::{LossPolicy, LossReport, NamedLoss, ProjectionName};
///
/// enum OcelShape {}
/// enum XesShape {}
///
/// let loss = NamedLoss::new(
///     ProjectionName("ocel-flatten-to-xes:by-order"),
///     "DroppedObjectTypeLinks",
/// );
/// assert_eq!(loss.projection().as_str(), "ocel-flatten-to-xes:by-order");
/// assert_eq!(loss.category(), "DroppedObjectTypeLinks");
/// ```
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NamedLoss {
    projection: ProjectionName,
    category: &'static str,
}

impl NamedLoss {
    /// Constructs a [`NamedLoss`] from a projection name and a loss category label.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{NamedLoss, ProjectionName};
    ///
    /// let loss = NamedLoss::new(
    ///     ProjectionName("ocel-flatten-to-xes:by-order"),
    ///     "DroppedObjectTypeLinks",
    /// );
    /// assert_eq!(loss.category(), "DroppedObjectTypeLinks");
    /// ```
    #[inline]
    pub const fn new(projection: ProjectionName, category: &'static str) -> Self {
        NamedLoss {
            projection,
            category,
        }
    }

    /// Returns the [`ProjectionName`] under which this loss occurred.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{NamedLoss, ProjectionName};
    ///
    /// let loss = NamedLoss::new(ProjectionName("p"), "SomeLoss");
    /// assert_eq!(loss.projection().as_str(), "p");
    /// ```
    #[inline]
    pub const fn projection(self) -> ProjectionName {
        self.projection
    }

    /// Returns the named loss category label.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{NamedLoss, ProjectionName};
    ///
    /// let loss = NamedLoss::new(ProjectionName("p"), "FlattenedMultiObjectRelation");
    /// assert_eq!(loss.category(), "FlattenedMultiObjectRelation");
    /// ```
    #[inline]
    pub const fn category(self) -> &'static str {
        self.category
    }
}

impl core::fmt::Display for NamedLoss {
    /// Formats as `<projection>/<category>` for diagnostic and log output.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{NamedLoss, ProjectionName};
    ///
    /// let loss = NamedLoss::new(
    ///     ProjectionName("ocel-flatten-to-xes:by-order"),
    ///     "DroppedObjectTypeLinks",
    /// );
    /// assert_eq!(
    ///     format!("{}", loss),
    ///     "ocel-flatten-to-xes:by-order/DroppedObjectTypeLinks",
    /// );
    /// ```
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        write!(f, "{}/{}", self.projection, self.category)
    }
}

/// The receipt of a lossy projection: what projection ran, under what policy,
/// and exactly which items were discarded.
///
/// The `From` and `To` type parameters tag the shapes the projection bridged
/// (zero-sized `PhantomData`), so a report cannot be mistaken for one between
/// different shapes. `Items` is the concrete record of discarded evidence (e.g.
/// a `Vec` of dropped object types).
///
/// Structure-only: a `LossReport` proves loss was *accounted for*; it is not a
/// repair tool. Carry it alongside the projected value so the loss travels on
/// the record.
pub struct LossReport<From, To, Items> {
    /// The named projection that produced this report.
    pub projection: ProjectionName,
    /// The policy under which the projection was authorized.
    pub policy: LossPolicy,
    /// The concrete evidence items that were discarded.
    pub lost: Items,
    from: PhantomData<From>,
    to: PhantomData<To>,
}

// Manual `Clone`/`Debug` so the `From`/`To` shape markers need not themselves
// be `Clone`/`Debug` (they are zero-sized `PhantomData` tags).
impl<From, To, Items: Clone> Clone for LossReport<From, To, Items> {
    #[inline]
    fn clone(&self) -> Self {
        LossReport {
            projection: self.projection,
            policy: self.policy,
            lost: self.lost.clone(),
            from: PhantomData,
            to: PhantomData,
        }
    }
}

impl<From, To, Items: core::fmt::Debug> core::fmt::Debug for LossReport<From, To, Items> {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        f.debug_struct("LossReport")
            .field("projection", &self.projection)
            .field("policy", &self.policy)
            .field("lost", &self.lost)
            .finish()
    }
}

impl<From, To, Items> LossReport<From, To, Items> {
    /// Builds a loss report for a named projection under a given policy.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{LossPolicy, LossReport, ProjectionName};
    ///
    /// // OCEL → XES flattening drops links to the non-case object types.
    /// enum Ocel {}
    /// enum Xes {}
    /// let report = LossReport::<Ocel, Xes, Vec<&str>>::new(
    ///     ProjectionName("ocel-flatten-to-xes:by-order"),
    ///     LossPolicy::AllowLossWithReport,
    ///     vec!["item", "invoice"],
    /// );
    /// assert_eq!(report.policy, LossPolicy::AllowLossWithReport);
    /// assert_eq!(report.lost, vec!["item", "invoice"]);
    /// ```
    #[inline]
    pub const fn new(projection: ProjectionName, policy: LossPolicy, lost: Items) -> Self {
        LossReport {
            projection,
            policy,
            lost,
            from: PhantomData,
            to: PhantomData,
        }
    }

    /// Consumes the report, yielding the discarded items.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{LossPolicy, LossReport, ProjectionName};
    ///
    /// enum A {}
    /// enum B {}
    /// let report = LossReport::<A, B, Vec<u32>>::new(
    ///     ProjectionName("p"),
    ///     LossPolicy::AllowLossWithReport,
    ///     vec![1, 2, 3],
    /// );
    /// assert_eq!(report.into_lost(), vec![1, 2, 3]);
    /// ```
    #[inline]
    pub fn into_lost(self) -> Items {
        self.lost
    }

    /// Returns a [`NamedLoss`] summarizing this report as a named loss occurrence.
    ///
    /// The [`NamedLoss`] pairs the projection name with a caller-supplied category
    /// label, making the specific category of loss auditable independently of the
    /// full item list.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{LossPolicy, LossReport, NamedLoss, ProjectionName};
    ///
    /// enum OcelShape {}
    /// enum XesShape {}
    ///
    /// let report = LossReport::<OcelShape, XesShape, Vec<&str>>::new(
    ///     ProjectionName("ocel-flatten-to-xes:by-order"),
    ///     LossPolicy::AllowLossWithReport,
    ///     vec!["item", "invoice"],
    /// );
    /// let summary = report.summary("DroppedObjectTypeLinks");
    /// assert_eq!(summary.projection().as_str(), "ocel-flatten-to-xes:by-order");
    /// assert_eq!(summary.category(), "DroppedObjectTypeLinks");
    /// ```
    #[inline]
    pub fn summary(&self, category: &'static str) -> NamedLoss {
        NamedLoss::new(self.projection, category)
    }
}

impl<From, To, Items: IsEmpty> LossReport<From, To, Items> {
    /// Returns `true` when the report contains no discarded items.
    ///
    /// Only available when `Items` implements [`IsEmpty`] (blanket-impl on
    /// `Vec<T>`, `&[T]`, and `&str`). A lossless report is valid even under
    /// [`LossPolicy::RefuseLoss`] because no evidence was actually dropped.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{LossPolicy, LossReport, ProjectionName};
    ///
    /// enum A {}
    /// enum B {}
    ///
    /// let empty = LossReport::<A, B, Vec<u8>>::new(
    ///     ProjectionName("p"),
    ///     LossPolicy::AllowLossWithReport,
    ///     vec![],
    /// );
    /// assert!(empty.is_lossless());
    ///
    /// let non_empty = LossReport::<A, B, Vec<u8>>::new(
    ///     ProjectionName("p"),
    ///     LossPolicy::AllowLossWithReport,
    ///     vec![1_u8],
    /// );
    /// assert!(!non_empty.is_lossless());
    /// ```
    #[inline]
    pub fn is_lossless(&self) -> bool {
        self.lost.is_empty()
    }
}

/// Helper bound: types that can report whether they hold zero items.
///
/// Blanket-implemented for `Vec<T>`, `&[T]`, and `&str`. Not intended for
/// downstream implementation; use it as a bound on [`LossReport::is_lossless`].
///
/// Structure-only helper trait. It carries no engine logic.
pub trait IsEmpty {
    /// Returns `true` when `self` holds no items.
    fn is_empty(&self) -> bool;
}

impl<T> IsEmpty for Vec<T> {
    #[inline]
    fn is_empty(&self) -> bool {
        Vec::is_empty(self)
    }
}

impl<T> IsEmpty for &[T] {
    #[inline]
    fn is_empty(&self) -> bool {
        <[T]>::is_empty(self)
    }
}

impl IsEmpty for &str {
    #[inline]
    fn is_empty(&self) -> bool {
        str::is_empty(self)
    }
}

/// A **compile-time** named-loss marker: the loss category is baked in as a
/// const generic `&'static str` so two distinct categories produce distinct
/// types at zero runtime cost.
///
/// Use [`NamedLossConst`] when the loss category is known at compile time and
/// you want the type system to enforce that a `DroppedObjectTypeLinks` report
/// cannot be confused with a `FlattenedMultiObjectRelation` report.  For
/// runtime-determined categories use [`NamedLoss`] instead.
///
/// Structure-only zero-sized marker.  It carries no engine logic; graduate to
/// `wasm4pm` to act on it.
///
/// # Examples
///
/// ```
/// use wasm4pm_compat::loss::NamedLossConst;
///
/// type DroppedLinks = NamedLossConst<"DroppedObjectTypeLinks">;
/// type FlattenedRel = NamedLossConst<"FlattenedMultiObjectRelation">;
///
/// // The category name is recoverable at run time.
/// assert_eq!(DroppedLinks::NAME, "DroppedObjectTypeLinks");
/// assert_eq!(FlattenedRel::NAME, "FlattenedMultiObjectRelation");
/// ```
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NamedLossConst<const NAME: &'static str>;

impl<const NAME: &'static str> NamedLossConst<NAME> {
    /// The loss-category label as a `&'static str`, recoverable at run time.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::NamedLossConst;
    ///
    /// assert_eq!(
    ///     NamedLossConst::<"DroppedObjectTypeLinks">::NAME,
    ///     "DroppedObjectTypeLinks",
    /// );
    /// ```
    pub const NAME: &'static str = NAME;
}

impl<const NAME: &'static str> core::fmt::Display for NamedLossConst<NAME> {
    /// Formats as the loss category name.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::NamedLossConst;
    ///
    /// assert_eq!(
    ///     format!("{}", NamedLossConst::<"DroppedObjectTypeLinks">),
    ///     "DroppedObjectTypeLinks",
    /// );
    /// ```
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        f.write_str(NAME)
    }
}

/// A sequential chain of [`NamedLoss`] descriptors documenting a multi-step
/// lossy pipeline.
///
/// When evidence passes through more than one lossy projection in sequence —
/// e.g. OCEL → flattened XES → aggregated DFG — each step produces a
/// [`NamedLoss`].  A [`LossChain`] collects every step in order so the full
/// provenance trail is auditable as a single value.
///
/// Structure-only container.  It records the chain; it does not replay or
/// reverse it.  Graduate to `wasm4pm` to reason over the accumulated loss.
///
/// # Examples
///
/// ```
/// use wasm4pm_compat::loss::{LossChain, NamedLoss, ProjectionName};
///
/// let mut chain = LossChain::new();
/// chain.push(NamedLoss::new(
///     ProjectionName("ocel-flatten-to-xes:by-order"),
///     "DroppedObjectTypeLinks",
/// ));
/// chain.push(NamedLoss::new(
///     ProjectionName("xes-to-dfg:aggregate"),
///     "FlattenedTimestamps",
/// ));
/// assert_eq!(chain.len(), 2);
/// assert!(!chain.is_lossless());
/// ```
pub struct LossChain {
    steps: Vec<NamedLoss>,
}

impl LossChain {
    /// Creates an empty loss chain (no steps recorded yet).
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::LossChain;
    ///
    /// let chain = LossChain::new();
    /// assert!(chain.is_lossless());
    /// ```
    #[inline]
    pub fn new() -> Self {
        LossChain { steps: Vec::new() }
    }

    /// Records a single [`NamedLoss`] step at the end of the chain.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{LossChain, NamedLoss, ProjectionName};
    ///
    /// let mut chain = LossChain::new();
    /// chain.push(NamedLoss::new(ProjectionName("p"), "SomeLoss"));
    /// assert_eq!(chain.len(), 1);
    /// ```
    #[inline]
    pub fn push(&mut self, step: NamedLoss) {
        self.steps.push(step);
    }

    /// Returns the number of loss steps recorded in this chain.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{LossChain, NamedLoss, ProjectionName};
    ///
    /// let mut chain = LossChain::new();
    /// assert_eq!(chain.len(), 0);
    /// chain.push(NamedLoss::new(ProjectionName("p"), "L"));
    /// assert_eq!(chain.len(), 1);
    /// ```
    #[inline]
    pub fn len(&self) -> usize {
        self.steps.len()
    }

    /// Returns `true` when no loss steps have been recorded.
    ///
    /// A chain with zero steps represents a vacuously lossless pipeline.
    /// Alias for [`LossChain::is_lossless`]; satisfies the `len`/`is_empty`
    /// convention required by Clippy.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::LossChain;
    ///
    /// assert!(LossChain::new().is_empty());
    /// ```
    #[inline]
    pub fn is_empty(&self) -> bool {
        self.steps.is_empty()
    }

    /// Returns `true` when no loss steps have been recorded.
    ///
    /// Semantic alias for [`LossChain::is_empty`] — use this name when the
    /// intent is to communicate *no evidence was lost*, not just that the
    /// container holds no elements.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::LossChain;
    ///
    /// assert!(LossChain::new().is_lossless());
    /// ```
    #[inline]
    pub fn is_lossless(&self) -> bool {
        self.steps.is_empty()
    }

    /// Returns a slice over the recorded loss steps in order.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{LossChain, NamedLoss, ProjectionName};
    ///
    /// let mut chain = LossChain::new();
    /// chain.push(NamedLoss::new(ProjectionName("p"), "A"));
    /// chain.push(NamedLoss::new(ProjectionName("q"), "B"));
    /// assert_eq!(chain.steps()[0].category(), "A");
    /// assert_eq!(chain.steps()[1].category(), "B");
    /// ```
    #[inline]
    pub fn steps(&self) -> &[NamedLoss] {
        &self.steps
    }

    /// Appends every step from `other` onto `self`, consuming `other`.
    ///
    /// Useful for merging two sub-pipeline loss chains into the top-level chain.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{LossChain, NamedLoss, ProjectionName};
    ///
    /// let mut a = LossChain::new();
    /// a.push(NamedLoss::new(ProjectionName("p"), "A"));
    ///
    /// let mut b = LossChain::new();
    /// b.push(NamedLoss::new(ProjectionName("q"), "B"));
    ///
    /// a.extend(b);
    /// assert_eq!(a.len(), 2);
    /// ```
    #[inline]
    pub fn extend(&mut self, other: LossChain) {
        self.steps.extend(other.steps);
    }
}

impl Default for LossChain {
    /// Returns an empty [`LossChain`].
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::LossChain;
    ///
    /// let chain: LossChain = Default::default();
    /// assert!(chain.is_lossless());
    /// ```
    #[inline]
    fn default() -> Self {
        LossChain::new()
    }
}

impl core::fmt::Debug for LossChain {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        f.debug_struct("LossChain")
            .field("steps", &self.steps)
            .finish()
    }
}

/// A zero-sized marker that names the **boundary** between two projection
/// steps in a multi-step lossy pipeline.
///
/// In a pipeline such as `OCEL → flattened XES → aggregated DFG` there are
/// two distinct boundaries where evidence may be dropped.  A
/// [`ProjectionBoundary`] names each such crossing point so that a
/// [`LossChain`] entry, a [`LossReport`], or a diagnostic can cite *which
/// boundary* is accountable for a given loss — not just which overall
/// pipeline.
///
/// The boundary is identified by a const `&'static str` NAME baked into the
/// type so that two distinct boundaries produce distinct types at zero runtime
/// cost.  For runtime-determined boundary names embed a [`ProjectionName`]
/// in a [`NamedLoss`] instead.
///
/// Structure-only zero-sized marker.  It carries no engine logic; graduate
/// to `wasm4pm` to reason over boundary crossings.
///
/// # Examples
///
/// ```
/// use wasm4pm_compat::loss::ProjectionBoundary;
///
/// type OcelToXesBoundary    = ProjectionBoundary<"ocel→xes">;
/// type XesToDfgBoundary     = ProjectionBoundary<"xes→dfg">;
///
/// assert_eq!(OcelToXesBoundary::NAME, "ocel→xes");
/// assert_eq!(XesToDfgBoundary::NAME,  "xes→dfg");
/// assert_ne!(OcelToXesBoundary::NAME, XesToDfgBoundary::NAME);
/// ```
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct ProjectionBoundary<const NAME: &'static str>;

impl<const NAME: &'static str> ProjectionBoundary<NAME> {
    /// The boundary label as a `&'static str`, recoverable at run time.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::ProjectionBoundary;
    ///
    /// assert_eq!(
    ///     ProjectionBoundary::<"ocel→xes">::NAME,
    ///     "ocel→xes",
    /// );
    /// ```
    pub const NAME: &'static str = NAME;

    /// Returns a [`ProjectionName`] for this boundary so it can be embedded
    /// in a [`LossReport`] or [`NamedLoss`] without an extra allocation.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::{ProjectionBoundary, ProjectionName};
    ///
    /// let pn: ProjectionName = ProjectionBoundary::<"ocel→xes">::projection_name();
    /// assert_eq!(pn.as_str(), "ocel→xes");
    /// ```
    #[inline]
    pub const fn projection_name() -> ProjectionName {
        ProjectionName(NAME)
    }
}

impl<const NAME: &'static str> core::fmt::Display for ProjectionBoundary<NAME> {
    /// Formats as the boundary label.
    ///
    /// # Examples
    ///
    /// ```
    /// use wasm4pm_compat::loss::ProjectionBoundary;
    ///
    /// assert_eq!(
    ///     format!("{}", ProjectionBoundary::<"ocel→xes">),
    ///     "ocel→xes",
    /// );
    /// ```
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        f.write_str(NAME)
    }
}

/// The named lossy-projection law — the only sanctioned way to drop evidence.
///
/// An implementor names a single projection (`Self::From → Self::To`) that may
/// discard `Self::Lost`. It must honor the supplied [`LossPolicy`]: under
/// [`LossPolicy::RefuseLoss`] it returns `Self::Reason` instead of losing
/// anything; otherwise it returns a [`LossReport`] recording the loss.
///
/// Structure-only contract. `project` accounts for loss by shape; it does not
/// run an engine over the result. Graduate to `wasm4pm` to act on the projected
/// shape.
///
/// # Examples
///
/// ```
/// use wasm4pm_compat::loss::{LossPolicy, LossReport, Project, ProjectionName};
///
/// /// Flatten an OCEL (modeled here as a list of object types) to a single
/// /// case object type, dropping the rest.
/// struct OcelFlatten {
///     object_types: Vec<&'static str>,
///     case_type: &'static str,
/// }
///
/// enum OcelShape {}
/// enum XesShape {}
///
/// impl Project for OcelFlatten {
///     type From = OcelShape;
///     type To = XesShape;
///     type Lost = Vec<&'static str>;
///     type Reason = &'static str;
///     fn project(
///         self,
///         policy: LossPolicy,
///     ) -> Result<LossReport<Self::From, Self::To, Self::Lost>, Self::Reason> {
///         let dropped: Vec<&'static str> =
///             self.object_types.iter().copied().filter(|t| *t != self.case_type).collect();
///         if !dropped.is_empty() && policy == LossPolicy::RefuseLoss {
///             return Err("FlatteningLoss");
///         }
///         Ok(LossReport::new(
///             ProjectionName("ocel-flatten-to-xes:by-case"),
///             policy,
///             dropped,
///         ))
///     }
/// }
///
/// let flat = OcelFlatten { object_types: vec!["order", "item"], case_type: "order" };
/// // RefuseLoss path: dropping "item" is refused with a *named* reason.
/// let refused = OcelFlatten { object_types: vec!["order", "item"], case_type: "order" }
///     .project(LossPolicy::RefuseLoss);
/// assert_eq!(refused.err(), Some("FlatteningLoss"));
/// // Reporting path: the loss is allowed and recorded.
/// let report = flat.project(LossPolicy::AllowLossWithReport).unwrap();
/// assert_eq!(report.lost, vec!["item"]);
/// ```
pub trait Project {
    /// The shape being projected from.
    type From;
    /// The shape being projected to.
    type To;
    /// The concrete record of discarded evidence.
    type Lost;
    /// The *named* refusal reason when loss is not permitted.
    type Reason;

    /// Projects under `policy`, either reporting the loss or refusing it.
    ///
    /// The return type intentionally spells out
    /// `Result<LossReport<…>, Reason>` rather than hiding it behind an alias:
    /// the *shape of the verdict* (report-the-loss or named-refuse) is the
    /// contract, imported verbatim by other surfaces.
    #[allow(clippy::type_complexity)]
    fn project(
        self,
        policy: LossPolicy,
    ) -> Result<LossReport<Self::From, Self::To, Self::Lost>, Self::Reason>;
}