Html optilambda view by Ultra-MG · Pull Request #46 · charguer/optitrust

Ultra-MG · 2026-07-22T10:38:22Z

Summary

This PR adds the new universal HTML OptiLambda diff/trace experience for the VS Code extension.

Work Done

Replaced the user-facing step diff flow with one universal HTML webview diff.
Added OptiLambda Surface/Internal/Fully-Typed switching in diff and trace views.
Made Surface OptiLambda the default HTML representation for step diffs.
Added lazy generation for missing OptiLambda diff representations.
Added ghost and contract grouping with G* and C* buttons.
Added context diffs inside ghost/contract popups for step diff views.
Added Surface hover popups for variable/type/syntax details.
Fixed webview search behavior for diff and trace views.
Added detachable diff/trace panels with disabled Detached state.
Removed old native VS Code diff code from the default workflow.
Cleaned up stale/unused diff-view code paths.
Updated the VS Code extension README with setup, usage, commands, settings, and troubleshooting.

Ultra-MG · 2026-07-23T11:24:05Z

optiNLP branch is now merged with this branch so all the changes from there are present here

Bastacyclop · 2026-07-24T06:57:07Z

-      ghost(in_range_shift()[x := x, k := k, a := a, b := b, s := s]);
-      ghost(in_range_extend()[x := x + k, r1 := range(a + k, b + k, s), r2 := r]);
+      ghost(in_range_shift, "x := x", "k := k", "a := a", "b := b", "s := s");
+      ghost(in_range_extend, "x := x + k", "r1 := range(a + k, b + k, s)", "r2 := r");


I'll create a separate issue so that we can merge this PR first. Here the previous call style is what we want (no string arguments).

Bastacyclop · 2026-07-24T07:18:25Z

Thanks for the work @Ultra-MG ! I'll merge this, start using the extension, and create separate issues for things that still need tweaking.

Ultra-MG added 30 commits June 24, 2026 07:44

Add OptiNLP prompt assets

cd8a4c4

Add OptiNLP provider layer

c5adb4f

Make Prompt 3 generate full transformation scripts

53e3d71

Add OptiNLP result schema parsing

8a7e690

Add OpenAI OptiNLP provider

8f85405

Add OptiNLP provider tests

7eb95d2

Add OptiNLP CLI and prompt loading

2069719

Add OptiNLP session memory

72f2a13

Add OptiNLP editor result actions

32d797a

Add OptiNLP extension dev runner

a41c0d0

Add OptiNLP VS Code assistant UI

dec46da

Refine OptiNLP full-script prompt knowledge

e592fe4

Update OptiNLP full-script mode and chat UI

1943e15

Add robust OptiNLP target prompt

ec9eb6c

Refine OptiNLP modes and result handling

9c39e11

Improve OptiNLP panel target suggestions

84fb2de

Add OptiNLP target-at-cursor workflow

6ac0572

Add OptiTrust shortcuts command

06c07c3

refine prompt knowledge

3946340

add provider session reuse for optinlp

4b1c6aa

improve source context handling

97d5f8e

move assistant flow to native vs code chat

ffeb549

fix: preserve includes in OptiLambda output

819d200

open OptiTrust diffs in native VS Code diff

3b63ce5

feat: lazily generate OptiTrust diff syntaxes

d577fbc

lazily generate OptiTrust diff syntaxes

e50f7bd

feat: lazily load trace syntax views in VS Code

eacc9b2

style: align OptiTrust trace UI with VS Code

b920f43

feat: refine OptiLambda printer syntax

d7f0471

improve OptiTrust VS Code diff and trace views

bd4493e

Ultra-MG force-pushed the html-optilambda-view branch from 10773f7 to 13e82a8 Compare July 22, 2026 11:01

update optiNLP readme

51ab909

Ultra-MG force-pushed the html-optilambda-view branch from 13e82a8 to 10773f7 Compare July 22, 2026 13:58

Ultra-MG added 4 commits July 22, 2026 10:01

Merge remote-tracking branch 'origin/main' into html-optilambda-view

509b441

Fix parsing for inlined C++ headers

65c05d7

Merge remote-tracking branch 'origin/main' into optiNLP

04e3d45

Fix parsing for inlined C++ headers

c1a15de