diff --git a/AGENTS.md b/AGENTS.md index 3f9d2b07..6ee5a087 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -262,7 +262,30 @@ Current Research Stack cornfield ref (for cross-repo lookup only): --- -## 13. SilverSight-Specific Boundaries +## 13. Citation File Format (CFF) Standards + +`CITATION.cff` must remain valid CFF 1.2.0 and be checked after any edit. + +- Run `python3 -c "import yaml; yaml.safe_load(open('CITATION.cff'))"` to verify + YAML syntax. +- Include all required fields: `cff-version`, `message`, `title`, `authors`, + `type`. +- Use `repository-code` and `url` for the project; add `date-released` and + `license` when known. +- For references: + - Prefer DOI or arXiv ID. Use `url` only when no persistent identifier exists. + - Use `type: unpublished` for preprints or works without a confirmed venue; + do not invent journal names or placeholder identifiers. + - For non-academic sources (e.g. Reddit posts, blog posts, forum threads), + use `type: generic` or `type: misc` with a `url` and `date-accessed` note. + - Avoid `et al.` as an author entry when a full author list is available; + use it only as a last resort for long author lists. +- When porting from Research Stack, add Research Stack as a `software` + reference, not as a co-author. + +--- + +## 14. SilverSight-Specific Boundaries - `Core/SilverSightCore.lean` is the root authority. It contains no sorries in the active surface. diff --git a/CITATION.cff b/CITATION.cff index 15c66191..03457b04 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -60,9 +60,9 @@ references: notes: "Parent research repository from which SilverSight ports proven Lean modules, agent contracts, and fixed-point semantics." # NOTE: The following four references are domain sources used by the - # PVGS_DQ_Bridge and BindingSite libraries. arXiv IDs and DOIs should be - # back-filled once the final preprint identifiers are confirmed. - - type: article + # PVGS_DQ_Bridge and BindingSite libraries. They are recorded as + # `unpublished` until DOIs, arXiv IDs, or journal pages are confirmed. + - type: unpublished authors: - family-names: "Giani" given-names: "A." @@ -72,9 +72,8 @@ references: given-names: "C." title: "Photon-Varied Gaussian States" year: 2025 - journal: "arXiv:2505.XXXXX" - notes: "Placeholder arXiv ID pending final preprint assignment." - - type: article + notes: "Preprint / in-preparation. Identifier pending confirmation." + - type: unpublished authors: - family-names: "Chabaud" given-names: "U." @@ -82,17 +81,20 @@ references: given-names: "S." title: "Stellar representation of non-Gaussian quantum states" year: 2022 - - type: article + notes: "Full citation details pending DOI or arXiv ID." + - type: unpublished authors: - family-names: "Pizzimenti" given-names: "C." - family-names: "et al." title: "Wigner negativity of superpositions" year: 2024 - - type: article + notes: "Full citation details pending DOI or arXiv ID." + - type: unpublished authors: - family-names: "Wassner" given-names: "M." - family-names: "et al." title: "Single quadrature noise tomography" year: 2025 + notes: "Full citation details pending DOI or arXiv ID."