Skip to content

AGENTS.md §A.45: the project board tracks Issues only - #1136

Merged
amaybaum merged 2 commits into
mainfrom
docs/agents-board-issues-only-20261105
Nov 5, 2026
Merged

amaybaum merged 2 commits into
mainfrom
docs/agents-board-issues-only-20261105

Conversation

@amaybaum

@amaybaum amaybaum commented Nov 5, 2026

Copy link
Copy Markdown
Owner

Draft. Merge not authorized; it awaits independent review, CI and the owner's merge decision.

Accountable Issue: #1031. That is where the board configuration and this approval are recorded.

Change

There is one bullet in AGENTS.md §A.45, "Where things live" (lines 1292–1293 at main 2f6ff6d6), and it is the only change:

-- The GitHub Project *OI Research Programme* shows administrative activity, including which items
-  are active. Project Status grants no authorization and confers no scientific status.
+- The GitHub Project *OI Research Programme* shows administrative activity on Issues only, including
+  which items are active; a pull request is tracked through its accountable Issue (§A.43), not as a
+  card of its own. Project Status grants no authorization and confers no scientific status.

Authority

  • Wording approved by the owner: K1-RDY: paper-only readiness investigation under fixed selection rule #1031 c.6660526429. The owner wrote "Approved, open the AGENTS.md PR with that wording". Under §A.45, changes to that section's rules need explicit owner approval.
  • Board configuration this describes: set by the owner in the project settings and recorded in K1-RDY: paper-only readiness investigation under fixed selection rule #1031 c.6660481530. The Activity view defaults to is:issue, auto-add matches is:issue is:open, and "Item added" assigns Backlog only to issue cards. The 65 existing PR cards are kept and hidden from the view.
  • Scope: the rule is stated without the project's filter strings or automation settings, so it does not go stale if those settings change (§A.28).

Checks (local, at 81d70a90)

  • artifact_placement_check, duplicate_check, staleness_check, voice_check, claims_check, coverage_check and build_migration_manifest.py --check: all OK.
  • No gate tool pins this text. AGENTS.md is mentioned by release_gate, voice_check, the census tools and some round controls.py files, but only in prose and notes; none of them hashes or quotes this section.
  • Push triggers: no push workflow matches AGENTS.md, so only the ordinary verify.yml pull-request run starts.

Generated by Claude Code

"Where things live" now states that the GitHub Project shows administrative
activity on Issues only and that a pull request is tracked through its
accountable Issue (§A.43), not as a card of its own. One bullet changed;
nothing else in AGENTS.md changes.

Owner approval of this wording: #1031 c.6660526429. The board configuration
it describes was set by the owner and is recorded in #1031 c.6660481530.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_011zDyUSyEszk3JJx83uXKKq

amaybaum commented Nov 5, 2026

Copy link
Copy Markdown
Owner Author

Independent review at 81d70a905951742df00369cffdca8fb004066418: ACCEPT

The reviewer is independent and read-only.

  1. Diff. git diff 2f6ff6d6 81d70a90 touches only AGENTS.md, +3/−2, in one commit. It replaces exactly the §A.45 "Where things live" bullet at lines 1292–1293. The new text matches the wording the owner approved in K1-RDY: paper-only readiness investigation under fixed selection rule #1031 c.6660526429 word for word. Lines wrap within 100 columns, and diff --check is clean.
  2. Consistency.
    • The bullet agrees with §A.43 (PRs link their Issue) and with §A.45 rule 6 ("A pull request is never an accountable home").
    • Rule 1 and the Maintenance clause speak generally of "Project cards", which still fits an Issues-only board.
    • §A.43's "The PR tracks pushed work in progress" concerns git work, not the board.
    • No passage implies PRs are tracked as cards.
    • The bullet matches the configuration recorded in K1-RDY: paper-only readiness investigation under fixed selection rule #1031 c.6660481530.
  3. Pins and tooling.
    • Nothing in tools/, verification/ or .github/ hashes, quotes or line-pins the old sentence or the section heading.
    • The header of tools/project_board.py and the comments in project-board.yml paraphrase §A.45 and remain accurate.
    • One note: the tool's write mode still accepts "Issue or PR #N". Making the tool enforce Issues only would be a separate change, if wanted.
  4. Register. The rule is stated timelessly, with no history wording and no self-narration.

The verify CI run on this head is in progress. Merge not authorized; this awaits the owner's decision.


Generated by Claude Code

@amaybaum
amaybaum marked this pull request as ready for review November 5, 2026 15:30
@amaybaum
amaybaum merged commit 63b1cd4 into main Nov 5, 2026
26 checks passed
@amaybaum
amaybaum deleted the docs/agents-board-issues-only-20261105 branch November 5, 2026 15:30

amaybaum commented Nov 5, 2026

Copy link
Copy Markdown
Owner Author

Merge record (owner approval #1031 c.6660591343, "plus #1136"; standing integration rule; confirmed in session chat)

Merged at integrated head 4654e09548d101d7da6a2c4dbc3b4379df875bc8 as normal merge commit 63b1cd45f2a59c39a73ab73ffb4a11095e7263b9. Its parents are b28888ff (main after #1132, whose main CI was green) and 4654e095.

Preconditions, all checked immediately before the merge:

  • Net diff: git diff 2f6ff6d6 81d70a90 is byte-identical to git diff origin/main 4654e095. The only change is the single owner-approved §A.45 bullet in AGENTS.md.
  • Exact-head CI: PR run 42054029586 at 4654e095 succeeded, with 25 jobs green and 1 skipped.
  • Base unchanged: main was still at b28888ff.
  • No new permissions and no dispatches.

After the merge:

  • The merged tree equals the tree of 4654e095.
  • main CI: verify run 42055622561 at 63b1cd45 succeeded, with 25 jobs green and 1 skipped.

Generated by Claude Code

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