# Autonomic v0.1.0 - Table of Contents

> Production-oriented BEAM/OTP control plane and kernel for untrusted coding workers
inside disposable execution domains with durable authority, effect brokering,
homeostatic regulation, and verification recovery.

## Pages

- Overview
  - [Overview](readme.md)
  - [Changelog](changelog.md)
  - [License](license.md)

- Guides
  - [Architecture](01-architecture.md)
  - [Non-Negotiable Invariants](02-invariants.md)
  - [EffectBroker & Horizons](03-effect-broker.md)
  - [Effect Adapter Authoring](04-adapter-authoring.md)
  - [TypeSafe Control Loop](05-typesafe-control-loop.md)

## Modules

- [Autonomic.ExecutionDomain.CheckpointRef](Autonomic.ExecutionDomain.CheckpointRef.md)
- [Autonomic.ExecutionDomain.Command](Autonomic.ExecutionDomain.Command.md)
- [Autonomic.ExecutionDomain.Domain](Autonomic.ExecutionDomain.Domain.md)
- [Autonomic.ExecutionDomain.Execution](Autonomic.ExecutionDomain.Execution.md)
- [Autonomic.ExecutionDomain.Spec](Autonomic.ExecutionDomain.Spec.md)

- Core & Lifecycle
  - [Autonomic.Application](Autonomic.Application.md)
  - [Autonomic.EpisodeCheckpoint](Autonomic.EpisodeCheckpoint.md)
  - [Autonomic.EpisodeController](Autonomic.EpisodeController.md): Durable episode lifecycle state machine coordinating sandbox creation, preemption, repair, and completion.
  - [Autonomic.EpisodeSpec](Autonomic.EpisodeSpec.md): Immutable episode bootstrap specification accepted only from trusted callers.
  - [Autonomic.EpisodeSupervisor](Autonomic.EpisodeSupervisor.md): Supervised per-episode control tree and trusted episode admission entrypoint.
  - [Autonomic.Runtime](Autonomic.Runtime.md): Concrete implementation selection lives in operator configuration, not core dependencies.
  - [Autonomic.SystemRegulator](Autonomic.SystemRegulator.md): Node-wide pressure aggregation, hysteretic autonomy modes, and semantic/store circuit breakers.

- Authority & Policy
  - [Autonomic.AuthorityGovernor](Autonomic.AuthorityGovernor.md): Issues short-lived epoch-fenced leases within the signed hard envelope.
  - [Autonomic.Capability](Autonomic.Capability.md)
  - [Autonomic.CapabilityLease](Autonomic.CapabilityLease.md)
  - [Autonomic.HumanApproval](Autonomic.HumanApproval.md): Verifier for operator approvals bound to exact effect revision/payload/epoch.
  - [Autonomic.Policy](Autonomic.Policy.md): Deterministic policy verification and a deny-dominant precedence lattice.
  - [Autonomic.VersionVector](Autonomic.VersionVector.md)

- Effect Broker & Adapters
  - [Autonomic.Adapters.Artifact](Autonomic.Adapters.Artifact.md): Content-addressed artifact publisher. Target directory is trusted configuration, never worker input.
  - [Autonomic.Adapters.Git](Autonomic.Adapters.Git.md): Authoritative local Git commit adapter using an isolated trusted staging worktree and atomic update-ref CAS.
  - [Autonomic.Adapters.GitRemote](Autonomic.Adapters.GitRemote.md): Trusted Git remote CAS adapter. Remote credentials and URLs come only from trusted target configuration.
  - [Autonomic.Adapters.HTTP](Autonomic.Adapters.HTTP.md): Trusted broker-owned HTTP adapter with strict allowlists, TLS, body limits, and credential injection.
  - [Autonomic.BoundedHTTP](Autonomic.BoundedHTTP.md): Streaming HTTP response collection with an enforced byte ceiling.
  - [Autonomic.EffectAdapter](Autonomic.EffectAdapter.md): Trusted adapter contract. Untrusted workers never call an adapter directly.
  - [Autonomic.EffectBroker](Autonomic.EffectBroker.md): Durable MVCC effect broker. This is the only trusted path to authoritative adapters.
  - [Autonomic.EffectSocket](Autonomic.EffectSocket.md): Per-episode bounded AF_UNIX ingress. Direct INET is never provided to the sandbox.
  - [Autonomic.EffectState](Autonomic.EffectState.md): Closed effect lifecycle. Unknown outcomes never authorize another attempt.
  - [Autonomic.ProposedEffect](Autonomic.ProposedEffect.md)
  - [Autonomic.RateLimiter](Autonomic.RateLimiter.md): Trusted fixed-window limiter for broker-owned external targets.

- Homeostasis & Sensors
  - [Autonomic.Homeostat](Autonomic.Homeostat.md): Per-episode trajectory regulator with deny-dominant hard-violation handling and hysteresis.
  - [Autonomic.HomeostaticState](Autonomic.HomeostaticState.md)
  - [Autonomic.ObservationFrame](Autonomic.ObservationFrame.md)
  - [Autonomic.SemanticObservation](Autonomic.SemanticObservation.md): Normalized semantic evidence plus reproducibility/provenance metadata; never authority.
  - [Autonomic.SemanticSensor](Autonomic.SemanticSensor.md): Semantic sensor contract; implementations provide evidence, never authority.
  - [Autonomic.SensorArray](Autonomic.SensorArray.md): Demand-driven per-episode observation producer; deterministic violations are never dropped.
  - [Autonomic.Trajectory](Autonomic.Trajectory.md)
  - [Autonomic.TrajectoryAlert](Autonomic.TrajectoryAlert.md)

- Verification & Repair
  - [Autonomic.RepairManager](Autonomic.RepairManager.md): Epoch-fenced rollback and reconstruction from trusted checkpoint/evidence.
  - [Autonomic.SnapshotManager](Autonomic.SnapshotManager.md): Trusted checkpoint coordinator binding backend snapshot evidence to durable metadata.
  - [Autonomic.VerificationRunner](Autonomic.VerificationRunner.md): Trusted exact-payload Git verification in a separate disposable execution domain.
  - [Autonomic.Verifier](Autonomic.Verifier.md): Slow deterministic verifier. It consumes trusted evidence and never executes repository code on the host.

- Contracts & Extension Behaviours
  - [Autonomic.Canonical](Autonomic.Canonical.md): Canonical JSON identity for authority, payloads and append-only evidence.
  - [Autonomic.Contracts](Autonomic.Contracts.md): Normative public contracts for the BEAM Autonomic Agent Runtime.
  - [Autonomic.ExecutionDomain](Autonomic.ExecutionDomain.md): Backend-neutral isolation boundary for an untrusted episode worker.
  - [Autonomic.Payloads](Autonomic.Payloads.md): Episode-scoped content-addressed bytes in a trusted, non-mounted object directory.
  - [Autonomic.Store](Autonomic.Store.md): Authoritative persistence contract for episode, epoch, lease and effect state.