Ask a decision question
Give Atlas a migration, capability, or claim—not a vague topic.
A proof-aware technical decision agent
Ask about a Hyphae migration, feature, or performance statement. Atlas finds the applicable versioned evidence, resolves authority, and gives you a decision—not a document dump.
Live architecture
The animated path represents the real tool flow used for every report.
The animated path represents the real tool flow used for every report.
Atlas tells you whether a technical decision is supported, conditional, unsafe, or unknown—and shows the evidence boundary behind that answer.
The 60-second explanation
It is a decision layer over versioned, structured evidence. Every step has a specific job.
Give Atlas a migration, capability, or claim—not a vague topic.
Sanity Context returns the Knowledge Base outline through initial_context.
Knowledge BaseA pre-built, source-linked index created by Sanity from the selected Hyphae dataset.The configured model selects validated paths; Atlas calls knowledge_base_read directly.
The report separates facts, qualifiers, conflicts, limitations, and sources.
VerdictThe decision class: supported, unsupported, conditional, unknown, or unproven.Start with a real decision
Each example is a complete job Atlas can perform. Select one and the form is prepared for you.
A real conflict Atlas had to resolve
A historical target document said no G7 run had passed. Current gate evidence says G7 is closed. The 3.0.0 receipt proves a release, but not a new dedicated-hardware G7 run. Atlas must preserve all three without flattening them into one answer.
Current gate · authority 95
The gate index records virtualized operational-scale closure and explicitly excludes dedicated-hardware, interference, and portable latency certification.
docs/gates/native-gate-status.mdSafe conclusion
G7 is closed, but it cannot be cited as portable or dedicated-hardware latency certification for Hyphae 3.0.0.Why structure wins
Keyword search returns both “not passed” and “closed.” Version, lifecycle, evidence class, and authority turn those strings into a correct decision.Interactive evidence check
Each example is a complete job Atlas can perform. Select one and the form is prepared for you.
Evaluation lab
The corpus checks verdicts, exact upstream evidence, critical terminology, per-finding grounding, prohibited assertions, and real Context tool usage.
All 12 cases passed in one uninterrupted run. Every required upstream path and semantic term group resolved, every finding was grounded, both Context tools were observed, and zero affirmative prohibited assertions passed.
README.md · CHANGELOG.mdfirst accepted mutationdocs/native/directory-format-v1.md · compatibility/README.mdpending · promotionREADME.mdnot establisheddocs/native/directory-format-v1.mdseparate · importmcp/README.md · contracts/native-mcp-v2.jsonread-only · explicitdocs/native/mvcc-commit-v1.md · docs/product/claims.mdsnapshot isolation · first-committer-winsdocs/native/sql-semantics-v1.md · docs/product/claims.mdbounded · fail-closedmcp/README.md · contracts/native-mcp-v2.json4 MiB · one activedocs/gates/native-gate-status.md · docs/product/claims.mdvirtualized · no latency certificationdocs/product/claims.md · docs/native/mvcc-commit-v1.mdsnapshot isolation · write skewdocs/product/claims.md · docs/native/sql-semantics-v1.mdbounded · prohibited|forbidden|must not|non-claimdocs/product/agent-memory.mdunreleasedWhat makes the answer useful
The exact release, surface, protocol, and environment for which the answer is valid.
Conditions that must travel with the claim so it does not become misleading.
Sources that disagree, plus the authority rule used to resolve—or preserve—the uncertainty.
The Knowledge Base entries and commits used to reach the conclusion.