# OneGodian Secure Runtime™ — Windows workspace

This workspace contains Mica, the statically checked language prototype developed
for new web applications, together with its source, Windows x64 and ARM64 builds,
Linux release, examples, Git history, documentation, and verification evidence.

## Put it on your computer

1. Download the workspace ZIP from the OneGodian Secure Runtime™ Releases page.
2. Right-click the ZIP and choose **Extract All**. Select your Documents folder.
   The result is `Documents\OneGodian Secure Runtime`.
3. Open `START-HERE.md` in that extracted folder. If you use Visual Studio Code,
   open `OneGodian Secure Runtime.code-workspace`.
4. Double-click `Run-Greeting.cmd` to print `Hello, Ada`.
5. Double-click `Start-Web.cmd`, then visit
   `http://127.0.0.1:8080/?name=Ada`. Press Ctrl+C to stop the local server.

The launchers select the x64 or ARM64 executable for your Windows architecture.
The binaries do not require Go, PHP, administrator privileges, or an installer.
The builds are unsigned; no Windows signing identity was available in this task.
Do not change your Windows security policy to run a build you do not trust.
Windows execution and these launchers have not been tested on a Windows machine
in this session; the binaries were cross-compiled and their PE formats checked.

## Use a terminal

Open PowerShell or Command Prompt in this folder:

```powershell
.\Mica.cmd check examples\greeting.mica
.\Mica.cmd run examples\greeting.mica
.\Mica.cmd run examples\nullable.mica
.\Mica.cmd serve examples\web.mica --addr 127.0.0.1:8080
```

Relative program paths are resolved inside `projects\mica`. The commands above
print `Hello, Ada`, then `43` and `18` for the nullable example.

## What's included

- `projects/mica`: complete source, tests, examples, README, design, and plan,
  with an independent Git checkout on branch `main` and no remote configured.
- `releases/mica`: Windows x64 and ARM64 executables, the earlier Linux executable,
  and a source tarball.
- `repository/mica.bundle`: all original project branches and commit history.
- `evidence/verification.json`: actual checks and the limits of verification.
- `evidence/mica-tests.jsonl`: the 74-case source-archive test record.
- `CHECKSUMS.sha256`: file hashes for the included source, release files,
  repository bundle, documentation, and evidence. Mutable `.git` internals are
  excluded; the immutable Git bundle is included.

No credential is required to open the workspace or run these local examples.
A Go compiler is needed only if you want to develop or rebuild the source.

## Build from source

Install a supported Go compiler (at least 1.22) if you want to rebuild:

```powershell
cd projects\mica
go build -buildvcs=false -o ..\..\releases\mica\mica-custom.exe ./cmd/mica
go test ./...
go vet ./...
```

The race detector additionally needs a compatible C compiler. The project uses
only Go's standard library. Read `projects/mica/README.md` for the language rules
and deliberate limits. The Git history can also be restored into a new directory:

```powershell
git clone --branch feature/mica-prototype repository\mica.bundle mica-restored
```

## Status and scope

Mica's 74 passing tests cover its language, evaluator, CLI, and development web
adapter. They are separate from the OSR™ 0.2 capability-engine development record.
The OneGodian Secure Runtime™ workspace name does not add application sandboxing,
file/network permission enforcement, production hardening, or independent
security certification. This package is a development prototype and a portable
project workspace, not a certified secure execution environment.

Site: https://onegodian-ecosystem.onegodian.chatgpt.site