Add proof-driven pull request template #451

Closed
Timmy wants to merge 1 commits from timmy/pr-proof-template into main
Owner

Summary

Add a default pull request template that forces contributors and agents to state what changed, which issue governs the work, what acceptance criteria were targeted, and what proof demonstrates completion.

Linked issue / governing artifact

Acceptance criteria targeted

  • PR authors get a visible structure for summary, linked issue, proof, and rollback.
  • The template reinforces the existing CONTRIBUTING.md proof standard before review begins.

Proof

Commands / logs / world-state proof

  • git diff --check
  • git diff --cached --stat

Visual proof

  • not applicable (docs / workflow hygiene only)

Risk and rollback

  • Risk: low; affects PR authoring UX only.
  • Rollback: remove .gitea/PULL_REQUEST_TEMPLATE.md.
## Summary Add a default pull request template that forces contributors and agents to state what changed, which issue governs the work, what acceptance criteria were targeted, and what proof demonstrates completion. ## Linked issue / governing artifact - related to #398 - related to #393 ## Acceptance criteria targeted - PR authors get a visible structure for summary, linked issue, proof, and rollback. - The template reinforces the existing CONTRIBUTING.md proof standard before review begins. ## Proof ### Commands / logs / world-state proof - `git diff --check` - `git diff --cached --stat` ### Visual proof - not applicable (docs / workflow hygiene only) ## Risk and rollback - Risk: low; affects PR authoring UX only. - Rollback: remove `.gitea/PULL_REQUEST_TEMPLATE.md`.
Timmy added 1 commit 2026-04-09 23:23:56 +00:00
Add proof-driven pull request template
Some checks failed
PR Checklist / pr-checklist (pull_request) Failing after 4m27s
0beda5abce
Rockachopa reviewed 2026-04-10 03:41:15 +00:00
Rockachopa left a comment
Owner

Auto-approved: clean diff, no conflicts, mergeable.

Auto-approved: clean diff, no conflicts, mergeable.
Rockachopa scheduled this pull request to auto merge when all checks succeed 2026-04-10 03:41:15 +00:00
Author
Owner

Work submitted in PR #454. Added with proof-driven structure aligned to CONTRIBUTING.md and the existing CI gate.

Work submitted in PR #454. Added with proof-driven structure aligned to CONTRIBUTING.md and the existing CI gate.
Author
Owner

Branch has merge conflicts that need to be resolved before this can be merged. Please rebase or resolve conflicts.

Branch has merge conflicts that need to be resolved before this can be merged. Please rebase or resolve conflicts.
Author
Owner

Work submitted in PR #455.

What changed:

  • Removed duplicated content (template body was repeated twice)
  • Strengthened proof section with explicit "no proof = no merge" callout
  • Added enforcement checklist items from #393: issue reference, syntactic validity
  • Aligned terminology with CONTRIBUTING.md ("Governing Issue" instead of "Linked Issue")
Work submitted in PR #455. **What changed:** - Removed duplicated content (template body was repeated twice) - Strengthened proof section with explicit "no proof = no merge" callout - Added enforcement checklist items from #393: issue reference, syntactic validity - Aligned terminology with CONTRIBUTING.md ("Governing Issue" instead of "Linked Issue")
Member

Perplexity Review — PR #451

Verdict: Close (superseded)

This PR has been superseded by two subsequent PRs:

  1. PR #454 — already merged into main, delivering the initial proof-driven PR template.
  2. PR #455 — open with fixes (deduplication, proof hardening, checklist enhancements).

This branch now has merge conflicts with main on the same file (.gitea/PULL_REQUEST_TEMPLATE.md) and the PR checklist CI is failing. No reason to keep this open.

Recommendation: Close without merge.

## Perplexity Review — PR #451 **Verdict: Close (superseded)** This PR has been superseded by two subsequent PRs: 1. **PR #454** — already merged into `main`, delivering the initial proof-driven PR template. 2. **PR #455** — open with fixes (deduplication, proof hardening, checklist enhancements). This branch now has merge conflicts with `main` on the same file (`.gitea/PULL_REQUEST_TEMPLATE.md`) and the PR checklist CI is failing. No reason to keep this open. **Recommendation:** Close without merge.
Author
Owner

⚠️ Blocked: Merge conflict. This PR has conflicts with the base branch that need to be resolved before merging.

⚠️ **Blocked: Merge conflict.** This PR has conflicts with the base branch that need to be resolved before merging.
Author
Owner

Superseded by #455, which is now merged into main. Closing this older PR to keep the proof-template surface single and reduce review noise.

Superseded by #455, which is now merged into main. Closing this older PR to keep the proof-template surface single and reduce review noise.
Timmy closed this pull request 2026-04-10 12:47:32 +00:00
Some checks failed
PR Checklist / pr-checklist (pull_request) Failing after 4m27s

Pull request closed

Sign in to join this conversation.