Contract AI needs citation discipline and deterministic tools where rule math belongs.
Labs / External
ContractIQ
A labs product for source-bound contract answers and deterministic rule checks for airline union teams.
ContractIQ is current Cyrillian lab work for airline unions and pilot groups that need faster member support without loosening the contract standard. It combines cited answers, deterministic rule tools, missing-fact prompts, union-controlled sources, and tenant-specific launch boundaries. Spirit is the working tenant proof surface shown here.
Airline contract surface
Source-bound Q&A
Deterministic rule tools
Missing-fact prompts
Union-controlled sources
Tenant-specific launch
Issue reports
Product surface
A concrete surface, not a category claim.
What it helps a person do
The product surface matters because the work matters.
Give members first-pass answers tied to the configured contract, side documents, policies, and approved guidance.
Turn repeated questions into explicit tools for notice windows, rest and report time, day-off protection, and assignment branches.
Keep reps in control with tenant-specific source packages, escalation language, and source-backed issue reports.
What Cyrillian proved
Lessons that carry into the next products.
Trust comes from visible limits, missing-fact prompts, and escalation paths, not broad claims.
Next