dpp-domain 0.21.0

//! The `CITED_NOT_MODELLED` inventory, and the detectors' own tests.
//!
//! The detectors themselves now live in [`super::citation`], which is public
//! because the doc-comment citation gate in the cross-crate test tier needs them
//! and cannot see a `#[cfg(test)]` module. Their tests stay here, beside the
//! rules they were written for.

use super::citation::{act_refs, cites_article_or_annex};

/// The gate is only worth having if it fails on the shapes it exists to catch.
///
/// Asserted directly on the detectors rather than by mutating a schema, so the
/// evidence lives beside the rules instead of in a commit message somebody has
/// to find.
#[test]
fn the_detectors_catch_what_they_are_for() {
    // Rule B — the original defect: an act number that resolves to nothing.
    let invented = act_refs("Per Regulation (EU) 2027/9999 Annex II.");
    assert_eq!(
        invented.first().map(|a| a.celex.as_str()),
        Some("32027R9999"),
        "an invented act number must still parse, or Rule B never sees it"
    );

    // Rule A — an unanchored annex citation.
    assert!(cites_article_or_annex(
        "SVHC substances per REACH Article 33."
    ));
    assert!(cites_article_or_annex(
        "Contact allergens under Annex XVII entry 72."
    ));
    assert!(!cites_article_or_annex(
        "Recycled content share as a percentage of total mass."
    ));

    // Both numbering conventions, and every act kind the sector letter can be.
    for (prose, expected) in [
        ("Regulation (EU) 2023/1670", "32023R1670"),
        ("Regulation (EC) No 1907/2006", "32006R1907"),
        ("Directive 2011/65/EU", "32011L0065"),
        ("Directive (EU) 2017/1132", "32017L1132"),
        ("EU Battery Regulation 2023/1542", "32023R1542"),
        ("replacing 1222/2009", "32009R1222"),
        // 🚨 Decisions. There was no arm for them, so every one resolved as a
        // Regulation — a CELEX that points at a different act, or at nothing.
        // Both of these are cited in this workspace today.
        (
            "Commission Implementing Decision (EU) 2026/1736",
            "32026D1736",
        ),
        (
            "Commission Implementing Decision (EU) 2015/1506",
            "32015D1506",
        ),
        // The form the old rule got backwards: a Decision carrying the trailing
        // `/EU` that used to be read as proof of a Directive.
        ("Commission Decision 2011/833/EU", "32011D0833"),
        // Nothing cites a Recommendation yet. Pinned anyway, because the cost of
        // the missing arm is a wrong CELEX rather than a failure.
        ("Commission Recommendation (EU) 2021/2279", "32021H2279"),
        // A sentence-ending act number. This was silently dropped while the
        // trailing-separator guard treated a full stop as a version separator,
        // which made a correctly anchored schema look unanchored.
        ("Toy fields per Regulation (EU) 2025/2509.", "32025R2509"),
    ] {
        assert_eq!(
            act_refs(prose).first().map(|a| a.celex.as_str()),
            Some(expected),
            "{prose} should resolve to {expected}"
        );
    }

    // Each act in a sentence takes the kind word nearest *it*, not the sentence's
    // first one — the shape a real citation has once more than one act is named.
    assert_eq!(
        act_refs(
            "Presumption under Regulation (EU) 2024/1781 Art. 41(2), via the \
             standards cited by Commission Implementing Decision (EU) 2026/1736."
        )
        .iter()
        .map(|a| a.celex.as_str())
        .collect::<Vec<_>>(),
        ["32024R1781", "32026D1736"],
    );

    // 🚨 A kind word must *start* a word. Matching inside one let "indecision"
    // name a Decision and "deregulation" name a Regulation, which does not fail
    // — it silently sets the sector letter from a word that is not an act type,
    // and the result is a well-formed CELEX for a different act.
    for (prose, expected) in [
        ("Market indecision since 2023/1234", "32023R1234"),
        (
            "After deregulation, Directive 2011/65/EU applied",
            "32011L0065",
        ),
        // Inflections are the same word and must still count.
        ("Both regulations, including 2023/1670", "32023R1670"),
    ] {
        assert_eq!(
            act_refs(prose).first().map(|a| a.celex.as_str()),
            Some(expected),
            "{prose} should resolve to {expected}"
        );
    }

    // Things that look like act numbers and are not. A false positive here would
    // make Rule B fail on correct prose, which is how a gate gets disabled.
    for prose in [
        "ISO/IEC 15459-1:2014, -2:2015 and -3:2014",
        "v1.1.0 renames countryOfManufacture",
        "above 0,1 % w/w",
        "placed on the market from 2031-08-18",
        "Annex VI Part A point 10",
        "ranked 1/2 in the working plan",
    ] {
        assert!(
            act_refs(prose).is_empty(),
            "{prose} must not be read as an act reference, got {:?}",
            act_refs(prose)
        );
    }
}

