[ArjunS07]

Purpose

PR descriptions in this repo use a fixed style. The rules were only in chat and in memory notes. This PR puts them in the repo, so every author and every agent uses the same rules.

How it works

GitHub fills a new PR description from the template. The template links to the rules page.

.github/
└── pull_request_template.md   # new: section skeleton with one-line prompts
docs/
└── PR_STYLE.md                # new: the rules and one small example

Changes

1. PR template.
   • Effect: a new PR opens with the sections Purpose, How it works, Changes, Usage, Verification and Notes. It has no footer.
   • Before: a new PR opened with an empty description.
2. Style rules page.
   • Effect: the language rules (ASD-STE100), section order, math format, banned words and code rules are in one short file.
   • Before: the rules were not in the repo.
   • The page also says that a PR has no footer and no AI attribution, and that commits have no co-author or session trailers.

Verification

• Documentation only. No code changes.
• The example in docs/PR_STYLE.md follows its own rules.

Notes

• The same two files are already merged in the other repos: formula-code/formulacode-verified-rl#20, formula-code/skyrl#20 and Add PR template and PR style rules harbor#11.
• docs: pipeline overview, stale docs deleted, shorter comments; fc-measure: measure time limit #67 adds the same .github/pull_request_template.md. That template links to docs/PR_STYLE.md, which only this PR adds.
  • Merge this PR too, or the link in the template has no target.
  • The two template files are identical, so the PRs do not conflict on it.