using FrenchExDev.Net.State.Economy.Dsl;

namespace FrenchExDev.Net.State.Economy.France2026.DGFiP.Dsl;

/// <summary>
/// Loi de règlement 2025 — adoptée en 2026, elle arrête les comptes de
/// l'État pour l'exercice clos. Elle porte à la fois <see cref="ClosureActAttribute"/>
/// et <see cref="CourDesComptesOpinionAttribute"/> : l'analyzer ECO004
/// reconnaît la chaîne audit → décharge et ne lève aucun diagnostic.
/// </summary>
[ClosureAct(fiscalYear: 2025)]
[CourDesComptesOpinion(
    reportReference: "Rapport sur l'exécution du budget de l'État 2025",
    issueDate: "2026-05-15")]
public sealed class LoiDeReglement2025Approuvee
{
    /// <summary>Solde d'exécution budgétaire 2025 en comptabilité générale de l'État.</summary>
    public EurosBillions SoldeExecution => EurosBillions.Of(-148.3m);
}

/// <summary>
/// Contre-exemple (commenté) : un acte de clôture sans audit déclencherait
/// le diagnostic ECO004 en <c>warning</c>. Décommentez pour vérifier.
/// </summary>
// [ClosureAct(fiscalYear: 2024)]
// public sealed class LoiDeReglement2024NonAuditee
// {
//     public EurosBillions SoldeExecution => EurosBillions.Of(-172.0m);
// }