Fix #355: bound parser recursion depth — nested input raises parse_error - #409

Merged

petlenz merged 25 commits into

mainfrom

fix-355-parser-depth-guard

Sep 15, 2026

Commits on Jul 26, 2026

Fix #349: overflow-safe scalar_number arithmetic
petlenz
committed
6166d81
Review fix on #349: guard INT64_MIN in the rational cross-cancel
petlenz
committed
fee2bfc
Round-2 review fix on #349: UB-free |n| in pow; repair a rebase seam
petlenz
committed
33a9689
Fix #361: hash doubles by bit pattern, normalize numerically equal constants
petlenz
committed
98f0527
Review fix on #361: range-guard before the int64 cast in the hash normalizer
petlenz
committed
dddc4d2
Fix #351: rank-4 identity_tensor is major-symmetric, not MinorMajor
petlenz
committed
920a482
Review fix on #351: comment rationale + repair a rebase-seam brace
petlenz
committed
1b8fa1a
Fix #352: substitution no longer inherits the source's space annotation
petlenz
committed
aa9f972
Review fix on #352: shape guard in same_projector_contraction
petlenz
committed
6699054
Round-2 review fix on #352: compare projector-argument shapes
petlenz
committed
50e99f4
Round-3 review fix on #352: guard the projector short-circuit's operand shape
petlenz
committed
a703520
Fix #354: t2s constant_mul keeps a symbolic scalar_wrapper factor
petlenz
committed
b88f505
Review fix on #354: push_or_combine loops on chained collisions
petlenz
committed
7a945d5
Fix #353: t2s contraction evaluation honors the index sequences
petlenz
committed
400e9fc
Review fix on #353: reject mixed-shape operands before the data cast
petlenz
committed
3eb5bf3
Fix #350: tensor_pow contract - rank-2 only, integer exponents, working negative powers
petlenz
committed
e68cd2e
Review fixes on #350: evaluator rank gate, exponent range, wrapped constants
petlenz
committed
f5446ae
Round-2 review fixes on #350: recursive negation unwrap, tighter work bound
petlenz
committed
9fa3067
Fix #355: bound parser recursion depth - nested input raises parse_error
petlenz
committed
f9fd4dc
Fixup #355: ParserDepthGuard test belongs inside the parser-enabled guard
petlenz
committed
78e1b29
Review fixes on #355: cap caret chains, honor the full space set
petlenz
committed
de6fe48
Round-2 review fix on #355: caret cap counts chains, not totals
petlenz
committed
b22b3b5
Fix #356: CI can now fail on UBSan findings and clang-tidy warnings
petlenz
committed
c566b6c
Round-2 review fix on #355: cumulative path budget for the depth guard
petlenz
committed
a4f840a

Commits on Sep 15, 2026

Merge pull request #410 from NumSim-Stack/fix-356-ci-teeth
petlenz
authored
29514c3

Navigation Menu

Fix #355: bound parser recursion depth — nested input raises parse_error - #409

Fix #355: bound parser recursion depth — nested input raises parse_error#409
petlenz merged 25 commits into
mainfrom
fix-355-parser-depth-guard

Commits on Jul 26, 2026

Fix #349: overflow-safe scalar_number arithmetic

Review fix on #349: guard INT64_MIN in the rational cross-cancel

Round-2 review fix on #349: UB-free |n| in pow; repair a rebase seam

Fix #361: hash doubles by bit pattern, normalize numerically equal constants

Review fix on #361: range-guard before the int64 cast in the hash normalizer

Fix #351: rank-4 identity_tensor is major-symmetric, not MinorMajor

Review fix on #351: comment rationale + repair a rebase-seam brace

Fix #352: substitution no longer inherits the source's space annotation

Review fix on #352: shape guard in same_projector_contraction

Round-2 review fix on #352: compare projector-argument shapes

Round-3 review fix on #352: guard the projector short-circuit's operand shape

Fix #354: t2s constant_mul keeps a symbolic scalar_wrapper factor

Review fix on #354: push_or_combine loops on chained collisions

Fix #353: t2s contraction evaluation honors the index sequences

Review fix on #353: reject mixed-shape operands before the data cast

Fix #350: tensor_pow contract - rank-2 only, integer exponents, working negative powers

Review fixes on #350: evaluator rank gate, exponent range, wrapped constants

Round-2 review fixes on #350: recursive negation unwrap, tighter work bound

Fix #355: bound parser recursion depth - nested input raises parse_error

Fixup #355: ParserDepthGuard test belongs inside the parser-enabled guard

Review fixes on #355: cap caret chains, honor the full space set

Round-2 review fix on #355: caret cap counts chains, not totals

Fix #356: CI can now fail on UBSan findings and clang-tidy warnings

Round-2 review fix on #355: cumulative path budget for the depth guard

Commits on Sep 15, 2026

Merge pull request #410 from NumSim-Stack/fix-356-ci-teeth