A rumor that spreads

using System.Text.Json;
using System.Text.Json.Serialization;
using Kallamo.Umwelt;
using var engine = UmweltEngine.Create("thornmere.umw");
const string projectId = "thornmere";
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)}");

var villagers = new Dictionary<string, string>
{
    ["tam"] = "Tam, the miller’s apprentice", ["bess"] = "Bess, the baker", ["wil"] = "Wil, the smith",
    ["ida"] = "Ida, the innkeeper", ["rook"] = "Rook, the ferryman", ["maren"] = "Maren, the herbalist",
    ["oswin"] = "Oswin, the reeve",
};
// The world, declared once: sending the same manifest again changes nothing.
engine.WorldEnsure(new EnsureWorldInput
{
    Project = new WorldProject { Id = projectId, Name = "Thornmere", Timescale = "day" },
    EntityTypes = new()
    {
        new WorldEntityType { Id = "villager", Name = "Villager", Kind = EntityKind.Agent },
        new WorldEntityType { Id = "council", Name = "Council", Kind = EntityKind.Group },
        new WorldEntityType { Id = "thing", Name = "Thing", Kind = EntityKind.Other },
    },
    Entities = villagers.Select(villager => new WorldEntity { Id = villager.Key, TypeId = "villager", Name = villager.Value })
        .Append(new WorldEntity { Id = "elders", TypeId = "council", Name = "The council of elders" })
        .Append(new WorldEntity { Id = "seed-grain", TypeId = "thing", Name = "The seed grain" })
        .Append(new WorldEntity { Id = "loft", TypeId = "thing", Name = "The dry loft" })
        .ToList(),
    Predicates = new()
    {
        new PredicateDef { Id = "took", Label = "took", Object = ObjectKind.Entity, Cardinality = Cardinality.Many },
        new PredicateDef { Id = "stole", Label = "stole", Object = ObjectKind.Entity, Cardinality = Cardinality.Many },
        new PredicateDef { Id = "sold", Label = "sold", Object = ObjectKind.Entity, Cardinality = Cardinality.Many },
        new PredicateDef { Id = "kept-in", Label = "is kept in", Object = ObjectKind.Entity, Cardinality = Cardinality.One },
    },
});
// What happened: the reeve moved the seed grain to the dry loft before the rain.
var took = Claim.Entity("oswin", "took", "seed-grain");
var stole = Claim.Entity("oswin", "stole", "seed-grain");
var sold = Claim.Entity("oswin", "sold", "seed-grain", qualifiers: new Dictionary<string, object?> { ["to"] = "the river traders" });
var inLoft = Claim.Entity("seed-grain", "kept-in", "loft");
var ladder = new[] { took, stole, sold };
var night = Position.At(1);
var witnessed = Acquired.Witnessed("night-1");

engine.Commit(new CommitInput
{
    ProjectId = projectId,
    AttemptId = "night-1",
    Event = new EventInput { Id = "night-1", Type = "night", Title = "Sacks in the dark", Position = night, Participants = new() { "oswin", "tam" }, Provenance = provenance },
    Records = new()
    {
        Records.Fact(took, id: "canon-took"),
        Records.Fact(inLoft, id: "canon-loft"),
        Records.Fact(stole.Negated(), id: "canon-not-stolen"),
        Records.Fact(sold.Negated(), id: "canon-not-sold"),
        Records.Knows("oswin", inLoft, witnessed, id: "oswin-loft"),
        Records.Knows("tam", took, witnessed, id: "tam-saw", text: "I saw the reeve carry the seed grain out of the granary at midnight."),
        Records.Fact(Claim.Entity("maren", "umwelt:member-of", "elders"), id: "maren-elder"),
        Records.Fact(Claim.Entity("wil", "umwelt:member-of", "elders"), id: "wil-elder"),
    },
});
// How much each villager trusts the others. Your game owns these numbers; Umwelt keeps them.
var trust = new (string Holder, string Target, double Value)[]
{
    ("bess", "tam", 0.9), ("wil", "tam", 0.6), ("ida", "bess", 0.9), ("maren", "bess", 0.5),
    ("ida", "wil", 0.8), ("rook", "ida", 0.95), ("maren", "ida", 0.7), ("maren", "rook", 0.4),
    ("oswin", "wil", 0.9), ("oswin", "maren", 0.9), ("bess", "ida", 0.8), ("wil", "ida", 0.7),
};
engine.DispositionSetBatch(new SetDispositionsInput
{
    ProjectId = projectId,
    AttemptId = "trust",
    Position = night,
    Dispositions = trust.Select(t => new DispositionSetting
    {
        Holder = t.Holder, Target = t.Target, Dimension = "trust", Value = JsonSerializer.SerializeToElement(t.Value),
    }).ToList(),
});
// The gossip rule lives in your code. Umwelt never decides who talks or what they believe.
var meets = new Dictionary<string, string[]>
{
    ["tam"] = new[] { "bess", "wil" }, ["bess"] = new[] { "tam", "ida", "maren" }, ["wil"] = new[] { "tam", "ida", "oswin" },
    ["ida"] = new[] { "bess", "wil", "rook", "maren" }, ["rook"] = new[] { "ida", "maren" },
    ["maren"] = new[] { "bess", "ida", "rook", "oswin" }, ["oswin"] = new[] { "wil", "maren" },
};
var seed = 12;
double Random()
{
    unchecked
    {
        seed += 0x6d2b79f5;
        var t = (seed ^ (int)((uint)seed >> 15)) * (1 | seed);
        t = (t + (t ^ (int)((uint)t >> 7)) * (61 | t)) ^ t;
        return (uint)(t ^ (int)((uint)t >> 14)) / 4294967296.0;
    }
}

