Spies and secrets

using System.Text.Json;
using System.Text.Json.Serialization;
using Kallamo.Umwelt;
using var engine = UmweltEngine.Create("calder.umw");
const string projectId = "calder";
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 = "Calder", Timescale = "bell" },
    EntityTypes = new()
    {
        new WorldEntityType { Id = "agent", Name = "Agent", Kind = EntityKind.Agent },
        new WorldEntityType { Id = "faction", Name = "Faction", Kind = EntityKind.Group },
        new WorldEntityType { Id = "thing", Name = "Thing", Kind = EntityKind.Other },
    },
    Entities = new()
    {
        new WorldEntity { Id = "sera", TypeId = "agent", Name = "Sera, the guild spymaster" },
        new WorldEntity { Id = "orrin", TypeId = "agent", Name = "Orrin, a guild captain" },
        new WorldEntity { Id = "tilde", TypeId = "agent", Name = "Tilde, a guild smuggler" },
        new WorldEntity { Id = "vane", TypeId = "agent", Name = "Vane, of the Crown’s Eye" },
        new WorldEntity { Id = "pell", TypeId = "agent", Name = "Pell, a crown clerk" },
        new WorldEntity { Id = "guild", TypeId = "faction", Name = "The Harbor Guild" },
        new WorldEntity { Id = "crown", TypeId = "faction", Name = "The Crown’s Eye" },
        new WorldEntity { Id = "chain", TypeId = "thing", Name = "The harbor chain" },
    },
    Predicates = new()
    {
        new PredicateDef { Id = "is-broken", Label = "is broken", Object = ObjectKind.None, Cardinality = Cardinality.One },
    },
});
// Who belongs to which faction. Tilde is a guild smuggler, and nobody knows she sells to the Crown.
Claim Member(string who, string faction) => Claim.Entity(who, "umwelt:member-of", faction);
var broken = Claim.Unary("chain", "is-broken");
var records = new[] { ("sera", "guild"), ("orrin", "guild"), ("tilde", "guild"), ("vane", "crown"), ("pell", "crown") }
    .Select(m => (RecordInput)Records.Fact(Member(m.Item1, m.Item2), id: $"{m.Item1}-in-{m.Item2}"))
    .ToList();
records.Add(Records.Fact(broken, id: "canon-broken"));
// Sera's secret: she may share it with Orrin, and nobody else.
records.Add(Records.Knows("sera", broken, Acquired.Witnessed("first-bell"), id: "sera-secret",
    secrecy: new Secrecy { SharedWith = new() { "orrin" } }, text: "The harbor chain is broken. The port is open to anyone."));
engine.Commit(new CommitInput
{
    ProjectId = projectId,
    AttemptId = "first-bell",
    Event = new EventInput { Id = "first-bell", Type = "scene", Title = "The chain snaps", Position = Position.At(1), Participants = new() { "sera" }, Provenance = provenance },
    Records = records,
});
// Second bell: Sera tells Orrin. Third bell: she needs a boat, and tells Tilde too.
// Fourth bell: Tilde sells it to Vane. Fifth bell: the Crown's Eye takes it as its own.
// What the tellings have in common is said once; each one says what differs.
var tellings = engine.TransmitBatch(new TransmitBatchPayload
{
    Shared = new TransmitShared { ProjectId = projectId, From = "sera", SourceRecordId = "sera-secret", Intent = Intent.Honest, Attitude = Attitude.Knows, Confidence = 1.0 },
    Transmits = new()
    {
        new TransmitBatchItem { AttemptId = "to-orrin", To = "orrin", Position = Position.At(2), RecordId = "orrin-knows" },
        new TransmitBatchItem { AttemptId = "to-tilde", To = "tilde", Position = Position.At(3), RecordId = "tilde-knows" },
        new TransmitBatchItem
        {
            AttemptId = "to-vane", From = "tilde", To = "vane", SourceRecordId = "tilde-knows",
            Attitude = Attitude.Believes, Confidence = 0.8, Position = Position.At(4), RecordId = "vane-heard",
        },
    },
});
Print("warnings", tellings.Select(outcome => new { recordIds = outcome.RecordIds, warnings = outcome.Warnings }));

var fifthBell = Position.At(5);
engine.Commit(new CommitInput
{
    ProjectId = projectId,
    AttemptId = "council",
    Event = new EventInput { Id = "council", Type = "meeting", Title = "The Crown’s Eye meets", Position = fifthBell, Participants = new() { "vane", "pell" }, Provenance = provenance },
    Records = new()
    {
        Records.Believes("crown", broken, Acquired.ToldBy("vane", Intent.Honest, "vane-heard"), id: "crown-knows", confidence: 0.8),
    },
});
// What Sera believes about the Crown: that it has no idea. A belief about a belief.
// A second-order Holding names the claim by its key, which the engine gives.
var brokenKey = engine.ClaimKey(new ClaimKeyPayload { Claim = broken }).ClaimKey;
var secondBell = Position.At(2);
engine.Commit(new CommitInput
{
    ProjectId = projectId,
    AttemptId = "sera-thinks",
    Event = new EventInput { Id = "sera-thinks", Type = "thought", Title = "Sera counts her secrets", Position = secondBell, Participants = new() { "sera" }, Provenance = provenance },
    Records = new()
    {
        Records.Believes("sera", Claim.Holds("crown", brokenKey, polarity: false), Acquired.Authored(), id: "sera-thinks-crown-blind", confidence: 0.9),
    },
});
foreach (var bell in new long[] { 3, 5 })
{
    Print($"sera-about-crown-{bell}", engine.BeliefsAbout(new BeliefsAboutPayload { ProjectId = projectId, Holder = "sera", About = "crown", At = new At { Tick = bell } }));
}
Print("breaches", engine.Breaches(new BreachesPayload { ProjectId = projectId, Owner = "sera" }));

var path = engine.Trace(new RecordId { ProjectId = projectId, RecordIdValue = "crown-knows" });
Print("path", path.Chain.Select(link => new
{
    holder = (link.Record as Record.Holding)?.Holder,
    from = (link.Acquisition as Acquisition.ToldBy)?.SourceHolderId,
}));

foreach (var faction in new[] { "guild", "crown" })
{
    var coverage = engine.GroupCoverage(new GroupCoveragePayload { ProjectId = projectId, Group = faction, Claim = broken, At = new At { Tick = 5 } });
    Print($"coverage-{faction}", new
    {
        members = coverage.Members,
        holding = coverage.Holding.Select(item => item.Holder),
        missing = coverage.Missing,
        groupHolds = coverage.GroupHolding is not null,
    });
}
Print("guild-members-who-know", engine.WhoHolds(new WhoHoldsPayload
{
    ProjectId = projectId, Claim = broken, At = new At { Tick = 5 }, Filter = new WhoHoldsFilter { MemberOf = "guild" },
}));