Repository navigation
behaviour.sysml still denies shipped RSV (MN-REQ-12.13 honesty) #67
Description
Gap
MN-REQ-12.13 shipped in 0.4.4: NeighbourhoodReserve.implemented=true, memnet.neighbourhood_reserve, CLI reserve / extend / release.
behaviour.sysml / verify.sysml still deny it:
ParentTaskLifecycledoc: neighbourhood reserve remains not shippedEvOverlapScopeForbidden/WorkerScopedTurn/MN_VER_12_S13: no neighbourhood reserve coordinates overlapping writersAsyncTaskDispatch/WorkerPool: no RSV engine claimed
Same honesty class as #52 (ACL clause). Agents reading the nest will skip reserve that the engine actually gates.
Target
Sync behaviour + verify + any leftover docs so RSV is as-is shipped (optional use, not “not implemented”). Do not re-implement the engine.
Activity
chouswei commentedon Aug 13, 2026
0.4.5 refresh (still open): Engine RSV is shipped (
NeighbourhoodReserve.implemented=true). behaviour.sysml still says reserve is not shipped (ParentTaskLifecycle,EvOverlapScopeForbidden/ MN-VER-12-S13). Honesty gap unchanged. Not started.chouswei commentedon Aug 20, 2026
Engine is shipped (
NeighbourhoodReserve.implemented,docs/extras/memnet-neighbourhood-reserve.md, package 0.19.1). CapsPolicy ACL is shipped when session ACL is enabled.Still this issue:
sysml-models/models/behaviour.sysmlstill teaches the opposite —ParentTaskLifecycle“Neighbourhood reserve remains not shipped” (~L732) andworkerApplyingScopedMutate“reserve is not shipped” (~L879).deploy.sysml/requirements.sysmlalready claim RSV. Sync behaviour (+ any verify cases that still deny RSV) so agents do not skipreserve. Do not re-implement the engine.[-]behaviour/verify still deny shipped RSV (MN-REQ-12.13 honesty)[/-][+]behaviour.sysml still denies shipped RSV (MN-REQ-12.13 honesty)[/+]