/// Whether an inventory entry's *reason* was read out of the primary text, or
/// written from something weaker.
///
/// The same distinction `ParameterBasis` draws for calculation inputs and
/// `RetentionBasis` and `DateBasis` draw elsewhere in this workspace, applied to
/// the claim a reason makes. Reusing the vocabulary rather than inventing a
/// marker convention is deliberate: a bespoke one would be understood only by
/// the rule that reads it.
///
/// # The default runs the other way here, and that is not an oversight
///
/// `ParameterBasis` defaults to `Sourced`, because treating law as ours silently
/// replaces a legal threshold while treating ours as law only leaves a visible
/// placeholder. **The asymmetry inverts for a citation reason.** Marking an
/// unverified reason `Sourced` asserts that someone read the Official Journal
/// when nobody did, and that assertion is invisible — the reasons read
/// identically either way, which is the whole defect this inventory was found to
/// have. So an entry is [`Assumed`](Self::Assumed) until a reader has been to the
/// text, and `Sourced` costs an article or annex number that
/// [`a_sourced_reason_cites_an_article_or_annex`] checks for.
///
/// [`a_sourced_reason_cites_an_article_or_annex`]: super::prose_citation_tests
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub(super) enum CitationBasis {
    /// Read against the Official Journal text of the act it describes. The
    /// reason names the article or annex it was read from.
    Sourced,
    /// Written from recall, a secondary source, or an adjacent act's account of
    /// this one. It may well be right; nobody has been to the text.
    Assumed,
}

/// One act cited in schema prose that the instrument catalog does not model.
pub(super) struct CitedNotModelled {
    /// CELEX identifier of the cited act.
    pub(super) celex: &'static str,
    /// Why prose legitimately cites an act no binding describes.
    pub(super) reason: &'static str,
    /// Whether that reason was read out of the primary text.
    pub(super) basis: CitationBasis,
}

/// Acts cited in schema prose that the instrument catalog does not model.
///
/// Not a suppression list — an inventory. An act appears here because prose
/// legitimately cites it while no binding in `crates/dpp-domain/instruments/`
/// describes it, which is a different statement from "we have not checked it".
/// Anything cited and *not* listed here must resolve to a catalog entry, so an
/// invented act number fails this test rather than shipping.
///
/// Adding an entry is a deliberate act with a reason attached. Removing one
/// happens when the instrument gets modelled.
///
/// # Why each entry carries a basis
///
/// **A reason is a claim.** The reasons are what make this inventory reviewable
/// rather than a list of exemptions, and several of them assert substantive
/// content about acts — a repeal date, an annex part, the absence of an
/// obligation across a whole regulation. Nothing used to distinguish a reason
/// verified against the Official Journal from one written from recall, and they
/// read identically. This repository has already had a citation inverted by
/// exactly that gap, when an act was described as current on the day it turned
/// out to have been repealed.
pub(super) const CITED_NOT_MODELLED: &[CitedNotModelled] = &[
    CitedNotModelled {
        celex: "32004R0648",
        reason: "The old Detergents Regulation. Cited only as the act Regulation \
                 (EU) 2026/405 repeals: its Art. 35 reads 'Regulation (EC) No \
                 648/2004 is repealed with effect from 23 September 2029', and \
                 directs that references be read against the correlation table in \
                 Annex VIII. The *next* article, Art. 36, carries the transition: \
                 product placed before 23 September 2029 may be made available \
                 indefinitely, and product placed in the following year until 23 \
                 September 2030 — so 'repealed' on its own overstates how cleanly \
                 it ends, which is what a reader needs. This entry said Art. 36 \
                 for both, while marked as read against the Official Journal.",
        basis: CitationBasis::Sourced,
    },
    CitedNotModelled {
        celex: "32006R1907",
        reason: "REACH. Cited for Art. 33 (SVHC communication duty above 0,1 % \
                 w/w) and Annex XVII entry 72 (restricted substances in \
                 textiles). A horizontal chemicals regime rather than a passport \
                 instrument, so it binds no product group in the catalog sense.",
        basis: CitationBasis::Assumed,
    },
    CitedNotModelled {
        celex: "32009L0048",
        reason: "Toy Safety Directive. Cited for CE marking. Superseded for \
                 passport purposes by Regulation (EU) 2025/2509, which is \
                 modelled.",
        basis: CitationBasis::Assumed,
    },
    CitedNotModelled {
        celex: "32009R0661",
        reason: "General safety of motor vehicles. Cited only as the source of \
                 the tyre noise limit values (LV) that Regulation (EU) 2020/740 \
                 grades against — a threshold this crate reads, not an \
                 obligation it carries. 2020/740's own Annex I Part C says so: \
                 'The external rolling noise class shall be determined … on the \
                 basis of the limit values (LV) set out in Part C of Annex II to \
                 Regulation (EC) No 661/2009.'",
        basis: CitationBasis::Sourced,
    },
    CitedNotModelled {
        celex: "32009R1222",
        reason: "The old tyre labelling regulation. Cited only as the act \
                 Regulation (EU) 2020/740 replaced. Its Art. 17 reads \
                 'Regulation (EC) No 1222/2009 is repealed with effect from 1 \
                 May 2021', and directs that references to it be read against \
                 the correlation table in Annex VIII.",
        basis: CitationBasis::Sourced,
    },
    CitedNotModelled {
        celex: "32011L0065",
        reason: "RoHS. Cited for the substance restrictions an electronics \
                 declaration references. Not a passport instrument.",
        basis: CitationBasis::Assumed,
    },
    CitedNotModelled {
        celex: "32017L1132",
        reason: "Company law directive. Cited for Art. 16, which establishes the \
                 unique company identifier the unsold-goods schema uses for the \
                 EUID.",
        basis: CitationBasis::Assumed,
    },
    CitedNotModelled {
        celex: "32020R0740",
        reason: "Tyre labelling. Cited for the Annex I grading scales. A \
                 labelling regime, not a passport obligation — the tyre passport \
                 duty, when one exists, will come from an ESPR delegated act.",
        basis: CitationBasis::Assumed,
    },
    CitedNotModelled {
        celex: "32023R1669",
        reason: "Energy labelling for smartphones and slate tablets. The sibling \
                 of Regulation (EU) 2023/1670, which is modelled; this one sets \
                 label classes rather than passport content.",
        basis: CitationBasis::Assumed,
    },
    CitedNotModelled {
        celex: "32024R1252",
        reason: "Critical Raw Materials Act. Cited as the source of the canonical \
                 CRM list, which Annexes I and II supply and which is why prose \
                 names it. 🚨 It was also recorded here as an act that 'does not \
                 govern disclosure'. That is false. Art. 28 requires a label \
                 stating whether a product incorporates permanent magnets and of \
                 which type, and a data carrier linked to a unique product \
                 identifier giving access to each magnet's weight, location and \
                 chemical composition; Art. 28(6) says that where a product \
                 passport is required under another Union act, 'the information \
                 referred to in paragraph 4 shall be included in that product \
                 passport'. Art. 28(7) puts that information's accuracy and a \
                 lifetime-plus-ten-years retention on the person placing the \
                 product on the market. Art. 29 requires the recycled share of \
                 eight named elements to be published on a free-access website. \
                 The act is still not *modelled* — no binding describes it — but \
                 it is a passport-content instrument, not a list of materials. \
                 \
                 Scope, because these duties are narrower than they read. Art. 28 \
                 binds an exhaustive list of products — MRI devices, wind energy \
                 generators, industrial robots, motor vehicles, light means of \
                 transport, cooling generators, heat pumps, electric motors \
                 including where integrated, washing machines, tumble driers, \
                 microwaves, vacuum cleaners, dishwashers — and none of the \
                 product groups this crate models is among them. It applies two \
                 years after an implementing act due 24 November 2026, and from \
                 24 May 2029 for MRI devices, motor vehicles and category-L \
                 vehicles. Art. 29 is narrower again: only those products, only \
                 magnet types (i) to (iii), and only where the magnets' total \
                 weight exceeds 0,2 kg — a threshold that is Art. 29's and not \
                 Art. 28's — from 24 May 2027 or two years after its delegated \
                 act, whichever is later. Art. 28(8) lets Union harmonisation \
                 legislation displace Art. 28 for a listed product, so the answer \
                 is per product group rather than global.",
        basis: CitationBasis::Sourced,
    },
];