Skip to content

docs: mark AFFIRMATION as agent-authored DRAFT, not owner-affirmed - #233

Merged
hyperpolymath merged 1 commit into
mainfrom
docs/affirmation-mark-draft
Oct 7, 2026
Merged

hyperpolymath merged 1 commit into
mainfrom
docs/affirmation-mark-draft

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Summary

Marks AFFIRMATION.adoc as an agent-authored DRAFT, not affirmed by the owner.

#232 landed a file that Claude Code wrote and committed (c25c3b5). That file's "Affirmed by" row said the owner had affirmed it through the signed merge. That breaks the owner's 2026-10-07 rule: agents draft, and only the owner affirms, by landing the file with git commit -S. This PR:

  • adds :status: DRAFT — agent-authored, NOT affirmed by the owner;
  • adds an IMPORTANT banner;
  • rewrites the "Affirmed by" row and the footer so they no longer claim an affirmation.

No claim, count or anchor changes. The precedent is hyperpolymath/ijson-jcs 505482c (#3).

The anchor 5360032 is still the parent of 6071d0b, which I checked with git log --format='%h %p'. Once this PR lands, the anchor will no longer be the parent of the latest commit touching the file. That is expected for a DRAFT: the owner re-anchors it when affirming.

Refs #230, #232

Type of change

  • 🐛 Bug fix: no
  • ✨ New feature: no
  • 💥 Breaking change: no
  • 🕳️ Soundness fix: no
  • 📖 Documentation
  • 🧹 Refactor / tech debt: no
  • ⚡ Performance: no
  • 🔧 Build / CI / tooling: no

📌 New pins

Head SHA: 9832a6b

None. This PR changes no action uses:, actions.lock, lockfile or container digest.

How has this been verified?

  • I ran git diff origin/main: 1 file, +11/−2. The only changes are the status attribute, the banner, the "Affirmed by" row and the footer sentence.
  • git log --format='%h %p' -1 6071d0ba printed 6071d0ba 53600326, so the anchor row is still accurate for the merged file.

Checklist

  • My commits are signed: git log --format=%G? prints G. This is a status correction, not an affirmation.
  • I ran the project's own checks: no Idris source changed, so there was nothing to build.
  • New files carry the correct SPDX header: no new files; the existing CC-BY-SA-4.0 header stays.
  • Docs: this is the docs change.
  • No soundness hole: no .idr file is touched.

Notes for reviewers

Pre-existing red checks (red on main too; this PR does not touch them):

🤖 Generated with Claude Code

https://claude.ai/code/session_01HZc76cZKg5tUgduxXGLQkD

Owner rule (2026-10-07): an agent must not sign an affirmation. This file
was agent-committed in c25c3b5 (merged as 6071d0b, #232) and its
"Affirmed by" row claimed owner affirmation via the merge. Mark it DRAFT
until the owner re-anchors it and lands it with git commit -S.
Same fix as hyperpolymath/ijson-jcs 505482c.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01HZc76cZKg5tUgduxXGLQkD
Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>
@coderabbitai

coderabbitai Bot commented Oct 7, 2026

Copy link
Copy Markdown
Contributor

Review in Change Stack →

Note

Currently processing new changes in this PR. This may take a few minutes, please wait...

⚙️ Run configuration
  • Configuration used: Organization UI
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: 3a6ac2a8-c610-4148-bd23-ba9ffc31ded9
📥 Commits

Reviewing files that changed from the base of the PR and between 6071d0b and 9832a6b.

📒 Files selected for processing (1)
  • AFFIRMATION.adoc
 ____________________________________________________________________________________________________________________________________________________________________________
< Good code is its own best documentation. As you're about to add a comment, ask yourself, 'How can I improve the code so that this comment isn't needed?' - Steve McConnell >
 ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------
  \
   \   (\__/)
       (•ㅅ•)
       /   づ
  • Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

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.

@sonarqubecloud

sonarqubecloud Bot commented Oct 7, 2026

Copy link
Copy Markdown

@hyperpolymath
hyperpolymath merged commit a7503b2 into main Oct 7, 2026
35 of 40 checks passed
@hyperpolymath
hyperpolymath deleted the docs/affirmation-mark-draft branch October 7, 2026 11:15
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