FFORGE//RS

RUST RUNTIME FIELD LAB / 03 CASES

Увидьте контракт до профайлера.

Детерминированные модели ownership, cooperative polling и Hash/Eq. Они объясняют инварианты Rust 1.96, но не притворяются heap profiler, Tokio benchmark или внутренним layout стандартной библиотеки.

CASE 01 / MEMORY LIFETIME

Освободите граф без сборщика мусора.

Rust не запускает tracing GC после выхода из scope. Arc освобождает значение, когда strong_count достигает нуля; strong cycle остаётся memory-safe, но живёт логически бесконечно. Weak выражает наблюдение, а не владение.

LIVE OUTCOME

OWNERS ACTIVE

collector passes 0 · registry strong 2 · entry strong 1
Ownership graph after the selected policyRequest scope points to Registry, Registry owns Entry, and Entry points back with the selected strong or weak edge.STACK OWNERHEAP GRAPHrequest ArcOWNER · 1ArcRegistrystrong 2ArcEntrystrong 1Arc back-edgeGRAPH LIVE · ROOT OWNER PRESENT

CONTRACT REVIEW

Защитите решение evidence.

Визуальный outcome помогает рассуждать, но не выдаётся за mastery. Проверка раскроет каждый инвариант и затем ведёт в исполняемую Rust mission с hidden tests.