docs(ertp): ERTP walk-thru: Alice buys a ticket from Bob#1257
docs(ertp): ERTP walk-thru: Alice buys a ticket from Bob#1257
Conversation
| <<< @/../snippets/ertp/guide/test-readme.js#declareShared | ||
| <<< @/../snippets/ertp/guide/test-readme.js#makeBucks | ||
|
|
||
| The `bucks.brand` and `bucks.issuer` don't let anyone mint new assets, so sharing |
There was a problem hiding this comment.
| The `bucks.brand` and `bucks.issuer` don't let anyone mint new assets, so sharing | |
| The `bucks.brand` and `bucks.issuer` don't let people mint new assets, so sharing |
"anyone" here triggers thoughts about existential quantifiers. "people", at least to me, ties the abilities more closely to those holding the objects.
There was a problem hiding this comment.
as if people hold objects? that hurts my brain. I'll have to think it over.
| ## Making Purses | ||
|
|
||
| Alice is acting as a buyer. | ||
| She can make her own empty purses using the shared issuers, which she relies on. |
There was a problem hiding this comment.
"relies on" only makes sense here as ocap terminology. I didn't find anything helpful at cap-lore.com. Do you have a better link?
I don't know whether it's helpful to bring this up here.
There was a problem hiding this comment.
rely as in "reliance set" comes from Concurrency Among Strangers.
I'll think about where to work that in.
|
|
||
| The seller has likewise created purses for **Bucks** and **Tickets** and made deposits. | ||
| When they get a `buy` request, the argument may be anything, so it's called `allegedPayment`. | ||
| But once they deposit it into their Bucks purse, they know it was |
There was a problem hiding this comment.
| But once they deposit it into their Bucks purse, they know it was | |
| But once they deposit it into their Bucks purse, ERTP guarantees it must have been |
There was a problem hiding this comment.
Was this sampled from the video? I think sampling this during the fade while the top layer is translucent is visually annoying. At 23:54 you could sample the following. Or, if you want better resolution, I'll find the actual slides. Please let me know.
There was a problem hiding this comment.
I prefer SVG from slides, if that's handy...
but this is a substantial improvement. I couldn't figure out how to hide the youtube controls in a screenshot.
Deploying documentation with
|
| Latest commit: |
c55d3c6
|
| Status: | ✅ Deploy successful! |
| Preview URL: | https://fc9d04a9.documentation-7tp.pages.dev |
| Branch Preview URL: | https://dc-ertp-guide.documentation-7tp.pages.dev |
|
Cloudflare deployment logs are available here |
3 participants
refs
rendered
Description:
TODO:
context: review of #1255 awoke my long-standing desire to update the Glossary so that rather than putting novel info there, we give a short gloss and link to authoritative material about the term. But so many of the entries point to the ERTP guide, which is in no shape to endorse with incoming pointers.