Skip to content

feat(core): add grant intent obstruction receipt shape#336

Closed
flyingrobots wants to merge 1 commit into
mainfrom
stack/grant-intent-obstruction-receipt
Closed

feat(core): add grant intent obstruction receipt shape#336
flyingrobots wants to merge 1 commit into
mainfrom
stack/grant-intent-obstruction-receipt

Conversation

@flyingrobots
Copy link
Copy Markdown
Owner

Summary

Adds the next Echo authority-ladder vertebra: obstruction receipts for capability grant intent refusal.

Core doctrine:

Refusal is a first-class causal event.

This PR makes every obstructed grant intent carry a CapabilityGrantIntentObstructionReceipt containing:

  • intent id
  • proposed-by principal
  • subject principal
  • obstruction reason
  • policy id, if present
  • policy posture
  • deterministic length-prefixed receipt input bytes
  • BLAKE3 receipt digest

Naming guard

ObstructionReceipt != AdmissionReceipt
ObstructionReceipt != LawWitness
ObstructionReceipt != accepted authority

What this proves

  • obstructed grant intents return posture plus receipt-shaped refusal
  • receipt input bytes are deterministic
  • receipt digest is deterministic BLAKE3 over the input bytes
  • repeated identical refusal inputs produce identical outcomes
  • no grant becomes authority

What this is not

  • not a success receipt
  • not an admitted grant
  • not authority validation
  • not invocation success
  • not LawWitness emission
  • not scheduler, WASM, app, or Continuum work

Verification

RED:

cargo test -p warp-core capability_grant_intent
# failed before GREEN because CapabilityGrantIntentObstructionReceipt and posture.receipt did not exist

GREEN / validation:

cargo test -p warp-core capability_grant_intent
cargo check -p warp-core
scripts/ban-nondeterminism.sh
git diff --check
npx markdownlint-cli2 docs/design/optic-capability-grant-intent-boundary.md CHANGELOG.md

Push gate also passed: fmt, guards, clippy-core, tests-warp-core, rustdoc.

@coderabbitai
Copy link
Copy Markdown
Contributor

coderabbitai Bot commented May 13, 2026

Warning

Rate limit exceeded

@flyingrobots has exceeded the limit for the number of commits that can be reviewed per hour. Please wait 25 minutes and 46 seconds before requesting another review.

You’ve run out of usage credits. Purchase more in the billing tab.

⌛ How to resolve this issue?

After the wait time has elapsed, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

We recommend that you space out your commits to avoid hitting the rate limit.

🚦 How do rate limits work?

CodeRabbit enforces hourly rate limits for each developer per organization.

Our paid plans have higher rate limits than the trial, open-source and free plans. In all cases, we re-allow further reviews after a brief timeout.

Please see our FAQ for further information.

ℹ️ Review info
⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro

Run ID: 23e28c7e-6cf7-4ed7-8bc6-b0feaae7da0b

📥 Commits

Reviewing files that changed from the base of the PR and between a27ac47 and f1d5272.

📒 Files selected for processing (5)
  • CHANGELOG.md
  • crates/warp-core/src/lib.rs
  • crates/warp-core/src/optic_artifact.rs
  • crates/warp-core/tests/capability_grant_intent_tests.rs
  • docs/design/optic-capability-grant-intent-boundary.md
✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Commit unit tests in branch stack/grant-intent-obstruction-receipt

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands and usage tips.

@flyingrobots
Copy link
Copy Markdown
Owner Author

Superseded by PR #339. The useful pieces from this branch were reconciled into #339: policy id/posture context on the generic ObstructionReceipt plus explicit refusal-context and determinism coverage. Keeping #339 as the single path avoids preserving the older specialized CapabilityGrantIntentObstructionReceipt shape.

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