Gozala’s gists

Gozala / work.clj

Created April 11, 2024 18:35

Sketch of the workflow syntax

	;; Type definition for the Blob. It has no inputs and two outputs
	; `digest` and `size`. It is kind of like a rule without a body
	(Blob : { :digest Bytes :size Int })
	(Site : { :url String :headers (Map :key string :value string) })

	;; ℹ️ Unlabelled parameter can be refereced by `.`
	(Result :error : (:ok . :error .error))

	;; Composed task is rule that maps input to tasks and maps task outputs
	;; to the output of the composed task

Gozala / blob-add.clj

Created April 9, 2024 23:53

	(Multihash : Bytes)
	(Blob : {:size Integer :digest Multihash })

	(blob/add
	:input {:sub DID :blob Blob }
	:address (memory/allocate
	:space .input.sub
	:blob .input.blob)
	:content (http/put
	:url .address.out.ok.url

Gozala / blob-add.md

Created March 20, 2024 19:45

    stateDiagram-v2
  add: 👩‍💻 /space/content/add/blob 🤖
  add: 🧾 { ok {} }

  allocate: 🤖 /service/blob/allocate 🤖
  allocate: 🧾 { ok { size 123 } }

  wait: 🤖 /service/blob/receive 🤖
 wait: 🧾 { ok {} } 

  

Gozala / upload.md

Last active March 5, 2024 22:01

    flowchart LR
    Add[👩‍💻 store/add 🤖]
    Allocate[🤖 blob/allocate 🤖]
    Receive[🤖 blob/receive 🤖]
    Write[🤖 blob/write 👩‍💻]
    Close[🤖 blob/close 🤖]
    Claim[🤖 assert/location 🌐]

 Add --&gt; Allocate

  

Gozala / take2.ts

Created February 8, 2024 22:04

	interface Account {
	plan: AccountPlan
	// ...
	}

	interface AccountPlan {
	customer: AccountDID

	request(): Plan
	list(): Plan[]

Gozala / interface.ts

Created February 8, 2024 21:40

	interface Account {
	subscriptions: AccountSubscriptions
	// ...
	}

	interface AccountSubscriptions {
	customer: AccountDID

	request(): Subscription
	list(): Subscription[]

Gozala / db.js

Last active December 14, 2023 19:34

	import * as API from '@ucanto/interface'

	/**
	* @typedef {number} Integer
	* @typedef {number} Float
	* @typedef {Readonly<Uint8Array>} Bytes
	* @typedef {string} UTF8
	*
	* @typedef {String} Entity
	* @typedef {Integer\|Float\|Bytes\|UTF8} Attribute

Gozala / sketch.ts

Created March 10, 2023 22:11


	type ProviderDID =
	\| "did:web:web.storage"
	\| "did:web:nft.storage"

	interface Principal {
	did(): string
	}

	interface Space extends Principal {

Gozala / ucan-invocations.md

Created January 26, 2023 17:35

    stateDiagram-v2
direction TB

state scope {
  sig-->meta: 
  sig-->prf
  sig-->iss
  sig-->aud
  sig-->tasks

  

Gozala / fail.log

Created March 9, 2022 15:56

	1) ipfs --upgrade-cidv0-in-output=true add --chunker=rabin-262141 --trickle=false --raw-leaves=false --cid-version=0 ../testdata/large_repeat_1GiB.zst
	2) ipfs add --chunker=rabin-262141 --trickle=false --raw-leaves=false --cid-version=1 ../testdata/large_repeat_1GiB.zst
	3) ipfs --upgrade-cidv0-in-output=true add --chunker=rabin-262141 --trickle=false --raw-leaves=true --cid-version=0 ../testdata/large_repeat_1GiB.zst
	4) ipfs add --chunker=rabin-262141 --trickle=false --raw-leaves=true --cid-version=1 ../testdata/large_repeat_1GiB.zst
	5) ipfs --upgrade-cidv0-in-output=true add --chunker=size-65535 --trickle=true --raw-leaves=false --cid-version=0 ../testdata/large_repeat_1GiB.zst
	6) ipfs add --chunker=size-65535 --trickle=true --raw-leaves=false --cid-version=1 ../testdata/large_repeat_1GiB.zst
	7) jsipfs add --chunker=size-65535 --trickle=true --raw-leaves=false --cid-version=1 ../testdata/large_repeat_1GiB.zst
	8) ipfs --upgrade-cidv0-in-output=true add --chunker=size-262144 --trickle=true --raw-leaves=false -

Irakli Gozalishvili Gozala