@sdboyer/thema-ui 0.0.0-bootstrap.0 → 0.1.0

package/errors/E0802.md

@@ -0,0 +1,22 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0802: the playground request gives the lineage in neither form, or in both
+
+A request names a lineage in exactly one form: the authoring form's files,
+with the lineage's name, or one normal-form file. This one gives neither.
+
+## Example
+
+`request.json`:
+
+```json
+{"lineage": {}}
+```
+
+thema reports:
+
+```
+error[E0802]: no lineage was given
+  |
+  = help: send the authoring form's files, or one normal-form file
+```

package/errors/E0803.md

@@ -0,0 +1,22 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0803: a version in the playground request is not a version
+
+A version in a request is written <major>.<minor>. A version that parses but
+that the lineage lacks is E0240 instead.
+
+## Example
+
+`request.json`:
+
+```json
+{"lineage": {"normal": {"path": "lineage.cue", "text": "name: \"ship\"\nschemas: {\n\t\"0\": {\n\t\t\"0\": {\n\t\t\tschema: {\n\t\t\t\tcrew: int\n\t\t\t}\n\t\t}\n\t}\n}\n"}}, "data": {"filename": "data.json", "text": "{\"crew\": 1}"}, "version": "1"}
+```
+
+thema reports:
+
+```
+error[E0803]: "1" is not a version
+  |
+  = help: a version is <major>.<minor>, such as 1.0
+```

package/errors/E0804.md

@@ -0,0 +1,25 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0804: a host example in the playground request is incomplete or inconsistent
+
+A playground deployment registers examples of its own beside thema's, and
+each must be complete and its own: an ID no other example has, a title, a
+category that is not one of thema's, and a kind, when given, that names the
+form its lineage is in. The examples operation lists the IDs and categories
+already taken. The other examples in the request are registered regardless.
+
+## Example
+
+`request.json`:
+
+```json
+{"examples": [{"example": {"id": "exemplar/defaultchange", "title": "pet", "category": "Pets", "summary": "", "kind": "", "binds": true}, "lineage": {"normal": {"path": "lineage.cue", "text": "name: \"pet\"\nschemas: {\n\t\"0\": {\n\t\t\"0\": {\n\t\t\tschema: {\n\t\t\t\tname: string\n\t\t\t}\n\t\t}\n\t}\n}\n"}}}]}
+```
+
+thema reports:
+
+```
+error[E0804]: host example "exemplar/defaultchange" has the id of another example
+  |
+  = help: give every example an id of its own; the examples operation lists the ids already taken
+```

package/errors/E0805.md

@@ -0,0 +1,26 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0805: a host example does not bind as its record declares
+
+A playground deployment registers examples of its own beside thema's, and
+each declares whether its lineage binds: an example of an error does not.
+Registering an example binds its lineage, and refuses it when the outcome
+differs from what it declares; the notes say what binding it reported. The
+other examples in the request are registered regardless.
+
+## Example
+
+`request.json`:
+
+```json
+{"examples": [{"example": {"id": "pets/empty", "title": "empty", "category": "Pets", "summary": "", "kind": "", "binds": true}, "lineage": {"normal": {"path": "lineage.cue", "text": "name: \"empty\"\nschemas: {}\n"}}}]}
+```
+
+thema reports:
+
+```
+error[E0805]: host example "pets/empty" is declared to bind, but does not
+  |
+  = note: binding it reports E0122: the lineage declares no schemas
+  = help: fix the lineage, or set binds to false if the example is meant to show an error
+```

package/errors/E0901.md

@@ -0,0 +1,27 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0901: thema failed internally
+
+thema panicked while doing its work, and the operation's boundary recovered the
+panic rather than crash the program. This is a bug in thema, not in the lineage
+or data. The detail holds the panic's value and the goroutine stack; please
+report both.
+
+## Example
+
+`panic.txt`:
+
+```
+runtime error: index out of range [3] with length 3
+```
+
+thema reports:
+
+```
+error[E0901]: thema failed internally
+  |
+  = detail: runtime error: index out of range [3] with length 3
+
+            <the goroutine stack>
+  = help: this is a bug in thema; please report it with the detail above
+```

package/errors/E0902.md

