The reader and the character

using System.Text.Json;
using System.Text.Json.Serialization;
using Kallamo.Umwelt;
using var engine = UmweltEngine.Create("glass-orchard.umw");
const string projectId = "glass-orchard";
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 world, declared once: sending the same manifest again changes nothing.
engine.WorldEnsure(new EnsureWorldInput
{
    Project = new WorldProject { Id = projectId, Name = "The Glass Orchard", Timescale = "year" },
    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 = "lena", TypeId = "person", Name = "Lena" },
        new WorldEntity { Id = "iris", TypeId = "person", Name = "Iris, her mother" },
        new WorldEntity { Id = "tomas", TypeId = "person", Name = "Tomas" },
        new WorldEntity { Id = "reader", TypeId = "person", Name = "The reader" },
        new WorldEntity { Id = "orchard", TypeId = "thing", Name = "The orchard" },
        new WorldEntity { Id = "letter", TypeId = "thing", Name = "The letter" },
    },
    Predicates = new()
    {
        new PredicateDef { Id = "father-is", Label = "father is", Object = ObjectKind.Entity, Cardinality = Cardinality.One },
        new PredicateDef { Id = "hid", Label = "hid", Object = ObjectKind.Entity, Cardinality = Cardinality.Many },
        new PredicateDef { Id = "is-dying", Label = "is dying", Object = ObjectKind.None, Cardinality = Cardinality.One },
        new PredicateDef { Id = "tends", Label = "tends", Object = ObjectKind.Entity, Cardinality = Cardinality.Many },
    },
    // The order of the pages, next to the order of the years.
    Axes = new() { new AxisDef { Id = "reading", Label = "Reading order" } },
});
// Five chapters. Chapter 3 goes back fifteen years: the reader learns who Tomas is
// two chapters before Lena does.
var fatherIsTomas = Claim.Entity("lena", "father-is", "tomas");
var irisHid = Claim.Entity("iris", "hid", "letter");
var dying = Claim.Unary("orchard", "is-dying");
var tends = Claim.Entity("tomas", "tends", "orchard");

// Chapter, year, title, who is in it, and what it records. Every record is placed
// by its chapter's event: the year on the main axis, the page on the reading axis.
var chapters = new (long Chapter, long Year, string Title, string[] Participants, Func<string, List<RecordInput>> Records)[]
{
    (1, 20, "Lena comes home", new[] { "lena" }, e => new()
    {
        Records.Fact(dying, id: "f-dying"),
        Records.Knows("lena", dying, Acquired.Witnessed(e), id: "lena-dying"),
        Records.Knows("reader", dying, Acquired.Witnessed(e), id: "reader-dying"),
    }),
    (2, 21, "The stranger in the rows", new[] { "lena", "tomas" }, e => new()
    {
        Records.Fact(tends, id: "f-tends"),
        Records.Knows("lena", tends, Acquired.Witnessed(e), id: "lena-tends"),
        Records.Knows("reader", tends, Acquired.Witnessed(e), id: "reader-tends"),
    }),
    (3, 5, "Fifteen years earlier", new[] { "iris" }, e => new()
    {
        Records.Fact(fatherIsTomas, id: "f-father"),
        Records.Fact(irisHid, id: "f-hid"),
        Records.Knows("iris", fatherIsTomas, Acquired.Witnessed(e), id: "iris-father"),
        Records.Knows("reader", fatherIsTomas, Acquired.Witnessed(e), id: "reader-father"),
        Records.Knows("reader", irisHid, Acquired.Witnessed(e), id: "reader-hid"),
    }),
    (4, 22, "Pruning", new[] { "lena", "tomas" }, e => new() { Records.Knows("lena", tends, Acquired.Witnessed(e), id: "lena-tends-2") }),
    (5, 24, "The letter", new[] { "lena" }, e => new()
    {
        Records.Knows("lena", fatherIsTomas, Acquired.Witnessed(e), id: "lena-father"),
        Records.Knows("lena", irisHid, Acquired.Witnessed(e), id: "lena-hid"),
    }),
};
foreach (var (chapter, year, title, participants, records) in chapters)
{
    var eventId = $"chapter-{chapter}";
    engine.Commit(new CommitInput
    {
        ProjectId = projectId,
        AttemptId = eventId,
        Event = new EventInput
        {
            Id = eventId, Type = "chapter", Title = title, Position = Position.At(year),
            On = new() { ["reading"] = chapter }, Participants = participants.ToList(), Provenance = provenance,
        },
        Records = records(eventId),
    });
}
IEnumerable<string> Titles(string? axis = null) =>
    engine.Timeline(new TimelinePayload { ProjectId = projectId, At = new At { Axis = axis } }).Items.Select(e => e.Title);
Print("story-order", Titles());
Print("reading-order", Titles("reading"));
// Chapter by chapter: does the reader know, at that page? Does Lena, in that year?
var irony = new List<object>();
foreach (var (chapter, year, _, _, _) in chapters)
{
    var reader = engine.Holds(new HoldsPayload { ProjectId = projectId, Holder = "reader", Claim = fatherIsTomas, At = new At { Axis = "reading", Tick = chapter } });
    var lena = engine.Holds(new HoldsPayload { ProjectId = projectId, Holder = "lena", Claim = fatherIsTomas, At = new At { Tick = year } });
    irony.Add(new { chapter, year, reader = reader.HoldsAs == HoldsAs.Same, lena = lena.HoldsAs == HoldsAs.Same });
}
Print("irony", irony);

// Chapter 4, side by side: the reader on the reading axis, Lena in her own year.
var side = engine.Compare(new ComparePayload
{
    ProjectId = projectId, A = "reader", B = "lena", At = new At { Axis = "reading", Tick = 4 }, AtB = new At { Tick = 22 },
});
Print("chapter-4", new
{
    counts = side.Counts,
    onlyReader = side.OnlyA.Select(entry => (entry.A as Record.Holding)?.Claim.Predicate),
});
// A draft line for chapter 4, where Lena says her father is alive and close by.
// Checked before it goes in the book.
var draft = engine.CheckUtterance(new CheckUtteranceInput { ProjectId = projectId, Holder = "lena", At = new At { Tick = 22 }, Claims = new() { fatherIsTomas } });
Print("chapter-4-line", draft.Items.Select(item => new { verdict = item.Verdict, canon = item.Canon }));