The interrogation

using System.Text.Json;
using System.Text.Json.Serialization;
using Kallamo.Umwelt;
using var engine = UmweltEngine.Create("ashcombe.umw");
const string projectId = "ashcombe";
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 = "Ashcombe House", 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 = "hale", TypeId = "person", Name = "Inspector Hale" },
        new WorldEntity { Id = "felix", TypeId = "person", Name = "Felix Ashcombe" },
        new WorldEntity { Id = "agnes", TypeId = "person", Name = "Agnes, the housemaid" },
        new WorldEntity { Id = "hob", TypeId = "person", Name = "Hob, the gardener" },
        new WorldEntity { Id = "study", TypeId = "thing", Name = "The study" },
        new WorldEntity { Id = "library", TypeId = "thing", Name = "The library" },
        new WorldEntity { Id = "will", TypeId = "thing", Name = "The will" },
    },
    Predicates = new()
    {
        new PredicateDef { Id = "was-in", Label = "was in", Object = ObjectKind.Entity, Cardinality = Cardinality.One },
        new PredicateDef { Id = "burned", Label = "burned", Object = ObjectKind.Entity, Cardinality = Cardinality.Many },
        new PredicateDef { Id = "smoked", Label = "smoked", Object = ObjectKind.None, Cardinality = Cardinality.Many },
    },
});
// Nine o'clock. Felix burns the will in the study. Agnes sees him go in; Hob sees the chimney smoke.
var inStudy = Claim.Entity("felix", "was-in", "study");
var inLibrary = Claim.Entity("felix", "was-in", "library");
var burned = Claim.Entity("felix", "burned", "will");
var smoke = Claim.Unary("study", "smoked");
var nine = Position.At(21);
engine.Witness(new WitnessInput
{
    ProjectId = projectId,
    AttemptId = "nine",
    Event = new EventInput { Id = "nine", Type = "scene", Title = "Nine o’clock", Position = nine, Participants = new() { "felix", "agnes", "hob" }, Provenance = provenance },
    Claims = new() { new WitnessedClaim { Claim = inStudy, Canon = true, FactId = "canon-study" } },
    Witnesses = new() { new Witness { Holder = "felix", RecordIds = new() { "felix-study" } }, new Witness { Holder = "agnes", RecordIds = new() { "agnes-saw" } } },
});
var fire = Acquired.Witnessed("fire");
engine.Commit(new CommitInput
{
    ProjectId = projectId,
    AttemptId = "fire",
    Event = new EventInput { Id = "fire", Type = "scene", Title = "The fire in the study", Position = nine, Participants = new() { "felix", "hob" }, Provenance = provenance },
    Records = new()
    {
        Records.Fact(burned, id: "canon-burned"),
        Records.Fact(smoke, id: "canon-smoke"),
        Records.Knows("felix", burned, fire, id: "felix-burned"),
        Records.Knows("hob", smoke, fire, id: "hob-smoke"),
    },
});
// Ten and eleven o'clock: what each of them tells the inspector. Felix lies.
// The intent is the narrator's knowledge: Trace shows it, but when Hale's own
// perspective is read, as for a prompt, it says Unknown. He does not know yet.
engine.TransmitBatch(new TransmitBatchPayload
{
    Shared = new TransmitShared { ProjectId = projectId, To = "hale", Intent = Intent.Honest, Attitude = Attitude.Believes, Position = Position.At(23) },
    Transmits = new()
    {
        new TransmitBatchItem
        {
            AttemptId = "felix-tells", From = "felix", SourceRecordId = "felix-study", Intent = Intent.Deceptive, DistortedClaim = inLibrary,
            Confidence = 0.7, Position = Position.At(22), RecordId = "hale-library", Text = "I was reading in the library all evening, Inspector.",
        },
        new TransmitBatchItem { AttemptId = "agnes-tells", From = "agnes", SourceRecordId = "agnes-saw", Confidence = 0.9, RecordId = "hale-study" },
        new TransmitBatchItem { AttemptId = "hob-tells", From = "hob", SourceRecordId = "hob-smoke", Confidence = 0.95, RecordId = "hale-smoke" },
    },
});
// Midnight, the interview room. Your dialogue system turns each line into claims;
// Umwelt checks every one against what the speaker can know.
var interview = new (string Speaker, string Line, Claim Claim)[]
{
    ("felix", "I was in the library at nine.", inLibrary),
    ("felix", "I never touched the will.", burned.Negated()),
    ("agnes", "Mr Felix went into the study at nine. I saw him.", inStudy),
    ("hob", "Smoke came out of the study chimney.", smoke),
    ("hob", "It was Mr Felix who burned it, mark my words.", burned),
};
var transcript = new List<object>();
foreach (var (speaker, line, claim) in interview)
{
    var check = engine.CheckUtterance(new CheckUtteranceInput { ProjectId = projectId, Holder = speaker, At = new At { Tick = 24 }, Claims = new() { claim } }).Items[0];
    transcript.Add(new { speaker, line, verdict = check.Verdict, canon = check.Canon });
}
Print("transcript", transcript);
// The inspector's notebook: what he was told contradicts itself, and canon.
Print("notebook", engine.Contradictions(new HolderAt { ProjectId = projectId, Holder = "hale", At = new At { Tick = 24 } }));

var felixStory = engine.Trace(new RecordId { ProjectId = projectId, RecordIdValue = "hale-library" });
Print("library-source", felixStory.Chain.Select(link => new
{
    holder = (link.Record as Record.Holding)?.Holder,
    how = link.Acquisition?.Kind,
    intent = (link.Acquisition as Acquisition.ToldBy)?.Intent,
}));

// He works it out: presence plus smoke. Your deduction rule; Umwelt records it as inferred.
var midnight = Position.At(24);
engine.Commit(new CommitInput
{
    ProjectId = projectId,
    AttemptId = "deduction",
    Event = new EventInput { Id = "deduction", Type = "deduction", Title = "Hale works it out", Position = midnight, Participants = new() { "hale" }, Provenance = provenance },
    Records = new()
    {
        Records.Believes("hale", burned, Acquired.Inferred(new[] { "hale-study", "hale-smoke" }, "was there when the fire started"), id: "hale-burned", confidence: 0.85),
    },
    // The transition takes the event's position and provenance too.
    Transitions = new() { new TransitionInput { TargetRecordId = "hale-library", Status = TransitionStatus.Retracted } },
});
Print("hale-burned", engine.Holds(new HoldsPayload { ProjectId = projectId, Holder = "hale", Claim = burned, At = new At { Tick = 24 } }));
Print("notebook-after", engine.Contradictions(new HolderAt { ProjectId = projectId, Holder = "hale", At = new At { Tick = 24 } }));
Print("who-knows", engine.WhoHolds(new WhoHoldsPayload { ProjectId = projectId, Claim = burned, At = new At { Tick = 24 } }));