{
 "flight": {
  "id": 189411,
  "agent": "openai-codex",
  "state": "merged",
  "title": "Fix getTriples value filtering",
  "number": 1292,
  "source": "aidev",
  "commits": 1,
  "debrief": "OpenAI Codex submitted a one-file fix in instantdb/instant so getTriples returns triples when filtering by v. The agent notes the datalog applies a filtering step, so invalid data should not have been returned, and the change reduces query work. It merged clean after one review with zero change requests, 0.1 hours after opening.",
  "outcome": "merged_clean",
  "signals": [
   "aidev:OpenAI_Codex"
  ],
  "index_ok": true,
  "additions": 1,
  "closed_at": "2025-06-13T20:32:26+00:00",
  "deletions": 0,
  "merged_at": "2025-06-13T20:32:26+00:00",
  "opened_at": "2025-06-13T20:26:40+00:00",
  "task_type": "fix",
  "body_chars": 340,
  "confidence": "dataset",
  "updated_at": "2026-11-04T02:19:05.830704+00:00",
  "enriched_at": null,
  "body_excerpt": "(created by codex)\n\nWe forgot to return the triples when filtering by `v` in `getTriples`. I think we still do a filtering step in the datalog, so we shouldn't have been returning invalid data. But this will reduce the amount of work we have to do for a query.\n\n------\nhttps://chatgpt.com/codex/tasks",
  "review_count": 1,
  "files_changed": 1,
  "hours_to_merge": 0.1,
  "metrics_source": "aidev_commit_sum",
  "change_requests": 0,
  "og_generated_at": "2026-11-04T02:19:05.830704+00:00",
  "reviewer_excerpt": "Woohoo!",
  "review_comment_count": 0,
  "reviewer_excerpt_url": "https://github.com/instantdb/instant/pull/1292#pullrequestreview-2926320762"
 },
 "repo": {
  "name": "instant",
  "owner": "instantdb",
  "stars": 10560,
  "license": "Apache-2.0",
  "full_name": "instantdb/instant",
  "primary_language": "TypeScript"
 },
 "author": {
  "login": "dwwoelfel",
  "name": "Daniel Woelfel",
  "github_profile": "https://github.com/dwwoelfel",
  "page": "https://agentriders.com/logs/author/dwwoelfel/"
 },
 "claim": null,
 "events": [
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "Daniel Woelfel"
  },
  {
   "at": null,
   "url": null,
   "kind": "reviewed",
   "actor_login": null
  },
  {
   "at": "2025-06-13T20:26:41+00:00",
   "url": null,
   "kind": "labeled",
   "actor_login": "dwwoelfel"
  },
  {
   "at": "2025-06-13T20:32:26+00:00",
   "url": null,
   "kind": "merged",
   "actor_login": "dwwoelfel"
  },
  {
   "at": "2025-06-13T20:32:26+00:00",
   "url": null,
   "kind": "closed",
   "actor_login": "dwwoelfel"
  }
 ],
 "related": [],
 "pr_url": "https://github.com/instantdb/instant/pull/1292",
 "page": "https://agentriders.com/logs/instantdb/instant/1292/"
}