using System.Text.Json;
using XFEEDToolBox.Test;

var tests=new GalaxyOriginalStateFactsTests();
tests.PseudoUnpopulatedOverridesBaseWarAndQueryReceiptsWithoutBorrowingPublicState();
tests.ActualProviderKeysAndHdrRgbaRemainIndependentOfBasicEnumsAndUnknownFallbacks();
tests.UnrequestedOrMissingStateNeverRecoversFromBasicOrPublicPositives();
tests.WireKeepsSourceKeysUnknownRawIdsAndRejectsContradictoryProvenanceOrColours();
var result=new{passed=4,total=4,sourceLinked=true,fullTestProjectBuilt=false,gameAccess=false,networkRequests=0};
Directory.CreateDirectory("artifacts/galaxy-state-filter-probe");
File.WriteAllText("artifacts/galaxy-state-filter-probe/result.json",JsonSerializer.Serialize(result));
Console.WriteLine(JsonSerializer.Serialize(result));