Autonomous Unified Reasoning & Engineering Network · v1.0.5

AI engineering that learns from evidence.

AUREN is a provider-neutral AI engineering system that turns software work into a bounded, auditable learning loop: understand the repository, plan, execute, verify, review, record evidence, evaluate what actually transfers, and promote or roll back learned strategies only when the gates pass.

See the demoView sourceDeploy AURENSupport AUREN

About AUREN

AUREN (Autonomous Unified Reasoning & Engineering Network) is a provider-neutral AI engineering and orchestration system. It coordinates software work through explicit intent, repository context, bounded planning and execution, verification, review, durable evidence, and guarded learning. Before implementation, its orchestration records a review for common requirement conflicts, weak assumptions, and missing success measures, offering constructive options instead of silently choosing user-owned trade-offs. It is designed to improve engineering reliability—not to treat model output, stored memory, or learning signals as authority.

Core

World model, self model, reasoning, and goals.

Engine

Planning, StateGraph execution, agent teams, and resource routing.

Memory

Episodic, semantic, engineering, and evidence-graph persistence with provenance.

Learning

Experimentation, causal attribution, capability invention, and curriculum evolution—without granting authority.

Arena

Independent evaluation, sealed holdouts, transfer testing, and attestation. External independence still requires external evidence.

Guard

Security, authority, verification, canary, promotion, and rollback controls.

Read the full About page. The runtime registry and receipt improve traceability; neither alone proves that every control is fully enforced in every deployment. See the current architecture and AI-era foundation principles.

How AUREN works

Execution authority and learning are deliberately separated. Active engineering stays policy-gated and bounded. Learning becomes advisory only after independent evaluation, regression protection and promotion/rollback evidence.

01Intent
02Repository intelligence
03Plan & route
04Graph execution
05Verify & review
06Evidence & learning
07Holdout & promote

Repository-aware

Deterministic repository maps, symbol/import/call relationships, bounded graph expansion, token budgets and explicit unknowns keep context grounded.

Bounded execution

Dependency-aware agent teams, serialized mutation, bounded retries and optional local resource offload prevent learning from silently becoming execution authority.

Evidence-backed learning

Experiences can be replayed and evaluated. Independent benchmarks, sealed runs, transfer, randomized attribution and fresh holdouts gate promotion.

Challenge the brief before changing code

AUREN is designed to catch blind spots, weak assumptions, missing success measures, and contradictory requirements before implementation starts. It explains why a concern matters, asks a focused question, and offers options with trade-offs rather than enforcing a one-size-fits-all answer.

Find contradictions

Detect common conflicts such as preserving an API while requesting a breaking change. Unresolved explicit conflicts pause dependent implementation before side effects.

Question assumptions

Turn claims like “fast”, “secure”, “robust”, or “scalable” into measurable questions and tests. Planner/reviewer reasoning supplements deterministic checks.

Keep options open

Recommend a path with trade-offs, offer a narrower or reversible alternative, and continue safe independent discovery while a user-owned decision is unresolved.

The review is recorded in the existing run evidence and trajectory. Heuristic checks cannot prove the absence of every semantic contradiction. Read the engineering design policy.

30 foundation principles for AI-era engineering

AUREN extends established engineering practices with explicit controls for autonomous execution, context, trust, evidence, recovery, and guarded learning. The principles are a shared contract across design review and runtime orchestration, not a replacement for existing security or promotion gates.

Intent and correctness

IPACT — Intent Before Action
INVAR — Invariant Preservation
DELTA — Defensible Engineering with Limited, Targeted Alterations
CONTEXT — Context Is an Engineering Dependency

Evidence and accountability

VERA — Verification Before Acceptance
TRACE — Traceable Results And Claims Engineering
INDEP — Independent Evaluation Protocol
OWN — Ownership With Named Accountability
MEASURE — Metrics, Evidence, And Results Evaluated

Authority and trust

PACT — Permission And Control of Tools
BLAST — Bounded Limits And Scoped Trust
TRUST — Treat Retrieved Untrusted Sources Thoughtfully
CIG — Context Integrity Guard

Autonomy and recovery

R3 — Recover, Resume, Roll Back
RAIL — Resource-bounded Autonomous Iteration Limits
HANDOFF — Handoff And Negotiated Definition Of Function
DEGRADE — Designed, Efficient, Adaptive Graceful Recovery Under Degraded Environments

Learning and promotion

LEARN — Learning Evaluated Against Regression and Novelty
PROMOTE — Proof-Required Operational Maturation Of Tested Enhancements
ECONOMY — Engineering Cost Optimization Measured Over the Full Lifecycle, Not Yield Alone

Determinism and safe execution

DETERM — Deterministic Decisions and Artifacts
MINCORE — Minimal Trusted Execution Core
OUTCOME — Explicit Operation Outcomes

State and artifact integrity

MIGSAFE — Compatible and Reversible State Evolution
PROVEN — Verified Supply Chain and Artifacts
REVERS — Reversibility Before Abstraction

Operator and lifecycle quality

HUMANE — Honest and Actionable Operator Feedback
ACCESS — Accessible Operational Interfaces
LIFECYCLE — Named Ownership and Retirement
PRIORITY — Correctness and Authority Over Optimization

Source version: 1.0.6 (not yet released). Latest published release: 1.0.5.

Implementation: machine-readable registry · full principle definitions and control boundaries · root engineering contract.

The orchestrator records a digest-bound principle receipt before graph execution. Existing authority, security, verification, recovery, memory/context, and promotion gates remain authoritative. Receipt presence alone does not prove complete enforcement or independent external validation.

5-minute example

A simple engineering request can be given directly to AUREN. The important part is the requested evidence, not a magic prompt.

Fix the failing login test.

Inspect repository instructions and the existing authentication flow first.
Identify the root cause with evidence.
Make the smallest compatible change.
Add or update regression coverage.
Verify it, review the result, and report:
- what changed
- what was verified
- remaining risks
- evidence used for the decision

For a feature:

Add retry handling to the outbound payment client.
Preserve current API behavior, inspect existing retry and timeout patterns,
implement the smallest safe change, add regression coverage, verify it,
and report open risks.

Repository intelligence

python -m portable.repo_intelligence . \
  --for="Fix the authentication timeout regression" \
  --token-budget=4000

Local engineering console

python ~/.auren/current/auren_cli.py dashboard \
  --project-root /path/to/repository

Open http://127.0.0.1:8765.

Comparable, reproducible results

The repository includes a concrete independent-transfer test fixture. These numbers are calculated from the checked-in test data; they are not a claim that AUREN universally beats another agent.

MeasureChecked-in exampleWhat it demonstrates
Source-domain score0.70Baseline capability in the domain that produced the learning signal.
Target control0.575Independent holdout baseline across math and science.
Target treatment0.690Transfer performance after the candidate intervention.
Cross-domain transfer lift+0.115Target treatment minus target control; above the fixture's +0.03 gate.
Randomized causal sample10 control / 10 treatmentIndependent treatment/control observations used by the causal estimator.
Estimated treatment effect+0.1200.725 treatment mean minus 0.605 control mean.
Target domains2Transfer is measured beyond the source domain, not only in-domain.
Promotion conditionPass all gatesSealed receipt + randomized attribution + fresh holdout + transfer validity + evidence.
How to compare AUREN fairly: run the same task corpus with a baseline agent and AUREN, keep evaluation/oracle ownership independent, seal the holdout, randomize treatment assignment, report source and target performance, and publish the complete evidence lineage. AUREN should not get credit merely for producing a plausible answer.

Latest implementation and verification

Verification snapshot recorded on 2026-10-21 14:20 UTC at main SHA 3c873ddacc018c529ea799c9ce552e2ead47b011. At this snapshot, 17 check runs succeeded, 3 remained in progress, and 4 were skipped by change filtering; the result was not final. Skipped checks are not passes. Check live Actions and main history for newer evidence. This dated snapshot does not claim that its SHA is the current main head. Product version remains v1.0.5; this is not a release.

