You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
ci: overlap locked shell-source prefetch with devenv resolution - #2290
The first shell configuration fetches immutable locked sources after executable resolution, leaving source-download work on the bootstrap critical path.
Goal
Overlap source prefetch with the existing Resolve devenv operation without adding jobs or checks or bypassing native integrity validation.
Decisions
Traverse the checkout lock directly, resolve follows edges, exclude the executable-only branch, and deduplicate full locked identities.
Use two workers and native Nix GitHub prefetch with the exact locked revision and narHash. Unsupported or local inputs remain with the authoritative resolver.
Join fetches and workers on success, failure, and termination. Retain job-local diagnostics; optional warming never authorizes stale source data.
Add the deterministic no-network fake-fetch regression to the existing CI runtime regression step.
PASS: oxfmt --check on changed TypeScript and specification files.
N/A: nixfmt 1.5.0 --check; no changed Nix files.
BLOCKED: Genie generation and check encounter accepted source-view dependency blockers (redis and @overeng/otel-contract).
Needs genie regeneration (ci.yml / generated scripts). Run bun packages/@overeng/genie/bin/genie.tsx --output ci-plain in the admitted development environment before measuring.
184 handwritten added lines; no generated files hand-edited.
The gain is to be measured from this PRs pr/quality run against baseline quality job 125740942271: compare the shell-configuration interval and setup+bootstrap. No gain is claimed here. Existing step durations and timestamps provide the measurement.
Complexity
One small shell helper with two fixed workers; no dependency, cache service, retry subsystem, or extra evaluation.
Concerns
Prefetch is useful only if the normal shell backend consumes warmed native fetch state; contention or incompatible fetch caches may erase the overlap benefit. Keep this PR draft until regeneration and measured evidence are available.
Friction & bottlenecks
The source-view dependency graph prevents the required Genie command from starting. Generated outputs will be emitted in the admitted environment, not manually patched.
Follow-ups
None outside the regeneration and measurement gates for this draft.
GO at exact head 463badf. Delta 71daf6b..463badf reviewed. Cancellation: brace bodies give the backgrounded PID ownership of the traps; worker cleanup kills and waits for the real fetch child; traps are cleared on normal return (independent review at eb7cfa3). Test permits: single-byte permits read with read -r -n 1 cannot be split between concurrent FIFO readers.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
origin:agentFiled or primarily produced by an AI agent · Set: AI agent or manual
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Problem
The first shell configuration fetches immutable locked sources after executable resolution, leaving source-download work on the bootstrap critical path.
Goal
Overlap source prefetch with the existing Resolve devenv operation without adding jobs or checks or bypassing native integrity validation.
Decisions
Verification
The gain is to be measured from this PRs pr/quality run against baseline quality job 125740942271: compare the shell-configuration interval and setup+bootstrap. No gain is claimed here. Existing step durations and timestamps provide the measurement.
Complexity
One small shell helper with two fixed workers; no dependency, cache service, retry subsystem, or extra evaluation.
Concerns
Prefetch is useful only if the normal shell backend consumes warmed native fetch state; contention or incompatible fetch caches may erase the overlap benefit. Keep this PR draft until regeneration and measured evidence are available.
Friction & bottlenecks
The source-view dependency graph prevents the required Genie command from starting. Generated outputs will be emitted in the admitted environment, not manually patched.
Follow-ups
None outside the regeneration and measurement gates for this draft.
References
Baseline quality job 125740942271.
Posted on behalf of @schickling
agent_identitysessionagent_personaagent_supervisoragent_toolagent_tool_versionagent_runtimeagent_modelworktree