HyperDoc 2.0#2

Open

ikskuh wants to merge 137 commits intomasterfrom

Commits on Dec 22, 2025

Works towards HyperDoc 2.0
Felix Queißner
committed
Fixes some spec parts
Felix Queißner
committed
More spec improvements
Felix Queißner
committed
Adds example files.
Felix Queißner
committed
Removes the dependencies for now.
Felix Queißner
committed
Adds AGENTS.md
Felix Queißner
committed
Vibecoded: Adds tokenizer for the new HyperDoc format
Felix Queißner
committed

Commits on Dec 23, 2025

Starts to rework specification to have improved definition and setup.
Felix "xq" Queißner
committed
Implements new parser for HyperDoc 2.0
Felix "xq" Queißner
committed
Adds functions for test suite, adds fuzzer code
Felix "xq" Queißner
committed

Commits on Dec 24, 2025

Vibecoded: Implements DOM datastructure, adds diagnostic error messages and very crude semantic analysis
Felix "xq" Queißner
committed
Introduces more types into the DOM, adds basics for attribute parsing.
Felix "xq" Queißner
committed
Vibecoded: Adds dump code in main.
Felix "xq" Queißner
committed
Prepares node translation by stubbing out block layer.
Felix "xq" Queißner
committed

Commits on Dec 25, 2025

Streamlines some parts of the processor the improve the code structure.
Felix "xq" Queißner
committed
Vibecoded: Implements date/time parsing, improves spec
Felix "xq" Queißner
committed
Improves spec a lot
Felix "xq" Queißner
committed

Commits on Dec 26, 2025

Refactors Parser.Node.attributes from map to list, so the lexical structure is retained
Felix "xq" Queißner
committed
Fixes failing test.
Felix "xq" Queißner
committed
Implements translation of H1 nodes and basic inline contents.
Felix "xq" Queißner
committed
Implements most guts of the inline composition system, but only exposes \em right now.
Felix "xq" Queißner
committed
Implements most inline node translations except for the date/time parts.
Felix "xq" Queißner
committed
Vibecoded: Reduces the verbosity of the debug dump output
Felix "xq" Queißner
committed

Commits on Dec 27, 2025

Implements basic validation of reference and uri attributes.
Felix "xq" Queißner
committed
Prepares most of the date/time inline parsing, except for the span to string conversion
Felix "xq" Queißner
committed
Simplifies sema.emit_diagnostic by taking a Parser.Location
Felix "xq" Queißner
committed
Moves code around
Felix "xq" Queißner
committed

Commits on Dec 28, 2025

Implements SemanticAnalyzer.unescape_string
Felix "xq" Queißner
committed
Simplifies diagnosticCodesEqual with metaprogramming.
Felix "xq" Queißner
committed
Fixes an edge case in unescape_string. Adds fuzzing for string unescaper.
Felix "xq" Queißner
committed
Implements translation of paragraph nodes.
Felix "xq" Queißner
committed
Implements join_spans to enable date/time parsing, fixes bad example.
Felix "xq" Queißner
committed
Implements new attribute hdoc(tz) which provides a timezone hint for all time/datetime values
Felix "xq" Queißner
committed
Adds tests for Date/Time/DateTime.parse
Felix "xq" Queißner
committed
Adds parsing of lists and list nodes.
Felix "xq" Queißner
committed
Fixes missing fallback for ol having first==1
Felix "xq" Queißner
committed
Vibecoded: Implements rest of the node types, adds TODO comments for further tasks
Felix "xq" Queißner
committed

Commits on Dec 29, 2025

Moves dump code into src/render/dump.zig
Felix "xq" Queißner
committed
Cleans up main a bit and implements diagnostic printing.
Felix "xq" Queißner
committed
Unifies handling for empty spans
Felix "xq" Queißner
committed
Implements span compaction for regular 'single whitespace' join spans. The parser now also emits whitespace-only spans separately from the word spans. pre compaction is not implemented yet.
Felix "xq" Queißner
committed
Implements p/pre split for whitespace compaction
Felix "xq" Queißner
committed
Resolves several TODOs: Table shape (column count) validation, date/time/datetime nesting detection, image attribute validation.
Felix "xq" Queißner
committed
Implements id uniqueness check.
Felix "xq" Queißner
committed
Spec/code alignment: Allows trailing commas in attribute lists, allows 'fmt=iso' for \date and \time as well, checks document version, also allows '-' and ':' inside identifiers, adds more TODO com…
Felix "xq" Queißner
committed
Refactored code to use LanguageTag and TimeZoneOffset instead of ?[]const u8/i32 to increase type safety.
Felix "xq" Queißner
committed
Vibecoded: Resolves all diagnostic-related TODOs
Felix "xq" Queißner
committed
Moves some tests from hyperdoc.zig to testsuite.zig
Felix "xq" Queißner
committed

Commits on Dec 30, 2025

Improves specification and fixes some minor mismatches in implementation
Felix "xq" Queißner
committed
Updates spec to have hdoc(date=...) be a DateTime value, so the author can include the timestamp.
Felix "xq" Queißner
committed
Prepares HTML5 rendering task.
Felix "xq" Queißner
committed
Adds new spec draft
Felix "xq" Queißner
committed
Implement automatic table of contents generation
ikskuh
committed
Merge pull request #3 from Ashet-Technologies/codex/implement-automatic-table-of-contents-generation
ikskuh
authored

Commits on Dec 31, 2025

Commits on Jan 1, 2026

Stop trimming verbatim lines
ikskuh
committed
Merge pull request #7 from Ashet-Technologies/codex/implement-whitespace-handling-for-pre-blocks
ikskuh
authored
Implements hdoc(date) respecting hdoc(tz) default.
Felix "xq" Queißner
committed
Implements \date, \time and \datetime reject anything except bare text bodies.
Felix "xq" Queißner
committed
Refactory Block.TableOfContents.depth to non-optional value between 1 and 3.
Felix "xq" Queißner
committed
Rewrites §7.5 Identifiers and References
Felix "xq" Queißner
committed
Restructures chapter 8 (Elements and attributes) into a more well-formed structure, and refines rules for block promotion rules
Felix "xq" Queißner
committed
Changes note/warning/... from paragraphs into admonition blocks, which wrap other blocks.
Felix "xq" Queißner
committed
Splits Lists chapter into two.
Felix "xq" Queißner
committed
Clarifies table semantics.
Felix "xq" Queißner
committed

Commits on Jan 2, 2026

Renames docs/specification-proper-draft.md -> docs/specification.md
Felix "xq" Queißner
committed
Refactory escapes semantics chapter 6 and splits it into 6 and 7
Felix "xq" Queißner
committed
Improves \time and \datetime tz handling.
Felix "xq" Queißner
committed
Implements automatic header number generation
Felix "xq" Queißner
committed
Improves the specification around 'fmt' attribute.
Felix "xq" Queißner
committed
Removes rendering requirement for \footnote, removes resolved TODOs
Felix "xq" Queißner
committed
Adds note about inheritance of lang attribute
Felix "xq" Queißner
committed
Clarifies tables more
Felix "xq" Queißner
committed
Add tasks from specification review
ikskuh
committed
Merge pull request #8 from Ashet-Technologies/codex/derive-tasks-from-specification-for-implementation
ikskuh
authored
Clarify top-level scope for chapter 9.2 elements
ikskuh
committed
Update chapter status for reorganized elements
ikskuh
committed
Merge pull request #9 from Ashet-Technologies/codex/validate-internal-consistency-of-docs/specification.md
ikskuh
authored
Adds better introduction adding motivation, usage scenarios and design philosophy
Felix "xq" Queißner
committed
Add HTML5 document header test
ikskuh
committed
Merge pull request #10 from Ashet-Technologies/codex/implement-title-block-and-validation
ikskuh
authored
Cleans up specification text. Disallows arbitrary number of year digits, must be 4 now. We won't live till 9999 anyways.
Felix "xq" Queißner
committed
Adds a huge load of stuff to docs/TODO.md, improves docs/specification.md by adding two sub-chapters for unknown node semantics and verbatim body joining
Felix "xq" Queißner
committed
Enforce top-level toc
ikskuh
committed
Merge pull request #11 from Ashet-Technologies/codex/restrict-toc-to-top-level-usage
ikskuh
authored

Commits on Jan 3, 2026

Track row title column usage
ikskuh
committed
Merge pull request #12 from Ashet-Technologies/codex/enforce-table-column-structure-validation
ikskuh
authored
Remove unused paragraph kind
ikskuh
committed
Merge pull request #13 from Ashet-Technologies/codex/modify-admonition-blocks-handling
ikskuh
authored
Guard plaintext rendering from unexpected refs
ikskuh
committed
Merge pull request #14 from Ashet-Technologies/codex/implement-inline-ref-element-for-links
ikskuh
authored
Modify validate.yml for hdoc-2.0 and testing
ikskuh
authored
Fixes simple merging bug
Felix "xq" Queißner
committed
Adds yaml dumps to tests. Adds basic golden file verification
Felix "xq" Queißner
committed
Implements proper snapshot test validation with a basic differ output on failure.
Felix "xq" Queißner
committed
Add regression tests for pending footnotes

ikskuh
authored and
Felix "xq" Queißner
committed
Fix pending footnote warning location

ikskuh
authored and
Felix "xq" Queißner
committed
Improves handling of missing files when dealing with snapshots
Felix "xq" Queißner
committed
Merge pull request #15 from Ashet-Technologies/codex/add-footnote-handling-and-testing
ikskuh
authored
Cleans SPEC_TODO.md
Felix "xq" Queißner
committed
Adds specification parts about the syntax attribute.
Felix "xq" Queißner
committed
Use CR escape in string_cr_escape reject fixture
ikskuh
committed
Removes the hint about the now new specification.md file
Felix "xq" Queißner
committed
Clarify inline group brace text
ikskuh
committed
Merge pull request #17 from Ashet-Technologies/codex/execute-trivial-tasks-from-todo.md
ikskuh
authored
Remove llvm requirement for hyperdoc exe
ikskuh
committed
Merge pull request #18 from Ashet-Technologies/codex/fix-trivial-elements-in-spec_todo.md
ikskuh
authored
Merge pull request #16 from Ashet-Technologies/codex/validate-hyperdoc.zig-against-specification
ikskuh
authored

Commits on Jan 4, 2026