absence/arrival-after-cut | Something was sighted at the pattern's locus after the read's cut and by the record's. |
absence/competence-missing | The cited read cannot detect the relation, or the relation is derived. |
absence/cone-open | The cone lacks the atom, or a pattern some rule of a pattern in it rests on. |
absence/cut-ahead | The cited read read after the record's cut. |
absence/held | The atom claimed absent stands in the answer. |
absence/locus-uncovered | The cited read did not cover the pattern's locus. |
absence/not-excluding | An exclusion's row is not a negated premise its rule's head fixes, or does not stand. |
absence/over-unsettled | An absence of an atom whose relation depends, through the program's rules, on a keyed relation with a crossed, decided or open address: whether it is absent depends on how that address resolves, and this slice does not read it under each resolution. |
absence/read-unknown | The cited read is not in the record. |
absence/route-open | A rule that could conclude the atom is not among the exclusions. |
absence/search-unfinished | The cited read did not finish. |
absence/stale | The cited read is stale: so stated, or past its contract's freshness at the record's cut. |
absence/wrong-kind | The kind claimed is not the kind the checked facts give. |
act/law-broken | A checked established breach. |
act/law-undecided | A law without an established absence. |
act/op-position | An operation row told with an `op` cell other than the position of the entry that holds it. |
act/transcribed-otherwise | A case that tells other rows of the lowered record than the journal's acts give. |
act/unkeyed | A fresh key for the run's sums could not be drawn. |
adopt/changed-verdict | A certified comparison that moves an answer cannot support adoption. |
aggregate/not-a-group | A tally over a relation the program does not declare. |
aggregate/over-unsettled | A guard that reads a group of a relation whose rows a later record may take away: one depending on an unsettled keyed relation, or on a negation or a guard over a relation not closed. |
aggregate/tally-missing | A comparison over a tally the certificate claims no span for. |
aggregate/wrong-span | A span claimed that is not the span the answer, the record and the doors give. |
aggregate/wrong-verdict | A truth claimed that is not the truth the spans give. |
budget/exceeded | The engine's answer or certificate is over a declared budget. |
carry/cycle | A field carries a field that carries it. |
carry/declaration-clash | A relation a parent declares otherwise than its child does: the arity, the key, the valid time, a floor or ceiling, the optimum, a dependent cell or a declared sort. |
carry/envelope-refused | A carried read's envelope is not the one the read names, does not verify over the child's program, record and regime, names another cut than the read, or has no bytes pinned to it. |
carry/export-clash | Two carried reads export one relation. |
carry/govern-foreign | The parent's regime governs an address of a carried relation; a crossing carried in is the child's holder's to decide. |
carry/relation-named | The parent names the rows of a relation it carries: its program tells a row of it or a rule derives into it, or a read of its own detects it. |
carry/standing-raised | A row of an exported relation stands higher in the parent than the child's envelope gives it: claimed above its standing, or told although the child's answer holds it at none a parent can take. |
certificate/arity | The answer states an atom of a declared relation with another number of cells than the relation has: no rule's head can conclude it, and the kernel's table holds a relation's rows of one arity, so it is refused at the atom before any table is built. |
certificate/incomplete | A rule applies to the answer and concludes an atom the answer lacks. |
certificate/told-restated | The answer states a row the program tells: the told rows are the program's, and an answer states its derived atoms alone. |
certificate/unfounded | A claimed atom of a derived relation that no instance of a rule concludes from premises that are told or founded themselves. |
certificate/unsupported | A claimed atom of a told relation that the program does not tell. |
certificate/wrong-basis | The certificate names another program's address. |
commit/transaction-spans-program | A transaction may contain acts and candidate admissions, then an adoption or its refused judgement last. |
compare/domain-binding | Descriptor, program, contract, fixed grounds or per-record evidence has been rebound. |
compare/domain-coverage | The claimed records are not exactly the descriptor's canonical expansion. |
contract/observation | A checked answer cannot support the requested observation. |
contract/resolution-incomplete | A crossing lacks its checked resolution family. |
demand/atom-questions | A demand run asks only ground atom expectations, not whole extents, tallies or orbit claims. |
demand/early-stop-not-monotone | An early stop whose cone is not monotone in the rows: a negated premise or a group over a relation the files' rows feed, or a keyed or optimised relation they feed. |
demand/early-stop-read-finished | An early stop whose record says a file finished that was not read to its end. |
demand/early-stop-rival-open | An early stop where a row not yet read could bring a rival to the answer: the cone of the atoms that would contradict it reaches a relation a file tells. |
demand/question-outside | A caller asks a receipt about an atom it does not certify. |
demand/reading | A program declaring a reading: its points read hypotheses beside the rows, and no cone of rows alone bounds what an atom rests on. |
demand/row-in-cone | A row left out of the slice that a told pattern of the question's cone matches. |
demand/rows-differ | The slice is not the program the cone was grown from, or its rows and the rows left out are not the rows read. |
door/carried-misreported | A carried cut whose stated rows, or whose stated closure, are not what the kernel finds when it verifies the child's envelope: the epoch rule reads them, so the act may not state more. |
door/carried-undeclared | A carried cut that exports a relation the program does not declare, or states an atom of a relation it does not export. |
door/carried-unresolved | A carried cut whose child does not resolve: its case is not read and admitted, its envelope does not name the child's record and regime, or the cut is not the child's record's. |
door/decision-by-generator | A sovereign decision whose actor's holding descends from a generator. |
door/exempt-by-generator | An exemption a generator proposed, or that rests on one's proposal: kept from it, told by a holder whose holding rests on it, or giving a reason that is its words. |
door/govern-empty | A `govern` ranking no rule. |
door/govern-unknown-source | A `govern` ranking a rule that concludes nothing at the governed relation. |
door/grant-to-generator | A grant to a generator, to a generator-derived holding, or giving an existing source read a generator edge. |
door/kept-by-proposer | A keep by a name whose holding rests on the proposing generator's own proposal. |
door/never-withdraws | A withdrawal under a read its holder opened as never withdrawing. |
door/not-a-generator | A consultation named for no generator of the table. |
door/not-a-holder | An act only a holder may make, by someone who is not one. |
door/not-a-seat | A seal made by someone who is not a seat. |
door/not-the-source | An act under a read, by someone other than the read's source. |
door/operation-revisable | An operation row told under a read that may take rows back. |
door/ring | A decision citing an answer that rests on the address it decides. |
door/role-overlap | A name holding two roles. |
door/seat-grants-source-only | A seat granting anything beyond an ungrounded source name. |
door/shown-first-pass | A consultation showing an address the seat's seal identifies as a first-pass program. |
door/shown-sealed | A consultation showing a seal entry or any file digest it carries. |
door/shown-target | A consultation showing an address the seat's seal identifies as a target. |
door/shown-ungranted | A consultation shown a row outside the locus it was opened over. |
door/unspellable-name | A read's or a consultation's name, or a rule a `govern` ranks, that is not one lower-case word the program's printer can spell. |
door/withdraws-a-keep | A withdrawal of a keep: a holder's decision, taken back by no one. |
door/withdraws-another | Description unavailable. |
door/withdraws-no-tell | A withdrawal whose `tell` is no tell of its own read and row at that position. |
edit/rows-differ | The two sides were not told the same rows: some relation's rows read on one side sum to other than those read on the other, or a relation was read on one side alone. |
edit/uncertifiable | An edit no cone of rules and rows can speak for: the old and new programs are read under different records or regimes, or one declares a reading, whose points read beside the rows. |
effect/attempt-unrequested | Description unavailable. |
effect/malformed | Description unavailable. |
effect/position | Description unavailable. |
effect/return-form | Description unavailable. |
effect/return-misattributed | Description unavailable. |
effect/wait-unattempted | Description unavailable. |
envelope/cut-mismatch | A field receipt states a cut different from its captured host record. |
envelope/demand-claim | A slice certificate claims an absence, extent, tally or reading beyond the named atom questions. |
envelope/demand-laws | The composition's law evidence requires whole closures, so demand refuses at run before answering. |
envelope/demand-sums | A receipt's partition sums differ from the whole program's canonical rows. |
envelope/laws-missing | The envelope and basis disagree on whether composition laws must be checked. |
envelope/rows-differ | The receipt's rows rebuild a different program than its certificate names. |
envelope/wrong-record | The envelope names another record than the one it is checked under. |
envelope/wrong-regime | The envelope names another regime than the one it is checked under. |
extension/adds-nothing | A candidate that adds no relation and no defined name to the program in force. |
extension/discloses | A candidate with a rule that reads a relation resting on a private one. |
extension/no-permit | A citation of a position that is no permit of the journal. |
extension/not-conservative | A comparison that found an old answer changed, or none established: the host's refusal to cite. |
extension/not-restricted | An extension that names the restricted form for a candidate that is not in it. |
extension/not-the-grantor | An adoption under a permit by someone other than the holder who gave it. |
extension/observation | A candidate that says, of a record and not of a variable, a name the program in force never mentions, whatever its condition: an observation, its proposer's claim, left for a holder. |
extension/old-relation-changed | A candidate that declares an old relation otherwise. |
extension/permit-revoked | A permit a holder has revoked, cited, or revoked again. |
extension/private-undeclared | A permit keeping private a relation the program in force does not declare. |
extension/receipt-missing | An extension whose receipt is not kept beside the journal under the address it cites, or whose receipt names a certificate not kept under its own: a replay violation. |
extension/receipt-otherwise | An extension whose receipt is kept and says otherwise than the extension: not a conservative verdict, another claim, another candidate, another program in force or another comparison's basis than the act and the journal at its position, or a certificate that is not the kernel's decided comparison: a replay violation. |
extension/stranger | An extension by a name the field's table does not hold. |
extension/unproposed | An extension of a candidate nobody proposed. |
fault/wrong-member | A span claimed faulted at a member that is not the least member at fault in canonical order. |
field/act-out-of-order | An act whose cut is before the act ahead of it in the sequence. |
field/admission-unproposed | Description unavailable. |
field/adopt-inadmissible | Description unavailable. |
field/adopt-unanswered | An adoption citing an answer the journal does not hold. |
field/adopt-unproposed | An adoption naming an address no proposal of a candidate holds. |
field/alternatives-unlowered | A told relation whose key declares alternatives, which a derived relation cannot hold. |
field/candidate-empty | A candidate of rows that holds none. |
field/candidate-readmitted | Description unavailable. |
field/candidate-reproposed | A candidate program proposed a second time. |
field/grant-uncited | A grant resting on a proposal nobody kept or adopted. |
field/keep-unproposed | A keep of a row nobody proposed under that read, or proposed and already kept. |
field/law-unstated | A breach rule that does not name one constant law. |
field/propose-unconsulted | A proposal under a read that consults no generator. |
field/radius-unproposed | A radius of a candidate nobody proposed, or that was kept. |
field/read-reopened | A read opened a second time. |
field/read-unopened | An act naming a read no earlier act opened. |
field/reserved-read | A read opened under the name the field gives the program's own rows. |
field/reserved-relation | A program naming a relation the field generates when it lowers the record. |
field/row-outside-read | A row told or withdrawn under a read that cannot detect its relation or does not cover its cells. |
field/sequence-composition | A bounded sequence projection attempted to enter an unflattened composition. |
field/shown-unknown | An act citing an address the journal does not hold. |
field/told-before-kept | A row told under a read that consults a generator: its rows enter only when a holder keeps one. |
field/verdict-unsealed | A verdict about bytes no seal of this journal carries. |
journal/address-mismatch | An answer entry whose stated addresses are not the ones its envelope was checked under. |
journal/admission-mismatch | A stored admission differing from the reader and independent check. |
journal/authority-mismatch | A stored tell authority other than the shared door computes at its position. |
journal/broken-chain | An entry whose position or previous address is not the one before it's. |
journal/envelope-missing | An answer entry whose envelope is not kept, or not under its address. |
journal/head-moved | An append that expected a head the journal on disk no longer has. |
journal/law-broken | An act whose commit verdict cannot be re-established at its journal position. |
journal/malformed | A line that is not an entry, or not written canonically. |
journal/refusal-mismatch | A stored refusal differs from the attempted adoption at its original prefix. |
journal/transaction-open | A journal that ends on an entry whose transaction goes on: a write that stopped part of the way. |
journal/unfounded | A journal whose first entry is no founding, or that is founded twice. |
journal/unreadable | A journal file that cannot be read or written. |
journal/unsealed | An answer the engine could not seal: the case refused before an envelope was made. |
key/arity-mismatch | A locus whose arity is not its relation's. |
key/closed-over-unsettled | An extent claimed closed, none or one value and nothing more, whose cone reaches a relation that depends on an unsettled keyed relation: the nothing-more is not settled by any one resolution, so the address reads open. |
key/cone-padded | A claimed extent cone holds a pattern no route grown from its address reaches. |
key/decision-over-unsettled | A decision whose deciding source reads a negation over an unsettled relation, or which passes over a higher-ranked source whose premises read one: which source wins is not settled. |
key/extent-missing | An address of a derived keyed relation holding a row of the answer, with no extent claimed: its reading, and so the standing of its rows, would be the producer's silence. |
key/negation-over-unsettled | A derivation whose negated premise reads a relation that depends, through the program's rules, on a keyed relation with a crossed, decided or open address: its absence is not settled by any one resolution of that address, and this slice does not read it under each. |
key/not-a-key | An extent asked at a locus that is not an address of a keyed relation: its relation is undeclared or keyless, or its values are not exactly its key's. |
key/silent-pick | One value claimed, or decided, at an address the facts read crossed: a pick no regime makes. |
key/uninhabited | An address its key holds to exactly one, closed by the record with no value at it. |
key/wrong-value | A value claimed that is not the value the facts give, other than a silent pick. |
pit/unavailable-dependency | An answer at a cut before the cut from which the program it was answered under was available. |
project/compile-account | A project input without its spelling table and numbered source-sentence account. |
project/content-changed | A source whose bytes are not the ones pinned. |
project/duplicate | A key the file allows once, given twice; or one path named by two lines. |
project/missing | No `project` line, or no `program` line. |
project/missing-file | A named source that is not there. |
project/not-a-file | A named source that is not a regular file: a directory, a FIFO, a device. |
project/outside | A named source that resolves, through a symlink, outside the project file's directory. |
project/syntax | A line that is no key of the file, or a key with values of the wrong shape. |
project/too-large | Description unavailable. |
project/unsupported-composition | Description unavailable. |
project/unsupported-version | A first line other than `lause project 1`. |
proposal/no-radius | A holder's keep that names no radius of its candidate. |
proposal/stale-radius | A keep made on a radius an act since has put in doubt. |
quotient/binding | A certificate substituted a governing basis, return contract, machine or scope. |
quotient/merged | Merged states disagree on observations, admitted inputs or future classes. |
quotient/partition | Partition does not cover the declared domain exactly once. |
quotient/witness | Missing, duplicate or invalid distinct-class separator. |
reading/beyond-budget | An orbit stating more points than the reading's budget. |
reading/not-next | A point whose hypothesis is not the map's image of the point before it. |
reading/orbit-missing | A certificate for a program declaring a reading that states no orbit. |
reading/orbit-unfinished | An orbit that stops before its last point's image repeats a point, short of its budget. |
reading/repeated-point | A point whose hypothesis an earlier point already holds: the orbit closed before it. |
reading/undeclared | A certificate stating a reading's orbit or verdicts, for a program that declares no reading. |
reading/unsupported-claim | A certificate for a program declaring a reading that claims a least model's answer, a validity, an absence, an extent, a tally, a comparison, a resolution or a chance: none is read under a reading in this slice. |
reading/unsupported-combination | Description unavailable. |
reading/wrong-start | An orbit whose first point is not the reading's start. |
reading/wrong-verdict | A verdict claimed for an atom that the cycle does not give it. |
record/arity-mismatch | A read's locus longer than a relation it detects has cells, or a sighting's longer than its relation's: a prefix that names no row of it. |
regime/not-a-key | A regime entry at a relation that is not a derived keyed relation of the program, or at a locus that is neither every address nor one. |
regime/unknown-rule | A regime entry ranking a rule that does not conclude into its relation. |
replay/check-refused | Description unavailable. |
replay/input | Description unavailable. |
replay/line-budget | Description unavailable. |
replay/noncanonical | Description unavailable. |
replay/target | Description unavailable. |
request/no-program | Neither `project` nor `program`. |
request/not-a-file | A project file named that is not a regular file. |
request/not-an-object | The request is not an object. |
request/outside | A project file named that resolves outside the server's working directory. |
request/too-large | Description unavailable. |
request/too-many-questions | Description unavailable. |
request/two-programs | Both `project` and `program`. |
request/unknown-field | A field the request does not have. |
request/unknown-question | A question that is not an object with exactly one of the six keys and a string. |
request/unreadable | A project file named that cannot be read, or is not UTF-8. |
request/wrong-type | A field of the wrong JSON type. |
residual/declaration | The program's rules and rows are the residual's, and its declarations or name are not. |
residual/missing-row | The program lacks a row the reading gives it: a sentence's. |
residual/missing-rule | The program lacks a rule the accepted reading supports. |
residual/record | The program's record is not the reading's with the document's read moved onto its sentences. |
residual/undefined | The seed has a shape the residual is not defined for: a guard over values with no order, an instance resting on nothing, the compiled program's own relation declared, or temporal text facts needing a provenance lowering beyond Sentence-only residual facts. |
residual/unsupported-row | The program tells a row the reading does not give it. |
residual/unsupported-rule | The program holds a rule that is no instance of the seed over the accepted reading. |
resolution/crossed-within | A resolution holding two values at a derived keyed address its choices do not resolve and no regime governs. |
resolution/nested-keyed | A resolution deriving a value of a derived keyed relation the answer does not hold, at an address it does not choose at: a keyed reading (a crossing, a decision, an open address) arising inside the resolution, which the kernel reads over the answer alone. |
resolution/not-enumerated | Resolutions that are not every choice of one value at each crossed address, each once: one left out, one stated twice, one choosing at an address that is not crossed or a value that is not its, or one choosing nothing at some crossed address. |
resolution/over-budget | Resolutions stated where their count passes the record's budget, or a negative needing them there. |
resolution/set-aside | A resolution's answer stating a row the resolution withdraws. |
retire/in-force | A re-admission of a retirement a holder named re-admitted already. |
retire/not-returned | An adoption named for a retirement whose text it does not say again and whose rules it does not bring: naming it would call back what did not come. |
retire/rule-not-removed | A named document contribution has no single producing accepted reading. |
retire/rule-returns | An adoption that adds a sentence with an accepted reading or independent rule form a standing retirement removed, without naming it. |
retire/stale-program | A retirement made of another program than the one in force, or checked at another cut than the head's. |
retire/successor | A retirement of rules alone whose successor is not the subtraction with its rule's door, or an entry whose struck text and document do not agree. |
retire/text-returns | An adoption whose document says again a sentence a retirement struck, the retirement not named. |
retire/uncompilable | A successor that does not compile after removing bare rules or striking document text, or a retirement whose document the host cannot read: the reader's own reason is in the refusal. |
retire/unknown-part | A retirement of a part the program in force does not hold: no such derived relation with a rule, or no such rule. |
retire/unknown-retirement | A re-admission of an entry that is no retirement. |
retire/unrestorable | A re-admission of a retirement whose part cannot be put back: the document with its text reinserted, or the program with its rules put back, does not compile. |
source/misplaced-section | A source holding a part another source owns. |
succession/authority | A candidate supplies its own contract authority. |
succession/binding | A certificate bound to other comparison inputs. |
succession/contract-split | A contract delta merges distinctions or splits outside its authority. |
succession/delta | A claim omits or invents a scoped difference. |
succession/diacritic | A claimed diacritic lacks retraction, bounds, grounding or properness. |
succession/enclosure | A diacritic's enclosure is malformed (lower not within upper) or does not contain its state's actual observation. |
succession/forbidden | An admitted successor record shows forbidden behavior, mapped into the old view or not. |
succession/merging-projection | A projection maps two successor rows to one ancestor row, of the union answer or of one resolution's world, or two resolution worlds to one, and no diacritic claim accounts for the merge. |
succession/partial-carry | A declared projection is partial. |
succession/skipped-relation | A bridge left unasked a protected relation that is not inert: some state derives it differently, from a relation some state fills or a read detects, or by a rule that is more than a told copy. |
succession/unaccounted-blocker | A removed blocker has no scoped holder account. |
witness/not-separating | A witness over which the succession check reports no change: both candidates conclude the same protected answers, standings included, over its rows. |