Every system, with the evidence tier it actually stands on, what it proves, what stays locked, and the artifact you can inspect under NDA. Nothing borrows another tier's credibility.
| System | Evidence tier | What it proves | What remains locked | Artifact |
|---|---|---|---|---|
Aria Connectorcross-CLI harness |
ACTIVE-LOCAL | Installable harness wiring four CLIs to deterministic gates, runtime, and action ledgers. | ◆ lockedEvery external client running latest runtime without fresh install/readback. | @aria_asi/cli · runtime :PORT |
Governance runtimegovernance gates |
ACTIVE-LOCAL | Turn-flow phases, claim-class gates, and decision packets enforced locally. | ◆ lockedAuthority over external actions beyond prepared receipts. | coach phase logs |
Doctrine Trigger Mapreview doctrine |
REPOSITORY ASSET | Typed doctrine triggers and repair paths mapped across surfaces. | ◆ lockedRuntime activation on every client without readback. | doctrine map (typed) |
Cross-CLI Hivesession coordination |
ACTIVE-LOCAL | Cross-surface session binding and coordinated exports. | ◆ lockedGuaranteed concurrency at scale without load receipts. | hive export bundles |
Noor Forgedeterministic executor |
REPOSITORY ASSET | Composed work handed to deterministic primitives that run identically. | ◆ lockedFull autonomous external action without operator gate. | execution primitives |
Aria Research Substratesource work engine |
VERIFIED QA | Planner, workers, receipts, deterministic replay, runtime decision packet, systemd templates. | ◆ lockedUnrestricted external scraping; legal sufficiency of all source terms; factual truth of content. | queue hash · receipts |
Atlas Sentinel REI OSreal estate intelligence |
LIVE | Source-lane orchestration, evidence gates, work orders, false-claim locks, review workflows. | ◆ lockedOffer authority; title/legal conclusions; seller motivation; buyer demand; investment advice. | operator UI · receipts |
Deterministic Scraper Fleetcrawler + browser actors |
VERIFIED QA | Bounded crawler/browser jobs with robots, crawl, and DOM-replay receipts. | ◆ lockedAny source whose terms forbid automated access. | worker receipts |
Property Evidence Automationwork orders |
LIVE | Property-specific work orders generate receipts before claims unlock. | ◆ lockedARV / offer authority absent a separate receipt. | work-order receipts |
County Due Diligencepublic records |
VERIFIED QA | County portal reads recorded with provenance and claim class. | ◆ lockedTitle / legal conclusions; court outcomes. | diligence receipts |
WholesaleDispo CRMcommand center |
LIVE | Code-backed scaffold, action contracts, owner-local receipt write/readback, verifier/build checks. | ◆ lockedDeployed live UI mutation; outreach; full CRM overhaul unless separately receipted. | cockpit · receipts |
CEO Decision Bookoperating intelligence |
REPOSITORY ASSET | Operating-intelligence generation, evidence grading, decision routing. | ◆ lockedThat each decision produced cash events without field-outcome receipts. | decision book (typed) |
Funder Compasscapital map |
REPOSITORY ASSET | Capital graded by evidence: prior investment = FACT, mandate = INFERENCE, list = HYPOTHESIS. | ◆ lockedFunder intent or commitment absent a response receipt. | capital map (graded) |
Running services, scheduled jobs, production UI, DB writebacks, business outputs.
Local runtime, code-backed contracts, build/verifier receipts, UI/API smokes.
Smokes, canaries, verifier output, deterministic replay hashes, build passes.
Typed modules, maps, doctrine, corpus packs, internal playbooks.
Each system has a dedicated case study, and the proof room holds the live logs, replays and verifier output.