dateKeys-dart

Commit Graph

Author	SHA1	Message	Date
dev	e18045ed1b	Stage 4c: the vectors of Go for the head, the note and the opening tool/mutation_go_texts.go ports scripts/mutation-go-texts.go of datekeys-ts over the synced testdata of this repository, the tag spec-v0.11: it replays every case of the mutation corpus as the testkit of the reference does and writes the text of capsule.Open and its checks, with the detail of each step, in mutation_texts.json. Where Go and the corpus disagree on a code or a step it would say so in the case; Go at c531e93 and at the tag spec-v0.11 agree with all 210 cases, and give the same file, byte for byte. tool/open_go_vectors.go runs in an export of datekeys-go, since it uses internal/testkit, internal/cbortest and internal/inspectview, and writes: - open_cases.json: capsule.Open on every fixture with each of its credentials, and 117 openings of edited fixtures or with other options at each step that the corpus does not reach: the frame, the fields, the extensions and the bindings of a .dkk at step 9.a, the clock and the failures of the release source, the age headers of steps 11 and 17, a malformed X25519 stanza in INNER_ACCESS_AGE, CONTROL_CBOR and the BODY of format 3 sealed again, the sinks and the output that fail, the refusal of Accept and the unusable extensions of each object, with the text, the step, the checks, the release requests, the state of the sink and the content or the files; - open_heads.json: capsule.DecodeHead and EncodeHead of heads of a fixed seed, valid and broken in each layer of spec §69.1; - open_notes.json: extension.CheckNote, Note, Header.UnusableNote and extension.Standard with a note; - open_inspect.json: the text of capsule.Inspect for each of the 5110 mutations of inspect_differential.json, where Go and the file also agree, and the exact output of datekeys inspect -json with public notes; - open_vectors.g.dart: seven small fixtures, their records and a part of each file, for the tests that run compiled to JavaScript. The edited capsules are sealed again with the file keys and the nonces of the fixtures, as the testkit does, so the output is the same on every run. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	3 days ago

Author

SHA1

Message

Date

dev

e18045ed1b

Stage 4c: the vectors of Go for the head, the note and the opening

tool/mutation_go_texts.go ports scripts/mutation-go-texts.go of
datekeys-ts over the synced testdata of this repository, the tag
spec-v0.11: it replays every case of the mutation corpus as the testkit of
the reference does and writes the text of capsule.Open and its checks,
with the detail of each step, in mutation_texts.json. Where Go and the
corpus disagree on a code or a step it would say so in the case; Go at
c531e93 and at the tag spec-v0.11 agree with all 210 cases, and give the
same file, byte for byte.

tool/open_go_vectors.go runs in an export of datekeys-go, since it uses
internal/testkit, internal/cbortest and internal/inspectview, and writes:

  - open_cases.json: capsule.Open on every fixture with each of its
    credentials, and 117 openings of edited fixtures or with other options
    at each step that the corpus does not reach: the frame, the fields, the
    extensions and the bindings of a .dkk at step 9.a, the clock and the
    failures of the release source, the age headers of steps 11 and 17, a
    malformed X25519 stanza in INNER_ACCESS_AGE, CONTROL_CBOR and the BODY
    of format 3 sealed again, the sinks and the output that fail, the
    refusal of Accept and the unusable extensions of each object, with the
    text, the step, the checks, the release requests, the state of the
    sink and the content or the files;
  - open_heads.json: capsule.DecodeHead and EncodeHead of heads of a fixed
    seed, valid and broken in each layer of spec §69.1;
  - open_notes.json: extension.CheckNote, Note, Header.UnusableNote and
    extension.Standard with a note;
  - open_inspect.json: the text of capsule.Inspect for each of the 5110
    mutations of inspect_differential.json, where Go and the file also
    agree, and the exact output of datekeys inspect -json with public notes;
  - open_vectors.g.dart: seven small fixtures, their records and a part of
    each file, for the tests that run compiled to JavaScript.

The edited capsules are sealed again with the file keys and the nonces of
the fixtures, as the testkit does, so the output is the same on every run.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

1 Commits (f2cd7305e664cd401526df8f141c1b680fa2e947)