spec prose: status bookkeeping catches up with the 0.3.0 query-fold - #12
Open
koishore wants to merge 1 commit into
Open
spec prose: status bookkeeping catches up with the 0.3.0 query-fold#12koishore wants to merge 1 commit into
koishore wants to merge 1 commit into
Conversation
A conformance review found spec.md contradicting itself after the reference shipped the §4.2 query-fold (delego 0.3.0, CTK regenerated in #9): §2.1's version table/tag legend, the §10 preamble, and the §10 'deferred (breaking)' block still called the fold deferred and said the reference implements 0.2, while §4.2 (normative), the CTK README, and conformance.py all treat it as 0.3 and reference-backed. - §2.1: 0.3 row is reference-complete/CTK-backed; the query-fold is the 0.3 breaking change (reference-backed since 0.3.0, hashing vectors on the 0.3 preimage, 0.2 preimage preserved as hashing-v0.2.json); the reference implements 0.3. Inline '(0.3, draft — additive)' tags become '(0.3 — additive)'. - §4.1: worked example regenerated on the 0.3 preimage (canonical JSON carries "query":[]; fingerprints match ctk/vectors/hashing.json). - §4.2/§10: the Broker query obligation is scoped to the ≤0.2 preimage (the fold supersedes it on 0.3); the §10 deferred block becomes the 0.3 breaking conformance line; the token line quotes §9's actual TTL rule (SHOULD ≤60s, MUST NOT exceed 300s). - examples/authorization-token.{md,json}: drop the stale 'not yet minted' note (reference-backed since 0.3.3, #11); fpr updated to the place-order's 0.3 fingerprint. - README: status section rewritten to match; repaired spec.md anchors (§7.1 retag; two §9 links broken since #11's heading change). No normative design text changed — same precedent as #11's §9 status flip. validate.py + conformance.py green; all spec.md anchors resolve.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Why
A conformance review (2026-06-11) replayed the full CTK against the local reference (delego 0.3.4, protocol 0.3) — every vector reproduces — but found
spec.mdcontradicting itself. When the reference shipped the §4.2 query-fold (delego 0.3.0; CTK regenerated in #9), the spec body was deliberately left untouched, so its status prose still describes the pre-fold world:conformance.pyall treat the fold as 0.3 and reference-backed (hashing.jsonis wired and passing on the 0.3 preimage).querykey) and 0.2 fingerprints, contradicting the §4.2 preimage andctk/vectors/hashing.json.What
Status/prose only — no normative design text changed (same precedent as #11's §9 status flip):
hashing-v0.2.json). "The reference implements 0.3." Inline (0.3, draft — additive) tags → (0.3 — additive).hashing.json.broker_query.jsonsupersession); the §10 deferred block becomes the 0.3 — breaking conformance line; the §10 token parenthetical now quotes §9's actual TTL rule (SHOULD ≤ 60 s, MUST NOT exceed 300 s) instead of "≤ 60 sexp".fprupdated to the place-order's 0.3 fingerprint so the example matcheshashing.jsonas its prose claims.spec.mdanchor links (§7.1 retag in this PR; the two §9 links had been broken since CTK: §9 authorization-token vectors; mark §9 reference-backed (0.3.3) #11's heading change).Verification
validate.pyandconformance.pygreen against delego 0.3.4 (all hashing/decisions/resolve/chain/token vectors reproduce;reference 0.3 <= spec 0.3).spec.md#anchors across the repo resolve against the updated headings (checked with a slug script).