docs: specify precise read observations and conservative compatibility

docs/runtime/bytecode.md

@@ -202,3 +202,5 @@ LoadAttr 对实例自有属性返回原值；缺失时沿类型父链找方法
 `Await`（opcode 30，无参数）把栈顶 awaitable 换成结果，验证栈效果为1入1出。`ObjectPayload::poll_await()` 是非阻塞、无副作用的宿主协议，默认不支持；返回 Pending 或 Ready(借用 Value)，也可返回 AwaitFailed(String)/AwaitCancelled。引擎验证 Ready 句柄并先retain结果，再释放原操作数；不可信宿主仍需遵守借用与非阻塞契约。Await 不被保守效果分析证明为只读，运行时也拒绝只读阶段。
 
 在独立coroutine中，Pending保持已求值的栈顶、当前帧和返回契约，返回CoroutineProgress::Waiting { awaitable, instructions }；awaitable是由暂停帧保活的借用身份。宿主等待条件满足后再次resume，仅重查同一个Await，不重放操作数表达式、前缀写入或IO请求。每次实际执行Await计入同一硬预算；宿主不应对未就绪对象反复resume来轮询。完成结果与错误沿普通执行/清理路径传播。非coroutine调用允许立即Ready的await，Pending则明确报错，不阻塞线程。调度、取消传播和循环等待检测属于宿主；本引擎不依赖Tessera Task。
+
+LoadGlobal按文本名字分别观察函数globals及缺失时的captured builtins，不因无关全局写入而失效。可恢复只读Complete新增dependencies，reads保留兼容保守列表；精确验证/所有权见native-calls.md。