Skip to content

docs(receipts): put the receipt spec under version control - #125

Merged
c-1k merged 1 commit into
masterfrom
ship/receipt-spec
Aug 15, 2026
Merged

docs(receipts): put the receipt spec under version control#125
c-1k merged 1 commit into
masterfrom
ship/receipt-spec

Conversation

@c-1k

@c-1k c-1k commented Aug 15, 2026

Copy link
Copy Markdown
Contributor

What

Puts the two normative receipt documents under git. Docs only.

file lines sha256
docs/specs/receipt-spec.md 2254 ae4490fe… after title-only edit (was 0b8f4475…)
docs/specs/receipt-resolver-api.md 907 6260043a360e61f2e138c3d2f7832b3b9d1718f188ea1f56f04c0e9b9f62e18e (unchanged)

The spec's §6a pin still names 6260043a…. Title was DRAFT v0.9.4 while Status held the format at v0.6 — title is now v0.6. Status block history untouched. No format bump.

Supporting, not committed

Other files under docs/specs/ (handoffs, verify-page design, CLI notes) stay untracked. They are supporting, not normative. Committing them would make a handoff look like a third spec.

Not this PR

The format spec and the resolver API it pins lived on one disk, untracked.
A fresh session reading master could not find either. This commits both,
byte-identical except the title: DRAFT v0.9.4 said a version the Status
block deliberately held at v0.6.

The resolver digest is still
sha256:6260043a360e61f2e138c3d2f7832b3b9d1718f188ea1f56f04c0e9b9f62e18e
— the pin at §6a. No format bump. Handoffs and design notes in
docs/specs/ stay untracked so they cannot become a third spec.

Co-Authored-By: Grok 4.6 <grok@x.ai>
Signed-off-by: Cam <cam@camwhiteus.com>
@c-1k

c-1k commented Aug 15, 2026

Copy link
Copy Markdown
Contributor Author

Codex gates (local CLI)

Reviewed SHA: 9c8caec2eee547662655bd31dca065610d8fcec5 (HEAD did not move).
Command: codex review --base origin/master from .worktrees/ship-receipt-spec.
Model (gate 3 header): gpt-5.6-sol.

gate EXIT verdict
1 0 Finished. 3 P1 / 4 P2 on pre-existing spec content (Rekor–checkpoint binding, key-id aliasing, mint-key rotation vs segment boundary, leftover floor carve-out, SCHEMA_INVALID, stale canonicalize appendix). Not a title-line defect. This PR is put-under-git, not a rewrite.
2 1 Not certified. Stream died: no Codex API credits remaining. Output includes “Review was interrupted.”
3 1 Not certified. Same credit outage.

Gates 2 and 3 are not reviews. PR stays draft. Ship owns merge / ready.

@c-1k

c-1k commented Aug 15, 2026

Copy link
Copy Markdown
Contributor Author

Residuals — not applied in this PR

This PR puts the frozen spec under git. Title-only reconcile (v0.9.4 → v0.6). Do not apply Codex P1s to the frozen text here.

From certified gate 1 (codex review --base origin/master, EXIT=0, REVIEWED_SHA=9c8caec):

sev residual file:line
P1 Define the Rekor-to-checkpoint binding so step 9 / VERIFIED_ANCHORED is implementable docs/specs/receipt-spec.md:755-757
P1 Reject duplicate key material across key IDs (revoked A / active B alias) docs/specs/receipt-spec.md:1481-1483
P1 Align mint-key rotation with segment boundaries docs/specs/receipt-spec.md:1388-1390
P2 Remove leftover floor conformance carve-out (conflicts with live R40) docs/specs/receipt-spec.md:1158-1162
P2 Assign step 1 SCHEMA_INVALID docs/specs/receipt-spec.md:1054
P2 Scope canonicalize compatibility to persisted JSON docs/specs/receipt-spec.md:2074-2076
P2 Refresh canonicalize status table after the base fix docs/specs/receipt-spec.md:2130-2136

Gates 2 and 3 still cannot certify: Codex API has no credits (You have no credits remaining). Probe just now EXIT=1, same error. They are not finished reviews.

@c-1k
c-1k marked this pull request as ready for review August 15, 2026 20:55

@chatgpt-codex-connector chatgpt-codex-connector Bot 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.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 9c8caec2ee

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +1134 to +1136
**The floor claim is CONDITIONAL, and the precondition is:** *the amount covers
a subset of costs actually caused by the subject, and everything omitted is
non-negative.* It does not hold uniformly.

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P1 Badge Remove the restored floor requirement

The preceding amendment explicitly says the floor framing was rejected and must not be rendered, but this paragraph reintroduces a normative conditional floor; the following text even declares the CLI non-conformant for omitting it. A page or verifier implementing the latter instructions can therefore restore the explicitly rejected at least $X financial claim. Remove the obsolete floor requirements so the normative section consistently requires an unqualified amount with its scope shown beneath it.

Useful? React with 👍 / 👎.

@@ -0,0 +1,2254 @@
# Receipt Spec + ID Format — DRAFT v0.6 (usertrust drafts, stealth reviews)

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P1 Badge Add the required DCO sign-off

Commit 52f676c04f43b2d718cfc0dc8f5907e17f6046c2 has no Signed-off-by trailer, so the repository's DCO workflow will reject the branch and require the commit history to be corrected before merge.

AGENTS.md reference: AGENTS.md:L1198-L1206

Useful? React with 👍 / 👎.

@c-1k
c-1k merged commit a17a6f7 into master Aug 15, 2026
13 checks passed
@c-1k
c-1k deleted the ship/receipt-spec branch August 15, 2026 21:00
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