Durable truthful progress journal

PR #764 merged an append-only task event journal, monotonic per-task sequencing, cross-instance/process writer locking, heartbeats, stale-task detection, terminal states, secret-like value redaction, and concurrent-writer regression coverage. Five exact-head workflows passed before merge: Runtime Resilience Matrix, Production AI Harness Hardening, AUREN Portable Bundle, Architecture Integrity, and AI Harness Check.

Supervisor and dashboard progress are connected

Implementation: PR #766.

The execution controller now records queue, dispatch, preflight, handler, heartbeat, quota-wait, recovery, and terminal events in the durable journal. The dashboard API and console render those snapshots, including stale/unknown state and next action. Terminal completion is shown only after the durable work-unit receipt commits. The read-only CLI command `python auren_cli.py progress --json`, merged in PR #767, exposes the same journal. PR #770 adds a bounded-wait provider executor, provider lifecycle callbacks, a cap on orphaned workers, and a timeout checkpoint that requires reconciliation before retry. PR #771 bounds in-process and cross-process journal lock waits. PR #773 applies the shared bounded-call helper to ProviderBackedCrewAdapter and the resumable executor, with a global eight-worker cap. It bounds caller wait but cannot kill a timed-out Python thread. The callback bridge merged in PR #775. PR #776 merged canonical-journal callback fan-out and explicit supervisor task-ID propagation. Hosts still must pass the controller-owned journal and supervisor-issued task ID; the alternate graph path must receive supervisor_task_id. PR #777 adds startup reconciliation: store disagreements become blocked, expired leases become recovering, and stale terminal projections are corrected by an append-only event. Expanded commit-boundary fault injection, cancellation/deadline/hard-termination testing, and ambiguous side-effect reconciliation remain open.

Governed execution and recovery

AUREN has bounded subprocess termination, deadline propagation into selected evidence checks, opt-in process-isolated crew dispatch, durable supervisor state, checkpoint conflict detection, and Windows Job Object descendant containment. Coverage is path-specific: the legacy thread dispatcher cannot kill a stuck Python thread, and these controls do not establish a sandbox or undo an external side effect.

Architecture and evidence boundaries

Core, Engine, Memory, Learning, Arena, and Guard remain the canonical ownership model. Repository CI and receipts are not substitutes for independent evaluation, sealed holdout custody, external isolation review, or an operator-run migration/rollback rehearsal.

Evidence status: what is—and is not—verified

GateStatusEvidence boundary / next action
PR #764 exact-head checksPassed before mergeFive workflows passed on the reviewed PR head. See PR #764; do not treat this as a post-merge run on the current main SHA.
Post-merge runtime and Pages verificationVerified main snapshotAll ten post-merge workflows passed on be46356284981376d8aa7471d20cedd9f4a230e7, including Pages deployment, AI Harness Check, Runtime Resilience Matrix, and Architecture Integrity. These are post-merge results for that exact SHA; PR #777's exact-head results are recorded in live Actions.
Canonical progress journalImplemented and regression-testedDurable journal, monotonic sequencing, cross-instance/process locking and concurrent-writer tests are merged.
Supervisor-to-dashboard progress projectionConnected in this integration sliceExecutionController lifecycle events feed the journal; the dashboard API and console expose snapshots. The adapter-to-journal callback bridge merged in PR #775; callback fan-out and task-ID propagation merged in PR #776. Host bootstrap must still pass the controller-owned journal and explicit supervisor task ID. Startup reconciliation is added in PR #777; expanded commit-boundary crash recovery remains open. The read-only CLI view is available.
Provider timeout and progress integrationRegistration wiring merged; crash reconciliation in PR #777PR #773 applies the shared bounded-call helper with a global eight-worker cap. PR #775 adds allowlisted journal projection; PR #776 adds canonical-journal callback fan-out and supervisor-task-ID propagation. Host bootstrap must pass the controller-owned journal and task ID. PR #777 reconciles task/journal/receipt mismatches at startup but does not replay external effects. Timed-out calls may still finish late; reconcile before retry and use native transport deadlines/process isolation for hard termination.
Progress-journal lock waitsVerified on implementation snapshotIn-process and cross-process lock acquisition now has a finite deadline and contention tests. All ten post-merge workflows passed on main SHA 87831dc3e08029b82f51fc81bc8f79f569c9be6d, including Pages deployment; See PR #776's exact-head results in live Actions.
Required GitHub checksOpen governance gapLatest inspected branch metadata reported protection enabled but enforcement off and no required status checks. An owner/admin must configure and verify effective rules.
Independent evaluator and sealed corpusPendingRequires independent custody, signed campaign evidence, and fresh holdout results. Checked-in fixtures are not external evaluation.
Runtime / sandbox isolationPartial; external audit pendingSome authority bindings remain opt-in at host integration points. Repository CI cannot prove OS-level isolation.
Migration and rollback rehearsalPendingRun an operator-controlled staging rehearsal with backup, interruption, rollback, and retained-state evidence before closing issue #534.
Consequential external side effectsIntegration-dependentUse task-scoped idempotency keys, durable receipts, and ambiguity reconciliation at each effect boundary.

