Phase 33: technician climate control and locker assignment.

This commit is contained in:
Leonid Pershin
2026-08-20 04:44:41 +03:00
parent ee23fb4994
commit ce772cd3c3
19 changed files with 436 additions and 24 deletions
@@ -0,0 +1,27 @@
using HSchool.Content;
namespace HSchool.Content.Tests;
public class ChangingRoomMapTests
{
[Fact]
public void VanillaMap_HasTwoChangingRooms_AndGraphIsConnected()
{
var root = Path.Combine(AppContext.BaseDirectory, "vanilla");
var documents = PackDocuments.FromDirectory(CatalogLoader.CorePackId, root);
var catalog = new CatalogLoader().Load([CatalogLoader.CorePackId], documents);
var map = CatalogLoader.LastDefaultMap([CatalogLoader.CorePackId], documents);
Assert.NotNull(map);
MapValidator.Validate(map, catalog);
var changing = map.Rooms
.Where(room => room.Def is "MaleChangingRoom" or "FemaleChangingRoom")
.ToList();
Assert.Equal(2, changing.Count);
Assert.Contains(map.Rooms, room => room.Id == "boys-changing-room" && room.Def == "MaleChangingRoom");
Assert.Contains(map.Rooms, room => room.Id == "girls-changing-room" && room.Def == "FemaleChangingRoom");
Assert.Contains(map.Rooms, room => room.Id == "utility-room" && room.Def == "UtilityRoom");
Assert.Equal(["Technician"], catalog.PositionsFor(DefKind.Room, "UtilityRoom"));
}
}
@@ -0,0 +1,127 @@
using HSchool.Content;
namespace HSchool.People.Tests;
public class LockerAssignerTests
{
private static readonly DateTime September = new(2012, 9, 1, 6, 0, 0, DateTimeKind.Utc);
[Fact]
public void TenLockersForFortyGirls_SeniorsFirst_EleventhHasNone()
{
var catalog = Fixtures.Catalog();
var map = WithGirlLockerCount(Fixtures.VanillaMap(), 10);
var roster = Fixtures.Generate(map);
roster = LockerAssigner.Apply(catalog, map, roster);
var classes = roster.Classes.ToDictionary(schoolClass => schoolClass.Id, StringComparer.Ordinal);
var girls = roster.People
.Where(person => person.IsStudent && person.Female)
.Select(person =>
{
var year = person.ClassId is { } classId && classes.TryGetValue(classId, out var schoolClass)
? schoolClass.Year
: 0;
return (Person: person, Year: year);
})
.OrderByDescending(entry => entry.Year)
.ThenBy(entry => entry.Person.Id, StringComparer.Ordinal)
.ToArray();
Assert.True(girls.Length >= 11, $"need at least eleven girls, got {girls.Length}");
var withLocker = girls
.Where(entry => entry.Person.LockerRoomId is not null)
.ToArray();
Assert.Equal(10, withLocker.Length);
Assert.All(withLocker, entry => Assert.Equal("girls-changing-room", entry.Person.LockerRoomId));
Assert.Null(girls[10].Person.LockerRoomId);
}
[Fact]
public void Boy_DoesNotReceiveTheGirlsChangingRoomSlot()
{
var catalog = Fixtures.Catalog();
var map = Fixtures.VanillaMap();
var roster = LockerAssigner.Apply(catalog, map, Fixtures.Generate(map));
foreach (var boy in roster.People.Where(person => person.IsStudent && !person.Female))
{
Assert.NotEqual("girls-changing-room", boy.LockerRoomId);
if (boy.LockerRoomId is not null)
{
Assert.Equal("boys-changing-room", boy.LockerRoomId);
}
}
}
[Fact]
public void AfterSeptemberIntake_GraduateDoesNotKeepASlot()
{
var catalog = Fixtures.Catalog();
var map = Fixtures.VanillaMap();
var before = LockerAssigner.Apply(catalog, map, Fixtures.Generate(map));
var maxYear = before.Classes.Max(schoolClass => schoolClass.Year);
var graduate = before.People.First(person =>
person.IsStudent
&& person.Female
&& person.LockerRoomId is not null
&& person.ClassId is { } classId
&& before.Classes.Single(schoolClass => schoolClass.Id == classId).Year == maxYear);
var after = LockerAssigner.Apply(
catalog,
map,
YearlyIntake.Apply(catalog, before, Fixtures.SchoolSeed, "Russia", September));
Assert.DoesNotContain(after.People, person => person.Id.Equals(graduate.Id, StringComparison.Ordinal));
}
[Fact]
public void Staff_NeverReceiveLockerSlots()
{
var catalog = Fixtures.Catalog();
var map = Fixtures.VanillaMap();
var roster = Fixtures.Generate(map);
var pool = ApplicantPool.Create(catalog, roster, Fixtures.SchoolSeed, "Russia", Fixtures.AsOf);
var hired = Staffing.Hire(catalog, map, roster, pool, pool.Applicants[0].Person.Id, Staffing.TeacherPosition, 100_000f);
var assigned = LockerAssigner.Apply(catalog, map, hired.Roster);
Assert.All(
assigned.People.Where(person => person.IsStaff),
person => Assert.Null(person.LockerRoomId));
}
private static MapLayout WithGirlLockerCount(MapLayout map, int count)
{
var rooms = map.Rooms
.Select(room =>
{
if (!room.Id.Equals("girls-changing-room", StringComparison.Ordinal))
{
return room;
}
return new RoomNode
{
Id = room.Id,
Def = room.Def,
Building = room.Building,
Floor = room.Floor,
Label = room.Label,
Seats = room.Seats,
Slots = [new SlotFill { Key = "lockers", Thing = "Locker", Count = count }],
};
})
.ToArray();
return new MapLayout
{
Territory = map.Territory,
Buildings = map.Buildings,
Floors = map.Floors,
Rooms = rooms,
Links = map.Links,
};
}
}
@@ -0,0 +1,99 @@
using HSchool.Content;
using HSchool.People;
namespace HSchool.Simulation.Tests;
public class TechnicianClimateTests
{
private static readonly DateTime JanuaryMorning = new(2012, 1, 15, 6, 0, 0, DateTimeKind.Utc);
private static readonly DateTime JulyAfternoon = new(2012, 7, 15, 15, 0, 0, DateTimeKind.Utc);
private const float Cap = 100_000f;
[Fact]
public void WithoutTechnician_JanuaryClassroom_IsColdButWarmerThanTheYard()
{
using var school = Open(JanuaryMorning);
var outdoor = PlaceClimate.TemperatureC(school, "yard");
var room = PlaceClimate.TemperatureC(school, "classroom-101");
Assert.True(room > outdoor);
Assert.True(room < 18f, $"walls only, got {room}");
}
[Fact]
public void WithoutTechnician_JanuaryClassroom_IsColderThanWithHiredTechnician()
{
using var bare = Open(JanuaryMorning);
using var heated = Open(JanuaryMorning);
HireTechnician(heated);
var bareRoom = PlaceClimate.TemperatureC(bare, "classroom-101");
var heatedRoom = PlaceClimate.TemperatureC(heated, "classroom-101");
Assert.True(bareRoom < heatedRoom, $"{bareRoom} vs {heatedRoom}");
}
[Fact]
public void HiredTechnician_InJuly_KeepsClassroomBelowTheHotStreet()
{
using var school = Open(JulyAfternoon);
var outdoor = school.Weather.TemperatureC;
Assert.True(outdoor > 25f, $"expected a hot July street, got {outdoor}");
var bareRoom = PlaceClimate.TemperatureC(school, "classroom-101");
Assert.True(bareRoom > outdoor);
HireTechnician(school);
var cooled = PlaceClimate.TemperatureC(school, "classroom-101");
Assert.True(cooled < outdoor, $"{cooled} vs street {outdoor}");
Assert.True(cooled <= 24f, $"comfort band top, got {cooled}");
}
private static void HireTechnician(School school)
{
var catalog = school.Catalog!;
var map = school.Map!;
var pool = school.Applicants!;
var hired = Staffing.Hire(
catalog,
map,
school.Roster!,
pool,
pool.Applicants[0].Person.Id,
"Technician",
Cap);
Assert.Equal(StaffingError.None, hired.Error);
school.ApplyStaffing(hired.Roster, hired.Pool);
}
private static School Open(DateTime start)
{
var (catalog, map) = VanillaMap();
var roster = RosterGenerator.Generate(catalog, map, schoolSeed: 1, "Russia", start);
var pool = ApplicantPool.Create(catalog, roster, schoolSeed: 1, "Russia", start);
var school = School.Create(1, "Климат", start, catalog, map);
school.InstallPeople(roster, seed: 1, "Russia", pool, climatePresetId: "TemperateContinental");
school.ConfigurePresence();
return school;
}
private static (DefCatalog Catalog, MapLayout Map) VanillaMap()
{
var root = Path.Combine(AppContext.BaseDirectory, "vanilla");
var documents = new List<ContentDocument>();
foreach (var path in Directory.EnumerateFiles(root, "*.*", SearchOption.AllDirectories))
{
if (!path.EndsWith(".jsonc", StringComparison.OrdinalIgnoreCase)
&& !path.EndsWith(".json", StringComparison.OrdinalIgnoreCase))
{
continue;
}
var relative = Path.GetRelativePath(root, path).Replace('\\', '/');
documents.Add(new ContentDocument(CatalogLoader.CorePackId, relative, File.ReadAllText(path)));
}
var catalog = new CatalogLoader().Load([CatalogLoader.CorePackId], documents);
var map = CatalogLoader.LastDefaultMap([CatalogLoader.CorePackId], documents);
Assert.NotNull(map);
return (catalog, map);
}
}