Development Underway  ·  AegisBSD  ·  AG-R1 reference appliance
The AegisGenera machine

Not a general-purpose server.
A machine that turns AI compute into a governed agent workforce.

AegisGenera is the purpose-built computing platform for the General Reasoning stack. It begins with the mission of the machine, admits only the software required to fulfill that mission, and governs the boundary between enterprise authority and machine-speed AI compute.

If an application does not administer, develop, inspect, reason about, or operate the GR/AegisGenera environment, it does not belong on the machine. Purpose determines presence. Governance determines use.

AegisGenera does not begin with a general-purpose operating system and ask what can safely be removed. It begins with the work the machine exists to perform and asks what is justified in being present.

That changes the security model. A shell can belong because administration may require it. A compiler can belong because development may be part of the machine's mission. A debugger can belong because inspection may be necessary. Their presence is not ambient; it is justified. Their use is not casual; it is governed.


The machine is the control boundary.

Autonomous agents and accelerated compute move at machine speed. Human-era infrastructure assumed that consequential judgment would happen somewhere between the database, the application, the operating system, and the human operator. That assumption no longer holds.

AegisGenera brings identity, authority, state, reasoning, and evidence into one controlled machine. Enterprise systems can remain optimized for operational roles. External AI systems can remain optimized for acceleration. AegisGenera is the place where the GR stack decides what may happen between them.

The accelerator computes. AegisGenera governs.

Three foundations. Three primary surfaces.

AegisBSD Operating System AletheiaGraph Computing Engine Chandra Enterprise Chandra Passport Enterprise RBAC DXMachine Universal Workflow Engine General Reasoning Infrastructure Console

AegisBSD Operating System

A BSD-derived operating environment built around the AegisGenera mission. AegisBSD defines the boot, storage, device, service, network, update, and recovery assumptions of the appliance. ZFS is the persistent storage foundation. The OS is not a neutral host beneath the product; it is the first enforcement layer of the machine.


AletheiaGraph Computing Engine

AletheiaGraph provides authoritative persistence, graph traversal, query, provenance, reasoning, and truth evaluation. It is where the machine can distinguish stored fact, derived conclusion, proposed action, and the evidence connecting them.

Standalone AletheiaGraph includes open-source Chandra Core and GRIC. Chandra Core provides the Context Unit evidence and auditable usage-metering substrate without requiring a Chandra Enterprise license.


Chandra Enterprise

Chandra Enterprise is the governed CRUD and enterprise workflow platform of the GR stack. It uses the open Chandra Core Context Unit substrate for attributable, append-only evidence while adding the commercial enterprise structures, controls, deployment, federation, Marshaller, and operational services required to run governed business systems.


Chandra Passport Enterprise RBAC

Chandra Passport is the governed identity and authority substrate for the GR environment. Humans, agents, applications, services, and machines are governed principals. Passport establishes identity, roles, scopes, and authority used throughout AegisGenera and the GR stack.


DXMachine Universal Workflow Engine

DXMachine is the governed workflow and agent-execution environment. It defines workflows, state machines, acceptance criteria, and the controlled transitions that turn reasoning into enterprise action.


General Reasoning Infrastructure Console

GRIC provides health dashboards, resource maintenance, and file transfer for governed Chandra instances using a "Norton Commander"-like UI, instance password management, and instance deployment automation.

And, in the spirit of Symbolics Genera, the built-in Lisp development environment provides a coherent environment in which source, execution, inspection, debugging, and operation are not treated as unrelated products, but are first-class AegisGenera citizens.


The gateway exists to bound what an agent can reach.

Autonomous agents do not attack systems one screen or one API at a time. They traverse relationships. Credentials lead to services. Services lead to data. Files lead to deployment systems. Identities lead to authority. Individually reasonable edges can compose into an unreasonable path.

AegisGenera exists to govern that graph before execution. Passport establishes the acting principal. AletheiaGraph represents and validates relevant relationships. CRC isolation surfaces bound traversable edges. Chandra records every consequential crossing. GRIC lets a human inspect the graph, the surfaces, the evidence, and the qualification results.

Diagram showing enterprise systems flowing through AegisGenera to AI compute, with Passport, AletheiaGraph, CRC and Chandra inside the gateway.
Consequential enterprise action crosses a governed authority boundary before it reaches accelerated compute or returns from it.

