Skip to content

docs(track-a): promote Xvfb DRI-path minimality proof - #427

Merged
blakinio merged 2 commits into
mainfrom
docs/OTC-20260816-track-a-xvfb-dri-path-default-glx-promote
Aug 16, 2026
Merged

docs(track-a): promote Xvfb DRI-path minimality proof#427
blakinio merged 2 commits into
mainfrom
docs/OTC-20260816-track-a-xvfb-dri-path-default-glx-promote

Conversation

@blakinio

Copy link
Copy Markdown
Owner

Coordinator current-main promotion replay for accepted RUNTIME-INFRA Draft #421.

Base: main@e398337d887a7b498f13859bc17f989f74a81d22.
Source: #421@a359ab908772e95e1dbae850f6ef4de1738cbf05.

The source changed only its task and evidence file; both are replayed by exact blob SHA from current main with no source branch history. Independent log review of semantic job 95210624747 confirms the contained Xvfb started with the canonical argument surface, without +extension GLX, with only LIBGL_DRIVERS_PATH added; GLX changed to present with opcode 150, RENDER remained present, no client/VNC/WARP/canonical state was used, and cleanup completed.

The bounded promoted conclusion is only: the contained DRI provider search path alone is sufficient to make this exact contained Xvfb advertise GLX under the current canonical Xvfb argument list. It does not claim official-client success.

Promotion requires exact-head governance/CI and zero review threads. Implementation remains separate in Draft #423.

@blakinio
blakinio marked this pull request as ready for review August 16, 2026 19:21
@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant