ARCO

Automated Research into Computational Ontologies

A computational science platform for discovering the conditions under which computation, memory, and learning emerge in arbitrary information systems.

What ARCO Does

ARCO asks a different question than most computer science: not "what can a given computational model compute?" but "what computational models are possible, and why do they emerge?"

It formalizes this through Information Universes — 6-tuples of (state space, transformations, observations, resources, invariants, schedule) — and measures emergent computation via shuffle-corrected normalized mutual information calibrated against destructive null distributions.

Quick Start

# Binary Graph Universe
cargo run --release --features serialize -- graph --train 1000 --seed 42

# Cellular Automaton
cargo run --release --features serialize -- ca

# Compare estimators
cargo run --release -- graph --estimator qe

# Fast test run
cargo run --release -- graph --quick

# Save results to JSON
cargo run --release --features serialize -- graph --output results.json

Installation

[dependencies]
arco = "0.6"

Requires Rust 1.85+.

Documentation

• Experimental Results — key findings with data
• Estimator Consistency Benchmark — exact ground truth validation
• Mathematical Constitution — formal specification
• API documentation — rustdoc
• Examples — runnable usage examples

Python Reference

arco-python — the Python implementation that first validated the methodology.

License

MIT