docs: trace packaged PTY stream eval

agent-session-id: ed878dac-3735-4276-b3e0-ea1b1cd65291
agent-tool: Codex CLI
agent-tool-version: 0.145.0
agent-model: unknown
agent-runtime-profile: /nix/store/mnx8agbdq3wiyb6vz63lhgscgazkrn98-coding-agent-runtime-profile/share/coding-agents/profile.json
agent-skills-manifest: /nix/store/5r69m9k2llmri3na81518zx0a7y0d3cn-agent-skills-corpus/share/agent-skills/manifest.json
tooling-profile: dotfiles@0fb7e03

Author: schickling-assistant

cells/pty-attach-machine-stream/README.md

@@ -1,8 +1,9 @@
 # pty-attach-machine-stream
 
-**Type:** pty / installed attach composition · **Ship:** blocked on
+**Type:** pty / installed attach composition · **Upstream contract:**
 [compoundingtech/pty#140](https://github.com/compoundingtech/pty/pull/140) and
-[compoundingtech/pty#141](https://github.com/compoundingtech/pty/pull/141).
+[compoundingtech/pty#141](https://github.com/compoundingtech/pty/pull/141), merged on PTY main at
+[`d5fabc3917407aeb937a012bd97679c303e18033`](https://github.com/compoundingtech/pty/commit/d5fabc3917407aeb937a012bd97679c303e18033).
 
 **Capabilities required:** `pty,jq,node`. No model and no bus. The cell uses the `pty` executable on `PATH`,
 not a source-tree module or `dist/cli.js` entrypoint.
@@ -32,4 +33,4 @@ Fractal.
 st2 eval ./cells/pty-attach-machine-stream/
 ```
 
-This cell is intentionally red until both upstream PTY changes land.
+The accepted composition proof uses the packaged PTY flake at the exact merged revision above.

docs/vrs/spec.md

@@ -44,6 +44,14 @@ tracked cell
   adoption from replacement authority: live generations are adopted, dead or
   absent migration tasks are held without mutation, and only an explicit
   lifecycle transition permits ordinary replacement.
+- **R01, R04, R05, R07, R11:** The model-free
+  `pty-attach-machine-stream` cell composes the installed PTY launcher, target
+  daemon, remote route, forced transport replacement, and caller-owned framed
+  descriptor. Its held-out judges require ordered `GEOMETRY`, `SCREEN`, live
+  `DATA`, and terminal `EXIT` frames without stdout or stderr contamination,
+  then require removal of every eval-owned process and PTY session. The fixture
+  controls route selection and transport failure but does not import PTY source
+  modules or bypass the packaged launcher.
 
 ## Current execution