DERIVED / NON-NORMATIVE VIEW v1-r3 · TARGET CONTRACT

SLUICE v1 INTERACTIVE ARCHITECTURE WALKTHROUGH

看见责任、状态与所有权如何变化。 If this visualization conflicts with the root specification, the root specification wins.

来源:adopted master · 291c8ec54c33 · root v1-r3 展开 provenance ↗ Repository: jnhu76/Sluice
Source commit: 291c8ec54c33a09306720cda1e6ee217edda9030
Document revision: v1-r3
Source status: adopted master
Normative source: docs/explicit-io-v1-final-decision.md
Generated from architecture-diagram-skill: v1.3.0 · 486ac078705c873012239124a07e7ef2df8fe783
Target explanation only; no current implementation or formal-conformance claim.
字号
资源 / public responsibility execution / core authority physical mechanism progress / observation

Shortcuts: Space play/pause · ←/→ step · 1–3 flow · O backend(request flows) · T theme · F fullscreen · R reset layout · Drag nodes to reposition

Flow · W-01 Direct I/O
0 / 0
Shared File Semantics共同 logical contract · governs Direct + Request · authority / oracle,非 runtime 节点
IoContext ownership boundary · Core + Backend + ProgressSource
Application
调用方 · 显式选择执行
File / buffer owner
·
File
native resource + access facts
RAII owner
·
Direct adapter
caller-thread execution
completed return
·
Linux regular file
physical effects / result
ordinary-file domain
·
Progress owner / Host
fixed exclusive context driver
external loop / optional host
·
IoContext
identity / budgets / health
owns core, backend, source
·
RequestCore
accept / result / publish
semantic authority
·
ThreadPool
bounded worker offload
physical mechanism
·
Request<T>
unique public result binding
settlement responsibility
·
Observer protocol
attach / deliver / retire
notification ≠ ownership
·
ProgressSource
persistent pollable signal
progress ≠ terminal
·
Request #1 · distinct milestones逻辑顺序 / 状态,不表示耗时或唯一调度

实线包:当前 handoff · 仅亮节点:本地状态变化 · 虚线:本流程其他 handoffs · 淡化:不参与。位置可拖动;底层语义不随 backend 改变。