@@ -0,0 +1,40 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0902: CUE reported an error thema does not recognize
+
+The CUE evaluator reported an error that none of thema's codes describes. The
+detail holds CUE's message verbatim, and every position CUE attached to it is
+kept: the first in the author's files as the primary, the rest as notes. Nothing
+CUE said is dropped, but thema has not yet learned to explain it; each shape of
+error that reaches this code is a candidate for a code of its own.
+
+## Example
+
+`a.cue`:
+
+```cue
+x: 1
+```
+
+`b.cue`:
+
+```cue
+x: "one"
+```
+
+thema reports:
+
+```
+error[E0902]: CUE reported an error thema does not recognize
+ --> a.cue:1:4
+  |
+1 | x: 1
+  |    ^
+  |
+ ::: b.cue:1:4
+  |
+1 | x: "one"
+  |    ----- also here
+  |
+  = detail: x: conflicting values 1 and "one" (mismatched types int and string)
+```

package/errors/E0903.md

@@ -0,0 +1,23 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E0903: thema reported an error that has no code
+
+thema reported an error as plain text, with no code, no position and no
+structure. Every one of these is a gap: the place in thema that produced it has
+not been given a code yet. The detail holds the text.
+
+## Example
+
+`error.txt`:
+
+```
+could not open the lineage: permission denied
+```
+
+thema reports:
+
+```
+error[E0903]: thema reported an error that has no code
+  |
+  = detail: could not open the lineage: permission denied
+```

package/errors/E1001.md

