WIP: Align native mediator construction dependencies #2
No reviewers
Labels
No labels
bug
ci
docs
duplicate
enhancement
help wanted
invalid
performance
phase-6
question
refactor
security
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
erix/lib-log!2
Loading…
Reference in a new issue
No description provided.
Delete branch "feature/posix-compat"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary and rationale
Align the existing original dependency graph for root-capability-free mediator construction, preserve helper behavior and authority ceilings, and consolidate repeated roadmap notes.
Tracking and scope
Owning feature issue #1, Procd bootstrap and realm design. Signed original checkpoint:
2331d9b355860566675fda26ad7f1e13d369a42f. The native construction contract is tracked in Kernel issue 1.Architecture, authority and failure behavior
Procd selects checked native operation 54 only for mediator staging, without a parent VSpace receipt. The native TCB retains backing; the child initially holds only its primary endpoint. Other roles retain ordinary construction and its existing receipt/drop sequence. A refusal never falls back to operation 32. Scratch absence cleanup, exact stage retirement, private endpoint-master custody, grant-only handoff and all ordinary mediator start gates remain in place.
The existing producer authenticates executable and grant receipts, retains the endpoint master and moves only the unique grant through Loaderd and Launchd. Numeric slots, roles, identifiers and generations remain descriptive. The helper revision updates add no routes, authority or dependencies.
Runtime-image adoption, authenticated grant return, guarded bootstrap routes, private execution, receiver readiness, configuration/seal, client I/O, fair retirement and both full guest build generations remain open. Whole-codebase semantic authority and private-item documentation audits remain incomplete.
Validation evidence
Caller-bound realm storage wire checkpoint — 18 September 2026: Signed revision
0b95ce58df770ea3aa5fb0353389eb9037658b66is pushed. The coherent immutable graph adopts caller-bound realm messages and, where used, explicit version-3 deployment storage. Local authority and runtime policy are unchanged. Default/all development and release tests, strict host/native Clippy, freestanding builds and private-item rustdoc pass. Formatting and Markdown checks pass. Original CI 63 and CI 64 passes; all four terminal logs are complete (54,434 bytes), without warnings. Actual admission dispatch, coordinated consumer VMs, runnable mediators and both full builds inside EriX remain separate open acceptance requirements.Original supervisor wire checkpoint — 18 September 2026: Signed revision
0669edffb82af98e90f262de29af981d29e737e6is pushed. The coherent immutable dependency graph adopts the supervisor-aware materialization request. Local runtime policy is unchanged. Default/all development and release units, strict host/native Clippy, native builds and private-item rustdoc pass. Formatting and Markdown checks pass. Original CI 61 and CI 62 passes; all four terminal logs are complete (54,450 bytes), without warnings. Runnable mediator bootstrap, fair retirement and both complete builds inside EriX remain separate open acceptance requirements.Owned bootstrap wire checkpoint — 18 September 2026: Signed revision
ca9e3a4e19c56f32ed9659150aefb2e7fd3a4a20is pushed. The coherent immutable dependency graph adopts the identity-only owned bootstrap request. Local runtime policy is unchanged. Default/all-feature development and release units, strict host/native Clippy, native builds and private-item rustdoc pass. Formatting and Markdown checks pass. Original CI 59 and CI 60 passes; all four terminal logs are complete (54,428 bytes), without warnings. Runnable mediator bootstrap, fair retirement and both complete builds inside EriX remain separate open acceptance requirements.Explicit receiver admission checkpoint — 18 September 2026: Signed revision
c718c96b90ec3f28696356e8d8689dbd2488abf9is pushed. The coherent immutable dependency graph adopts explicit owned receiver request budgets. Local runtime policy is unchanged. Default/all-feature development and release units, strict host/native Clippy, native builds and private-item rustdoc pass. Formatting and Markdown checks pass. Original CI 57 and CI 58 passes; all four terminal logs are complete (54,422 bytes), without warnings. Runnable mediator bootstrap, fair retirement and both complete builds inside EriX remain separate open acceptance requirements.Caller-local grant relocation checkpoint — 18 September 2026: Signed revision
36eff55b32af3a51b5d14903a505d843eebe48e3is pushed. The coherent immutable dependency graph adopts the caller-local grant relocation ABI. Local runtime policy is unchanged. Default/all-feature development and release units, strict host/native Clippy, native builds and private-item rustdoc pass. Formatting and Markdown checks pass. Original CI 55 and CI 56 passes; all four terminal logs are complete (54,460 bytes), without warnings. Runnable mediator bootstrap, fair retirement and both complete builds inside EriX remain separate open acceptance requirements.Returned-grant shared contract checkpoint — 18 September 2026: Signed revision
2ddb1fe27868fefa148744a934335efe88a727eeis pushed. The coherent immutable dependency graph adopts the checked returned-grant bootstrap contract. Local runtime policy is unchanged. Default/all-feature development and release units, strict host/native Clippy, native builds and private-item rustdoc pass. Formatting and Markdown checks pass. Original CI 53 and CI 54 passes; all four terminal logs are complete (54,498 bytes), without warnings. Runnable mediator bootstrap, fair retirement and both complete builds inside EriX remain separate open acceptance requirements.Generation-bound native cleanup checkpoint — 18 September 2026: Signed revision
8298ac738fcf681cefd2e8781b6973a074e4a611is pushed. The coherent immutable dependency graph adopts the checked generation-bound cleanup ABI. Local runtime policy is unchanged. Default/all-feature development and release units, strict host/native Clippy, native builds and rustdoc pass. Formatting and Markdown checks pass. Original CI 51 and CI 52 passes; all four terminal logs are complete (54,494 bytes), without warnings. Runnable mediator bootstrap, fair retirement and both complete builds inside EriX remain separate open acceptance requirements.Native terminal generation checkpoint — 17 September 2026: Signed revision
fd469e72a3fc48ed7c6d955382384bd3eb341134is pushed. The coherent immutable dependency graph now selects the generation-bearing operation 55 contract. Local runtime policy is unchanged. Default/all-feature development and release units, strict host/native Clippy, freestanding builds, rustdoc, formatting and Markdown checks pass. Native producer/consumer migration, matching VM execution and full guest builds remain separate acceptance gates. Original automatic CI is being collected without retries.Coordinated library dependency update — 15 September 2026
Signed
08aeecaf891df4b8d8e35e8dcf852c7d712e550daligns existing dependency pins with the original foundation commits for coherent runtime adoption. This update changes Cargo selections and the roadmap; Rust implementation files in this repository are unchanged. All default/all-feature development/release configurations pass 7 tests each, strict host/native Clippy, formatting, four native builds and private rustdoc without warnings. Final canonical documentation checks pass. Push/review CI 47/48 passes with complete classified logs and no final warnings. The product catalog remains unchanged; this update does not establish a new runtime VM, authority-lifecycle closure, performance result or guest build.All 7 tests pass in the strict default/all development/release matrix, including host/native Clippy, native builds, private rustdoc, formatting and Markdown. Matching push/review CI passes with complete warning-free logs.
The previously accepted Kernel 6d2ca19c native fixture establishes the constructor object, root-absence and backing contract. This checkpoint adds producer transport controls; it does not claim a new Procd CPL3 VM, runtime-image adoption or runnable realm. Integration source and native VM inputs are unchanged. The manual is signed at Docs
8b30523f3d7e1c300f39e3418a8748dae10ec04f; all 45 tests, final warning-free rendering and CI 877/878 pass.The source inventory covers 76 repositories and 2,972 code files below 1,000 lines, with direct missing_docs gates on 160 crate roots. Procd's materialization and test modules are now 863 and 711 lines, with creation and test transport in separately documented fragments. No new performance measurement or guest build is claimed.
Review checklist
Explicit install-grant library checkpoint — 19 September 2026: signed/pushed commit 47098193d24ca083134c91487796d2f7ab90eedb. Original dependency pins now select the shared explicit grant-rights contract without mixed wire/capability revisions. The local API and authority policy are unchanged. Four host test matrices pass 7 tests each, alongside four native builds, strict host/native Clippy, formatting, private rustdoc and policy checks. Validation has no warnings. Original CI 65/66 passes with four complete hashed logs (54,418 bytes), zero warnings.
Coordinated actual consumers and matching native execution remain open under Kernel design 19. This dependency/wire checkpoint does not establish complete lifecycle acceptance or either full EriX build generation. Phase completion retains native external Rust/LLVM/runtime rebuilding as an independent requirement.
Acknowledged terminal consumer dependencies — 21 September 2026: signed commit 1b4e0dda15d5cd5dc0d6ea991438b5680d5a3473 aligns original shared revisions for repeatable terminal observation and exact acknowledgement under Kernel design 20. No local API or capability policy changes. Four strict 7-unit host configurations, four native builds, host/native Clippy, private rustdoc, formatting and dependency checks pass without warnings. Original CI 67, 68 passes; four complete logs total 54,464 bytes with verified hashes and zero warning candidates. Actual service consumer and coherent full VM adoption remain open in phase completion.
WIP: Align shared protocol dependencies for native consumersto WIP: Align staged mediator protocol dependenciesWIP: Align staged mediator protocol dependenciesto WIP: Align native mediator construction dependenciesView command line instructions
Checkout
From your project repository, check out a new branch and test the changes.Merge
Merge the changes and update on Forgejo.Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.