Skip to content
Apart Research
Apart Research
Contact us
Sprint projectOct 26, 2026

Beyond Agent Assurance: Controlled Interventions and Exact Verification of Rule Repairs

Alberto Hernández-Espinosa · Team Analitica

Submitted to AI Collusion Research Sprint. Sprint projects are early-stage work by participants, not Apart Research publications.

Read the report

Report: Beyond Agent Assurance: Controlled Interventions and Exact Verification of Rule Repairs

Open in a new tab (opens in new tab)
Share

We combined controlled interventions on agent communication and incentives with exact verification of Boolean rule repairs. Using one language model, we found that messages accompanied incorrect approvals, while incomplete evidence led to unjustified rejections. An exhaustive checker released no incorrect repair across 16 constructed tasks when its assumptions held, but initially withheld correct repairs too. When its assumed rule class excluded the true rule, it certified a wrong repair. The results show how deterministic checks can constrain agent decisions, and why their guarantees depend on explicit, valid assumptions.

Reviews

Judging this Sprint?

Review “Beyond Agent Assurance: Controlled Interventions and Exact Verification of Rule Repairs”

Your public critique appears on the project page without your name. Reviews of strong projects are shared with funders, as you choose below.

Not shown on the project page.

Shown on the project page, without your name.

Only the Apart team reads this, and funders if you agree below.

Decline to score

Only when the quality of the writing makes the work impossible to follow. Say why in your private critique; the project page shows only that a judge declined, not why.

How much would this matter for the field if it worked? How innovative is it? For scores of 4-5: is this actually new to the field, or replicating recent work?

Scoring guide
  1. 1Negligible. No clear problem addressed, or no meaningful novelty.
  2. 2Limited. Addresses a real problem but with a generic or well-trodden approach. Incremental at best.
  3. 3Moderate. Clear problem with a reasonable approach; some novelty in framing or method beyond routine application of existing tools.
  4. 4Significant. Important problem with an original approach, or identifies a neglected problem area. A valuable contribution others could build on.
  5. 5Exceptional. Tackles a critical problem with a genuinely novel approach, or opens a new research direction. Clear theory of change. You'd be excited to share this with researchers in the area.

How sound are methodology, implementation, and findings?

Scoring guide
  1. 1Seriously flawed. Methodology broken, results uninterpretable, or implementation doesn't work.
  2. 2Weak. Approach has significant gaps: missing validation, flawed experimental design, or incomplete implementation.
  3. 3Competent. Technically solid given the short duration. Methodology makes sense, results are interpretable, limitations acknowledged, work builds toward clear conclusions.
  4. 4Strong. Thorough methodology with convincing validation. Results clearly support conclusions. Immediately useful for future work.
  5. 5Exceptional. Ambitious scope executed rigorously. Surprising findings, novel methods, or unusually robust validation.

How clearly are work, findings, and impact potential communicated?

Scoring guide
  1. 1Incomprehensible. Cannot determine what the project is actually claiming or doing.
  2. 2Hard to follow. Key information buried, missing, or diluted by excessive length. Significant effort to extract main points.
  3. 3Clear enough. Can understand the problem, approach, and results without undue effort. Core content clearly present: problem, method, findings, limitations.
  4. 4Well presented. Easy to follow, well-structured, appropriate level of detail. Target audience would get it quickly.
  5. 5Exceptionally clear. A pleasure to read. Complex ideas made accessible. Could serve as a model for how to present this type of work.
Sharing your name *

When we share a strong project with funders, your name, scores and public critique go with it, confidentially; this choice is only about whether your name is public. If you think this project deserves funding, please also endorse it: that carries the most weight.

Share my private critique with funders *

See our Privacy Policy.

  1. Hey! That fixed-candidate test is a good one. A persuasive message moved wrong-repair approvals from 0 to 6–8 of 16, while the exact checker refused ambiguous cases. Please share the harness and test more models. I’d also stress the checker with true rules outside its assumed class, since that’s where the guarantee breaks.

Cite this project

@misc{hernandezespinosa2026beyond,
  title = {{Beyond Agent Assurance: Controlled Interventions and Exact Verification of Rule Repairs}},
  author = {Alberto Hernández-Espinosa},
  year = {2026},
  month = oct,
  note = {Submitted to AI Collusion Research Sprint, an Apart Research Sprint},
  howpublished = {\url{https://apartresearch.com/sprints/projects/beyond-agent-assurance-controlled-interventions-and-exact-verification-of-rule-repairs-wbkk}},
  url = {https://apartresearch.com/sprints/projects/beyond-agent-assurance-controlled-interventions-and-exact-verification-of-rule-repairs-wbkk}
}

More from AI Collusion Research Sprint

All 392 entriesBrowse all projects

A Sprint is running now

AI x Epistemics Research Sprint · Nov 13 - 15, 2026