The masquerade

using System.Text.Json;
using System.Text.Json.Serialization;
using Kallamo.Umwelt;
using var engine = UmweltEngine.Create("palazzo.umw");
const string projectId = "palazzo";
var provenance = Provenance.Human();
var json = new JsonSerializerOptions
{
    DefaultIgnoreCondition = JsonIgnoreCondition.WhenWritingNull,
    Converters = { new JsonStringEnumConverter(JsonNamingPolicy.KebabCaseLower) },
};
void Print(string label, object? value) => Console.WriteLine($"@@{label}\n{JsonSerializer.Serialize(value, json)}");

// The engine's own record of Livia is one id and one stored name. What anyone calls her is another matter.
// The world, declared once: sending the same manifest again changes nothing.
engine.WorldEnsure(new EnsureWorldInput
{
    Project = new WorldProject { Id = projectId, Name = "The masquerade at Palazzo Vey", Timescale = "hour" },
    EntityTypes = new()
    {
        new WorldEntityType { Id = "person", Name = "Person", Kind = EntityKind.Agent },
        new WorldEntityType { Id = "thing", Name = "Thing", Kind = EntityKind.Other },
    },
    Entities = new()
    {
        new WorldEntity { Id = "livia", TypeId = "person", Name = "Livia Vey" },
        new WorldEntity { Id = "marco", TypeId = "person", Name = "Marco, captain of the guard" },
        new WorldEntity { Id = "nico", TypeId = "person", Name = "Nico, the fence" },
        new WorldEntity { Id = "gemma", TypeId = "person", Name = "Gemma, her maid" },
        new WorldEntity { Id = "duke", TypeId = "person", Name = "The Duke" },
        new WorldEntity { Id = "emerald", TypeId = "thing", Name = "The Duke’s emerald" },
    },
    Predicates = new()
    {
        new PredicateDef { Id = "stole", Label = "stole", Object = ObjectKind.Entity, Cardinality = Cardinality.Many },
    },
});
// Names are claims with reserved predicates: umwelt:name, umwelt:title, umwelt:alias.
Claim Name(string value) => Claim.Value("livia", "umwelt:name", value);
Claim Title(string value, bool polarity = true) => Claim.Value("livia", "umwelt:title", value, polarity);
Claim Alias(string value) => Claim.Value("livia", "umwelt:alias", value);
// Meeting her is Awareness: knowing she exists, nothing about her.
RecordInput Meets(string id, string holder) => new RecordInput.Awareness { Id = id, Holder = holder, Target = "livia" };

// Before the ball: who she is, and who already knows her by what.
engine.Commit(new CommitInput
{
    ProjectId = projectId, AttemptId = "before",
    Event = new EventInput { Id = "before", Type = "backstory", Title = "Before the ball", Position = Position.At(0), Participants = new() { "livia", "nico", "gemma", "duke" }, Provenance = provenance },
    Records = new()
    {
        Records.Fact(Name("Livia Vey"), id: "canon-name"),
        Records.Fact(Title("Countess"), id: "canon-title"),
        Records.Fact(Alias("the fox"), id: "canon-fox"),
        Records.Knows("nico", Alias("the fox"), Acquired.Witnessed("before"), id: "nico-fox"),
        Records.Knows("gemma", Name("Livia Vey"), Acquired.Witnessed("before"), id: "gemma-name"),
        Records.Knows("gemma", Title("Countess"), Acquired.Witnessed("before"), id: "gemma-title"),
        Meets("gemma-met", "gemma"),
        Records.Knows("duke", Title("Countess"), Acquired.Witnessed("before"), id: "duke-title"),
        Meets("duke-met", "duke"),
    },
});
// Arrivals: the guard sees a guest in a silver mask, and that is all he sees.
engine.Commit(new CommitInput
{
    ProjectId = projectId, AttemptId = "arrivals",
    Event = new EventInput { Id = "arrivals", Type = "scene", Title = "The guests arrive", Position = Position.At(1), Participants = new() { "livia", "marco", "duke" }, Provenance = provenance },
    Records = new()
    {
        Records.Fact(Alias("the woman in the silver mask"), id: "canon-mask"),
        Records.Knows("marco", Alias("the woman in the silver mask"), Acquired.Witnessed("arrivals"), id: "marco-mask"),
        Meets("marco-met", "marco"),
        Records.Knows("duke", Alias("the woman in the silver mask"), Acquired.Witnessed("arrivals"), id: "duke-mask"),
    },
});
// Eleven o'clock: the emerald goes. Midnight: the masks come off, before the Duke and the guard.
engine.Commit(new CommitInput
{
    ProjectId = projectId, AttemptId = "theft",
    Event = new EventInput { Id = "theft", Type = "scene", Title = "The emerald is gone", Position = Position.At(2), Participants = new() { "livia" }, Provenance = provenance },
    Records = new() { Records.Fact(Claim.Entity("livia", "stole", "emerald"), id: "canon-theft") },
});
engine.Witness(new WitnessInput
{
    ProjectId = projectId, AttemptId = "midnight",
    Event = new EventInput { Id = "midnight", Type = "scene", Title = "Midnight: the masks come off", Position = Position.At(3), Participants = new() { "livia", "marco", "duke" }, Provenance = provenance },
    Claims = new() { new WitnessedClaim { Claim = Name("Livia Vey") } },
    Witnesses = new() { new Witness { Holder = "marco" }, new Witness { Holder = "duke" } },
});
// Dawn: stripped of her title. A negated latest title clears it.
engine.Commit(new CommitInput
{
    ProjectId = projectId, AttemptId = "dawn",
    Event = new EventInput { Id = "dawn", Type = "decree", Title = "The Duke’s decree", Position = Position.At(4), Participants = new() { "duke" }, Provenance = provenance },
    Records = new() { Records.Fact(Title("Countess", polarity: false), id: "canon-stripped") },
});
// What each guest can call her, before and after midnight.
var cards = new Dictionary<string, List<object>>();
foreach (var holder in new[] { "marco", "nico", "gemma", "duke" })
{
    cards[holder] = new();
    foreach (var tick in new long[] { 2, 3 })
    {
        var known = engine.EntityAsKnownBy(new EntityKnownPayload { ProjectId = projectId, EntityId = "livia", Holder = holder, At = new At { Tick = tick } });
        cards[holder].Add(new { tick, name = known.Name, title = known.Title, aliases = known.Aliases, aware = known.Aware });
    }
}
Print("cards", cards);

// What canon calls her, at the ball and after the decree.
foreach (var tick in new long[] { 1, 4 })
{
    var canon = engine.EntityAt(new EntityAtPayload { ProjectId = projectId, EntityId = "livia", At = new At { Tick = tick } });
    Print($"canon-{tick}", new { name = canon.Name, title = canon.Title, aliases = canon.Aliases });
}