At this level
at.tensei · 4- at.tensei.authFull permission-set What the Tensei appview asks a user's PDS for (spec §1.1), requested as include:at.tensei.authFull beside atproto. One canonical copy, owned by the Tensei account; never written to a user's repo.
- at.tensei.mapping record A Tensei mapping, version 1 (spec §4): records of one source collection mapped into output fields the user authors. Built-in presets are starting points, never a contract: any field name is allowed, and a field is mandatory only when the user marks it `required`. The atproto data model has integers only, so a number in the record is an integer written as it is, or any other number in fixed point, the value times 10⁶ (spec §1.5): a bare integer where this lexicon declares it — a #mappingField's `
- at.tensei.pipeline record A Tensei pipeline, version 1 (spec §6, §7): source nodes reading through mappings, downstream nodes over the fields the user authored, and one output. Shapes on wires are derived from the graph, never stored. The atproto data model has integers only, so a number in the record is an integer written as it is, or any other number as an at.tensei.mapping#fixedPoint, the value times 10⁶ (spec §1.5). Where the lexicon language cannot state a rule the version-1 validator enforces, the property is left
- at.tensei.subscription record A subscription to a pipeline the subscriber owns (spec §1.1, §1.3).