The package freezes spec-v0.16 (b6ff17a), datekeys-ts 0.5.0 (2c305cf) and
datekeys-dart at b53afdc, with their hashes, sizes, gates and the fuzzing of
the tag; it tells what v0.16 changes, adds Q13 on those changes, says that
the review by Astra was by an AI system too, and closes K17.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The alphabet of each list and the strength of the words in Go (27a75ee),
the fix of TestGenerate (96d8992), TypeScript 0.5.0-dev with the lists
vendored and /create offering random words (012cd74 to 4057607), and Dart
(a770d4d to fcc7780). What is left depends on the author: the review of
the Spanish list or the corpus of Leipzig, and the EFF list.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The review package now freezes spec v0.15 (fe50885), TypeScript 0.4.0
(7650418) and Dart faa2c4c, with the gates and the fuzz run of 7 October.
The recovery design and the v0.15 decisions get a note: the .dkr file was
dropped before approval.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Single-file vault for the Android and iOS app: PIN, hardware-bound
wrapping key and random data key kept separate, optional word-based
recovery slot, fixed-size blocks and a reversed-PIN duress mode whose
48-hour lock is enforced by the release switch contract.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- datekeys-ts v0.10 at 289fe71, pushed: the rule of section 72, testdata
at 601e6d2, the reader of certificates and the texts of v0.12, with a
differential of 63,623 areas and no difference.
- datekeys-dart: the repository, stage 0 (5aa5eed) and stage 1 (da63bc3
to 10b0895), local; README and PLAN_dart.md say so, and that Flutter is
installed.
- Two decisions for the author: "with text" in section 29.7, and Node in
the gate of Dart.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Six Opus reviewers and independent checks of spec v0.11, its tag, the Go
signature, CMS, seal, locator and note code, the shared test data and the
TypeScript port. No blockers; the findings and their fixes are listed by
area, with the order proposed to fix them.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- spec_v0.10/revision_borrador.md records the final review of the
draft (datekeys-go branch v0.10): one blocking, three major and
eleven minor corrections, all applied there in 9d1cd2e.
- The design follows the corrections that touch it (annex D): R6c only
rejects '/', '\', ':' and U+0000 in a best-fit projection, so "¿"
and "♥" are accepted; the CLI prefixes paths too, redirected or not.
It also answers the author's question on several signatures: a
future alg can carry a list without changing the format.
- The handoff records the state and the next steps: the author picks
the Unicode version of the tables (18.0.0 came out on 16-09-2026)
and approves the text.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
formato3_diseno.md is now the single source of the format 3 design. The
two files that repeated its text are gone; the package Fable reviewed
stays in git at 56851a9 and in the published artifact.
- Part 0 gives outside readers the v0.9 protocol, a glossary, the
author's decisions and the threat model with its accepted leaks.
- Parts 1 to 3 are the deliveries. Delivery 1 freezes the format: a
12-byte content framing with AREA_LEN, a security map that stays at
version 1 with its signature and seal carried as separately encoded
byte strings, the head, the path rules R1 to R10 and the verdicts.
Delivery 2 adds the Ed25519 author signature; delivery 3 the seal on
seal.datekeys.com, with its proof inside the capsule, an offline root
and proof of work.
- Fable's findings 2 and 5 to 10 and the notes on the document are
applied; annex A says where each finding is resolved.
- Annex B folds the internal review into 24 objections, each marked
corrected or accepted.
- An adversarial review of this version found nothing blocking or
major; its 15 minor findings and the six follow-ups of a second pass
are applied and listed in annex C.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Step 6 records the page decisions of the author, step 7 the page and
its adversarial review. The handoff resumes at the author's decision on
closing 0.2.0.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The plan table records each step with its commit; the handoff resumes at
step 6 of the plan, the page decisions, which the author confirms, and
drops the stale 0.1.0 question.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Replans the writer on the writer rules of spec §62.1: format 2 only,
L known before sealing, reforzado padding by default, 16 slots with
dummies in a uniform order, recipients checked as Go does,
SEALED_CONTROL_LEN from the §62.1 formula with the real seal checked,
and the self-checks of rule 11. An adversarial review found no blocker
and no major issue; its 12 minor corrections are incorporated. The 17
decisions await the author's confirmation.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The handoff, the plans and the protocol review come unchanged from
go/DateKeys-App at f660f0c, where they lived in docs/. They describe the
whole project, not the TypeScript implementation, and they are internal,
so they get their own private repository.
spec_v0.9/ holds the working papers of the v0.9 draft (datekeys-go 1189f2f):
the design note, the two design reviews, the drafting report and the final
review with its 22 pending corrections. They were only in a temporary
session folder.
The README maps the workspace and carries the project rules, which the
handoff used to hold in its section 3.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
dev