{
 "schema": "vela.frontier-twin.v0.1",
 "what": "Machine twin of the frontier page family: the same loader output the human pages render, re-serialized. The page footer prints this document's sha256 as computed at bake.",
 "slug": "sidon-sets",
 "vfr_id": "vfr_496956067dc5ad79",
 "name": "Additive combinatorics: Sidon sets and N(h,k) bounds",
 "head": {
  "id": "vev_d30acf067ad58787",
  "after_hash": "sha256:e1233eb78b69ec3ffb82d1cfaf1db400a85353771e0579bdfccba0ed570135d7"
 },
 "reproduce": "vela reproduce projects/sidon-sets",
 "snapshot_hash": "8badc78d64f9cdb5b9e9594b0e2855d9295d4b99abf972db104f3b417fa630af",
 "stats": {
  "avg_confidence": 0.827,
  "categories": {
   "theoretical": 22
  },
  "condition_record_count": 22,
  "confidence_distribution": {
   "high_gt_80": 20,
   "low_lt_60": 2,
   "medium_60_80": 0
  },
  "confidence_update_count": 0,
  "contested": 1,
  "event_count": 33,
  "evidence_atom_count": 22,
  "findings": 22,
  "gaps": 0,
  "human_reviewed": 1,
  "link_types": {},
  "links": 0,
  "negative_space": 0,
  "proposal_count": 39,
  "replicated": 0,
  "review_event_count": 23,
  "source_count": 22,
  "unreplicated": 22
 },
 "frontier": {
  "compiled_at": "2026-05-09T19:20:04Z",
  "compiler": "vela/0.75.0",
  "dependencies": [],
  "description": "",
  "errors": 0,
  "name": "Additive combinatorics: Sidon sets and N(h,k) bounds",
  "papers_processed": 0
 },
 "proof_state": {
  "last_event_at_export": "2026-05-09T22:52:52.333564+00:00",
  "latest_packet": {
   "event_log_hash": "87ef54dc4a8e81cd32e59f40f4d7fd875dcb2ca27f6a5984c7c9f3cc33f99076",
   "generated_at": "2026-05-21T10:21:36.976630+00:00",
   "packet_manifest_hash": "cd3cab50d044de47b1de31f2a8a06a3b812c20a61af3c8c5c412748dfbba5720",
   "snapshot_hash": "8badc78d64f9cdb5b9e9594b0e2855d9295d4b99abf972db104f3b417fa630af",
   "status": "stale"
  },
  "stale_reason": "Applied proposal vpr_1879d8894dd07e64 after latest proof export"
 },
 "actors": [
  {
   "algorithm": "ed25519",
   "created_at": "2026-06-03T22:39:58.623524+00:00",
   "id": "agent:canopus-lean-2026-06-03",
   "public_key": "b1264a5c22d5af21b3c0f22027a352b1bab7539e737f14f50b6c01ad77a2dc8a"
  },
  {
   "algorithm": "ed25519",
   "created_at": "2026-06-10T06:16:09.468441+00:00",
   "id": "reviewer:will-blair",
   "public_key": "4892f93877e637b5f59af31d9ec6704814842fb278cacb0eb94704baef99455e"
  }
 ],
 "events": [
  {
   "k": 0,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:eb552941b1fc0b6eb2358d447a4b3457154c0fe16f844483fd67ba100b0d009c",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_96a3ee14236bfe3f",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_0278b354889109bb"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_63f4bcd4f4904a08",
    "type": "finding"
   },
   "timestamp": "2026-05-09T19:20:20.719771+00:00"
  },
  {
   "k": 1,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:e53b9691b93e1541b9cf63b53f0d85e788e1a3c0c6b628e2b111ecd83795bf6c",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_d2cd7a944b937b0c",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_d4460bfc4377511d"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_0baa77910460c953",
    "type": "finding"
   },
   "timestamp": "2026-05-09T19:20:29.333841+00:00"
  },
  {
   "k": 2,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:ff6ff7a8645b2a7996871cc60c0502425e118bb03c456c54e1d63e6829a14909",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_bafff34df7ac6c1c",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_48072f346e09665f"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_3bde881fed68d7dd",
    "type": "finding"
   },
   "timestamp": "2026-05-09T19:20:35.233166+00:00"
  },
  {
   "k": 3,
   "actor": {
    "id": "reviewer:will-blair",
    "type": "human"
   },
   "after_hash": "sha256:8696aff01d4321f0c46762db47a7aa27a312be3d5a89528ad41369b385990a2c",
   "before_hash": "sha256:ff6ff7a8645b2a7996871cc60c0502425e118bb03c456c54e1d63e6829a14909",
   "caveats": [],
   "id": "vev_22c1fb678f86bdbb",
   "kind": "finding.reviewed",
   "payload": {
    "proposal_id": "vpr_6908c4cf64f0f4ba",
    "status": "needs_revision"
   },
   "reason": "Bound and construction look correct under the Nathanson hypothesis but I want a Lean stub before promoting to accepted-core. The proof step that reduces geometric to polynomial diameter needs an explicit witness.",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_3bde881fed68d7dd",
    "type": "finding"
   },
   "timestamp": "2026-05-09T19:20:56.637627+00:00"
  },
  {
   "k": 4,
   "actor": {
    "id": "reviewer:manual",
    "type": "human"
   },
   "after_hash": "sha256:null",
   "before_hash": "sha256:null",
   "caveats": [],
   "id": "vev_37fde12745314ba6",
   "kind": "artifact.asserted",
   "payload": {
    "artifact": {
     "access_tier": "public",
     "content_hash": "sha256:290bfbff96297718b2972c86aadb338e3618fa2e37bc0301933f7dff07f265f8",
     "created": "2026-05-09T19:21:38.572529+00:00",
     "id": "va_e3df5bb17c7eead9",
     "kind": "source_file",
     "license": "Apache-2.0",
     "locator": ".vela/artifact-blobs/sha256/290bfbff96297718b2972c86aadb338e3618fa2e37bc0301933f7dff07f265f8",
     "media_type": "text/x-lean",
     "metadata": {
      "carina_kind": "proof_script",
      "carina_proof_tool": "lean4",
      "carina_proof_tool_version": "4.7.0"
     },
     "name": "Lean 4 stub: h-squared-dissociated polynomial-diameter sketch",
     "provenance": {
      "authors": [],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T19:21:38.572191+00:00",
       "extractor_version": "0.75.0",
       "method": "artifact_deposit",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "license": "Apache-2.0",
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": null,
      "source_type": "database_record",
      "title": "Vela Sidon-set example, v0.76.5 (Gowers-shaped)",
      "year": null
     },
     "retracted": false,
     "size_bytes": 3032,
     "storage_mode": "local_blob",
     "target_findings": [
      "vf_3bde881fed68d7dd"
     ]
    },
    "proposal_id": "vpr_4b673f5d45beb04e"
   },
   "reason": "artifact deposit",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "va_e3df5bb17c7eead9",
    "type": "artifact"
   },
   "timestamp": "2026-05-09T19:21:38.579750+00:00"
  },
  {
   "k": 5,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:3f0ce8dbeccb3aee2ba1ac790bee95b727aa86dc8f9c9b8029de5e961082e247",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_69ef89c6d2c97f4f",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_44f9914c5b11193d"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_203f4969695ff256",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.249217+00:00"
  },
  {
   "k": 6,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:a627194fbcb6956adc1eb5a762e6b2a77ca1b42cbf65ae38474418080d41c801",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_c69adcc670609f4f",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_e39490231271928a"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_f58c1d68daec29c3",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.266949+00:00"
  },
  {
   "k": 7,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:bbcb81a643ca2bb35ece842365167b85455c5a811d22a0957ae7582da8a60555",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_2d1c52ae40ef2ec7",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_a7deb3a116a9a51c"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_37afa7032e4b3d06",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.283177+00:00"
  },
  {
   "k": 8,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:09da81ef70aec6d22e340fae2adb6f48cf36a77198a703369af4f5c63b7270a1",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_49d1b9096fd11088",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_e8f2d600cbebd03d"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_11e2e2a19e75887d",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.300095+00:00"
  },
  {
   "k": 9,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:918c5b34c9b0f663d97aa7d9ceb5d3f5981b3b5a5b23bc6370c6edc434776da4",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_3fb034752181ed75",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_74482e3213627d43"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_44e0fc831ac3e089",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.317112+00:00"
  },
  {
   "k": 10,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:f5314647ed8288b888a15a1aaba48d9b8f33a953ea93ffc2c9059adc589655c3",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_fbadbe719c1840d5",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_7092498559ec0e3f"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_d7781ce5f2c7330a",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.333564+00:00"
  },
  {
   "k": 11,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:6a032517345a87e4d3c1da2db25d375bd2f3d39a7d7f61180d94d4ed8e13e74c",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_5556d3110ede8413",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_3ff7da5280e3bb36"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_e2252a5f8d8a5049",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.350802+00:00"
  },
  {
   "k": 12,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:89282d1372707cf4953d2ba095422830222aa3b1187f982b9c9885be61f86de1",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_9be516b6d864aa48",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_2436bdba91b28491"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_f16e736879b4b42c",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.369878+00:00"
  },
  {
   "k": 13,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:4cf613c3f3690f1ec2f5fdf2cb6d85bc677259af9da8ddc2344f057a720dadd7",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_44682f49ec697b30",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_aa438fc28809dfb1"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_a4c54b1f9ff55bba",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.388760+00:00"
  },
  {
   "k": 14,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:cff17b4b3be97c45407650e759927e3430a280125b810bb4530a8931a76094a2",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_691c3733a1be2ffb",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_7b2fa965aa1014d3"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_26b3e76e95e01f3e",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.408515+00:00"
  },
  {
   "k": 15,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:a043a5969d0129bc6e983fe98bec282dc6b8e219464493f564b0c996a7f5fe46",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_2eb7b1fd630b1fe0",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_7ff6228e76041a1d"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_d018b0dfe8574a33",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.428950+00:00"
  },
  {
   "k": 16,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:6972869bf511e5f1dd99aff60801a4122467482e4325f9eb680f488459a73bc3",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_5ab8907f7d2915f6",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_db8d9ad870195994"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_8aa6c35eb4287a8f",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.451083+00:00"
  },
  {
   "k": 17,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:3b5343fa820239e99460366722472c3e8fe4187dbf33138565ea1544a5c9e4e3",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_59b427cd0d0fd5ec",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_582912e658bdcd87"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_e6443b35810cc321",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.473518+00:00"
  },
  {
   "k": 18,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:4ba7b09cf606f591fae6939e83f1542db5dd1549e9e1f70e4dad195265636243",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_1e6cffe8f7c7d6c8",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_05864abc06a6a424"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_5a1d047a8c85953a",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.496454+00:00"
  },
  {
   "k": 19,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:3c06304167b3c0973152489f5b3f0017b54fa8d5c0e9f0c26e6e44960246c079",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_0aa1bd97e1fea34d",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_432a47d996c5ae1d"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_69c0db505746c28e",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.519504+00:00"
  },
  {
   "k": 20,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:f2b2072db383574edcd10d853537087f60ed1848fa469e1c8821581c5d76dd8a",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_5e54fbcfde90e54f",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_a3f3e64fc4888fc0"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_7273c1823848f6e3",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.542851+00:00"
  },
  {
   "k": 21,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:bad92b105c46737ffc726160ee12ee77415433c7a33695b52dc154625dfeebc1",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_82306caefdf8aedb",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_d56eb9bd0cb6b9fb"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_eee5b19763f3c625",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.567423+00:00"
  },
  {
   "k": 22,
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "after_hash": "sha256:68e40d9565e016a6ea6ee208b5ac50e924ad1000872e31144f35377ef78b66c3",
   "before_hash": "sha256:null",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "id": "vev_7aa0b5918e1daf66",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_d19f48e14e67429d"
   },
   "reason": "Manual finding added to frontier state",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_9c462305947cb237",
    "type": "finding"
   },
   "timestamp": "2026-05-09T22:52:52.591753+00:00"
  },
  {
   "k": 23,
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "after_hash": "sha256:a248a4af6f6a22f7bfaf40c588dcb740ceff4924b22c1996ee4d0a58d19cc5fc",
   "before_hash": "sha256:99bcde34a7c67ce57e0549ea04e507d941c970f2adf712ecffc6fd027233f535",
   "caveats": [],
   "id": "vev_3956d574eccd4a4e",
   "kind": "evidence_atom.locator_repaired",
   "payload": {
    "locator": "arxiv:1605.01506",
    "proposal_id": "vpr_fb457b1d570b79b6",
    "source_id": "vs_b5e2d12c31e5aff7"
   },
   "reason": "Exact arXiv locator for Croot-Lev-Pach progression-free Z_4^n result; records a reviewable source locator without changing the finding assertion.",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vea_a92afe2675590334",
    "type": "evidence_atom"
   },
   "timestamp": "2026-05-21T02:55:23.403124+00:00"
  },
  {
   "k": 24,
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "after_hash": "sha256:0d936f12629975ddc7a2a4f168eafa0406fb8c693e8b08b6396417ca912622f5",
   "before_hash": "sha256:f2b2072db383574edcd10d853537087f60ed1848fa469e1c8821581c5d76dd8a",
   "caveats": [],
   "id": "vev_34883b43241d8c83",
   "kind": "finding.span_repaired",
   "payload": {
    "proposal_id": "vpr_e3d8c0aa1f6869e5",
    "section": "arXiv abstract",
    "text": "arXiv:1605.01506 states that for n > 0, any 3-term-progression-free subset of Z_4^n has size below 4^(c n) for c about 0.926."
   },
   "reason": "Attach source-backed abstract span for the Croot-Lev-Pach Z_4^n bound; does not change the assertion.",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_7273c1823848f6e3",
    "type": "finding"
   },
   "timestamp": "2026-05-21T02:55:23.439451+00:00"
  },
  {
   "k": 25,
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "after_hash": "sha256:0d347e1ecc6ca903c366a6d79cfad2c22463d16aa4f1f0e0410b31716ad2e259",
   "before_hash": "sha256:32d1cd022f48bddfa448fd693d1f461a2a11bae13aea4ac1cc660aa393c1125d",
   "caveats": [],
   "id": "vev_151647ca41c94b0f",
   "kind": "evidence_atom.locator_repaired",
   "payload": {
    "locator": "arxiv:2007.03528",
    "proposal_id": "vpr_5184bd816ed820d8",
    "source_id": "vs_7d2d5a9a0f13bd38"
   },
   "reason": "Exact arXiv locator for Bloom-Sisask Roth log-barrier result; records a reviewable source locator without changing the finding assertion.",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vea_73acfebcd3de1dc6",
    "type": "evidence_atom"
   },
   "timestamp": "2026-05-21T02:55:23.467389+00:00"
  },
  {
   "k": 26,
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "after_hash": "sha256:ada7c11be341deb7a052e8613834664065e59c5d5a9dce620c10976d72a41216",
   "before_hash": "sha256:89282d1372707cf4953d2ba095422830222aa3b1187f982b9c9885be61f86de1",
   "caveats": [],
   "id": "vev_5a5e570b6781367a",
   "kind": "finding.span_repaired",
   "payload": {
    "proposal_id": "vpr_206f9fda54ef0d0f",
    "section": "arXiv abstract",
    "text": "arXiv:2007.03528 states that if A in {1,...,N} has no non-trivial 3-term arithmetic progressions, then |A| is bounded by N/(log N)^(1+c) for some absolute c > 0."
   },
   "reason": "Attach source-backed abstract span for the Bloom-Sisask Roth log-barrier result; does not change the assertion.",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_f16e736879b4b42c",
    "type": "finding"
   },
   "timestamp": "2026-05-21T02:55:23.494549+00:00"
  },
  {
   "k": 27,
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "after_hash": "sha256:4478e93f6ada2bdcd6a772fd34fee39e5f7de1790beb98482771e904a3f7e8d3",
   "before_hash": "sha256:0923f508851188555cacb90276f49dd1102d5d0efe2733252c8ba5d02c843bed",
   "caveats": [],
   "id": "vev_dcf6b2c8872cd07a",
   "kind": "evidence_atom.locator_repaired",
   "payload": {
    "locator": "arxiv:1605.09223",
    "proposal_id": "vpr_432fe23d5889f731",
    "source_id": "vs_3d86039e17bccee8"
   },
   "reason": "Exact arXiv locator for Ellenberg-Gijswijt cap-set result; records a reviewable source locator without changing the finding assertion.",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vea_94fe872efeb6e477",
    "type": "evidence_atom"
   },
   "timestamp": "2026-05-21T02:55:23.522551+00:00"
  },
  {
   "k": 28,
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "after_hash": "sha256:4021aa2d29c2d2ea255bae74079f79957153a519c44611f6878e78d8a60e483f",
   "before_hash": "sha256:bad92b105c46737ffc726160ee12ee77415433c7a33695b52dc154625dfeebc1",
   "caveats": [],
   "id": "vev_3b8bca3bf09d4358",
   "kind": "finding.span_repaired",
   "payload": {
    "proposal_id": "vpr_11afa6e155380c7f",
    "section": "arXiv abstract",
    "text": "arXiv:1605.09223 states that the Croot-Lev-Pach method bounds progression-free subsets of F_q^n by c^n with c < q; for q = 3 this is the cap-set problem."
   },
   "reason": "Attach source-backed abstract span for the Ellenberg-Gijswijt cap-set result; leaves the numeric constant as methodology context rather than new accepted evidence.",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_eee5b19763f3c625",
    "type": "finding"
   },
   "timestamp": "2026-05-21T02:55:23.553287+00:00"
  },
  {
   "k": 29,
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "after_hash": "sha256:null",
   "before_hash": "sha256:null",
   "caveats": [],
   "id": "vev_4b72f36cba6fe4c0",
   "kind": "artifact.asserted",
   "payload": {
    "artifact": {
     "access_tier": "public",
     "content_hash": "sha256:6a4b15192dbaf61c514b0fefef80b97127b65249311f37e54bb23334eac7fb1a",
     "created": "2026-05-21T10:21:14.815377+00:00",
     "id": "va_49c6b11cca269230",
     "kind": "source_file",
     "license": "CC-BY-4.0",
     "locator": ".vela/artifact-blobs/sha256/6a4b15192dbaf61c514b0fefef80b97127b65249311f37e54bb23334eac7fb1a",
     "media_type": "application/json",
     "metadata": {
      "carina_kind": "theorem_locator_manifest",
      "formalization_status": "slot_only_not_formalized"
     },
     "name": "Sidon theorem locator manifest v0.358",
     "provenance": {
      "authors": [],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-21T10:21:14.814365+00:00",
       "extractor_version": "0.337.0",
       "method": "artifact_deposit",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "license": "CC-BY-4.0",
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": null,
      "source_type": "database_record",
      "title": "Sidon theorem locator manifest v0.358",
      "year": null
     },
     "retracted": false,
     "size_bytes": 2058,
     "storage_mode": "local_blob",
     "target_findings": [
      "vf_7273c1823848f6e3",
      "vf_eee5b19763f3c625",
      "vf_f16e736879b4b42c"
     ]
    },
    "proposal_id": "vpr_42488ea6005dd490"
   },
   "reason": "Register theorem-level locators for the Sidon v0.358 slice without claiming formal proof.",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "va_49c6b11cca269230",
    "type": "artifact"
   },
   "timestamp": "2026-05-21T10:21:14.835108+00:00"
  },
  {
   "k": 30,
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "after_hash": "sha256:null",
   "before_hash": "sha256:null",
   "caveats": [],
   "id": "vev_a7d239f89f068d64",
   "kind": "artifact.asserted",
   "payload": {
    "artifact": {
     "access_tier": "public",
     "content_hash": "sha256:9988da3bc38f86237f876719cc49a45a7ca5f3e2ca9016d9b008b4484a1040e3",
     "created": "2026-05-21T10:21:21.996402+00:00",
     "id": "va_825b900b32e74b6a",
     "kind": "source_file",
     "license": "Apache-2.0",
     "locator": ".vela/artifact-blobs/sha256/9988da3bc38f86237f876719cc49a45a7ca5f3e2ca9016d9b008b4484a1040e3",
     "media_type": "text/x-lean",
     "metadata": {
      "carina_kind": "proof_assistant_slot",
      "carina_proof_tool": "lean4",
      "formalization_status": "slot_only_not_formalized"
     },
     "name": "Sidon Lean theorem slots v0.358",
     "provenance": {
      "authors": [],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-21T10:21:21.996383+00:00",
       "extractor_version": "0.337.0",
       "method": "artifact_deposit",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "license": "Apache-2.0",
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": null,
      "source_type": "database_record",
      "title": "Sidon Lean theorem slots v0.358",
      "year": null
     },
     "retracted": false,
     "size_bytes": 1933,
     "storage_mode": "local_blob",
     "target_findings": [
      "vf_7273c1823848f6e3",
      "vf_eee5b19763f3c625",
      "vf_f16e736879b4b42c"
     ]
    },
    "proposal_id": "vpr_28004b2e33b52c15"
   },
   "reason": "Register Lean proof-assistant slots for theorem-level Sidon follow-up; no proof completion is claimed.",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "va_825b900b32e74b6a",
    "type": "artifact"
   },
   "timestamp": "2026-05-21T10:21:21.998923+00:00"
  },
  {
   "k": 31,
   "actor": {
    "id": "reviewer:will",
    "type": "human"
   },
   "after_hash": "sha256:null",
   "before_hash": "sha256:null",
   "caveats": [],
   "id": "vev_d39480845b337497",
   "kind": "artifact.asserted",
   "payload": {
    "artifact": {
     "access_tier": "public",
     "content_hash": "sha256:6a358e229f98b72361c606ef8a18bc971d7ae2b60ffca97a763356e112c3ad72",
     "created": "2026-06-03T12:00:00+00:00",
     "id": "va_86d1eafa7a5efdd5",
     "kind": "dataset",
     "license": "public source locator; no restricted bytes deposited",
     "locator": "examples/sidon-sets/discoveries/oeis-A309370-submission/sidon_n10_size66_CANDIDATE.txt",
     "media_type": "application/json",
     "metadata": {
      "artifact_packet_id": "cap_087198a92d1e30a2",
      "delta_artifact": "examples/sidon-sets/discoveries/sidon-a10-improvement.v1.json",
      "external_artifact_id": "va_6a358e229f98b723",
      "improves_oeis_public": "+3 (63->66)",
      "improves_prior": "+1 (65->66)",
      "n": 10,
      "oeis": "A309370",
      "parent_artifact_ids": [],
      "producer_agent": "agent:canopus-lean-2026-06-03",
      "size": 66,
      "topic": "OEIS A309370: improved Sidon lower bound a(10) >= 66",
      "verifier": "verify_construction.verify_sidon"
     },
     "name": "Verified Sidon set of size 66 in {0,1}^10 (A309370 a(10) >= 66)",
     "provenance": {
      "authors": [
       {
        "name": "Canopus Sidon proposer (Opus 4.8)",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-03T12:00:00+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "agent:canopus-lean-2026-06-03",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "data_release",
      "title": "cap_087198a92d1e30a2 · Verified Sidon set of size 66 in {0,1}^10 (A309370 a(10) >= 66)",
      "url": "examples/sidon-sets/discoveries/oeis-A309370-submission/sidon_n10_size66_CANDIDATE.txt",
      "year": null
     },
     "retracted": false,
     "source_url": "examples/sidon-sets/discoveries/oeis-A309370-submission/sidon_n10_size66_CANDIDATE.txt",
     "storage_mode": "remote",
     "target_findings": [
      "vf_c9ab5970cdbcb6af"
     ]
    },
    "proposal_id": "vpr_4c04d16e317faf62"
   },
   "reason": "Import artifact va_6a358e229f98b723 from artifact packet cap_087198a92d1e30a2",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "va_86d1eafa7a5efdd5",
    "type": "artifact"
   },
   "timestamp": "2026-06-03T22:41:09.661434+00:00"
  },
  {
   "k": 32,
   "actor": {
    "id": "reviewer:will",
    "type": "human"
   },
   "after_hash": "sha256:e1233eb78b69ec3ffb82d1cfaf1db400a85353771e0579bdfccba0ed570135d7",
   "before_hash": "sha256:null",
   "caveats": [
    "Improved LOWER BOUND (a verified large Sidon set), NOT a proven maximum; true a(10) may be larger.",
    "VERIFIED valid by verify_construction.verify_sidon (66 points, 2211 pairwise sums distinct), 3 independent checkers.",
    "Not an accepted OEIS edit until a maintainer reviews; submit as a comment update + witness link (the n=16..22 path).",
    "Reviewer acceptance required before this becomes canonical frontier state.",
    "Agent output is source material until reviewer acceptance."
   ],
   "id": "vev_d30acf067ad58787",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_1879d8894dd07e64"
   },
   "reason": "Candidate claim vc_5aab0a22f7cdebf1 imported from artifact packet cap_087198a92d1e30a2",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_c9ab5970cdbcb6af",
    "type": "finding"
   },
   "timestamp": "2026-06-03T22:41:09.705899+00:00"
  }
 ],
 "findings": [
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "For h>=3 the analog of N(h,k) admits a polynomial in k upper bound via h-squared-dissociated sets, replacing the prior exponential construction.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.55
   },
   "created": "2026-05-09T19:20:29.325643+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_0baa77910460c953",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T19:20:29.325281+00:00",
     "extractor_version": "vela/0.75.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Nathanson, 2024 (open problem)",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Behrend's construction yields subsets of {1,...,N} of size N * exp(-c * sqrt(log N)) containing no nontrivial 3-term arithmetic progression, the densest such known until 2020.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.298928+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_11e2e2a19e75887d",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.298918+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Behrend 1946",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Singer's perfect-difference-set construction in projective planes yields Sidon sets in {1,...,N} of size sqrt(N) + O(N^{1/4}), matching the elementary upper bound up to lower-order terms.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.244146+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_203f4969695ff256",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.243975+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Singer 1938",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Gowers gave the first quantitative proof of Szemeredi's theorem with effective bounds, introducing higher-order Fourier analysis (Gowers norms U^k) as the central tool.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.407088+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_26b3e76e95e01f3e",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.407077+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Gowers 2001",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "B_h sets, the h-fold generalization of Sidon sets, have maximum density satisfying |A| <= (h! * N)^{1/h} + O(N^{1/(2h)}) in {1,...,N}.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.281913+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_37afa7032e4b3d06",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.281901+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "B_h sets, Erdos 1955",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "The h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.4
   },
   "created": "2026-05-09T19:20:35.223077+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": true,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false,
    "review_state": "needs_revision"
   },
   "id": "vf_3bde881fed68d7dd",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T19:20:35.222684+00:00",
     "extractor_version": "vela/0.75.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "model_output",
    "title": "ChatGPT-5.5-Pro session, 2026-05-08, ~2 hours guided",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Roth's theorem: any subset of {1,...,N} of density alpha > C / log log N contains a nontrivial 3-term arithmetic progression.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.315888+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_44e0fc831ac3e089",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.315876+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Roth 1953",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Freiman's theorem: a finite set A of integers with |A+A| <= K|A| is contained in a generalized arithmetic progression of dimension at most d(K) and size at most f(K) * |A|.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.494899+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_5a1d047a8c85953a",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.494889+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Freiman 1973 / Ruzsa 1994",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "A Sidon set in {1,...,N} of size O(sqrt(N)) exists, attaining the elementary upper bound for h=2 sumsets up to a multiplicative constant.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.95
   },
   "created": "2026-05-09T19:20:20.711955+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_63f4bcd4f4904a08",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T19:20:20.711546+00:00",
     "extractor_version": "vela/0.75.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Erdos-Turan, 1941",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "A Bohr neighborhood B(Lambda, rho) is the set of x in Z/NZ where |gamma * x / N| < rho for all gamma in Lambda; its dimension d = |Lambda| controls density |B| / N >= rho^d, enabling Fourier-analytic density-increment iterations.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.517804+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_69c0db505746c28e",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.517794+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Bohr neighborhood, Bourgain 1990",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "The polynomial method bounds 3-AP-free subsets of (Z/4Z)^n by 4^{0.926n}, far below the 4^n total, breaking the previous logarithmic-style bounds for cap-set-style problems.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.541154+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [
     {
      "section": "arXiv abstract",
      "text": "arXiv:1605.01506 states that for n > 0, any 3-term-progression-free subset of Z_4^n has size below 4^(c n) for c about 0.926."
     }
    ],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_7273c1823848f6e3",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.541144+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Croot-Lev-Pach 2017",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Plunnecke-Ruzsa inequality: if |A+A| <= K|A|, then |kA - lA| <= K^{k+l} * |A| for all nonnegative integers k, l.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.449477+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_8aa6c35eb4287a8f",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.449461+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Plunnecke-Ruzsa 1969-1989",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Schoen-Shkredov: density alpha > exp(-c * (log N)^{1/4}) suffices for 3-APs via combined Fourier and Bohr-set decomposition methods.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.590016+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_9c462305947cb237",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.590006+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Schoen-Shkredov 2014",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Szemeredi's theorem: any subset of the natural numbers with positive upper density contains arbitrarily long arithmetic progressions.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.387383+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_a4c54b1f9ff55bba",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.387371+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Szemeredi 1975",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "OEIS A309370 a(10) >= 66: a verified Sidon set of 66 distinct binary vectors in {0,1}^10 (componentwise integer addition into {0,1,2}^10; all 2211 pairwise sums a+b (a<=b) distinct), improving the live OEIS public lower bound a(10) >= 63 by +3 and the prior local best 65 by +1. Found by an Opus-4.8 Canopus-loop proposer (no-context arm, local search); re-verified from scratch by verify_construction.verify_sidon (frozen gate). Witness sha256:6a358e229f98b723…",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Agent-imported candidate claim; scope requires review."
   },
   "confidence": {
    "basis": "agent-imported candidate claim; reviewer acceptance required",
    "extraction_confidence": 0.7,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.99
   },
   "created": "2026-06-03T12:00:00+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [
     {
      "artifact_id": "va_6a358e229f98b723",
      "artifact_packet_id": "cap_087198a92d1e30a2",
      "candidate_claim_id": "vc_5aab0a22f7cdebf1"
     }
    ],
    "method": "ScienceClaw-shaped artifact packet import",
    "model_system": "agent artifact packet",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "computational"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_c9ab5970cdbcb6af",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "Canopus Sidon proposer (Opus 4.8)",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-06-03T12:00:00+00:00",
     "extractor_version": "vela/0.691.0",
     "method": "artifact_to_state_import",
     "model": "agent:canopus-lean-2026-06-03",
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "publisher": "artifact packet",
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "model_output",
    "title": "cap_087198a92d1e30a2 · vc_5aab0a22f7cdebf1",
    "url": "https://oeis.org/A309370",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Functions with large Gowers U^{s+1}-norm correlate with nilsequences of step s; this inverse theorem is the analytic engine behind quantitative Szemeredi for arbitrary k.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.427699+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_d018b0dfe8574a33",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.427688+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Inverse Gowers theorem, Green-Tao-Ziegler 2012",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Bourgain's Fourier-analytic increment argument lowers the density threshold for 3-AP existence in {1,...,N} to alpha > C * (log log N)^2 / sqrt(log N).",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.332378+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_d7781ce5f2c7330a",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.332367+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Bourgain 1999",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Sanders' bound: density alpha > C * (log log N)^4 / log N is sufficient to guarantee a 3-term AP in any subset of {1,...,N}.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.349524+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_e2252a5f8d8a5049",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.349506+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Sanders 2011",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Ruzsa covering lemma: if |A+B| <= K|A|, then B is contained in the sumset A - A translated by at most K elements; the engine of small-doubling structure theorems.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.471784+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_e6443b35810cc321",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.471773+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Ruzsa covering lemma 1999",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Ellenberg-Gijswijt extend Croot-Lev-Pach to prove a 3-AP-free subset of F_3^n has size at most 2.756^n, settling the cap-set problem up to a constant in the exponent.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.565719+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [
     {
      "section": "arXiv abstract",
      "text": "arXiv:1605.09223 states that the Croot-Lev-Pach method bounds progression-free subsets of F_q^n by c^n with c < q; for q = 3 this is the cap-set problem."
     }
    ],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_eee5b19763f3c625",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.565710+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Ellenberg-Gijswijt 2017",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Bloom-Sisask break the 'log barrier' for Roth: density alpha > 1 / (log N)^{1+c} for an absolute c > 0 suffices for a 3-AP, the first sub-1/log N bound.",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.368442+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [
     {
      "section": "arXiv abstract",
      "text": "arXiv:2007.03528 states that if A in {1,...,N} has no non-trivial 3-term arithmetic progressions, then |A| is bounded by N/(log N)^(1+c) for some absolute c > 0."
     }
    ],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_f16e736879b4b42c",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.368429+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Bloom-Sisask 2020",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "Lindstrom's upper bound for Sidon-set size in {1,...,N} is sqrt(N) + N^{1/4} + 1, tightening the Erdos-Turan bound by a factor of sqrt(2).",
    "type": "theoretical"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "Manually added finding; requires evidence review before scientific use."
   },
   "confidence": {
    "basis": "operator-supplied frontier prior; review required",
    "extraction_confidence": 1,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.85
   },
   "created": "2026-05-09T22:52:52.265730+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [],
    "method": "manual state transition",
    "model_system": "",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "theoretical"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_f58c1d68daec29c3",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "agent:research-bot-2026-05-09",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-05-09T22:52:52.265715+00:00",
     "extractor_version": "vela/0.81.0",
     "method": "manual_curation",
     "model": null,
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "published_paper",
    "title": "Lindstrom 1969",
    "year": null
   },
   "updated": null,
   "version": 1
  }
 ],
 "proposals": [
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_96a3ee14236bfe3f",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T19:20:20.713687+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_0278b354889109bb",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "A Sidon set in {1,...,N} of size O(sqrt(N)) exists, attaining the elementary upper bound for h=2 sumsets up to a multiplicative constant.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.95
     },
     "created": "2026-05-09T19:20:20.711955+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_63f4bcd4f4904a08",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T19:20:20.711546+00:00",
       "extractor_version": "vela/0.75.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Erdos-Turan, 1941",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T19:20:20.719373+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_63f4bcd4f4904a08",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_1e6cffe8f7c7d6c8",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.494942+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_05864abc06a6a424",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Freiman's theorem: a finite set A of integers with |A+A| <= K|A| is contained in a generalized arithmetic progression of dimension at most d(K) and size at most f(K) * |A|.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.494899+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_5a1d047a8c85953a",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.494889+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Freiman 1973 / Ruzsa 1994",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.496416+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_5a1d047a8c85953a",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:vela-curation-bot",
    "type": "human"
   },
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-10T17:04:29.613346+00:00",
   "decision_reason": "Unsupported finding.add proposal: no source_refs or evidence spans supplied; reject rather than promote unsourced frontier truth.",
   "id": "vpr_08e1cc9af5a2d43b",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Erdos-Ko 1957: explicit Sidon set construction in {1,...,N} of size sqrt(N) - O(N^(1/4)), matching the Erdos-Turan upper bound asymptotically and establishing Theta(sqrt(N)) as the correct order of magnitude.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Sidon sets in {1,...,N} for general N; lower-bound construction matching the Erdos-Turan upper bound."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.95
     },
     "created": "2026-05-10T17:04:29.613302+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_2f88cb8636b54834",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:vela-curation-bot",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-10T17:04:29.613289+00:00",
       "extractor_version": "vela/0.107.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": "Acta Arithmetica",
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Erdos-Ko 1957",
      "year": 1957
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-20T07:25:38.228603+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "rejected",
   "target": {
    "id": "vf_2f88cb8636b54834",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "applied_event_id": "vev_3b8bca3bf09d4358",
   "caveats": [],
   "created_at": "2026-05-21T02:55:23.551379+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_11afa6e155380c7f",
   "kind": "finding.span_repair",
   "payload": {
    "section": "arXiv abstract",
    "text": "arXiv:1605.09223 states that the Croot-Lev-Pach method bounds progression-free subsets of F_q^n by c^n with c < q; for q = 3 this is the cap-set problem."
   },
   "reason": "Attach source-backed abstract span for the Ellenberg-Gijswijt cap-set result; leaves the numeric constant as methodology context rather than new accepted evidence.",
   "reviewed_at": "2026-05-21T02:55:23.553231+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_eee5b19763f3c625",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:canopus-lean-2026-06-03",
    "type": "agent"
   },
   "agent_run": {
    "agent": "agent:canopus-lean-2026-06-03",
    "context": {
     "artifact_packet_id": "cap_087198a92d1e30a2",
     "producer_name": "Canopus Sidon proposer (Opus 4.8)",
     "topic": "OEIS A309370: improved Sidon lower bound a(10) >= 66"
    },
    "model": "external-artifact-runtime",
    "run_id": "cap_087198a92d1e30a2",
    "started_at": "2026-06-03T12:00:00+00:00"
   },
   "applied_event_id": "vev_d30acf067ad58787",
   "caveats": [
    "Improved LOWER BOUND (a verified large Sidon set), NOT a proven maximum; true a(10) may be larger.",
    "VERIFIED valid by verify_construction.verify_sidon (66 points, 2211 pairwise sums distinct), 3 independent checkers.",
    "Not an accepted OEIS edit until a maintainer reviews; submit as a comment update + witness link (the n=16..22 path).",
    "Reviewer acceptance required before this becomes canonical frontier state.",
    "Agent output is source material until reviewer acceptance."
   ],
   "created_at": "2026-06-03T22:40:25.989342+00:00",
   "decision_reason": "verify_sidon: 66 pts, 2211 sums distinct; +1 over prior, +3 over OEIS public",
   "id": "vpr_1879d8894dd07e64",
   "kind": "finding.add",
   "payload": {
    "artifact_packet": {
     "created_at": "2026-06-03T12:00:00+00:00",
     "packet_id": "cap_087198a92d1e30a2",
     "producer": {
      "id": "agent:canopus-lean-2026-06-03",
      "kind": "agent",
      "name": "Canopus Sidon proposer (Opus 4.8)"
     },
     "schema": "carina.artifact_packet.v0.1",
     "topic": "OEIS A309370: improved Sidon lower bound a(10) >= 66"
    },
    "candidate_claim_id": "vc_5aab0a22f7cdebf1",
    "evidence_artifact_ids": [
     "va_6a358e229f98b723"
    ],
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "OEIS A309370 a(10) >= 66: a verified Sidon set of 66 distinct binary vectors in {0,1}^10 (componentwise integer addition into {0,1,2}^10; all 2211 pairwise sums a+b (a<=b) distinct), improving the live OEIS public lower bound a(10) >= 63 by +3 and the prior local best 65 by +1. Found by an Opus-4.8 Canopus-loop proposer (no-context arm, local search); re-verified from scratch by verify_construction.verify_sidon (frozen gate). Witness sha256:6a358e229f98b723…",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Agent-imported candidate claim; scope requires review."
     },
     "confidence": {
      "basis": "agent-imported candidate claim; reviewer acceptance required",
      "extraction_confidence": 0.7,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.99
     },
     "created": "2026-06-03T12:00:00+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [
       {
        "artifact_id": "va_6a358e229f98b723",
        "artifact_packet_id": "cap_087198a92d1e30a2",
        "candidate_claim_id": "vc_5aab0a22f7cdebf1"
       }
      ],
      "method": "ScienceClaw-shaped artifact packet import",
      "model_system": "agent artifact packet",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "computational"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_c9ab5970cdbcb6af",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "Canopus Sidon proposer (Opus 4.8)",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-03T12:00:00+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "agent:canopus-lean-2026-06-03",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "model_output",
      "title": "cap_087198a92d1e30a2 · vc_5aab0a22f7cdebf1",
      "url": "https://oeis.org/A309370",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Candidate claim vc_5aab0a22f7cdebf1 imported from artifact packet cap_087198a92d1e30a2",
   "reviewed_at": "2026-06-03T22:41:09.705840+00:00",
   "reviewed_by": "reviewer:will",
   "schema": "vela.proposal.v0.1",
   "source_refs": [
    "artifact_packet:cap_087198a92d1e30a2",
    "https://oeis.org/A309370",
    "packet_artifact:va_6a358e229f98b723"
   ],
   "status": "applied",
   "target": {
    "id": "vf_c9ab5970cdbcb6af",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "applied_event_id": "vev_5a5e570b6781367a",
   "caveats": [],
   "created_at": "2026-05-21T02:55:23.493130+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_206f9fda54ef0d0f",
   "kind": "finding.span_repair",
   "payload": {
    "section": "arXiv abstract",
    "text": "arXiv:2007.03528 states that if A in {1,...,N} has no non-trivial 3-term arithmetic progressions, then |A| is bounded by N/(log N)^(1+c) for some absolute c > 0."
   },
   "reason": "Attach source-backed abstract span for the Bloom-Sisask Roth log-barrier result; does not change the assertion.",
   "reviewed_at": "2026-05-21T02:55:23.494498+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_f16e736879b4b42c",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_9be516b6d864aa48",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.368478+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_2436bdba91b28491",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Bloom-Sisask break the 'log barrier' for Roth: density alpha > 1 / (log N)^{1+c} for an absolute c > 0 suffices for a 3-AP, the first sub-1/log N bound.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.368442+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_f16e736879b4b42c",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.368429+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Bloom-Sisask 2020",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.369843+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_f16e736879b4b42c",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:vela-curation-bot",
    "type": "human"
   },
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-10T17:04:14.175862+00:00",
   "decision_reason": "Unsupported finding.add proposal: no source_refs or evidence spans supplied; reject rather than promote unsourced frontier truth.",
   "id": "vpr_2c472e28d0c49f36",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Croot-Lev-Pach: progression-free subsets of (Z/4Z)^n have cardinality at most c * 4^(0.926n) via the polynomial method, dramatically improving Behrend-style bounds for cap sets.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Subsets of (Z/4Z)^n free of nontrivial 3-term arithmetic progressions; polynomial method over finite fields."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.95
     },
     "created": "2026-05-10T17:04:14.175819+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_3af13d937db0a00b",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:vela-curation-bot",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": "10.4007/annals.2017.185.1.7",
      "extraction": {
       "extracted_at": "2026-05-10T17:04:14.175806+00:00",
       "extractor_version": "vela/0.107.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": "Annals of Mathematics",
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Croot-Lev-Pach 2017",
      "year": 2017
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-20T07:25:38.257708+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "rejected",
   "target": {
    "id": "vf_3af13d937db0a00b",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:vela-curation-bot",
    "type": "human"
   },
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-10T17:04:55.432428+00:00",
   "decision_reason": "Unsupported finding.add proposal: no source_refs or evidence spans supplied; reject rather than promote unsourced frontier truth.",
   "id": "vpr_2d6cbeca13b7a1c4",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Tao 2007 higher-order Fourier analysis program: Gowers U^s norms admit an inverse theorem characterizing functions with non-negligible U^s norm as correlating with degree-s nilsequences. The U^3 case is the load-bearing first step beyond classical Fourier analysis.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Bounded functions on cyclic groups Z/NZ; Gowers norms U^s for s >= 2; nilsequence correlation as inverse characterization."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.9
     },
     "created": "2026-05-10T17:04:55.432386+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_bfafae73e6095459",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:vela-curation-bot",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-10T17:04:55.432375+00:00",
       "extractor_version": "vela/0.107.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Tao 2007 higher-order Fourier analysis",
      "year": 2007
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-20T07:25:38.283675+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "rejected",
   "target": {
    "id": "vf_bfafae73e6095459",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_5556d3110ede8413",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.349579+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_3ff7da5280e3bb36",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Sanders' bound: density alpha > C * (log log N)^4 / log N is sufficient to guarantee a 3-term AP in any subset of {1,...,N}.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.349524+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_e2252a5f8d8a5049",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.349506+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Sanders 2011",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.350767+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_e2252a5f8d8a5049",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_0aa1bd97e1fea34d",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.517836+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_432a47d996c5ae1d",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "A Bohr neighborhood B(Lambda, rho) is the set of x in Z/NZ where |gamma * x / N| < rho for all gamma in Lambda; its dimension d = |Lambda| controls density |B| / N >= rho^d, enabling Fourier-analytic density-increment iterations.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.517804+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_69c0db505746c28e",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.517794+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Bohr neighborhood, Bourgain 1990",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.519471+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_69c0db505746c28e",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "applied_event_id": "vev_dcf6b2c8872cd07a",
   "caveats": [],
   "created_at": "2026-05-21T02:55:23.521122+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_432fe23d5889f731",
   "kind": "evidence_atom.locator_repair",
   "payload": {
    "locator": "arxiv:1605.09223",
    "source_id": "vs_3d86039e17bccee8"
   },
   "reason": "Exact arXiv locator for Ellenberg-Gijswijt cap-set result; records a reviewable source locator without changing the finding assertion.",
   "reviewed_at": "2026-05-21T02:55:23.522537+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vea_94fe872efeb6e477",
    "type": "evidence_atom"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_69ef89c6d2c97f4f",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.244605+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_44f9914c5b11193d",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Singer's perfect-difference-set construction in projective planes yields Sidon sets in {1,...,N} of size sqrt(N) + O(N^{1/4}), matching the elementary upper bound up to lower-order terms.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.244146+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_203f4969695ff256",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.243975+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Singer 1938",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.249096+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_203f4969695ff256",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_bafff34df7ac6c1c",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T19:20:35.224768+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_48072f346e09665f",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "The h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.4
     },
     "created": "2026-05-09T19:20:35.223077+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_3bde881fed68d7dd",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T19:20:35.222684+00:00",
       "extractor_version": "vela/0.75.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "model_output",
      "title": "ChatGPT-5.5-Pro session, 2026-05-08, ~2 hours guided",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T19:20:35.232738+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_3bde881fed68d7dd",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:canopus-lean-2026-06-03",
    "type": "agent"
   },
   "agent_run": {
    "agent": "agent:canopus-lean-2026-06-03",
    "context": {
     "artifact_packet_id": "cap_087198a92d1e30a2",
     "producer_name": "Canopus Sidon proposer (Opus 4.8)",
     "topic": "OEIS A309370: improved Sidon lower bound a(10) >= 66"
    },
    "model": "external-artifact-runtime",
    "run_id": "cap_087198a92d1e30a2",
    "started_at": "2026-06-03T12:00:00+00:00"
   },
   "applied_event_id": "vev_d39480845b337497",
   "caveats": [],
   "created_at": "2026-06-03T22:40:25.963969+00:00",
   "decision_reason": "witness imported",
   "id": "vpr_4c04d16e317faf62",
   "kind": "artifact.assert",
   "payload": {
    "artifact": {
     "access_tier": "public",
     "content_hash": "sha256:6a358e229f98b72361c606ef8a18bc971d7ae2b60ffca97a763356e112c3ad72",
     "created": "2026-06-03T12:00:00+00:00",
     "id": "va_86d1eafa7a5efdd5",
     "kind": "dataset",
     "license": "public source locator; no restricted bytes deposited",
     "locator": "examples/sidon-sets/discoveries/oeis-A309370-submission/sidon_n10_size66_CANDIDATE.txt",
     "media_type": "application/json",
     "metadata": {
      "artifact_packet_id": "cap_087198a92d1e30a2",
      "delta_artifact": "examples/sidon-sets/discoveries/sidon-a10-improvement.v1.json",
      "external_artifact_id": "va_6a358e229f98b723",
      "improves_oeis_public": "+3 (63->66)",
      "improves_prior": "+1 (65->66)",
      "n": 10,
      "oeis": "A309370",
      "parent_artifact_ids": [],
      "producer_agent": "agent:canopus-lean-2026-06-03",
      "size": 66,
      "topic": "OEIS A309370: improved Sidon lower bound a(10) >= 66",
      "verifier": "verify_construction.verify_sidon"
     },
     "name": "Verified Sidon set of size 66 in {0,1}^10 (A309370 a(10) >= 66)",
     "provenance": {
      "authors": [
       {
        "name": "Canopus Sidon proposer (Opus 4.8)",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-03T12:00:00+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "agent:canopus-lean-2026-06-03",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "data_release",
      "title": "cap_087198a92d1e30a2 · Verified Sidon set of size 66 in {0,1}^10 (A309370 a(10) >= 66)",
      "url": "examples/sidon-sets/discoveries/oeis-A309370-submission/sidon_n10_size66_CANDIDATE.txt",
      "year": null
     },
     "retracted": false,
     "source_url": "examples/sidon-sets/discoveries/oeis-A309370-submission/sidon_n10_size66_CANDIDATE.txt",
     "storage_mode": "remote",
     "target_findings": [
      "vf_c9ab5970cdbcb6af"
     ]
    },
    "artifact_packet": {
     "created_at": "2026-06-03T12:00:00+00:00",
     "packet_id": "cap_087198a92d1e30a2",
     "producer": {
      "id": "agent:canopus-lean-2026-06-03",
      "kind": "agent",
      "name": "Canopus Sidon proposer (Opus 4.8)"
     },
     "schema": "carina.artifact_packet.v0.1",
     "topic": "OEIS A309370: improved Sidon lower bound a(10) >= 66"
    },
    "external_artifact_id": "va_6a358e229f98b723",
    "parent_artifact_ids": []
   },
   "reason": "Import artifact va_6a358e229f98b723 from artifact packet cap_087198a92d1e30a2",
   "reviewed_at": "2026-06-03T22:41:09.661268+00:00",
   "reviewed_by": "reviewer:will",
   "schema": "vela.proposal.v0.1",
   "source_refs": [
    "artifact_packet:cap_087198a92d1e30a2",
    "examples/sidon-sets/discoveries/oeis-A309370-submission/sidon_n10_size66_CANDIDATE.txt"
   ],
   "status": "applied",
   "target": {
    "id": "va_86d1eafa7a5efdd5",
    "type": "artifact"
   }
  },
  {
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "applied_event_id": "vev_151647ca41c94b0f",
   "caveats": [],
   "created_at": "2026-05-21T02:55:23.466072+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_5184bd816ed820d8",
   "kind": "evidence_atom.locator_repair",
   "payload": {
    "locator": "arxiv:2007.03528",
    "source_id": "vs_7d2d5a9a0f13bd38"
   },
   "reason": "Exact arXiv locator for Bloom-Sisask Roth log-barrier result; records a reviewable source locator without changing the finding assertion.",
   "reviewed_at": "2026-05-21T02:55:23.467376+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vea_73acfebcd3de1dc6",
    "type": "evidence_atom"
   }
  },
  {
   "actor": {
    "id": "agent:vela-curation-bot",
    "type": "human"
   },
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-10T17:04:07.609227+00:00",
   "decision_reason": "Unsupported finding.add proposal: no source_refs or evidence spans supplied; reject rather than promote unsourced frontier truth.",
   "id": "vpr_51f69f5123255164",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "The primes contain arbitrarily long arithmetic progressions: for every k there is a k-term arithmetic progression of primes.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Primes within the natural numbers, k-term arithmetic progressions, k arbitrary."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.95
     },
     "created": "2026-05-10T17:04:07.606542+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_eef55d01b7df0fa9",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:vela-curation-bot",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": "10.4007/annals.2008.167.481",
      "extraction": {
       "extracted_at": "2026-05-10T17:04:07.605090+00:00",
       "extractor_version": "vela/0.107.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": "Annals of Mathematics",
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Green-Tao 2008",
      "year": 2008
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-20T07:25:38.307931+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "rejected",
   "target": {
    "id": "vf_eef55d01b7df0fa9",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_59b427cd0d0fd5ec",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.471815+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_582912e658bdcd87",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Ruzsa covering lemma: if |A+B| <= K|A|, then B is contained in the sumset A - A translated by at most K elements; the engine of small-doubling structure theorems.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.471784+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_e6443b35810cc321",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.471773+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Ruzsa covering lemma 1999",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.473485+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_e6443b35810cc321",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:vela-curation-bot",
    "type": "human"
   },
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-10T17:04:21.371909+00:00",
   "decision_reason": "Unsupported finding.add proposal: no source_refs or evidence spans supplied; reject rather than promote unsourced frontier truth.",
   "id": "vpr_68ccf87c8c2cb987",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Bose-Chowla 1962 construction: for any prime power q, the set of integers x in {0,...,q^2-2} satisfying alpha^x = alpha + x mod (alpha-generated finite field) yields a Sidon set of size q in {1,...,q^2}, attaining the asymptotic upper bound of sqrt(N).",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Sidon sets in {1,...,N} where N=q^2, q prime power; explicit construction via finite-field algebra."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.95
     },
     "created": "2026-05-10T17:04:21.371867+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_8679fce6b4231a88",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:vela-curation-bot",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-10T17:04:21.371855+00:00",
       "extractor_version": "vela/0.107.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": "Commentarii Mathematici Helvetici",
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Bose-Chowla 1962",
      "year": 1962
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-20T07:25:38.332081+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "rejected",
   "target": {
    "id": "vf_8679fce6b4231a88",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "reviewer:will-blair",
    "type": "human"
   },
   "applied_event_id": "vev_22c1fb678f86bdbb",
   "caveats": [],
   "created_at": "2026-05-09T19:20:50.871050+00:00",
   "decision_reason": "Verdict applied. The needs_revision decision gates promote-to-accepted-core on a Lean stub being attached as proof artifact.",
   "id": "vpr_6908c4cf64f0f4ba",
   "kind": "finding.review",
   "payload": {
    "status": "needs_revision"
   },
   "reason": "Bound and construction look correct under the Nathanson hypothesis but I want a Lean stub before promoting to accepted-core. The proof step that reduces geometric to polynomial diameter needs an explicit witness.",
   "reviewed_at": "2026-05-09T19:20:56.636704+00:00",
   "reviewed_by": "reviewer:will-blair",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_3bde881fed68d7dd",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_fbadbe719c1840d5",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.332414+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_7092498559ec0e3f",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Bourgain's Fourier-analytic increment argument lowers the density threshold for 3-AP existence in {1,...,N} to alpha > C * (log log N)^2 / sqrt(log N).",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.332378+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_d7781ce5f2c7330a",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.332367+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Bourgain 1999",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.333530+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_d7781ce5f2c7330a",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_3fb034752181ed75",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.315930+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_74482e3213627d43",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Roth's theorem: any subset of {1,...,N} of density alpha > C / log log N contains a nontrivial 3-term arithmetic progression.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.315888+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_44e0fc831ac3e089",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.315876+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Roth 1953",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.317075+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_44e0fc831ac3e089",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_691c3733a1be2ffb",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.407125+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_7b2fa965aa1014d3",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Gowers gave the first quantitative proof of Szemeredi's theorem with effective bounds, introducing higher-order Fourier analysis (Gowers norms U^k) as the central tool.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.407088+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_26b3e76e95e01f3e",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.407077+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Gowers 2001",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.408480+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_26b3e76e95e01f3e",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:b3-verifier",
    "type": "agent"
   },
   "agent_run": {
    "agent": "agent:b3-verifier",
    "context": {
     "artifact_packet_id": "cap_repro_vtask_6db2a995822dfb91",
     "producer_name": "Code-reproduction executor",
     "topic": "Code reproduction of task vtask_6db2a995822dfb91"
    },
    "model": "external-artifact-runtime",
    "run_id": "cap_repro_vtask_6db2a995822dfb91",
    "started_at": "2026-06-02T21:17:03.979694+00:00"
   },
   "caveats": [],
   "created_at": "2026-06-02T21:17:03.984218+00:00",
   "id": "vpr_7cb85ed4bc6dfffe",
   "kind": "artifact.assert",
   "payload": {
    "artifact": {
     "access_tier": "public",
     "content_hash": "sha256:4ba92916b8ddffe4c2dbeaf3f16d03c27f383fcb4fc5c2e33f552561663a3385",
     "created": "2026-06-02T21:17:03.979694+00:00",
     "id": "va_39d89c40cc68ad9b",
     "kind": "model_output",
     "license": "public source locator; no restricted bytes deposited",
     "locator": "file://vela/examples/sidon-sets/.vela/workspaces/vtask_6db2a995822dfb91/logs/execution.log",
     "media_type": "application/json",
     "metadata": {
      "artifact_packet_id": "cap_repro_vtask_6db2a995822dfb91",
      "command": "bash vela/examples/sidon-sets/.vela/workspaces/vtask_6db2a995822dfb91/run.sh",
      "executor": "code-reproduction",
      "exit_code": 0,
      "external_artifact_id": "repro_output_vtask_6db2a995822dfb91",
      "parent_artifact_ids": [],
      "producer_agent": "agent:b3-verifier",
      "topic": "Code reproduction of task vtask_6db2a995822dfb91"
     },
     "name": "Reproduction output (succeeded)",
     "provenance": {
      "authors": [
       {
        "name": "Code-reproduction executor",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-02T21:17:03.979694+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "agent:b3-verifier",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "model_output",
      "title": "cap_repro_vtask_6db2a995822dfb91 · Reproduction output (succeeded)",
      "url": "file://vela/examples/sidon-sets/.vela/workspaces/vtask_6db2a995822dfb91/logs/execution.log",
      "year": null
     },
     "retracted": false,
     "source_url": "file://vela/examples/sidon-sets/.vela/workspaces/vtask_6db2a995822dfb91/logs/execution.log",
     "storage_mode": "remote",
     "target_findings": [
      "vf_9f7df545ebd6e8df"
     ]
    },
    "artifact_packet": {
     "created_at": "2026-06-02T21:17:03.979694+00:00",
     "packet_id": "cap_repro_vtask_6db2a995822dfb91",
     "producer": {
      "id": "agent:b3-verifier",
      "kind": "agent",
      "name": "Code-reproduction executor"
     },
     "schema": "carina.artifact_packet.v0.1",
     "topic": "Code reproduction of task vtask_6db2a995822dfb91"
    },
    "external_artifact_id": "repro_output_vtask_6db2a995822dfb91",
    "parent_artifact_ids": []
   },
   "reason": "Import artifact repro_output_vtask_6db2a995822dfb91 from artifact packet cap_repro_vtask_6db2a995822dfb91",
   "schema": "vela.proposal.v0.1",
   "source_refs": [
    "artifact_packet:cap_repro_vtask_6db2a995822dfb91",
    "file://vela/examples/sidon-sets/.vela/workspaces/vtask_6db2a995822dfb91/logs/execution.log"
   ],
   "status": "pending_review",
   "target": {
    "id": "va_39d89c40cc68ad9b",
    "type": "artifact"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_2eb7b1fd630b1fe0",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.427729+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_7ff6228e76041a1d",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Functions with large Gowers U^{s+1}-norm correlate with nilsequences of step s; this inverse theorem is the analytic engine behind quantitative Szemeredi for arbitrary k.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.427699+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_d018b0dfe8574a33",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.427688+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Inverse Gowers theorem, Green-Tao-Ziegler 2012",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.428918+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_d018b0dfe8574a33",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_5e54fbcfde90e54f",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.541187+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_a3f3e64fc4888fc0",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "The polynomial method bounds 3-AP-free subsets of (Z/4Z)^n by 4^{0.926n}, far below the 4^n total, breaking the previous logarithmic-style bounds for cap-set-style problems.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.541154+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_7273c1823848f6e3",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.541144+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Croot-Lev-Pach 2017",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.542818+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_7273c1823848f6e3",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_2d1c52ae40ef2ec7",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.281958+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_a7deb3a116a9a51c",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "B_h sets, the h-fold generalization of Sidon sets, have maximum density satisfying |A| <= (h! * N)^{1/h} + O(N^{1/(2h)}) in {1,...,N}.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.281913+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_37afa7032e4b3d06",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.281901+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "B_h sets, Erdos 1955",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.283136+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_37afa7032e4b3d06",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_44682f49ec697b30",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.387419+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_aa438fc28809dfb1",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Szemeredi's theorem: any subset of the natural numbers with positive upper density contains arbitrarily long arithmetic progressions.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.387383+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_a4c54b1f9ff55bba",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.387371+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Szemeredi 1975",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.388729+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_a4c54b1f9ff55bba",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_7aa0b5918e1daf66",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.590052+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_d19f48e14e67429d",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Schoen-Shkredov: density alpha > exp(-c * (log N)^{1/4}) suffices for 3-APs via combined Fourier and Bohr-set decomposition methods.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.590016+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_9c462305947cb237",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.590006+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Schoen-Shkredov 2014",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.591719+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_9c462305947cb237",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:b3-verifier",
    "type": "agent"
   },
   "agent_run": {
    "agent": "agent:b3-verifier",
    "context": {
     "artifact_packet_id": "cap_repro_vtask_6db2a995822dfb91",
     "producer_name": "Code-reproduction executor",
     "topic": "Code reproduction of task vtask_6db2a995822dfb91"
    },
    "model": "external-artifact-runtime",
    "run_id": "cap_repro_vtask_6db2a995822dfb91",
    "started_at": "2026-06-02T21:17:03.979694+00:00"
   },
   "caveats": [
    "Automated reproduction result; pending reviewer acceptance.",
    "Agent output is source material until reviewer acceptance."
   ],
   "created_at": "2026-06-02T21:17:04.024330+00:00",
   "id": "vpr_d341190bd42e2b22",
   "kind": "finding.add",
   "payload": {
    "artifact_packet": {
     "created_at": "2026-06-02T21:17:03.979694+00:00",
     "packet_id": "cap_repro_vtask_6db2a995822dfb91",
     "producer": {
      "id": "agent:b3-verifier",
      "kind": "agent",
      "name": "Code-reproduction executor"
     },
     "schema": "carina.artifact_packet.v0.1",
     "topic": "Code reproduction of task vtask_6db2a995822dfb91"
    },
    "candidate_claim_id": "claim_repro_vtask_6db2a995822dfb91",
    "evidence_artifact_ids": [
     "repro_output_vtask_6db2a995822dfb91"
    ],
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Automated reproduction of 'Re-verify the B_3 complete-frontier certificates (OEIS A396704): every recorded B_3 set in {0,1}^n is a valid B_3 set of the stated size, a frozen-verifier check of the maximum-size sequence 1, 2, 3, 4, 6, 8, 11.' succeeded (exit code 0).",
      "type": "methodological"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "entrypoint: bash vela/examples/sidon-sets/.vela/workspaces/vtask_6db2a995822dfb91/run.sh"
     },
     "confidence": {
      "basis": "agent-imported candidate claim; reviewer acceptance required",
      "extraction_confidence": 0.7,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.7
     },
     "created": "2026-06-02T21:17:03.979694+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [
       {
        "artifact_id": "repro_output_vtask_6db2a995822dfb91",
        "artifact_packet_id": "cap_repro_vtask_6db2a995822dfb91",
        "candidate_claim_id": "claim_repro_vtask_6db2a995822dfb91"
       }
      ],
      "method": "ScienceClaw-shaped artifact packet import",
      "model_system": "agent artifact packet",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "computational"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_9f7df545ebd6e8df",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "Code-reproduction executor",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-02T21:17:03.979694+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "agent:b3-verifier",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "model_output",
      "title": "cap_repro_vtask_6db2a995822dfb91 · claim_repro_vtask_6db2a995822dfb91",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Candidate claim claim_repro_vtask_6db2a995822dfb91 imported from artifact packet cap_repro_vtask_6db2a995822dfb91",
   "schema": "vela.proposal.v0.1",
   "source_refs": [
    "artifact_packet:cap_repro_vtask_6db2a995822dfb91",
    "packet_artifact:repro_output_vtask_6db2a995822dfb91"
   ],
   "status": "pending_review",
   "target": {
    "id": "vf_9f7df545ebd6e8df",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_d2cd7a944b937b0c",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T19:20:29.327165+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_d4460bfc4377511d",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "For h>=3 the analog of N(h,k) admits a polynomial in k upper bound via h-squared-dissociated sets, replacing the prior exponential construction.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.55
     },
     "created": "2026-05-09T19:20:29.325643+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_0baa77910460c953",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T19:20:29.325281+00:00",
       "extractor_version": "vela/0.75.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Nathanson, 2024 (open problem)",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T19:20:29.333451+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_0baa77910460c953",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_82306caefdf8aedb",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.565754+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_d56eb9bd0cb6b9fb",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Ellenberg-Gijswijt extend Croot-Lev-Pach to prove a 3-AP-free subset of F_3^n has size at most 2.756^n, settling the cap-set problem up to a constant in the exponent.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.565719+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_eee5b19763f3c625",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.565710+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Ellenberg-Gijswijt 2017",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.567390+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_eee5b19763f3c625",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:vela-curation-bot",
    "type": "human"
   },
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-10T17:04:38.072125+00:00",
   "decision_reason": "Unsupported finding.add proposal: no source_refs or evidence spans supplied; reject rather than promote unsourced frontier truth.",
   "id": "vpr_d619346a962a29ff",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Ruzsa triangle inequality: for any finite subsets X, Y, Z of an abelian group, |X-Z| * |Y| <= |X-Y| * |Z-Y|. A foundational sumset inequality underpinning Plunnecke-Ruzsa and the Freiman-Ruzsa theorem.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Finite subsets of an abelian group; triangle-style inequality on sumset cardinalities."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.95
     },
     "created": "2026-05-10T17:04:38.072083+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_5a188a48b5253ffe",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:vela-curation-bot",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-10T17:04:38.072071+00:00",
       "extractor_version": "vela/0.107.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": "Asterisque",
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Ruzsa 1996",
      "year": 1996
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-20T07:25:38.357735+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "rejected",
   "target": {
    "id": "vf_5a188a48b5253ffe",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_5ab8907f7d2915f6",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.449524+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_db8d9ad870195994",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Plunnecke-Ruzsa inequality: if |A+A| <= K|A|, then |kA - lA| <= K^{k+l} * |A| for all nonnegative integers k, l.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.449477+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_8aa6c35eb4287a8f",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.449461+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Plunnecke-Ruzsa 1969-1989",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.451039+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_8aa6c35eb4287a8f",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_c69adcc670609f4f",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.265782+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_e39490231271928a",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Lindstrom's upper bound for Sidon-set size in {1,...,N} is sqrt(N) + N^{1/4} + 1, tightening the Erdos-Turan bound by a factor of sqrt(2).",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.265730+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_f58c1d68daec29c3",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.265715+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Lindstrom 1969",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.266913+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_f58c1d68daec29c3",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "applied_event_id": "vev_34883b43241d8c83",
   "caveats": [],
   "created_at": "2026-05-21T02:55:23.438001+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_e3d8c0aa1f6869e5",
   "kind": "finding.span_repair",
   "payload": {
    "section": "arXiv abstract",
    "text": "arXiv:1605.01506 states that for n > 0, any 3-term-progression-free subset of Z_4^n has size below 4^(c n) for c about 0.926."
   },
   "reason": "Attach source-backed abstract span for the Croot-Lev-Pach Z_4^n bound; does not change the assertion.",
   "reviewed_at": "2026-05-21T02:55:23.439395+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_7273c1823848f6e3",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:research-bot-2026-05-09",
    "type": "human"
   },
   "applied_event_id": "vev_49d1b9096fd11088",
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-09T22:52:52.298967+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_e8f2d600cbebd03d",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Behrend's construction yields subsets of {1,...,N} of size N * exp(-c * sqrt(log N)) containing no nontrivial 3-term arithmetic progression, the densest such known until 2020.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "Manually added finding; requires evidence review before scientific use."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.85
     },
     "created": "2026-05-09T22:52:52.298928+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_11e2e2a19e75887d",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:research-bot-2026-05-09",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-09T22:52:52.298918+00:00",
       "extractor_version": "vela/0.81.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Behrend 1946",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-09T22:52:52.300058+00:00",
   "reviewed_by": "agent:research-bot-2026-05-09",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vf_11e2e2a19e75887d",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:vela-curation-bot",
    "type": "human"
   },
   "caveats": [
    "Manual findings require evidence review before scientific use."
   ],
   "created_at": "2026-05-10T17:04:45.708218+00:00",
   "decision_reason": "Unsupported finding.add proposal: no source_refs or evidence spans supplied; reject rather than promote unsourced frontier truth.",
   "id": "vpr_f51ae4c8da75740a",
   "kind": "finding.add",
   "payload": {
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "Cilleruelo 2010: B_2[g] sets in {1,...,N} (sets where each integer has at most g representations as a sum of two elements) have cardinality at most sqrt(g*N) + O(N^(1/4)), generalizing the Lindstrom-Erdos-Turan bound from g=1 to g>=2.",
      "type": "theoretical"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "B_2[g] sets in {1,...,N} for g >= 1; upper bound on cardinality scaling as sqrt(g*N)."
     },
     "confidence": {
      "basis": "operator-supplied frontier prior; review required",
      "extraction_confidence": 1,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.9
     },
     "created": "2026-05-10T17:04:45.708175+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [],
      "method": "manual state transition",
      "model_system": "",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "theoretical"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_013da185b81df2b4",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "agent:vela-curation-bot",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-05-10T17:04:45.708162+00:00",
       "extractor_version": "vela/0.107.0",
       "method": "manual_curation",
       "model": null,
       "model_version": null
      },
      "journal": "Combinatorica",
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "published_paper",
      "title": "Cilleruelo 2010",
      "year": 2010
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Manual finding added to frontier state",
   "reviewed_at": "2026-05-20T07:25:38.386988+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "rejected",
   "target": {
    "id": "vf_013da185b81df2b4",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "reviewer:solo-maintainer",
    "type": "human"
   },
   "applied_event_id": "vev_3956d574eccd4a4e",
   "caveats": [],
   "created_at": "2026-05-21T02:55:23.401163+00:00",
   "decision_reason": "Applied locally from proposal creation",
   "id": "vpr_fb457b1d570b79b6",
   "kind": "evidence_atom.locator_repair",
   "payload": {
    "locator": "arxiv:1605.01506",
    "source_id": "vs_b5e2d12c31e5aff7"
   },
   "reason": "Exact arXiv locator for Croot-Lev-Pach progression-free Z_4^n result; records a reviewable source locator without changing the finding assertion.",
   "reviewed_at": "2026-05-21T02:55:23.402838+00:00",
   "reviewed_by": "reviewer:solo-maintainer",
   "schema": "vela.proposal.v0.1",
   "source_refs": [],
   "status": "applied",
   "target": {
    "id": "vea_a92afe2675590334",
    "type": "evidence_atom"
   }
  }
 ],
 "statement_attestations": [],
 "statement_registrations": [],
 "attempt_claims": [],
 "verifier_attachments": [],
 "transfers": [],
 "endorsements": [],
 "sources": [
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [
    "source requires human review before being treated as evidence"
   ],
   "content_hash": "sha256:524ad56a6aa35d3d4a1d410b671fe0ebfdeec4f01a690e14c6de971376073dd9",
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_3bde881fed68d7dd"
   ],
   "id": "vs_0339f84349ab29ec",
   "imported_at": "2026-05-09T19:20:35.222684+00:00",
   "locator": "title:ChatGPT-5.5-Pro session, 2026-05-08, ~2 hours guided",
   "source_quality": "synthetic",
   "source_type": "synthetic_report",
   "title": "ChatGPT-5.5-Pro session, 2026-05-08, ~2 hours guided"
  },
  {
   "authors": [
    "Canopus Sidon proposer (Opus 4.8)"
   ],
   "caveats": [
    "source requires human review before being treated as evidence"
   ],
   "content_hash": "sha256:4f6f7eaaade09532645bd0bfd4f8718434743a44b7d2052bc5bc9a764fdd7b0c",
   "extraction_mode": "artifact_to_state_import",
   "finding_ids": [
    "vf_c9ab5970cdbcb6af"
   ],
   "id": "vs_04f529aaefba1005",
   "imported_at": "2026-06-03T12:00:00+00:00",
   "locator": "title:cap_087198a92d1e30a2 · vc_5aab0a22f7cdebf1",
   "source_quality": "synthetic",
   "source_type": "synthetic_report",
   "title": "cap_087198a92d1e30a2 · vc_5aab0a22f7cdebf1"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_e2252a5f8d8a5049"
   ],
   "id": "vs_09e905c736db9a3d",
   "imported_at": "2026-05-09T22:52:52.349506+00:00",
   "locator": "title:Sanders 2011",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Sanders 2011"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_0baa77910460c953"
   ],
   "id": "vs_1d22325daa3fcda7",
   "imported_at": "2026-05-09T19:20:29.325281+00:00",
   "locator": "title:Nathanson, 2024 (open problem)",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Nathanson, 2024 (open problem)"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_44e0fc831ac3e089"
   ],
   "id": "vs_2bddd6f29fda7764",
   "imported_at": "2026-05-09T22:52:52.315876+00:00",
   "locator": "title:Roth 1953",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Roth 1953"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_eee5b19763f3c625"
   ],
   "id": "vs_3d86039e17bccee8",
   "imported_at": "2026-05-09T22:52:52.565710+00:00",
   "locator": "title:Ellenberg-Gijswijt 2017",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Ellenberg-Gijswijt 2017"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_d7781ce5f2c7330a"
   ],
   "id": "vs_4e47b67b4645ebc9",
   "imported_at": "2026-05-09T22:52:52.332367+00:00",
   "locator": "title:Bourgain 1999",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Bourgain 1999"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_11e2e2a19e75887d"
   ],
   "id": "vs_50a4cd210cbedc58",
   "imported_at": "2026-05-09T22:52:52.298918+00:00",
   "locator": "title:Behrend 1946",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Behrend 1946"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_69c0db505746c28e"
   ],
   "id": "vs_551df53378b940f1",
   "imported_at": "2026-05-09T22:52:52.517794+00:00",
   "locator": "title:Bohr neighborhood, Bourgain 1990",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Bohr neighborhood, Bourgain 1990"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_f58c1d68daec29c3"
   ],
   "id": "vs_5e7234813199a87e",
   "imported_at": "2026-05-09T22:52:52.265715+00:00",
   "locator": "title:Lindstrom 1969",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Lindstrom 1969"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_f16e736879b4b42c"
   ],
   "id": "vs_7d2d5a9a0f13bd38",
   "imported_at": "2026-05-09T22:52:52.368429+00:00",
   "locator": "title:Bloom-Sisask 2020",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Bloom-Sisask 2020"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_5a1d047a8c85953a"
   ],
   "id": "vs_96f15c07c79678ba",
   "imported_at": "2026-05-09T22:52:52.494889+00:00",
   "locator": "title:Freiman 1973 / Ruzsa 1994",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Freiman 1973 / Ruzsa 1994"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_37afa7032e4b3d06"
   ],
   "id": "vs_aeede4dbbcf52015",
   "imported_at": "2026-05-09T22:52:52.281901+00:00",
   "locator": "title:B_h sets, Erdos 1955",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "B_h sets, Erdos 1955"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_8aa6c35eb4287a8f"
   ],
   "id": "vs_b2abc606808b7bc8",
   "imported_at": "2026-05-09T22:52:52.449461+00:00",
   "locator": "title:Plunnecke-Ruzsa 1969-1989",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Plunnecke-Ruzsa 1969-1989"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_7273c1823848f6e3"
   ],
   "id": "vs_b5e2d12c31e5aff7",
   "imported_at": "2026-05-09T22:52:52.541144+00:00",
   "locator": "title:Croot-Lev-Pach 2017",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Croot-Lev-Pach 2017"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_203f4969695ff256"
   ],
   "id": "vs_c4bcf864b97682ef",
   "imported_at": "2026-05-09T22:52:52.243975+00:00",
   "locator": "title:Singer 1938",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Singer 1938"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_e6443b35810cc321"
   ],
   "id": "vs_c63866f7ce57964c",
   "imported_at": "2026-05-09T22:52:52.471773+00:00",
   "locator": "title:Ruzsa covering lemma 1999",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Ruzsa covering lemma 1999"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_26b3e76e95e01f3e"
   ],
   "id": "vs_cb684b81e4ca50e5",
   "imported_at": "2026-05-09T22:52:52.407077+00:00",
   "locator": "title:Gowers 2001",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Gowers 2001"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_d018b0dfe8574a33"
   ],
   "id": "vs_d37bb918e41de908",
   "imported_at": "2026-05-09T22:52:52.427688+00:00",
   "locator": "title:Inverse Gowers theorem, Green-Tao-Ziegler 2012",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Inverse Gowers theorem, Green-Tao-Ziegler 2012"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_63f4bcd4f4904a08"
   ],
   "id": "vs_dad56783e2506cf1",
   "imported_at": "2026-05-09T19:20:20.711546+00:00",
   "locator": "title:Erdos-Turan, 1941",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Erdos-Turan, 1941"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_a4c54b1f9ff55bba"
   ],
   "id": "vs_ef43a01cb50e4311",
   "imported_at": "2026-05-09T22:52:52.387371+00:00",
   "locator": "title:Szemeredi 1975",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Szemeredi 1975"
  },
  {
   "authors": [
    "agent:research-bot-2026-05-09"
   ],
   "caveats": [],
   "extraction_mode": "manual_curation",
   "finding_ids": [
    "vf_9c462305947cb237"
   ],
   "id": "vs_f00d44f2a67bb7ba",
   "imported_at": "2026-05-09T22:52:52.590006+00:00",
   "locator": "title:Schoen-Shkredov 2014",
   "source_quality": "declared",
   "source_type": "paper",
   "title": "Schoen-Shkredov 2014"
  }
 ],
 "evidence_atoms": [
  {
   "caveats": [],
   "condition_refs": [
    "vcnd_e3f117c27811ffac"
   ],
   "evidence_type": "computational",
   "extraction_method": "artifact_to_state_import",
   "finding_id": "vf_c9ab5970cdbcb6af",
   "human_verified": false,
   "id": "vea_260ba1d40fa518ab",
   "locator": "span:0",
   "measurement_or_claim": "{\"artifact_id\":\"va_6a358e229f98b723\",\"artifact_packet_id\":\"cap_087198a92d1e30a2\",\"candidate_claim_id\":\"vc_5aab0a22f7cdebf1\"}",
   "source_id": "vs_04f529aaefba1005",
   "supports_or_challenges": "supports"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_5cd4524daec0751c"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_5a1d047a8c85953a",
   "human_verified": false,
   "id": "vea_2ccdfb693083935c",
   "measurement_or_claim": "Freiman's theorem: a finite set A of integers with |A+A| <= K|A| is contained in a generalized arithmetic progression of dimension at most d(K) and size at most f(K) * |A|.",
   "source_id": "vs_96f15c07c79678ba",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_dbace8b360cec0eb"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_63f4bcd4f4904a08",
   "human_verified": false,
   "id": "vea_30334dad5d113f8e",
   "measurement_or_claim": "A Sidon set in {1,...,N} of size O(sqrt(N)) exists, attaining the elementary upper bound for h=2 sumsets up to a multiplicative constant.",
   "source_id": "vs_dad56783e2506cf1",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_fd462fe4767afe90"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_a4c54b1f9ff55bba",
   "human_verified": false,
   "id": "vea_3d6fbbc6d03cf374",
   "measurement_or_claim": "Szemeredi's theorem: any subset of the natural numbers with positive upper density contains arbitrarily long arithmetic progressions.",
   "source_id": "vs_ef43a01cb50e4311",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_90df45b058013704"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_203f4969695ff256",
   "human_verified": false,
   "id": "vea_599d44bc66b0216e",
   "measurement_or_claim": "Singer's perfect-difference-set construction in projective planes yields Sidon sets in {1,...,N} of size sqrt(N) + O(N^{1/4}), matching the elementary upper bound up to lower-order terms.",
   "source_id": "vs_c4bcf864b97682ef",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_5ea4c9d7572e951c"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_37afa7032e4b3d06",
   "human_verified": false,
   "id": "vea_6a642400b8e8e7c5",
   "measurement_or_claim": "B_h sets, the h-fold generalization of Sidon sets, have maximum density satisfying |A| <= (h! * N)^{1/h} + O(N^{1/(2h)}) in {1,...,N}.",
   "source_id": "vs_aeede4dbbcf52015",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_35f884ae7a747078"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_e6443b35810cc321",
   "human_verified": false,
   "id": "vea_6bc42453ed3d2626",
   "measurement_or_claim": "Ruzsa covering lemma: if |A+B| <= K|A|, then B is contained in the sumset A - A translated by at most K elements; the engine of small-doubling structure theorems.",
   "source_id": "vs_c63866f7ce57964c",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [],
   "condition_refs": [
    "vcnd_177ff115ffe93a32"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_f16e736879b4b42c",
   "human_verified": false,
   "id": "vea_74798c142b62e1c4",
   "locator": "section:arXiv abstract",
   "measurement_or_claim": "arXiv:2007.03528 states that if A in {1,...,N} has no non-trivial 3-term arithmetic progressions, then |A| is bounded by N/(log N)^(1+c) for some absolute c > 0.",
   "source_id": "vs_7d2d5a9a0f13bd38",
   "supports_or_challenges": "supports"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_b60a8fa02a53e120"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_11e2e2a19e75887d",
   "human_verified": false,
   "id": "vea_92db9ae1d5af39f4",
   "measurement_or_claim": "Behrend's construction yields subsets of {1,...,N} of size N * exp(-c * sqrt(log N)) containing no nontrivial 3-term arithmetic progression, the densest such known until 2020.",
   "source_id": "vs_50a4cd210cbedc58",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_59158216f6c83b62"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_3bde881fed68d7dd",
   "human_verified": false,
   "id": "vea_9a3732d508ed2861",
   "measurement_or_claim": "The h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.",
   "source_id": "vs_0339f84349ab29ec",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_69744c1c41cb9b4c"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_26b3e76e95e01f3e",
   "human_verified": false,
   "id": "vea_a4c7c632bb7d3d22",
   "measurement_or_claim": "Gowers gave the first quantitative proof of Szemeredi's theorem with effective bounds, introducing higher-order Fourier analysis (Gowers norms U^k) as the central tool.",
   "source_id": "vs_cb684b81e4ca50e5",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_3d2e39ac5e0a5a0b"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_d018b0dfe8574a33",
   "human_verified": false,
   "id": "vea_a78382a33d80bfdd",
   "measurement_or_claim": "Functions with large Gowers U^{s+1}-norm correlate with nilsequences of step s; this inverse theorem is the analytic engine behind quantitative Szemeredi for arbitrary k.",
   "source_id": "vs_d37bb918e41de908",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [],
   "condition_refs": [
    "vcnd_92b21bbab19aa796"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_7273c1823848f6e3",
   "human_verified": false,
   "id": "vea_aa70162760bbe7f4",
   "locator": "section:arXiv abstract",
   "measurement_or_claim": "arXiv:1605.01506 states that for n > 0, any 3-term-progression-free subset of Z_4^n has size below 4^(c n) for c about 0.926.",
   "source_id": "vs_b5e2d12c31e5aff7",
   "supports_or_challenges": "supports"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_3576f22170084a6a"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_0baa77910460c953",
   "human_verified": false,
   "id": "vea_ac42cdef8d22e70b",
   "measurement_or_claim": "For h>=3 the analog of N(h,k) admits a polynomial in k upper bound via h-squared-dissociated sets, replacing the prior exponential construction.",
   "source_id": "vs_1d22325daa3fcda7",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_616832781d13915a"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_9c462305947cb237",
   "human_verified": false,
   "id": "vea_b35c4d71d2f85c79",
   "measurement_or_claim": "Schoen-Shkredov: density alpha > exp(-c * (log N)^{1/4}) suffices for 3-APs via combined Fourier and Bohr-set decomposition methods.",
   "source_id": "vs_f00d44f2a67bb7ba",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_bdba1c64bd88b673"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_d7781ce5f2c7330a",
   "human_verified": false,
   "id": "vea_b9ff3d8dd467bcc7",
   "measurement_or_claim": "Bourgain's Fourier-analytic increment argument lowers the density threshold for 3-AP existence in {1,...,N} to alpha > C * (log log N)^2 / sqrt(log N).",
   "source_id": "vs_4e47b67b4645ebc9",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_afd899737b02b405"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_69c0db505746c28e",
   "human_verified": false,
   "id": "vea_d283bf7016b42b46",
   "measurement_or_claim": "A Bohr neighborhood B(Lambda, rho) is the set of x in Z/NZ where |gamma * x / N| < rho for all gamma in Lambda; its dimension d = |Lambda| controls density |B| / N >= rho^d, enabling Fourier-analytic density-increment iterations.",
   "source_id": "vs_551df53378b940f1",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_5858437ec952238c"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_e2252a5f8d8a5049",
   "human_verified": false,
   "id": "vea_d329d7aab20b623d",
   "measurement_or_claim": "Sanders' bound: density alpha > C * (log log N)^4 / log N is sufficient to guarantee a 3-term AP in any subset of {1,...,N}.",
   "source_id": "vs_09e905c736db9a3d",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [],
   "condition_refs": [
    "vcnd_37930dc72168271c"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_eee5b19763f3c625",
   "human_verified": false,
   "id": "vea_da5823dd5a21022c",
   "locator": "section:arXiv abstract",
   "measurement_or_claim": "arXiv:1605.09223 states that the Croot-Lev-Pach method bounds progression-free subsets of F_q^n by c^n with c < q; for q = 3 this is the cap-set problem.",
   "source_id": "vs_3d86039e17bccee8",
   "supports_or_challenges": "supports"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_ebae51c92f60a2e3"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_8aa6c35eb4287a8f",
   "human_verified": false,
   "id": "vea_debafb8077accb00",
   "measurement_or_claim": "Plunnecke-Ruzsa inequality: if |A+A| <= K|A|, then |kA - lA| <= K^{k+l} * |A| for all nonnegative integers k, l.",
   "source_id": "vs_b2abc606808b7bc8",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_0f9a03e46b856fef"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_f58c1d68daec29c3",
   "human_verified": false,
   "id": "vea_f6b6aca975df9d45",
   "measurement_or_claim": "Lindstrom's upper bound for Sidon-set size in {1,...,N} is sqrt(N) + N^{1/4} + 1, tightening the Erdos-Turan bound by a factor of sqrt(2).",
   "source_id": "vs_5e7234813199a87e",
   "supports_or_challenges": "unknown"
  },
  {
   "caveats": [
    "missing evidence locator"
   ],
   "condition_refs": [
    "vcnd_7ea00d244b3623bc"
   ],
   "evidence_type": "theoretical",
   "extraction_method": "manual_curation",
   "finding_id": "vf_44e0fc831ac3e089",
   "human_verified": false,
   "id": "vea_f96038a3a7013c00",
   "measurement_or_claim": "Roth's theorem: any subset of {1,...,N} of density alpha > C / log log N contains a nontrivial 3-term arithmetic progression.",
   "source_id": "vs_2bddd6f29fda7764",
   "supports_or_challenges": "unknown"
  }
 ]
}