atomic-design-poc/backend/tests/BigRegister.Tests/RuleTests.cs

using BigRegister.Domain.Diplomas;
using BigRegister.Domain.Documents;
using BigRegister.Domain.Registrations;
using BigRegister.Domain.Submissions;

namespace BigRegister.Tests;

public class DocumentRuleTests
{
    [Fact]
    public void Rejects_unknown_category() =>
        Assert.NotNull(DocumentRules.RejectUpload(null, "application/pdf", 1));

    [Fact]
    public void Rejects_disallowed_type()
    {
        var c = DocumentRules.Find("registratie", "diploma");
        Assert.NotNull(DocumentRules.RejectUpload(c, "text/plain", 1));
    }

    [Fact]
    public void Rejects_oversized_file()
    {
        var c = DocumentRules.Find("registratie", "diploma");
        Assert.NotNull(DocumentRules.RejectUpload(c, "application/pdf", 11L * 1024 * 1024));
    }

    [Fact]
    public void Accepts_valid_file()
    {
        var c = DocumentRules.Find("registratie", "diploma");
        Assert.Null(DocumentRules.RejectUpload(c, "application/pdf", 5L * 1024 * 1024));
    }

    private static IReadOnlyList<string> Ids(string? herkomst, string? taalvaardigheid) =>
        DocumentRules.CategoriesFor("registratie", herkomst, taalvaardigheid).Select(c => c.CategoryId).ToList();

    [Fact]
    public void First_load_has_no_diploma_upload() => // no diploma chosen yet
        Assert.Equal(new[] { "identiteit" }, Ids(null, null));

    [Fact]
    public void Manual_diploma_needs_a_diploma_upload() =>
        Assert.Equal(new[] { "diploma", "identiteit" }, Ids("handmatig", null));

    [Fact]
    public void Duo_diploma_skips_diploma_upload() =>
        Assert.DoesNotContain("diploma", Ids("duo", null));

    [Fact]
    public void Confirmed_dutch_proficiency_requires_taalvaardigheid_proof() =>
        Assert.Contains("taalvaardigheid", Ids("handmatig", "ja"));

    [Fact]
    public void Unconfirmed_proficiency_requires_no_taalvaardigheid_proof() =>
        Assert.DoesNotContain("taalvaardigheid", Ids("handmatig", "nee"));

    [Fact]
    public void Find_resolves_taalvaardigheid_for_upload_validation() =>
        Assert.NotNull(DocumentRules.Find("registratie", "taalvaardigheid"));
}

public class HerregistratieRuleTests
{
    private static Registration Active(DateOnly deadline) => new(
        "19012345601", "Test", "Arts",
        new DateOnly(2012, 9, 1), new DateOnly(1985, 3, 14),
        new RegistrationStatus(StatusTag.Geregistreerd, HerregistratieDatum: deadline));

    [Fact]
    public void Eligible_within_window()
    {
        var (eligible, reason) = HerregistratieRule.Evaluate(
            Active(new DateOnly(2027, 3, 1)), today: new DateOnly(2026, 6, 26));
        Assert.True(eligible);
        Assert.Contains("12 maanden", reason);
    }

    [Fact]
    public void Not_eligible_before_window()
    {
        var (eligible, _) = HerregistratieRule.Evaluate(
            Active(new DateOnly(2027, 3, 1)), today: new DateOnly(2025, 1, 1));
        Assert.False(eligible);
    }

    [Fact]
    public void Eligible_on_window_boundary()
    {
        // window opens exactly 12 months before the deadline
        var (eligible, _) = HerregistratieRule.Evaluate(
            Active(new DateOnly(2027, 3, 1)), today: new DateOnly(2026, 3, 1));
        Assert.True(eligible);
    }

    [Fact]
    public void Suspended_is_not_eligible()
    {
        var reg = Active(new DateOnly(2027, 3, 1)) with
        {
            Status = new RegistrationStatus(StatusTag.Geschorst, GeschorstTot: new DateOnly(2027, 1, 1), Reden: "x"),
        };
        var (eligible, _) = HerregistratieRule.Evaluate(reg, today: new DateOnly(2026, 6, 26));
        Assert.False(eligible);
    }

    [Fact]
    public void Status_consistency_invariant()
    {
        Assert.True(HerregistratieRule.IsStatusConsistent(
            new RegistrationStatus(StatusTag.Geregistreerd, HerregistratieDatum: new DateOnly(2027, 3, 1))));
        Assert.False(HerregistratieRule.IsStatusConsistent(
            new RegistrationStatus(StatusTag.Geregistreerd)));
    }
}

public class DiplomaRuleTests
{
    private static Diploma Diploma(string opleiding, bool engelstalig) =>
        new("x", "naam", "instelling", 2011, opleiding, engelstalig);

    [Theory]
    [InlineData("geneeskunde", "Arts")]
    [InlineData("verpleegkunde", "Verpleegkundige")]
    [InlineData("onbekend-programma", "Onbekend")]
    public void Profession_is_derived_from_program(string opleiding, string expected) =>
        Assert.Equal(expected, DiplomaRules.ProfessionFor(Diploma(opleiding, false)));

    [Fact]
    public void English_diploma_requires_dutch_proficiency()
    {
        var questions = DiplomaRules.QuestionsFor(Diploma("geneeskunde", engelstalig: true));
        Assert.Single(questions);
        Assert.Equal("nl-taalvaardigheid", questions[0].Id);
    }

    [Fact]
    public void Dutch_diploma_has_no_policy_questions() =>
        Assert.Empty(DiplomaRules.QuestionsFor(Diploma("geneeskunde", engelstalig: false)));

    [Fact]
    public void Manual_diploma_gets_maximal_set()
    {
        var questions = DiplomaRules.ManualQuestions();
        Assert.Equal(3, questions.Count);
        Assert.Equal(new[] { "nl-taalvaardigheid", "diploma-erkend", "toelichting" },
            questions.Select(q => q.Id));
    }

    [Fact]
    public void Manual_professions_match_known_programs() =>
        Assert.Equal(new[] { "Arts", "Verpleegkundige", "Fysiotherapeut", "Apotheker", "Tandarts" },
            DiplomaRules.ManualProfessions());
}

public class SubmissionRuleTests
{
    [Fact]
    public void Manual_diploma_is_rejected() =>
        Assert.NotNull(SubmissionRules.RejectRegistratie("handmatig"));

    [Fact]
    public void Duo_diploma_is_accepted() =>
        Assert.Null(SubmissionRules.RejectRegistratie("duo"));

    [Fact]
    public void Zero_hours_is_rejected() =>
        Assert.NotNull(SubmissionRules.RejectZeroUren(0));

    [Fact]
    public void Worked_hours_are_accepted() =>
        Assert.Null(SubmissionRules.RejectZeroUren(40));

    [Theory]
    [InlineData("Lange Voorhout 9", "2514 EA", null)]   // valid
    [InlineData("", "2514 EA", "Vul straat en huisnummer in.")]
    [InlineData("Straat 1", "nope", "Voer een geldige postcode in, bijv. 1234 AB.")]
    public void Change_request_is_validated(string straat, string postcode, string? expected) =>
        Assert.Equal(expected, SubmissionRules.RejectChangeRequest(straat, postcode));
}