Skip to content

Align developer guides with published kernel startup - #44

Merged
irl-dan merged 2 commits into
mainfrom
codex/imp-055-build-docs
Oct 6, 2026
Merged

irl-dan merged 2 commits into
mainfrom
codex/imp-055-build-docs

Conversation

@irl-dan

@irl-dan irl-dan commented Oct 6, 2026 •

Copy link
Copy Markdown
Contributor

Developer guides described ordinary builds as echo-only and image-envelope by default, although both implementations acquire the published kernel and use native completion. Reconcile Bun/Rust and image guides around ordinary startup, fixed-image selection, diagnostic fixtures and test-only builds. Document explicit tool configuration instead of relying on arbitrary forwarded environment variables.

Verified fresh Bun ordinary/test/fixed-image builds and isolated dry runs, the copied provider-free tool configuration example, links and public-surface checks. An ordinary Rust binary from account-parity candidate 2f3902b selected the same kernel in an isolated version-only Codex dry run; startup/image source is identical to this documentation base. Its source identity is recorded separately from the documentation head.

Prior head 8d2ef7df9ff22580f81e19301e5f735442ea6be0 passed all 15 checks, including full Linux/macOS source admission, four builds, four installation rehearsals and security analysis. Independent source review found no blocking findings. The earlier full local Bun check exhausted disk and remains a failed attempt in IMP-055/IMP-089, alongside the passing remote logs and example receipts.

No runtime change, new Python, model call or release.

Reviewed follow-up 2880e190f64e4ef7a307c395a151ade05103419e corrects CONTRIBUTING’s stated Python CI version to the existing 3.10.20 workflow pin. No Python or workflow source changed. Final head2880e190f64e4ef7a307c395a151ade05103419e passes all 15 checks, including full Linux/macOS source admission. Both final and prior passing evidence are retained separately.

@irl-dan
irl-dan merged commit e5aa922 into main Oct 6, 2026
15 checks passed
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