Skip to content

docs(deed): record the proven mint answers, nine fields left blank as unproven - #94

Merged
hyperpolymath merged 1 commit into
mainfrom
chore/deed-mint-answers
Nov 14, 2026
Merged

hyperpolymath merged 1 commit into
mainfrom
chore/deed-mint-answers

Conversation

@hyperpolymath

@hyperpolymath hyperpolymath commented Nov 14, 2026 •

Copy link
Copy Markdown
Owner

Owner ruling (via the hub): record the mint answers that are proven, blank the nine that are not, invent nothing.

Adds a (mint-answers) clause after (provenance). The evidence for every value is .machine_readable/ai/PLACEHOLDERS.adoc, whose value column the old mint filled in place (cross-checked against SPDX headers, SECURITY.md, CITATION.cff and the deed's :minted-at).

Proven and recorded: :project-name, :repo, :owner, :author, :author-email, :author-org, :description, :forge, :security-email, :conduct-email, :website, :mint-date.
Left "" and marked UNPROVEN in a deed comment: :project-type, :service-name, :port, :registry, :package-uuid, :archetype, :author-email-alt, :openssf-bp-id and :author-orcid (its PLACEHOLDERS.adoc row is still an unfilled token).
Note: :project-name is Mathesis (PLACEHOLDERS.adoc, .envrc, README) while :repo is mathesis. :author-org is a proven blank (the PLACEHOLDERS row is empty). The primary, security and conduct emails are the GitHub noreply address that PLACEHOLDERS.adoc and SECURITY.md carry, not the author's mailbox.

check-mint-drift.sh: this repository's older template pin has no check-mint-drift.sh. I started a replay with the template's copy of the script at the recorded commit 4e66353; it had not finished when I opened this PR, so I claim nothing about its result.

Container-templates line: the over-cap DEED finding on line 238 is still on main and is fixed by #93. This PR does not touch that line, so it merges cleanly in either order, but its DEED check stays red until #93 merges.

What this does not do:

  • It adds no (provenance) clause (the deed already has one) and touches no (anchor) clause, no :repo-uuid and not the container-templates line.
  • It does not declare the drift that check-mint-drift.sh reports. That is a separate step ((variant (paths …))).

DEED linter: the findings are identical before and after this change (checked with the local newer standards linter at 615aeb9; CI's pinned linter may differ, and I did not run it). On a temp copy with the two unrelated findings neutralised, the linter passes (rc 0), so the new clause parses and every added line is under the 998-octet cap.

Not proven here: a CI run on this branch.

https://claude.ai/code/session_0136P7Zm6f3TYUpUuzGd5KAQ


Generated by Claude Code

… unproven

Add a (mint-answers) clause after (provenance). Values are the ones
.machine_readable/ai/PLACEHOLDERS.adoc proves (its value column was filled in
place by the old mint). Nine fields are left empty and said to be unproven
in a deed comment: project-type, service-name, port, registry, package-uuid,
archetype, author-email-alt, openssf-bp-id and (where not proven) author-orcid.
Nothing is invented. No anchor clause or :repo-uuid is touched.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0136P7Zm6f3TYUpUuzGd5KAQ
Copilot AI balanced review requested due to automatic review settings November 14, 2026 17:13
@linear-code
linear-code Bot marked this pull request as ready for review November 14, 2026 17:13

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 was unable to review this pull request because the user who requested the review has insufficient remaining quota.

@coderabbitai

coderabbitai Bot commented Nov 14, 2026

Copy link
Copy Markdown

Important

  • Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

Run configuration

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

@sonarqubecloud

Copy link
Copy Markdown

@hyperpolymath
hyperpolymath merged commit 16362f4 into main Nov 14, 2026
37 checks passed
@hyperpolymath
hyperpolymath deleted the chore/deed-mint-answers branch November 14, 2026 17:26
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.

4 participants