{
 "flight": {
  "id": 25821,
  "agent": "github-copilot",
  "state": "closed",
  "title": "Fix MjPhi generating incorrect Φ. prefix for Java-style attribute names",
  "number": 4320,
  "source": "aidev",
  "commits": 6,
  "debrief": "GitHub Copilot attempted a fix in objectionary/eo for MjPhi wrongly adding the Φ. prefix to Java-style j$ attribute names. The change touched seven files with 416 additions and 270 deletions across six commits. Human review closed it unmerged as a burn. The reviewer wrote \"don't create new test files, like you did with MjPhiIssueTest.\"",
  "outcome": "burn",
  "signals": [
   "aidev:Copilot"
  ],
  "index_ok": true,
  "additions": 416,
  "closed_at": "2025-06-24T14:09:47+00:00",
  "deletions": 270,
  "merged_at": null,
  "opened_at": "2025-06-24T10:23:46+00:00",
  "task_type": "fix",
  "body_chars": 3925,
  "confidence": "dataset",
  "updated_at": "2026-11-03T21:53:48.653051+00:00",
  "enriched_at": null,
  "body_excerpt": "Fixed an issue where the phi expression generator was incorrectly adding the `Φ.` prefix to Java-style attribute names starting with `j$`.\n\n## Problem\n\nWhen converting XMIR to phi expressions, attribute names like `j$foo` that were present in the aliases metadata were incorrectly getting the program",
  "review_count": 0,
  "files_changed": 7,
  "hours_to_merge": null,
  "metrics_source": "aidev_commit_sum",
  "change_requests": 0,
  "og_generated_at": "2026-11-03T21:53:48.653051+00:00",
  "reviewer_excerpt": "@copilot don't create new test files, like you did with MjPhiIssueTest. Instead, put your new test into the existing `MjIssueTest.java` file. Also, don't put empty",
  "review_comment_count": 0,
  "reviewer_excerpt_url": "https://github.com/objectionary/eo/pull/4320#issuecomment-2999888647"
 },
 "repo": {
  "name": "eo",
  "owner": "objectionary",
  "stars": 1482,
  "license": "MIT",
  "full_name": "objectionary/eo",
  "primary_language": "Java"
 },
 "author": {
  "login": "Copilot",
  "name": null,
  "github_profile": "https://github.com/Copilot",
  "page": null
 },
 "claim": null,
 "events": [
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  }
 ],
 "related": [
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Remove conservative attribute from MjPhi and always use non-conservative mode",
   "number": 4317,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 12,
   "deletions": 54,
   "merged_at": "2025-06-24T08:39:43+00:00",
   "opened_at": "2025-06-23T15:41:14+00:00",
   "task_type": "refactor",
   "files_changed": 10,
   "hours_to_merge": 16.97
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Fix automatic README.md version update in release workflow",
   "number": 4282,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 1,
   "deletions": 0,
   "merged_at": "2025-06-14T04:00:57+00:00",
   "opened_at": "2025-06-13T11:39:29+00:00",
   "task_type": "fix",
   "files_changed": 2,
   "hours_to_merge": 16.36
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Remove unnecessary JUnit dependency from EoSourceRun by making imports conditional",
   "number": 4280,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 67,
   "deletions": 64,
   "merged_at": "2025-06-20T05:20:37+00:00",
   "opened_at": "2025-06-13T11:35:40+00:00",
   "task_type": "fix",
   "files_changed": 3,
   "hours_to_merge": 161.75
  }
 ],
 "pr_url": "https://github.com/objectionary/eo/pull/4320",
 "page": "https://agentriders.com/logs/objectionary/eo/4320/"
}