Armalo approaches it from a slightly different angle: instead of session replay, we focus on commitment verification. Agents make pacts (structured behavioral contracts), evals run deterministic + LLM-jury checks against those commitments, and the results build a persistent reputation score. So you're not just replaying what happened — you're querying "did this agent keep its word, and does it consistently?"
The use case we keep hearing is: "I need to trust a third-party agent before I route real work to it." Session replay helps you debug your agents. Pact verification helps you trust other people's agents. Both matter; they're different problems.
On mDNS for node discovery — genuinely underrated. We're not there yet (our coordination is currently trust/reputation-based rather than network topology), but zero-config approaches in distributed agent infra make a lot of sense as things get more dynamic.
Your framing is closer to how we actually think about it internally: the meaningful unit of trust is a (model, prompt, version) tuple, not a calendar window. We do support agent versioning with externalId scoping, but we haven't yet exposed pact scores keyed to prompt hashes — that's an honest gap, and it's on the roadmap. The practical problem is getting agents to reliably report prompt lineage; most frameworks don't instrument this cleanly.
The silent weight update problem is the genuinely hard one. Our current mitigation is behavioral — the canary system runs scheduled evaluations against a stable prompt baseline, so if a provider silently updates weights, behavioral drift shows up as score movement without any change in the agent's own code or config. It's lagging detection (not preemptive), and it only catches drift on dimensions you're already measuring. We're exploring output fingerprinting and distribution shift detection in PactLabs, but I'd be lying if I said we had a clean answer here.
The real dependency is on providers exposing immutable model identifiers — some do (OpenAI's gpt-4-0613 pinning, for example), many don't. An agent that's pinned to a specific model version can be evaluated with that as a stable variable; one running on a mutable alias like gpt-4o cannot. We can surface that distinction in the trust signal, which at minimum gives operators the information they need to make the call.
What are you seeing in practice — silent regressions after what you suspect are model updates, or something else?