Urbit Docs
  • What is Urbit?
  • Get on Urbit
  • Build on Urbit
    • Contents
    • Environment Setup
    • Hoon School
      • 1. Hoon Syntax
      • 2. Azimuth (Urbit ID)
      • 3. Gates (Functions)
      • 4. Molds (Types)
      • 5. Cores
      • 6. Trees and Addressing
      • 7. Libraries
      • 8. Testing Code
      • 9. Text Processing I
      • 10. Cores and Doors
      • 11. Data Structures
      • 12. Type Checking
      • 13. Conditional Logic
      • 14. Subject-Oriented Programming
      • 15. Text Processing II
      • 16. Functional Programming
      • 17. Text Processing III
      • 18. Generic and Variant Cores
      • 19. Mathematics
    • App School I
      • 1. Arvo
      • 2. The Agent Core
      • 3. Imports and Aliases
      • 4. Lifecycle
      • 5. Cards
      • 6. Pokes
      • 7. Structures and Marks
      • 8. Subscriptions
      • 9. Vanes
      • 10. Scries
      • 11. Failure
      • 12. Next Steps
      • Appendix: Types
    • App School II (Full-Stack)
      • 1. Types
      • 2. Agent
      • 3. JSON
      • 4. Marks
      • 5. Eyre
      • 6. React app setup
      • 7. React app logic
      • 8. Desk and glob
      • 9. Summary
    • Core Academy
      • 1. Evaluating Nock
      • 2. Building Hoon
      • 3. The Core Stack
      • 4. Arvo I: The Main Sequence
      • 5. Arvo II: The Boot Sequence
      • 6. Vere I: u3 and the Serf
      • 7. Vere II: The Loom
      • 8. Vanes I: Behn, Dill, Kahn, Lick
      • 9. Vanes II: Ames
      • 10. Vanes III: Eyre, Iris
      • 11. Vanes IV: Clay
      • 12. Vanes V: Gall and Userspace
      • 13. Vanes VI: Khan, Lick
      • 14. Vanes VII: Jael, Azimuth
    • Runtime
      • U3
      • Conn.c Guide
      • How to Write a Jet
      • API Overview by Prefix
      • C in Urbit
      • Cryptography
      • Land of Nouns
    • Tools
      • Useful Links
      • JS Libraries
        • HTTP API
      • Docs App
        • File Format
        • Index File
        • Suggested Structure
    • Userspace
      • Command-Line App Tutorial
      • Remote Scry
      • Unit Tests
      • Software Distribution
        • Software Distribution Guide
        • Docket File
        • Glob
      • Examples
        • Building a CLI App
        • Debugging Wrapper
        • Host a Website
        • Serving a JS Game
        • Ship Monitoring
        • Styled Text
  • Urbit ID
    • What is Urbit ID?
    • Azimuth Data Flow
    • Life and Rift
    • Urbit HD Wallet
    • Advanced Azimuth Tools
    • Custom Roller Tutorial
    • Azimuth.eth Reference
    • Ecliptic.eth Reference
    • Layer 2
      • L2 Actions
      • L2 Rollers
      • L2 Roller HTTP RPC-API
      • L2 Transaction Format
  • Urbit OS
    • What is Urbit OS?
    • Base
      • Hood
      • Threads
        • Basics Tutorial
          • Bind
          • Fundamentals
          • Input
          • Output
          • Summary
        • HTTP API Guide
        • Spider API Reference
        • Strandio Reference
        • Examples
          • Child Thread
          • Fetch JSON
          • Gall
            • Poke Thread
            • Start Thread
            • Stop Thread
            • Take Facts
            • Take Result
          • Main-loop
          • Poke Agent
          • Scry
          • Take Fact
    • Kernel
      • Arvo
        • Cryptography
        • Move Trace
        • Scries
        • Subscriptions
      • Ames
        • Ames API Reference
        • Ames Cryptography
        • Ames Data Types
        • Ames Scry Reference
      • Behn
        • Behn API Reference
        • Behn Examples
        • Behn Scry Reference
      • Clay
        • Clay API Reference
        • Clay Architecture
        • Clay Data Types
        • Clay Examples
        • Clay Scry Reference
        • Filesystem Hierarchy
        • Marks
          • Mark Examples
          • Using Marks
          • Writing Marks
        • Using Clay
      • Dill
        • Dill API Reference
        • Dill Data Types
        • Dill Scry Reference
      • Eyre
        • EAuth
        • Eyre Data Types
        • Eyre External API
        • Eyre Internal API
        • Eyre Scry Reference
        • Low-Level Eyre Guide
        • Noun channels
      • Gall
        • Gall API Reference
        • Gall Data Types
        • Gall Scry Reference
      • Iris
        • Iris API Reference
        • Iris Data Types
        • Iris Example
      • Jael
        • Jael API Reference
        • Jael Data Types
        • Jael Examples
        • Jael Scry Reference
      • Khan
        • Khan API Reference
        • Khan Data Types
        • Khan Example
      • Lick
        • Lick API Reference
        • Lick Guide
        • Lick Examples
        • Lick Scry Reference
  • Hoon
    • Why Hoon?
    • Advanced Types
    • Arvo
    • Auras
    • Basic Types
    • Cheat Sheet
    • Cryptography
    • Examples
      • ABC Blocks
      • Competitive Programming
      • Emirp
      • Gleichniszahlenreihe
      • Islands
      • Luhn Number
      • Minimum Path Sum
      • Phone Letters
      • Restore IP
      • Rhonda Numbers
      • Roman Numerals
      • Solitaire Cipher
      • Water Towers
    • Generators
    • Hoon Errors
    • Hoon Style Guide
    • Implementing an Aura
    • Irregular forms
    • JSON
    • Limbs and wings
      • Limbs
      • Wings
    • Mips (Maps of Maps)
    • Parsing Text
    • Runes
      • | bar · Cores
      • $ buc · Structures
      • % cen · Calls
      • : col · Cells
      • . dot · Nock
      • / fas · Imports
      • ^ ket · Casts
      • + lus · Arms
      • ; mic · Make
      • ~ sig · Hints
      • = tis · Subject
      • ? wut · Conditionals
      • ! zap · Wild
      • Constants (Atoms and Strings)
      • --, == · Terminators
    • Sail (HTML)
    • Serialization
    • Sets
    • Standard Library
      • 1a: Basic Arithmetic
      • 1b: Tree Addressing
      • 1c: Molds and Mold-Builders
      • 2a: Unit Logic
      • 2b: List Logic
      • 2c: Bit Arithmetic
      • 2d: Bit Logic
      • 2e: Insecure Hashing
      • 2f: Noun Ordering
      • 2g: Unsigned Powers
      • 2h: Set Logic
      • 2i: Map Logic
      • 2j: Jar and Jug Logic
      • 2k: Queue Logic
      • 2l: Container from Container
      • 2m: Container from Noun
      • 2n: Functional Hacks
      • 2o: Normalizing Containers
      • 2p: Serialization
      • 2q: Molds and Mold-Builders
      • 3a: Modular and Signed Ints
      • 3b: Floating Point
      • 3c: Urbit Time
      • 3d: SHA Hash Family
      • 3e: AES encryption (Removed)
      • 3f: Scrambling
      • 3g: Molds and Mold-Builders
      • 4a: Exotic Bases
      • 4b: Text Processing
      • 4c: Tank Printer
      • 4d: Parsing (Tracing)
      • 4e: Parsing (Combinators)
      • 4f: Parsing (Rule-Builders)
      • 4g: Parsing (Outside Caller)
      • 4h: Parsing (ASCII Glyphs)
      • 4i: Parsing (Useful Idioms)
      • 4j: Parsing (Bases and Base Digits)
      • 4k: Atom Printing
      • 4l: Atom Parsing
      • 4m: Formatting Functions
      • 4n: Virtualization
      • 4o: Molds
      • 5a: Compiler Utilities
      • 5b: Macro Expansion
      • 5c: Compiler Backend & Prettyprinter
      • 5d: Parser
      • 5e: Molds and mold builders
      • 5f: Profiling support
    • Strings
    • The Engine Pattern
    • Udon (Markdown-esque)
    • Vases
    • Zuse
      • 2d(1-5): To JSON, Wains
      • 2d(6): From JSON
      • 2d(7): From JSON (unit)
      • 2e(2-3): Print & Parse JSON
      • 2m: Ordered Maps
  • Nock
    • What is Nock?
    • Decrement
    • Definition
    • Fast Hints and Jets
    • Implementations
    • Specification
  • User Manual
    • Contents
    • Running Urbit
      • Cloud Hosting
      • Home Servers
      • Runtime Reference
      • Self-hosting S3 Storage with MinIO
    • Urbit ID
      • Bridge Troubleshooting
      • Creating an Invite Pool
      • Get an Urbit ID
      • Guide to Factory Resets
      • HD Wallet (Master Ticket)
      • Layer 2 for planets
      • Layer 2 for stars
      • Proxies
      • Using Bridge
    • Urbit OS
      • Basics
      • Configuring S3 Storage
      • Dojo Tools
      • Filesystem
      • Shell
      • Ship Troubleshooting
      • Star and Galaxy Operations
      • Updates
