Skip to content

feat: hard floors — some actions always need a person's decision - #247

Closed
praxagent wants to merge 1 commit into
mainfrom
feat/hard-floors
Closed

praxagent wants to merge 1 commit into
mainfrom
feat/hard-floors

Conversation

@praxagent

Copy link
Copy Markdown
Owner

Pattern credit: OpenWorker (Andrew Ng and contributors): "dangerous operations are human-only, always". Assessed in #246.

Why. Every path past Prax's HIGH-risk gate could be lowered or skipped:

  • earned trust downgrades browser_request_login / browser_finish_login HIGH→MEDIUM on self-reported success;
  • the fallback lets the model confirm by calling the tool again;
  • one confirmation unlocks every HIGH tool for the turn;
  • inside spokes the gate isn't enforced unless SPOKE_GOVERNANCE_ENABLED, which is off in production;
  • a timed "allow for 1 hour" grant approves matching requests on arrival;
  • browser_login and browser_credentials, which hand the model a stored password, weren't classified at all (so they ran as MEDIUM).

What. HARD_FLOORS_ENABLED (default off). Built-in floors (prax/agent/hard_floors.py) cover three kinds of action: credentials (the five login/credential tools); code that runs with Prax's authority (plugin import/activate/write, self_improve_deploy); and money (gpu_power_on).

A floor action runs only on a person's decision about that exact call, checked before earned trust, auto-approve, the turn latch and the spoke enforce switch. The decision is either:

  • an out-of-band TeamWork approval that a timed grant did not give (decided_by is now carried through approval_service → human_approval); or
  • with approvals off, the user's own message naming the action and its target. "log in to leetcode" allows leetcode.com only; "yes go ahead" is not enough.

Refusals tell the model not to retry or route around it. HARD_FLOOR_EXTRA_TOOLS adds floors; built-ins can't be removed.

Tests: tests/test_hard_floors.py (19), covering both enforce settings, earned-trust override, the grant refusal, the target matcher, and add-only extras. make ci: 4029 passed; no secrets-proxy requests during the run.

Recommended in production: HARD_FLOORS_ENABLED=true.

Pattern credit: OpenWorker (Andrew Ng and contributors) — dangerous
operations are human-only, always.

Every path past Prax's HIGH-risk gate could be lowered or skipped: earned
trust downgrades browser login steps on self-reported success; the fallback
lets the model confirm by calling again; one confirmation can unlock every
HIGH tool for the turn; inside spokes the gate isn't enforced unless
SPOKE_GOVERNANCE_ENABLED (off in production); a timed grant approves on
arrival; and browser_login / browser_credentials, which hand the model a
stored password, weren't classified at all.

HARD_FLOORS_ENABLED (default off): logging in or revealing credentials,
installing or activating code with Prax's authority, and starting a billable
GPU run only on a person's decision about that exact call — checked before
all of the above. The decision is an out-of-band TeamWork approval that a
timed grant did not give (decided_by is now carried through), or, with
approvals off, the user's own message naming the action and its target.
HARD_FLOOR_EXTRA_TOOLS adds floors; built-ins can't be removed.
@praxagent

Copy link
Copy Markdown
Owner Author

Folded into #249, which contains every commit from this branch (stacked PRs re-conflict after every squash merge). Merge #249.

@praxagent praxagent closed this Oct 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant