arco 0.6.0

Automated Research into Computational Ontologies — a platform for discovering the conditions under which computation emerges
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

# ARCO

**Automated Research into Computational Ontologies**

[![crates.io](https://img.shields.io/crates/v/arco.svg)](https://crates.io/crates/arco)
[![docs.rs](https://img.shields.io/docsrs/arco)](https://docs.rs/arco)
[![CI](https://github.com/kvernet/arco/actions/workflows/ci.yml/badge.svg)](https://github.com/kvernet/arco/actions)
[![License: MIT](https://img.shields.io/badge/License-MIT-blue.svg)](https://opensource.org/licenses/MIT)

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

```bash
# 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

```toml
[dependencies]
arco = "0.6"
```

Requires Rust 1.85+.

## Documentation

- [Experimental Results](https://github.com/kvernet/arco/tree/main/docs/RESULTS.md) — key findings with data
- [Estimator Consistency Benchmark](https://github.com/kvernet/arco/tree/main/docs/benchmarks/estimator_consistency.md) — exact ground truth validation
- [Mathematical Constitution](https://github.com/kvernet/arco/tree/main/docs/constitution.md) — formal specification
- [API documentation](https://docs.rs/arco) — rustdoc
- [Examples](https://github.com/kvernet/arco/tree/main/examples) — runnable usage examples


## Python Reference

[arco-python](https://github.com/kvernet/arco-python) — the Python implementation that first validated the methodology.

## License

MIT