acdream/tests/AcDream.App.Tests/Diagnostics/ConnectedR6SoakContractTests.cs

namespace AcDream.App.Tests.Diagnostics;

public sealed class ConnectedR6SoakContractTests
{
    private static readonly string[] ExpectedCheckpointNames =
    [
        "caul-baseline",
        "sawato-baseline",
        "rynthid",
        "aerlinthe",
        "sawato-return",
        "holtburg",
        "caul-return",
        "sawato-plateau",
        "caul-plateau",
    ];

    [Fact]
    public void RouteContainsExactlyNineOrderedCheckpointBarriers()
    {
        string[] checkpoints = File.ReadAllLines(Path.Combine(
                FindRepoRoot(),
                "tools",
                "connected-r6-soak.route.txt"))
            .Select(static line => line.Trim())
            .Where(static line => line.StartsWith(
                "checkpoint ",
                StringComparison.Ordinal))
            .Select(static line => line["checkpoint ".Length..])
            .ToArray();

        Assert.Equal(ExpectedCheckpointNames, checkpoints);

        string[] teleports = File.ReadAllLines(Path.Combine(
                FindRepoRoot(),
                "tools",
                "connected-r6-soak.route.txt"))
            .Select(static line => line.Trim())
            .Where(static line => line.StartsWith(
                "command /teleloc ",
                StringComparison.Ordinal))
            .ToArray();
        Assert.Equal(9, teleports.Length);
        Assert.All(teleports, static line => Assert.EndsWith(
            " 1 0 0 0",
            line,
            StringComparison.Ordinal));
    }

    [Fact]
    public void GateConsumesCanonicalTimelineWithoutWeakeningResidencyFormulas()
    {
        string source = File.ReadAllText(Path.Combine(
            FindRepoRoot(),
            "tools",
            "run-connected-r6-soak.ps1"));

        AssertAppearsInOrder(
            source,
            "$expectedCheckpointNames = @(",
            "'caul-baseline'",
            "'sawato-baseline'",
            "'rynthid'",
            "'aerlinthe'",
            "'sawato-return'",
            "'holtburg'",
            "'caul-return'",
            "'sawato-plateau'",
            "'caul-plateau'");
        AssertAppearsInOrder(
            source,
            "$canonicalCheckpoints = @(Read-CanonicalCheckpoints)",
            "Add-CanonicalCheckpointFailures $process",
            "Add-RelativeGateFailures");
        Assert.Contains("CanonicalCheckpoints = @($canonicalCheckpoints)", source);
        Assert.Contains("CheckpointTimeline = $checkpointTimeline", source);
        Assert.Contains(
            "Join-Path $artifactDir \"checkpoint-$expectedName.json\"",
            source,
            StringComparison.Ordinal);
        Assert.Contains(
            "missing render-world synchronization fields",
            source,
            StringComparison.Ordinal);
        Assert.Contains(
            "canonical cache '$field' grew",
            source,
            StringComparison.Ordinal);
        Assert.Contains(
            "if ($workloadChanged) { $warnings.Add($message) }",
            source,
            StringComparison.Ordinal);

        string[] zeroFields =
        [
            "pendingLiveTeardowns",
            "pendingLandblockRetirements",
            "stagedMeshUploads",
            "stagedMeshBytes",
            "compositeWarmupPending",
        ];
        foreach (string field in zeroFields)
            Assert.Contains($"'{field}'", source, StringComparison.Ordinal);

        Assert.Equal(1, CountOccurrences(
            source,
            "$privateLimit = [Math]::Max(192.0, $pair.First.PrivateMiB * 0.20)"));
        Assert.Equal(1, CountOccurrences(
            source,
            "$workingLimit = [Math]::Max(192.0, $pair.First.WorkingSetMiB * 0.20)"));
        Assert.Equal(1, CountOccurrences(
            source,
            "$updateLimit = $pair.First.UpdateP95Ms * 1.5 + 0.5"));
        Assert.Equal(1, CountOccurrences(
            source,
            "$allocLimit = $pair.First.AllocP50Kb * 1.5 + 16.0"));
    }

