dateKeys-dart

Commit Graph

Author	SHA1	Message	Date
dev	95f9c5a333	Test data of the branch v0.12 of datekeys-go at c531e93 testdata/ is synced with datekeys-go at c531e93, the head of the branch v0.12, whose testdata is that of 601e6d2, the copy of datekeys-ts. Every file keeps "spec": "0.11": the draft v0.12 is not approved yet. From the tag spec-v0.11 it brings the fixtures format3_unsigned and format3_note, format3_seal_unsupported with seal_type 4294967295, the records of format3_sealed and format3_signed_cms, the mutation corpus of 218 cases, note.json, security.json with a context and lines, security_cms.json of 135 cases and locator.json. The vectors that the generators of tool/ make from the testdata are written again by Go at c531e93: mutation_texts.json, open_cases.json, formats_*.json with formats_vectors.g.dart, ibe_vectors.json and age_fixtures.json; release_vectors.json, primitives.json and the views of open_vectors.g.dart come out the same. age.json does not read the testdata, and stays frozen: age draws its keys from crypto/rand. The tests count 26 fixtures and 218 cases, and the inspection of format3_note gives the note of its record. No difference with Go. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>	2 days ago
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>	2 days ago

Author

SHA1

Message

Date

dev

95f9c5a333

Test data of the branch v0.12 of datekeys-go at c531e93

testdata/ is synced with datekeys-go at c531e93, the head of the branch
v0.12, whose testdata is that of 601e6d2, the copy of datekeys-ts. Every
file keeps "spec": "0.11": the draft v0.12 is not approved yet. From the
tag spec-v0.11 it brings the fixtures format3_unsigned and format3_note,
format3_seal_unsupported with seal_type 4294967295, the records of
format3_sealed and format3_signed_cms, the mutation corpus of 218 cases,
note.json, security.json with a context and lines, security_cms.json of
135 cases and locator.json.

The vectors that the generators of tool/ make from the testdata are
written again by Go at c531e93: mutation_texts.json, open_cases.json,
formats_*.json with formats_vectors.g.dart, ibe_vectors.json and
age_fixtures.json; release_vectors.json, primitives.json and the views
of open_vectors.g.dart come out the same. age.json does not read the
testdata, and stays frozen: age draws its keys from crypto/rand. The
tests count 26 fixtures and 218 cases, and the inspection of
format3_note gives the note of its record. No difference with Go.

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

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>

2 Commits (v0.11)