{"id":49943413,"url":"https://github.com/szl-holdings/terra","last_synced_at":"2026-05-17T12:47:24.607Z","repository":{"id":354887919,"uuid":"1225834259","full_name":"szl-holdings/terra","owner":"szl-holdings","description":"Real estate intelligence. Deal pipeline scoring, portfolio analytics, market signals, and AI-assisted underwriting.","archived":false,"fork":false,"pushed_at":"2026-05-11T12:22:46.000Z","size":29,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-05-11T14:28:12.262Z","etag":null,"topics":["ai-governance","deal-pipeline","proptech","react","real-estate","typescript","underwriting"],"latest_commit_sha":null,"homepage":"https://szlholdings.com","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/szl-holdings.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-04-30T17:32:36.000Z","updated_at":"2026-05-11T12:22:51.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/szl-holdings/terra","commit_stats":null,"previous_names":["szl-holdings/terra"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/szl-holdings/terra","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/szl-holdings%2Fterra","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/szl-holdings%2Fterra/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/szl-holdings%2Fterra/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/szl-holdings%2Fterra/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/szl-holdings","download_url":"https://codeload.github.com/szl-holdings/terra/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/szl-holdings%2Fterra/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":33139580,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-17T09:28:26.183Z","status":"ssl_error","status_checked_at":"2026-05-17T09:27:52.702Z","response_time":107,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ai-governance","deal-pipeline","proptech","react","real-estate","typescript","underwriting"],"created_at":"2026-05-17T12:47:22.377Z","updated_at":"2026-05-17T12:47:24.601Z","avatar_url":"https://github.com/szl-holdings.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# Terra\n\n\u003e Real estate intelligence.\n\n[![Docs CI](https://github.com/szl-holdings/terra/actions/workflows/ci.yml/badge.svg?branch=main)](https://github.com/szl-holdings/terra/actions/workflows/ci.yml) [![CodeQL](https://github.com/szl-holdings/terra/actions/workflows/codeql.yml/badge.svg?branch=main)](https://github.com/szl-holdings/terra/actions/workflows/codeql.yml) [![OpenSSF Scorecard](https://api.securityscorecards.dev/projects/github.com/szl-holdings/terra/badge)](https://securityscorecards.dev/viewer/?uri=github.com/szl-holdings/terra)\n[![Status](https://img.shields.io/badge/status-alpha-C8B26A?style=flat-square)](#status) [![License](https://img.shields.io/badge/license-Proprietary-1F2937?style=flat-square)](./LICENSE) [![Security policy](https://img.shields.io/badge/security-policy-01696F?style=flat-square\u0026logo=github\u0026logoColor=white)](./SECURITY.md)\n[![Runtime](https://img.shields.io/badge/runtime-ouroboros%20v6.3.0-2DA44E?style=flat-square)](https://github.com/szl-holdings/ouroboros) [![Runtime tests](https://img.shields.io/badge/runtime%20tests-218%2F218-2DA44E?style=flat-square)](https://github.com/szl-holdings/ouroboros) [![Thesis](https://img.shields.io/badge/thesis-v11%20published%20%C2%B7%20v12%20in%20review-805AD5?style=flat-square)](https://github.com/szl-holdings/ouroboros-thesis) [![Lean](https://img.shields.io/badge/Lean%204-kernel--verified-2D5BB9?style=flat-square\u0026logo=lean\u0026logoColor=white)](https://github.com/szl-holdings/lutar-lean) [![Runtime DOI](https://img.shields.io/badge/runtime%20DOI-10.5281%2Fzenodo.20162352-3b82f6?style=flat-square)](https://doi.org/10.5281/zenodo.20162352)\n\nTerra 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.\n\n## What Terra does\n\n- **Deal pipeline scoring** — consistent grade across origination sources.\n- **Portfolio analytics** — performance, exposure, and rebalance signals.\n- **Market signal detection** — rates, comps, supply, sentiment.\n- **Governed underwriting** — AI proposes terms, underwriter approves, ledger records.\n- **Spatial analytics** — site, submarket, and corridor-level lenses.\n\n## Architecture\n\nTerra is a domain surface on the SZL Holdings platform. Every action is routed through the same governed pipeline:\n\n```\nsense → structure → correlate → explain → recommend → approve → execute → proof\n```\n\nThe 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.\n\n## Status\n\n**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).\n\n## Security \u0026 governance\n\n- CI on every push and pull request\n- CodeQL static analysis on the default branch and every PR\n- OpenSSF Scorecard published weekly, score visible in the badge above\n- Dependabot updates, weekly cadence, SHA-pinned actions\n- Secret scanning and push protection enabled\n- Branch protection: signed commits, required reviews, no force push, no deletion\n- Reusable workflows pinned to commit SHAs ([szl-holdings/.github](https://github.com/szl-holdings/.github))\n\nReport 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).\n\n## Mechanisms it inherits\n\nThe terra surface inherits the same six machine-verified mechanisms as every other SZL surface:\n\n| # | Mechanism | Where it's proven |\n|---|---|---|\n| I | Λ-gate (9-axis Lutar Invariant) | [`lutar-lean/Lutar/Invariant.lean`](https://github.com/szl-holdings/lutar-lean/blob/main/Lutar/Invariant.lean) |\n| II | Receipt chain (signed bounded recursion) | [`szl-holdings/ouroboros`](https://github.com/szl-holdings/ouroboros) v6.2 substrate |\n| III | Bekenstein gate (information-bounded admit) | Paper v11 §3.3 |\n| IV | Dual-witness verdict (MATCH/DIVERGE) | Paper v11 §3.4 |\n| V | Witness diversity (Gauss class-number gating) | Paper v12 §4 (in review) |\n| VI | Reference-vector parity (bit-exact across runtimes) | [`RefVectors.lean`](https://github.com/szl-holdings/lutar-lean/blob/main/RefVectors.lean) |\n\nVerified 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)).\n\n## Citation\n\nIf you reference Terra academically or in industry research, use the metadata in [`CITATION.cff`](./CITATION.cff).\n\n## License\n\nTerra 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.\n\n---\n\n**[SZL Holdings](https://szlholdings.com)** · Founder \u0026 CEO **Stephen P. Lutar** · [stephen@szlholdings.com](mailto:stephen@szlholdings.com)\n\n© 2024–2026 SZL Holdings. All rights reserved.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fszl-holdings%2Fterra","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fszl-holdings%2Fterra","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fszl-holdings%2Fterra/lists"}