JExec

JExec / Execution Admissibility Ontology / EAF-4

Admissibility failure class

EAF-4 — Authority–Scope Mismatch

Verified authority exists — for a different scope than the one this execution mutates.

DENY authority explicitly does not cover the declared scope
ESCALATE coverage partial or unknown

Definition

The execution carries real, verified authority — but that authority covers a different environment, system, or object set than the one about to be mutated. A staging approval reused for production. A change request for service A cited while mutating service B.

This class is the most dangerous in systems that check authorization as a boolean. “Is the actor authorized?” returns true; “is the actor authorized for this scope?” was never asked.

How it appears

Across actors

Agent

An agent is authorized to triage issues in one repository. Its tool grant, however, spans the whole organization, and it “helpfully” edits a workflow file in another repo. Authority existed; coverage did not.

CI / pipeline

A pipeline approved to deploy to staging is re-pointed at production during an incident. The approval it carries is real and verified — for staging.

Human operator

A DBA authorized to migrate the analytics database runs the same migration on the transactional database “while at it.”

Why it defeats admissibility

Authority that is not bound to a scope is ambient power, and ambient power expands silently. The admissibility question is comparative: does the coverage of the verified authority contain the declared scope of this execution? A boundary that skips the comparison converts every broad role into a standing production permission.

Remediation

In the JExec Record

Primarily affects: authority, scope. The JExec Protocol maps EAF-4 to the consequences above; JExec Check detects it deterministically and links back to this page.

Related classes

EAF-3 Unverified Authority · EAF-5 Unbounded Scope