Verification Receipt
TypeSafe AI
What this proves
7 clauses were found word-for-word in TypeSafe AI's Terms of Service on September 18, 2026. This receipt is stored permanently and cannot be altered.
Details
808b938d8a47c752ddb6790efefdf591b29444b4e1e5de331cc5e1b8b9ddba07To verify independently: download the TOS from the URL above, hash it with SHA-256, and compare. If it matches, the document has not changed since verification.
Clauses Checked (7/8 verified)
“you hereby grant TypeSafe an unrestricted, perpetual, irrevocable, non-exclusive, fully paid-up, royalty-free, transferable, sublicensable right to exploit the Feedback in any manner and for any purpo...”Show full text
“you hereby grant TypeSafe an unrestricted, perpetual, irrevocable, non-exclusive, fully paid-up, royalty-free, transferable, sublicensable right to exploit the Feedback in any manner and for any purpose, including to improve the Site and create other products and services.”
“TO THE FULLEST EXTENT PERMITTED BY LAW, THE AGGREGATE LIABILITY OF THE TYPESAFE ENTITIES TO YOU FOR ALL CLAIMS ARISING OUT OF OR RELATING TO THE USE OF OR ANY INABILITY TO ACCESS OR USE ANY PORTION OF...”Show full text
“TO THE FULLEST EXTENT PERMITTED BY LAW, THE AGGREGATE LIABILITY OF THE TYPESAFE ENTITIES TO YOU FOR ALL CLAIMS ARISING OUT OF OR RELATING TO THE USE OF OR ANY INABILITY TO ACCESS OR USE ANY PORTION OF THE SITE OR OTHERWISE UNDER THESE TERMS, WHETHER IN CONTRACT, TORT, OR OTHERWISE, IS LIMITED TO $100 USD.”
“you and TypeSafe agree that every dispute arising in connection with these Terms, the Site, or communications from us will be resolved through binding arbitration. YOU UNDERSTAND AND AGREE THAT, BY EN...”Show full text
“you and TypeSafe agree that every dispute arising in connection with these Terms, the Site, or communications from us will be resolved through binding arbitration. YOU UNDERSTAND AND AGREE THAT, BY ENTERING INTO THESE TERMS, YOU AND TYPESAFE ARE EACH WAIVING THE RIGHT TO A TRIAL BY JURY OR TO PARTICIPATE IN A CLASS ACTION.”
The exact text was not found in the current TOS document. This can happen if the company updated their terms, if the clause was slightly paraphrased during extraction, or if it came from a linked document like a privacy policy.
“TypeSafe reserves the right to modify or discontinue the Site at any time (including by limiting or discontinuing certain features of the Site), temporarily or permanently, without notice to you. Type...”Show full text
“TypeSafe reserves the right to modify or discontinue the Site at any time (including by limiting or discontinuing certain features of the Site), temporarily or permanently, without notice to you. TypeSafe will have no liability for any change to the Site or any suspension or termination of your access to or use of the Site.”
“TYPESAFE DISCLAIMS ALL WARRANTIES OF ANY KIND, WHETHER EXPRESS OR IMPLIED, RELATING TO THE SITE AND ALL MATERIALS AND CONTENT AVAILABLE THROUGH THE SITE, INCLUDING: (I) ANY IMPLIED WARRANTY OF MERCHAN...”Show full text
“TYPESAFE DISCLAIMS ALL WARRANTIES OF ANY KIND, WHETHER EXPRESS OR IMPLIED, RELATING TO THE SITE AND ALL MATERIALS AND CONTENT AVAILABLE THROUGH THE SITE, INCLUDING: (I) ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, TITLE, QUIET ENJOYMENT, OR NON-INFRINGEMENT; AND (II) ANY WARRANTY ARISING OUT OF COURSE OF DEALING, USAGE, OR TRADE.”
“We reserve the right to change these Terms on a going-forward basis at any time. You agree to be bound by the most current version of these Terms each time you access or use the Site.”
Rate this clause →“Do not submit any information or other materials that you consider confidential or proprietary through the Site.”
Rate this clause →“If you do not wish to resolve disputes by binding arbitration, you may opt out of the provisions of this Section 12 ( Dispute Resolution and Arbitration ) within thirty (30) days after the date that y...”Show full text
“If you do not wish to resolve disputes by binding arbitration, you may opt out of the provisions of this Section 12 ( Dispute Resolution and Arbitration ) within thirty (30) days after the date that you agree to these Terms by sending a letter to TypeSafe AI, Inc., Attention: Legal Department – Arbitration Opt-Out, 255 California St, Suite 1300, San Francisco, CA 94117 that specifies: your full legal name, the email address associated with your account on the Site, and a statement that you wish to opt out of arbitration (" Opt-Out Notice ").”
Why did 1 clause fail?
Verification works by searching for the exact clause text inside the TOS document. A clause fails when the wording does not match character-for-character. Common reasons: the company quietly updated their terms, the AI slightly paraphrased when extracting, or the clause lives in a separate linked document (like a privacy policy or data processing agreement). Failed clauses are flagged as “AI-extracted” on the site until they can be re-verified.
How this works
Stored on Arweave
The proof data is uploaded to Arweave, a permanent storage network. Once there, it cannot be changed or deleted by anyone - not even CrazyTOS.
Registered on AO Computer
Each verification is also registered on AO, a decentralized computer built on Arweave. Think of it as a public ledger: every verified clause gets an entry that anyone can check, creating a tamper-proof chain of records independent of any single company.
Why it matters
Companies change their terms all the time. This system creates a permanent, public record of what they said and when. If a clause disappears tomorrow, the proof still exists.
Verification Chain▶
The full provable compute path for this verification. Every link below points to an immutable on-chain record.
808b938d8a47c752ddb6790efefdf591b29444b4e1e5de331cc5e1b8b9ddba07