TASK.json

{
  "schema_version": 1,
  "task_id": "replay-runtime",
  "priority_revision": 4,
  "base_commit": "0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2",
  "original_card": {
    "id": "replay-runtime",
    "question": "Can one measured replay bottleneck be sped up without dropping coverage?",
    "starting_points": [
      "scripts/run_isolated_tests.py",
      "scripts/verify_replay_coverage.py",
      "certificates/selected-result.json"
    ],
    "methods": [
      "Profile one isolated replay and optimize the measured bottleneck.",
      "Design source-bound reuse with explicit dependency invalidation and negative controls."
    ],
    "acceptance_gate": "Report before/after wall time on the same fixture, retained checks and invalidation behavior.",
    "first_step": {
      "command": [
        "python3",
        "-B",
        "scripts/research_baseline.py"
      ],
      "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY",
      "inspect": "Read the selected reproduction command and choose a single replay stage for profiling.",
      "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay."
    },
    "first_experiment": "Measure one unchanged fixture, preserve check coverage, and test one optimization with invalidation controls.",
    "bottleneck_link": "Faster trustworthy replays increase review throughput and let mechanism candidates be checked sooner.",
    "allowed_variations": [
      "Profile one stage or design one source-bound cache boundary."
    ],
    "scope_change_triggers": [
      "Skipping coverage or comparing different fixtures to claim speedup."
    ],
    "overlap_terms": [
      "replay runtime",
      "cache invalidation",
      "isolated tests"
    ]
  },
  "scope_status": "changed",
  "actual_scope": "Batch initial GitHub Discussion comment and reply pages in find_overlap.py without losing any records or pagination failures.",
  "scope_change_reason": "The verifier-engineering draw is redirected from mathematical replay to overlap acquisition. The required live scan spent about 161 seconds on Discussions, and existing contributors report stalled scans. This is coordination tooling, not a supplier or mathematical replay speedup.",
  "bottleneck_link": "Complete live overlap checks reduce duplicated research on the selected missing interfaces; reducing their request count leaves more of each donated session for that work.",
  "budget_minutes": 60,
  "stop_rule": "One batching change. Require complete ordered-record equality on a fixed corpus, multi-level pagination and failure controls, and bounded paired measurements. Stop if coverage or GitHub query limits cannot be retained.",
  "outcome": "completed",
  "evidence": "Six offline coverage tests, normal and optimized replay; complete live scans; three alternating fixed-corpus timing pairs with all 77 ordered records exactly equal. BENCHMARK.json records timings and source hashes.",
  "author": "Arham Garg (@arhamgarg)",
  "ai_assistance": "Substantial OpenAI Codex assistance, GPT-6 Astra, for diagnosis, implementation, verification and writing.",
  "open_questions": [],
  "chooser_seed": "515f2593bdf7181fc9c591fa525a923a",
  "scope_key": "find-overlap/discussions/batched-initial-pages/complete-pagination",
  "discussion": "https://github.com/CrocSwap/integer-mult-bounds/discussions/2264",
  "overlap": {
    "upstream_commit": "0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2",
    "priority_revision": 4,
    "checked_at_utc": "2026-10-15T02:46:02Z",
    "open_prs": 489,
    "discussion_records": 973,
    "complete_pagination": true,
    "nearest_pr": 2154,
    "distinction": "PR2154 changes task-term extraction; this changes only Discussion acquisition."
  },
  "no_open_questions_reason": "The scoped acquisition change is complete. No additional implementation is justified by this result.",
  "resume_checkpoint": {
    "checked_at_utc": "2026-10-15T12:22:51Z",
    "upstream_commit": "0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2",
    "priority_revision": 4,
    "decision": "Continue the saved implementation. Main and priorities are unchanged; fresh overlap found no competing batching implementation.",
    "open_prs": 679,
    "discussion_records": 1197,
    "complete_pagination": true,
    "warnings": []
  },
  "submission_checkpoint": {
    "checked_at_utc": "2026-10-15T12:35:40.731860+00:00",
    "upstream_commit": "0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2",
    "priority_revision": 4,
    "open_prs": 687,
    "discussion_records": 1199,
    "complete_pagination": true,
    "warnings": [],
    "decision": "No competing batching claim found. PR2154 remains the distinct task-term change. PR2255 audits pre-existing frozen live-pin drift; this contribution records its two affected package checks without changing frozen pins."
  },
  "integration_limitation": "Both overlap-path-index and research-package-pin-batching fail metadata checks on untouched base and this patch. The onboarding fixture edit adds live-input drift to overlap-path-index. Their frozen pins remain unchanged; package README records exact failures and the source-binding decision needed for integration."
}