2 commits

Author	SHA1	Message	Date
Yogthos	858c7fed14	docs: bring EBNF grammar and project docs up to date ... - grammar.ebnf: rewrite the number rule to cover the literal syntaxes the reader now accepts — 0x/0X hex, N (bigint) / M (bigdec) suffixes, ratios a/b, radixed integers (NrXXX, base 2..36), exponents, and the ##Inf/##-Inf/##NaN symbolic floats — noting Jolt reads them as plain Janet numbers. - README: Numbers bullet notes the literal syntaxes read; conformance count. - reader-syntax-spec: drop the stale 'ratio not supported' case; add coverage for hex-uppercase/N/M/ratio/radix/exponent/##Inf/##NaN. - PLAN.md: refresh the stale Current State snapshot for the 3-layer test structure (spec/integration/unit), ~3,920 suite assertions, 218/218 conformance, current source size. jpm test green.	2026-06-05 14:40:47 -04:00
Yogthos	a6491d025c	docs: add EBNF grammar for the reader syntax (doc/grammar.ebnf) ... Specify the surface syntax Jolt's reader accepts as an EBNF grammar — the syntactic half of the contract (behavioural half is test/spec/). Grounded in src/jolt/reader.janet and verified against the running reader: whitespace (comma included), comments, #_ discard, scalars (nil/bool/number incl 0x hex & floats/string/char incl \uNNNN \oNNN & named/keyword incl ::auto/symbol), collections, reader macros (quote/syntax-quote/unquote/~@/deref/metadata), and dispatch (#{}, #(), #', #"regex", #?/#?@, tagged #inst/#uuid). Jolt-vs-Clojure deviations noted inline (no ratios/radix/BigInt literals; PEG regex limits). Referenced from README.	2026-06-05 01:34:33 -04:00