# mashin
# https://mashin.live

## What this site is

mashin.live is the home of mashin: the medium for governed intelligence.
mashin is a platform for building deterministic, auditable intelligent
systems. Three products: the native app (macOS, iOS), cell (a user-owned
mashin environment), and the CLI.

## What mashin does

mashin lets you build AI machines by describing what they should do.
A machine is a governed unit of intelligence that thinks internally and
acts externally through a controlled boundary. Every effect is mediated
by governance, every decision is recorded, and every execution can be
replayed.

## Key concepts

- mashinTalk: a compiled domain-specific language for AI workflows.
  Programs produce intents, not effects. Ungoverned effects are
  inexpressible by construction.
- Governance kernel (Kore): extracted from machine-checked Rocq proofs.
  618+ theorems, 0 admitted. The executing code is the proved code.
- Behavioral ledger: append-only, hash-chained execution record.
  Every governance decision is tamper-evident.
- Intent-driven computing: the paradigm. Programs produce intents,
  not effects. See https://intentdrivencomputing.org

## Pages on this site

- / (index): Product landing page
- /intent-driven-computing: The IDC manifesto
- /the-mashin-way: Philosophy and design principles
- /research: Published academic papers (arXiv)
- /books: The mashin intelligence series
- /blog: Technical blog posts

## Published papers

- "The Two Boundaries" (arXiv:2604.27292): why behavioral AI governance fails
- "Mechanized Foundations of Structural Governance" (arXiv:2604.27289): 618+ Rocq theorems
- "Algebraic Semantics of Governed Execution" (arXiv:2605.01032): monoidal categories, coterminous boundaries
- "Governed Metaprogramming for Intelligent Systems" (arXiv:2605.05248): eval as governed effect
- "Certified Purity for Cognitive Workflow Executors" (arXiv:2605.01037): static analysis to attestation
- "Effect-Transparent Governance" (arXiv:2605.01030): expressive minimality and decidability
- "Cryptographic Registry Provenance" (arXiv:2605.03309): structural defense against dependency confusion
- "Intent-Driven Computing" (arXiv:2605.24036): the computational model

## Documentation

Full documentation at https://docs.mashin.live

## Author

Alan Lawrence McCann
Mashin, Inc.
https://mashin.live