engine: delete the LTM input-side round trip and the last Expr0 classifiers#985

Open

bpowers wants to merge 30 commits into

mainfrom

roundtrips-track-a2

Commits on Jul 18, 2026

engine: broaden LTM site IR to per-occurrence with transform context
bpowers
committed
engine: pick module-output live dep in document order for link scores
bpowers
committed
engine: run LTM ceteris-paribus wraps on original equations
bpowers
committed

Commits on Jul 20, 2026

engine: make LTM arm parse failures loud, index occurrences by slot
bpowers
committed
engine: complete the LTM over-arity SiteId guard on both sides
bpowers
committed
engine: pin LTM range-bound sources and the per-element doom check
bpowers
committed
engine: assert zero LTM fragment failures across all 15 char fixtures
bpowers
committed
engine: add an LTM char fixture whose source name cannot be bare
bpowers
committed
engine: lower LTM target equations to Expr0 without a reparse
bpowers
committed
engine: pin LTM per-element rows inside the wrap, not after it
bpowers
committed
engine: delete the LTM occurrence fields nothing reads
bpowers
committed
engine: prove the LTM test occurrence axes against the IR
bpowers
committed
engine: carry LTM reducer bodies as ASTs, not printed text
bpowers
committed
engine: decline loudly when an LTM row pin has no occurrence
bpowers
committed
engine: correct the LTM augmentation map in CLAUDE.md
bpowers
committed
engine: pin LTM table-argument rows structurally, not loudly
bpowers
committed
engine: descend expression indices in the LTM pin-only walk
bpowers
committed
engine: decline an LTM table-argument index that reads at runtime
bpowers
committed
engine: gate the LTM table-index refusal on the enclosing freeze
bpowers
committed
engine: enumerate the LTM table-index verdicts, not just the found cases
bpowers
committed
engine: resolve LTM table indices by the shared derivation
bpowers
committed
engine: row the fifth LTM table-index variant too
bpowers
committed
engine: look inside a compound LTM table index
bpowers
committed
engine: break an LTM index name collision the compiler's way
bpowers
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

engine: delete the LTM input-side round trip and the last Expr0 classifiers#985

engine: delete the LTM input-side round trip and the last Expr0 classifiers#985
bpowers wants to merge 30 commits into
mainfrom
roundtrips-track-a2

Commits on Jul 18, 2026

engine: broaden LTM site IR to per-occurrence with transform context

engine: pick module-output live dep in document order for link scores

engine: run LTM ceteris-paribus wraps on original equations

Commits on Jul 19, 2026

engine: single-source the LTM other-dep verdict; prove occurrence alignment

engine: drive LTM live-ref selection from the occurrence IR

scripts/codex-review: 5.6-sol

engine: store LTM synthetic equations as typed ASTs

engine: reattach the misplaced LTM wrap rustdocs

engine: quote LTM idents the lexer cannot read bare

Commits on Jul 20, 2026

engine: make LTM arm parse failures loud, index occurrences by slot

engine: complete the LTM over-arity SiteId guard on both sides

engine: pin LTM range-bound sources and the per-element doom check

engine: assert zero LTM fragment failures across all 15 char fixtures

engine: add an LTM char fixture whose source name cannot be bare

engine: lower LTM target equations to Expr0 without a reparse

engine: pin LTM per-element rows inside the wrap, not after it

engine: delete the LTM occurrence fields nothing reads

engine: prove the LTM test occurrence axes against the IR

engine: carry LTM reducer bodies as ASTs, not printed text

engine: decline loudly when an LTM row pin has no occurrence

engine: correct the LTM augmentation map in CLAUDE.md

engine: pin LTM table-argument rows structurally, not loudly

engine: descend expression indices in the LTM pin-only walk

engine: decline an LTM table-argument index that reads at runtime

engine: gate the LTM table-index refusal on the enclosing freeze

engine: enumerate the LTM table-index verdicts, not just the found cases

engine: resolve LTM table indices by the shared derivation

engine: row the fifth LTM table-index variant too

engine: look inside a compound LTM table index

engine: break an LTM index name collision the compiler's way