OSR™ONEGODIAN SECURE RUNTIME Contact

MICA · DEVELOPER PROTOTYPE

A cleaner language. A complete Windows workspace.

Build new web applications with immutable bindings, explicit nullable types and static checking. Download Mica’s native runtime, source, examples and verification evidence.

Download Windows workspace Release status

Development prototype · Windows execution remains unverified

01

Start on Windows

Extract the complete workspace and run the included launchers.

  1. Download the Windows workspace ZIP, choose Extract All, and move the complete OneGodian Secure Runtime folder into Documents.
  2. Read START-HERE.md. Open OneGodian Secure Runtime.code-workspace in your editor if desired.
  3. Double-click Run-Greeting.cmd to print Hello, Ada. The launcher selects x64 or ARM64 automatically.
  4. Run Start-Web.cmd, then open http://127.0.0.1:8080/?name=Ada. Press Ctrl-C in the server window to stop it.

No PHP installation, administrator access or system PATH change is required. From the extracted workspace, you can also use:

Mica.cmd check examples/greeting.mica
Mica.cmd run examples/greeting.mica
Mica.cmd serve examples/web.mica --addr 127.0.0.1:8080

Read the complete Windows setup guide ↗

02

Write clear, checked code

fn greet(name: String) -> String {
    return "Hello, " + name;
}

let name = "Ada";
print(greet(name));

let bindings are immutable. Function parameters and return values have explicit types. Nullable values require an explicit check or fallback. There are no implicit conversions or truthiness rules.

Programs are checked before execution. Integer overflow and division by zero produce controlled errors with source locations.

03

Workspace, source and evidence

A complete 16.5 MB Windows workspace with x64 and ARM64 executables, editable source, runnable examples, editor workspace, launchers, documentation and Git history.

Download Windows workspace (.zip) ↗Mica setup guide ↗

74 Mica test cases · Windows x64 + ARM64 · 2026-10-24

Development release. The Windows binaries are unsigned and cross-compiled; they were not executed on Windows here. Mica is not a sandbox; OSR capability enforcement remains separate.

Release manifest ↗

Mica source commit: 20deb1536e59abbcfadb931c03b625669bab1340. Compare downloaded files with PowerShell’s Get-FileHash.

04

Verified scope and current limits

The release records 74 passing Mica language, CLI and development HTTP test cases, plus Go vet and race-detector checks on Linux. The source archive was extracted and tested. The Windows executables were cross-compiled and format checked, are unsigned, and were not executed on Windows in this session.

Mica is not a sandbox. Programs run with your normal operating-system permissions. It does not run PHP applications or implement the OSR capability-enforcement engine. OSR 0.2’s reported 20 development tests are a separate record; neither record establishes independent security certification.

The HTTP server is for development. Arrays, records, imports, package management, databases, sessions and production deployment remain deferred.

Review OSR assurance status