Plan generic bigint BNF symbols and JSON value layers - #1455

Merged

sergey-shandar merged 102 commits into

mainfrom

agent/bnf-bigint-symbol-todos

Aug 9, 2026

Commits on Aug 8, 2026

add bigint BNF symbols todo
sergey-shandar
committed
1095cfc
add UTF-8 token symbols todo
sergey-shandar
committed
0e083ca
add bigint JSON parse serialize todo
sergey-shandar
committed
15f2f9c
link BNF symbols to generic bigint JSON todo
sergey-shandar
committed
6f5e2b4
split generic bigint JSON from DJS integration
sergey-shandar
committed
21c5690
add TODO to separate Unicode BNF helpers
sergey-shandar
committed
317c5eb
link BNF Unicode split dependency
sergey-shandar
committed
436ff6d
Add byte BNF helper plan
sergey-shandar
committed
a8bd721
Clarify reserved EOF symbol
sergey-shandar
committed
7542e9f
Clarify token EOF reservation
sergey-shandar
committed
3fe8212
Clarify alphabet helper naming
sergey-shandar
committed
5d1efe1
Specify UTF-8 token symbol packing
sergey-shandar
committed
9230c78
Define DJS undefined JSON behavior
sergey-shandar
committed
bcf59ca
Preserve negative zero in bigint JSON
sergey-shandar
committed
cfb4956
Merge branch 'main' into agent/bnf-bigint-symbol-todos
sergey-shandar
authored
4b8ecea
Preserve JSON negative zero lexically
sergey-shandar
committed
45c27e2
Add TODO for standard JSON transformer
sergey-shandar
committed
92229c6
Add TODO for RTTI-aware extended JSON parser
sergey-shandar
committed
9689885
Clarify extended JSON as intermediate layer
sergey-shandar
committed
2f57f6d
Use directory modules for BNF alphabet helpers
sergey-shandar
committed
d002c8c
Use directory modules for BNF alphabet helpers
sergey-shandar
committed
257ccf8
Normalize BNF helper module paths
sergey-shandar
committed
bb584d8
Use module directories for BNF helpers
sergey-shandar
committed
a13ee3f
Use nested module paths for alphabet helpers
sergey-shandar
committed
ad48877
Align alphabet helper paths with module convention
sergey-shandar
committed
1e6fc00
Document JSON numeric edge-case investigation
sergey-shandar
committed
70c84f1
Clarify standard JSON compatibility policy
sergey-shandar
committed
3c86475
Link extended JSON numeric edge-case investigation
sergey-shandar
committed
7113760
Reference JSON edge-case investigation
sergey-shandar
committed
9903331
Track safe-integer JSON stringify mapping
sergey-shandar
committed
6f6c1db
Use safe integers in standard JSON transform
sergey-shandar
committed
c6662dd
Block extended JSON on numeric edge cases
sergey-shandar
committed
3430f1e
Investigate exponent overflow in extended JSON
sergey-shandar
committed
0ebd111
Clarify lexical bigint JSON rules
sergey-shandar
committed
c4b6b0b
Clarify exponent lexical classification
sergey-shandar
committed
d680e01
Align standard JSON numeric mapping
sergey-shandar
committed
4409b31
Clarify BNF EOF stream semantics
sergey-shandar
committed
0ff09a0
Use fallible token symbol encoding
sergey-shandar
committed
477cdef
Merge branch 'main' into agent/bnf-bigint-symbol-todos
sergey-shandar
authored
4cf2212
Clarify fallible token symbol mapping
sergey-shandar
committed
44e7b1b
Specify bigint parser range infrastructure
sergey-shandar
committed
5ceba2e
Make token sentinel encoding fully fallible
sergey-shandar
committed
722f38c
Generalize shared range map for bigint boundaries
sergey-shandar
committed
1d7f05b
Investigate BNF terminal range representation
sergey-shandar
committed
5e32398
Defer BNF terminal range representation
sergey-shandar
committed
3134909
Preserve overflowed JSON exponents for standard parse
sergey-shandar
committed
b4edb6b
Clarify range-map cut-point domain
sergey-shandar
committed
a2224b8
Validate token symbol mapping domain
sergey-shandar
committed
39aaba8
Fix generic JSON tree object typing
sergey-shandar
committed
aedf0ca
Require sound shared JSON tree typing
sergey-shandar
committed
b4ab64f
Block dependent BNF designs on alphabet split
sergey-shandar
committed
3b6a3d5
Rebase JSON grammar TODO on Unicode BNF split
sergey-shandar
committed
10f79fe
Fix shared JSON tree import paths
sergey-shandar
committed
2512b53
Supersede stale BNF string-expansion TODO
sergey-shandar
committed
ffa8566
Supersede stale BNF string reuse design
sergey-shandar
committed
1216b6a
Correct shared JSON tree TODO consumers
sergey-shandar
committed
99744b3
Use documented irrelevant TODO status
sergey-shandar
committed
1a620f3
Define public EOF position semantics
sergey-shandar
committed
aa863c8
Rebase token parser TODO on bigint symbols
sergey-shandar
committed
cfc2630
Align token parser TODO with new symbol mapping
sergey-shandar
committed
3f105c6
Clarify TerminalRange investigation rationale
sergey-shandar
committed
e3e7493
Rebase recognizer TODO on alphabet split
sergey-shandar
committed
366506c
Rebase recognizer dependency on alphabet split
sergey-shandar
committed
c7b7834
Define token parser EOF adapter
sergey-shandar
committed
4154330
Merge branch 'main' into agent/bnf-bigint-symbol-todos
sergey-shandar
authored
5c3d37f

