Skip to content

ci: prove installed Home and local model journeys - #152

Closed
andersalm wants to merge 25 commits into
developfrom
feat/0.7.2-ci-installed-journeys
Closed

andersalm wants to merge 25 commits into
developfrom
feat/0.7.2-ci-installed-journeys

Conversation

@andersalm

Copy link
Copy Markdown
Contributor

Installed CI jobs now sign in to Home, admit the pinned SmolLM2 fixture package, get one reply through the installed Runtime, and save Home screenshots at desktop and phone widths. Linux runs the accepted LA-04 fixture in visible 1 GiB and 4 GiB cgroup v2 scopes, for refusal before engine spawn and the complete resource lifecycle.

This is the explicit combined proof candidate for #150. Normal merges preserve #97 / PR #133 at 26de9c5 and #98 / PR #136 at 1ab6ead. Their acceptance and required reviews remain open; this PR depends on those reviews. The CI and harness changes have separate commits.

Each install job publishes candidate and installed Runtime SHA-256, journey results, cgroup ancestry and pinned model/provider identities. Raw Runtime logs and passkey authority remain in the test Home.

Added CI time: estimated 4–8 minutes per Linux job and 2–6 minutes on Mac, including browser setup and new model proof; measured step times will replace this estimate after the first completed run.

Validation: the four basic repository gates, script syntax checks, model-provider formatting, and the existing pinned proof verifier self-test pass. Exact installed CI proof and independent agent review are in progress. Irzhy review is required when this draft is ready.

Refs #150; dependency proof for #97 and #98.

Stage the accepted b10516 Jetson archive as a release input and select its CPU profile. Check host CPU features, installed ELF architecture and library loading before writing the engine receipt. Extend ARM64 admission and native proof coverage.

Verified: release-platform-input-test.py; prepare-release-platform-test.py; focused elastos-server setup/profile/startup tests; repository format and entropy gates.
Keep explicitly loopback-bound Carrier endpoints inside their local socket boundary by disabling Iroh port mapping. The default portmapper can start UPnP discovery through an auxiliary wildcard UDP socket.

Verified: required diff, Home entropy and formatting gates; cargo test -p elastos-server test_explicit_ (3 pass). Focused security review passes diff 0064a077522efea9f37e277a17d18fe0555476e4db9160df3dc60f64df710f91. Installed ARM64 proof remains open.
Share the strict Carrier address reader between Runtime startup and ordinary standalone component setup. Every trusted-source route uses the chosen address without an ephemeral fallback; fetch cleanup releases the owned endpoint before the next component.

Verified: required source gates; configured setup port ownership fixture (occupied refusal, two sequential fetches, immediate rebind); existing strict configuration test; focused security review of diff 0c645b36edfbe54a63bcb16b948f2cd3fb351dc76005d57a03d022cfd6f79bd0. Installed Assistant proof remains open.
@andersalm

Copy link
Copy Markdown
Contributor Author

Operator note (Anders's assistant): carrying #133 and #136 as parents is accepted, because one CI run then proves #97, #98 and #150 on GitHub's machines. Merge order: #133 and #136 merge into develop first, then this PR, with Irzhy's review for the CI part. Keep the stack at these two parents; new work goes on its own branch from develop.

@andersalm

Copy link
Copy Markdown
Contributor Author

Superseded by #153. Issue #150 continues with that single task PR.

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