Skip to content

C9 S1b (ii): S1a probe follow-ups I-1220-a..d (test only) - #1238

Merged
SashaMIT merged 2 commits into
spike/agent-hostfrom
ultrafast/omp-c9s1b-ii
Oct 30, 2026
Merged

SashaMIT merged 2 commits into
spike/agent-hostfrom
ultrafast/omp-c9s1b-ii

Conversation

@SashaMIT

Copy link
Copy Markdown
Collaborator

C9 S1b piece (ii) of 3: Rong's four Low follow-ups from the #1220 grade (rong-review/rong-grade-1220-604e07e0-1716.md). Test code and test fixture only, elastos-runtime. Plan: rong-review/C9-plan-stacked-v3-20261030.md.

  • I-1220-c: the S1a probe writes its report to current_exe().with_extension("observed"). The test no longer sets the process-wide ELASTOS_LINUX_MODEL_PROBE_TOKEN.
  • I-1220-d: the probe writes no_new_privs, seccomp and inet_socket as three separate lines, and the test asserts each one (expects 1, 2, EPERM). There is no merged bool any more.
  • I-1220-a: messages and comments say "egress-filtered". The production fn spawn_confined_model_linux and the existing test name keep their names: renaming product code is outside a test-only follow-up.
  • I-1220-b: the falsifier line refs are now bridge.rs:3296:9 (aarch64 Jetson) and :3308:9 (x86_64). Cites plan v3 and records that the aarch64 run is done (5.15.148-tegra, 1 passed, falsifier red).

Gate (box, Rust 1.91.0, -D warnings): elastos-runtime --lib spawn_confined_model_linux 1 passed, 0 failed; fmt clean.
Pieces (i) (the startup-route test through server_infra.rs:1082 plus Falsifier B) and (iii) follow separately.

…served; no process env token; egress-filtered wording; plan v3 and Jetson refs

- I-1220-c: the probe derives its report path from current_exe(), no ELASTOS_LINUX_MODEL_PROBE_TOKEN set_var
- I-1220-d: no_new_privs, seccomp, inet_socket written and asserted separately
- I-1220-a/b: 'egress-filtered' wording, falsifier line refs for aarch64 (3296) and x86_64 (3308), plan v3, aarch64 run done
Gate: elastos-runtime --lib spawn_confined_model_linux 1/0, fmt clean.
@SashaMIT
SashaMIT marked this pull request as ready for review October 30, 2026 14:06
@SashaMIT
SashaMIT merged commit 02f82d9 into spike/agent-host Oct 30, 2026
31 of 35 checks passed
@SashaMIT
SashaMIT deleted the ultrafast/omp-c9s1b-ii branch October 30, 2026 14:11
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