Skip to content

PTD-23.1.7: Enforce portable Python wheel eligibility - #154

Merged
omry merged 1 commit into
pr153from
pr154
Sep 15, 2026
Merged

omry merged 1 commit into
pr153from
pr154

Conversation

@omry

@omry omry commented Sep 15, 2026

Copy link
Copy Markdown
Owner

Invoke the provider-owned eligibility gate immediately after interpreter selection in fresh and cached Python resolver paths.

Reject ineligible portable bindings before wheel resolution while preserving ordinary Python behavior.
@omry
omry changed the base branch from main to pr153 September 15, 2026 13:35
@omry
omry added this pull request to stack #151 September 15, 2026 13:35
@gitar-bot

gitar-bot Bot commented Sep 15, 2026

Copy link
Copy Markdown
Code Review ✅ Approved

Adds eligibility gate enforcement for portable Python wheels immediately after interpreter selection in both fresh and cached resolver paths, rejecting ineligible portable bindings before wheel resolution. No issues found.

Review coverage

Rules No rules evaluated

Functional validation Not enabled · Set up

Options

Auto-apply is off → Gitar will not commit updates to this branch.
Display: compact → Counting what did not apply, without listing it.

Comment with these commands to change the behavior for this request:

Auto-apply Compact
gitar auto-apply:on         
gitar display:verbose         

Was this helpful? React with 👍 / 👎 | Powered by Gitar — free for open source

@omry

omry commented Sep 15, 2026

Copy link
Copy Markdown
Owner Author

PR-cycle state — maintained automatically. Do not edit by hand.