Powered by GitBook

GitHub

  • Urbit ID
  • Urbit OS
  • Runtime

Resources

  • YouTube
  • Whitepaper
  • Awesome Urbit

Contact

  • X
  • Email
  • Gather
On this page
  • Authentication
  • Channels
  • HTTP Requests
  • Actions
  • Poke
  • Subscribe
  • Ack
  • Unsubscribe
  • Delete Channel
  • Responses
  • Poke Ack
  • Watch Ack
  • Diff
  • Quit
  • Scry
  • Spider
Edit on GitHub
  1. Urbit OS
  2. Kernel
  3. Eyre

Eyre External API

This document contains reference information about Eyre's external APIs including the channel system and scries. Each section will also have practical examples in the Guide document.

Authentication

To use Eyre's channel system, run threads or perform scries you must first obtain a session cookie by authenticating with the following HTTP request:

HTTP Method
Data
URL Path
Notes

POST

password=lidlut-tabwed-pillex-ridrup

/~/login

The password is your web login code which can be obtained with +code in the dojo.

See the Guide for an example of how to do this using the curl.

Eyre's response will include a set-cookie header like:

set-cookie: urbauth-~zod=0v4.ilskp.psv00.t09r0.l8rps.3n97v; Path=/; Max-Age=604800

The urbauth-{...} cookie provided must be included in a cookie header with all subsequent requests like:

