@@ -63,6 +63,15 @@ evidence_notes: |
   refused before delegation) and S10 (delegated verify pass) mismatch. The same two mismatch
   against 4ed5a2b in an isolated environment, so they are not introduced by 64fad04; their cause
   was not investigated here.
+  Result added 2026-11-06: both were stale sim expectations, not runtime defects. S7 assumed the
+  old static 3000-char cap; the opencode file transport is uncapped unless
+  `EXOMA_MAX_TASK_CHARS_NO_ARGV` sets a cap (`exoma/core/prompt/prompt_builder.py` `_transport_cap`,
+  `_no_ceiling`). S10 wrote no `verify/tests.json`, so the runtime added a `tests:` gap and the
+  verdict stayed incomplete (`exoma/core/evidence/contract.py`, verdict rule: pass only with no
+  warnings). The fixture in `tools/sim/sim_flows.py` now sets the cap to 3000 for S7 only and
+  writes an allowlisted green test for S10; `python -m tools.sim.sim_flows` against 64fad04 on
+  Windows gives 33 of 33 as expected (S7 kept 3000/12018 and refused; S10 verdict pass, runtime
+  test passed, exit 0; S10b still fail, exit 2).
 
 implementation:
   version: exoma 64fad04 (1.0.0)
@@ -98,7 +107,7 @@ trade_offs:
 limitations:
   - One delegated run, one provider and model, on Windows only; no Linux or macOS staging here.
   - Real use on 64fad04 is outside this record; the release gate stays open until it runs.
-  - sim_flows S7 and S10 mismatch on both pins; until explained, that harness is not evidence for those two flows.
+  - sim_flows S7 and S10 mismatch on both pins; until explained, that harness is not evidence for those two flows. (Explained 2026-11-06 as stale expectations and fixed in the fixture; see evidence_notes.)
 revisit_when:
   - real use on 64fad04 shows a regression from de217f8 or 67727e7
   - sim_flows S7 or S10 is traced to a runtime defect rather than a stale expectation
 
@@ -44,6 +44,7 @@
 extract_session_id = OpenCodeAdapter.extract_session_id
 from exoma import check  # noqa: E402
 from exoma import cli as main  # noqa: E402
+from exoma.core.prompt import prompt_builder  # noqa: E402
 
 ROWS = []
 
@@ -417,8 +418,17 @@ def simulate():
         )
 
         # --- S7 task truncation ----------------------------------------------
+        # File and stdin transports (opencode, codex) carry no task cap by default; a cap
+        # applies only when EXOMA_MAX_TASK_CHARS_NO_ARGV sets one. That value is read at
+        # import and bound into prompt_builder, so the flow sets the module global for this
+        # call: it checks the refusal path under a policy cap, not the uncapped default.
         huge = "analyse this dump " + ("x" * 12000)
-        truncated = main.run("analyze", huge, "sim-session", work_dir)
+        saved_cap = prompt_builder.DEFAULT_MAX_TASK_CHARS_NO_ARGV
+        prompt_builder.DEFAULT_MAX_TASK_CHARS_NO_ARGV = 3000
+        try:
+            truncated = main.run("analyze", huge, "sim-session", work_dir)
+        finally:
+            prompt_builder.DEFAULT_MAX_TASK_CHARS_NO_ARGV = saved_cap
         meta = truncated.get("meta", {})
         record(
             "S7",
@@ -459,20 +469,40 @@ def simulate():
         )
 
         # --- S10 verify delegated: pass and fail --------------------------------
+        # A pass needs a test request the runtime ran green: without verify/tests.json the
+        # runtime records a `tests:` gap and the verdict stays incomplete.
         config["commands"]["verify_mode"] = "delegated"
+        config["commands"]["verify_test_commands"] = [f'"{sys.executable}"']
         write_config(project, config)
+        tests_request = (
+            workflow_paths(project, "verify-pass-session")["session_dir"] / "verify" / "tests.json"
+        )
+        tests_request.parent.mkdir(parents=True, exist_ok=True)
+        tests_request.write_text(
+            json.dumps(
+                {
+                    "commands": [f'"{sys.executable}" -c "pass"'],
+                    "reason": "sim: one allowlisted command that exits 0",
+                }
+            ),
+            encoding="utf-8",
+        )
         adapter.body_for["verify"] = VERIFY_PASS
         adapter.default_body = VERIFY_PASS
         vpass = main.run(
             "verify", "confirm the change landed", "verify-pass-session", work_dir
         )
+        vmeta = vpass.get("meta", {})
+        test_outcomes = (vmeta.get("runtime_tests") or {}).get("outcomes") or []
+        test_status = test_outcomes[0].get("status") if test_outcomes else None
         record(
             "S10",
             "delegated verify pass",
-            "meta.verdict=pass, exit code 0",
-            f"verdict={vpass.get('meta', {}).get('verdict')}, "
+            "meta.verdict=pass, runtime test passed, exit code 0",
+            f"verdict={vmeta.get('verdict')}, test={test_status}, "
             f"exit={main._verify_exit_code('verify', vpass, 'verify')}",
-            vpass.get("meta", {}).get("verdict") == "pass"
+            vmeta.get("verdict") == "pass"
+            and test_status == "passed"
             and main._verify_exit_code("verify", vpass, "verify") == 0,
         )