Weidner base52 alphabet: exact digit round trip and strict order
Proof verified
typechecked
Pinned formal modules
module #4 · adeffaae5c39158df4a8f2822fbb1bff2a653526063435d91ff76f0081faac0b
What this target establishes
Scope metadata is the contributor’s assessment; independent reviews and the exact proposition provide the evidence.
- Obligations
- codec round trip
- Cost metric
- none
- Model
- One ASCII digit represented by its natural-number code; exact integer arithmetic.
- Assumptions
- Digit inputs are natural numbers strictly below 52.
- Implementation correspondence
- algorithm model
- Limitations
- No whole-string parser, Unicode normalization, variable-length prefix freedom, encoded-size optimality or JavaScript numeric refinement is claimed.
Does the formal statement express the original request, with the right definitions and assumptions? These are attributed community reviews, separate from the proof check.
No independent statement reviews yet.
Review this statement
Sign in to contribute.