Skip to content

docs(agents): add the Praxis development conventions - #605

Merged
Levaj2000 merged 1 commit into
mainfrom
docs/agents-praxis-conventions
Oct 16, 2026
Merged

Levaj2000 merged 1 commit into
mainfrom
docs/agents-praxis-conventions

Conversation

@Levaj2000

Copy link
Copy Markdown
Owner

Adds a "Praxis conventions (IBM)" section to AGENTS.md, placed before "PR Workflow".

  • Links the canonical Praxis conventions doc, praxis-proxy/praxis docs/developing/conventions.md, as the authority.
  • Links praxis-proxy/policy's port of it, docs/dev/conventions.md, merged with policy#211. In that repo its own AGENTS.md divergences take precedence, for example mod.rs module style and workspace lints at allow.
  • Carries the short list of load-bearing rules. Each rule was checked against the canonical doc.

Docs only, so the changelog gate does not apply. scripts/check-no-confidential.sh passes, and the added lines are plain ASCII.

Generated with Claude Code

https://claude.ai/code/session_012BUhZ4ZG5jedf9ku6KuxNp


Generated by Claude Code

Point agents at the canonical Praxis conventions doc and the policy
repo's port of it, with the short list of load-bearing rules. In
praxis-proxy/policy, that repo's deliberate divergences take
precedence over the shared doc.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012BUhZ4ZG5jedf9ku6KuxNp
@Levaj2000
Levaj2000 marked this pull request as ready for review October 16, 2026 13:58
@Levaj2000
Levaj2000 merged commit 65fdbb5 into main Oct 16, 2026
9 checks passed
@Levaj2000
Levaj2000 deleted the docs/agents-praxis-conventions branch October 16, 2026 13:58
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