Skip to content

Make native LSP the Redcode semantic authority #40

Description

@filipeforattini

What to build

Make the native Redcode LSP subsystem the default semantic authority for development sessions. LSP servers should be enabled with an explicit opt-out, semantic operations should be available to agents without an experimental launch environment, and the sidebar must distinguish waiting-for-file activation from real initialization failures.

Human decisions

  • Redcode should own one LSP client stack rather than permanently running the navigator MCP in parallel.
  • The native LSP tool should be product behavior in Redcode, not an environment-gated experiment.
  • Definition, references, hover, symbols, diagnostics, and lifecycle visibility must remain available.

Acceptance criteria

  • A fresh Redcode configuration reports that LSPs activate on file reads rather than reporting them disabled.
  • Reading representative TypeScript, Rust, Go, and Python files starts at most one matching language-server instance per root.
  • Agent semantic operations work without OPENCODE_EXPERIMENTAL_LSP_TOOL.
  • Initialization failures are observable instead of disappearing from status.
  • Package typechecks and focused LSP/TUI tests pass.

Current blocker

status: blocked
kind: validation-infra
summary: scope: cone [packages/core, packages/opencode, packages/tui, packages/web]
next: Restore the validation infrastructure, then requeue the declared gate.
parked_at: 1786981950

Activity

  1. added
    enhancementNew feature or request
    ready-for-agentFully specified and AFK-ready; an agent can pick it up with no human context
    on Aug 17, 2026
  2. added
    origin:externalAuthor lacks repository write access — held for maintainer /approve-external
    on Aug 17, 2026
  3. filipeforattini commented on Aug 17, 2026

    @filipeforattini
    Author

    /approve-external

  4. filipeforattini commented on Aug 17, 2026

    @filipeforattini
    Author

    🤖 AFK claim by worker 7e60bc642fef:hKAWP (runner codex).

  5. added and removed
    ready-for-agentFully specified and AFK-ready; an agent can pick it up with no human context
    on Aug 17, 2026
  6. filipeforattini commented on Aug 17, 2026

    @filipeforattini
    Author

    🤖 /afk started at 2026-08-17T15:18:07.892Z on runner codex (worker hKAWP). branch: afk/40-make-native-lsp-the-redcode-semantic-aut

  7. 29 remaining items

  8. filipeforattini commented on Aug 17, 2026

    @filipeforattini
    Author

    🤖 AFK claim by worker 7e60bc642fef:hD01B (runner codex).

  9. filipeforattini commented on Aug 17, 2026

    @filipeforattini
    Author

    🤖 /afk started at 2026-08-17T15:50:51.441Z on runner codex (worker hD01B). branch: afk/40-make-native-lsp-the-redcode-semantic-aut

  10. filipeforattini commented on Aug 17, 2026

    @filipeforattini
    Author

    🤖 /afk #40: branch afk/40-make-native-lsp-the-redcode-semantic-aut carries 14 commits ahead of the base and has no open pull request. Adopting it — this Worker continues that branch instead of starting over.

  11. filipeforattini commented on Aug 17, 2026

    @filipeforattini
    Author
    worker `hD01B` · status: blocked · duration: 1m51s · diff: feedback · attempt: 1
    notes

    Feedback validation parked as infra (suspect-infra): the shared environment ledger is exhausted at 2/2. 2/2 environment rounds consumed: 1× suspect-infra, 1× stale-base-drift. The branch repair budget was not charged.

    validation

    scope: cone [packages/core, packages/opencode, packages/tui, packages/web]
    {"schema":"red.afk.validation.v1","name":"feedback:bun typecheck","status":"failed","command":"bun typecheck","exitCode":1,"durationMs":7,"summary":"suspect-infra: bun typecheck exited 1 after 7ms without a concrete compiler, assertion, or guard finding; the command may not have started, so inspect the environment before charging the branch. feedback worktree setup failed for afk/40-make-native-lsp-the-redcode-semantic-aut; validation blocked (HUSKY=0 bun install --frozen-lockfile --ignore-scripts failed (exit 1): Resolving dependencies Resolved, downloaded and extracted [20] error: GET https://codeload.github.com/anomalyco/ghostty-web/legacy.tar.gz/83c0a07b8628b748aed073b232cb4b52a6ca11c1 - 429 error: ghostty-web@github:anomalyco/ghostty-web#83c0a07b8628b748aed073b232cb4b52a6ca11c1 failed to resolve)","suspectInfra":true}
    {"schema":"red.afk.validation.v1","name":"feedback:bun turbo test","status":"failed","command":"bun turbo test","exitCode":1,"durationMs":17,"summary":"suspect-infra: bun turbo test exited 1 after 17ms without a concrete compiler, assertion, or guard finding; the command may not have started, so inspect the environment before charging the branch. feedback worktree setup failed for afk/40-make-native-lsp-the-redcode-semantic-aut; validation blocked (HUSKY=0 bun install --frozen-lockfile --ignore-scripts failed (exit 1): Resolving dependencies Resolved, downloaded and extracted [20] error: GET https://codeload.github.com/anomalyco/ghostty-web/legacy.tar.gz/83c0a07b8628b748aed073b232cb4b52a6ca11c1 - 429 error: ghostty-web@github:anomalyco/ghostty-web#83c0a07b8628b748aed073b232cb4b52a6ca11c1 failed to resolve)","suspectInfra":true}

    diff

    live branch: afk/40-make-native-lsp-the-redcode-semantic-aut
    local worktree: [REDACTED_HOME]/workspace/redcode/.red/tmp/worktrees/manual/afk-root/.red/tmp/workers/hD01B/40

  12. filipeforattini commented on Aug 17, 2026

    @filipeforattini
    Author

    🤖 AFK worker 7e60bc642fef:hD01B conceded this issue (released the claim it held).

  13. added a commit that references this issue on Aug 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestorigin:externalAuthor lacks repository write access — held for maintainer /approve-external

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions