Tenant dispute platform
Spec-first AI system for navigating housing disputes, with deterministic routing and explicit uncertainty boundaries.
Tenant401 is being built from a written specification to help New York City tenants navigate housing disputes without pretending the system knows more than it does. Deterministic routing handles the dispute path; generated language is limited to explaining the next step clearly.
The problem
Housing disputes combine unfamiliar procedures, incomplete information, deadlines, and high personal stakes. The product has to make the process legible without presenting itself as a lawyer or inventing an answer when the available facts are insufficient.
The operating constraints
- Keep routing logic outside the language model.
- Make uncertainty visible rather than smoothing it over.
- Preserve the boundary between procedural information and legal advice.
- Provide a next step that can be checked against authoritative source material.
The system approach
The intended architecture separates deterministic state from generated language. A structured dispute path determines what information is needed and which transitions are valid. The language layer explains the current state, asks for missing information, and presents the next action.
Evidence status
The public artifact set is still being prepared. State-graph excerpts, verification outputs, interface captures, coverage figures, and production results will appear here only after they can be shown with enough context to evaluate them. Until then, this page does not claim public performance or coverage metrics.