Encoder optimization, remove at_position, axis-aware explanations#12

Merged

antonstefer merged 28 commits intomainfrom

claude/amazing-merkle

Apr 15, 2026

Commits on Apr 10, 2026

Commits on Apr 13, 2026

feat: remove positional fast-path and at_position/not_at_position
antonstefer
committed

Commits on Apr 14, 2026

Commits on Apr 15, 2026

perf: implication-form comparative encoder (single unified path)
antonstefer
committed
perf: cache multiAxis flag on AxisTerms; stabilize coverage
antonstefer
committed
test: pin expert-retry premise so seed shifts fail loudly
antonstefer
committed
refactor: extract pinnedAxis/isPinnedAxis to axis.ts, fix randomSolution
antonstefer
committed
docs: cross-reference pinnedAxis from displayAxisCategory
antonstefer
committed
refactor: harden RankVarAllocator and validate global value uniqueness
antonstefer
committed
style: prettier format encoding.test.ts
antonstefer
committed
fix: join both operands' context in binary/same_position hints
antonstefer
committed
fix: add {target} placeholder to unknown-technique fallback hint
antonstefer
committed
style: prettier format deduce/constraints.ts
antonstefer
committed
style: suppress 'on <Axis>' suffix for pinned-axis constraints
antonstefer
committed
fix: exact_distance noun fallback uses target axis, not pinned
antonstefer
committed