AletheiaGraph validates edge semantics, not just connectivity.

An edge is not merely “A can reach B.” It can carry identity, authority, direction, dependency, CRC surface, required approval, environment, lifecycle state, provenance, confidence, allowed operation, and consequence class.

Before a consequential traversal is permitted, the machine can ask: does this edge exist, is it authoritative, is the principal permitted, does it cross a protected surface, is human approval required, and is the prerequisite state satisfied? The result is not only allow or deny. It can also be propose — forcing a governed approval path where a direct edge would otherwise create unacceptable blast radius.

ComponentQuestion it answers
PassportWho or what is acting, and under what authority?
AletheiaGraphWhat edges exist, what do they mean, and what traversal is justified?
CRC surfacesWhat boundaries should remain non-traversable or require escalation?
ChandraWhat traversal actually occurred, in what sequence, and with what evidence?
GRICCan an operator inspect the graph, the surfaces, the attempt history, and the qualification results?

Least blast radius defense.

Traditional least privilege asks what permissions a principal has. AegisGenera asks a harder question: what chain of edges can those permissions become? A system can have vulnerabilities and still have small blast radius. A system can be fully patched and still have catastrophic graph connectivity.

The goal is therefore not only to reduce permissions. It is to minimize the maximum consequence reachable from any compromised or misbehaving principal.

Before and after diagram showing an agent reaching critical consequence through chained edges, and then a CRC-constrained path that converts direct access into proposal plus human authorization.
The dangerous direct edge does not merely get watched. It can be removed, transformed into a governed proposal path, or isolated behind a surface.

Adversarial qualification: test the graph the way an agent would.

AegisGenera can do more than enforce structure. It can qualify it. AletheiaGraph can represent a deployment graph. Passport can define the starting principal and its authority. CRC can define the candidate isolation surfaces. Then a high-capability defensive model such as Claude Mythos can be used as an adversarial evaluator against the exposed graph.

The point is not to ask a model “is this secure?” The point is to ask it to find the best reachable path from a compromised or misbehaving principal toward a protected target, then compare that result before and after CRC constraints.

Diagram showing AletheiaGraph and AegisGenera qualification feeding a high-capability defensive adversary and producing a report of reachable surface, sensitive nodes, protected targets, and maximum consequence.
The resulting report becomes evidence of the architecture’s actual blast radius rather than a generic security claim.
CRC DEFENSE QUALIFICATION

Principal:
  agent://claims-review-17

Protected targets:
  payment.execute
  identity.modify
  production.deploy
  customer.bulk-export

Evaluator:
  Claude Mythos (defensive evaluation)

Baseline architecture:
  Reachable graph:          38.2%
  Sensitive nodes reached:  17
  Protected targets:        2
  Maximum consequence:      payment execution

CRC-constrained architecture:
  Reachable graph:           3.8%
  Sensitive nodes reached:   1
  Protected targets:         0
  Maximum consequence:       proposal only

That is the gateway story. Do not ask whether the agent is trustworthy. Ask what the graph permits it to reach when it is not.


GRIC is where the Symbolics ancestry becomes tangible.

Symbolics demonstrated the value of a coherent environment in which source, execution, inspection, debugging, and operation were not treated as unrelated products. AegisGenera does not reproduce historical Genera, but it deliberately revives that systems idea.

The GR Infrastructure Console is your private network CRC fleet console, and it is also the Lisp development environment of the machine. An authorized operator should be able to move continuously between source, running SBCL processes, warnings, tests, logs, deployment state, Chandra evidence, and AletheiaGraph inspection without treating each as an unrelated tool.

Browse

Project / system browser

Discover local GR projects and ASDF systems, inspect system definitions, and visualize dependency and source-tree relationships.

Develop

Source + REPL

Source editor, REPL/evaluation surface, compile/load/reload commands, and source-tree-aware navigation for the live SBCL environment.

Qualify

Tests, warnings, and errors

Run qualification suites, navigate warnings and errors back to source, inspect output, and preserve the relationship between code, test, and machine state.

Operate

Remote process and deployment control

Control remote SBCL processes, inspect logs, compare deployments, copy approved artifacts, and operate fleets without leaving the governed console.

Inspect

Chandra + Aletheia tooling

