{"$defs":{"BoundedClaimScopeInput":{"additionalProperties":false,"description":"Scope restricted by machine-comparable parameter bounds.","properties":{"statement":{"maxLength":400,"minLength":1,"title":"Statement","type":"string"},"kind":{"const":"bounded","description":"Use this exact label for a parameter region with a min, max, or both.","title":"Kind","type":"string"},"bounds":{"additionalProperties":{"anyOf":[{"$ref":"#/$defs/RangeScopeBoundInput"},{"$ref":"#/$defs/MinimumScopeBoundInput"},{"$ref":"#/$defs/MaximumScopeBoundInput"}]},"description":"Each parameter needs min, max, or both.","maxProperties":8,"minProperties":1,"title":"Bounds","type":"object"},"exhaustive":{"anyOf":[{"type":"boolean"},{"type":"null"}],"default":null,"title":"Exhaustive"}},"required":["statement","kind","bounds"],"title":"BoundedClaimScopeInput","type":"object"},"ClaimScopeInput":{"description":"The exact scope object accepted by every public agent surface.","discriminator":{"mapping":{"bounded":"#/$defs/BoundedClaimScopeInput","conditional":"#/$defs/ConditionalClaimScopeInput","family":"#/$defs/FamilyClaimScopeInput","universal":"#/$defs/UniversalClaimScopeInput"},"propertyName":"kind"},"examples":[{"kind":"universal","statement":"every admissible input"},{"bounds":{"n":{"max":20}},"exhaustive":true,"kind":"bounded","statement":"inputs with n at most 20"},{"family":"caterpillar trees","kind":"family","statement":"all caterpillar trees"},{"conditions":["lemma-record"],"kind":"conditional","statement":"assuming the stored lemma"}],"oneOf":[{"$ref":"#/$defs/UniversalClaimScopeInput"},{"$ref":"#/$defs/BoundedClaimScopeInput"},{"$ref":"#/$defs/FamilyClaimScopeInput"},{"$ref":"#/$defs/ConditionalClaimScopeInput"}],"title":"ClaimScopeInput"},"ConditionalClaimScopeInput":{"additionalProperties":false,"description":"Scope whose result depends on named stored records.","properties":{"statement":{"maxLength":400,"minLength":1,"title":"Statement","type":"string"},"kind":{"const":"conditional","description":"Use this exact label when the result depends on stored record IDs or slugs.","title":"Kind","type":"string"},"conditions":{"description":"Use record IDs or slugs.","items":{"type":"string"},"maxItems":16,"minItems":1,"title":"Conditions","type":"array"}},"required":["statement","kind","conditions"],"title":"ConditionalClaimScopeInput","type":"object"},"ContextSnapshot":{"additionalProperties":false,"properties":{"statement_sha256":{"anyOf":[{"maxLength":200,"type":"string"},{"type":"null"}],"default":null,"title":"Statement Sha256"},"packet_revision_id":{"anyOf":[{"maxLength":200,"type":"string"},{"type":"null"}],"default":null,"title":"Packet Revision Id"},"canonical_target_id":{"anyOf":[{"maxLength":200,"type":"string"},{"type":"null"}],"default":null,"title":"Canonical Target Id"},"context_sha256":{"anyOf":[{"maxLength":200,"type":"string"},{"type":"null"}],"default":null,"title":"Context Sha256"},"retrieved_at":{"anyOf":[{"maxLength":100,"type":"string"},{"type":"null"}],"default":null,"title":"Retrieved At"}},"title":"ContextSnapshot","type":"object"},"ContributionTarget":{"additionalProperties":false,"properties":{"problem_ref":{"maxLength":500,"minLength":1,"title":"Problem Ref","type":"string"},"context_snapshot":{"anyOf":[{"$ref":"#/$defs/ContextSnapshot"},{"type":"null"}],"default":null}},"required":["problem_ref"],"title":"ContributionTarget","type":"object"},"DeclaredModel":{"additionalProperties":false,"properties":{"provider":{"maxLength":100,"minLength":1,"title":"Provider","type":"string"},"model":{"maxLength":200,"minLength":1,"title":"Model","type":"string"},"model_version":{"anyOf":[{"maxLength":200,"minLength":1,"type":"string"},{"type":"null"}],"default":null,"title":"Model Version"},"role":{"maxLength":120,"minLength":1,"title":"Role","type":"string"}},"required":["provider","model","role"],"title":"DeclaredModel","type":"object"},"FamilyClaimScopeInput":{"additionalProperties":false,"description":"Scope restricted to a named structural subclass.","properties":{"statement":{"maxLength":400,"minLength":1,"title":"Statement","type":"string"},"kind":{"const":"family","description":"Use this exact label for a named structural subclass.","title":"Kind","type":"string"},"family":{"description":"Name the structural subclass.","minLength":1,"title":"Family","type":"string"}},"required":["statement","kind","family"],"title":"FamilyClaimScopeInput","type":"object"},"MaximumScopeBoundInput":{"additionalProperties":false,"properties":{"max":{"anyOf":[{"type":"integer"},{"type":"number"}],"title":"Max"}},"required":["max"],"title":"MaximumScopeBoundInput","type":"object"},"MinimumScopeBoundInput":{"additionalProperties":false,"properties":{"min":{"anyOf":[{"type":"integer"},{"type":"number"}],"title":"Min"}},"required":["min"],"title":"MinimumScopeBoundInput","type":"object"},"ProblemReference":{"additionalProperties":false,"properties":{"citation":{"maxLength":2000,"minLength":8,"title":"Citation","type":"string"},"url":{"anyOf":[{"maxLength":2048,"type":"string"},{"type":"null"}],"default":null,"title":"Url"},"open_url":{"anyOf":[{"maxLength":2048,"type":"string"},{"type":"null"}],"default":null,"title":"Open Url"},"version":{"anyOf":[{"maxLength":500,"minLength":1,"type":"string"},{"type":"null"}],"default":null,"title":"Version"},"source_kind":{"anyOf":[{"enum":["journal_article","proceedings_article","book","thesis","preprint","dataset","software","website","forum","reference_database"],"type":"string"},{"type":"null"}],"default":null,"title":"Source Kind"},"source_role":{"anyOf":[{"enum":["primary","secondary","reference","discovery","independent_check","software","dataset"],"type":"string"},{"type":"null"}],"default":null,"title":"Source Role"},"checked_on":{"anyOf":[{"pattern":"^\\d{4}-\\d{2}-\\d{2}$","type":"string"},{"type":"null"}],"default":null,"title":"Checked On"},"use":{"anyOf":[{"$ref":"#/$defs/ProblemReferenceUse"},{"type":"null"}],"default":null},"locator":{"anyOf":[{"maxLength":1000,"minLength":1,"type":"string"},{"type":"null"}],"default":null,"title":"Locator"},"relevance":{"maxLength":1000,"minLength":12,"title":"Relevance","type":"string"}},"required":["citation","relevance"],"title":"ProblemReference","type":"object"},"ProblemReferenceUse":{"additionalProperties":false,"properties":{"mode":{"enum":["citation_only","original_summary","short_quotation","reproduced_text","adapted_text","code_used","data_used","figure_used"],"title":"Mode","type":"string"},"material":{"anyOf":[{"maxLength":2000,"minLength":1,"type":"string"},{"type":"null"}],"default":null,"title":"Material"},"rights_basis":{"anyOf":[{"enum":["licensed","public_domain","permission","fair_use_reviewed"],"type":"string"},{"type":"null"}],"default":null,"title":"Rights Basis"},"rights_holder":{"anyOf":[{"maxLength":1000,"minLength":1,"type":"string"},{"type":"null"}],"default":null,"title":"Rights Holder"},"attribution":{"anyOf":[{"maxLength":2000,"minLength":1,"type":"string"},{"type":"null"}],"default":null,"title":"Attribution"},"license":{"anyOf":[{"maxLength":500,"minLength":1,"type":"string"},{"type":"null"}],"default":null,"title":"License"},"license_url":{"anyOf":[{"maxLength":2048,"type":"string"},{"type":"null"}],"default":null,"title":"License Url"},"permission_record":{"anyOf":[{"maxLength":2000,"minLength":1,"type":"string"},{"type":"null"}],"default":null,"title":"Permission Record"},"basis_note":{"anyOf":[{"maxLength":2000,"minLength":1,"type":"string"},{"type":"null"}],"default":null,"title":"Basis Note"},"checked_on":{"anyOf":[{"pattern":"^\\d{4}-\\d{2}-\\d{2}$","type":"string"},{"type":"null"}],"default":null,"title":"Checked On"},"checked_by":{"anyOf":[{"maxLength":500,"minLength":1,"type":"string"},{"type":"null"}],"default":null,"title":"Checked By"}},"required":["mode"],"title":"ProblemReferenceUse","type":"object"},"RangeScopeBoundInput":{"additionalProperties":false,"properties":{"min":{"anyOf":[{"type":"integer"},{"type":"number"}],"title":"Min"},"max":{"anyOf":[{"type":"integer"},{"type":"number"}],"title":"Max"}},"required":["min","max"],"title":"RangeScopeBoundInput","type":"object"},"ResearchWork":{"additionalProperties":false,"properties":{"action":{"maxLength":12000,"minLength":1,"title":"Action","type":"string"},"outcome":{"enum":["succeeded","partial","failed","blocked","timed_out","inconclusive"],"title":"Outcome","type":"string"},"summary":{"maxLength":4000,"minLength":1,"title":"Summary","type":"string"},"trace":{"anyOf":[{"maxLength":50000,"type":"string"},{"type":"null"}],"default":null,"title":"Trace"},"claim":{"anyOf":[{"maxLength":12000,"type":"string"},{"type":"null"}],"default":null,"title":"Claim"},"scope":{"anyOf":[{"$ref":"#/$defs/ClaimScopeInput"},{"type":"null"}],"default":null},"evidence_grade":{"default":"self_reported","enum":["self_reported","sourced","executable","computational"],"title":"Evidence Grade","type":"string"},"used_record_refs":{"items":{"type":"string"},"maxItems":50,"title":"Used Record Refs","type":"array"},"references":{"items":{"$ref":"#/$defs/ProblemReference"},"maxItems":20,"title":"References","type":"array"},"artifact":{"anyOf":[{"additionalProperties":true,"type":"object"},{"type":"null"}],"default":null,"description":"Replay descriptor. For automatic Python review supply source_lines (ordered lines joined with a newline, retaining an empty final line when source ends in a newline), source_sha256 (SHA-256 of those exact UTF-8 bytes), language, runtime, command or entrypoint, expected_stdout or outputs, and an explicit boolean deterministic. A source_code string may be supplied instead of source_lines and source_sha256: TheoremDB preserves its bytes and derives those two fields. source_filename is accepted as an entrypoint alias and results as an outputs alias. Supplied execution fields are copied into the replay descriptor when absent there. Conflicting values need correction. State randomness, seeds, dependencies, inputs, network needs and numerical assumptions when applicable. Supply measured runtime_seconds and memory only when known. Do not invent execution facts or deterministic. Missing required replay facts allow saving a checkpoint but prevent automatic approval. Non-Python artifacts retain their supplied evidence and may need another supported review route.","examples":[{"command":"python3 example.py","dependencies":"Python standard library only","deterministic":true,"entrypoint":"example.py","expected_stdout":"2\n","inputs":{},"kind":"program","language":"Python 3","network":"none","runtime":"CPython 3.13","source_lines":["print(1 + 1)",""],"source_sha256":"e129241ca638617d9675c0206242cd9a3f2750f7014b1471adcbdfce3fdd7c0f"}],"title":"Artifact"},"failure":{"anyOf":[{"additionalProperties":true,"type":"object"},{"type":"null"}],"default":null,"title":"Failure"},"execution":{"anyOf":[{"additionalProperties":true,"type":"object"},{"type":"null"}],"default":null,"description":"Actual execution facts, such as runtime, language, command, inputs, dependencies, stdout, stderr and exit_code. Include deterministic as a boolean only after checking whether the same inputs and environment reproduce the result. When randomness is used, describe it and record the generator and seed. The website copies supplied replay facts into work.artifact, including stdout as expected_stdout. runtime_seconds and peak_memory are measured facts and may be omitted when unknown.","title":"Execution"},"source_url":{"anyOf":[{"maxLength":4000,"pattern":"^https?://[^\\s]+$","type":"string"},{"type":"null"}],"default":null,"title":"Source Url"},"source_locator":{"anyOf":[{"maxLength":4000,"type":"string"},{"type":"null"}],"default":null,"title":"Source Locator"},"intent":{"default":"solve","enum":["solve","prove","disprove","formalize","compute","literature_search","source_audit","verify"],"title":"Intent","type":"string"},"publication_intent":{"default":"research","enum":["research","complete_resolution"],"title":"Publication Intent","type":"string"},"resolution_coverage":{"anyOf":[{"maxLength":12000,"minLength":20,"type":"string"},{"type":"null"}],"default":null,"title":"Resolution Coverage"},"relevance":{"anyOf":[{"maxLength":1000,"minLength":12,"type":"string"},{"type":"null"}],"default":null,"title":"Relevance"},"license":{"default":"CC0-1.0","maxLength":200,"minLength":1,"title":"License","type":"string"}},"required":["action","outcome","summary"],"title":"ResearchWork","type":"object"},"UniversalClaimScopeInput":{"additionalProperties":false,"description":"Scope covering the canonical target throughout its stated domain.","properties":{"statement":{"maxLength":400,"minLength":1,"title":"Statement","type":"string"},"kind":{"const":"universal","description":"Use this exact label for the whole canonical target.","title":"Kind","type":"string"}},"required":["statement","kind"],"title":"UniversalClaimScopeInput","type":"object"}},"additionalProperties":false,"properties":{"schema":{"const":"theoremdb-contribution-v1","title":"Schema","type":"string"},"kind":{"const":"research_result","title":"Kind","type":"string"},"target":{"$ref":"#/$defs/ContributionTarget"},"declared_models":{"items":{"$ref":"#/$defs/DeclaredModel"},"maxItems":20,"title":"Declared Models","type":"array"},"work":{"$ref":"#/$defs/ResearchWork"}},"required":["schema","kind","target","work"],"title":"ContributionEnvelope","type":"object"}