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

[hyperpolymath]

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.

Red checks deferred to tracking issues

This PR edits only citation metadata. Each red check below is tracked in the linked issue, with its state on the base branch.

• Deferred: test (1.10, ubuntu-latest, x64) — red on base 553d49e → Triage: 9 red checks surfaced by the citation PR #41 #43
• Deferred: test (1.10, macos-latest, x64) — red on base 553d49e → Triage: 9 red checks surfaced by the citation PR #41 #43
• Deferred: test (1.10, windows-latest, x64) — red on base 553d49e → Triage: 9 red checks surfaced by the citation PR #41 #43
• Deferred: test (1.11, ubuntu-latest, x64) — red on base 553d49e → Triage: 9 red checks surfaced by the citation PR #41 #43
• Deferred: test (1.11, macos-latest, x64) — red on base 553d49e → Triage: 9 red checks surfaced by the citation PR #41 #43
• Deferred: test (1.11, windows-latest, x64) — red on base 553d49e → Triage: 9 red checks surfaced by the citation PR #41 #43
• Deferred: test (nightly, ubuntu-latest, x64) — red on base 553d49e → Triage: 9 red checks surfaced by the citation PR #41 #43
• Deferred: test (nightly, macos-latest, x64) — red on base 553d49e → Triage: 9 red checks surfaced by the citation PR #41 #43
• Deferred: test (nightly, windows-latest, x64) — red on base 553d49e → Triage: 9 red checks surfaced by the citation PR #41 #43
• Deferred: governance / Guix primary / Nix fallback policy — red on base 553d49e → Cross-cutting governance reds surfaced by the actions.lock cure — 9 classes across 17 PRs (incl. a live gate for the retired A2ML) standards#994

🤖 Generated with Claude Code

https://claude.ai/code/session_01B2ARtAVppZ7x7mVY5u6nAz

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

[coderabbitai]

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

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: f7d97225-14ee-4264-8e35-25b3480cfa7b

📥 Commits

Reviewing files that changed from the base of the PR and between 553d49e and f92d098.

📒 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. (22)

• GitHub Check: governance / Code quality + docs
• GitHub Check: governance / Workflow security linter
• GitHub Check: governance / Licence consistency
• GitHub Check: governance / Check Workflow Staleness
• GitHub Check: governance / Trusted-base reduction policy
• GitHub Check: governance / Security policy checks
• GitHub Check: governance / Guix primary / Nix fallback policy
• GitHub Check: governance / Language / package anti-pattern policy
• GitHub Check: governance / Well-Known (RFC 9116 + RSR)
• GitHub Check: hypatia / Hypatia Neurosymbolic Analysis
• GitHub Check: scan / shell-secrets
• GitHub Check: scan / rust-secrets
• GitHub Check: scan / gitleaks
• GitHub Check: analyze (actions)
• GitHub Check: test (1.10, macos-latest, x64)
• GitHub Check: test (nightly, ubuntu-latest, x64)
• GitHub Check: test (nightly, macos-latest, x64)
• GitHub Check: test (1.11, ubuntu-latest, x64)
• GitHub Check: test (1.11, windows-latest, x64)
• GitHub Check: test (1.11, macos-latest, x64)
• GitHub Check: test (1.10, ubuntu-latest, x64)
• GitHub Check: semgrep-cloud-platform/scan

🔇 Additional comments (1)

CITATION.cff (1)

1-25: LGTM!

---

📝 Summary

Summary by CodeRabbit

• Documentation
  • Added citation guidance for SMTLib.jl, including its title, abstract, author details, ORCID, repository link and keywords.
  • Researchers and other users can consult the new citation record for information to include when referencing the software.

Walkthrough

The pull request adds a CITATION.cff file for SMTLib.jl. It records citation guidance, software details, author and ORCID, repository URL, and keywords.

Changes

Citation metadata

Layer / File(s)	Summary
Add citation record CITATION.cff	The new record specifies citation guidance, software title and abstract, author and ORCID, repository URL, and keywords.

Priority: ⬇️ Low

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

Change: Other

Merge Risk: ⚪ Minimal · up to f92d0

The citation record is structurally valid and matches the repository’s identity metadata; no established citation issue prevents merging.

Architecture Summary

Architecture risk: 🔵 Low · up to f92d0

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: Added citation metadata identifying SMTLib.jl as software, its author, repository, abstract, citation message, and keywords.

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
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.
Title check	✅ Passed	The title clearly identifies the addition of CITATION.cff and the author's ORCID. It accurately describes the main change.
Description check	✅ Passed	The description explains the citation metadata change, identifies the modified file, and provides relevant rollout context. It is related to the changeset.

✨ Finishing Touches 💡 1

🛠️ Fix failing CI checks 💡

• Commit to this branch
• Create a new PR

• 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

• X
• Mastodon
• Reddit
• LinkedIn

_{A rabbit cites the project with care,
A title and abstract hop in there.
An author, ORCID, keywords align,
The repository link completes the line.
Now citation details are ready to share.}

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