← Mathematical compendium

Published equation contexts

AP(s)⊆AH(s)A_P(s)\subseteq A_H(s)

Why this formula appears here

The distinction matters formally. Let AH(s)A_H(s) be the actions proposed by the harness, AP(s)A_P(s)⊆\subseteq AH(s)A_H(s) the actions admitted by technical policy, and AU(s)A_U(s)⊆\subseteq AP(s)A_P(s) those authorized under the approval process. Tightening approval frequency without reducing APA_P leaves a user vulnerable to habituation and mistaken consent. Tightening APA_P can prevent an action even when the model or reviewer would approve it.

Read the full article-specific guide →

Read the representative guide

APA_P

Symbol A_P

APA_P is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Read this term in its guide →
ss

Symbol s

s is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Read this term in its guide →
AHA_H

Symbol A_H

AHA_H is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Read this term in its guide →

How to interpret it

Read this expression with the definitions, units, and assumptions supplied by the article.

Research cited beside this formula

Published contexts (1)

A symbol can carry a different meaning in another article. Each occurrence keeps its own guide and term definitions.

AP(s)⊆AH(s)A_P(s)\subseteq A_H(s)

Equation 30 · AI Agents & Systems

OpenAI Codex as a Software-Engineering System: Models, Harnesses, and Evidence

This mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text.

The distinction matters formally. Let AH(s)A_H(s) be the actions proposed by the harness, AP(s)A_P(s)⊆\subseteq AH(s)A_H(s) the actions admitted by technical policy, and AU(s)A_U(s)⊆\subseteq AP(s)A_P(s) those authorized under the approval process. Tightening approval frequency without reducing APA_P leaves a user vulnerable to habituation and mistaken consent. Tightening APA_P can prevent an action even when the model or reviewer would approve it.

Equation guide → · Article →