Skip to content

docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) - #180

Merged
hyperpolymath merged 4 commits into
mainfrom
chore/citation-orcid
Oct 1, 2026
Merged

hyperpolymath merged 4 commits into
mainfrom
chore/citation-orcid

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Adds the author's ORCID iD, 0000-0002-3078-6652, to this repo's citation metadata.

  • CITATION.cff: created

Part of an estate-wide rollout. The template's own 0000-0000 placeholder is fixed at source in hyperpolymath/rsr-template-repo#214. No licence fields were added or changed.

🤖 Generated with Claude Code

https://claude.ai/code/session_01B2ARtAVppZ7x7mVY5u6nAz

…078-6652)

- CITATION.cff: created

https://orcid.org/0000-0002-3078-6652

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01B2ARtAVppZ7x7mVY5u6nAz
Copilot AI balanced review requested due to automatic review settings October 1, 2026 02:36
@coderabbitai

coderabbitai Bot commented Oct 1, 2026 •

Copy link
Copy Markdown
Contributor

Review in Change Stack →

Navigate logical layers of code changes, visualize relationships, and explore their blast radius.

Important

Review skipped

Review was skipped as selected files did not have any reviewable changes.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: e94781c0-ba58-4d22-b074-3cae13cce741

📥 Commits

Reviewing files that changed from the base of the PR and between 7ecc455 and fb5994a.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: 0476be94-7e50-434b-9e5f-ef2ff757aa18

📥 Commits

Reviewing files that changed from the base of the PR and between 7f03883 and ee22d1b.

📒 Files selected for processing (1)
  • CITATION.cff

Included review availability: This review used your included allowance. Your plan provides up to 1 included review per hour; 0 remain after this review.

📜 Recent review details
⏰ Context from checks skipped due to timeout. (25)
  • GitHub Check: governance / Actions lockfile verify
  • GitHub Check: governance / Exemption ratchet
  • GitHub Check: governance / Workflow security linter
  • GitHub Check: governance / Well-Known (RFC 9116 + RSR)
  • GitHub Check: governance / Language / package anti-pattern policy
  • GitHub Check: governance / Trusted-base reduction policy
  • GitHub Check: governance / Code quality + docs
  • GitHub Check: governance / Debt ratchet
  • GitHub Check: governance / Live Actions policy (credentialed advisory)
  • GitHub Check: governance / Security policy checks
  • GitHub Check: governance / Licence consistency
  • GitHub Check: governance / Check Workflow Staleness
  • GitHub Check: governance / Guix packaging policy (Nix retired)
  • GitHub Check: governance / Allowlist Preflight
  • GitHub Check: hypatia / Hypatia Neurosymbolic Analysis
  • GitHub Check: scan / shell-secrets
  • GitHub Check: scorecard / Run Scorecard PR
  • GitHub Check: scan / gitleaks
  • GitHub Check: rust-ci / Detect Cargo.toml
  • GitHub Check: scan / rust-secrets
  • GitHub Check: analyze (rust, none)
  • GitHub Check: analyze (actions, none)
  • GitHub Check: check
  • GitHub Check: PR (address)
  • GitHub Check: semgrep-cloud-platform/scan
🔇 Additional comments (1)
CITATION.cff (1)

4-5: LGTM!


📝 Summary

Summary by CodeRabbit

  • Documentation
    • Added citation information for the software, including citation instructions, its formal-verification scope, authorship and ORCID, repository link, and relevant keywords. This information helps users identify and cite the software in their work.

Walkthrough

This change adds a CITATION.cff record for Absolute Zero. It includes citation details, author information, a repository URL, and keywords.

Changes

Citation metadata

Layer / File(s) Summary
Citation record
CITATION.cff
Adds the software title, description, citation message, author and ORCID, repository URL, and keywords related to provers and verification.

Priority: ⬇️ Low

Estimated code review effort: 1 (Trivial) | ~3 minutes

Change: Other

Merge Risk: ⚪ Minimal · up to ee22d