Navigate Context Units, graph state, indexes, query/reasoning behavior, provenance, and operational diagnostics from the same environment used to administer the machine.

Lineage

A modern Genera idea

The ancestry is intentional: source, execution, inspection, and operation should feel like one coherent environment. GRIC carries that idea forward on AegisBSD, SBCL, AletheiaGraph, and Chandra.


What belongs. What does not.

Administer

GRIC machine and fleet control

Configuration, deployment, service control, firmware and storage administration, machine identity, diagnostics, recovery, remote SBCL control, logs, and deployment comparison/copy operations.

Develop

GRIC Lisp development environment

Project/system browser, ASDF discovery and dependency view, source editor, REPL/evaluation, compile/load/reload, warning/error navigation, source-tree-aware browsing, and qualification tooling.

Inspect

Observability with purpose

Graph inspectors, Chandra diagnostics, storage and network diagnostics, health tools, forensic and qualification utilities. Inspection exists to understand the machine, not to accumulate a generic monitoring stack.

Reason

AletheiaGraph and reasoning services

Persistence, query, Prolog-facing reasoning, planner/executor machinery, provenance, truth evaluation, CRC-aware traversal, and the tools necessary to inspect those operations.

Operate

DXMachine and the GR application stack

DXMachine provides governed workflow and agent execution. Chandra Enterprise, Marshaller, CFS and other GR applications operate inside the same identity, reasoning, evidence, and machine-control environment.

Does not belong

Software without a GR purpose

Consumer applications, unrelated databases, arbitrary third-party agents, generic collaboration stacks, convenience software, or ambient services with no defined role in the AegisGenera mission.


Commercial model: platform entitlement + governed capacity.

Production access requires a meaningful commercial commitment. That commitment is financial, not operational: customers are never required to manufacture transactions or Context Units simply to retain a license.

Minimum spend. Never minimum activity.

Source access is part of the product. Because GR applications are live Lisp systems, authorized customers receive the proprietary source required to operate, inspect, compile, debug, and administer the licensed environment. Source delivery does not transfer ownership, redistribution rights, or commercialization rights.

The commercial model separates an initial proprietary source entitlement, a minimum annual production commitment, and governed-work settlement. OEM, redistribution, embedded, hosted resale, or other re-commercialization rights require a separate written agreement.

GR commercial software is distributed under a proprietary commercial source license within an authorized deployment scope. Standard production rights do not include redistribution, sublicensing, resale, or re-commercialization. Those rights require a separate written OEM or redistribution agreement.

General Reasoning does not price the stack by human seat or agent population. Commercial deployments combine a platform entitlement with usage-based settlement for standardized classes of governed autonomous work.

Context Units belong to the organization whose governed environment created them and remain inside that organization's evidentiary domain. Chandra Core preserves that local evidence. General Reasoning reconciles agreed aggregate usage, not customer CUs, graph content, business records, principal identities, exact event timing, or workflow detail.

Evidence

Context Units

Immutable, attributable records of what happened. They are not fungible and are never redeemed or traded.

Settlement

Governed work without telemetry leakage

Commercial agreements settle standardized classes of governed work from aggregate usage statements and cryptographic commitments. Customer CUs, graph content, event timing, identities, and workflow detail do not become market data.

Sector-aware

Work schedules

Healthcare, financial-services, energy, and other sectors can price different classes of work without creating separate currencies.

Capacity planning

Forwards and options

Qualifying enterprise agreements can establish future prices or capacity for standardized governed-work classes without turning Context Units into tradable assets.

Pricing & governed capacity

AG-R1: commodity hardware, controlled as a machine.

The AG-R1 reference appliance is a 2U single-socket AMD EPYC system with approximately 1.15 TB ECC memory, separate mirrored NVMe storage classes for boot, AletheiaGraph data, WAL, and Chandra evidence, dedicated management, a high-speed enterprise network plane, and a separate AI-compute network plane.

None of those components is exotic. The product boundary is the controlled definition: exact BOM, approved firmware set, device topology, AegisBSD image, software manifest, qualification suite, machine identity, and per-unit birth record.

AegisGenera is commodity server technology turned into a purpose-defined GR machine.
Pricing & governed capacityRead the architectureLicensing model

General Reasoning, Inc. · 2026
Enterprise and OEM inquiries: inquiries@genreason.com