Licensing and software provenance

The software population is part of the product definition.

Because AegisGenera admits software by purpose, every production release should make its software population inspectable: operating-system components, GR software, third-party dependencies, firmware, and their applicable licenses.

If software has no justified role in administering, developing, inspecting, reasoning about, or operating AegisGenera, it should not appear in the release manifest.

Proprietary commercial source licensing.

AletheiaGraph, Chandra Enterprise, Chandra Passport, DXMachine, GRIC, and other designated General Reasoning commercial software are provided under proprietary commercial source licenses. The software remains the intellectual property of General Reasoning, Inc.

A production license grants the customer the contractual right to operate the licensed GR software within the customer, deployment scope, term, and conditions established by the applicable agreement. Possession of executables, access through GRIC or a Lisp REPL, or the ability to inspect a running system does not expand those contractual rights.

You are licensing the right to operate GR software โ€” not the right to redistribute or re-commercialize it.

Why customers receive the source

GR software is built as a live Lisp environment in which operation, inspection, compilation, debugging, administration, and development are intentionally close together. Authorized customers therefore receive the proprietary source required for the software included in their licensed tier.

Receiving source code does not transfer title, copyright, intellectual property, or commercialization rights. Possession of the source โ€” including access through GRIC, the REPL, local files, compiled systems, or deployment tooling โ€” remains subject to the commercial license.

Standard source entitlement may permitStandard source entitlement does not permit
Internal inspection, compilation, loading, debugging, operation, and administration within the authorized environment.Publication or public distribution of GR proprietary source.
Authorized internal modifications where permitted by the applicable agreement.Redistribution, sublicensing, resale, or disclosure to unauthorized third parties.
Use of GRIC and the Lisp development environment to inspect and maintain the licensed system.Incorporation into a competing commercial software product or service.
Internal qualification and troubleshooting of the licensed deployment.OEM, embedded, hosted resale, service-bureau, or other third-party commercialization unless separately licensed.

Support for customer-modified software may depend on whether the reported issue reproduces against an unmodified qualified GR release. Specific modification, support, escrow, derivative-work, and confidentiality terms are established by the executed agreement.

Standard production restrictions

Unless expressly authorized by a separate written agreement, a standard commercial entitlement does not permit the customer to:

These restrictions are a website summary of the intended commercial model, not the complete license agreement. The executed agreement controls, and nothing in this summary is intended to restrict rights that cannot lawfully be restricted in the applicable jurisdiction.

Different rights are different products

A customer that wants to embed, redistribute, resell, host, OEM, or otherwise commercialize GR technology for third parties is asking for a different commercial right. General Reasoning may offer separately negotiated OEM, embedded, redistribution, or strategic agreements with their own scope, economics, minimum commitments, and restrictions.


Operating substrate.

ComponentPositionRole
AegisBSD Operating System GR platformBSD-derived operating system. Upstream components retain their respective licenses; GR-authored appliance components are distributed under the applicable GR terms.The operating substrate of AegisGenera.
BSD upstream components UpstreamApplicable upstream BSD/component licenses, enumerated per release.Selected kernel, userland, driver, and base-system technology used by AegisBSD.
OpenZFS OpenApplicable upstream OpenZFS license.Persistent storage foundation.
SBCL OpenApplicable upstream SBCL notices and licenses, enumerated in the release manifest.Common Lisp implementation used by GR software.

Source entitlement and production commitment are separate.

The proprietary source entitlement compensates General Reasoning for granting access to the GR implementation included in the licensed capability tier. The production commitment establishes the customer's continuing commercial participation. Governed-work settlement accounts for actual qualifying usage.

Unless an agreement expressly provides otherwise, an initial source-entitlement fee is separate from and not creditable against governed-work usage. The annual minimum commercial commitment may be applied against governed-work charges during its contract period.

Source entitlement pays for source access. Minimum commitment pays for production participation. Usage settlement pays for governed work.

Entitlement classes.

Evaluation / development

Non-production

Restricted access for evaluation, development, integration, and qualification. Terms may limit duration, deployment scope, consequential external action, or other production capabilities.

Production

Internal commercial operation

Licensed operation within the defined customer and deployment scope. Production access is tied to the applicable commercial commitment and governed-work schedule.

Enterprise / strategic

Broader internal rights

Negotiated internal deployment rights for larger organizations, fleets, multiple AegisGenera systems, sector-specific schedules, support, and future-capacity agreements.

OEM / redistribution

Separate written rights

Any right to embed, redistribute, sublicense, resell, or re-commercialize GR software requires a separately negotiated agreement. These rights are not included in standard production licensing.


General Reasoning software.

ComponentLicense positionRole
AletheiaGraph Computing Engine CommercialGeneral Reasoning proprietary commercial source license; source is provided to authorized licensees but is not open source. Standard entitlement permits operation within the authorized scope and does not include redistribution, sublicensing, or re-commercialization rights.Authoritative persistence, graph, query, reasoning, provenance, and truth-evaluation substrate.
DXMachine Universal Workflow Engine CommercialGeneral Reasoning proprietary commercial source license; source is provided to authorized licensees but is not open source. Standard entitlement permits operation within the authorized scope and does not include redistribution, sublicensing, or re-commercialization rights.Governed workflow and agent-process environment.
GR Infrastructure Console CommercialGeneral Reasoning proprietary commercial source license; source is provided to authorized licensees but is not open source. Standard entitlement permits operation within the authorized scope and does not include redistribution, sublicensing, or re-commercialization rights.Included at no additional charge with every GR commercial deployment. AegisGenera administration, inspection, fleet operations, and integrated Lisp development console: system/source browsing, REPL/evaluation, compile/load/reload, qualification, diagnostics, remote SBCL process control, logs, deployment comparison, and Chandra/Aletheia operational tooling.
Chandra Enterprise CommercialGeneral Reasoning proprietary commercial source license; source is provided to authorized licensees but is not open source. Standard entitlement permits operation within the authorized scope and does not include redistribution, sublicensing, or re-commercialization rights.Governed enterprise CRUD/workflow, deployment, federation, Marshaller, and operational services built on the Chandra Core evidence substrate.
Chandra Passport Enterprise RBAC CommercialGeneral Reasoning proprietary commercial source license; source is provided to authorized licensees but is not open source. Standard entitlement permits operation within the authorized scope and does not include redistribution, sublicensing, or re-commercialization rights.Governed identity, principal, role, scope, and authority substrate for humans, agents, applications, services, and machines. Chandra Passport supersedes GR-Identity.
CFS / other GR applications CommercialApplicable General Reasoning commercial terms.File governance and other administration, inspection, reasoning, and operational functions of the GR environment.
GR commercial applications are proprietary and distributed under commercial source licenses. Source availability to a licensee does not grant open-source, redistribution, sublicensing, or re-commercialization rights. Chandra Core and separately published GR standards/protocol specifications may be governed separately under their respective published terms.GRIC is included at no additional charge with every commercial GR deployment.

Protocols and open standards.

ItemTypePurpose
GR-RPCGR network protocolMachine-to-machine protocol for governed GR communications. It is not an AegisGenera product layer or identity service.
Chandra Core OpenOpen-source protocol / runtime primitiveContext Unit creation, attribution, hash chaining, evidence serialization, usage classification, and auditable metering substrate used by GR commercial products.
CRC Standard OpenOpen standardArchitecture discipline for consolidation, reduction, closure and governed boundaries.
GABA Standard OpenOpen standardGoverned AI boundary attestation framework.

General Reasoning, Inc. · 2026
Licensing inquiries: inquiries@genreason.com