From b7bae73aaa7c1132139ad3299c3ede7e9452d3e8 Mon Sep 17 00:00:00 2001 From: PJ Date: Mon, 1 Jun 2026 22:43:27 +0530 Subject: [PATCH] refactor(verifier): remove dead __sanderlingIndex compat alias --- internal/verifier/bindings.go | 3 --- 1 file changed, 3 deletions(-) diff --git a/internal/verifier/bindings.go b/internal/verifier/bindings.go index 61fb605..a43a824 100644 --- a/internal/verifier/bindings.go +++ b/internal/verifier/bindings.go @@ -297,9 +297,6 @@ func (v *Verifier) formulaHandle(kind specKind, index int) *goja.Object { handle := v.runtime.NewObject() _ = handle.Set(tagFormula, true) _ = handle.Set(tagFormulaSpecIndex, index) - // Keep __sanderlingIndex as an alias so older property shapes that read it keep - // working during backward-compat transitions. - _ = handle.Set("__sanderlingIndex", index) _ = handle.Set("implies", v.binaryChain(index, specKindImplies)) _ = handle.Set("or", v.binaryChain(index, specKindOr))