Skip to content

docs(rfc): propose Cedar as an alternate sandbox policy language - #4564

Open
vishwa-raman wants to merge 7 commits into
mainfrom
docs/4411-cedar-policy-rfc/vishwa-raman
Open

vishwa-raman wants to merge 7 commits into
mainfrom
docs/4411-cedar-policy-rfc/vishwa-raman

Conversation

@vishwa-raman

@vishwa-raman vishwa-raman commented Oct 14, 2026 •

Copy link
Copy Markdown
Collaborator

Summary

RFC 0020 proposes authoring sandbox policies in Cedar as an alternative to YAML. The format is chosen once per sandbox; YAML sandboxes are unchanged, and a Cedar sandbox is decided by Cedar alone, with no YAML or Rego in its decision path. The motivation is expressiveness that stays analyzable: authors can write conditions the YAML structure never anticipated, and every policy remains open to decidable analysis.

The RFC is written for policy authors who use YAML today. It covers what changes for an author, how each YAML construct maps to Cedar with a translation tutorial, the architectural decisions behind the implementation, parity with the YAML engine, risks, alternatives, and the open questions to settle before acceptance.

Related Issue

Closes #4610

Refs #4474, the parent issue for all policy work, which stays open, and #4411, the originating feature request where maintainers assigned RFC 0020.

Changes

  • Add rfc/0020-cedar-policy-engine/README.md in review state.

Implementation

An implementation exists on the feature branch vishwa/cedar-openshell (one commit on main). The parity harness there runs 2,909 cases pairing YAML and Cedar policies through both engines; 2,904 agree and the 5 recorded differences are deliberate, with Cedar the stricter side in each. The branch depends on the Cedar team's delimited like work (cedar-policy/rfcs#115), carried in the public ai-openshell/cedar repository and pinned by commit until Cedar releases it.

Testing

  • Checks appropriate to the affected code and behavior pass (mise run pre-commit; documentation-only change)
  • Unit tests added/updated (not applicable)
  • E2E tests added/updated (not applicable)

Checklist

  • Follows Conventional Commits
  • Commits are signed off (DCO)
  • Architecture docs updated (this PR is the RFC)

🤖 Generated with Claude Code

RFC 0020 proposes authoring sandbox policies in Cedar as an alternative
to YAML, chosen once per sandbox and enforced by Cedar alone. It is
written for authors who use YAML today: what changes, how each YAML
construct maps to Cedar with a translation tutorial, the architectural
decisions behind the implementation, parity with the YAML engine, risks,
alternatives, and the open questions to settle before acceptance.

Refs #4411

Signed-off-by: Vishwanath Raman <vishwanathr@nvidia.com>
@copy-pr-bot

copy-pr-bot Bot commented Oct 14, 2026

Copy link
Copy Markdown

This pull request requires additional validation before any workflows can run on NVIDIA's runners.

Pull request vetters can view their responsibilities here.

Contributors can view more details about this message here.

@github-actions

github-actions Bot commented Oct 14, 2026 •

Copy link
Copy Markdown

All contributors have signed the DCO ✍️ ✅
Posted by the DCO Assistant Lite bot.

Signed-off-by: Vishwanath Raman <vishwanathr@nvidia.com>
Signed-off-by: Vishwanath Raman <vishwanathr@nvidia.com>
@vishwa-raman

Copy link
Copy Markdown
Collaborator Author

I have read the DCO document and I hereby sign the DCO.

…estion

Signed-off-by: Vishwanath Raman <vishwanathr@nvidia.com>
@vishwa-raman

Copy link
Copy Markdown
Collaborator Author

/ok to test 9f80540

Signed-off-by: Vishwanath Raman <vishwanathr@nvidia.com>
@vishwa-raman

Copy link
Copy Markdown
Collaborator Author

/ok to test fbca5f1

Signed-off-by: Vishwanath Raman <vishwanathr@nvidia.com>
@vishwa-raman

Copy link
Copy Markdown
Collaborator Author

/ok to test 6b81504

Update RFC 0020 for the changes made in response to the pull request
review: capability negotiation between clients, gateway, and runtime;
staged policies isolated from enforced decisions and the query budget;
bounded host selectors and overlap analysis; a sandbox-wide WebSocket
budget; Cedar MCP endpoints in endpoint status; and the public skills.
Refresh the implementation plan, verification results, parity tally,
and risks, and list the proposed pull request split as a decision.

Refs #4474

Signed-off-by: Vishwanath Raman <vishwanathr@nvidia.com>
@vishwa-raman

Copy link
Copy Markdown
Collaborator Author

/ok to test f57a08f

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

docs(rfc): RFC 0020, Cedar as an alternate sandbox policy language

1 participant