site: reframe as a lab experiment, plus what's a typed issue / the VCS - #190
Merged
Merged
Conversation
The hero ("Start using it — you don't have to learn Lex first") argued
past the real objection: lex-code only writes Lex, a language with no
users but us. No amount of "trust the result, not the diff" messaging
answers "for what language?" — so stop implying general-tool
readiness and say what this actually is: an experiment in whether
verified-by-construction AI coding works, demonstrated first in Lex
because you can't fake out a type checker, not pitched as something
to switch to tomorrow.
The "why not Cursor" section gets the same honesty up front — a
one-line scope admission before the pillars, rather than letting a
reader discover the Lex-only scope as a gotcha further down.
Also adds "What's a typed issue?" — the page used `lex issue create`/
`--issue=` three times without ever showing what an issue actually
is. Real output (`lex issue show`) fills that gap, plus one honest
line on the VCS underneath it: op-log-backed, real, and with no web UI
yet — checked, not glossed over, since building that UI is a separate
piece of work this page shouldn't pretend already exists.
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
lex issue showoutput (the same issue used in "Try it"), plus one honest line on the underlying op-log VCS — real, and with no web UI yet, said plainly rather than glossed over.Test plan
lex issue show/lex op logoutput is real, copied verbatim from this repo's own local store🤖 Generated with Claude Code