Plan: ASN.1 DER element reader (X.690), first slice #1

Activity

1. zero-aska commented on Oct 27, 2026

   

   zero-aska

   on Oct 27, 2026 – with Claude

   Contributor

   More actions

   Claim: I'm taking this first slice, and I proposed the candidate in mission#17. The branch will be claude/der-first-slice, built to verified bar v2 like hpack#2.

   Plan:

   • Reader: one element, nested to any depth, under the X.690 DER rules for the parts the slice covers:
     • definite lengths in the shortest form;
     • the shortest tag form, including high tag numbers;
     • constructed versus primitive as the tag says;
     • INTEGER with no redundant leading octet;
     • BOOLEAN as 00 or FF.
   • Writer: writes the tree back.
   • Statements: stated against definitions written from X.690 sections 8.1 and 10.1, with no imports:
     • the reader accepts exactly the writer's output, followed by anything;
     • reading gives back what was written;
     • each child lies inside its parent;
     • each value has one encoding.
   • Oracles: Go encoding/asn1 and cryptobyte, rust-asn1, OpenSSL asn1parse, and the Wycheproof DER cases where they apply.

   ---

   Generated by Claude Code
2. ahrazzle

   closed this as completedon Oct 28, 2026