00 / RESEARCH ENTITY
Aleatoric research and systems

Research for agents that can show their work.

Aleatoric publishes working papers, open artifacts, and corrections in place for agent coordination, verification, and decision systems.

01 / RESEARCH

working papers: drafts in the open, corrections marked in place, registered before results.

Read working draft
[00]
Working paper • under revision • actively experimenting

Society of Mind as Coordination Substrate

Minsky held that intelligence is a crowd of unintelligent agents coordinating through interfaces; the March 2026 draft argued that real-time meeting rooms are the coordination substrate his theory implied but never specified. Building the system inverted the argument. Minsky's agencies communicate over deliberately impoverished, non-linguistic links; his own 1988 ONR final report asks for "relatively weak demands for intercommunication" and praises insulation between agencies. The stronger claim runs the other way: LLM agents possess what Minsky's agents lacked, a shared natural language, so a meeting room deliberately relaxes a constraint he considered essential. That places the work in the blackboard, Linda/tuple-space, and E4MAS lineage of environment-mediated coordination, and it makes the question empirical rather than exegetical. Two of the three original contributions did not survive the build: an SFU already delivers identity-labeled audio tracks, so speaker diarization solves a problem this architecture does not have, and synthesized prosody is a poor agent-to-agent channel beside a typed data channel. What survived: trust as accumulated negative meta-knowledge, and the speech floor as a serialization primitive that forces attention synchronization. The successor is a pre-registered factorial separating shared environment from speech modality, with matched compute, bidirectional hypotheses, an open runner, an open item bank, and an executable validation contract. The experiments have not been conducted; they are in progress. A feasibility pilot has run a full matched block end to end with every record contract-validated, which establishes that the instrument works and nothing about the hypotheses. Sample size is not locked, confirmatory collection has not begun, and no effect, direction, or performance claim is made. This page preserves the March draft with corrections marked in place.

science, not vibes

02 / ARTIFACTS

Loomtown

Loomtown is an orchestration research artifact tested at 1,000 concurrent agents. Its shipped receipts include AGL-Core with Z3 WASM, 220+ tests across six cross-validation rounds, mid-task steering, and hardened capability leases.

StatusBuilt and tested at 1,000 concurrent agents.
Loomtown TUI Interface
Fig. 01 / Terminal interface
02.IAgent-scale orchestration
Protocol-Imprinted Architecturestable

DALE orchestration engine

Multi-provider dispatch across Claude, Codex, Gemini, and Pi, with Temporal.io orchestration, mid-task steering, and proactive task discovery from repository changes.

Multi-provider dispatch + Temporal.io + loomtown steer + loomtown watch

Trust Scarcitystable

File lease system

Core workflow leases coordinate modifications through etcd with TTL expiration. An experimental CLTF layer adds algebraic composition and formal verification.

Core: etcd + TTL + SHUTTLE heartbeats. Experimental: CLTF algebraic composition overlay

Evidence-Carrying Patchstable

Verification pipeline

A lint, build, and test pipeline records OpenTelemetry traces, extracts structured feedback for repair loops, and can attach PCPG provenance receipts.

Three-tier: lint → build → test + OTel tracing + PCPG journaling + structured feedback extraction

Trust Production Modelalpha

Metrics and telemetry engine

The Trust Production Model implementation records six metrics, per-agent telemetry, task DAGs, and Zipfian hot-file conflict models for comparison studies.

APF, VT, CSA, CPL, Intent Drift, Conflict Probability + Zipfian conflict model + baseline analyzer

02.IIAgent-native representation and verification
Agent-Native Verificationbeta

AGL-Core: Agent Grammar Language

Z3 WASM checks refinement types, cost bounds, and effect tracking for agent actions. The MAIR, CLTF, and PCPG path has 220+ tests across six cross-validation rounds.

Z3 WASM + refinement types + cost bounds + effect lattice (Pure < Read < Write < IO). 6 cross-val rounds, zero open findings

Agent-Native Languagesbeta

MAIR: Multi-Level Agent IR

Four implemented representation levels connect intent specifications, typed plan graphs, deterministic action IR compilation, and execution dispatch.

L0 intent → L1 plan graph (DAG) → L2 action IR (topological compile) → L3 dispatch. 77+ tests

Representation Spectrumbeta

CLTF: Capability-Leased Tool Fabric

Capability leases use canonicalization and boundary-safe prefix matching against path traversal. Deep-clone isolation protects delegation, and the non-amplification invariant prevents agents from granting more than they hold.

8-tuple lease + path canonicalization + deep-clone isolation + AGL-Core L3 validation. 37 tests

Proof-Carrying Graphs + Self-Improvementalpha

PCPG + CSC: Provenance and self-improvement

PCPG maps verification results to typed provenance receipts. CSC turns production failures into counterexamples and benchmarks for regression prevention.

PCPG: 5 receipt types. CSC: incident → counterexample → benchmark. Evo: fitness-scored config optimization. 60+ tests

03 / PRODUCT

modyl

Built by Carcinize Corp

Visit modyl.to

Modyl is a live decision room: agents call your team in, you talk, and the work forms on screen as you speak. Every claim opens to its source. AI work stays visibly tentative until someone with authority says settled, and the settled record, the why included, becomes the organization's memory and the agents'.

Status: the v1.0.0 engine works. Rooms are hand-run with design partners today. Next: a gated alpha with pre-registered success and kill criteria, published before we recruit. Not yet: public release, self-serve access, or revenue.

The agent door (MCP/SDK) runs with design partners today and goes public with the gated alpha.

Rooms, not prompts. The room is the interface.

Claims open to their sources
Work stays visibly tentative
People with authority settle
The why stays in the record
Design partner inquiriesTalk with us.
00

Claims open to sources

Evidence stays attached to the work, so a reviewer can move from a claim to the material behind it.

01

Tentative until settled

Agent work remains visibly provisional until someone with the authority to decide accepts it.

02

Rooms, not prompts

The room is the interface: people, agents, sources, and the work itself share one live decision space.

03

A durable settled record

Once a decision settles, the outcome and its why become memory for the organization and its agents.

Fig. 02 / Room topology
Fig. 01 / Fork/Join meeting flow
04 / METHODOLOGY

The method is visible in the artifacts.

Start with inspectable intent. Make execution leave evidence. Keep the decision with the person who has the authority to make it. The papers state the method; Loomtown, AGL-Core, and Modyl are the receipts.

  • MAIR intent and action representations
  • AGL-Core with Z3 WASM
  • Modyl settled records
00

specification first

Define machine-auditable intent before execution, then preserve the path from the request to the action taken.

Shipped artifact: MAIR in AGL-Core implements the L0 intent to L1 plan graph to L2 action IR to L3 dispatch path. It still lowers to text prompts for backward compat because we're not monsters.

01

verified execution

Make every important boundary checkable and keep the evidence close to the work it supports.

Shipped artifact: AGL-Core uses Z3 WASM for refinement types, cost bounds, and effect tracking, with 220+ tests across six cross-validation rounds.

02

humans settle

humans settle: agents do the staff work and show their evidence. nothing becomes real until a person with authority says settled. that is not a limitation of the system; it is the product.

Shipped artifact: the Modyl v1.0.0 engine carries tentative work into a settled record with the why preserved.

05 / CONTACT

Aleatoric is Basit Mustafa's research entity; it publishes the working papers and benchmarks. Modyl is built by Carcinize Corp, a Delaware C-Corporation in Boise, Idaho.