Stage 4b: the differential of the formats against Go
tool/formats_go_vectors.go runs in the module of datekeys-go at c531e93,
without changing anything there, and writes test/vectors/formats_*.json:
the result, the normative code and the text of Go on inputs of a fixed
seed, valid and broken in every layer of spec §69.1, and on the fixtures
of testdata/, edited:
- the PRELUDE (229 cases), the steps 1 to 3 of capsule.Inspect on cut and
edited fixtures (492) and whole .dkk files (268);
- PUBLIC_HEADER (660) and CONTROL_CBOR of the three formats (618);
- Provider Profiles decoded (163) and validated as values (60);
- extension arrays (260), Canonical (80), CheckDisjoint (50), the
registries with places (120) and CheckWrite with Standard (60);
- dk1_ strings (466);
- RFC 3339 parsed (434) and formatted (80), Resolve (320), RoundTime (64),
Validate (128) and MaxRound (8), on profiles of other genesis times and
periods;
- PaddedLength and PayloadAgeLength at the boundaries up to L_MAX (474),
and the check of the padding of capsule.Open at step 17 on fixtures whose
PAYLOAD_AGE is encrypted again with an edited plaintext (56);
- the encoders on values and the decoders at the limits of spec §57 (90);
- the frame of BODY (260) and the zeros of the area (60).
The output is the same on every run. formats_vectors.g.dart holds every
eighth case as Dart constants, so that the differential runs compiled to
JavaScript too, on Node.js; a test on the VM checks that they are those of
the files. Every file is under 310 KB.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
4 days ago
{
"spec" : "0.11" ,
"generator" : "tool/formats_go_vectors.go" ,
"description" : "capsule.PaddedLength with both codes and capsule.PayloadAgeLength, at the boundaries of spec §29.1 up to L_MAX and past it; a code with null was rejected with text. check: the plaintext of PAYLOAD_AGE checked by capsule.Open against L and P (step 17): the content of the fixture (its .plaintext) followed by zeros, cut or extended to length bytes, with the byte at at set to value when given; step 0 when the capsule opens." ,
"padded" : [
{ "bloque256" : 256 , "l" : 0 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 7 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 14 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 21 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 28 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 35 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 42 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 49 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 56 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 63 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 70 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 77 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 84 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 91 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 98 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 105 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 112 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 119 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 126 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 133 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 140 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 147 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 154 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 161 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 168 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 175 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 182 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 189 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 196 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 203 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 210 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 217 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 224 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 231 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 238 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 245 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 251 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 252 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 253 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 254 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 255 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 256 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 512 , "l" : 257 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 258 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 259 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 260 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 261 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 262 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 263 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 264 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 265 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 266 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 267 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 268 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 269 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 270 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 271 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 272 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 273 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 274 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 275 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 276 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 277 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 278 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 279 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 280 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 281 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 282 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 283 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 284 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 285 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 286 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 287 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 288 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 289 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 290 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 291 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 292 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 293 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 294 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 295 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 296 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 297 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 298 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 299 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 256 , "l" : 255 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 256 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 512 , "l" : 257 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 511 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 768 , "l" : 513 , "payload_age_bloque256" : 968 , "payload_age_reforzado" : 968 , "reforzado" : 768 } ,
{ "bloque256" : 512 , "l" : 511 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 512 , "l" : 512 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 768 , "l" : 513 , "payload_age_bloque256" : 968 , "payload_age_reforzado" : 968 , "reforzado" : 768 } ,
{ "bloque256" : 768 , "l" : 767 , "payload_age_bloque256" : 968 , "payload_age_reforzado" : 968 , "reforzado" : 768 } ,
{ "bloque256" : 1024 , "l" : 769 , "payload_age_bloque256" : 1224 , "payload_age_reforzado" : 1224 , "reforzado" : 1024 } ,
{ "bloque256" : 1024 , "l" : 1023 , "payload_age_bloque256" : 1224 , "payload_age_reforzado" : 1224 , "reforzado" : 1024 } ,
{ "bloque256" : 1024 , "l" : 1024 , "payload_age_bloque256" : 1224 , "payload_age_reforzado" : 1224 , "reforzado" : 1024 } ,
{ "bloque256" : 1280 , "l" : 1025 , "payload_age_bloque256" : 1480 , "payload_age_reforzado" : 1480 , "reforzado" : 1280 } ,
{ "bloque256" : 1280 , "l" : 1279 , "payload_age_bloque256" : 1480 , "payload_age_reforzado" : 1480 , "reforzado" : 1280 } ,
{ "bloque256" : 1536 , "l" : 1281 , "payload_age_bloque256" : 1736 , "payload_age_reforzado" : 1736 , "reforzado" : 1536 } ,
{ "bloque256" : 2048 , "l" : 2047 , "payload_age_bloque256" : 2248 , "payload_age_reforzado" : 2248 , "reforzado" : 2048 } ,
{ "bloque256" : 2048 , "l" : 2048 , "payload_age_bloque256" : 2248 , "payload_age_reforzado" : 2248 , "reforzado" : 2048 } ,
{ "bloque256" : 2304 , "l" : 2049 , "payload_age_bloque256" : 2504 , "payload_age_reforzado" : 2504 , "reforzado" : 2304 } ,
{ "bloque256" : 2304 , "l" : 2303 , "payload_age_bloque256" : 2504 , "payload_age_reforzado" : 2504 , "reforzado" : 2304 } ,
{ "bloque256" : 2560 , "l" : 2305 , "payload_age_bloque256" : 2760 , "payload_age_reforzado" : 2760 , "reforzado" : 2560 } ,
{ "bloque256" : 4096 , "l" : 4095 , "payload_age_bloque256" : 4296 , "payload_age_reforzado" : 4296 , "reforzado" : 4096 } ,
{ "bloque256" : 4096 , "l" : 4096 , "payload_age_bloque256" : 4296 , "payload_age_reforzado" : 4296 , "reforzado" : 4096 } ,
{ "bloque256" : 4352 , "l" : 4097 , "payload_age_bloque256" : 4552 , "payload_age_reforzado" : 4552 , "reforzado" : 4352 } ,
{ "bloque256" : 4352 , "l" : 4351 , "payload_age_bloque256" : 4552 , "payload_age_reforzado" : 4552 , "reforzado" : 4352 } ,
{ "bloque256" : 4608 , "l" : 4353 , "payload_age_bloque256" : 4808 , "payload_age_reforzado" : 4808 , "reforzado" : 4608 } ,
{ "bloque256" : 8192 , "l" : 8191 , "payload_age_bloque256" : 8392 , "payload_age_reforzado" : 8392 , "reforzado" : 8192 } ,
{ "bloque256" : 8192 , "l" : 8192 , "payload_age_bloque256" : 8392 , "payload_age_reforzado" : 8392 , "reforzado" : 8192 } ,
{ "bloque256" : 8448 , "l" : 8193 , "payload_age_bloque256" : 8648 , "payload_age_reforzado" : 8904 , "reforzado" : 8704 } ,
{ "bloque256" : 8448 , "l" : 8447 , "payload_age_bloque256" : 8648 , "payload_age_reforzado" : 8904 , "reforzado" : 8704 } ,
{ "bloque256" : 8704 , "l" : 8449 , "payload_age_bloque256" : 8904 , "payload_age_reforzado" : 8904 , "reforzado" : 8704 } ,
{ "bloque256" : 16384 , "l" : 16383 , "payload_age_bloque256" : 16584 , "payload_age_reforzado" : 16584 , "reforzado" : 16384 } ,
{ "bloque256" : 16384 , "l" : 16384 , "payload_age_bloque256" : 16584 , "payload_age_reforzado" : 16584 , "reforzado" : 16384 } ,
{ "bloque256" : 16640 , "l" : 16385 , "payload_age_bloque256" : 16840 , "payload_age_reforzado" : 17608 , "reforzado" : 17408 } ,
{ "bloque256" : 16640 , "l" : 16639 , "payload_age_bloque256" : 16840 , "payload_age_reforzado" : 17608 , "reforzado" : 17408 } ,
{ "bloque256" : 16896 , "l" : 16641 , "payload_age_bloque256" : 17096 , "payload_age_reforzado" : 17608 , "reforzado" : 17408 } ,
{ "bloque256" : 32768 , "l" : 32767 , "payload_age_bloque256" : 32968 , "payload_age_reforzado" : 32968 , "reforzado" : 32768 } ,
{ "bloque256" : 32768 , "l" : 32768 , "payload_age_bloque256" : 32968 , "payload_age_reforzado" : 32968 , "reforzado" : 32768 } ,
{ "bloque256" : 33024 , "l" : 32769 , "payload_age_bloque256" : 33224 , "payload_age_reforzado" : 35016 , "reforzado" : 34816 } ,
{ "bloque256" : 33024 , "l" : 33023 , "payload_age_bloque256" : 33224 , "payload_age_reforzado" : 35016 , "reforzado" : 34816 } ,
{ "bloque256" : 33280 , "l" : 33025 , "payload_age_bloque256" : 33480 , "payload_age_reforzado" : 35016 , "reforzado" : 34816 } ,
{ "bloque256" : 65536 , "l" : 65535 , "payload_age_bloque256" : 65736 , "payload_age_reforzado" : 65736 , "reforzado" : 65536 } ,
{ "bloque256" : 65536 , "l" : 65536 , "payload_age_bloque256" : 65736 , "payload_age_reforzado" : 65736 , "reforzado" : 65536 } ,
{ "bloque256" : 65792 , "l" : 65537 , "payload_age_bloque256" : 66008 , "payload_age_reforzado" : 67800 , "reforzado" : 67584 } ,
{ "bloque256" : 65792 , "l" : 65791 , "payload_age_bloque256" : 66008 , "payload_age_reforzado" : 67800 , "reforzado" : 67584 } ,
{ "bloque256" : 66048 , "l" : 65793 , "payload_age_bloque256" : 66264 , "payload_age_reforzado" : 67800 , "reforzado" : 67584 } ,
{ "bloque256" : 131072 , "l" : 131071 , "payload_age_bloque256" : 131288 , "payload_age_reforzado" : 131288 , "reforzado" : 131072 } ,
{ "bloque256" : 131072 , "l" : 131072 , "payload_age_bloque256" : 131288 , "payload_age_reforzado" : 131288 , "reforzado" : 131072 } ,
{ "bloque256" : 131328 , "l" : 131073 , "payload_age_bloque256" : 131560 , "payload_age_reforzado" : 135400 , "reforzado" : 135168 } ,
{ "bloque256" : 131328 , "l" : 131327 , "payload_age_bloque256" : 131560 , "payload_age_reforzado" : 135400 , "reforzado" : 135168 } ,
{ "bloque256" : 131584 , "l" : 131329 , "payload_age_bloque256" : 131816 , "payload_age_reforzado" : 135400 , "reforzado" : 135168 } ,
{ "bloque256" : 262144 , "l" : 262143 , "payload_age_bloque256" : 262392 , "payload_age_reforzado" : 262392 , "reforzado" : 262144 } ,
{ "bloque256" : 262144 , "l" : 262144 , "payload_age_bloque256" : 262392 , "payload_age_reforzado" : 262392 , "reforzado" : 262144 } ,
{ "bloque256" : 262400 , "l" : 262145 , "payload_age_bloque256" : 262664 , "payload_age_reforzado" : 270600 , "reforzado" : 270336 } ,
{ "bloque256" : 262400 , "l" : 262399 , "payload_age_bloque256" : 262664 , "payload_age_reforzado" : 270600 , "reforzado" : 270336 } ,
{ "bloque256" : 262656 , "l" : 262401 , "payload_age_bloque256" : 262920 , "payload_age_reforzado" : 270600 , "reforzado" : 270336 } ,
{ "bloque256" : 524288 , "l" : 524287 , "payload_age_bloque256" : 524600 , "payload_age_reforzado" : 524600 , "reforzado" : 524288 } ,
{ "bloque256" : 524288 , "l" : 524288 , "payload_age_bloque256" : 524600 , "payload_age_reforzado" : 524600 , "reforzado" : 524288 } ,
{ "bloque256" : 524544 , "l" : 524289 , "payload_age_bloque256" : 524872 , "payload_age_reforzado" : 541000 , "reforzado" : 540672 } ,
{ "bloque256" : 524544 , "l" : 524543 , "payload_age_bloque256" : 524872 , "payload_age_reforzado" : 541000 , "reforzado" : 540672 } ,
{ "bloque256" : 524800 , "l" : 524545 , "payload_age_bloque256" : 525128 , "payload_age_reforzado" : 541000 , "reforzado" : 540672 } ,
{ "bloque256" : 1048576 , "l" : 1048575 , "payload_age_bloque256" : 1049016 , "payload_age_reforzado" : 1049016 , "reforzado" : 1048576 } ,
{ "bloque256" : 1048576 , "l" : 1048576 , "payload_age_bloque256" : 1049016 , "payload_age_reforzado" : 1049016 , "reforzado" : 1048576 } ,
{ "bloque256" : 1048832 , "l" : 1048577 , "payload_age_bloque256" : 1049288 , "payload_age_reforzado" : 1081800 , "reforzado" : 1081344 } ,
{ "bloque256" : 1048832 , "l" : 1048831 , "payload_age_bloque256" : 1049288 , "payload_age_reforzado" : 1081800 , "reforzado" : 1081344 } ,
{ "bloque256" : 1049088 , "l" : 1048833 , "payload_age_bloque256" : 1049544 , "payload_age_reforzado" : 1081800 , "reforzado" : 1081344 } ,
{ "bloque256" : 2097152 , "l" : 2097151 , "payload_age_bloque256" : 2097848 , "payload_age_reforzado" : 2097848 , "reforzado" : 2097152 } ,
{ "bloque256" : 2097152 , "l" : 2097152 , "payload_age_bloque256" : 2097848 , "payload_age_reforzado" : 2097848 , "reforzado" : 2097152 } ,
{ "bloque256" : 2097408 , "l" : 2097153 , "payload_age_bloque256" : 2098120 , "payload_age_reforzado" : 2163400 , "reforzado" : 2162688 } ,
{ "bloque256" : 2097408 , "l" : 2097407 , "payload_age_bloque256" : 2098120 , "payload_age_reforzado" : 2163400 , "reforzado" : 2162688 } ,
{ "bloque256" : 2097664 , "l" : 2097409 , "payload_age_bloque256" : 2098376 , "payload_age_reforzado" : 2163400 , "reforzado" : 2162688 } ,
{ "bloque256" : 4194304 , "l" : 4194303 , "payload_age_bloque256" : 4195512 , "payload_age_reforzado" : 4195512 , "reforzado" : 4194304 } ,
{ "bloque256" : 4194304 , "l" : 4194304 , "payload_age_bloque256" : 4195512 , "payload_age_reforzado" : 4195512 , "reforzado" : 4194304 } ,
{ "bloque256" : 4194560 , "l" : 4194305 , "payload_age_bloque256" : 4195784 , "payload_age_reforzado" : 4326616 , "reforzado" : 4325376 } ,
{ "bloque256" : 4194560 , "l" : 4194559 , "payload_age_bloque256" : 4195784 , "payload_age_reforzado" : 4326616 , "reforzado" : 4325376 } ,
{ "bloque256" : 4194816 , "l" : 4194561 , "payload_age_bloque256" : 4196040 , "payload_age_reforzado" : 4326616 , "reforzado" : 4325376 } ,
{ "bloque256" : 8388608 , "l" : 8388607 , "payload_age_bloque256" : 8390840 , "payload_age_reforzado" : 8390840 , "reforzado" : 8388608 } ,
{ "bloque256" : 8388608 , "l" : 8388608 , "payload_age_bloque256" : 8390840 , "payload_age_reforzado" : 8390840 , "reforzado" : 8388608 } ,
{ "bloque256" : 8388864 , "l" : 8388609 , "payload_age_bloque256" : 8391112 , "payload_age_reforzado" : 8653048 , "reforzado" : 8650752 } ,
{ "bloque256" : 8388864 , "l" : 8388863 , "payload_age_bloque256" : 8391112 , "payload_age_reforzado" : 8653048 , "reforzado" : 8650752 } ,
{ "bloque256" : 8389120 , "l" : 8388865 , "payload_age_bloque256" : 8391368 , "payload_age_reforzado" : 8653048 , "reforzado" : 8650752 } ,
{ "bloque256" : 16777216 , "l" : 16777215 , "payload_age_bloque256" : 16781496 , "payload_age_reforzado" : 16781496 , "reforzado" : 16777216 } ,
{ "bloque256" : 16777216 , "l" : 16777216 , "payload_age_bloque256" : 16781496 , "payload_age_reforzado" : 16781496 , "reforzado" : 16777216 } ,
{ "bloque256" : 16777472 , "l" : 16777217 , "payload_age_bloque256" : 16781768 , "payload_age_reforzado" : 17305912 , "reforzado" : 17301504 } ,
{ "bloque256" : 16777472 , "l" : 16777471 , "payload_age_bloque256" : 16781768 , "payload_age_reforzado" : 17305912 , "reforzado" : 17301504 } ,
{ "bloque256" : 16777728 , "l" : 16777473 , "payload_age_bloque256" : 16782024 , "payload_age_reforzado" : 17305912 , "reforzado" : 17301504 } ,
{ "bloque256" : 33554432 , "l" : 33554431 , "payload_age_bloque256" : 33562808 , "payload_age_reforzado" : 33562808 , "reforzado" : 33554432 } ,
{ "bloque256" : 33554432 , "l" : 33554432 , "payload_age_bloque256" : 33562808 , "payload_age_reforzado" : 33562808 , "reforzado" : 33554432 } ,
{ "bloque256" : 33554688 , "l" : 33554433 , "payload_age_bloque256" : 33563080 , "payload_age_reforzado" : 34611640 , "reforzado" : 34603008 } ,
{ "bloque256" : 33554688 , "l" : 33554687 , "payload_age_bloque256" : 33563080 , "payload_age_reforzado" : 34611640 , "reforzado" : 34603008 } ,
{ "bloque256" : 33554944 , "l" : 33554689 , "payload_age_bloque256" : 33563336 , "payload_age_reforzado" : 34611640 , "reforzado" : 34603008 } ,
{ "bloque256" : 67108864 , "l" : 67108863 , "payload_age_bloque256" : 67125432 , "payload_age_reforzado" : 67125432 , "reforzado" : 67108864 } ,
{ "bloque256" : 67108864 , "l" : 67108864 , "payload_age_bloque256" : 67125432 , "payload_age_reforzado" : 67125432 , "reforzado" : 67108864 } ,
{ "bloque256" : 67109120 , "l" : 67108865 , "payload_age_bloque256" : 67125704 , "payload_age_reforzado" : 69223096 , "reforzado" : 69206016 } ,
{ "bloque256" : 67109120 , "l" : 67109119 , "payload_age_bloque256" : 67125704 , "payload_age_reforzado" : 69223096 , "reforzado" : 69206016 } ,
{ "bloque256" : 67109376 , "l" : 67109121 , "payload_age_bloque256" : 67125960 , "payload_age_reforzado" : 69223096 , "reforzado" : 69206016 } ,
{ "bloque256" : 134217728 , "l" : 134217727 , "payload_age_bloque256" : 134250680 , "payload_age_reforzado" : 134250680 , "reforzado" : 134217728 } ,
{ "bloque256" : 134217728 , "l" : 134217728 , "payload_age_bloque256" : 134250680 , "payload_age_reforzado" : 134250680 , "reforzado" : 134217728 } ,
{ "bloque256" : 134217984 , "l" : 134217729 , "payload_age_bloque256" : 134250952 , "payload_age_reforzado" : 138446008 , "reforzado" : 138412032 } ,
{ "bloque256" : 134217984 , "l" : 134217983 , "payload_age_bloque256" : 134250952 , "payload_age_reforzado" : 138446008 , "reforzado" : 138412032 } ,
{ "bloque256" : 134218240 , "l" : 134217985 , "payload_age_bloque256" : 134251208 , "payload_age_reforzado" : 138446008 , "reforzado" : 138412032 } ,
{ "bloque256" : 268435456 , "l" : 268435455 , "payload_age_bloque256" : 268501176 , "payload_age_reforzado" : 268501176 , "reforzado" : 268435456 } ,
{ "bloque256" : 268435456 , "l" : 268435456 , "payload_age_bloque256" : 268501176 , "payload_age_reforzado" : 268501176 , "reforzado" : 268435456 } ,
{ "bloque256" : 268435712 , "l" : 268435457 , "payload_age_bloque256" : 268501448 , "payload_age_reforzado" : 276891832 , "reforzado" : 276824064 } ,
{ "bloque256" : 268435712 , "l" : 268435711 , "payload_age_bloque256" : 268501448 , "payload_age_reforzado" : 276891832 , "reforzado" : 276824064 } ,
{ "bloque256" : 268435968 , "l" : 268435713 , "payload_age_bloque256" : 268501704 , "payload_age_reforzado" : 276891832 , "reforzado" : 276824064 } ,
{ "bloque256" : 536870912 , "l" : 536870911 , "payload_age_bloque256" : 537002168 , "payload_age_reforzado" : 537002168 , "reforzado" : 536870912 } ,
{ "bloque256" : 536870912 , "l" : 536870912 , "payload_age_bloque256" : 537002168 , "payload_age_reforzado" : 537002168 , "reforzado" : 536870912 } ,
{ "bloque256" : 536871168 , "l" : 536870913 , "payload_age_bloque256" : 537002440 , "payload_age_reforzado" : 553783480 , "reforzado" : 553648128 } ,
{ "bloque256" : 536871168 , "l" : 536871167 , "payload_age_bloque256" : 537002440 , "payload_age_reforzado" : 553783480 , "reforzado" : 553648128 } ,
{ "bloque256" : 536871424 , "l" : 536871169 , "payload_age_bloque256" : 537002696 , "payload_age_reforzado" : 553783480 , "reforzado" : 553648128 } ,
{ "bloque256" : 1073741824 , "l" : 1073741823 , "payload_age_bloque256" : 1074004152 , "payload_age_reforzado" : 1074004152 , "reforzado" : 1073741824 } ,
{ "bloque256" : 1073741824 , "l" : 1073741824 , "payload_age_bloque256" : 1074004152 , "payload_age_reforzado" : 1074004152 , "reforzado" : 1073741824 } ,
{ "bloque256" : 1073742080 , "l" : 1073741825 , "payload_age_bloque256" : 1074004424 , "payload_age_reforzado" : 1107566776 , "reforzado" : 1107296256 } ,
{ "bloque256" : 1073742080 , "l" : 1073742079 , "payload_age_bloque256" : 1074004424 , "payload_age_reforzado" : 1107566776 , "reforzado" : 1107296256 } ,
{ "bloque256" : 1073742336 , "l" : 1073742081 , "payload_age_bloque256" : 1074004680 , "payload_age_reforzado" : 1107566776 , "reforzado" : 1107296256 } ,
{ "bloque256" : 2147483648 , "l" : 2147483647 , "payload_age_bloque256" : 2148008120 , "payload_age_reforzado" : 2148008120 , "reforzado" : 2147483648 } ,
{ "bloque256" : 2147483648 , "l" : 2147483648 , "payload_age_bloque256" : 2148008120 , "payload_age_reforzado" : 2148008120 , "reforzado" : 2147483648 } ,
{ "bloque256" : 2147483904 , "l" : 2147483649 , "payload_age_bloque256" : 2148008392 , "payload_age_reforzado" : 2215133368 , "reforzado" : 2214592512 } ,
{ "bloque256" : 2147483904 , "l" : 2147483903 , "payload_age_bloque256" : 2148008392 , "payload_age_reforzado" : 2215133368 , "reforzado" : 2214592512 } ,
{ "bloque256" : 2147484160 , "l" : 2147483905 , "payload_age_bloque256" : 2148008648 , "payload_age_reforzado" : 2215133368 , "reforzado" : 2214592512 } ,
{ "bloque256" : 4294967296 , "l" : 4294967295 , "payload_age_bloque256" : 4296016056 , "payload_age_reforzado" : 4296016056 , "reforzado" : 4294967296 } ,
{ "bloque256" : 4294967296 , "l" : 4294967296 , "payload_age_bloque256" : 4296016056 , "payload_age_reforzado" : 4296016056 , "reforzado" : 4294967296 } ,
{ "bloque256" : 4294967552 , "l" : 4294967297 , "payload_age_bloque256" : 4296016328 , "payload_age_reforzado" : 4363141304 , "reforzado" : 4362076160 } ,
{ "bloque256" : 4294967552 , "l" : 4294967551 , "payload_age_bloque256" : 4296016328 , "payload_age_reforzado" : 4363141304 , "reforzado" : 4362076160 } ,
{ "bloque256" : 4294967808 , "l" : 4294967553 , "payload_age_bloque256" : 4296016584 , "payload_age_reforzado" : 4363141304 , "reforzado" : 4362076160 } ,
{ "bloque256" : 8589934592 , "l" : 8589934591 , "payload_age_bloque256" : 8592031928 , "payload_age_reforzado" : 8592031928 , "reforzado" : 8589934592 } ,
{ "bloque256" : 8589934592 , "l" : 8589934592 , "payload_age_bloque256" : 8592031928 , "payload_age_reforzado" : 8592031928 , "reforzado" : 8589934592 } ,
{ "bloque256" : 8589934848 , "l" : 8589934593 , "payload_age_bloque256" : 8592032200 , "payload_age_reforzado" : 8726282424 , "reforzado" : 8724152320 } ,
{ "bloque256" : 8589934848 , "l" : 8589934847 , "payload_age_bloque256" : 8592032200 , "payload_age_reforzado" : 8726282424 , "reforzado" : 8724152320 } ,
{ "bloque256" : 8589935104 , "l" : 8589934849 , "payload_age_bloque256" : 8592032456 , "payload_age_reforzado" : 8726282424 , "reforzado" : 8724152320 } ,
{ "bloque256" : 17179869184 , "l" : 17179869183 , "payload_age_bloque256" : 17184063672 , "payload_age_reforzado" : 17184063672 , "reforzado" : 17179869184 } ,
{ "bloque256" : 17179869184 , "l" : 17179869184 , "payload_age_bloque256" : 17184063672 , "payload_age_reforzado" : 17184063672 , "reforzado" : 17179869184 } ,
{ "bloque256" : 17179869440 , "l" : 17179869185 , "payload_age_bloque256" : 17184063944 , "payload_age_reforzado" : 17452564664 , "reforzado" : 17448304640 } ,
{ "bloque256" : 17179869440 , "l" : 17179869439 , "payload_age_bloque256" : 17184063944 , "payload_age_reforzado" : 17452564664 , "reforzado" : 17448304640 } ,
{ "bloque256" : 17179869696 , "l" : 17179869441 , "payload_age_bloque256" : 17184064200 , "payload_age_reforzado" : 17452564664 , "reforzado" : 17448304640 } ,
{ "bloque256" : 34359738368 , "l" : 34359738367 , "payload_age_bloque256" : 34368127160 , "payload_age_reforzado" : 34368127160 , "reforzado" : 34359738368 } ,
{ "bloque256" : 34359738368 , "l" : 34359738368 , "payload_age_bloque256" : 34368127160 , "payload_age_reforzado" : 34368127160 , "reforzado" : 34359738368 } ,
{ "bloque256" : 34359738624 , "l" : 34359738369 , "payload_age_bloque256" : 34368127432 , "payload_age_reforzado" : 34905129144 , "reforzado" : 34896609280 } ,
{ "bloque256" : 34359738624 , "l" : 34359738623 , "payload_age_bloque256" : 34368127432 , "payload_age_reforzado" : 34905129144 , "reforzado" : 34896609280 } ,
{ "bloque256" : 34359738880 , "l" : 34359738625 , "payload_age_bloque256" : 34368127688 , "payload_age_reforzado" : 34905129144 , "reforzado" : 34896609280 } ,
{ "bloque256" : 68719476736 , "l" : 68719476735 , "payload_age_bloque256" : 68736254136 , "payload_age_reforzado" : 68736254136 , "reforzado" : 68719476736 } ,
{ "bloque256" : 68719476736 , "l" : 68719476736 , "payload_age_bloque256" : 68736254136 , "payload_age_reforzado" : 68736254136 , "reforzado" : 68719476736 } ,
{ "bloque256" : 68719476992 , "l" : 68719476737 , "payload_age_bloque256" : 68736254408 , "payload_age_reforzado" : 69810258104 , "reforzado" : 69793218560 } ,
{ "bloque256" : 68719476992 , "l" : 68719476991 , "payload_age_bloque256" : 68736254408 , "payload_age_reforzado" : 69810258104 , "reforzado" : 69793218560 } ,
{ "bloque256" : 68719477248 , "l" : 68719476993 , "payload_age_bloque256" : 68736254664 , "payload_age_reforzado" : 69810258104 , "reforzado" : 69793218560 } ,
{ "bloque256" : 137438953472 , "l" : 137438953471 , "payload_age_bloque256" : 137472508088 , "payload_age_reforzado" : 137472508088 , "reforzado" : 137438953472 } ,
{ "bloque256" : 137438953472 , "l" : 137438953472 , "payload_age_bloque256" : 137472508088 , "payload_age_reforzado" : 137472508088 , "reforzado" : 137438953472 } ,
{ "bloque256" : 137438953728 , "l" : 137438953473 , "payload_age_bloque256" : 137472508360 , "payload_age_reforzado" : 139620516024 , "reforzado" : 139586437120 } ,
{ "bloque256" : 137438953728 , "l" : 137438953727 , "payload_age_bloque256" : 137472508360 , "payload_age_reforzado" : 139620516024 , "reforzado" : 139586437120 } ,
{ "bloque256" : 137438953984 , "l" : 137438953729 , "payload_age_bloque256" : 137472508616 , "payload_age_reforzado" : 139620516024 , "reforzado" : 139586437120 } ,
{ "bloque256" : 274877906944 , "l" : 274877906943 , "payload_age_bloque256" : 274945015992 , "payload_age_reforzado" : 274945015992 , "reforzado" : 274877906944 } ,
{ "bloque256" : 274877906944 , "l" : 274877906944 , "payload_age_bloque256" : 274945015992 , "payload_age_reforzado" : 274945015992 , "reforzado" : 274877906944 } ,
{ "bloque256" : 274877907200 , "l" : 274877906945 , "payload_age_bloque256" : 274945016264 , "payload_age_reforzado" : 279241031864 , "reforzado" : 279172874240 } ,
{ "bloque256" : 274877907200 , "l" : 274877907199 , "payload_age_bloque256" : 274945016264 , "payload_age_reforzado" : 279241031864 , "reforzado" : 279172874240 } ,
{ "bloque256" : 274877907456 , "l" : 274877907201 , "payload_age_bloque256" : 274945016520 , "payload_age_reforzado" : 279241031864 , "reforzado" : 279172874240 } ,
{ "bloque256" : 549755813888 , "l" : 549755813887 , "payload_age_bloque256" : 549890031800 , "payload_age_reforzado" : 549890031800 , "reforzado" : 549755813888 } ,
{ "bloque256" : 549755813888 , "l" : 549755813888 , "payload_age_bloque256" : 549890031800 , "payload_age_reforzado" : 549890031800 , "reforzado" : 549755813888 } ,
{ "bloque256" : 549755814144 , "l" : 549755813889 , "payload_age_bloque256" : 549890032072 , "payload_age_reforzado" : 558482063544 , "reforzado" : 558345748480 } ,
{ "bloque256" : 549755814144 , "l" : 549755814143 , "payload_age_bloque256" : 549890032072 , "payload_age_reforzado" : 558482063544 , "reforzado" : 558345748480 } ,
{ "bloque256" : 549755814400 , "l" : 549755814145 , "payload_age_bloque256" : 549890032328 , "payload_age_reforzado" : 558482063544 , "reforzado" : 558345748480 } ,
{ "bloque256" : 1099511627776 , "l" : 1099511627775 , "payload_age_bloque256" : 1099780063416 , "payload_age_reforzado" : 1099780063416 , "reforzado" : 1099511627776 } ,
{ "bloque256" : 1099511627776 , "l" : 1099511627776 , "payload_age_bloque256" : 1099780063416 , "payload_age_reforzado" : 1099780063416 , "reforzado" : 1099511627776 } ,
{ "bloque256" : 1099511628032 , "l" : 1099511627777 , "payload_age_bloque256" : 1099780063688 , "payload_age_reforzado" : 1116964126904 , "reforzado" : 1116691496960 } ,
{ "bloque256" : 1099511628032 , "l" : 1099511628031 , "payload_age_bloque256" : 1099780063688 , "payload_age_reforzado" : 1116964126904 , "reforzado" : 1116691496960 } ,
{ "bloque256" : 1099511628288 , "l" : 1099511628033 , "payload_age_bloque256" : 1099780063944 , "payload_age_reforzado" : 1116964126904 , "reforzado" : 1116691496960 } ,
{ "bloque256" : 2199023255552 , "l" : 2199023255551 , "payload_age_bloque256" : 2199560126648 , "payload_age_reforzado" : 2199560126648 , "reforzado" : 2199023255552 } ,
{ "bloque256" : 2199023255552 , "l" : 2199023255552 , "payload_age_bloque256" : 2199560126648 , "payload_age_reforzado" : 2199560126648 , "reforzado" : 2199023255552 } ,
{ "bloque256" : 2199023255808 , "l" : 2199023255553 , "payload_age_bloque256" : 2199560126920 , "payload_age_reforzado" : 2233928253624 , "reforzado" : 2233382993920 } ,
{ "bloque256" : 2199023255808 , "l" : 2199023255807 , "payload_age_bloque256" : 2199560126920 , "payload_age_reforzado" : 2233928253624 , "reforzado" : 2233382993920 } ,
{ "bloque256" : 2199023256064 , "l" : 2199023255809 , "payload_age_bloque256" : 2199560127176 , "payload_age_reforzado" : 2233928253624 , "reforzado" : 2233382993920 } ,
{ "bloque256" : 4398046511104 , "l" : 4398046511103 , "payload_age_bloque256" : 4399120253112 , "payload_age_reforzado" : 4399120253112 , "reforzado" : 4398046511104 } ,
{ "bloque256" : 4398046511104 , "l" : 4398046511104 , "payload_age_bloque256" : 4399120253112 , "payload_age_reforzado" : 4399120253112 , "reforzado" : 4398046511104 } ,
{ "bloque256" : 4398046511360 , "l" : 4398046511105 , "payload_age_bloque256" : 4399120253384 , "payload_age_reforzado" : 4467856507064 , "reforzado" : 4466765987840 } ,
{ "bloque256" : 4398046511360 , "l" : 4398046511359 , "payload_age_bloque256" : 4399120253384 , "payload_age_reforzado" : 4467856507064 , "reforzado" : 4466765987840 } ,
{ "bloque256" : 4398046511616 , "l" : 4398046511361 , "payload_age_bloque256" : 4399120253640 , "payload_age_reforzado" : 4467856507064 , "reforzado" : 4466765987840 } ,
{ "bloque256" : 8796093022208 , "l" : 8796093022207 , "payload_age_bloque256" : 8798240506040 , "payload_age_reforzado" : 8798240506040 , "reforzado" : 8796093022208 } ,
{ "bloque256" : 8796093022208 , "l" : 8796093022208 , "payload_age_bloque256" : 8798240506040 , "payload_age_reforzado" : 8798240506040 , "reforzado" : 8796093022208 } ,
{ "bloque256" : 8796093022464 , "l" : 8796093022209 , "payload_age_bloque256" : 8798240506312 , "payload_age_reforzado" : 8935713013944 , "reforzado" : 8933531975680 } ,
{ "bloque256" : 8796093022464 , "l" : 8796093022463 , "payload_age_bloque256" : 8798240506312 , "payload_age_reforzado" : 8935713013944 , "reforzado" : 8933531975680 } ,
{ "bloque256" : 8796093022720 , "l" : 8796093022465 , "payload_age_bloque256" : 8798240506568 , "payload_age_reforzado" : 8935713013944 , "reforzado" : 8933531975680 } ,
{ "bloque256" : 17592186044416 , "l" : 17592186044415 , "payload_age_bloque256" : 17596481011896 , "payload_age_reforzado" : 17596481011896 , "reforzado" : 17592186044416 } ,
{ "bloque256" : 17592186044416 , "l" : 17592186044416 , "payload_age_bloque256" : 17596481011896 , "payload_age_reforzado" : 17596481011896 , "reforzado" : 17592186044416 } ,
{ "bloque256" : 17592186044672 , "l" : 17592186044417 , "payload_age_bloque256" : 17596481012168 , "payload_age_reforzado" : 17871426027704 , "reforzado" : 17867063951360 } ,
{ "bloque256" : 17592186044672 , "l" : 17592186044671 , "payload_age_bloque256" : 17596481012168 , "payload_age_reforzado" : 17871426027704 , "reforzado" : 17867063951360 } ,
{ "bloque256" : 17592186044928 , "l" : 17592186044673 , "payload_age_bloque256" : 17596481012424 , "payload_age_reforzado" : 17871426027704 , "reforzado" : 17867063951360 } ,
{ "bloque256" : 35184372088832 , "l" : 35184372088831 , "payload_age_bloque256" : 35192962023608 , "payload_age_reforzado" : 35192962023608 , "reforzado" : 35184372088832 } ,
{ "bloque256" : 35184372088832 , "l" : 35184372088832 , "payload_age_bloque256" : 35192962023608 , "payload_age_reforzado" : 35192962023608 , "reforzado" : 35184372088832 } ,
{ "bloque256" : 35184372089088 , "l" : 35184372088833 , "payload_age_bloque256" : 35192962023880 , "payload_age_reforzado" : 35742852055224 , "reforzado" : 35734127902720 } ,
{ "bloque256" : 35184372089088 , "l" : 35184372089087 , "payload_age_bloque256" : 35192962023880 , "payload_age_reforzado" : 35742852055224 , "reforzado" : 35734127902720 } ,
{ "bloque256" : 35184372089344 , "l" : 35184372089089 , "payload_age_bloque256" : 35192962024136 , "payload_age_reforzado" : 35742852055224 , "reforzado" : 35734127902720 } ,
{ "bloque256" : 70368744177664 , "l" : 70368744177663 , "payload_age_bloque256" : 70385924047032 , "payload_age_reforzado" : 70385924047032 , "reforzado" : 70368744177664 } ,
{ "bloque256" : 70368744177664 , "l" : 70368744177664 , "payload_age_bloque256" : 70385924047032 , "payload_age_reforzado" : 70385924047032 , "reforzado" : 70368744177664 } ,
{ "bloque256" : 70368744177920 , "l" : 70368744177665 , "payload_age_bloque256" : 70385924047304 , "payload_age_reforzado" : 71485704110264 , "reforzado" : 71468255805440 } ,
{ "bloque256" : 70368744177920 , "l" : 70368744177919 , "payload_age_bloque256" : 70385924047304 , "payload_age_reforzado" : 71485704110264 , "reforzado" : 71468255805440 } ,
{ "bloque256" : 70368744178176 , "l" : 70368744177921 , "payload_age_bloque256" : 70385924047560 , "payload_age_reforzado" : 71485704110264 , "reforzado" : 71468255805440 } ,
{ "bloque256" : 140737488355328 , "l" : 140737488355327 , "payload_age_bloque256" : 140771848093880 , "payload_age_reforzado" : 140771848093880 , "reforzado" : 140737488355328 } ,
{ "bloque256" : 140737488355328 , "l" : 140737488355328 , "payload_age_bloque256" : 140771848093880 , "payload_age_reforzado" : 140771848093880 , "reforzado" : 140737488355328 } ,
{ "bloque256" : 140737488355584 , "l" : 140737488355329 , "payload_age_bloque256" : 140771848094152 , "payload_age_reforzado" : 142971408220344 , "reforzado" : 142936511610880 } ,
{ "bloque256" : 140737488355584 , "l" : 140737488355583 , "payload_age_bloque256" : 140771848094152 , "payload_age_reforzado" : 142971408220344 , "reforzado" : 142936511610880 } ,
{ "bloque256" : 140737488355840 , "l" : 140737488355585 , "payload_age_bloque256" : 140771848094408 , "payload_age_reforzado" : 142971408220344 , "reforzado" : 142936511610880 } ,
{ "bloque256" : 281474976710656 , "l" : 281474976710655 , "payload_age_bloque256" : 281543696187576 , "payload_age_reforzado" : 281543696187576 , "reforzado" : 281474976710656 } ,
{ "bloque256" : 281474976710656 , "l" : 281474976710656 , "payload_age_bloque256" : 281543696187576 , "payload_age_reforzado" : 281543696187576 , "reforzado" : 281474976710656 } ,
{ "bloque256" : 281474976710912 , "l" : 281474976710657 , "payload_age_bloque256" : 281543696187848 , "payload_age_reforzado" : 285942816440504 , "reforzado" : 285873023221760 } ,
{ "bloque256" : 281474976710912 , "l" : 281474976710911 , "payload_age_bloque256" : 281543696187848 , "payload_age_reforzado" : 285942816440504 , "reforzado" : 285873023221760 } ,
{ "bloque256" : 281474976711168 , "l" : 281474976710913 , "payload_age_bloque256" : 281543696188104 , "payload_age_reforzado" : 285942816440504 , "reforzado" : 285873023221760 } ,
{ "bloque256" : 562949953421312 , "l" : 562949953421311 , "payload_age_bloque256" : 563087392374968 , "payload_age_reforzado" : 563087392374968 , "reforzado" : 562949953421312 } ,
{ "bloque256" : 562949953421312 , "l" : 562949953421312 , "payload_age_bloque256" : 563087392374968 , "payload_age_reforzado" : 563087392374968 , "reforzado" : 562949953421312 } ,
{ "bloque256" : 562949953421568 , "l" : 562949953421313 , "payload_age_bloque256" : 563087392375240 , "payload_age_reforzado" : 571885632880824 , "reforzado" : 571746046443520 } ,
{ "bloque256" : 562949953421568 , "l" : 562949953421567 , "payload_age_bloque256" : 563087392375240 , "payload_age_reforzado" : 571885632880824 , "reforzado" : 571746046443520 } ,
{ "bloque256" : 562949953421824 , "l" : 562949953421569 , "payload_age_bloque256" : 563087392375496 , "payload_age_reforzado" : 571885632880824 , "reforzado" : 571746046443520 } ,
{ "bloque256" : 1125899906842624 , "l" : 1125899906842623 , "payload_age_bloque256" : 1126174784749752 , "payload_age_reforzado" : 1126174784749752 , "reforzado" : 1125899906842624 } ,
{ "bloque256" : 1125899906842624 , "l" : 1125899906842624 , "payload_age_bloque256" : 1126174784749752 , "payload_age_reforzado" : 1126174784749752 , "reforzado" : 1125899906842624 } ,
{ "bloque256" : 1125899906842880 , "l" : 1125899906842625 , "payload_age_bloque256" : 1126174784750024 , "payload_age_reforzado" : 1143771265761464 , "reforzado" : 1143492092887040 } ,
{ "bloque256" : 1125899906842880 , "l" : 1125899906842879 , "payload_age_bloque256" : 1126174784750024 , "payload_age_reforzado" : 1143771265761464 , "reforzado" : 1143492092887040 } ,
{ "bloque256" : 1125899906843136 , "l" : 1125899906842881 , "payload_age_bloque256" : 1126174784750280 , "payload_age_reforzado" : 1143771265761464 , "reforzado" : 1143492092887040 } ,
{ "bloque256" : 2251799813685248 , "l" : 2251799813685247 , "payload_age_bloque256" : 2252349569499320 , "payload_age_reforzado" : 2252349569499320 , "reforzado" : 2251799813685248 } ,
{ "bloque256" : 2251799813685248 , "l" : 2251799813685248 , "payload_age_bloque256" : 2252349569499320 , "payload_age_reforzado" : 2252349569499320 , "reforzado" : 2251799813685248 } ,
{ "bloque256" : 2251799813685504 , "l" : 2251799813685249 , "payload_age_bloque256" : 2252349569499592 , "payload_age_reforzado" : 2287542531522744 , "reforzado" : 2286984185774080 } ,
{ "bloque256" : 2251799813685504 , "l" : 2251799813685503 , "payload_age_bloque256" : 2252349569499592 , "payload_age_reforzado" : 2287542531522744 , "reforzado" : 2286984185774080 } ,
{ "bloque256" : 2251799813685760 , "l" : 2251799813685505 , "payload_age_bloque256" : 2252349569499848 , "payload_age_reforzado" : 2287542531522744 , "reforzado" : 2286984185774080 } ,
{ "bloque256" : 4503599627370496 , "l" : 4503599627370495 , "payload_age_bloque256" : 4504699138998456 , "payload_age_reforzado" : 4504699138998456 , "reforzado" : 4503599627370496 } ,
{ "bloque256" : 4503599627370496 , "l" : 4503599627370496 , "payload_age_bloque256" : 4504699138998456 , "payload_age_reforzado" : 4504699138998456 , "reforzado" : 4503599627370496 } ,
{ "bloque256" : 4503599627370752 , "l" : 4503599627370497 , "payload_age_bloque256" : 4504699138998728 , "payload_age_reforzado" : 4575085063045304 , "reforzado" : 4573968371548160 } ,
{ "bloque256" : 4503599627370752 , "l" : 4503599627370751 , "payload_age_bloque256" : 4504699138998728 , "payload_age_reforzado" : 4575085063045304 , "reforzado" : 4573968371548160 } ,
{ "bloque256" : 4503599627371008 , "l" : 4503599627370753 , "payload_age_bloque256" : 4504699138998984 , "payload_age_reforzado" : 4575085063045304 , "reforzado" : 4573968371548160 } ,
{ "bloque256" : null , "l" : 9007199254740991 , "reforzado" : null , "text" : "capsule: content of 9007199254740991 bytes exceeds L_MAX = 8936830510563328" } ,
{ "bloque256" : null , "l" : 9007199254740992 , "reforzado" : null , "text" : "capsule: content of 9007199254740992 bytes exceeds L_MAX = 8936830510563328" } ,
{ "bloque256" : 8192 , "l" : 8192 , "payload_age_bloque256" : 8392 , "payload_age_reforzado" : 8392 , "reforzado" : 8192 } ,
{ "bloque256" : 8448 , "l" : 8193 , "payload_age_bloque256" : 8648 , "payload_age_reforzado" : 8904 , "reforzado" : 8704 } ,
{ "bloque256" : 2113929216 , "l" : 2113929216 , "payload_age_bloque256" : 2114445496 , "payload_age_reforzado" : 2114445496 , "reforzado" : 2113929216 } ,
{ "bloque256" : 2113929472 , "l" : 2113929217 , "payload_age_bloque256" : 2114445768 , "payload_age_reforzado" : 2148008120 , "reforzado" : 2147483648 } ,
{ "bloque256" : 4227858432 , "l" : 4227858432 , "payload_age_bloque256" : 4228890808 , "payload_age_reforzado" : 4228890808 , "reforzado" : 4227858432 } ,
{ "bloque256" : 4227858688 , "l" : 4227858433 , "payload_age_bloque256" : 4228891080 , "payload_age_reforzado" : 4296016056 , "reforzado" : 4294967296 } ,
{ "bloque256" : 562949953421312 , "l" : 562949953421311 , "payload_age_bloque256" : 563087392374968 , "payload_age_reforzado" : 563087392374968 , "reforzado" : 562949953421312 } ,
{ "bloque256" : 8936830510563328 , "l" : 8936830510563327 , "payload_age_bloque256" : 8939012353949880 , "payload_age_reforzado" : 8939012353949880 , "reforzado" : 8936830510563328 } ,
{ "bloque256" : 8936830510563328 , "l" : 8936830510563328 , "payload_age_bloque256" : 8939012353949880 , "payload_age_reforzado" : 8939012353949880 , "reforzado" : 8936830510563328 } ,
{ "bloque256" : null , "l" : 8936830510563329 , "reforzado" : null , "text" : "capsule: content of 8936830510563329 bytes exceeds L_MAX = 8936830510563328" } ,
{ "bloque256" : 8936830510563072 , "l" : 8936830510563072 , "payload_age_bloque256" : 8939012353949624 , "payload_age_reforzado" : 8939012353949880 , "reforzado" : 8936830510563328 } ,
{ "bloque256" : null , "l" : 8936830510563584 , "reforzado" : null , "text" : "capsule: content of 8936830510563584 bytes exceeds L_MAX = 8936830510563328" } ,
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>
3 days ago
{ "bloque256" : 15634688 , "l" : 15634525 , "payload_age_bloque256" : 15638696 , "payload_age_reforzado" : 15732664 , "reforzado" : 15728640 } ,
{ "bloque256" : 501121937608960 , "l" : 501121937608937 , "payload_age_bloque256" : 501244281832200 , "payload_age_reforzado" : 501499708833976 , "reforzado" : 501377302265856 } ,
{ "bloque256" : 21180416 , "l" : 21180212 , "payload_age_bloque256" : 21185784 , "payload_age_reforzado" : 21501240 , "reforzado" : 21495808 } ,
{ "bloque256" : 2621223480757248 , "l" : 2621223480757142 , "payload_age_bloque256" : 2621863427896296 , "payload_age_reforzado" : 2639472151756984 , "reforzado" : 2638827906662400 } ,
{ "bloque256" : 324953458998784 , "l" : 324953458998774 , "payload_age_bloque256" : 325032793339544 , "payload_age_reforzado" : 325534898716856 , "reforzado" : 325455441821696 } ,
Stage 4b: the differential of the formats against Go
tool/formats_go_vectors.go runs in the module of datekeys-go at c531e93,
without changing anything there, and writes test/vectors/formats_*.json:
the result, the normative code and the text of Go on inputs of a fixed
seed, valid and broken in every layer of spec §69.1, and on the fixtures
of testdata/, edited:
- the PRELUDE (229 cases), the steps 1 to 3 of capsule.Inspect on cut and
edited fixtures (492) and whole .dkk files (268);
- PUBLIC_HEADER (660) and CONTROL_CBOR of the three formats (618);
- Provider Profiles decoded (163) and validated as values (60);
- extension arrays (260), Canonical (80), CheckDisjoint (50), the
registries with places (120) and CheckWrite with Standard (60);
- dk1_ strings (466);
- RFC 3339 parsed (434) and formatted (80), Resolve (320), RoundTime (64),
Validate (128) and MaxRound (8), on profiles of other genesis times and
periods;
- PaddedLength and PayloadAgeLength at the boundaries up to L_MAX (474),
and the check of the padding of capsule.Open at step 17 on fixtures whose
PAYLOAD_AGE is encrypted again with an edited plaintext (56);
- the encoders on values and the decoders at the limits of spec §57 (90);
- the frame of BODY (260) and the zeros of the area (60).
The output is the same on every run. formats_vectors.g.dart holds every
eighth case as Dart constants, so that the differential runs compiled to
JavaScript too, on Node.js; a test on the VM checks that they are those of
the files. Every file is under 310 KB.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
4 days ago
{ "bloque256" : 256 , "l" : 0 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
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>
3 days ago
{ "bloque256" : 84355601692672 , "l" : 84355601692632 , "payload_age_bloque256" : 84376196322184 , "payload_age_reforzado" : 84683064869048 , "reforzado" : 84662395338752 } ,
Stage 4b: the differential of the formats against Go
tool/formats_go_vectors.go runs in the module of datekeys-go at c531e93,
without changing anything there, and writes test/vectors/formats_*.json:
the result, the normative code and the text of Go on inputs of a fixed
seed, valid and broken in every layer of spec §69.1, and on the fixtures
of testdata/, edited:
- the PRELUDE (229 cases), the steps 1 to 3 of capsule.Inspect on cut and
edited fixtures (492) and whole .dkk files (268);
- PUBLIC_HEADER (660) and CONTROL_CBOR of the three formats (618);
- Provider Profiles decoded (163) and validated as values (60);
- extension arrays (260), Canonical (80), CheckDisjoint (50), the
registries with places (120) and CheckWrite with Standard (60);
- dk1_ strings (466);
- RFC 3339 parsed (434) and formatted (80), Resolve (320), RoundTime (64),
Validate (128) and MaxRound (8), on profiles of other genesis times and
periods;
- PaddedLength and PayloadAgeLength at the boundaries up to L_MAX (474),
and the check of the padding of capsule.Open at step 17 on fixtures whose
PAYLOAD_AGE is encrypted again with an edited plaintext (56);
- the encoders on values and the decoders at the limits of spec §57 (90);
- the frame of BODY (260) and the zeros of the area (60).
The output is the same on every run. formats_vectors.g.dart holds every
eighth case as Dart constants, so that the differential runs compiled to
JavaScript too, on Node.js; a test on the VM checks that they are those of
the files. Every file is under 310 KB.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
4 days ago
{ "bloque256" : 256 , "l" : 3 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
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>
3 days ago
{ "bloque256" : 535532291072 , "l" : 535532290949 , "payload_age_bloque256" : 535663036456 , "payload_age_reforzado" : 537001984184 , "reforzado" : 536870912000 } ,
{ "bloque256" : 256 , "l" : 56 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 478801811721984 , "l" : 478801811721974 , "payload_age_bloque256" : 478918706695736 , "payload_age_reforzado" : 479504107569336 , "reforzado" : 479387069710336 } ,
{ "bloque256" : 2147152128 , "l" : 2147151990 , "payload_age_bloque256" : 2147676520 , "payload_age_reforzado" : 2148008120 , "reforzado" : 2147483648 } ,
{ "bloque256" : 1624909605632 , "l" : 1624909605440 , "payload_age_bloque256" : 1625306312264 , "payload_age_reforzado" : 1632486031544 , "reforzado" : 1632087572480 } ,
{ "bloque256" : 256 , "l" : 5 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 64121344 , "l" : 64121168 , "payload_age_bloque256" : 64137192 , "payload_age_reforzado" : 65027768 , "reforzado" : 65011712 } ,
{ "bloque256" : 92672 , "l" : 92569 , "payload_age_bloque256" : 92888 , "payload_age_reforzado" : 94424 , "reforzado" : 94208 } ,
{ "bloque256" : 2948096 , "l" : 2947962 , "payload_age_bloque256" : 2949000 , "payload_age_reforzado" : 2950024 , "reforzado" : 2949120 } ,
{ "bloque256" : 5095567882752 , "l" : 5095567882618 , "payload_age_bloque256" : 5096811918072 , "payload_age_reforzado" : 5155219046584 , "reforzado" : 5153960755200 } ,
{ "bloque256" : 2563321729792 , "l" : 2563321729649 , "payload_age_bloque256" : 2563947540952 , "payload_age_reforzado" : 2577609523384 , "reforzado" : 2576980377600 } ,
{ "bloque256" : 6144 , "l" : 6022 , "payload_age_bloque256" : 6344 , "payload_age_reforzado" : 6344 , "reforzado" : 6144 } ,
{ "bloque256" : 3177728 , "l" : 3177693 , "payload_age_bloque256" : 3178696 , "payload_age_reforzado" : 3212232 , "reforzado" : 3211264 } ,
{ "bloque256" : 158236800907520 , "l" : 158236800907483 , "payload_age_bloque256" : 158275432939176 , "payload_age_reforzado" : 158368329105592 , "reforzado" : 158329674399744 } ,
{ "bloque256" : 256 , "l" : 188 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 687496960 , "l" : 687496878 , "payload_age_bloque256" : 687665000 , "payload_age_reforzado" : 688033976 , "reforzado" : 687865856 } ,
{ "bloque256" : 76908382720 , "l" : 76908382563 , "payload_age_bloque256" : 76927159368 , "payload_age_reforzado" : 77328285880 , "reforzado" : 77309411328 } ,
{ "bloque256" : 152064 , "l" : 151875 , "payload_age_bloque256" : 152296 , "payload_age_reforzado" : 155880 , "reforzado" : 155648 } ,
Stage 4b: the differential of the formats against Go
tool/formats_go_vectors.go runs in the module of datekeys-go at c531e93,
without changing anything there, and writes test/vectors/formats_*.json:
the result, the normative code and the text of Go on inputs of a fixed
seed, valid and broken in every layer of spec §69.1, and on the fixtures
of testdata/, edited:
- the PRELUDE (229 cases), the steps 1 to 3 of capsule.Inspect on cut and
edited fixtures (492) and whole .dkk files (268);
- PUBLIC_HEADER (660) and CONTROL_CBOR of the three formats (618);
- Provider Profiles decoded (163) and validated as values (60);
- extension arrays (260), Canonical (80), CheckDisjoint (50), the
registries with places (120) and CheckWrite with Standard (60);
- dk1_ strings (466);
- RFC 3339 parsed (434) and formatted (80), Resolve (320), RoundTime (64),
Validate (128) and MaxRound (8), on profiles of other genesis times and
periods;
- PaddedLength and PayloadAgeLength at the boundaries up to L_MAX (474),
and the check of the padding of capsule.Open at step 17 on fixtures whose
PAYLOAD_AGE is encrypted again with an edited plaintext (56);
- the encoders on values and the decoders at the limits of spec §57 (90);
- the frame of BODY (260) and the zeros of the area (60).
The output is the same on every run. formats_vectors.g.dart holds every
eighth case as Dart constants, so that the differential runs compiled to
JavaScript too, on Node.js; a test on the VM checks that they are those of
the files. Every file is under 310 KB.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
4 days ago
{ "bloque256" : 256 , "l" : 15 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
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>
3 days ago
{ "bloque256" : 2713922816 , "l" : 2713922642 , "payload_age_bloque256" : 2714585592 , "payload_age_reforzado" : 2752135352 , "reforzado" : 2751463424 } ,
{ "bloque256" : 265720320 , "l" : 265720199 , "payload_age_bloque256" : 265785384 , "payload_age_reforzado" : 268501176 , "reforzado" : 268435456 } ,
{ "bloque256" : 399162114304 , "l" : 399162114092 , "payload_age_bloque256" : 399259566184 , "payload_age_reforzado" : 399529476280 , "reforzado" : 399431958528 } ,
{ "bloque256" : 6767552847732480 , "l" : 6767552847732418 , "payload_age_bloque256" : 6769205082314632 , "payload_age_reforzado" : 6827434632544440 , "reforzado" : 6825768185233408 } ,
{ "bloque256" : 27104256 , "l" : 27104182 , "payload_age_bloque256" : 27111064 , "payload_age_reforzado" : 27269816 , "reforzado" : 27262976 } ,
{ "bloque256" : 256 , "l" : 15 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 8823889536768 , "l" : 8823889536678 , "payload_age_bloque256" : 8826043806872 , "payload_age_reforzado" : 8935713013944 , "reforzado" : 8933531975680 } ,
{ "bloque256" : 1749916673459712 , "l" : 1749916673459618 , "payload_age_bloque256" : 1750343899210264 , "payload_age_reforzado" : 1759648101171384 , "reforzado" : 1759218604441600 } ,
{ "bloque256" : 28681845889536 , "l" : 28681845889520 , "payload_age_bloque256" : 28688848293512 , "payload_age_reforzado" : 28869226660024 , "reforzado" : 28862180229120 } ,
{ "bloque256" : 256 , "l" : 3 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 103697963313408 , "l" : 103697963313389 , "payload_age_bloque256" : 103723280199176 , "payload_age_reforzado" : 104479106007224 , "reforzado" : 104453604638720 } ,
{ "bloque256" : 16491918848 , "l" : 16491918690 , "payload_age_bloque256" : 16495945384 , "payload_age_reforzado" : 16512811192 , "reforzado" : 16508780544 } ,
{ "bloque256" : 1208181504 , "l" : 1208181252 , "payload_age_bloque256" : 1208476664 , "payload_age_reforzado" : 1241817272 , "reforzado" : 1241513984 } ,
{ "bloque256" : 16896 , "l" : 16894 , "payload_age_bloque256" : 17096 , "payload_age_reforzado" : 17608 , "reforzado" : 17408 } ,
Stage 4b: the differential of the formats against Go
tool/formats_go_vectors.go runs in the module of datekeys-go at c531e93,
without changing anything there, and writes test/vectors/formats_*.json:
the result, the normative code and the text of Go on inputs of a fixed
seed, valid and broken in every layer of spec §69.1, and on the fixtures
of testdata/, edited:
- the PRELUDE (229 cases), the steps 1 to 3 of capsule.Inspect on cut and
edited fixtures (492) and whole .dkk files (268);
- PUBLIC_HEADER (660) and CONTROL_CBOR of the three formats (618);
- Provider Profiles decoded (163) and validated as values (60);
- extension arrays (260), Canonical (80), CheckDisjoint (50), the
registries with places (120) and CheckWrite with Standard (60);
- dk1_ strings (466);
- RFC 3339 parsed (434) and formatted (80), Resolve (320), RoundTime (64),
Validate (128) and MaxRound (8), on profiles of other genesis times and
periods;
- PaddedLength and PayloadAgeLength at the boundaries up to L_MAX (474),
and the check of the padding of capsule.Open at step 17 on fixtures whose
PAYLOAD_AGE is encrypted again with an edited plaintext (56);
- the encoders on values and the decoders at the limits of spec §57 (90);
- the frame of BODY (260) and the zeros of the area (60).
The output is the same on every run. formats_vectors.g.dart holds every
eighth case as Dart constants, so that the differential runs compiled to
JavaScript too, on Node.js; a test on the VM checks that they are those of
the files. Every file is under 310 KB.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
4 days ago
{ "bloque256" : 256 , "l" : 0 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
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>
3 days ago
{ "bloque256" : 55418124544 , "l" : 55418124400 , "payload_age_bloque256" : 55431654552 , "payload_age_reforzado" : 55848206520 , "reforzado" : 55834574848 } ,
Stage 4b: the differential of the formats against Go
tool/formats_go_vectors.go runs in the module of datekeys-go at c531e93,
without changing anything there, and writes test/vectors/formats_*.json:
the result, the normative code and the text of Go on inputs of a fixed
seed, valid and broken in every layer of spec §69.1, and on the fixtures
of testdata/, edited:
- the PRELUDE (229 cases), the steps 1 to 3 of capsule.Inspect on cut and
edited fixtures (492) and whole .dkk files (268);
- PUBLIC_HEADER (660) and CONTROL_CBOR of the three formats (618);
- Provider Profiles decoded (163) and validated as values (60);
- extension arrays (260), Canonical (80), CheckDisjoint (50), the
registries with places (120) and CheckWrite with Standard (60);
- dk1_ strings (466);
- RFC 3339 parsed (434) and formatted (80), Resolve (320), RoundTime (64),
Validate (128) and MaxRound (8), on profiles of other genesis times and
periods;
- PaddedLength and PayloadAgeLength at the boundaries up to L_MAX (474),
and the check of the padding of capsule.Open at step 17 on fixtures whose
PAYLOAD_AGE is encrypted again with an edited plaintext (56);
- the encoders on values and the decoders at the limits of spec §57 (90);
- the frame of BODY (260) and the zeros of the area (60).
The output is the same on every run. formats_vectors.g.dart holds every
eighth case as Dart constants, so that the differential runs compiled to
JavaScript too, on Node.js; a test on the VM checks that they are those of
the files. Every file is under 310 KB.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
4 days ago
{ "bloque256" : 256 , "l" : 0 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
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>
3 days ago
{ "bloque256" : 256 , "l" : 14 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 144788609966336 , "l" : 144788609966323 , "payload_age_bloque256" : 144823958748264 , "payload_age_reforzado" : 145170968346808 , "reforzado" : 145135534866432 } ,
{ "bloque256" : 13502752512 , "l" : 13502752359 , "payload_age_bloque256" : 13506049272 , "payload_age_reforzado" : 13559300280 , "reforzado" : 13555990528 } ,
Stage 4b: the differential of the formats against Go
tool/formats_go_vectors.go runs in the module of datekeys-go at c531e93,
without changing anything there, and writes test/vectors/formats_*.json:
the result, the normative code and the text of Go on inputs of a fixed
seed, valid and broken in every layer of spec §69.1, and on the fixtures
of testdata/, edited:
- the PRELUDE (229 cases), the steps 1 to 3 of capsule.Inspect on cut and
edited fixtures (492) and whole .dkk files (268);
- PUBLIC_HEADER (660) and CONTROL_CBOR of the three formats (618);
- Provider Profiles decoded (163) and validated as values (60);
- extension arrays (260), Canonical (80), CheckDisjoint (50), the
registries with places (120) and CheckWrite with Standard (60);
- dk1_ strings (466);
- RFC 3339 parsed (434) and formatted (80), Resolve (320), RoundTime (64),
Validate (128) and MaxRound (8), on profiles of other genesis times and
periods;
- PaddedLength and PayloadAgeLength at the boundaries up to L_MAX (474),
and the check of the padding of capsule.Open at step 17 on fixtures whose
PAYLOAD_AGE is encrypted again with an edited plaintext (56);
- the encoders on values and the decoders at the limits of spec §57 (90);
- the frame of BODY (260) and the zeros of the area (60).
The output is the same on every run. formats_vectors.g.dart holds every
eighth case as Dart constants, so that the differential runs compiled to
JavaScript too, on Node.js; a test on the VM checks that they are those of
the files. Every file is under 310 KB.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
4 days ago
{ "bloque256" : 256 , "l" : 0 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
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>
3 days ago
{ "bloque256" : 116488840722944 , "l" : 116488840722922 , "payload_age_bloque256" : 116517280381512 , "payload_age_reforzado" : 116576686702776 , "reforzado" : 116548232544256 } ,
{ "bloque256" : 935707164928 , "l" : 935707164813 , "payload_age_bloque256" : 935935609256 , "payload_age_reforzado" : 936531460280 , "reforzado" : 936302870528 } ,
{ "bloque256" : 2345728 , "l" : 2345549 , "payload_age_bloque256" : 2346488 , "payload_age_reforzado" : 2360056 , "reforzado" : 2359296 } ,
{ "bloque256" : 988852660224 , "l" : 988852660011 , "payload_age_bloque256" : 989094079528 , "payload_age_reforzado" : 996675682488 , "reforzado" : 996432412672 } ,
{ "bloque256" : 13031196928 , "l" : 13031196812 , "payload_age_bloque256" : 13034378568 , "payload_age_reforzado" : 13156548792 , "reforzado" : 13153337344 } ,
{ "bloque256" : 782336 , "l" : 782216 , "payload_age_bloque256" : 782712 , "payload_age_reforzado" : 786808 , "reforzado" : 786432 } ,
{ "bloque256" : 450754560 , "l" : 450754403 , "payload_age_bloque256" : 450864792 , "payload_age_reforzado" : 453095608 , "reforzado" : 452984832 } ,
{ "bloque256" : 5671461888 , "l" : 5671461825 , "payload_age_bloque256" : 5672846712 , "payload_age_reforzado" : 5705646264 , "reforzado" : 5704253440 } ,
{ "bloque256" : 10539454400000 , "l" : 10539454399857 , "payload_age_bloque256" : 10542027509176 , "payload_age_reforzado" : 10585383108792 , "reforzado" : 10582799417344 } ,
{ "bloque256" : 119507812096 , "l" : 119507812054 , "payload_age_bloque256" : 119536989000 , "payload_age_reforzado" : 120288444600 , "reforzado" : 120259084288 } ,
{ "bloque256" : 7688489472 , "l" : 7688489439 , "payload_age_bloque256" : 7690366744 , "payload_age_reforzado" : 7719403704 , "reforzado" : 7717519360 } ,
{ "bloque256" : 60928 , "l" : 60790 , "payload_age_bloque256" : 61128 , "payload_age_reforzado" : 61640 , "reforzado" : 61440 } ,
{ "bloque256" : 4066335488 , "l" : 4066335319 , "payload_age_bloque256" : 4067328440 , "payload_age_reforzado" : 4094640312 , "reforzado" : 4093640704 } ,
{ "bloque256" : 256 , "l" : 30 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 338829725440 , "l" : 338829725275 , "payload_age_bloque256" : 338912447736 , "payload_age_reforzado" : 339385254072 , "reforzado" : 339302416384 } ,
{ "bloque256" : 256 , "l" : 47 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 5 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 50008320 , "l" : 50008124 , "payload_age_bloque256" : 50020728 , "payload_age_reforzado" : 50344120 , "reforzado" : 50331648 } ,
{ "bloque256" : 54008192512 , "l" : 54008192497 , "payload_age_bloque256" : 54021378296 , "payload_age_reforzado" : 54237200568 , "reforzado" : 54223962112 } ,
{ "bloque256" : 256 , "l" : 156 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 852480 , "l" : 852284 , "payload_age_bloque256" : 852888 , "payload_age_reforzado" : 868760 , "reforzado" : 868352 } ,
{ "bloque256" : 512 , "l" : 326 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 300823552 , "l" : 300823315 , "payload_age_bloque256" : 300897192 , "payload_age_reforzado" : 302063800 , "reforzado" : 301989888 } ,
{ "bloque256" : 256 , "l" : 9 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 2212815104 , "l" : 2212814875 , "payload_age_bloque256" : 2213355528 , "payload_age_reforzado" : 2215133368 , "reforzado" : 2214592512 } ,
{ "bloque256" : 693505024 , "l" : 693504797 , "payload_age_bloque256" : 693674536 , "payload_age_reforzado" : 704815288 , "reforzado" : 704643072 } ,
{ "bloque256" : 82456052992 , "l" : 82456052751 , "payload_age_bloque256" : 82476184056 , "payload_age_reforzado" : 82698305720 , "reforzado" : 82678120448 } ,
{ "bloque256" : 19158963712 , "l" : 19158963494 , "payload_age_bloque256" : 19163641384 , "payload_age_reforzado" : 19332071608 , "reforzado" : 19327352832 } ,
{ "bloque256" : 512 , "l" : 379 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 256 , "l" : 2 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 47360 , "l" : 47117 , "payload_age_bloque256" : 47560 , "payload_age_reforzado" : 49352 , "reforzado" : 49152 } ,
{ "bloque256" : 12157252837632 , "l" : 12157252837587 , "payload_age_bloque256" : 12160220917128 , "payload_age_reforzado" : 12235053203640 , "reforzado" : 12232066859008 } ,
{ "bloque256" : 594003520768 , "l" : 594003520662 , "payload_age_bloque256" : 594148541352 , "payload_age_reforzado" : 601442222264 , "reforzado" : 601295421440 } ,
{ "bloque256" : 446033928278784 , "l" : 446033928278554 , "payload_age_bloque256" : 446142823281000 , "payload_age_reforzado" : 448710265798840 , "reforzado" : 448600744132608 } ,
{ "bloque256" : 1503230208 , "l" : 1503230039 , "payload_age_bloque256" : 1503597400 , "payload_age_reforzado" : 1510318264 , "reforzado" : 1509949440 } ,
{ "bloque256" : 256 , "l" : 49 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 649058853632 , "l" : 649058853461 , "payload_age_bloque256" : 649217315464 , "payload_age_reforzado" : 652994412728 , "reforzado" : 652835028992 } ,
{ "bloque256" : 256 , "l" : 25 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 95 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 190 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 8290036500480 , "l" : 8290036500309 , "payload_age_bloque256" : 8292060435368 , "payload_age_reforzado" : 8317086728376 , "reforzado" : 8315056685056 } ,
{ "bloque256" : 7680 , "l" : 7484 , "payload_age_bloque256" : 7880 , "payload_age_reforzado" : 7880 , "reforzado" : 7680 } ,
{ "bloque256" : 87868782973184 , "l" : 87868782973097 , "payload_age_bloque256" : 87890235312968 , "payload_age_reforzado" : 87982405058744 , "reforzado" : 87960930222080 } ,
{ "bloque256" : 146876117504 , "l" : 146876117428 , "payload_age_bloque256" : 146911976120 , "payload_age_reforzado" : 148212547768 , "reforzado" : 148176371712 } ,
{ "bloque256" : 229888 , "l" : 229710 , "payload_age_bloque256" : 230136 , "payload_age_reforzado" : 233720 , "reforzado" : 233472 } ,
{ "bloque256" : 256 , "l" : 53 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 375724774656 , "l" : 375724774433 , "payload_age_bloque256" : 375816504536 , "payload_age_reforzado" : 378049396920 , "reforzado" : 377957122048 } ,
{ "bloque256" : 256 , "l" : 3 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 579563463424 , "l" : 579563463374 , "payload_age_bloque256" : 579704958600 , "payload_age_reforzado" : 584258158776 , "reforzado" : 584115552256 } ,
{ "bloque256" : 1573626624 , "l" : 1573626491 , "payload_age_bloque256" : 1574011000 , "payload_age_reforzado" : 1577443512 , "reforzado" : 1577058304 } ,
{ "bloque256" : 44800 , "l" : 44780 , "payload_age_bloque256" : 45000 , "payload_age_reforzado" : 45256 , "reforzado" : 45056 } ,
{ "bloque256" : 13126456658176 , "l" : 13126456658135 , "payload_age_bloque256" : 13129661359704 , "payload_age_reforzado" : 13197360758968 , "reforzado" : 13194139533312 } ,
{ "bloque256" : 58935808 , "l" : 58935646 , "payload_age_bloque256" : 58950392 , "payload_age_reforzado" : 59783608 , "reforzado" : 59768832 } ,
{ "bloque256" : 226548992 , "l" : 226548866 , "payload_age_bloque256" : 226604488 , "payload_age_reforzado" : 230743224 , "reforzado" : 230686720 } ,
{ "bloque256" : 256 , "l" : 197 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 7498354354432 , "l" : 7498354354396 , "payload_age_bloque256" : 7500185007544 , "payload_age_reforzado" : 7560987934904 , "reforzado" : 7559142440960 } ,
{ "bloque256" : 24663693140224 , "l" : 24663693140158 , "payload_age_bloque256" : 24669714549880 , "payload_age_reforzado" : 24745051422904 , "reforzado" : 24739011624960 } ,
{ "bloque256" : 14067200 , "l" : 14067085 , "payload_age_bloque256" : 14070824 , "payload_age_reforzado" : 14159416 , "reforzado" : 14155776 } ,
{ "bloque256" : 48128 , "l" : 48074 , "payload_age_bloque256" : 48328 , "payload_age_reforzado" : 49352 , "reforzado" : 49152 } ,
{ "bloque256" : 256 , "l" : 5 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
Stage 4b: the differential of the formats against Go
tool/formats_go_vectors.go runs in the module of datekeys-go at c531e93,
without changing anything there, and writes test/vectors/formats_*.json:
the result, the normative code and the text of Go on inputs of a fixed
seed, valid and broken in every layer of spec §69.1, and on the fixtures
of testdata/, edited:
- the PRELUDE (229 cases), the steps 1 to 3 of capsule.Inspect on cut and
edited fixtures (492) and whole .dkk files (268);
- PUBLIC_HEADER (660) and CONTROL_CBOR of the three formats (618);
- Provider Profiles decoded (163) and validated as values (60);
- extension arrays (260), Canonical (80), CheckDisjoint (50), the
registries with places (120) and CheckWrite with Standard (60);
- dk1_ strings (466);
- RFC 3339 parsed (434) and formatted (80), Resolve (320), RoundTime (64),
Validate (128) and MaxRound (8), on profiles of other genesis times and
periods;
- PaddedLength and PayloadAgeLength at the boundaries up to L_MAX (474),
and the check of the padding of capsule.Open at step 17 on fixtures whose
PAYLOAD_AGE is encrypted again with an edited plaintext (56);
- the encoders on values and the decoders at the limits of spec §57 (90);
- the frame of BODY (260) and the zeros of the area (60).
The output is the same on every run. formats_vectors.g.dart holds every
eighth case as Dart constants, so that the differential runs compiled to
JavaScript too, on Node.js; a test on the VM checks that they are those of
the files. Every file is under 310 KB.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
4 days ago
{ "bloque256" : 256 , "l" : 1 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
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>
3 days ago
{ "bloque256" : 256 , "l" : 5 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 256 , "l" : 180 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 1142528 , "l" : 1142425 , "payload_age_bloque256" : 1143000 , "payload_age_reforzado" : 1147352 , "reforzado" : 1146880 } ,
{ "bloque256" : 781403648 , "l" : 781403448 , "payload_age_bloque256" : 781594616 , "payload_age_reforzado" : 788721848 , "reforzado" : 788529152 } ,
{ "bloque256" : 379966533426176 , "l" : 379966533426003 , "payload_age_bloque256" : 380059298693320 , "payload_age_reforzado" : 382723462004920 , "reforzado" : 382630046466048 } ,
{ "bloque256" : 7485687627264 , "l" : 7485687627133 , "payload_age_bloque256" : 7487515187912 , "payload_age_reforzado" : 7492251680952 , "reforzado" : 7490422964224 } ,
{ "bloque256" : 256 , "l" : 7 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 7513661952 , "l" : 7513661768 , "payload_age_bloque256" : 7515496536 , "payload_age_reforzado" : 7518027960 , "reforzado" : 7516192768 } ,
{ "bloque256" : 38660016384 , "l" : 38660016320 , "payload_age_bloque256" : 38669455064 , "payload_age_reforzado" : 39201145016 , "reforzado" : 39191576576 } ,
{ "bloque256" : 3367687936 , "l" : 3367687757 , "payload_age_bloque256" : 3368510312 , "payload_age_reforzado" : 3423387832 , "reforzado" : 3422552064 } ,
{ "bloque256" : 9143656192 , "l" : 9143655971 , "payload_age_bloque256" : 9145888728 , "payload_age_reforzado" : 9263284408 , "reforzado" : 9261023232 } ,
{ "bloque256" : 38656 , "l" : 38460 , "payload_age_bloque256" : 38856 , "payload_age_reforzado" : 39112 , "reforzado" : 38912 } ,
{ "bloque256" : 17408 , "l" : 17284 , "payload_age_bloque256" : 17608 , "payload_age_reforzado" : 17608 , "reforzado" : 17408 } ,
{ "bloque256" : 512 , "l" : 316 , "payload_age_bloque256" : 712 , "payload_age_reforzado" : 712 , "reforzado" : 512 } ,
{ "bloque256" : 48128 , "l" : 47904 , "payload_age_bloque256" : 48328 , "payload_age_reforzado" : 49352 , "reforzado" : 49152 } ,
{ "bloque256" : 11008 , "l" : 10760 , "payload_age_bloque256" : 11208 , "payload_age_reforzado" : 11464 , "reforzado" : 11264 } ,
{ "bloque256" : 256 , "l" : 153 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 83631360 , "l" : 83631113 , "payload_age_bloque256" : 83651976 , "payload_age_reforzado" : 83906744 , "reforzado" : 83886080 } ,
{ "bloque256" : 95206912 , "l" : 95206674 , "payload_age_bloque256" : 95230344 , "payload_age_reforzado" : 96492728 , "reforzado" : 96468992 } ,
{ "bloque256" : 379136 , "l" : 378989 , "payload_age_bloque256" : 379416 , "payload_age_reforzado" : 385304 , "reforzado" : 385024 } ,
{ "bloque256" : 256 , "l" : 44 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 54116466535168 , "l" : 54116466535133 , "payload_age_bloque256" : 54129678563320 , "payload_age_reforzado" : 54439113130168 , "reforzado" : 54425825574912 } ,
{ "bloque256" : 5888 , "l" : 5822 , "payload_age_bloque256" : 6088 , "payload_age_reforzado" : 6088 , "reforzado" : 5888 } ,
{ "bloque256" : 824279061679616 , "l" : 824279061679415 , "payload_age_bloque256" : 824480301685096 , "payload_age_reforzado" : 827034607550648 , "reforzado" : 826832744087552 } ,
{ "bloque256" : 256 , "l" : 18 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 13603584 , "l" : 13603370 , "payload_age_bloque256" : 13607096 , "payload_age_reforzado" : 13635000 , "reforzado" : 13631488 } ,
{ "bloque256" : 520894720 , "l" : 520894553 , "payload_age_bloque256" : 521022088 , "payload_age_reforzado" : 528611512 , "reforzado" : 528482304 } ,
{ "bloque256" : 6528000 , "l" : 6527752 , "payload_age_bloque256" : 6529784 , "payload_age_reforzado" : 6555384 , "reforzado" : 6553600 } ,
{ "bloque256" : 4306432 , "l" : 4306370 , "payload_age_bloque256" : 4307672 , "payload_age_reforzado" : 4326616 , "reforzado" : 4325376 } ,
{ "bloque256" : 256 , "l" : 250 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 718592 , "l" : 718526 , "payload_age_bloque256" : 718952 , "payload_age_reforzado" : 721256 , "reforzado" : 720896 } ,
{ "bloque256" : 66844187136 , "l" : 66844187055 , "payload_age_bloque256" : 66860506712 , "payload_age_reforzado" : 67125248184 , "reforzado" : 67108864000 } ,
{ "bloque256" : 40960544241152 , "l" : 40960544241080 , "payload_age_bloque256" : 40970544374216 , "payload_age_reforzado" : 41241752371384 , "reforzado" : 41231686041600 } ,
{ "bloque256" : 647695613952 , "l" : 647695613810 , "payload_age_bloque256" : 647853742952 , "payload_age_reforzado" : 652994412728 , "reforzado" : 652835028992 } ,
{ "bloque256" : 97267109632 , "l" : 97267109504 , "payload_age_bloque256" : 97290856680 , "payload_age_reforzado" : 97734361272 , "reforzado" : 97710505984 } ,
{ "bloque256" : 256 , "l" : 4 , "payload_age_bloque256" : 456 , "payload_age_reforzado" : 456 , "reforzado" : 256 } ,
{ "bloque256" : 509936486912 , "l" : 509936486794 , "payload_age_bloque256" : 510060983320 , "payload_age_reforzado" : 511225888952 , "reforzado" : 511101108224 } ,
{ "bloque256" : 526525952 , "l" : 526525705 , "payload_age_bloque256" : 526654696 , "payload_age_reforzado" : 528611512 , "reforzado" : 528482304 } ,
{ "bloque256" : 4352 , "l" : 4291 , "payload_age_bloque256" : 4552 , "payload_age_reforzado" : 4552 , "reforzado" : 4352 } ,
{ "bloque256" : 768 , "l" : 635 , "payload_age_bloque256" : 968 , "payload_age_reforzado" : 968 , "reforzado" : 768 } ,
{ "bloque256" : 814806016 , "l" : 814805802 , "payload_age_bloque256" : 815005128 , "payload_age_reforzado" : 822284472 , "reforzado" : 822083584 }
Stage 4b: the differential of the formats against Go
tool/formats_go_vectors.go runs in the module of datekeys-go at c531e93,
without changing anything there, and writes test/vectors/formats_*.json:
the result, the normative code and the text of Go on inputs of a fixed
seed, valid and broken in every layer of spec §69.1, and on the fixtures
of testdata/, edited:
- the PRELUDE (229 cases), the steps 1 to 3 of capsule.Inspect on cut and
edited fixtures (492) and whole .dkk files (268);
- PUBLIC_HEADER (660) and CONTROL_CBOR of the three formats (618);
- Provider Profiles decoded (163) and validated as values (60);
- extension arrays (260), Canonical (80), CheckDisjoint (50), the
registries with places (120) and CheckWrite with Standard (60);
- dk1_ strings (466);
- RFC 3339 parsed (434) and formatted (80), Resolve (320), RoundTime (64),
Validate (128) and MaxRound (8), on profiles of other genesis times and
periods;
- PaddedLength and PayloadAgeLength at the boundaries up to L_MAX (474),
and the check of the padding of capsule.Open at step 17 on fixtures whose
PAYLOAD_AGE is encrypted again with an edited plaintext (56);
- the encoders on values and the decoders at the limits of spec §57 (90);
- the frame of BODY (260) and the zeros of the area (60).
The output is the same on every run. formats_vectors.g.dart holds every
eighth case as Dart constants, so that the differential runs compiled to
JavaScript too, on Node.js; a test on the VM checks that they are those of
the files. Every file is under 310 KB.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
4 days ago
] ,
"check" : [
{ "fixture" : "format2_empty_payload" , "format" : 2 , "l" : 0 , "length" : 256 , "p" : 256 , "result" : "ok" , "step" : 0 } ,
{ "fixture" : "format2_empty_payload" , "format" : 2 , "l" : 0 , "length" : 257 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 256: ERR_INTEGRITY" } ,
{ "fixture" : "format2_empty_payload" , "format" : 2 , "l" : 0 , "length" : 356 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 256: ERR_INTEGRITY" } ,
{ "fixture" : "format2_empty_payload" , "format" : 2 , "l" : 0 , "length" : 255 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 255 bytes, shorter than P = 256: ERR_INTEGRITY" } ,
{ "at" : 256 , "fixture" : "format2_empty_payload" , "format" : 2 , "l" : 0 , "length" : 257 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 256: ERR_INTEGRITY" , "value" : 7 } ,
{ "at" : 0 , "fixture" : "format2_empty_payload" , "format" : 2 , "l" : 0 , "length" : 256 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 0 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 1 } ,
{ "at" : 255 , "fixture" : "format2_empty_payload" , "format" : 2 , "l" : 0 , "length" : 256 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 255 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 128 } ,
{ "at" : 128 , "fixture" : "format2_empty_payload" , "format" : 2 , "l" : 0 , "length" : 256 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 128 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 255 } ,
{ "fixture" : "format2_empty_payload" , "format" : 2 , "l" : 0 , "length" : 0 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 0 bytes, shorter than P = 256: ERR_INTEGRITY" } ,
{ "at" : 254 , "fixture" : "format2_empty_payload" , "format" : 2 , "l" : 0 , "length" : 255 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 254 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 3 } ,
{ "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 79872 , "p" : 79872 , "result" : "ok" , "step" : 0 } ,
{ "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 79873 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 79872: ERR_INTEGRITY" } ,
{ "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 79972 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 79872: ERR_INTEGRITY" } ,
{ "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 79871 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 79871 bytes, shorter than P = 79872: ERR_INTEGRITY" } ,
{ "at" : 79872 , "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 79873 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 79872: ERR_INTEGRITY" , "value" : 7 } ,
{ "at" : 78000 , "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 79872 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 78000 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 1 } ,
{ "at" : 79871 , "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 79872 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 79871 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 128 } ,
{ "at" : 78936 , "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 79872 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 78936 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 255 } ,
{ "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 78000 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 78000 bytes, shorter than P = 79872: ERR_INTEGRITY" } ,
{ "at" : 79870 , "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 79871 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 79870 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 3 } ,
{ "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 0 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 0 bytes, shorter than P = 79872: ERR_INTEGRITY" } ,
{ "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 77999 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 77999 bytes, shorter than P = 79872: ERR_INTEGRITY" } ,
{ "fixture" : "format2_time_only" , "format" : 2 , "l" : 78000 , "length" : 39000 , "p" : 79872 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 39000 bytes, shorter than P = 79872: ERR_INTEGRITY" } ,
{ "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 256 , "p" : 256 , "result" : "ok" , "step" : 0 } ,
{ "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 257 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 256: ERR_INTEGRITY" } ,
{ "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 356 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 256: ERR_INTEGRITY" } ,
{ "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 255 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 255 bytes, shorter than P = 256: ERR_INTEGRITY" } ,
{ "at" : 256 , "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 257 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 256: ERR_INTEGRITY" , "value" : 7 } ,
{ "at" : 34 , "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 256 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 34 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 1 } ,
{ "at" : 255 , "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 256 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 255 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 128 } ,
{ "at" : 145 , "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 256 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 145 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 255 } ,
{ "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 34 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 34 bytes, shorter than P = 256: ERR_INTEGRITY" } ,
{ "at" : 254 , "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 255 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 254 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 3 } ,
{ "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 0 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 0 bytes, shorter than P = 256: ERR_INTEGRITY" } ,
{ "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 33 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 33 bytes, shorter than P = 256: ERR_INTEGRITY" } ,
{ "fixture" : "format2_time_only_extensions" , "format" : 2 , "l" : 34 , "length" : 17 , "p" : 256 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 17 bytes, shorter than P = 256: ERR_INTEGRITY" } ,
{ "fixture" : "format3_single" , "format" : 3 , "l" : 659 , "length" : 768 , "p" : 768 , "result" : "ok" , "step" : 0 } ,
{ "fixture" : "format3_single" , "format" : 3 , "l" : 659 , "length" : 769 , "p" : 768 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 768: ERR_INTEGRITY" } ,
{ "fixture" : "format3_single" , "format" : 3 , "l" : 659 , "length" : 868 , "p" : 768 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 768: ERR_INTEGRITY" } ,
{ "fixture" : "format3_single" , "format" : 3 , "l" : 659 , "length" : 767 , "p" : 768 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 767 bytes, shorter than P = 768: ERR_INTEGRITY" } ,
{ "at" : 768 , "fixture" : "format3_single" , "format" : 3 , "l" : 659 , "length" : 769 , "p" : 768 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 768: ERR_INTEGRITY" , "value" : 7 } ,
{ "at" : 659 , "fixture" : "format3_single" , "format" : 3 , "l" : 659 , "length" : 768 , "p" : 768 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 659 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 1 } ,
{ "at" : 767 , "fixture" : "format3_single" , "format" : 3 , "l" : 659 , "length" : 768 , "p" : 768 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 767 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 128 } ,
{ "at" : 713 , "fixture" : "format3_single" , "format" : 3 , "l" : 659 , "length" : 768 , "p" : 768 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 713 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 255 } ,
{ "fixture" : "format3_single" , "format" : 3 , "l" : 659 , "length" : 659 , "p" : 768 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 659 bytes, shorter than P = 768: ERR_INTEGRITY" } ,
{ "at" : 766 , "fixture" : "format3_single" , "format" : 3 , "l" : 659 , "length" : 767 , "p" : 768 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 766 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 3 } ,
{ "fixture" : "format3_tree" , "format" : 3 , "l" : 84078 , "length" : 86016 , "p" : 86016 , "result" : "ok" , "step" : 0 } ,
{ "fixture" : "format3_tree" , "format" : 3 , "l" : 84078 , "length" : 86017 , "p" : 86016 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 86016: ERR_INTEGRITY" } ,
{ "fixture" : "format3_tree" , "format" : 3 , "l" : 84078 , "length" : 86116 , "p" : 86016 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 86016: ERR_INTEGRITY" } ,
{ "fixture" : "format3_tree" , "format" : 3 , "l" : 84078 , "length" : 86015 , "p" : 86016 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 86015 bytes, shorter than P = 86016: ERR_INTEGRITY" } ,
{ "at" : 86016 , "fixture" : "format3_tree" , "format" : 3 , "l" : 84078 , "length" : 86017 , "p" : 86016 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is longer than P = 86016: ERR_INTEGRITY" , "value" : 7 } ,
{ "at" : 84078 , "fixture" : "format3_tree" , "format" : 3 , "l" : 84078 , "length" : 86016 , "p" : 86016 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 84078 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 1 } ,
{ "at" : 86015 , "fixture" : "format3_tree" , "format" : 3 , "l" : 84078 , "length" : 86016 , "p" : 86016 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 86015 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 128 } ,
{ "at" : 85047 , "fixture" : "format3_tree" , "format" : 3 , "l" : 84078 , "length" : 86016 , "p" : 86016 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 85047 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 255 } ,
{ "fixture" : "format3_tree" , "format" : 3 , "l" : 84078 , "length" : 84078 , "p" : 86016 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: the plaintext is 84078 bytes, shorter than P = 86016: ERR_INTEGRITY" } ,
{ "at" : 86014 , "fixture" : "format3_tree" , "format" : 3 , "l" : 84078 , "length" : 86015 , "p" : 86016 , "result" : "ERR_INTEGRITY" , "step" : 17 , "text" : "capsule: PAYLOAD_AGE: byte 86014 of the plaintext is padding and is not zero: ERR_INTEGRITY" , "value" : 3 }
]
}