    [Fact]
    public void UncappedRenderDefaultsToCappedAndIsGatedByAParameter()
    {
        // 2026-07-24 measurement-tooling review: the soak unconditionally
        // forced ACDREAM_UNCAPPED_RENDER=1 with no capped mode, while the
        // sibling lifecycle gate script exposes both. Pin the fix so it
        // cannot silently regress back to an unconditional '1'.
        string source = File.ReadAllText(Path.Combine(
            FindRepoRoot(),
            "tools",
            "run-connected-r6-soak.ps1"));

        Assert.Contains("[switch]$Uncapped", source, StringComparison.Ordinal);
        Assert.Contains(
            "$env:ACDREAM_UNCAPPED_RENDER = if ($Uncapped) { '1' } else { $null }",
            source,
            StringComparison.Ordinal);
        Assert.DoesNotContain(
            "$env:ACDREAM_UNCAPPED_RENDER = '1'",
            source,
            StringComparison.Ordinal);
    }

    [Fact]
    public void StationaryDwellSamplesAfterTheLivenessDeadline()
    {
        // LiveEntityLivenessController.DestructionTimeoutSeconds is 25s; the
        // stationary sample must dwell past it or a prior destination's
        // records can masquerade as retained memory in the return gate.
        // The script previously slept only 12s despite the comment already
        // citing the 25s deadline.
        string source = File.ReadAllText(Path.Combine(
            FindRepoRoot(),
            "tools",
            "run-connected-r6-soak.ps1"));

        AssertAppearsInOrder(
            source,
            "LiveEntityLivenessController's authoritative absence deadline is 25",
            "Start-Sleep -Seconds 26");
    }

    [Fact]
    public void LaunchConfigurationIsDisclosedToTheArtifactDirectoryBeforeLaunch()
    {
        // 2026-07-24 measurement-tooling review: a prior audit could only
        // observe ACDREAM_DUMP_MOVE_TRUTH because no other ACDREAM_* launch
        // flag the script sets was ever recorded anywhere machine-readable.
        string source = File.ReadAllText(Path.Combine(
            FindRepoRoot(),
            "tools",
            "run-connected-r6-soak.ps1"));

        AssertAppearsInOrder(
            source,
            "Get-ChildItem Env: | Where-Object { $_.Name -like 'ACDREAM_*' }",
            "Join-Path $artifactDir 'env-disclosure.json'",
            "try {");
        Assert.Contains(
            "EnvDisclosure = Join-Path $artifactDir 'env-disclosure.json'",
            source,
            StringComparison.Ordinal);
        // ACDREAM_DUMP_MOVE_TRUTH stays SET (the exercise gate greps its
        // output) — it is now disclosed, not removed.
        Assert.Contains("$env:ACDREAM_DUMP_MOVE_TRUTH = '1'", source, StringComparison.Ordinal);
    }

    private static int CountOccurrences(string source, string value)
    {
        int count = 0;
        int cursor = 0;
        while ((cursor = source.IndexOf(value, cursor, StringComparison.Ordinal)) >= 0)
        {
            count++;
            cursor += value.Length;
        }

        return count;
    }

    private static void AssertAppearsInOrder(string source, params string[] values)
    {
        int cursor = -1;
        foreach (string value in values)
        {
            int next = source.IndexOf(value, cursor + 1, StringComparison.Ordinal);
            Assert.True(next >= 0, $"Missing expected source fragment: {value}");
            Assert.True(next > cursor, $"Out-of-order source fragment: {value}");
            cursor = next;
        }
    }

    private static string FindRepoRoot()
    {
        DirectoryInfo? directory = new(AppContext.BaseDirectory);
        while (directory is not null)
        {
            if (File.Exists(Path.Combine(directory.FullName, "AcDream.slnx")))
                return directory.FullName;
            directory = directory.Parent;
        }

        throw new DirectoryNotFoundException("Could not find AcDream.slnx.");
    }
}