cookie: urbauth-~zod=0v4.ilskp.psv00.t09r0.l8rps.3n97v

Channels

Eyre's channel system is the primary way of interacting with Gall agents from outside of Urbit.

Data from an external HTTP client is sent to Eyre as an HTTP PUT request containing one or more action JSON objects. Clients must obtain a session cookie by authenticating with Eyre in order to make such requests.

Data from Eyre is sent back to the external HTTP client on a channel as SSEs (Server Sent Events) containing a response JSON object.

A new channel is automatically created whenever a client sends an action in an HTTP PUT request to http{s}://{host}{port}/~/channel/{uid} with a new uid. To connect to the channel and receive any pending events, you just send an HTTP GET request with a valid session cookie to that URL.

The response you'll get to the GET request will be an event stream. Events will come in like:

id: 0
data: {"ok":"ok","id":1,"response":"poke"}

If you're working with Javascript in the browser context you'll handle these with an EventSource object or by using fetch and ReadableStream. If you're using another language, there'll likely be a library available to handle SSEs.

All the events that Eyre sends you on a channel must be acked so that Eyre can forget about them and clear them from the channel state. If facts (as diffs) from Gall agents to which you've subscribed are left unacked long enough, Eyre will consider the particular subscription clogged and automatically unsubscribe you. Note that acking one event will implicitly ack all previous events.

