# Lexicons

The schemas in `lexicons/`, built into the CLI. `atlibs publish` checks every record against them, and a
repo's own `lexicons/`, before writing it.

## atlibs

| NSID | type | what |
|---|---|---|
| `com.fedfork.exec.wasm.module` | record | a module: its wasm blob, ABI, entries, `calls`, `session`, `anyRecords`, hooks, `implements`, `didkey`, `http`, source manifest; at rkey `<name>` and, per version, `<name>.<32 hex of its pin>` (what pins load) |
| `com.fedfork.exec.oauth.clientMetadata` | record | an OAuth client template for a module's session; a host serves it on its own origin, and its `app` (the app's own records, [App identity](../server/app-identity.md)) in a read-only repo there |
| `com.fedfork.exec.source.file` | record | one source file, keyed by the sha256 of its bytes |
| `com.fedfork.exec.source.manifest` | record | the source files and build of one module build; immutable |
| `com.fedfork.exec.composition` | record | module instances, the edges between them, handlers, limits, parameters, exports; at rkey `<name>` and, per version, `<name>.<its CID>` (what a binding loads) |
| `com.fedfork.exec.binding` | record | a composition pinned by CID, its parameter inputs and secret names |
| `com.fedfork.exec.attest` | procedure | host call: sign a record with the host's attestation key |
| `network.attested.signature` | object | an inline attestation signature in a record's `signatures` |
| `ing.dasl.masl` | record | a web tile (`atlibs publish tile`) |

## In other repos

A transport's or an application's lexicons live with it ([Examples](../examples.md)):
`com.fedfork.exec.iroh.connect` in atlibs-iroh, `com.fedfork.exec.webrtc.connect` in atlibs-webrtc
(host calls: [Calls](../modules/calls.md)), the socialweb.computer market's `com.publicdomainrelay.temp.*`
(with `com.publicdomainrelay.temp.market.evaluatePolicy`, the policy hook contract:
[Policies](../policies.md)) in atlibs-socialweb-computer-requester, and `com.fedfork.agents.*` in
atlibs-agents.

## Read one

```bash run
jq -r '.defs.main.record.required | join(", ")' lexicons/com/fedfork/exec/wasm/module.json
```

```output
name, module, abi, actions, createdAt
```

Previous: [Examples](../examples.md) | Next: [Limits](limits.md)