Skip to content

docs: affirm state at 46aae564 - #40

Merged
hyperpolymath merged 1 commit into
mainfrom
docs/affirmation-2026-10-07
Oct 7, 2026
Merged

hyperpolymath merged 1 commit into
mainfrom
docs/affirmation-2026-10-07

Conversation

@hyperpolymath

Copy link
Copy Markdown
Contributor

Summary

Adds an AFFIRMATION for _pathroot at anchor 46aae564da48f1263a0e8f1a6600cde23fa49b2a, per standards/docs/AFFIRMATION-STANDARD.adoc. Claude ran the repo's own checks at that anchor on 2026-10-07 and drafted the file. The owner affirms it with the signed commit in this PR, whose parent is the anchor.

📌 New pins

Head SHA: f508f52 (the owner's signed commit, the one CI runs on). No action, lockfile or container pins are added or changed.

Changes

  • AFFIRMATION.adoc rewritten (profile A); the old file, an unfilled template, moved to docs/affirmations/AFFIRMATION-2026-08-02.adoc.

RSR Quality Checklist

Required

  • Tests pass: not applicable to a documentation-only change. The file records the repo's test results, including failures (see Testing).
  • Code is formatted: asciidoctor -S safe --failure-level=WARN rc=0, wrapped at 80 columns.
  • Linter is clean: same asciidoctor gate, 0 warnings.
  • No banned language patterns: AsciiDoc only.
  • No unsafe blocks: no code changed.
  • No banned functions: no code changed.
  • SPDX header on the new file: line 1 is // SPDX-License-Identifier: CC-BY-SA-4.0. Moved files are unchanged.
  • No secrets, credentials or .env files.

As Applicable

  • Descriptile/A2ML state files: not touched. A2ML is retired (D308), and this PR changes no project state.
  • Documentation updated: this PR is documentation.
  • TOPOLOGY.md: no architecture change.
  • CHANGELOG: not updated for an affirmation. Say so if you want an entry.
  • New dependencies: none.
  • ABI/FFI: no change.

Testing

  • cargo build --locked rc=0; cargo test --locked rc=101 (E0432 at src/executor.rs:134, 0 tests ran).
  • zig build test: rc=2 on 0.16.0, rc=1 on 0.14.0. idris2 --check on src/abi: 0/5.
  • gprbuild: 1 of 4 Ada projects builds. Proof gate: 3 gated PASS, 6 quarantined.
  • The file: line 1 is the SPDX header; the anchor equals this commit's parent.

Findings recorded in the file for the owner:

  • The build is broken in Rust tests, Zig, Idris2 and Ada. The affirmation records that; it does not fix it.

Merge form: please use a merge commit if the repo allows it. A squash replaces the signed commit, so the anchor is no longer the parent of a signed commit.

Screenshots

N/A: documentation only.

🤖 Generated with Claude Code

https://claude.ai/code/session_01X3hgXxWm6umMgZkjYyHnnm

Drafted by Claude from local runs at the anchor; affirmed by the owner.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01X3hgXxWm6umMgZkjYyHnnm
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: 2e474d71-4074-4ffe-b596-4cb50528dd5c
📥 Commits

Reviewing files that changed from the base of the PR and between 46aae56 and f508f52.

📒 Files selected for processing (2)
  • AFFIRMATION.adoc
  • docs/affirmations/AFFIRMATION-2026-08-02.adoc
 _________________________________
< WMD: Weapons of Mass Debugging. >
 ---------------------------------
  \
   \   (\__/)
       (•ㅅ•)
       /   づ
  • 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.

@hyperpolymath
hyperpolymath merged commit 131ba15 into main Oct 7, 2026
45 of 50 checks passed
@hyperpolymath
hyperpolymath deleted the docs/affirmation-2026-10-07 branch October 7, 2026 16:42
hyperpolymath added a commit to hyperpolymath/standards that referenced this pull request Oct 9, 2026
)

## Summary

Amends `docs/AFFIRMATION-STANDARD.adoc` (v1.0 → v1.1) so an affirmation
can be anchored in a repository that only allows squash merges. Owner
ruling 2026-10-07: amend the standard rather than relax
`required_linear_history` or bypass with direct pushes.

The old rule ("the anchor SHA matches the parent of the signed commit
that lands the file") cannot be met where `required_linear_history`
holds: a squash creates a new commit signed by the forge, not the owner.
That covers 8 of the 9 repos in the 2026-10-07 affirmation round.

The new `<<linear-history>>` section says a squash-landed affirmation is
anchored when:

1. the PR head `S` is owner-signed and its parent is the anchor `A`;
2. the squash commit `M` is on the default branch and its first parent
is `A` (merge only while main is still at `A`);
3. `tree(M) == tree(S)`;
4. `refs/pull/<N>/head` still resolves to `S`.

A new anti-pattern entry warns against squashing after main has moved.
`scripts/verify-affirmation-anchor.sh <owner/repo> <PR>` checks all four
and exits non-zero on any failure.

Closes: no issue.

## Type of change

- [ ] 🐛 Bug fix
- [x] ✨ New feature: `scripts/verify-affirmation-anchor.sh`
- [ ] 💥 Breaking change: no; merge-commit landings still satisfy the
rule unchanged
- [ ] 🕳️ Soundness fix
- [x] 📖 Documentation: one new section and one anti-pattern line in
AFFIRMATION-STANDARD
- [ ] 🧹 Refactor / tech debt
- [ ] ⚡ Performance
- [ ] 🔧 Build / CI / tooling

## 📌 New pins

**Head: `c3d315160cc57d52e5ee18153100b8649a0a3ae5`.** No new or changed
pins: no `uses:` SHA, `actions.lock` entry, lockfile record or container
digest is touched.

## How has this been verified?

```
scripts/verify-affirmation-anchor.sh <repo> <PR>   # on the 8 affirmation PRs merged 2026-10-07
```

| PR | Result |
|---|---|
| hyperpolymath/network-outpost#33 | ANCHORED |
| hyperpolymath/git-reticulator#121 | ANCHORED |
| hyperpolymath/gitbot-fleet#602 | ANCHORED |
| metadatastician/_pathroot#40 | ANCHORED |
| metadatastician/marid#79 | ANCHORED |
| metadatastician/harvard-dehallucinator#27 | ANCHORED |
| metadatastician/ziz#15 | ANCHORED |
| metadatastician/burble#241 | **DRAFT**, rc=1. The head `7db18c34` is a
"Merge branch 'main'" update commit, and the squash's parent is
`5cd5a951`, not the anchor `308c118a`. |

burble is the negative control: it shows the script fails a real
non-conforming landing. `bash -n` and `shellcheck` are clean, and
`.githooks/docstring-scan.sh --worktree --check` gives 3/3 documented.

## Checklist

- [x] My commit is **signed** (`git commit -S`).
- [x] I ran the relevant check (above).
- [x] New files carry the correct SPDX. The script is `MPL-2.0`, like
the other `scripts/*.sh`.
- [x] Docs are updated, and no claim overstates what was measured.
- [x] No soundness hole introduced. Condition 3 (tree equality) is what
keeps the squash from smuggling in content the owner did not sign.

## Notes for reviewers

Out of scope: `metadatastician/boj-server-mk2#14` (the 9th affirmation)
is open and BLOCKED for a separate reason. That repo is private, Code
Security is disabled, and the org `EstateBranching` ruleset's
`code_scanning` rule can therefore never be satisfied. Recorded in
dev-notes.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

https://claude.ai/code/session_01X3hgXxWm6umMgZkjYyHnnm

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
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