Commits on Aug 9, 2026

Investigate standard integer stringify boundary
sergey-shandar
committed
cba8c7b
Investigate native integer stringify bounds
sergey-shandar
committed
9f13eb9
Merge branch 'main' into agent/bnf-bigint-symbol-todos
sergey-shandar
authored
64dbb3d
Preserve exact numeric tokens for RTTI JSON
sergey-shandar
committed
c3f0a87
Retain exact JSON number tokens for policy transforms
sergey-shandar
committed
868b0f2
Fix bigint TODO link
sergey-shandar
committed
18a3f07
Record JSON integer spelling boundary
sergey-shandar
committed
8e5f674
Use settled JSON spelling boundaries
sergey-shandar
committed
f493e6c
Use numeric lexeme as exact JSON source
sergey-shandar
committed
2a5122b
Make RTTI numeric checks lexeme exact
sergey-shandar
committed
efcebe4
Block repeat design on BNF rule migrations
sergey-shandar
committed
2502266
Block repeat TODO on alphabet split
sergey-shandar
committed
a471dfd
Rebase BNF rule visitor design
sergey-shandar
committed
b566888
Track BNF rule visitor migration
sergey-shandar
committed
93949bd
Clarify final Rule visitor dependency
sergey-shandar
committed
160bef5
Cover oversized JSON integer tokens
sergey-shandar
committed
80687e3
Rebase shared value parser on exact number tokens
sergey-shandar
committed
97cb684
Rebase BNF proof fixtures on Unicode helpers
sergey-shandar
committed
81c682b
Track proof fixtures in BNF alphabet split
sergey-shandar
committed
2b267bf
Decouple standard JSON transforms from native compatibility
sergey-shandar
committed
572dc45
Plan standard JSON codec and optional native compatibility
sergey-shandar
committed
cb54ddd
Separate JSON numeric policy from native compatibility
sergey-shandar
committed
f6d35ae
Separate standard JSON materialization from extended codec
sergey-shandar
committed
612be95
Focus standard JSON TODO on FunctionalScript codec
sergey-shandar
committed
0b98ba2
Add low-priority native JSON compatibility TODO
sergey-shandar
committed
9a81854
Defer native JSON compatibility from value transforms
sergey-shandar
committed
e8572a2
Keep native JSON compatibility out of numeric edge work
sergey-shandar
committed
9747575
Mark native JSON compatibility blocked
sergey-shandar
committed
cf18742
Preserve JSON number lexemes before bigint materialization
sergey-shandar
committed
8cd78a3
Make RTTI bigint materialization fallible
sergey-shandar
committed
50fa689
Move exact JSON numeric boundary into tokenizer
sergey-shandar
committed
db69f13
Clarify JSON tokenizer task ownership
sergey-shandar
committed
6de6abe
Merge branch 'main' into agent/bnf-bigint-symbol-todos
sergey-shandar
authored
cfa85b0
Define DJS parser cutover plan
sergey-shandar
committed
29d13a8
Block semantic actions on alphabet split
sergey-shandar
committed
9145fcf
Align semantic actions blocker status
sergey-shandar
committed
bcc258a
Fix migrated bit-vector TODO link
sergey-shandar
committed
21aa82d