GENOS LAB · P2 MODELS
SIMULATIONA simplified model running in the browser. It explains an idea and proves nothing about the runtime.

Change a signal.
See the model respond.

Explore eight topology models and seven concept models with bounded, inspectable inputs. Each result is computed in your browser and labeled as a teaching simulation.

TOPOLOGY MODEL · LOCAL SIMULATION

Syncytium

Explore concurrent writes, merge assumptions, and invariant checks.

BROWSER SIMULATION
SIMULATED RESULTINVARIANTS PASS

Merge converges under the declared model

Convergence is conditional on supported operations and replication assumptions. This browser model is not a distributed Syncytium runtime.

Merge compatibility82%
Conflict pressure0 potential conflicts
Invariant score82 / 100
  1. 01Versioned shared state
  2. 02Concurrent operations
  3. 03Merge supported writes
  4. 04Check invariants

Teaching model only. It does not call GenOS, execute agents, prove a claim, or represent a recorded run.

COMPARABLE EXPERIMENT PROTOCOL · PROPOSED

A question this model cannot answer alone

Hypothesis
Do shared-state operations converge while preserving declared invariants under concurrent writes?
Control
Serialized writes to the same initial state.
Measure
Convergence rate, invariant violations, rejected operations, and latency.
Falsifier
Any promoted divergent state or invariant violation; report workload assumptions.

Pre-register task population, software/model versions, random seeds, and a shared budget before running either arm. The browser simulation is not evidence for this hypothesis.

READ THE OUTPUT

These models help explain policies and relationships. They do not call GenOS services or provide runtime evidence. Follow each concept or topology profile for its actual implementation status, source, and limitations.