// Who holds which version of the story, read back from Umwelt.
Dictionary<string, (int Rung, string RecordId, double Confidence)> VersionsAt(long tick)
{
    var held = new Dictionary<string, (int, string, double)>();
    for (var rung = 0; rung < ladder.Length; rung++)
    {
        var filter = new WhoHoldsFilter { Polarity = true };
        foreach (var item in engine.WhoHolds(new WhoHoldsPayload { ProjectId = projectId, Claim = ladder[rung], At = new At { Tick = tick }, Filter = filter }))
        {
            held[item.Holder] = (rung, item.RecordId, item.Confidence);
        }
    }
    return held;
}

double TrustOf(string listener, string teller, long tick)
{
    var trust = engine.Dispositions(new DispositionsPayload { ProjectId = projectId, Holder = listener, Target = teller, Dimension = "trust", At = new At { Tick = tick } });
    return trust.OfType<Record.Disposition>().FirstOrDefault()?.Value.GetDouble() ?? 0.5;
}

foreach (var day in new long[] { 2, 3, 4 })
{
    var held = VersionsAt(day - 1);
    var told = new HashSet<string>();
    var transmits = new List<TransmitBatchItem>();
    foreach (var (teller, story) in held.OrderBy(pair => pair.Key, StringComparer.Ordinal))
    {
        if (story.Confidence < 0.5) continue;                    // too unsure to repeat it
        foreach (var listener in meets[teller])
        {
            if (listener == "oswin" || held.ContainsKey(listener) || told.Contains(listener)) continue;
            if (Random() > 0.7) continue;                        // they did not meet today
            var rung = Math.Min(2, story.Rung + (Random() < 0.4 ? 1 : 0));
            var confidence = Math.Round(story.Confidence * TrustOf(listener, teller, day) * 100, MidpointRounding.AwayFromZero) / 100;
            told.Add(listener);
            transmits.Add(new TransmitBatchItem
            {
                AttemptId = $"day-{day}-{teller}-{listener}",
                From = teller, To = listener, SourceRecordId = story.RecordId,
                DistortedClaim = rung != story.Rung ? ladder[rung] : null,
                Attitude = confidence >= 0.6 ? Attitude.Believes : Attitude.Suspects,
                Confidence = confidence, RecordId = $"{listener}-heard",
            });
        }
    }
    if (transmits.Count == 0) continue;                          // a quiet day
    // What every telling of the day has in common is said once. They believe what they say.
    var outcomes = engine.TransmitBatch(new TransmitBatchPayload
    {
        Shared = new TransmitShared { ProjectId = projectId, Intent = Intent.Honest, Position = Position.At(day) },
        Transmits = transmits,
    });
    if (day == 2) Print("day-2", outcomes);
}
// Day 5: the reeve opens the loft. Whoever sees the grain drops the theft story; nobody else does.
var present = new List<string> { "wil", "maren", "bess" };
engine.Witness(new WitnessInput
{
    ProjectId = projectId,
    AttemptId = "day-5",
    Event = new EventInput
    {
        Id = "loft-opened", Type = "scene", Title = "The loft is opened", Position = Position.At(5),
        Participants = present.Prepend("oswin").ToList(), Provenance = provenance,
    },
    Claims = new() { new WitnessedClaim { Claim = inLoft } },
    Witnesses = present.Select(holder => new Witness { Holder = holder }).ToList(),
});
var before = VersionsAt(5);
var disproved = present.Where(who => before.TryGetValue(who, out var story) && story.Rung > 0).Select(who => before[who].RecordId).ToList();
if (disproved.Count > 0)
{
    engine.TransitionBatch(new TransitionBatchInput
    {
        ProjectId = projectId, AttemptId = "abandon", Position = Position.At(5), RecordIds = disproved, Status = TransitionStatus.Abandoned,
    });
}
var spread = new Dictionary<string, object[][]>();
foreach (var day in new long[] { 1, 2, 3, 4, 5 })
{
    var held = VersionsAt(day);
    spread[day.ToString()] = villagers.Keys.Select(who => held.TryGetValue(who, out var story)
        ? new object[] { who, ladder[story.Rung].Predicate, story.Confidence }
        : new object[] { who, "", 0 }).ToArray();
}
Print("spread", spread);

Print("whoHolds-stole", engine.WhoHolds(new WhoHoldsPayload { ProjectId = projectId, Claim = stole, At = new At { Tick = 4 } }));

var farthest = VersionsAt(4).FirstOrDefault(pair => pair.Value.Rung == 2);
if (farthest.Key is not null)
{
    var trace = engine.Trace(new RecordId { ProjectId = projectId, RecordIdValue = farthest.Value.RecordId });
    Print("trace", trace.Chain.Select(link => new
    {
        holder = (link.Record as Record.Holding)?.Holder,
        says = (link.Record as Record.Holding)?.Claim.Predicate,
        confidence = (link.Record as Record.Holding)?.Confidence,
        how = link.Acquisition?.Kind,
        from = (link.Acquisition as Acquisition.ToldBy)?.SourceHolderId,
    }));
    Print("contradictions", engine.Contradictions(new HolderAt { ProjectId = projectId, Holder = farthest.Key, At = new At { Tick = 5 } }));
}

Print("council-day-4", engine.GroupCoverage(new GroupCoveragePayload { ProjectId = projectId, Group = "elders", Claim = stole, At = new At { Tick = 4 } }));
Print("council-day-5", engine.GroupCoverage(new GroupCoveragePayload { ProjectId = projectId, Group = "elders", Claim = stole, At = new At { Tick = 5 } }));
Print("tam-day-5", engine.Holds(new HoldsPayload { ProjectId = projectId, Holder = "tam", Claim = took, At = new At { Tick = 5 } }));