Mechanical PR-cycle state (JSON)
{
  "approval": {
    "candidate_revision_fingerprint": "sha256:c859b34bd25a498cab8f7fcdaae5db5aa66a70ebf3046d04b7edde43a155d1d9",
    "evidence": {
      "attestations": [],
      "candidate_revision_fingerprint": "sha256:c859b34bd25a498cab8f7fcdaae5db5aa66a70ebf3046d04b7edde43a155d1d9",
      "check_conclusions": [],
      "delivery_deferral_ledger_digest": "sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945",
      "finding_dispositions_digest": "sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945",
      "operation_identity": "sha256:1d32c59d981173c4f025e306f3d1bace3f85a17649aba3996e55f9fb1fc3786a",
      "review_request": {
        "body_digest": "sha256:b58a53857f89406cc0f3a80de70886467d66b1a141dc4147af4778da4710b4d3",
        "id": 5681350982
      },
      "review_result": {
        "body_digest": "sha256:15436bfea463130528c76544311854d851dacf058f8c5f95d7c1d742c872ba9a",
        "id": 5681388179
      }
    },
    "evidence_fingerprint": "sha256:dfb9cddd2fd232159b0177b47b92f8ca21439f2d418940947f5b2089063fb273",
    "head_sha": "c510c326ad06f8d95b9b1d42cfe04339cc7009ba",
    "operation_identity": "sha256:1d32c59d981173c4f025e306f3d1bace3f85a17649aba3996e55f9fb1fc3786a",
    "review_request_id": 5681350982,
    "review_result_id": 5681388179,
    "status": "approved-evidence-recorded"
  },
  "candidate_revision_fingerprint": "sha256:c859b34bd25a498cab8f7fcdaae5db5aa66a70ebf3046d04b7edde43a155d1d9",
  "check_conclusions": [],
  "check_observations": [
    {
      "checks": [],
      "head_sha": "c510c326ad06f8d95b9b1d42cfe04339cc7009ba",
      "id": "sha256:1489a949fb77368edda3bd42ed07586911f74a5ebdea4fefa9b1b0255f95267f",
      "required_checks": [],
      "status": "success"
    }
  ],
  "delivery_deferral_ledger_digest": "sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945",
  "delivery_deferrals": [],
  "findings": [],
  "pr": {
    "base_ref": "pr153",
    "base_sha": "c43f6cf82d6a575c6e54a998c4c32efcf713edb6",
    "body_digest": "sha256:67c9c9606fd537d448c0343ffb40518b70b2858cb2c30531495741351cfbf8dd",
    "diff_digest": "sha256:ba11e5d7df93343e6b7f22d847adf32378c79479eec47646f9499d13ffacdefe",
    "head_ref": "pr154",
    "head_sha": "c510c326ad06f8d95b9b1d42cfe04339cc7009ba",
    "pr": 154,
    "repository": "omry/reploy",
    "scope_authority": [
      {
        "digest": "sha256:bd02f5450b2940b3a960f6419994aa9c4e5e65ccb4dc5365b4d17ac233b49d9d",
        "path": "docs/PORTABLE_TOOL_DEFINITION_DESIGN.md"
      },
      {
        "digest": "sha256:47bb71c994c57aa7e3b5276a68bd5ec880bc0880e961f06544285ddd7e72500a",
        "path": "docs/PORTABLE_TOOL_DEFINITION_IMPLEMENTATION_PLAN.md"
      }
    ],
    "title_digest": "sha256:73b22798d2bf96cf4976d6f58b240d39840d1a0b80193b190d29edd05ec145a3"
  },
  "record_version": 4,
  "review_observations": [],
  "review_requests": [
    {
      "base_established_at": "2026-09-15T13:35:00Z",
      "base_ref": "pr153",
      "base_sha": "c43f6cf82d6a575c6e54a998c4c32efcf713edb6",
      "body_digest": "sha256:b58a53857f89406cc0f3a80de70886467d66b1a141dc4147af4778da4710b4d3",
      "created_at": "2026-09-15T13:53:26Z",
      "head_sha": "c510c326ad06f8d95b9b1d42cfe04339cc7009ba",
      "id": 5681350982,
      "kind": "regular-review"
    }
  ],
  "review_results": [
    {
      "base_ref": "pr153",
      "base_sha": "c43f6cf82d6a575c6e54a998c4c32efcf713edb6",
      "body_digest": "sha256:15436bfea463130528c76544311854d851dacf058f8c5f95d7c1d742c872ba9a",
      "commit_id": "c510c326ad06f8d95b9b1d42cfe04339cc7009ba",
      "id": 5681388179,
      "inline_message_ids": [],
      "request_comment_id": 5681350982,
      "result_kind": "clean",
      "status": "result",
      "submitted_at": "2026-09-15T13:55:54Z",
      "unresolved_thread_ids": []
    }
  ],
  "revision_fingerprint": "sha256:c859b34bd25a498cab8f7fcdaae5db5aa66a70ebf3046d04b7edde43a155d1d9",
  "rounds": [
    {
      "applied_fix_paths": [],
      "disposition_changes": [],
      "effective_diff_digest": "sha256:ba11e5d7df93343e6b7f22d847adf32378c79479eec47646f9499d13ffacdefe",
      "finding_ids": [],
      "invariants": [
        "Portable binding eligibility is checked immediately after the one selected interpreter is known in both fresh and cached resolver paths, before resolver invocation.",
        "Ordinary Python requirements remain unaffected, and no wheel acquisition or preparation is introduced before the eligibility gate."
      ],
      "outcome": "clean",
      "proposed_fix_paths": [],
      "resulting_head": "c510c326ad06f8d95b9b1d42cfe04339cc7009ba",
      "review_observation_id": null,
      "review_request_id": 5681350982,
      "review_result_id": 5681388179,
      "reviewed_head": "c510c326ad06f8d95b9b1d42cfe04339cc7009ba",
      "root_cause": null,
      "round": 1,
      "unresolved_current_slice_findings": 0,
      "unresolved_design_blockers": 0
    }
  ],
  "schema": "awd:swe:pr-cycle-state",
  "version": 2
}

@omry
omry marked this pull request as ready for review September 15, 2026 13:46
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 15, 2026

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review Completed 2026-09-15T13:55:55.805071Z c510c32 Manual request
🔒 Security Review Completed 2026-09-15T13:49:49.572316Z c510c32 Draft marked ready
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@omry

omry commented Sep 15, 2026

Copy link
Copy Markdown
Owner Author

@codex, regular review c510c32

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 🚀

Reviewed commit: c510c326ad

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@omry omry added the approved PR reviewed and approved label Sep 15, 2026
@omry
omry merged commit 1fc9286 into main Sep 15, 2026
8 checks passed
@omry
omry deleted the pr154 branch September 15, 2026 16:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

approved PR reviewed and approved

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant