Sona

Visual Studio Code support for the Sona programming language.

What's New in 0.15.6

Sona 0.15.6 adds a CLI-backed Proof Mode Explorer to the Sona activity bar. It displays execution status, shared-verifier status, Native Core identity, capabilities, observed effects, Guardian binding, and redacted evidence identities.

The explorer does not verify receipts in TypeScript. Verify Receipt and Inspect Receipt call the installed Sona CLI and display the shared Proof Mode verifier's normalized result.

It also uses the stabilized language server for diagnostics, completion, hover, local definition lookup, and document symbols. Guardian review and AI remain outside the receipt verification chain, and Native HTTP remains unavailable.

0.16.0 Development Preview

The development branch adds a read-only Sona Runtime view backed by sona runtime status --format json. It shows registered model descriptors, persisted workflow snapshots, resource-reporting scope, and the current limits of process-local service visibility. Model registration is not model readiness; the view does not start or resume work. Proof verification remains in the separate Proof Mode Explorer.

The preview also includes direct local-model Guide proposals, deterministic syntax validation, diff review, and capability-authorized editor-buffer replacement. The source document is kept open through the preview; applying an approved proposal changes the unsaved editor buffer only.

How to Use Sona in VS Code

1. Install Python 3.11 or newer and the Sona CLI:

   pip install sona-lang
   

2. Open a folder and create hello.sona:

   print("Hello, Sona!");
   

3. Open the Command Palette and run Sona: Run Sona File.

4. Use .sona files for Sona programs and .smod files for Sona modules.

Quick Start

1. Install Python 3.11 or newer.

2. Install the Sona CLI:

   pip install sona-lang
   

3. Check the CLI:

   sona --version
   sona --help
   sona check hello.sona
   sona check hello.sona --json
   

4. Create hello.sona:

   print("Hello from Sona!");
   

5. Run it:

   sona run hello.sona
   

See the full quickstart in docs/QUICKSTART.md.

Direct Local GGUF Models

The CLI can register GGUF artifacts for the direct llama.cpp runtime without Ollama:

sona model add D:\Models\qwen.gguf --id qwen-coder --context 8192 --device auto --set-default
sona model list
sona model inspect qwen-coder --verify-hash

Registration stores the model identity and artifact digest; it does not load the model. sona model remove <id> only removes the registry entry and leaves the model file untouched. The direct runtime remains an experimental optional dependency and requires pip install "sona-lang[llama-cpp]".

Features

• Syntax highlighting for .sona and .smod.
• Canonical diagnostics, completion, hover, local go to definition, and document symbols through the Sona language server.
• Run, check, format, profile, benchmark, and transpile commands.
• REPL integration for interactive exploration.
• Optional AI-assisted explain and suggestion commands.
• Preview Sona AI Console with local Sona-owned chat, selectable agent modes, and provider-ready routing.
• Sona Guide workflows for focused diagnostics, explanation detail, and local learning examples.
• Approval-gated Propose Local AI Edit for selected Sona code, with deterministic syntax validation, diff review, and one-shot EDITOR.BUFFER_REPLACE authorization (Guardian trust is checked when configured).

The edit command requires a trusted local workspace, a selected range, a registered GGUF model, and the optional llama.cpp runtime. It uses a short-lived one-shot EDITOR.BUFFER_REPLACE capability bound to opaque workspace/document identity, version, selection, and source/candidate/replacement hashes. Guardian is optional when uninitialized; when state exists, drift or invalid trust state blocks the edit. The capability is not FS.WRITE and grants no save, execution, Guardian mutation, or Proof authority. The edit changes the editor buffer only; it is not saved or run.

The command uses the direct local runtime in the language-server process; it does not use Ollama or fall back to a remote provider. Leave the Sona Guide localModelId setting empty to use the default from sona model default, or set it to a registered model ID. If the candidate contains any Sona syntax errors, the proposal is rejected. See the runtime effect and trust contract for the exact authorization boundary and limitations.

Language Server

The extension starts python -P -m sona.lsp_server --stdio for Sona files. The selected Python environment must be able to import both sona.lsp_server and pygls; installing sona-lang supplies the supported dependency set.

Set sona.cli.pythonPath when you want a specific interpreter. When that setting is not explicitly configured, the extension checks the workspace .venv before using python from PATH.

Sona 0.15.6 supports canonical diagnostics, local and stdlib completion, known-symbol hover, current-document definition, and top-level document symbols. References, rename, cross-file indexing, and LSP formatting remain deferred and are not advertised by the server. The Sona: Format Code command is a separate CLI-backed command, not an LSP formatting capability.

Useful Commands

Configuration

{
  "sona.cli.pythonPath": "python",
  "sona.cli.timeout": 30000,
  "sona.displayPreference": "standard",
  "sona.ai.autoSetup": true,
  "sona.ai.defaultAgent": "sona",
  "sona.ai.qwen.enabled": false,
  "sona.ai.qwen.model": "qwen2.5-coder:7b",
  "sona.ai.ollama.url": "http://127.0.0.1:11434",
  "sona.ai.claude.enabled": false,
  "sona.ai.codex.enabled": false,
  "sona.onboarding.showWelcome": true
}

Sona AI Console is a preview feature. Claude and Codex are placeholder agent modes unless a proper provider integration is added; the extension does not control external AI extensions.

For receipts produced by the 0.16.0 Native runtime, the explorer also shows the validated Native executable digest and an optional build-supplied source revision. These are correlation identities from the shared verifier, not authenticated provenance.

Proof Mode execution and Guardian review are disabled for untrusted VS Code workspaces. Receipt verification and inspection are read-only. The extension invokes Python in safe-path mode and does not add the workspace to PYTHONPATH.

Proof and Guardian Guides

• Native Proof Mode
• Guardian
• Using Native Proof and Guardian Together

Release Notes

• 0.16.0 release candidate notes
• 0.15.6 release notes

License

MIT License. See LICENSE.