When you're finished with a channel, you can send Eyre a delete action to close it.

See the Using the Channel System section of the Guide document for a practical example.

HTTP Requests

Actions are sent to Eyre in HTTP PUT requests:

HTTP Method
Required Headers
Data
URL Path

PUT

Content-Type & Cookie

/~/channel/{uid}

The cookie header contains the session cookie obtained by authenticating. The data is a JSON array containing one or more JSON action objects. The channel uid is a unique name of your choosing. Typically you'd use the current unix time and a hash but there's no specific requirements. If you're opening a new channel you'd choose a new uid and if you already have a channel open you'd just use that.

If successful, Eyre will respond with a status code of 204. Note the HTTP response will have no content, any responses will be sent as SSEs on the channel event stream.

Actions

Poke

This is for poking a Gall agent.

Key
JSON Type
Example Value
Description

id

Number

1

ID for keeping track of sent messages.

action

String

'poke'

The kind of action.

ship

String

'zod'

Target ship name, excluding leading ~.

app

String

'hood'

Name of the gall agent you're poking.

mark

String

'helm-hi'

Type of data. Must correspond to a mark definition in /mar.

json

Any

'hello'

Actual payload. Any JSON type, determined by app.

Example

{
  "id": 1,
  "action": "poke",
  "ship": "zod",
  "app": "hood",
  "mark": "helm-hi",
  "json": "hello"
}

Response

Eyre will send a poke ack as an SSE event on the channel event stream.

Subscribe

This is for subscribing to a watch path of a Gall agent.

Key
JSON Type
Example Value
Description

id

Number

2

ID for keeping track of sent messages.

action

String

'subscribe'

The kind of action.

ship

String

'zod'

Target ship name, excluding leading ~.

app

String

'graph-store'

Name of the gall agent to which you're subscribing.

path

String

'/updates'

The path to watch. Depends on the app.

Example

{
  "id": 2,
  "action": "subscribe",
  "ship": "zod",
  "app": "graph-store",
  "path": "/updates"
}

Response

Eyre will send back a watch ack. If subscribing was successful, you will also begin receiving any diffs sent by the Gall agent on the specified path.

Ack

This is for acknowledging an SSE event. If you ack one event, you also implicitly ack all previous events. Events must be acked so that Eyre can forget them. If you leave facts (as diffs) unacked long enough, Eyre will consider the subscription clogged and automatically unsubscribe you.

Key
JSON Type
Example Value
Description

id

Number

3

ID for keeping track of sent messages.

action

String

'ack'

The kind of action.

event-id

Number

7

ID of SSE event up to which you're acknowledging receipt

Example

{
  "id": 3,
  "action": "ack",
  "event-id": 7
}

Response

Eyre will not respond to an ack action.

Unsubscribe

This is for unsubscribing from a Gall agent watch path to which you've previously subscribed.

Key
JSON Type
Example Value
Description

id

Number

4

ID for keeping track of sent messages.

action

String

unsubscribe

The kind of action.

subscription

Number

2

Request ID of the initial subscribe action from earlier.

Example

{
  "id": 4,
  "action": "unsubscribe",
  "subscription": 2
}

Response

Eyre will not respond to an unsubscribe action.

Delete Channel

This is for deleting the channel itself.

Key
JSON Type
Example Value
Description

id

Number

5

ID for keeping track of sent messages.

action

String

'delete'

The kind of action.

Example

{
  "id": 5,
  "action": "delete"
}

Response

Eyre will not respond to a delete action.

Responses

Poke Ack

This acknowledgement comes in response to a poke action. A poke ack with an ok key means the poke succeeded. A poke ack with an err key means the poke failed.

Positive Poke Ack

Key
JSON Type
Example Value
Description

ok

String

'ok'

Positive acknowledgement.

id

Number

1

Request ID of the poke being acknowledged.

response

String

'poke'

The kind of action being acknowledged.

Example

{
  "ok": "ok",
  "id": 1,
  "response": "poke"
}

Negative Poke Ack

Key
JSON Type
Example Value
Description

err

String

'some text...'

Negative acknowledgement. Contains an error message and/or traceback.

id

Number

1

Request ID of the poke being acknowledged.

response

String

'poke'

The kind of action being acknowledged.

Example

{
  "err": "<error message and traceback>",
  "id": 1,
  "response": "poke"
}

Action Required

You must ack the event.

Watch Ack

This acknowledgement comes in response to a subscribe action. A watch ack with an ok key means the subscription was successful. A watch ack with an err key means the subscription failed.

Positive Watch Ack

Key
JSON Type
Example Value
Description

ok

String

'ok'

Positive acknowledgement.

id

Number

2

Request ID of the initial subscribe action.

response

String

'subscribe'

The kind of action being acknowledged.

Example

{
  "ok": "ok",
  "id": 2,
  "response": "subscribe"
}

Negative Watch Ack

Key
JSON Type
Example Value
Description

err

String

'some text...'

Negative acknowledgement. Contains an error message and/or traceback.

id

Number

2

Request ID of the initial subscribe action.

response

String

'subscribe'

The kind of action being acknowledged.

Example

{
  "err": "<error message and traceback>",
  "id": 2,
  "response": "subscribe"
}

Action Required

You must ack the event.

Diff

All facts sent by a Gall agent on the path to which you've subscribed are delivered as diffs. Note that Eyre makes a best effort to convert the fact to a json mark. If it can't, Eyre will crash and close the subscription, and you won't receive any diff for the fact.

Key
JSON Type
Example Value
Description

json

Any

{'foo': 'bar'}

The actual data from the agent, could be any JSON structure.

id

Number

3

Request ID of the initial subscribe action from earlier.

response

String

'diff'

The kind of response. All facts are marked 'diff'.

Example

{
  "json": { "foo": "bar" },
  "id": 3,
  "response": "diff"
}

Action Required

You must ack each diff that comes in the event stream.

Quit

A quit comes in when a subscription has been ended. You may be intentionally kicked by the Gall agent to which you're subscribed, but certain network conditions can also trigger a quit. As a result, it's best to try and resubscribe when you get a quit, and if the resulting watch ack is negative you can then conclude the quit was intentional and give up.

Key
JSON Type
Example Value
Description

id

Number

4

Request ID of the initial subscribe action.

response

String

'quit'

The kind of response.

Example

{
  "id": 4,
  "response": "quit"
}

Action Required

You must ack the event and you may wish to try and resubscribe.

Scry

A scry is a read-only request for some data.

A scry takes the form of an authenticated HTTP GET request to a URL path with the following format:

http{s}://{host}/~/scry/{app}{path}.{mark}

The {app} is the name of the Gall agent you want to query, for example graph-store.

The {path} is a scry endpoint of the Gall agent in question. Eyre will always scry with a care of %x, so the {path} needn't specify that. For example, the /x/keys scry endpoint of graph-store would just be specified as keys.

The {mark} is the type you want returned. It needn't just be json as with the channel system, it can be any mark, with two conditions:

  1. It must be possible to convert the mark produced by the specified scry endpoint to the mark you want returned.

  2. It must be possible to convert the mark you want returned to a mime mark, otherwise Eyre can't encode it in the HTTP response.

If your session cookie is invalid or missing, Eyre will respond with a 403 Forbidden status. If the scry endpoint cannot be found, Eyre will respond with a 404 Missing status. If the mark conversions can't be done, Eyre will respond with a 500 Internal Server Error status. Otherwise, Eyre will respond with a 200 OK status with the requested data in the body of the HTTP response.

See the Scrying section of the Guide document for a practical example.

Spider

See the HTTP API section of the Threads documentation.

PreviousEyre Data TypesNextEyre Internal API

Last updated 1 day ago

One or more wrapped in a JSON array ([])

actions