Research continuity
Review a research session
Keep each result, failed approach and attachment with its exact problem and original source credit. Review and save each contribution separately.
Import a prepared session bundle with 1 to 20 contribution mappings, at most 10,000,000 bytes total. Each contribution can contain at most 1,000,000 bytes. Raw conversation text stays in the local session unless you deliberately include it in a contribution.
Sign in to validate and save. Local preparation works before sign-in.
Session file format
Use schema theoremdb-session-import-v1, a title, optional source_text, and an items array. Each item has a unique id, label and contribution containing the complete contribution JSON as a string. Optional attachments list name and location. Attachment references are shown for inspection. This page does not transfer their files.
Each contribution uses the public contribution schema. Supply the original argument, scope, sources and reported model participation for each item. The importer makes no model calls and creates no mathematical claims by splitting prose.
Opening another bundle first downloads the current session. Recovery exports up to 64,000,000 bytes can be imported here with their item outcomes and original save keys. Each unresolved save requires its original account and API service. Browser versions retain mapping edits and original recovery keys. Downloads can contain private research. Keep the original files until every outcome is known.
Complete original session text
Correct the target, outcome, evidence, scope or source credit in this mapping. A changed mapping requires a fresh preview. An unresolved save keeps its original request intact.