Skip to content

Jev at the Agent Authorization Boundary: Evaluating TypeSafe's Decision Model and Its Reported RLCD Approach

Sep 2026 · Zenodo (CERN European Organization for Nuclear Research)

Abstract

TypeSafe describes Jev as a typed decision model trained using Reinforcement Learning for Calibrated Decisions (RLCD). We evaluate its behavior at an agent authorization boundary, where software must allow, hold, or deny a proposed action. A historical audit of 150 proposals motivates two separate paired comparisons: Jev versus GPT-4.1 mini and Jev versus DeepSeek V4.1 Flash. Both comparisons use the same 270 constructed test cases from 30 families under three policy regimes, separate development data, and three repetitions per model. Controlled reference labels are derived deterministically from authored executable policy specifications; independent human adjudication is absent. Against GPT-4.1 mini, Jev has a lower permission Brier score on this corpus (0.0263 versus 0.0555); its fixed probability gate removes six false allows relative to its categorical decisions while withholding 29 additional correct allows. Against DeepSeek, the common fixed gate permits 295/345 reference-authorized attempts for Jev and 315/345 for DeepSeek, with zero observed false allows for either model. These denominators represent 115 unique reference-allow cases repeated three times. The family-bootstrap interval for their paired Brier difference includes zero. Jev has lower median evaluation time in both sessions. The historical audit shows how disputed operator labels and probability thresholds change apparent authorization performance. Transport and response failures remain visible as holds. Released evidence supports offline reproduction of the analyses. These results characterize configured hosted services on static proposals; they neither isolate RLCD's causal contribution nor establish deployment safety. The study shows why evaluating Jev for authorization requires explicit policy references and reporting both false allows and withheld authorized actions. This manuscript is an unreviewed preprint. Supporting data and code: corrected evidence release v1.1.0, https://doi.org/10.5281/zenodo.22863437. The evidence DOI identifies the supporting research artifacts, not this manuscript.

View source

Similar papers

#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54
#computer vision Review Mar 2008

Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum

The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.

O. Salo, P. Abrahamsson · 238 citations · ⚡9
#computer vision Open access Jul 2017

What happens when software developers are (un)happy

Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.

D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al. · 236 citations · ⚡13
#computer vision Open access Oct 2004

Mobile-D: an agile approach for mobile application development

The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.

P. Abrahamsson, Antti Hanhineva, H. Hulkko et al. · 225 citations · ⚡18

Related blog posts

MIT News · Artificial Intelligence Oct 7, 2026

Discovering the value of humanistic inquiry

Students in MIT’s Concourse program delve deeply into the human condition, debate challenging questions, and learn to develop judgment about issues that can’t be quantified.

Microsoft Research Blog Oct 7, 2026

Agent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses

Training AI agents with reinforcement learning can be challenging because their tools, context, and decision-making are managed by complex frameworks. Agent Lightning connects existing agents to RL training, making it easier to improve them without rebuilding them. The post Agent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.