Skip to content

Update all Rendezvous-specific functions access to private#258

Open
BowTiedRadone wants to merge 13 commits into
masterfrom
feat/priv-rv-fns
Open

Update all Rendezvous-specific functions access to private#258
BowTiedRadone wants to merge 13 commits into
masterfrom
feat/priv-rv-fns

Conversation

@BowTiedRadone
Copy link
Copy Markdown
Contributor

This PR resolves #257.

Changes

  • Invariants (invariant-*), property tests (test-*), discard functions (can-*), and update-context are now define-private. The harness invokes them via simnet.callPrivateFn (already exposed by @stacks/clarinet-sdk).
  • New RV_ACCESS constant in shared.ts is the single source of truth for the access modifier per role; filters and test fixtures consume it instead of hardcoding "private".
  • All eight example contracts flipped.
  • README and docs (chapters 4, 6, 7, 8) updated: code samples, prose conventions, and quoted CLI output ((public)(private)).
  • filterSutFunctions simplified: trusts the access filter alone.

Breaking

Contracts using the old conventions (define-read-only invariants, define-public tests) will silently produce "no functions found".

@BowTiedRadone BowTiedRadone changed the title [DRAFT] Update all Rendezvous-specific functions access to private Update all Rendezvous-specific functions access to private Apr 30, 2026
@BowTiedRadone BowTiedRadone marked this pull request as ready for review April 30, 2026 19:23
@BowTiedRadone BowTiedRadone requested a review from a team as a code owner April 30, 2026 19:23
Comment thread docs/chapter_4.md Outdated
Comment thread property.ts Outdated
Comment thread shared.ts Outdated
@BowTiedRadone BowTiedRadone requested a review from moodmosaic May 6, 2026 09:29
@BowTiedRadone
Copy link
Copy Markdown
Contributor Author

This should be good enough to merge. Does anyone have cycles for another review round @friedger @hugo-stacks @moodmosaic @wileyj?

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.

Use define-private for invariants, property tests, and discard functions

3 participants