Skip to content

Neighbourhood reserve RSV (MN-REQ-12.13, #30) - #58

Merged
chouswei merged 1 commit into
masterfrom
cursor/neighbourhood-reserve-7742
Aug 13, 2026
Merged

chouswei merged 1 commit into
masterfrom
cursor/neighbourhood-reserve-7742

Conversation

@chouswei

Copy link
Copy Markdown
Owner

Summary

Implements neighbourhood reserve (RSV) so parallel agents on one session_id can hold disjoint pin-map ego scopes with required llm_id + ttl_s. Nested SysML part NeighbourhoodReserve under SessionLifecycle first (MN-REQ-12.13), then engine + MCP/CLI.

Closes #30.

What changed

  • SysML: NeighbourhoodReserve nest; MN-REQ-12.13; MN-REQ-12.7 / MN-VER-12-S09 updated (RSV shipped; ingest still deferred)
  • memnet.neighbourhood_reserve — lease table, expire, conflict, mutate gate
  • CLI/MCP: reserve / extend / release; --llm-id on add/update
  • Pin map may emit ## Reserves + RSV […] present lines
  • Tests: expire auto-release, foreign mutate reject, conflict, extend/release

Design

docs/grammar/memnet-neighbourhood-reserve.md (status → implemented).

Out of scope

Test plan

  • pytest tests/test_neighbourhood_reserve.py
  • pytest tests/test_acl.py tests/test_mcp.py
Open in Web Open in Cursor 

Nest NeighbourhoodReserve under SessionLifecycle with llm_id + ttl_s.
Ship reserve/extend/release (CLI + MCP), MutateGate lease checks, pin-map
## Reserves display, and expire tests. Update MN-REQ-12.7 / S09 wording.

Co-authored-by: chouswei <chouswei@users.noreply.github.com>
@chouswei
chouswei marked this pull request as ready for review August 13, 2026 12:06
@cursor

cursor Bot commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

@chouswei
chouswei merged commit 40f6b30 into master Aug 13, 2026
2 checks passed
@chouswei
chouswei deleted the cursor/neighbourhood-reserve-7742 branch August 13, 2026 12:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Implement neighbourhood reserve (RSV rows, llm_id + TTL)

2 participants