The alignment review and gap register and unified engineering completion roadmap define ownership and exit criteria. Do not describe an open gate as complete without matching evidence.

Why the evaluation design matters

Independent generation

The benchmark generator is a distinct principal from the runtime and oracle. Cases are opaque and content-addressed.

Sealed execution

A run receipt must match the benchmark corpus and manifest digests. Holdout cases are checked against the sealed set.

Transfer + causality

At least two independent target domains are measured, while randomized control/treatment evidence estimates the treatment effect.

Deploy AUREN

AUREN already has a portable distribution. The website itself is a static GitHub Pages site and does not require a server runtime.

1. Install the latest release

curl -fsSL https://raw.githubusercontent.com/sourabhJainR/AUREN/main/install.sh | bash

Windows PowerShell:

irm https://raw.githubusercontent.com/sourabhJainR/AUREN/main/install.ps1 | iex

2. Build and verify from source

git clone https://github.com/sourabhJainR/AUREN.git
cd AUREN
python auren_cli.py build --output auren-portable.zip
python auren_cli.py verify auren-portable.zip
python auren_cli.py install auren-portable.zip --skill auto

3. Upgrade, rollback and uninstall

python ~/.auren/current/auren_cli.py check-update
python ~/.auren/current/auren_cli.py update
python ~/.auren/current/auren_cli.py rollback

Before deleting ~/.auren, uninstall any AUREN maintenance service using the matching user or system scope.

python ~/.auren/current/portable/maintenance_service.py --scope user uninstall
rm -rf ~/.auren

4. Start the engineering console

python ~/.auren/current/auren_cli.py dashboard \
  --project-root /path/to/your/repository

5. Deploy this documentation site

GitHub Pages can publish a repository directly or through a GitHub Actions workflow. This site uses the Actions path so the static site/ directory is deployed on every push to main.

Repository Settings
  → Pages
  → Build and deployment
  → Source: GitHub Actions

The workflow:
.github/workflows/deploy-pages.yml

publishes:
site/index.html

Once enabled, the project site is expected at https://sourabhJainR.github.io/AUREN/.

GitHub may take a few minutes to publish the first deployment. See the official GitHub Pages documentation linked below.

Documentation map

Support AUREN

AUREN is open source. Community support helps fund continued development, reliability testing, documentation, contributor onboarding, and work toward independent evaluation.

Build

Improve the runtime, agent orchestration, and evidence-driven engineering workflows.

Verify

Expand regression coverage and test recovery, security boundaries, and rollback behavior.

Grow the community

Improve documentation, examples, onboarding, and the contributor experience.

Support is voluntary and does not guarantee specific features or outcomes. Independent evaluation and external validation remain ongoing goals; results will be reported only when evidence is available.