Skip to content

Add authoritative DocsCheck profile - #469

Merged
rcs2153 merged 3 commits into
mainfrom
codex/authoritative-docs-check-profile
Aug 13, 2026
Merged

Add authoritative DocsCheck profile#469
rcs2153 merged 3 commits into
mainfrom
codex/authoritative-docs-check-profile

Conversation

@rcs2153

@rcs2153 rcs2153 commented Aug 13, 2026

Copy link
Copy Markdown
Owner

Summary

  • add docs_check as the second closed explicit authoritative local-check profile
  • route the canonical check through existing immutable-run, same-call attestation, and proportional-governance execution
  • keep project activation, CLI defaults, ambient registration, providers, and writes unchanged
  • update the authoritative roadmap and include implementation/review evidence

Validation

  • cargo fmt --all --check
  • cargo clippy --workspace --all-targets -- -D warnings
  • cargo test --workspace
  • npm run check:docs
  • git diff --check

Governed evidence

  • implementation: dg/runtime-composition, run run-1786606027190141000-2, proof-bound approval granted, 39 events, no retries/escalations
  • review: dg/review, run run-1786607619687680000-2, proof-bound approval granted, 39 events, no retries/escalations

Boundaries

No arbitrary commands, default registration, project-level DocsCheck activation, CLI default changes, automatic local-check execution, provider calls, writes, OpenShell changes, persistence redesign, or release posture changes.

@rcs2153
rcs2153 marked this pull request as ready for review August 13, 2026 09:18
@rcs2153
rcs2153 merged commit 58951e1 into main Aug 13, 2026
7 checks passed
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