GenOS logoGenOScounterfactual runtime
PRE-ALPHA / v0.0.1

Git-like branching for AI-agent state.

Snapshot. Fork. Isolate. Diff. Replay. Merge only what passes.

View repository ↗Download alpha
No model keyRust 1.88+Local-first
genos-studio / safe-parallel-debugging
GenOS safe parallel debugging demonstration
● runtime healthy3 branches1 verified winner
01 / Runtime model

Explore alternatives from a trusted snapshot.

GenOS versions agent identity, memory, world state, event cursors, and runtime metadata—then evaluates competing futures without mutating the source timeline.

Counterfactual executionrun_01HZX4 / deterministic
S0
Snapshottrusted state
A
Fork Arejected
B
Fork Bcandidate
C
Fork Crejected
S1
Promoteverified
SNAPSHOTCaptured agent + world state at S0
FORKSpawned 3 isolated candidate worlds
EVALUATE2 candidates rejected by test gate
PROMOTEFork B replayed byte-for-byte and merged
02 / Capabilities

Versioned computation, end to end.

Every core workflow produces inspectable state and evidence rather than an opaque final answer.

⑂

Snapshot & fork

Branch complete agent capsules instead of reconstructing state from prompts.

implemented / runnable
◇

World isolation

Keep sibling identities, event streams, and filesystem worlds independent.

implemented / runnable
±

Structural diff

Compare state, memory, tool effects, evaluation scores, and cost before promotion.

implemented / runnable
↺

Causal replay

Reproduce a winning trajectory from append-only events and lineage.

implemented / runnable
✓

Promotion gates

Merge only after test, safety, and reproducibility conditions pass.

implemented / runnable
⌁

Local observability

Inspect fleets, workspaces, experiments, tools, and telemetry in GenOS Studio.

studio / pre-alpha
03 / Product proof

Run it. Inspect it. Replay it.

The repository includes runnable demos, public benchmark reports, protocol schemas, and the local Studio control plane.

GenOS Studio fleet dashboard
Evidence manifest
✓Safe parallel debuggingrunnable
✓Snapshot / fork / diffrunnable
✓Filesystem isolationrunnable
✓Deterministic replayverified
✓Pareto evaluationexperimental
$ git clone https://github.com/PISSARAW/GenOS.git
$ cd GenOS && ./run-demo.sh
✓ Demo OK: snapshot S0 → forks A1/A2
04 / Operational platform

From local CLI to organization-scale control.

GenOS exposes the same evidence-first runtime through developer interfaces, model providers, safety controls, and tenant-scoped Studio workflows.

500 / 500deterministic replay fingerprints matched100 events / run
10 / 10safe-debugging runs replayed and promoted0 model calls
11 / 11MCP safety predicates verified5 / 5 command suites
100%event and final-state hash match ratelocal benchmark
!These are committed local runtime and execution-mechanics results—not a claim of general model superiority. Public SWE, tool-use, web, and safety suites remain gated until approved datasets and revisions are available.
BM

Reproducible benchmarks

measured

Versioned reports preserve revision, environment, command, raw distributions, evidence, and explicit limitations.

  • replay fidelity + causal mutation probe
  • world-fork latency distributions
  • safe debugging + MCP safety boundaries
Reports ↗Status ↗
MCP

Model Context Protocol

runnable

A Rust MCP server exposes 65 structured primitives across 10 families over STDIO or Streamable HTTP.

  • snapshot / fork / diff / replay tools
  • policy gate + taint + circuit breaker
  • structured JSON-RPC result envelopes
Server ↗65 tools ↗
>_

Native CLI

runnable

The Rust CLI drives the complete lifecycle for humans, AI agents, scripts, and CI pipelines.

  • agent / snapshot / world / experiment
  • JSON, YAML, and text output contracts
  • assertion-aware exit codes for CI
CLI reference ↗Binaries ↗
AI

Local model routing

local-first

Studio discovers local endpoints and can prefer them, fail over on error, or request parallel reviews.

ollama://lmstudio://vllm://openai-compatible://
  • automatic local model discovery
  • agent-scoped routing policies
  • no key required for local providers
Configure ↗
ORG

Organizations & projects

studio alpha

Control-plane resources are scoped by organization and project with membership-aware access checks.

  • organization / project memberships
  • tenant-isolated jobs, prompts, RAG, releases
  • RBAC, usage ledger, and chargeback scope
Tenant boundary ↗Isolation test ↗
H?

Hallucination mitigation

experimental

GenOS makes claims inspectable through execution receipts, typed beliefs, contradiction tracking, provenance, and isolated falsification.

  • scan missing receipts and ungrounded claims
  • belief evidence + contradiction demos
  • halt branches after unverified-hallucination limits
Provenance demo ↗CLI surface ↗
05 / Interactive proof

Run the branch → test → replay loop.

This deterministic browser simulation mirrors the committed safe-debugging fixture. It makes no model or network call; run the repository demo for real filesystem evidence.

safe-parallel-debugging / boundary bugREADY — waiting for operator
Fork Aqueued
index <= length
minimal patch
Fork Bqueued
index < length
boundary guard
Fork Cqueued
clamp(index)
behavior change
S0→fork ×3→test gate→replay→S1
Ready. Click “Run proof” to start deterministic execution.

Fork the future. Keep the evidence.

Run the smallest end-to-end proof without a model-provider credential.

Get started ↗Browse examples