Echovalidum
Copyright 2026 Brisen Koch. All rights reserved.

This software is licensed under the PolyForm Noncommercial License 1.0.0
(see LICENSE). You may use, modify, and redistribute this software for
any **noncommercial** purpose — academic research, teaching, personal
study, hobby projects, internal evaluation by non-profit organizations,
and so on — at no cost.

============================================================================
COMMERCIAL USE REQUIRES A PAID LICENSE.
============================================================================

Any use "with anticipated commercial application" — including but not
limited to deployment in a for-profit product or service, redistribution
inside a commercial offering, paid consulting work that depends on
this software, or use by a for-profit company's R&D / engineering
organization — is **not** granted by the PolyForm Noncommercial license
and requires a separate commercial license from the copyright holder.

Commercial licensing inquiries:    hello@echovalidum.com

============================================================================
INTERNAL ENGINE
============================================================================

This product re-exports the Σoilith ("Soilith") lawbook — a lattice-based
memory model with trust-graded cells, Cayley neighborhood disjointness,
scale-aware topology capsules over (Z/2)^k with Euler-characteristic
invariants, the Sabelfeld-Sands four-channel termination-sensitive
non-interference discharge, and Z3-backed mechanizable verification with
PQC attestation. The Python facade `echovalidum` re-exports the engine
under one clean namespace.

============================================================================
WHAT IS NOT INCLUDED IN THIS DISTRIBUTION
============================================================================

The following are the author's proprietary research artefacts and are
explicitly NOT included in the wheel or sdist. They are claimed under
copyright AND, where applicable, as separately-protected databases:

  * `catalog/discoveries.json` — the author's reference discovery
    catalog (1,608 indexed entries spanning the 22 research-department
    implementations), a structured selection-and-arrangement of
    machine-found laws produced by the author's own discovery runs
    over a proprietary starting arena.
  * `lawbook.arena`, `*.arena` — populated arena snapshots used as
    inputs to the discovery engine.
  * `langΣoilith.ini` — the 5,819-line master specification document.
  * All `*_spool/` operational data and the contents of `paper/`,
    `bench/artifact/`, and other internal directories.

Distribution of these artefacts requires a separate commercial license
from the copyright holder. Reverse engineering, extraction, or
reconstruction of these artefacts from the licensed code is not granted
by either the PolyForm Noncommercial license or any patent grant herein.

Licensed extracts from the reference catalog and arena snapshots are
available under commercial agreement: hello@echovalidum.com

============================================================================
TRADEMARKS
============================================================================

"Echovalidum", "Σoilith", "Soilith", "AegisOps", "ct-echo", "borrowsmith",
"provenance", "particle-bound", and "scale-heap" are trademarks of
Brisen Koch. The PolyForm Noncommercial License is a copyright and
patent license only; it does NOT grant any right to use these names,
logos, or marks in derivative products, branding, or marketing.
Trademark clearance inquiries: hello@echovalidum.com
