July 3 Office Hours: asyncFlow in Orchestration, ERTP, postalService, Continuing Offers, ...

[dckc]

July 3 Agoric Dev Office Hours zoom recording
Passcode: qK30%3$+

Agoric - Deploy Secure DeFi in JavaScript
Office Hours · Agoric/agoric-sdk Wiki

Let's tweet about something from today's session

Participants were invited to tweet out a link to these notes and say something about their experience here.

p.s. here's mine:

I got to show off some diagrams for ERTP @agoric dev office hours today :)

Join us next week?
-- https://twitter.com/dckc/status/1808558367079551043

Continuing Offers Sequence Diagram

thanks, Jorge!

Online FlowChart & Diagrams Editor - Mermaid Live Editor

Flowcharts Syntax | Mermaid
Online FlowChart & Diagrams Editor - Mermaid Live Editor

---
title: Continuing Invitation
---
sequenceDiagram
    actor c as client
    participant sw as swartWallet
    participant i as invitations

    c ->> sw: { id: offer1, source: 'purse' }
    sw -->> sw: withdraw inv1
    sw -->> zoe: offer(inv1, ...)
    zoe -->> sw: seat1
    create participant seat1
    sw -->> seat1: getOfferResult()
    seat1 -->> sw: invitationMakers1


    note over c, sw :  offerSpec:  { id, invitationSpec, proposal, offerArgs }
    note over c, sw :  invitationSpec:  { source: 'continuing', previousOffer: offer1, invitationMakerName: 'AdjustVault', invitationArgs}
    c ->> sw : executeOffer(offerSpec) 
    sw ->> i : makeInvitationsHelper()
    i -->> sw : invitationFromSpec
    sw ->> i : invitationFromSpec(offerSpec.invitationSpec)
    i ->> i : spec.source === 'continuing' 
    i ->> sw : getInvitationContinuation(previousOffer)
    sw ->> sw : offerToInvitationMakers.get(previousOffer)
    sw -->> i : invitationMakers1
    create participant im as invitationMakers1
    i ->> im : invitationMakerName(invitationArgs)
    im -->> sw : invitation

Loading

continuing invitation pattern · Issue #667 · Agoric/documentation

how smart wallet treats offer results · Issue #1138 · Agoric/documentation

asyncFlow in Orchestration

q from TG

agoric-sdk/packages/async-flow at master · Agoric/agoric-sdk
agoric-sdk/packages/SwingSet/docs/vat-upgrade.md at master · Agoric/agoric-sdk
agoric-sdk/packages/orchestration/src/examples/sendAnywhere.contract.js at master · Agoric/agoric-sdk

prepare idoms introduce DX challenges · Issue #1139 · Agoric/documentation
Contract Upgrade | Agoric Documentation

Diagramming ERTP

ERTP Overview | Agoric Documentation
common style for figures, diagrams, images · Issue #1099 · Agoric/documentation
chore: replace ERTP diagram with class diagram (WIP) by dckc · Pull Request #1140 · Agoric/documentation

---
title: ERTP Interfaces
---
classDiagram
   class IssuerKit~Kind~
   IssuerKit --* Mint~Kind~
   IssuerKit --* Issuer~Kind~
   IssuerKit --* Brand~Kind~


   class Mint~Kind~ {
     getIssuer()
     mintPayment(amount: Amount~Kind~)
   }
Mint --> Issuer: getIssuer
Mint --> Payment~Kind~ : mintPayment
   class Issuer~Kind~ {
    getBrand()
makeEmptyPurse()
   }
   Issuer --> Brand: getBrand
   Issuer --> Purse~Kind~: makeEmptyPurse()
   class Brand~Kind~
   class Payment~Kind~
   class Amount~Kind~ {
     brand: Brand~Kind~
     value: Value~Kind~
    }
    class Purse~Kind~ {
        +deposit(payment: Payment~Kind~, expectedAmount?: Amount~Kind~)
        +withdraw(amount: Amount~Kind~)
    }

    class AssetKind {
     NAT // fungible
     COPY_BAG // non-fungible
     ...
    }
<<Enumeration>> AssetKind

Loading

postalService and EC Delegation

Will postalService contract ever go live? · Issue #29 · agoric-labs/ag-power-tools

Adjourn

not discussed: Agoric/dapp-orchestration-basics