https://github.com/szl-holdings/terra
Real estate intelligence. Deal pipeline scoring, portfolio analytics, market signals, and AI-assisted underwriting.
https://github.com/szl-holdings/terra
ai-governance deal-pipeline proptech react real-estate typescript underwriting
Last synced: about 2 months ago
JSON representation
Real estate intelligence. Deal pipeline scoring, portfolio analytics, market signals, and AI-assisted underwriting.
- Host: GitHub
- URL: https://github.com/szl-holdings/terra
- Owner: szl-holdings
- License: other
- Created: 2026-04-30T17:32:36.000Z (2 months ago)
- Default Branch: main
- Last Pushed: 2026-05-11T12:22:46.000Z (about 2 months ago)
- Last Synced: 2026-05-11T14:28:12.262Z (about 2 months ago)
- Topics: ai-governance, deal-pipeline, proptech, react, real-estate, typescript, underwriting
- Homepage: https://szlholdings.com
- Size: 28.3 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Terra
> Real estate intelligence.
[](https://github.com/szl-holdings/terra/actions/workflows/ci.yml) [](https://github.com/szl-holdings/terra/actions/workflows/codeql.yml) [](https://securityscorecards.dev/viewer/?uri=github.com/szl-holdings/terra)
[](#status) [](./LICENSE) [](./SECURITY.md)
[](https://github.com/szl-holdings/ouroboros) [](https://github.com/szl-holdings/ouroboros) [](https://github.com/szl-holdings/ouroboros-thesis) [](https://github.com/szl-holdings/lutar-lean) [](https://doi.org/10.5281/zenodo.20162352)
Terra grades deals, tracks portfolios, surfaces market signals, and supports AI-assisted underwriting — every recommendation routed through policy and every decision sealed in the proof chain.
## What Terra does
- **Deal pipeline scoring** — consistent grade across origination sources.
- **Portfolio analytics** — performance, exposure, and rebalance signals.
- **Market signal detection** — rates, comps, supply, sentiment.
- **Governed underwriting** — AI proposes terms, underwriter approves, ledger records.
- **Spatial analytics** — site, submarket, and corridor-level lenses.
## Architecture
Terra is a domain surface on the SZL Holdings platform. Every action is routed through the same governed pipeline:
```
sense → structure → correlate → explain → recommend → approve → execute → proof
```
The execution fabric is [**A11oy**](https://github.com/szl-holdings/a11oy). The bounded-loop kernel underneath every domain pack is [**ouroboros**](https://github.com/szl-holdings/ouroboros) — implementing the [Lutar Invariant](https://github.com/szl-holdings/ouroboros-thesis) for measurable convergence with auditable closure.
## Status
**Alpha.** Terra is under active development as part of the SZL Holdings platform. Public releases are tagged via [GitHub releases](https://github.com/szl-holdings/terra/releases). Security disclosures: see [SECURITY.md](./SECURITY.md).
## Security & governance
- CI on every push and pull request
- CodeQL static analysis on the default branch and every PR
- OpenSSF Scorecard published weekly, score visible in the badge above
- Dependabot updates, weekly cadence, SHA-pinned actions
- Secret scanning and push protection enabled
- Branch protection: signed commits, required reviews, no force push, no deletion
- Reusable workflows pinned to commit SHAs ([szl-holdings/.github](https://github.com/szl-holdings/.github))
Report a security issue privately via [GitHub Security Advisories](https://github.com/szl-holdings/terra/security/advisories/new) or [stephen@szlholdings.com](mailto:stephen@szlholdings.com).
## Mechanisms it inherits
The terra surface inherits the same six machine-verified mechanisms as every other SZL surface:
| # | Mechanism | Where it's proven |
|---|---|---|
| I | Λ-gate (9-axis Lutar Invariant) | [`lutar-lean/Lutar/Invariant.lean`](https://github.com/szl-holdings/lutar-lean/blob/main/Lutar/Invariant.lean) |
| II | Receipt chain (signed bounded recursion) | [`szl-holdings/ouroboros`](https://github.com/szl-holdings/ouroboros) v6.2 substrate |
| III | Bekenstein gate (information-bounded admit) | Paper v11 §3.3 |
| IV | Dual-witness verdict (MATCH/DIVERGE) | Paper v11 §3.4 |
| V | Witness diversity (Gauss class-number gating) | Paper v12 §4 (in review) |
| VI | Reference-vector parity (bit-exact across runtimes) | [`RefVectors.lean`](https://github.com/szl-holdings/lutar-lean/blob/main/RefVectors.lean) |
Verified test counts: ouroboros runtime **218/218**; full platform monorepo **1,220 tests across 76 packages** (incl. MCP gateway 27/27 e2e). Paper line v1–v11 published on Zenodo (concept DOI [10.5281/zenodo.19944926](https://doi.org/10.5281/zenodo.19944926)); v12 in review ([thesis PR #25](https://github.com/szl-holdings/ouroboros-thesis/pull/25)).
## Citation
If you reference Terra academically or in industry research, use the metadata in [`CITATION.cff`](./CITATION.cff).
## License
Terra is proprietary. See [LICENSE](./LICENSE) and [NOTICE](./NOTICE). The underlying [ouroboros runtime](https://github.com/szl-holdings/ouroboros) is Apache-2.0 and the [Ouroboros Thesis](https://github.com/szl-holdings/ouroboros-thesis) is CC BY 4.0.
---
**[SZL Holdings](https://szlholdings.com)** · Founder & CEO **Stephen P. Lutar** · [stephen@szlholdings.com](mailto:stephen@szlholdings.com)
© 2024–2026 SZL Holdings. All rights reserved.