@@ -0,0 +1,53 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E1001: a lens on the edge into the tip is missing
+
+The tip removes a field without writing a `ForwardLens` that says where the
+field goes, so the lens on the edge into the tip cannot be derived. The
+development path binds the lineage anyway, without that lens, and reports it
+as a warning: the edge is still being written. The derivation's own findings
+are the notes. Translating across the missing lens fails (E1002); binding the
+history alone never reads the tip.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	a: string
+	b: int
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	a: string
+}
+```
+
+thema reports:
+
+```
+warning[E1001]: tip.thema has no ForwardLens, and one cannot be derived
+ --> tip.thema:1:1
+  |
+1 | Schema: {
+  | ^^^^^^
+  | ------ 0.0 declares b and tip does not, and nothing maps it: write <field>: v0_0.b to move it, or b: _drop
+  |
+  = note: translating from 0.0 to tip needs it; until tip.thema writes it, that translation fails (E1002)
+  = help: write ForwardLens: {v0_0: _, tip: {...}} in tip.thema
+
+warning[E1001]: tip.thema has no BackwardLens, and one cannot be derived
+ --> tip.thema:1:1
+  |
+1 | Schema: {
+  | ^^^^^^
+  | ------ tip.thema has no BackwardLens, and 0.0 requires b: write BackwardLens: {tip: _, v0_0: {b: <mapping>}}
+  |
+  = note: translating from tip to 0.0 needs it; until tip.thema writes it, that translation fails (E1002)
+  = help: write BackwardLens: {tip: _, v0_0: {...}} in tip.thema
+```

package/errors/E1002.md

@@ -0,0 +1,43 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E1002: a translation needs a lens the tip does not have yet
+
+Translating into the tip needs the `ForwardLens` on the edge into it, which
+`tip.thema` does not write and cannot be derived (E1001). The development path
+bound the lineage without it; the translation that needs it fails, and says
+which lens to write. Translating out of the tip, through the derived
+`BackwardLens`, works.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	a: string
+	b: int
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	a: string
+}
+```
+
+`data.json`:
+
+```json
+{"a": "x", "b": 1}
+```
+
+thema reports:
+
+```
+error[E1002]: translating from 0.0 to 1.0 needs the ForwardLens in tip.thema, which is not written yet
+  |
+  = note: 1.0 is provisional: the schema in tip.thema, which is still being worked on, and whose lenses may not be written yet
+  = help: write the ForwardLens in tip.thema
+```

package/errors/E1003.md

@@ -0,0 +1,40 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E1003: the tip is not clean: it differs from the newest version in history/
+
+The tip is not clean: its schema differs from that of the newest version
+under `history/`. A clean tip equals the last version cut, with no lenses of
+its own; CI checks it to assert that the tip was cut before merging. The tip
+says which version it would be cut as.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	a: string
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	a:  string
+	b?: int
+}
+```
+
+thema reports:
+
+```
+error[E1003]: the Schema in tip.thema differs from the one in history/0.0.thema
+ --> tip.thema:1:1
+  |
+1 | Schema: {
+  | ^^^^^^
+  |
+  = note: the tip cuts as 0.1
+  = help: cut the tip to history/0.1.thema, or make its Schema equal history/0.0.thema's
+```

package/errors/E1004.md

@@ -0,0 +1,44 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# E1004: the tip cannot be cut while a lens on its edge is missing
+
+The tip removes a field without writing the lenses that say where the
+field goes, and is cut. A version that has been cut never changes, so the
+lenses on the edge into it have to be written before it is: the development
+path tolerates a missing lens as a warning (E1001), and cutting refuses it.
+Each lens still missing is a note. Write the lenses in `tip.thema`, then cut
+it.
+
+## Example
+
+`ship/history/0.0.thema`:
+
+```cue
+Schema: {
+	a: string
+	b: int
+}
+```
+
+`ship/tip.thema`:
+
+```cue
+Schema: {
+	a: string
+}
+```
+
+thema reports:
+
+```
+error[E1004]: the tip cannot be cut as 1.0 while a lens on its edge is missing
+ --> tip.thema:1:1
+  |
+1 | Schema: {
+  | ^^^^^^
+  |
+  = note: tip.thema has no ForwardLens, and one cannot be derived
+  = note: tip.thema has no BackwardLens, and one cannot be derived
+  = note: a version that has been cut never changes, so the lenses into it are written before it is
+  = help: write the missing lenses in tip.thema, then cut it
+```

package/errors/README.md

@@ -0,0 +1,215 @@
+<!-- Generated by go test ./diag; do not edit. -->
+
+# Error codes
+
+Every diagnostic thema reports carries a code. A code's meaning never changes; a code that is no longer reported is retired, not reused. The codes are grouped by hundreds:
+
+| Range | Area |
+|---|---|
+| E01xx | the shape of authoring files and of the lineage |
+| E02xx | versions and compatibility |
+| E03xx | lenses |
+| E04xx | lacunas |
+| E05xx | data validation |
+| E06xx | loading, modules and the CLI's inputs |
+| E09xx | thema itself: internal errors and CUE errors thema does not recognize |
+
+A code's scope says what its condition reads: `one` when one version's files, the numbering of the version files, the data or the CLI's inputs decide it alone, and `versions` when it compares a version with another: a schema with its predecessor's, a lens with the versions at its ends, the tip with its parent, or a lineage with what it was published as.
+
+| Code | Severity | Scope | Title |
+|---|---|---|---|
+| [E0101](E0101.md) | error | one | a file in the lineage's directory is not a version file |
+| [E0102](E0102.md) | error | one | a version file is not CUE syntax |
+| [E0103](E0103.md) | error | one | a version file has a package clause |
+| [E0104](E0104.md) | error | one | retired: a version file imports a package |
+| [E0105](E0105.md) | error | one | a version file has a field that is not schema, ForwardLens or BackwardLens |
+| [E0106](E0106.md) | error | one | a version file declares a field twice |
+| [E0107](E0107.md) | error | one | a lens block is not a struct |
+| [E0108](E0108.md) | error | one | a version file declares no schema |
+| [E0109](E0109.md) | error | one | a version file uses CUE's struct shorthand |
+| [E0110](E0110.md) | error | one | the lineage's directory has no version files |
+| [E0111](E0111.md) | error | one | a lens block is not shaped as a lens |
+| [E0112](E0112.md) | error | one | a version file's schema has an error |
+| [E0120](E0120.md) | error | one | the lineage does not declare a field every lineage has |
+| [E0121](E0121.md) | error | one | a field every lineage has is not concrete |
+| [E0122](E0122.md) | error | one | the lineage declares no schemas |
+| [E0123](E0123.md) | error | one | a field that is not part of a lineage, a schema entry or a lens |
+| [E0124](E0124.md) | error | one | a schemas key that is not a version |
+| [E0125](E0125.md) | error | one | a lenses key that is not a lens edge |
+| [E0126](E0126.md) | error | one | the lineage is not an instance of thema.Lineage |
+| [E0128](E0128.md) | error | one | there is no value at the path given for the lineage |
+| [E0129](E0129.md) | error | one | a schema is not a struct |
+| [E0130](E0130.md) | error | one | the joinSchema is not a struct |
+| [E0131](E0131.md) | error | one | an example is not an instance of its schema |
+| [E0132](E0132.md) | error | one | a schema uses a comprehension |
+| [E0133](E0133.md) | error | one | a schema's references form a cycle |
+| [E0134](E0134.md) | error | one | a schema refers to a value that contains it |
+| [E0135](E0135.md) | error | one | a schema's chain of references is too deep to follow |
+| [E0137](E0137.md) | error | one | the lineage's name is not an identifier |
+| [E0140](E0140.md) | error | one | a schema refers to another schema of the lineage |
+| [E0141](E0141.md) | error | one | a schema or lens refers to something the lineage declares outside it |
+| [E0142](E0142.md) | error | one | a schema or lens refers to something declared outside the lineage |
+| [E0143](E0143.md) | error | one | a schema or lens refers to a package that is not one of CUE's builtins |
+| [E0144](E0144.md) | error | one | a lens refers to a schema of the lineage |
+| [E0145](E0145.md) | error | one | a lens refers to another lens of the lineage |
+| [E0146](E0146.md) | error | one | a reference cannot be resolved statically |
+| [E0147](E0147.md) | error | one | a version file imports a package its Schema does not use |
+| [E0148](E0148.md) | error | one | a numbered version file is at the top of the lineage's directory, not under history/ |
+| [E0149](E0149.md) | error | one | the lineage's directory has no tip.thema |
+| [E0150](E0150.md) | error | versions | a lens of the tip names a version other than the tip's parent, the newest version under history/ |
+| [E0151](E0151.md) | error | one | a schema or lens declares a hidden field or a hidden definition |
+| [E0152](E0152.md) | error | one | the value a lineage is bound from is not the root of a value CUE built from source |
+| [E0201](E0201.md) | error | one | the first schema is not version 0.0 |
+| [E0202](E0202.md) | error | one | a schema's version does not follow its predecessor's |
+| [E0203](E0203.md) | error | one | a major version declares no schemas |
+| [E0204](E0204.md) | error | one | two version files declare the same version |
+| [E0205](E0205.md) | error | one | the version files skip a version |
+| [E0206](E0206.md) | error | versions | a version file named as a major version is backward compatible with its predecessor |
+| [E0208](E0208.md) | error | versions | a major version is backward compatible with its predecessor |
+| [E0210](E0210.md) | error | versions | a minor version requires a field its predecessor does not declare |
+| [E0211](E0211.md) | error | versions | a minor version rejects a field its predecessor declares |
+| [E0212](E0212.md) | error | versions | a minor version requires a field its predecessor left optional |
+| [E0213](E0213.md) | error | versions | a minor version drops a default its predecessor filled |
+| [E0214](E0214.md) | error | versions | a minor version changes a default |
+| [E0215](E0215.md) | error | versions | a minor version narrows the values a field accepts |
+| [E0216](E0216.md) | error | versions | a minor version narrows a list's length |
+| [E0217](E0217.md) | error | versions | a minor version narrows the field names a struct accepts |
+| [E0218](E0218.md) | error | versions | a minor version adds or tightens a validator |
+| [E0230](E0230.md) | error | versions | a minor version constrains a field by another field's value, which the checker cannot compare |
+| [E0232](E0232.md) | error | versions | a minor version changes a validator the checker has no rule for |
+| [E0233](E0233.md) | error | versions | a minor version's disjunction cannot be shown to cover its predecessor's |
+| [E0234](E0234.md) | error | versions | a minor version's pattern constraints cannot be shown to cover its predecessor's |
+| [E0240](E0240.md) | error | one | the lineage has no schema with that version |
+| [E0242](E0242.md) | error | versions | retired: a published schema was deleted |
+| [E0243](E0243.md) | error | versions | retired: a published schema was changed |
+| [E0250](E0250.md) | error | versions | a published version's schema was changed |
+| [E0251](E0251.md) | error | versions | a published version's lens was changed |
+| [E0252](E0252.md) | error | versions | a published version was removed |
+| [E0253](E0253.md) | error | versions | a new version comes before the newest published version |
+| [E0254](E0254.md) | error | versions | the lineage's name differs from the name it was published with |
+| [E0301](E0301.md) | error | versions | the lineage lacks a lens its versions require |
+| [E0302](E0302.md) | error | versions | the lineage declares a lens its versions do not require |
+| [E0303](E0303.md) | error | versions | a lens does not accept every instance of its source schema |
+| [E0304](E0304.md) | error | versions | what a lens produces is not an instance of its target schema |
+| [E0305](E0305.md) | error | versions | a lens writes a field its target schema does not declare |
+| [E0307](E0307.md) | error | versions | translating an instance, a lens produced something that is not concrete |
+| [E0308](E0308.md) | error | versions | translating an instance, a lens failed |
+| [E0310](E0310.md) | error | one | a lens does not declare the instance it takes |
+| [E0311](E0311.md) | error | one | a lens does not declare the instance it returns |
+| [E0330](E0330.md) | error | one | a lens body holds something that is not a mapping |
+| [E0331](E0331.md) | error | one | a mapping's key is not a plain field name |
+| [E0332](E0332.md) | error | one | a mapping has an attribute |
+| [E0333](E0333.md) | error | one | a lens body or its lacunas declare a hidden field or a definition |
+| [E0334](E0334.md) | error | one | a nested body embeds something other than a path into the source instance |
+| [E0335](E0335.md) | error | one | a _coalesce is not _coalesce(source path, fallback) |
+| [E0336](E0336.md) | error | one | a _match is not _match(source path, arms) |
+| [E0337](E0337.md) | error | one | an _each is not _each(source list, body) |
+| [E0338](E0338.md) | error | one | a _match's arms are not constant arms with at most one catch-all |
+| [E0340](E0340.md) | error | versions | a lens reads a field its source version does not declare |
+| [E0341](E0341.md) | error | versions | a lens maps a field its target version does not declare |
+| [E0342](E0342.md) | error | versions | a lens drops a field its target version requires |
+| [E0343](E0343.md) | error | versions | a lens moves an optional field to a required one with no fallback |
+| [E0344](E0344.md) | error | versions | a constant in a lens is not an instance of its target field |
+| [E0345](E0345.md) | error | one | a lens maps a target field twice |
+| [E0346](E0346.md) | error | versions | a lens produces nothing for a field its target version requires |
+| [E0347](E0347.md) | error | versions | a field the source version has and the target lacks is neither mapped nor dropped |
+| [E0348](E0348.md) | error | versions | a _coalesce reads a field the source version always has |
+| [E0349](E0349.md) | error | versions | a _coalesce's fallback may itself be absent |
+| [E0350](E0350.md) | error | one | a _match has two arms for one value |
+| [E0351](E0351.md) | error | versions | a _match is not exhaustive |
+| [E0352](E0352.md) | error | versions | a _match passes values through to a target the lens cannot test them against |
+| [E0353](E0353.md) | error | versions | an _each maps something other than an open list to an open list |
+| [E0354](E0354.md) | error | one | the first version has a lens |
+| [E0355](E0355.md) | error | versions | a minor version has a ForwardLens |
+| [E0356](E0356.md) | error | one | a normal-form lens is outside what the authoring form expresses |
+| [E0357](E0357.md) | error | one | a mapping calls a function a lens may not call |
+| [E0358](E0358.md) | error | versions | a field both versions declare cannot be copied: the target does not accept every source value |
+| [E0359](E0359.md) | error | versions | a move reads a source field whose values the target field does not all accept |
+| [E0360](E0360.md) | error | versions | a lens copies a value its target rejects for some instance |
+| [E0361](E0361.md) | error | versions | a lens reads a field that may be absent |
+| [E0362](E0362.md) | error | versions | a lens reads a field its source schema does not declare |
+| [E0364](E0364.md) | error | versions | a lens's pattern tests a field that may be absent |
+| [E0365](E0365.md) | error | one | a lens writes a constraint where an instance needs a value |
+| [E0366](E0366.md) | error | versions | a lens writes a literal its target rejects |
+| [E0367](E0367.md) | error | versions | a lens computes a value its target rejects for some instance |
+| [E0368](E0368.md) | error | versions | a lens leaves a required field unwritten for some instance |
+| [E0369](E0369.md) | error | versions | a lens writes a field twice with values that may disagree |
+| [E0370](E0370.md) | error | versions | a lens's arithmetic may overflow |
+| [E0371](E0371.md) | error | versions | a lens may divide by zero |
+| [E0372](E0372.md) | error | versions | a lens indexes a table with a value that has no entry |
+| [E0380](E0380.md) | error | versions | a lens copies a value the checker cannot show its target accepts |
+| [E0381](E0381.md) | error | versions | a lens's condition is not one the checker can read |
+| [E0382](E0382.md) | error | versions | a lens writes a required field only under conditions the checker cannot show exhaustive |
+| [E0383](E0383.md) | error | versions | a lens computes with an operation the checker cannot prove |
+| [E0384](E0384.md) | error | versions | a lens produces fields or elements dynamically |
+| [E0385](E0385.md) | error | one | a lens refers to something the checker cannot follow |
+| [E0386](E0386.md) | error | versions | a lens's integer arithmetic has no bounds the checker can trust |
+| [E0387](E0387.md) | error | versions | a lens's divisor may be zero as far as the checker can tell |
+| [E0388](E0388.md) | error | versions | a lens writes to a target constraint the checker cannot compare |
+| [E0389](E0389.md) | error | versions | a lens indexes a table with a value that is not a finite set of constants |
+| [E0390](E0390.md) | error | one | a lens takes the first element of a list that may be empty |
+| [E0401](E0401.md) | error | one | a lens's lacunas are not listed unconditionally |
+| [E0402](E0402.md) | error | one | a lacuna has no message |
+| [E0403](E0403.md) | error | one | a lacuna has no type |
+| [E0404](E0404.md) | error | versions | a lacuna names a field its schema does not declare |
+| [E0405](E0405.md) | error | one | a lacuna's field path is not a path |
+| [E0406](E0406.md) | error | one | a lacuna's type is not a lacuna type |
+| [E0407](E0407.md) | error | one | a field that is not part of a lacuna |
+| [E0410](E0410.md) | error | one | a lacunas declaration is not shaped as lacunas |
+| [E0411](E0411.md) | error | one | a lacuna's type is not a lacuna type |
+| [E0412](E0412.md) | error | one | a lacunas key names a mapping the lens does not have |
+| [E0413](E0413.md) | error | one | a lacuna on a mapping inside _each |
+| [E0414](E0414.md) | error | one | a _match's catch-all arm has no lacuna |
+| [E0415](E0415.md) | error | one | a lacuna on _each has no when |
+| [E0416](E0416.md) | error | one | a _drop has a lacuna that is not its one DroppedField refinement |
+| [E0418](E0418.md) | error | one | a condition refers to a name a lens does not define |
+| [E0420](E0420.md) | error | one | a lacuna on a _match with no catch-all arm has no when |
+| [E0421](E0421.md) | error | one | a lacuna on a _drop inside _each has a when |
+| [E0422](E0422.md) | error | versions | a when names a field that is not a condition |
+| [E0423](E0423.md) | error | one | a when tests the presence of a field it also reads |
+| [E0501](E0501.md) | error | one | the data lacks a field the schema requires |
+| [E0502](E0502.md) | error | one | the data has a field the schema does not declare |
+| [E0503](E0503.md) | error | one | a value in the data is of a kind the schema does not accept |
+| [E0504](E0504.md) | error | one | a value in the data is outside what the schema allows |
+| [E0505](E0505.md) | error | one | a value in the data matches none of the alternatives the schema allows |
+| [E0506](E0506.md) | error | one | the data is not concrete |
+| [E0507](E0507.md) | error | one | the data does not parse |
+| [E0508](E0508.md) | error | one | the data is an instance of no schema in the lineage |
+| [E0601](E0601.md) | error | one | the lineage path does not exist or cannot be read |
+| [E0602](E0602.md) | error | one | no CUE package was found at the lineage path |
+| [E0603](E0603.md) | error | one | the lineage path holds lineages in several CUE packages |
+| [E0604](E0604.md) | error | one | the CUE path given for the lineage is not a path |
+| [E0605](E0605.md) | error | one | there is no value at the CUE path given for the lineage |
+| [E0606](E0606.md) | error | one | a cue.mod/module.cue above the lineage is not valid |
+| [E0607](E0607.md) | error | one | the CUE module requires a version of thema's CUE other than the one this program embeds |
+| [E0608](E0608.md) | error | one | the lineage imports a package that is not available here |
+| [E0609](E0609.md) | error | one | loading the lineage's CUE failed |
+| [E0611](E0611.md) | error | one | the data's format could not be recognized |
+| [E0612](E0612.md) | error | one | the data's format flag disagrees with its file extension |
+| [E0613](E0613.md) | error | one | no data was given, or the data path cannot be read |
+| [E0614](E0614.md) | error | one | the data format flag names a format thema does not read |
+| [E0616](E0616.md) | error | one | a file cannot be written |
+| [E0617](E0617.md) | error | one | this thema was built without the playground |
+| [E0618](E0618.md) | error | one | the server cannot listen on the address |
+| [E0620](E0620.md) | error | one | a flag or argument is not valid |
+| [E0621](E0621.md) | error | one | an example's example.cue is not valid |
+| [E0622](E0622.md) | error | one | the examples directory holds no example |
+| [E0623](E0623.md) | error | one | the directory for a new lineage already holds version files |
+| [E0624](E0624.md) | error | one | the document is not of an OpenAPI version thema converts |
+| [E0625](E0625.md) | error | one | the directory to position a lineage's files under is not a valid path |
+| [E0626](E0626.md) | error | one | the lineage bound on the development path is not the one that was compiled |
+| [E0627](E0627.md) | error | one | the placements given to Compose cannot be written as one package |
+| [E0628](E0628.md) | error | one | a generated file on disk is not what would be generated |
+| [E0701](E0701.md) | error | one | generating code from the schema failed |
+| [E0801](E0801.md) | error | one | the playground request is malformed |
+| [E0802](E0802.md) | error | one | the playground request gives the lineage in neither form, or in both |
+| [E0803](E0803.md) | error | one | a version in the playground request is not a version |
+| [E0804](E0804.md) | error | one | a host example in the playground request is incomplete or inconsistent |
+| [E0805](E0805.md) | error | one | a host example does not bind as its record declares |
+| [E0901](E0901.md) | error | one | thema failed internally |
+| [E0902](E0902.md) | error | one | CUE reported an error thema does not recognize |
+| [E0903](E0903.md) | error | one | thema reported an error that has no code |
+| [E1001](E1001.md) | warning | versions | a lens on the edge into the tip is missing |
+| [E1002](E1002.md) | error | versions | a translation needs a lens the tip does not have yet |
+| [E1003](E1003.md) | error | versions | the tip is not clean: it differs from the newest version in history/ |
+| [E1004](E1004.md) | error | versions | the tip cannot be cut while a lens on its edge is missing |

package/package.json

@@ -1,10 +1,36 @@
 {
   "name": "@sdboyer/thema-ui",
-  "version": "0.0.0-bootstrap.0",
-  "description": "Placeholder reserving the name; the first release is v0.1.0.",
+  "version": "0.1.0",
+  "description": "thema's CUE editor, diagnostics and wire types for the browser: the pieces the thema playground is built from.",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/sdboyer/thema.git"
+    "url": "git+https://github.com/sdboyer/thema.git",
+    "directory": "playground/components"
+  },
+  "type": "module",
+  "sideEffects": false,
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./errors/*": "./errors/*"
+  },
+  "files": [
+    "dist",
+    "errors",
+    "README.md"
+  ],
+  "peerDependencies": {
+    "@codemirror/commands": "^6.7.1",
+    "@codemirror/lang-json": "^6.0.1",
+    "@codemirror/language": "^6.10.8",
+    "@codemirror/lint": "^6.8.4",
+    "@codemirror/search": "^6.5.8",
+    "@codemirror/state": "^6.5.0",
+    "@codemirror/view": "^6.36.1",
+    "@lezer/highlight": "^1.2.5",
+    "preact": "^10.29.8"
   }
 }