Skip to content

Bring the site up to the library's v0.7 main: 15 guarantees, the token, the ceiling, preconditions - #4

Merged
arpanghoshal merged 2 commits into
mainfrom
docs/v0.7-sync
Sep 11, 2026
Merged

Bring the site up to the library's v0.7 main: 15 guarantees, the token, the ceiling, preconditions#4
arpanghoshal merged 2 commits into
mainfrom
docs/v0.7-sync

Conversation

@arpanghoshal

Copy link
Copy Markdown
Member

The library merged clock-skew detection, the provider idempotency token, the
attempt ceiling and precondition fingerprints, and the catalogue moved from 12
guarantees to 15. Every drift check read that and went red; this carries it
across.

Rendered pages are regenerated: the API reference (the token accessor, the
fingerprint field on ApprovalRequest, max_attempts), the receipt and event
schemas (receipt/v4, precondition_at_request and precondition_at_recheck), the
CLI, the cookbook and the readiness block, which now says 15 guarantees and
4,999 tests on both pages that carry it.

Hand-written pages follow. The policy reference gains max_attempts and
ctrlrun.policy/v5. The OWASP mapping gains G14, G15 and G16, each with what it
does not close. The three quoted verify transcripts are re-run from the
policies they quote, and the prose beside them counts the not-applicable rows
as they now come out. The claims table is repointed with
scripts/repoint-claims.py, and the five rows that cite the NotExecuted branch
point at the except clause that holds it. The changelog line about "the
executor signature" is allow-listed as the Python word, not a claim about
receipts. The CI guide is trimmed back under the word budget and loses a
stale count.

…n, the ceiling, preconditions

The library merged clock-skew detection, the provider idempotency token, the
attempt ceiling and precondition fingerprints, and the catalogue moved from 12
guarantees to 15. Every drift check read that and went red; this carries it
across.

Rendered pages are regenerated: the API reference (the token accessor, the
fingerprint field on ApprovalRequest, max_attempts), the receipt and event
schemas (receipt/v4, precondition_at_request and precondition_at_recheck), the
CLI, the cookbook and the readiness block, which now says 15 guarantees and
4,999 tests on both pages that carry it.

Hand-written pages follow. The policy reference gains max_attempts and
ctrlrun.policy/v5. The OWASP mapping gains G14, G15 and G16, each with what it
does not close. The three quoted verify transcripts are re-run from the
policies they quote, and the prose beside them counts the not-applicable rows
as they now come out. The claims table is repointed with
scripts/repoint-claims.py, and the five rows that cite the NotExecuted branch
point at the except clause that holds it. The changelog line about "the
executor signature" is allow-listed as the Python word, not a claim about
receipts. The CI guide is trimmed back under the word budget and loses a
stale count.
@mintlify

mintlify Bot commented Sep 11, 2026

Copy link
Copy Markdown
Contributor

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated
ctrlrun 🟢 Ready View Preview Sep 11, 2026, 9:03 PM

💡 Tip: Enable Automations to automatically generate PRs for you.

@coderabbitai

coderabbitai Bot commented Sep 11, 2026

Copy link
Copy Markdown

Warning

Review limit reached

Next included review available in 32 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Advanced

Run ID: 4e0e7570-8f5f-448a-9be3-c5f167c5164a

📥 Commits

Reviewing files that changed from the base of the PR and between ff74e4b and d02e0a7.

⛔ Files ignored due to path filters (4)
  • generated/readiness.full.mdx is excluded by !**/generated/**
  • generated/readiness.json is excluded by !**/generated/**
  • generated/readiness.mdx is excluded by !**/generated/**
  • generated/readiness.readme.md is excluded by !**/generated/**
📒 Files selected for processing (38)
  • docs.json
  • docs.mdx
  • docs/CLAIMS.md
  • docs/OWASP-AGENTIC-TOP10.md
  • docs/cookbook/verify-in-github-actions.mdx
  • docs/guides/verify-in-ci.mdx
  • docs/production/index.mdx
  • docs/reference/api/Approval.mdx
  • docs/reference/api/ApprovalProvider.mdx
  • docs/reference/api/ApprovalRequest.mdx
  • docs/reference/api/Condition.mdx
  • docs/reference/api/Control.mdx
  • docs/reference/api/Decision.mdx
  • docs/reference/api/DelegationRecord.mdx
  • docs/reference/api/EffectRecord.mdx
  • docs/reference/api/EffectState.mdx
  • docs/reference/api/Event.mdx
  • docs/reference/api/EventSink.mdx
  • docs/reference/api/InMemoryStateStore.mdx
  • docs/reference/api/JSONLEventSink.mdx
  • docs/reference/api/LocalApprovalProvider.mdx
  • docs/reference/api/Policy.mdx
  • docs/reference/api/Receipt.mdx
  • docs/reference/api/ReconcileOutcome.mdx
  • docs/reference/api/SQLiteStateStore.mdx
  • docs/reference/api/ScriptedApprovalProvider.mdx
  • docs/reference/api/StateStore.mdx
  • docs/reference/api/context.mdx
  • docs/reference/api/idempotency_token.mdx
  • docs/reference/api/index.mdx
  • docs/reference/api/parse_conditions.mdx
  • docs/reference/api/postgres-PostgresStateStore.mdx
  • docs/reference/api/protect.mdx
  • docs/reference/api/with_approval.mdx
  • docs/reference/policy-yaml.mdx
  • docs/reference/receipt-and-event-schemas.mdx
  • docs/verify.md
  • tests/test_release_documents.py

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.

@arpanghoshal

Copy link
Copy Markdown
Member Author

@coderabbitai review

@coderabbitai

coderabbitai Bot commented Sep 11, 2026

Copy link
Copy Markdown
⚠️ Action not completed

Review rate limited.

Note: CodeRabbit is an incremental review system and does not re-review already reviewed commits. This command is applicable only when automatic reviews are paused.

@arpanghoshal
arpanghoshal merged commit 74cbf53 into main Sep 11, 2026
3 checks passed
@arpanghoshal
arpanghoshal deleted the docs/v0.7-sync branch September 11, 2026 21:14
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