This change adds a citation record whose project identity and main details align with repository sources. The ORCID and acronym expansion remain inconclusive, but no concrete metadata error is established, so merge risk is minimal.

Architecture Summary

Architecture risk: 🔵 Low · up to ee22d

The change affects 1 system.

Changed systems: CITATION.cff

Architecture concerns
No architecture-level concerns identified.

Review details

Systems and components

  • observed — CITATION.cff (service) was modified; 1 changed file maps to changed impact.

Before / after behavior

  • observed — Modified behavior in CITATION.cff: Adds the software citation record with its title, description, author, repository URL, and verification-related keywords.
🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Title check ✅ Passed The title clearly identifies the main change: adding CITATION.cff with the author's ORCID.
Description check ✅ Passed The description accurately explains the ORCID addition, the new CITATION.cff file, and the scope of the rollout.
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.
  • Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Autopilot is currently an internal CodeRabbit preview.


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

A rabbit finds the citation page,
With author, title, links in place.
ORCID joins the keywords too,
Verification comes into view.
A tidy record, ready to cite,
And hops away into the night.

Comment @coderabbitai help to get the list of available commands.

coderabbitai[bot]
coderabbitai Bot previously approved these changes Oct 1, 2026

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot review overview

🟡 Changes recommended

The metadata conflicts with documented authorship and understates prover coverage.

Review effort: Balanced
Findings: 2 Low severity

Open (2)
What changed in this PR

Adds machine-readable citation metadata, including the author’s ORCID.

Changes:

  • Adds project, author, repository, abstract, and keyword metadata.
File Description
CITATION.cff Defines citation metadata for the repository.

💡 Add a code-review agent skill for context-aware, tailored reviews. Learn more in the docs.

Comment thread CITATION.cff Outdated
Comment thread CITATION.cff
…D coverage

Follow-up to the estate ORCID rollout (https://orcid.org/0000-0002-3078-6652):
- title → the README's project name "Absolute Zero"
- abstract: factual correction (see below)

Every wording change is taken from this repo's own README or
Project.toml. No licence fields or SPDX headers were added or changed.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01B2ARtAVppZ7x7mVY5u6nAz
coderabbitai[bot]
coderabbitai Bot previously approved these changes Oct 1, 2026
@hyperpolymath
hyperpolymath merged commit 8007381 into main Oct 1, 2026
38 checks passed
@hyperpolymath
hyperpolymath deleted the chore/citation-orcid branch October 1, 2026 13:54
hyperpolymath added a commit that referenced this pull request Oct 1, 2026
)

Closes #181.

**Held for the owner's merge: the merge is the ruling.** #181 asks which
author form is canonical. This PR takes the form already in
`CITATION.cff` (#180): **Jonathan D.A. Jewell**, ORCID iD
`0000-0002-3078-6652`. That matches the 2026-10-01 ORCID-rollout
selector ("All ~90 naming you"). If you want "Hyper Polymath" instead,
close this PR and the change goes the other way, in `CITATION.cff`.

## Changes
- All five citation forms (BibTeX, Harvard, OSCOLA, MLA, APA 7) use the
personal name. The ORCID iD is stated once at the top, because BibTeX
has no standard ORCID field.
- Drops the "See Also" link to `../codemeta.json`, which does not exist
in the repo.
- `asciidoctor -o /dev/null docs/CITATIONS.adoc` renders clean; `grep -c
Polymath` → 0.

## ⚠ Not changed, needs you
The BibTeX entry says `license = {AGPL-3.0-or-later}`, while the root
`LICENSE` and GitHub's detected licence are **MPL-2.0**. `LICENSES/`
also carries `AGPL-3.0-or-later.txt`, so the line may be stale or
deliberate, and I cannot tell which. The estate rule is that licence
text is never edited by automation, so this line is untouched. Your
call: keep it, change it to `{MPL-2.0}`, or delete the field.

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

https://claude.ai/code/session_01WRvDivYwLSeVCJUrfjic3f

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.

2 participants