Claimset — Specification v0.41 (draft)

Status: working draft · Date: 2026-11-11 · Supersedes v0.40 (spec/claimset-v0.40.md); the baseline is v0.39 (spec/claimset-v0.39.md) · Companions: lab record specification (spec/lab-record-v0.21.md), revision specification (spec/claimset-revision-v0.6.md), extensions (spec/extensions/)

Claimset is the name of both the open format and the platform.

Changes since v0.40

A planned test's outcome rests on the values its quantities bind. In v0.40 a quantity that bound nothing, or bound several observations, was a warning at most: a claimset whose results were made into tables kept quantities naming result entries that no longer existed, and the outcomes of its planned tests rested on no value, as published.

• §3.3.3, §10: new rule 91. Each quantity of a computed test binds exactly one observation (a result entry or a table cell) of the evidence the claim's support names, with a number at its field; only an inconclusive outcome may rest on a quantity that binds nothing (warning 41). A quantity may give a statistic (from v0.40 as amended on 2026-11-11), which then must be one of §3.4.
• §3.3.3, §10: new rule 92. The rules, evaluated on the bound values, give the claim's hypothesis.outcome.
• §9: a correction or revision that restructures evidence (result entries made into a table) rebinds the test quantities in the same version.
• claimset migrate brings a v0.40 file to v0.41 and lists the quantities that bind nothing or several observations, to rebind.

Amended on 2026-11-11: an agent says what it did in a few words. Agents put their role in their name ("Claude Code (drafting agent)", "Claude Code (correction agent)") because no field held it, and a page listing three of them read "agent" six times; the first agent, named only by its system, had no role at all.

• §3.11: new optional agent field label: what the agent did, in a few words ("drafting", "correction", "proof checking", "JSON preparation"), shown beside its name. An agent's name is its system's name (Claude Code), never its role. New rule 93 (label is a short text, on agents only); new warning 43 (an agent's name that ends in a role in parentheses). Files that name roles in names stay valid.
• The page view (claimset render --html) shows an agent's label after its name (Claude Code · drafting (AI agent)). How people are drawn is a site's choice: render_parts(person=…) lets it show them its own way (EntryLib draws icons).
• The page view writes the file's vocabularies in words (a claim's scope, novelty and verification, a test's outcome and weaknesses, dates), and a site may mark claims its own way and link each to a page of its own (render_parts(marker=…, claim_url=…)). The reading view, for models, keeps the values.
• Lab record v0.21: claimset lab actor --label records it, and export carries it.

Amended on 2026-11-11: a claimset submitted alone, outside a package, names no packaged file (§2.5, rule 70). The platform's file route had accepted such a claimset with no error, and would have published it without the files its artefacts name. Amended again on 2026-11-11: an agent that can neither send a file nor reach a public URL gives the platform's MCP server the claimset with the contents of its files, and the platform builds the package from them.

Changes in v0.40 (since v0.39)

The guarantor can say which of the paper's findings and terms a reader should take first. The platform shows them at the top of the paper's page, and the reading view lists them.

• §3.1: new optional paper.highlights: up to five IDs, in order of priority, of principal claims (each in contributions) and of terms the paper introduces (definitions without source). The guarantor chooses them; the agent proposes and asks. New rule 90; new warning 39 (a native submission without highlights).
• §2.3, Appendix D: the reading view lists the highlights after the contributions.
• §3.11: an agent's system names the harness the agent ran in (Claude Code, Codex CLI, Gemini CLI, opencode and the like), as it names any agent scaffold. The lab record records it for each agent (lab record v0.21), and export carries it here. A clarification: the field is unchanged.
• claimset migrate brings a v0.39 file to v0.40 by its version alone; highlights are left for the guarantor to choose.
• §8 rule 6: $$…$$ sets an equation on a line of its own (a model's defining equations, long expressions); $…$ stays in the sentence. No rule changes.
• §9: what a reader finds at a retracted or removed claimset's address. A retracted claimset is served with status: retracted and its status_notice; a removed one, by a notice {"id", "status": "removed", "notice"}. No file changes, and no rule.

Amended on 2026-11-10: tables are the standard form of numerical results. A claimset exported from a lab record listed every result of its runs as a result entry, one per number, under the script's names and at full float precision: published, an evidence object read as a list of 15 to 46 lines in no order.

• §3.4, Tables are the standard form (new): more than a handful of numbers from one evidence object are a table, rows the compared units and columns the variables; a claim cites the rows it rests on; result entries remain for a single headline number and for what a cell cannot hold; full-precision values go in a data artefact the table names. New warning 40. Files that list results stay valid.
• Lab record export (lab record §9) writes tables, and every result of the record to a CSV artefact.

Amended on 2026-11-11: a test's quantities bind table cells. A claimset whose results were made into tables kept quantities naming the old result entries, which bind nothing, and its validation said nothing: the outcomes of its planned tests rested on no value.

• §3.3.3, Quantities and table cells (new): a quantity binds a table cell as it binds a result entry, with the table's, row's and column's conditions; a quantity may give a statistic, which the cell's must be (the mean and the median of one variable); quantities are rebound when the evidence is restructured. New warnings 41 (a quantity that binds nothing, several observations, or no number) and 42 (the rules, evaluated, give another outcome). Files of v0.40 stay valid; in v0.41 both are errors.
• §3.4, Tables are the standard form: the worked example is the table of entrylib:2026.000001 v2.

Changes in v0.39 (since v0.38)

Tests planned outside a Claimset lab record can be reported as planned. A study preregistered on OSF or AsPredicted, a registered report and a trial in a trial registry report their hypotheses, outcomes and confirmatory tests in the same fields as a claimset exported from a lab record.

• §3.3, §3.3.3: a claim's hypothesis may come from a registration or from the paper itself, not only from a lab record. hypothesis.lab_event is given for claims exported from a lab record, and only for them.
• §3.3.3: a test's registration is the ID of the registration in references (§3.13), so it has an identifier type: the DOI of an OSF registration, a trial registry number as a CURIE, an archived URL. A confirmatory test names the plan it was planned under, lab_plan or registration. New rule 81.
• §3.3.3: new planned_at_anchor value registry: planned_at is the date a public registry records for the registration, and may be left out when it is not at hand, since the registry holds it (rule 43 revised, warning 36).
• §3.3.3, Tests registered outside a lab record: how a registered test is recorded, in native and converted papers. A rule the converter reconstructs is inferred in field_provenance.
• §3.9: new limitation category deviation, a departure from the plan a test was planned under. New warning 34: a claim confirmatory_with_deviations without a limitation of that category.
• Rules 42, 44 and 46 (revised): only claims exported from a lab record need hypothesis.lab_event, paper.exploration and its counts.
• claimset migrate turns the registration URI of a v0.38 test into a reference.

Uncertainty is typed, so numbers from different papers can be compared by machine: a mean ± SD and a mean ± SE, a 95% confidence and a 95% credible interval, a measurement's statistical and systematic uncertainty are no longer told apart only in text.

• §3.4, Uncertainty (new): a result, and the estimate of a single-estimate study, may carry uncertainty, a list of components {kind, value} (±) or {kind, plus, minus}: sd, se, stat, sys, total or unspecified, with a label naming a component's source and a level when it is not one standard deviation.
• §3.4: an interval may say its kind: confidence, credible or prediction.
• §3.4, Tables: the reserved condition key uncertainty marks a column that holds the uncertainty of another ({"variable": "D8", "conditions": {"uncertainty": "sd"}}).
• §3.3.3: a test quantity may read a component's value (field: "uncertainty.se").
• §3.4: two new value forms. A limit {bound, limit, level}: the value is known only to lie below (upper) or above (lower) a number, as an upper limit on a cross-section at 95% confidence or a concentration below the detection limit. A range {min, max, level}: the value is a span, as yields of 36% to 77% across substrates or a mass region excluded at 95% confidence. Rule 66 revised; a test quantity may read value.limit, value.min or value.max.
• New rule 82 (intervals and uncertainty well formed); rule 47 revised (a quantity's field is from the list); warning 17 counts uncertainty values; new warning 35 (a native paper's interval without a kind, or an unspecified uncertainty).

Things the sciences study have kinds of their own. Field trials put cell lines under population, compounds, genes and particles under other, and primary sources under data; a search for claims about a compound or a gene then depends on text.

• §3.2, Kinds: five new kinds: substance (a chemical element, compound, mixture or formulation), organism (a taxon, strain or breed), biological_material (a cell line, antibody, plasmid, tissue or specimen collection), entity (any other physical thing named as such: a gene or protein, a particle, a device, a celestial body, an object) and source (one primary source read as evidence). Things and their roles says how they differ from intervention, population and data, and which registries their identifiers come from.
• Warning 28 (revised): the new kinds are parts of a study that a setup should name.

Smaller gaps from the field trials:

• §3.1: paper.collaborations names the collaborations a paper is published on behalf of (the ATLAS Collaboration). A collaboration is not a contributor: people answer for the research (v0.36). New rule 85.
• §3.1: a funding entry may say its kind, grant or in_kind (vouchers, materials, services), and the funder's role in the work. Rule 69 revised.
• §3.2: a setting may give its location, a list of points in decimal degrees; a variable may say which constructs it measures (a single item measuring trust). New rule 83.
• §3.3: claim type mechanistic (how an effect comes about: its steps, intermediates or processes); novelty not_applicable for secondary and supporting claims that are not findings (a control, a routine check). New rule 84.
• §3.7: relation disputes_evidence: the claim argues that the target's evidence does not establish it, without asserting the opposite. Within a paper and to other works.
• §3.4, qual profile: analytic approach source_criticism.
• §3.4, Dimensions: a control or baseline lies on a group's dimension without being a member, when it is of the group's kind (a mock transfection beside four knockdowns). Rule 66 revised.
• §3.6: material in a paper's supplementary information, and material behind a subscription, is public; the comment says which.
• Rule 6 revised: an interpretive claim's warrant may be the one on its argument support entry, not given twice.
• §2.6: the baseline is set when the platform launches; until then only the current version is accepted (rule 79 revised), and files of v0.37 and v0.38 are brought over with claimset migrate.
• New rule 86: every field has the type this specification gives it. The validator reports a value of the wrong type (a list where one ID belongs) instead of failing on it, in files of every version.

From the second round of field trials:

• §3.4: a result, or a table column, may say what kind of statistic its value is (mean, difference, odds_ratio, standardised_mean_difference, nnt, …), and that it is approximate when the source gives it only approximately ("about 1.5-fold"). New rule 87.
• §3.2: a variable or setting may give the unit of its values, so that a condition keyed by it has a unit ({"D9": 126.5} in GeV); an intervention may say what it targets (the gene a knockdown acts on). New kind process (a reaction, a decay, a pathway). New rule 88.
• §3.4: se covers the posterior standard deviation of a Bayesian estimate. §3.3.3: a trial registry entry's CURIE uses the prefix the Bioregistry gives the registry.

Evidence that is direct observation:

• §3.4, *Profile observation* (new), and §4: support kind empirical_obs, pointing to evidence of profile observation, for claims that rest on what an instrument or an observer recorded and the paper shows: an image (a micrograph, a blot, a telescope image), a spectrum, a determined structure, a described specimen, a recording. The evidence lists its records, each {kind, artefact, description}, and what was seen is its results. Choosing the profile separates it from quant and qual. New rule 89, warning 37; warnings 8, 17 and 25 apply to it as to quant.

Reading one claim:

• §2.3, Claim bundles (new): one claim with everything it rests on, as JSON and as a reading view (claimset render --claim C4), for the platform's claim pages.

Amended on 2026-11-09, for statistics the list did not name (geometric means, quantiles at a given probability, expectiles, the moments of a distribution) and for tables whose rows are statistics:

• §3.4: statistic is a name from the list or, for a family that takes parameters, an object {name, …}: a mean's kind (arithmetic, geometric, harmonic, trimmed, winsorised) and trim, the probability of a quantile or an expectile, the order of a moment and whether it is central, whether a kurtosis is excess, and a label. New names: expectile, mode, min, max, sum, sd, variance, iqr, mad, coefficient_of_variation, skewness, kurtosis, moment, and other, which needs a label. The list is grouped by what a statistic does. Rule 87 revised; new warning 38 (other).
• §3.4, Tables: a row may carry statistic and approximate for its values, as a column does (a table whose rows are the mean and the median of each method's errors); a cell's statistic is its row's or its column's, never both. Rules 48 and 87 revised.
• §3.4, Tables: an interval's bounds as columns are told apart by a condition bound; the example no longer used statistic as a condition key.
• A file valid before stays valid: a statistic given as a name means what it meant.

Amended on 2026-11-09, at the platform's launch:

• §2.6: v0.39 is the baseline. Every file valid under v0.39 stays valid under it for good, and every later version keeps v0.39's rules for files that follow it. Rule 79 refuses a file following an earlier version, pointing to claimset migrate. From here on, v0.39 changes only by errata (§2.6).

Changes in v0.38 (since v0.37)

The format becomes a core with extensions. The core holds what every field shares and what claims are compared by across fields: claims and their atoms, support, definitions, observations, assumptions, limitations, provenance and contributors. An extension adds the detail one kind of work needs (the glosses of linguistic examples, the structures of compounds, the endpoints of a trial), in blocks of its own on the objects it concerns. Extensions have their own versions, so one can be added or revised without a new version of the core, and a paper uses as many as it needs.

• §2.7 (new): extensions. A file declares the extensions it uses in the top-level extensions ({"linguistics": "0.1"}); an object holds an extension's fields in its ext block ("ext": {"linguistics": {...}}). An extension adds fields; it never changes the meaning of a core field or adds values to a core list, and a file with every extension block removed is a valid core file. Extensions are specified in spec/extensions/.
• New rule 80: extensions are declared, known to the validator and used only on the objects they allow. Rules of an extension are numbered within it (linguistics.1). New warning 33: a declared extension that no object uses.
• §3.4, Excerpts: an excerpt's gloss (Leipzig glossing) moves to the linguistics extension, ext.linguistics.gloss on the result. translation stays in the core: any excerpt not in English may have one. claimset migrate moves glosses from v0.37 files.
• §3.3.3: the test's frameworks and their required parameters are defined here (they were defined in the lab record, which now refers to this specification: the claimset specification is the vocabulary of the lab record). A quantity names the result it binds by variable (was quantity), as observations do.
• The qualitative extension (spec/extensions/qualitative-v0.1.md) takes the codebook, the codings and the counts of coded material: a code's criteria are ext.qualitative.code on its definition; the test flags coded_before_plan and codebook_changed_after_plan and the counts a test is decided by are ext.qualitative on the claim. claimset migrate moves them.
• §2.6: files of v0.37 stay valid, checked by the v0.37 rules (a frozen validator).

Changes in v0.37 (since v0.36)

The platform is named EntryLib (entrylib.org), so its provisional identifier is renamed before any claimset is published with it.

• §7, rule 76: the provisional identifier is entrylib:<year>.<number> (entrylib:2026.000123@v2#C3), formerly liblm:.
• Companion revision specification v0.5: registry folders entrylib_<year>.<number>.

Amended on 2026-11-05, for qualitative research kept in a lab record (lab record v0.16 to v0.18):

• §3.3.3, test.flags: the lab record's flags sources_captured_after_plan, coded_before_plan and codebook_changed_after_plan are valid flags; a claim exported with them failed rule 47.
• §3.4, Excerpts: an excerpt's locator can be structured, {artefact, start, end, lab_event}: the artefact holding the source (a captured source exported from a lab record) and the excerpt's character positions in its text, so a reader can find the passage and a validator can check it against the packaged file. New rule 78.
• §3.13, rule 51: a url reference may lack archive_uri when an artefact naming it holds a captured copy with its hash (a page behind a sign-in cannot be archived); new warning 32.
• §3.4, qual profile: analytic_approach gains content_analysis: coding material against a codebook and counting the codes, as a lab record's counts do.
• Appendices A and C give schema_version 0.37 (they still said 0.34 and 0.17).

Amended on 2026-11-05, before the platform goes live, for compatibility between versions:

• §2.6 (new): what schema_version means, and the compatibility promise. v0.37 is the baseline: a file valid under v0.37 or any later version stays valid under that version for good, checked by that version's rules, by every later validator. Rule 79 refuses a file following a version older than v0.37 (pointing to claimset migrate) and, with a message of its own, a file following a version newer than the validator, so the reader knows the validator is behind, not the file.

Changes in v0.36 (since v0.35)

One person answers for a claimset's research: its main author, the person to contact about it, who submits it. Accountability then rests with someone the platform can identify, ask and hold to it: a person with an ORCID iD. Several guarantors split an answer that should be one person's. Co-authors and other people who took part are listed as supervisors and contributors, with their CRediT roles and ORCID iDs. The fidelity of a conversion is a separate matter, answered for by a separate party, which may be an organisation.

• §1 principle 9, §3.11: a claimset has at most one guarantor, a person (type: human) with an ORCID iD: the main author, named as the person to contact, who submits the claimset and confirms it on the platform. A native paper has exactly one. A converted paper has at most one, a source author who has claimed the conversion.
• §3.11: an organisation is a contributor only as the conversion_guarantor of a converted paper, which answers for the conversion and may be a person or an organisation. Organisations hold no other position: a funder is recorded in paper.declarations, an institution in a person's affiliation.
• Rules 14, 16, 17 and 32 revised. claimset migrate lists organisations in other positions and extra guarantors to resolve.
• Companion revision specification v0.4: the guarantor of the current version submits a revision, and may hand the claimset over to another person, who confirms as at first publication.

Changes in v0.35 (since v0.34)

The platform publishes claimsets before it has a DOI prefix of its own, so it needs an identifier it can assign today and keep forever; and a package is accepted by the platform only within limits that the tools can check before submission.

• §7: the platform's provisional identifier, liblm:<year>.<number> (renamed entrylib: in v0.37), assigned at publication until the platform registers DOIs. It is permanent: a claimset first published with it keeps it in every version. Global IDs extend it as they extend a DOI (entrylib:2026.000123@v2#C3). §2, §2.2 and rule 27 name the claimset's identifier rather than only a DOI.
• New rule 76: the form of a claimset identifier, in paper.id and in every target with id_type: claimset.
• §2.5: limits on a package (number of files, size of each file and of the whole, file types, paths). New rule 77, checked by claimset validate on a package and by claimset package when it builds one.

Changes in v0.34 (since v0.33)

Anyone in any field should be able to write a claimset, and search should rest on what every claimset states. So what search and verification depend on, and every field can state honestly, is required; and what wrongly excluded a field's normal practice is allowed.

• §3.2: kind is required on every definition, so that every term can be found and linked by what it names. Rule 63 revised.
• §3.4: a setup is required on every evidence object except formal ones: search by what was studied, on what cases, how and through what lens rests on it, and every empirical field can fill its roles. Rule 61 revised; warning 28 keeps only its second part.
• §3.10: availability is required on every evidence object and artefact, with the new level not_stated for material whose availability the paper does not state, so that a paper's silence is recorded rather than guessed. New rule 75; rule 12 revised; new verifiability flag availability_not_stated (§5).
• §8 rule 4: qualifiers that bound where a claim holds go in scope; epistemic qualifiers ("suggests", "may") and magnitude ("slightly") are part of what is claimed and stay in the statement. Qualitative and humanities work state claims with such qualifiers as a matter of method.
• Companion lab record v0.14: a supervisor's approval can be recorded by an agent on the supervisor's behalf, with the supervisor's words.
• §2.4: converted papers are kept in a collection folder, claimset/<collection>/<name>.claimset.json, named from the source's identifier (doi-10-1016-j-ejor-2022-04-040, arxiv-2401-01234v2). New warning 31.
• §7: the claimset's DOI: registered with DataCite, one DOI for all versions of a claimset, with the suffix claimset.<year>.<number> that carries no other information.

Changes in v0.33 (since v0.32)

Assumptions listed on a term's definition were inherited through the evidence: every claim resting on an evidence object took the assumptions of every term its setup names. A comparison of five methods then gave each claim the assumptions of all five, so that "VETS F has the highest pinball values of the five models" was shown as resting on the error assumption of VETS D, and a claim about ETS on the error assumptions of CES, against which it was only compared.

• §3.2, Assumptions of a term: a claim inherits the assumptions of the data, design, variables and setting its evidence's setup names (roles cases, procedure, lens, context), and, of the things studied (role studied), only those of its own subject: the term its about.subject names, or each member when the subject is a group. The comparator's assumptions are not the claim's. A claim without about inherits from every term its setup names, as before.
• Warning 15 and the reading view (§2.3) count and show the assumptions inherited this way.
• §3.6, warning 9: an artefact that is another work the paper uses and cites (it names its reference), and that is not a file of the submission package, needs no licence: the licence is the cited work's, recorded where that work is described. The paper's own artefacts and every packaged file still state theirs.
• §8 rule 5: a term marker's text is plain; it holds no other marker. A nested marker is an error (rule 1).
• Warning 25 does not ask about a secondary result that stands in a relation to another claim of the paper (one that qualifies a principal claim states its limit), and §8 rule 7 does not count "statistically significant" as rhetoric.

Changes in v0.32 (since v0.31)

Every field reports its findings as values of something observed on something under some conditions: a reaction time per participant and condition, the expression of a gene per cell line and treatment, the yield of a reaction per catalyst and temperature, whether a construction is attested per language and period, the outcome of an appeal per court and year, the accuracy of a model per benchmark, whether a theme appears per participant. Until v0.31 results were numbers labelled with free text, tables held numbers only, figures were opaque, the materials, registries and declarations of most fields had no place, and files could not travel with a submission. This version records results as observations over the terms of the study, the model of the W3C RDF Data Cube, SDMX and the observation models of the sciences, so that results can be found and compared across papers in any field.

• §3.4, Observations: a result is an observation: a variable (was quantity), a typed value (a number, a category, a boolean, or an excerpt), its conditions as coordinates over dimensions, and optionally a unit (UCUM), an interval and n. Variables, dimensions and category values name definitions; a dimension that is a group (§3.2, Groups) takes its members as values. A table is a compact form of many observations, with typed cells and columns that may carry their own conditions. Results and tables may appear in any evidence except formal. Rules 38 and 48 revised; new rule 66.
• §3.4: values read off a figure or a recording record it in read_from, with their precision. Excerpts replace the exemplars of the qualitative profile; they carry their locator and, for linguistic examples, a gloss and translation.
• §3.6, Figures: a figure has a function: data_plot (shows observations), specimen (an image or recording that is itself evidence, read into observations) or diagram (illustrates; never evidence). Data plots name the observations they show (shows) and may give their encoding. New artefact kinds instrument, stimulus, codebook and recording. Bulk data files name what each column holds (columns, after W3C CSVW), and their rows are citable (A4#row=12, RFC 7111). New rule 67; the flag figure_without_data revised.
• §3.2: the kind measure is renamed variable: what is recorded or observed about each case, in any field. Definitions gain identifiers: registry identifiers of the thing the term names (chebi:15377, ncbitaxon:9606, rrid:AB_2138153, ecli:…, a data set's DOI). Definitions gain part_of (a parameter or component of a method, a subset of a data set, a subscale of an instrument, an article of a statute) and broader (a variant or subtype of another term), beside the members of a group. Algorithms are written as pseudocode. New rule 68.
• §3.1: papers gain declarations: funding (funder by ROR, award), competing interests, ethics approval and consent. New rule 69; new warning 29.
• §4: identifier type curie, a compact identifier prefix:local from a shared registry of prefixes, for works and things that DOIs do not cover (legal sources, database records, biological resources).
• §2.5, new: a submission is a package, the claimset with the files it names (BagIt); the platform stores the files and assigns their URIs at publication. New rule 70.
• §2.3: the reading view shows observations, figure functions and what they show, identifiers and declarations.
• Links the format could not express until v0.31:
  • §3.7: a relation may target a claim of the same paper (id_type: local), with the new types explains (the claim explains the target's result) and qualifies (it states an exception, boundary or condition of the target). depends_on stays for premises. Rule 34 revised; new rule 71.
  • §3.4: evidence names the evidence it is derived_from (a re-analysis, a subset, a pooling), so readers see when results share data. New rule 72.
  • §3.2: a definition lists the assumptions the thing it names rests on (the error distribution of a model, the randomisation of a design); evidence whose setup names it inherits them. New rule 73; warning 15 counts them.
  • §3.4: a contrast between two positions on a dimension (a difference, a ratio, an effect size, the p-value of a comparison) is an observation with the reserved condition comparator. New rule 74.
  • §3.2, §8: definitions mark the terms they use ([[D4:…]]), and a term the paper defines in its own words that is a standard or another paper's term says so by identifiers or source.
• Companion lab record v0.13 renames the term kind measure to variable. Files written under v0.31 are brought over with claimset migrate, which renames measure and quantity and lists what needs judgement (figure functions, excerpts that were exemplars, declarations); claimset validate accepts a submission package as well as a file.

Changes in v0.31 (since v0.30)

A claim about a group of methods ("CES has the lowest error of ETS, ARIMA and the Theta method") and a claim about one of them ("CES has a lower MASE than ETS") were not connected: the group was one definition whose text listed its members, so a reader looking for what is known about ETS did not find the first claim.

• §3.2, Groups: a definition can name its members, the definitions of the things it groups. A claim about a group is not a claim about each member unless its statement says so. New rule 65.
• Warning 28 counts a group or its members as named in a setup that names the other, and asks nothing of claims resting on formal evidence, which has no setup.

Changes in v0.30 (since v0.29)

A reader looking for papers asks what they studied, on what, how, and what they found about it: "which papers compare ETS with ARIMA on the M4 data by MASE", "what is known about role ambiguity among rural nurses". Until v0.29 the answer was spread over three partial records of the same thing (free-text scope, the forecasting-shaped setup of evidence, the closed lists of the qualitative profile), and the atom that §8 asks a writer to form first was never written down. This version records one frame of a study, in terms that fit any empirical design, and records each claim's atom over that frame, so that papers and claims can be found by the things they are about, whatever their field or method.

• §3.4, Setup: the roles are renamed and generalised so that they fit quantitative, qualitative, simulation and mixed designs: studied (was compared), cases (was data), procedure (was design), lens (was measures), and a new role context. A table maps the roles onto PICO (trials) and SPIDER (qualitative evidence synthesis). Setup is recommended for every evidence object except formal ones. Rule 61 revised; new warning 28.
• §3.2: definitions gain kind, a closed list saying what sort of thing a term names (a method, a population, a measure, a concept, …). Required for definitions named in a setup or in a claim's about. New rule 63.
• §3.3.5, new: claims gain about, the claim's atom (§8 rule 1) recorded as fields: subject, relation, object, comparator, conditions. Slots hold definition IDs, or short text for things the paper does not define. Required for principal claims, recommended for the others except assumptions. New rule 64; new warning 27.
• §2.3: the reading view shows each definition's kind and leaves about out (the statement says it in words).
• §11, §12: the platform resolves defined terms to shared entities across papers; alignment with PICO, SPIDER and the statement model of nanopublications and Wikidata.
• §13: new open question 10: the frame is to be tested by a coding exercise across paper types; roles, kinds or slots that coders cannot assign consistently are revised in a later version.
• Appendix A and D updated; new Appendix E: a qualitative paper.
• Companion lab record v0.12 records terms, hypothesis atoms and plan setups before the data are seen, and exports them as definitions, about and setup. Files written under v0.23 to v0.29 are brought over with claimset migrate, which renames the setup roles and lists the kinds and atoms left to add.

Changes in v0.29 (since v0.28)

A definition of a paper's own method written as a description of its formula ("an exponentially weighted sum, the weights being powers of …"), or of a variant as "the same equations at lag m", leaves a reader unable to compute or check the method, and the claims about it then rest on a model nobody can reconstruct.

• §3.2, The paper's own method or model: its definition gives the equations that define it, as the paper writes them, every one of them; a variant gives its own equations in full; a form derived from another (an underlying state-space model) is a claim, not part of the definition.
• New warning 26 flags a definition of the paper's own that a formal claim names but that contains no mathematics (§10.4).

Changes in v0.28 (since v0.27)

A claimset exported from a lab record numbers its claims in the order the hypotheses were written, and a hand-made one in the order its claims were found; neither is the order of the paper's argument, and the reading view follows file order.

• §9: claims are listed in reading order, and before the first submission their IDs follow that order (claimset renumber). After publication IDs never change: a revision keeps every ID and places a new claim where it belongs in the file, with the next free number.

Changes in v0.27 (since v0.26)

Splitting comparisons into atoms showed how many claims of a converted paper only read off its tables: each sentence of a results section became several claims that nothing rests on, burying the contributions, while the tables already record every value.

• §3.3, Secondary claims: a secondary claim resting on evidence (a result) is written only when a claim, a warrant or an open question rests on it, or when it states a loss, limit or null result of the paper's own method. Other results stay in the result tables of their evidence (§3.4).
• New warning 25 flags a secondary descriptive claim resting on evidence on which nothing rests (§10.4).

Changes in v0.26 (since v0.25)

"One assertion per statement" was judged sentence by sentence, and comparisons kept growing: several methods, several comparators, several conditions in one statement. A claim is now defined by its parts, so that it can be checked.

• §8 rule 1: a claim is one atom: one subject, one relation, one comparator (if any), one set of conditions. Rule 2: atoms are grouped only when they share subject, comparator and conditions and differ in the measure or summary; the paper's conclusions over several atoms are claims of their own that depend on them.

Changes in v0.25 (since v0.24)

Tables carry the numbers; claims carry what the paper concludes from them. Statements that retell a table's values add length and transcription errors, and tell a reader nothing the table does not.

• §3.4 Tables and claims: a claim is written for a conclusion the paper draws from a table, states the pattern and cites the table or its rows; it repeats a value only when the conclusion turns on it. A claim that only retells a table is not written.
• New warning 24 flags a statement that repeats three or more values of the tables it cites (§10.4).

Changes in v0.24 (since v0.23)

Papers carry statements that are neither shown nor used: framing, promise, asides that distract from what the paper establishes. And they carry honest questions they leave open, which have had nowhere to go but a claim.

• New top-level open_questions: questions the paper raises and leaves open, conjectures and directions for further work, as questions rather than claims (§3.14). New rule 62.
• §8 rule 9: a claim the paper neither shows nor uses is not a claim. New warning 23: a claim that is not principal, has no warrant, is not formal, rests only on argument, consensus, expert judgement or nothing, and on which no claim rests; the message names rhetorical wording when there is some (§10.4).

Changes in v0.23 (since v0.22)

An evaluation is made of parts that many claims share and that a reader, a reviewer or another paper needs to name one at a time: what is compared, on what data, by which design, measured how. And a sentence of a paper often carries more than one claim.

• Evidence gains setup: the parts of the evaluation, each a definition, by role: compared, data, design, measures (§3.4). New rule 61.
• §8: how to tell that a statement holds several claims; new warning 22 flags the usual signs (§10.4).

Changes in v0.22 (since v0.21)

Novelty is a statement about a search, not a fact: a claim is new only as far as its authors looked. Models read labels literally, so the label says what is known.

• novelty: new is renamed no_prior_found: the authors found no earlier result stating the claim. A claim with this label cites the closest earlier result they found, as a relation with a note on how the claim differs, when there is one (§3.3).
• Assumption claims have no novelty: they are taken as given, not found. New rule 60 (§10).
• Novelty is judged in review apart from credibility (revision specification §7); §6 corrected: review scores are given by the reviewer, not computed.

Changes in v0.21 (since v0.20)

A published claimset is reviewed, and its author may answer the review with a revised version. Reviews, responses and resolutions are documents beside the claimset, specified in the revision specification (spec/claimset-revision-v0.1.md); this specification changes only where the claimset file meets them.

• Versions arise by correction or by revision (§9). A revision submission names the claimset in paper.id without a correction_reason; rule 25 revised (§10).
• New platform-assigned field paper.answers, the response a revision carries; the operations of paper.changes gain addresses, the review comments they answer (§2.2).
• test.addresses: the review comments whose resolution test a planned test ran (§3.3.3).
• §6: reviews, responses, resolutions and scores are platform records; the reading view the platform serves may add their state (§2.3).
• New rule 59 (§10).

Changes in v0.20 (since v0.19)

Checks for problems in how a study was run and reported, found when reviewing a real claimset: numbers that no recorded result produced, the same computation recorded twice, new claims resting on established knowledge, contributions an unmitigated limitation could reverse, and links to code that move. They are warnings: nothing new is required.

• New warnings 17 to 21 (§10.4).
• New test flag reproduces_prompting_result: the confirmatory test gave the same result as the exploratory run that suggested its hypothesis (§3.3.3; lab record §5.7.5).
• exploration.hypotheses.from_exploration: how many hypotheses exploration suggested (§3.1.1); new rule 58 (§10).
• Artefacts gain archive_uri, a persistent copy of the exact version; links to code on a git host name a commit, and the platform archives that commit at publication (§3.6, §11).

Changes in v0.19 (since v0.18)

A repository can hold several studies and several papers, which may build on each other before they are published.

• New §2.4: papers live in claimset/<study>/<paper>.claimset.json, with their reading view beside them; a version submitted or published is marked by a git tag, not by renaming the file.
• paper.study: the name of the study a paper comes from (§3.1).
• exploration.covers: a paper that reports some of its lab's questions says which, gives the whole lab's counts and names the other papers (§3.1.1).
• New identifier type claimset_local: a claim or paper of the same repository that is not yet published, replaced by its global ID at publication (§4, §3.7, §3.13).
• New rules 55, 56 and 57 (§10).

Changes in v0.18 (since v0.17)

Claims are not all equal: a reader needs the contributions and what they rest on in full, and the rest briefly. Prior work a paper uses as data, software or an implementation is linked like other prior work.

• New claim role secondary: a finding of the paper that no contribution rests on (a side result, a negative or null result reported in its own right). supporting now means only a claim that a contribution rests on, directly or through other claims (§3.3).
• §3.3.4: prior work enters in four ways, the fourth being data, software or an implementation the evidence uses (an artefact pointing to the reference); what the paper cites as an example or as background is left out. A claim the paper makes in several places (abstract, introduction, body, conclusions) is one claim; a conclusion broader than what the body establishes is its own claim. In converted papers, secondary claims are kept only when they report results.
• Artefacts gain reference: the cited work the artefact is taken from (§3.6, §3.13).
• Reading view: claims are grouped by role, principal first; non-principal claims whose only support is argument or none are grouped last, under CLAIMS WITHOUT EVIDENCE (§2.3, Appendix D).
• New rule 54; rules 4 and 51 revised; new warnings 15 and 16 (§10).

Changes in v0.17 (since v0.16)

A claimset is stored as JSON for tools and read by models as plain text. The file of a converted paper carries only what its source says, not the converter's judgements.

• New §2.3: the reading view, a plain-text rendering of a valid claimset for reading models, made mechanically by claimset render. It keeps everything a reader needs to understand, use or challenge the claims, and leaves out what serves tools, audit and publication. Reference rendering in Appendix D.
• Strength assessments: by: converter is removed. In converted papers, assessments record only a strength the source itself states (by: author); judgements of a conversion and of its claims are platform assessments (§5, §6). New rule 53.

Changes in v0.16 (since v0.15)

A claimset contains only the paper's own claims. Prior work is linked, not restated: as cited support of the claims that use it, as relations that position the paper's claims, and as borrowed definitions. Cited works are listed once.

• Claims are the paper's own: role: background and novelty: restatement are removed; rule 4 revised (§3.3, §3.3.4).
• New top-level references: each cited work once, with an ID (B1, …), cited by ID from support, relations and definitions (§3.13, §4).
• Relations gain type addresses (the claim answers a problem, gap or limitation stated in the target), an optional one-sentence note, and may point to a reference (§3.7).
• §3.3.4 rewritten around the three ways prior work enters a claimset.
• New rules 51 and 52; rules 4, 10, 34 and 41 revised (§10).

Changes in v0.15 (since v0.14)

What belongs in a claimset is decided by two tests that need no knowledge beyond the paper: attribution (whose is it, as the paper's own citations say) and function (does the paper's argument use it). Converted papers can cite works whose reference list gives no identifier, and record the source's evident errors they correct.

• Principle 13 corrected: a claimset is shorter than the body of the paper (its text without the reference list); measured conversions do not support "much shorter" for dense papers (§1).
• New §3.3.4: what belongs in a claimset. Definitions explain in full only the terms the paper introduces or uses in its own sense; borrowed terms are named with their source and what this paper specifies. General statements the paper does not attribute are kept only if its argument uses them (§3.2, §3.3.4).
• New identifier type reference for cited support and definition sources: the reference as printed in the paper's reference list, for works the list gives no identifier for (§4).
• converted_from.corrections: evident errors in the source that the conversion corrected, each with what was printed and what was recorded (§3.1).
• New rules 49 and 50; new warning 14 (§10).

Changes in v0.14 (since v0.13)

A claimset is a distillation of a paper's argument, not a re-encoding of its data and derivations. Converting a results-heavy, derivation-heavy paper under v0.13 produced a claimset about four times the paper's length; this version makes the compact form the normal one.

• New principle 13: a claimset is a distillation (§1).
• Evidence gains result tables (tables): a table of numbers with shared conditions, row labels and named columns, instead of one results entry per number; rows can be cited (§3.4, §4).
• Evidence gains source_spans. In converted papers, a derivation is referenced in the source rather than restated: formal evidence may give source_spans instead of steps (§3.4).
• Granularity rule extended: a comparison the paper makes across several measures or datasets is one claim stating where the method is better and where it is not (§8).
• New rule 48; rules 7 and 38 and warning 8 revised (§10).

Changes in v0.13 (since v0.12)

Converted papers may come from sources under non-commercial licences, and keep their restrictions.

• Rule 31 revised: a source may be converted when its licence permits derivatives, including non-commercial (NC) licences; licences that forbid derivatives (ND) or reserve all rights still exclude conversion. The claimset's licence keeps every condition of the source licence: NonCommercial stays NonCommercial, ShareAlike stays ShareAlike (§3.1, §10.3).

Changes in v0.12 (since v0.11)

Planned tests carry the decision rule they were planned with, so readers can check the verdict against a rule fixed before the data were seen.

• New claim field test: the inferential framework, its parameters (significance level, test, sidedness, correction for multiple tests, sample size and stopping rule, equivalence bounds, prior, thresholds), the rules for supported and not_supported, and whether the verdict was computed from recorded results or judged (§3.3.3).
• not_supported now means refuted under a rule stated in advance; a test that met neither rule is inconclusive (§3.3.3).
• A hypothesis tested more than once gives one claim per test, so no test goes unreported (§3.3.3).
• exploration gains hypotheses.open (hypotheses never closed) and tests (planned tests and their verdicts); its counts are lower bounds of the exploration (§3.1.1).
• New rule 47; rules 45 and 46 revised for the new counts (§10).

Changes in v0.11 (since v0.10)

Links claimsets to the lab record, the running record of the research from which a claimset is distilled.

• Claims record the hypothesis they came from and its outcome (supported, not_supported, inconclusive), so negative results are ordinary claims in the same claimset (§3.3.3).
• Claims record whether they were planned: planning, planned_at and the strength of the timestamp, planned_at_anchor (§3.3.3).
• Paper-level exploration summary: how many hypotheses were tested, supported, refuted, revised and abandoned, and how many runs were made (§3.1).
• New artefact kind lab_record, with withheld_events; evidence can name the lab runs it came from (lab_runs) (§3.4, §3.6).
• New verifiability flags lab_record_withheld, lab_events_withheld and unanchored_plan (§5).
• New rules 42–46 and warning 13. Earlier rules are unchanged.

Changes in v0.10 (since v0.9)

Prompted by the second test claimset.

• Checks are recorded, not just their result: new claim field checks lists each independent check with its outcome (confirmed, disputed, inconclusive) and extent, so a failed or partial check is visible instead of collapsing into unchecked. Checks apply to any claim: re-deriving a formal claim or reproducing an empirical one (§3.3, §5).
• New verification level disputed. verified_by is replaced by checks (§5).
• Independence of checks: a warning when a checking agent runs on the same model as an author agent; the platform weights checks by independence (§5, §10).
• Numbers quoted in a statement are checked against the structured results the claim cites (§3.3, §10).
• New rules 39–41 and warnings 11–12; rule 36 revised. Rules 1–35 and 37–38 are unchanged.

Changes in v0.9 (since v0.8)

Prompted by the first test claimset (a methodology paper on the observed-data likelihood of ADAM and iETS).

• Refutations and replications must link to what they refute or replicate; relations gain id_type, locator, archive_uri and self, and may target any identified work, not only claimsets (§3.7).
• Scope describes its own claim, not the section the claim came from (§3.3).
• Guidance for choosing the claim type; measured results of computations, simulations and benchmarks are descriptive (§3.3).
• Formal claims carry verification and no strength assessments. New verification level agent_checked, with verified_by (§3.3, §5).
• Evidence gains a structured results list and an execution record of the code actually run; support entries may point at specific results (§3.4, §4).
• Formal evidence drops theorem: the formal claim's statement is the theorem (§3.4).
• author covers every agent that produced the paper's content, including turning the team's own draft into a claimset; converter is only for third-party sources. New artefact kind manuscript (§3.6, §3.11).
• Artefact licence recommended (§3.6).
• New rules 33–38 and warnings 5–10 (§10). Rule numbers 1–32 are unchanged.

Changes in v0.8 (since v0.7)

• Position director renamed supervisor, and narrowed: the supervisor oversees the agents' work and approves the final version. Who set the research question is recorded by the CRediT role conceptualization (§3.11).
• Autonomy value human_directed renamed human_supervised; autonomy values defined (§3.1).

Changes in v0.7 (since v0.6)

• Two forms of the file: the submission (written by the agent) and the published file (completed by the platform) (§2.2).
• Platform-assigned fields: paper.id (the DOI), version, previous_version, changes, date, status and status_notice. Submissions omit them; the platform mints the DOI at publication, after validation and guarantor consent (§2.2, §3.1).
• Corrections: the submission names the existing claimset in paper.id and gives a correction_reason; the platform computes the JSON Patch diff and assigns the new version (§9).
• Classification: the platform assigns the OpenAlex subfield and topics; the agent may propose keywords and a classification (§3.1).
• verifiability and verifiability_flags are computed by the platform; submissions may omit them, and if present they must match (§5).
• Validation rules split into submission rules and published-file rules (§10).
• Open question on the DOI route removed; it is now a platform requirement.

1. Purpose and principles

A format for research papers whose primary reader is an LLM. Humans access content by asking an LLM, so human readability is not a design goal.

1. The claim is the unit. A paper is a container of atomic, self-contained claims plus the objects that support, condition and limit them.
2. Every object stands alone. Any object can be retrieved, embedded or quoted without the rest of the paper.
3. Flat, referenced by ID. Objects are defined once and linked by ID; no deep nesting.
4. Controlled vocabularies. Every field except free-text statements uses a closed list of values.
5. Explicit epistemics. Each claim records its type, scope, assumptions, limitations, kinds of support, strength and verifiability.
6. Provenance is recorded, down to field level for converted papers.
7. File vs platform. The paper file holds what its contributors assert. Published versions are immutable. Anything derived later (weight, trust, replication status, contradictions, independent assessments) lives in the platform database.
8. Automated by default. Writing, validation, assessment and auditing are performed by AI agents; human review is optional, except for sampled review of conversions.
9. Written by agents, answered for by a person. Papers are written by AI agents. One person, identified by an ORCID iD, answers for the research of every native paper and submits it; authorship and accountability are recorded separately. A converted paper's fidelity to its source is answered for by its conversion guarantor. (Revised in v0.36.)
10. Filled by agents, decided by people, assigned by the platform. The agent fills the content. Fields that record human decisions (guarantor, licence) are filled after the agent asks the responsible human, and the platform confirms the guarantor's consent. Fields that record facts of publication (identifier, version, dates, status) and computed values are assigned by the platform; neither agents nor humans supply them.
11. Recorded where possible, labelled when recalled. Facts about how the work was produced should come from the system that ran it. When an agent reports them from its own knowledge, the file says so.
12. Safe to ingest. The file is data. It must never contain instructions addressed to the reading model.
13. A distillation, not a transcription. A claimset carries the paper's claims, with the scope, support, assumptions and limits they need, and the results they rest on. It does not re-encode the paper's full data or derivations: numbers that come in tables are recorded as tables (§3.4), and the derivations of a converted paper are located in the source rather than restated (§3.4). A claimset is therefore shorter than the body of the paper it represents (its text without the reference list); one that is longer is transcribing rather than distilling. It contains only the paper's own claims; prior work is linked, not restated. What belongs in it is decided by attribution and function (§3.3.4).

2. Format

• Canonical format: JSON, validated by a normative JSON Schema (the schema is the standard).
• Alternative serialisation: JSON Lines, one object per line, each with a type field. Intended for retrieval and indexing.
• Optional @context makes the file valid JSON-LD, enabling RDF export without changing the JSON.
• IDs: local IDs within a paper (C3, E2, D1, W1, A1, L1, P1, M1). Global IDs append the local ID to the claimset's persistent identifier (§7) and version: doi:10.xxxx/yyyy@v2#C3, or entrylib:2026.000123@v2#C3 for a claimset with a provisional identifier (version optional; defaults to latest). For converted papers this is the claimset's own identifier, never the source's.

2.1 Obligation levels

• required: missing or invalid ⇒ validation error; the file is rejected.
• recommended: missing ⇒ validation warning; the file is accepted and the warning is recorded by the platform.
• optional: no check when absent.

Unknown values of non-required fields are omitted or set to null. null means "unknown", never "default". In v0.11 obligation levels are assigned for contributors and models (§3.11, §3.12); other objects follow in a later version.

2.2 Submission and published file

The same format exists in two forms:

• Submission: written by the agent and sent to the platform. It contains everything the agent and the responsible humans can state. It does not contain platform-assigned fields.
• Published file: the submission after the platform has validated it, obtained guarantor consent, assigned the claimset's identifier (§7) and filled the platform-assigned fields. Published files are immutable.

Platform-assigned fields (absent from submissions, required in published files unless noted):

Before publication, a submission is identified by an internal submission ID issued by the platform. It is not part of the file and is never cited.

Top-level layout:

{
  "schema_version": "0.41",
  "@context": "optional",
  "paper": {},
  "contributors": [],
  "models": [],
  "definitions": [],
  "claims": [],
  "evidence": [],
  "warrants": [],
  "limitations": [],
  "artefacts": [],
  "references": [],
  "open_questions": [],
  "extensions": {}
}

2.3 Reading view

A claimset is stored and exchanged as JSON: the canonical file, which tools validate, the platform publishes and corrections patch. A model that reads the paper is given its reading view: a plain-text rendering of the same claimset. JSON field names, quotation marks and the fields that serve tools, audit and publication take a large share of a file and carry nothing a reader needs; the reading view leaves them out.

• Kept: the title, licence, source of a converted paper, declarations, contributions, highlights and exploration counts; definitions with their kind, members, the wholes they are part of, their broader terms, assumptions and identifiers; claims with their type, role, novelty (when not no_prior_found), support with its pointers and locators, assumptions, depends_on, limitations, warrant, strength, verification, verifiability, planning, outcome, scope, relations with their notes (relations within the paper as well), assumptions inherited from the terms they rest on (§3.2, Assumptions of a term), and test; evidence with its description, design fields, setup, what it is derived from, estimate, observations (results and tables, with their values, units, conditions and where a value was read from) and proof steps; warrants; limitations; open questions; artefact descriptions, figure functions and the observations a figure shows; references.
• Left out: about (the statement says the same in words; about serves search), provenance, field_provenance, source_spans, corrections, availability, artefact locations, versions and licences, contributors, models, execution records, lab-record identifiers, schema_version and the platform's publication fields.
• Order: claims are grouped by role: principal claims, then supporting claims, then secondary claims, each group in file order. Claims that are not principal and whose support is only argument or unstated follow, under CLAIMS WITHOUT EVIDENCE, so a reader sees at once what the paper asserts or argues without evidence. Principal claims stay with the principal claims whatever their support.

The reading view is made mechanically from a valid file (claimset render); it adds nothing and is never edited. The reading view the platform serves may append, under REVIEW STATUS, each claim's unresolved review comments with their category, severity and state; that is derived data, and claimset render of the file alone does not add it. Its layout is the reference rendering in Appendix D. A reader that needs a field left out (a source span to check a claim against its source, an artefact's location) reads the canonical file.

Claim bundles. A reader that wants one claim is given its claim bundle: the claim, the claims it rests on (through depends_on and assumptions, its own or those of a definition or evidence it rests on), and the definitions, evidence, warrants, limitations, artefacts and references these cite, found by following their IDs. A relation to another claim of the paper names that claim without bringing it in. The bundle is JSON ({bundle_of, schema_version, paper, claims, definitions, …}, with the paper's ID, version, title, licence, status and date) and has a reading view made as above, headed CLAIM C4 of <ID> <title>. Both are made mechanically from a valid file (claimset render --claim C4, with --bundle for the JSON); a bundle is not a claimset and is not validated as one. (New in v0.39.)

2.4 Files in a repository

A paper written alongside its research lives in the research's repository, in the folder of its study (lab record specification §3):

claimset/
  <study>/
    lab/                         the study's lab record
    code/                        code only this study uses (optional)
    <paper>.claimset.json        the paper
    <paper>.claimset.txt         its reading view (claimset render)

• A study and a paper are named with lower-case letters, digits and hyphens, starting with a letter (eigen-checker, eigen-checker-cpp). A study can give several papers; each reports whole questions of the study's lab (lab record §5.17). Papers from different studies are independent unless their claims link to each other.
• A paper may cite or relate to a paper of the same repository that is not yet published, with id_type: claimset_local and the target <study>/<paper>.claimset.json#C3 (a claim) or <study>/<paper>.claimset.json (the paper), relative to claimset/ (§4). The validator checks that the file and the claim exist when the file lies in a claimset/ folder. At publication the platform replaces each local reference with the global ID of the published claim, so the cited paper is published first, or both are submitted together.
• The file keeps its name through revisions: the date and version of a submitted or published version are recorded by the platform (§9) and in git. A version is marked with the git tag claimset/<study>/<paper>/v<n> (claimset tag), made on the commit that holds it.
• Converted papers. A converted paper comes from no study of the repository and has no lab. Converted papers are kept in a collection folder, named as a study is: claimset/<collection>/<name>.claimset.json, with the reading view beside it (<name>.claimset.txt). The name is made from the source's identifier, so that a conversion of the same source has the same name in every repository and no two sources share a name:
  1. the identifier type (converted_from.id_type), a hyphen, and the identifier (converted_from.source_id) without a prefix (doi:, arXiv:) or a resolver address (https://doi.org/, https://arxiv.org/abs/); for arXiv, followed by the version (converted_from.source_version) when the identifier does not end with it;
  2. in lower case, with every run of characters other than the letters a–z and the digits 0–9 replaced by one hyphen, and no hyphen at the end.

The DOI 10.1016/j.ejor.2022.04.040 gives doi-10-1016-j-ejor-2022-04-040; the arXiv identifier 2401.01234 with version v2 gives arxiv-2401-01234v2. Other files a repository keeps for the conversion (the source text its source_spans point into, a conversion report) carry the same name with their own extension. Warning 31 flags a converted paper in a claimset/ folder whose file is named otherwise. - The claimset/ folder is left out of package builds (lab record §3.3).

2.5 Submission package

A submission is a package: the claimset with the files its artefacts name that are not already held elsewhere (figures, specimen images, recordings, bulk data, instruments, stimuli). The package is a BagIt bag (RFC 8493), a folder or a zip of one, whose manifest lists every file with its SHA-256 checksum:

bagit.txt
manifest-sha256.txt
data/
  paper.claimset.json
  files/fig3.png
  files/results-per-series.csv
  files/interview-guide.pdf

• An artefact held in the package has a uri relative to data/ ("files/fig3.png") and version sha256: followed by the file's checksum, which equals the manifest's.
• An artefact held elsewhere (a commit on a git host, a data repository, a DOI) is not packaged: it keeps its uri and version as before, and the platform archives it (§3.6).
• A package with no files is the claimset file alone, which may be submitted as it is. A claimset file submitted alone, outside a package, has no artefact whose uri is a relative path: the file it names would not reach the platform, which refuses the submission (rule 70) rather than publish the paper without its files. claimset submit packages such a claimset before it sends it; a submission by URL gives the package (package_url). Through the platform's MCP server, the claimset may instead be sent with the contents of the files it names (files: each file's uri with its text, or its bytes in base64), from which the platform builds the package as claimset package does; a file whose checksum differs from the version its artefact records is refused, since it is not the file the claimset describes. Otherwise every file is named by an https URL where it is deposited.
• At publication the platform stores each packaged file by its checksum, so a correction or revision that keeps a file stores it once, and replaces its relative uri with the file's permanent location (§2.2). A published file names no relative paths.
• In a repository, a paper's files live in its study folder, claimset/<study>/files/ (§2.4), and the package is built from there (claimset package, which copies the files, sets each version and writes the manifest).
• Limits. The platform accepts a package within these limits, and claimset package and claimset validate apply the same ones (rule 77): The platform serves every packaged file as a download; none is rendered or run.
  • at most 200 files in data/, the claimset included;
  • each file at most 50 MB, and the payload at most 200 MB in total;
  • every path relative, inside data/, of letters, digits, ., -, _ and /, with no .. component; no links;
  • every file of data/ listed in the manifest, and every file listed present;
  • file types by extension, from this list: data and text csv tsv json jsonl ndjson txt md xml yaml yml toml parquet feather arrow nc h5 hdf5 rds rda rdata dta sav xlsx ods; documents pdf tex bib; images png jpg jpeg gif webp tif tiff svg; audio and video wav mp3 flac ogg m4a mp4 webm mov; code r py jl m ipynb sql do sas stan c cpp h hpp f90 java js ts rs go sh; and any of these compressed with gzip (results.csv.gz). Archives (zip, tar, 7z, rar) and executables are refused: a package lists its files, so each is checked and archived by itself.
• A converted paper packages a file taken from its source (a figure, a supplementary table) only under the source's licence, which conversion already requires to permit derivatives (§3.1); the artefact names its reference and locator in the source.

2.6 Specification versions and compatibility

schema_version (required, top level) is the version of this specification the file follows: "0.41".

• Baseline. The baseline is the first version the platform accepts: v0.39, set when the platform launched on 2026-11-09. A file following an earlier version is refused (rule 79) and brought to the current version by claimset migrate.
• Every version from the baseline is accepted, for good. A file is checked by the rules of the version it follows, never by rules added later. A validator of a later version keeps the rules of every earlier version from the baseline and applies the ones the file's version calls for. A file valid under its version when it was published is valid under it in every later validator.
• A later version may add optional fields, add values to lists, loosen rules, and add rules and required fields that apply to files following that version or later. It may not make a file valid under an earlier version invalid under that version, or change what a field of an earlier version means.
• Reading. Every tool of a later version reads and renders files of every version from the baseline.
• A file newer than the validator (its schema_version is later than the validator's own) is refused by rule 79: the validator cannot check rules it does not know. The file may be valid; check it with a current validator.

2.7 Extensions

The core of this specification is what every field shares and what claims are compared by across fields. An extension adds the detail that one kind of work needs and other kinds do not: the glosses of linguistic examples, the structures of compounds, the endpoints of a trial, the coordinates of a field site. Extensions are specified one per file in spec/extensions/ (linguistics-v0.1.md), each with its own version, and listed in spec/extensions/README.md, the registry of extensions. A paper uses as many extensions as it needs, or none.

Declaring. The top-level extensions names each extension the file uses and the version of it the file follows: "extensions": {"linguistics": "0.1"}. A name is lower-case letters, digits and hyphens, starting with a letter; a version is <major>.<minor>, as for the core (§2.6). A file that uses no extension leaves extensions out.

Using. An object holds an extension's fields in its ext block, keyed by the extension's name: {"id": "R3", "variable": "D2", "value": {…}, "ext": {"linguistics": {"gloss": "…"}}}. Each extension says on which objects it may appear. Objects that may carry ext: paper, and each object in contributors, models, definitions, claims, evidence, warrants, limitations, artefacts, references and open_questions, and each result entry and table of an evidence object.

What an extension may do. - It adds fields, inside its own blocks only. It never changes the meaning of a core field, adds values to a core list (a kind, a support kind, a profile, an artefact kind), or makes a core field required. - Its fields may point to the file's objects by ID (a definition, an artefact, a result). - It may have rules of its own, numbered within it (linguistics.1) and checked on its blocks, and warnings likewise (linguistics.w1). - What every field needs is not put in an extension: when two or more extensions would define the same thing, it belongs in the core.

The core stands alone. A file with every ext block and extensions removed is a valid file of the core, and says everything the core says: claims, their support, their atoms and their observations never depend on an extension. A reader that knows no extension reads the whole core, and may show an extension's blocks as data or leave them out.

Versions of extensions. Each extension follows the compatibility rule of §2.6 on its own: a block valid under a version of an extension stays valid under that version for good, checked by that version's rules. An extension's specification names the core versions it works with (its first, and no last).

In the lab record. An extension may also have a part for the lab record: blocks on lab events and event types of its own, which export carries into the claimset (lab record §2.1, §5.22). One extension covers both: what a kind of work records while it is done and what its claimset says.

Validation. A validator checks the core, then each declared extension it knows, at the version declared. An extension it does not know, or a version later than it knows, is refused by rule 80 with a message of its own: the blocks may be valid, but this validator cannot check them; a current validator can. The core is still checked, so the report lists the core's errors too.

3. Object types

3.1 Paper

**converted_from**

Corrections. A conversion records what the source says, including its errors, except an evident error (a typographical error in a formula or a number that the source itself contradicts elsewhere), which it corrects visibly: the corrected field's provenance is inferred (field_provenance), and the correction is listed in corrections as {field, where, printed, recorded, reason}: - field: the corrected location in the claimset, as an object ID and a field path, e.g. C28.statement. - where: the source span of the error. - printed: what the source says. recorded: what the claimset says instead. reason: why the source is evidently in error, e.g. "Akaike's information criterion is 2k − 2ℓ(θ); the sign of ℓ is inverted in Equation (1)". Disagreements with the source that are not evident errors are not corrections: the claim records what the source says, and the platform's review of the conversion may question it (§6).

Licence of a converted paper. A claimset converted from a source is an adaptation of it, so the source's licence decides whether conversion is allowed and what licence the claimset may carry:

A claimset under a non-commercial licence may be used only for non-commercial purposes. Platforms and tools that use claimsets commercially (for example to train, tune or promote a commercial service) exclude claimsets whose paper.licence contains NC.

**highlights.** What a reader should take from the paper first: at most five of its principal claims and of the terms it introduces, in order of priority. The platform shows them at the top of the paper's page, and the reading view lists them after the contributions. A highlight selects; it adds nothing: it is an ID, never new text, and the claim or definition it names says what it is. - A claim is highlighted only if it is principal: it is listed in contributions. A claim the guarantor wants to highlight that is not principal is a contribution, and its role says so. - A definition is highlighted only if the paper introduces it (it has no source, §3.2): a new measure, method, concept or data set can be what a paper contributes. A borrowed term is not this paper's. - Native papers: the guarantor chooses them (principle 10), as they choose the licence. The agent proposes up to five, in order of priority, with a line on why each, and records what the guarantor decides. If the guarantor prefers none, the field is left out, and the platform shows the contributions in their order. - Converted papers: the claims and terms the source itself puts first (its highlights, or without them its abstract), when they are principal claims or the paper's own terms; otherwise the field is left out. - A correction or revision may change them, like any field.

**declarations.** What a reader needs to weigh the work beyond its evidence, as its responsible people declare it. Native papers: the agent asks the guarantor (principle 10), and records what they say. - funding: list of {funder, funder_id, award, kind, role}: the funder's name, its identifier (a ROR ID such as ror:00k4n6c32, or a Crossref Funder Registry DOI), the award or grant number, the kind of support, grant (money) or in_kind (materials, vouchers, services, equipment, analyses paid for), and the funder's role in the work as text ("no role in design, analysis or the decision to publish"). An empty list declares no funding. - competing_interests: text, self-contained; "None declared." when there are none. - ethics: list of {body, reference, decision}: the ethics committee or review board, its reference, and decision approved · exempt · not_required. An empty list when the work needs no ethics review. - consent: text, for work with human participants: how consent was obtained, and for what (participation, publication of excerpts).

Contributors are listed in the top-level contributors list (§3.11), not in the paper object.

3.1.1 Exploration summary

exploration tells readers how much was tried to reach the published claims, so positive results can be weighed against the number of attempts. It is exported from the lab record.

"exploration": {
  "lab_record": "A10",
  "questions": 2,
  "hypotheses": {"total": 10, "supported": 3, "not_supported": 2, "inconclusive": 1, "revised": 2, "abandoned": 1, "open": 1,
                 "from_exploration": 4},
  "tests": {"total": 5, "supported": 2, "not_supported": 2, "inconclusive": 1},
  "runs": {"total": 214, "confirmatory": 18, "exploratory": 196, "failed": 11}
}

• hypotheses counts recorded hypotheses by their final status; open counts those never closed. total is the sum of the status counts.
• hypotheses.from_exploration (optional, also in covers.lab.hypotheses): how many of the total hypotheses were recorded as suggested by exploration (lab record: origin: from_exploration). It is not a status and is not part of total. A hypothesis that exploration suggested is tested only by data the exploration did not use, so readers weigh its test by what was new.
• tests counts planned tests that have run, by verdict: one per plan and hypothesis it names. total is the sum of the three verdicts.
• runs.total is the sum of confirmatory and exploratory; failed counts runs of either kind whose exit status was not success.
• covers, when the paper reports only some of its lab's questions: questions (their IDs in the lab record), lab (the whole lab's counts of questions, hypotheses and tests, in the same form) and other_papers (each other paper drawn from the lab, {name, questions}). questions, hypotheses and tests then count the paper's questions only; runs is always the whole lab's, since a run is not tied to a question. Readers can see what the lab tried that this paper does not report, and where it is reported.

"covers": {"questions": ["Q1"],
           "lab": {"questions": 2, "hypotheses": {"total": 9, "supported": 6, "not_supported": 1, "inconclusive": 1, "revised": 0, "abandoned": 1, "open": 0},
                   "tests": {"total": 7, "supported": 6, "not_supported": 1, "inconclusive": 0}},
           "other_papers": [{"name": "eigen-checker-cpp", "questions": ["Q2"]}]}

The counts cover what was recorded. Exploration is recorded where its results informed decisions, not step by step, so the counts are lower bounds of the exploration; the counts of planned tests are complete.

Retracted papers are never deleted. All their claims inherit the retraction status for readers and the platform. A converted claimset whose source is retracted is shown with the source's retraction, whatever its own status.

3.2 Definition

Kinds. The kind says what a term names, whatever role it plays in a study; the role is given by the setup (§3.4) and the claim's about (§3.3.5). One term has one kind.

A term the paper introduces as a finding (a theme, a typology, a newly named phenomenon) is a concept. The paper's own method or model is a method, defined in full as below. An instrument (a questionnaire, a scale, an interview guide, a coding frame) is defined as the variable it records, or as the design it is part of, and the document itself is an artefact (§3.6). (The kind variable was measure in v0.30 and v0.31.)

Things and their roles. One term has one kind; its role is the setup's. A drug is a substance; giving it is an intervention ("aspirin, 100 mg daily"). A species is an organism; the animals sampled are a population ("adult flying insects in 63 German nature reserves"). A cell line is biological_material, also when its cells are the study's cases. A gene is an entity; knocking it down is an intervention, which names the gene in targets. A reaction or a decay is a process; the substances or particles it involves are their own terms. A source is one primary source; a collection searched as a whole (a corpus, an archive's catalogue) is data, and a work the paper cites is a reference (§3.13), not a definition. Terms of these kinds give identifiers where a registry has them: ChEBI or InChIKey for substances (chebi:16716), NCBI Taxonomy for organisms (ncbitaxon:7227), RRID or Cellosaurus for biological materials (cellosaurus:CVCL_0031), HGNC or UniProt for genes and proteins (hgnc:9802), Wikidata for other entities and for sources (wikidata:Q…). (New in v0.39.)

Dimensions. A term by which observations are distinguished (the method, the data set, the participant group, the temperature, the year, the language) is a dimension of the observations that name it (§3.4). A dimension whose values are terms of the paper (the methods compared) is a group whose members are those terms; a dimension whose values are literals (a temperature, a year) is a variable or setting whose definition gives its unit. A control or baseline compared with a group's members (a mock transfection beside four knockdowns, a benchmark beside the proposed methods) lies on the group's dimension without being a member, when it is of the group's kind: a table's row may be labelled with it, and a condition may name it.

Groups. A term that names a group of things the paper also names one by one (the benchmark methods, the variants of a model, the data sets of an evaluation) is defined once as the group, with members listing the definitions of its members, and has the same kind as its members: {"id": "D26", "term": "the benchmark methods", "kind": "method", "definition": "ETS, ARIMA and the Theta method, as the paper runs them", "members": ["D8", "D9", "D10"]}. A claim's about names the group when the claim is about the group as a whole and a member when it is about that member; a claim may name a group as its subject and one of its members as its comparator. Membership lets a reader find the claims about a group when looking for one of its members; it does not make a claim about the group a claim about each member. "The PIC(*,S,N) variants are the most robust" says nothing of each variant alone, while "CES has the lowest error of the benchmark methods" says CES beats each: the statement says which. A group is not a member of itself, directly or through other groups.

Parts and narrower terms. Besides membership, two links say how one term stands to another; each is a list of definition IDs on the term that is the part or the narrower one: - part_of: the term is a part of each listed whole. A parameter or component of a method (the complex smoothing parameter and the information potential of CES), a subset of a data set (M3 monthly of M3), a subgroup of a population, a subscale of a questionnaire, a functional group of a compound, an article of a statute, a morpheme of a construction. A part may have a kind of its own: a parameter whose estimated values the paper reports is a variable, a component it names and makes claims about a concept, a data subset is data. - broader: the term is a kind of each listed term. A variant of a method (seasonal CES of CES), a subtype of a disease, a narrower legal category. A narrower term has the kind of the broader one. A group's members, a whole's parts and a term's narrower terms are three different links: ETS is one of the benchmark methods, not a part or a kind of them; the smoothing parameter is part of CES, not a kind of it; seasonal CES is a kind of CES, not a part of it. Like membership, the links let a reader looking for a term find what is said about its parts and narrower terms, and say nothing more: a claim about a parameter of CES is not a claim about CES as a whole, and a claim about seasonal CES is not a claim about every variant of CES.

Assumptions of a term. An assumption that holds wherever the paper uses a method, design or data set ("the errors of ETS are Gaussian", "allocation was concealed", "the sample is representative of UK retailers") is listed once, on the term's definition, not again on every claim. A claim resting on evidence with a setup inherits the assumptions of the terms that setup names, as follows: - the terms in the roles cases, procedure, lens and context (the data, the design, the variables, the setting): every claim resting on the evidence inherits their assumptions, since every result of the study rests on them; - the terms in the role studied (the methods, models or interventions compared): a claim inherits the assumptions only of its own subject, the definition its about.subject names, when the setup names it (directly, as a member of a group the setup names, or as a group whose members it names all, §3.2 Groups); when the subject is a group, the claim inherits the assumptions of each of its members. The assumptions of the comparator and of the other methods studied are not the claim's: "VETS D has the lowest error of the five models" rests on the error assumptions of VETS D, not on those of ETS, with which it is compared; - a claim without about inherits the assumptions of every term its evidence's setup names. A narrower term inherits the assumptions of its broader terms. A claim still lists in its own assumptions those that hold for it alone, including the assumptions of a comparator when the claim does rest on them. The reading view shows inherited assumptions with the claim, marked as inherited. (Revised in v0.33.)

Parameters, components and variants get definitions of their own only when something in the claimset names them apart from the whole: a claim, an about slot, an observation's variable or condition, a setup. Otherwise they are the named symbols of the whole's definition (below).

A definition marks the other terms of the paper it uses, as statements do ("Seasonal [[D1:CES]] with a second [[D6:information potential]] for the seasonal component"), so that a reader can follow what it rests on.

A definition explains in full only a term the paper introduces or uses in its own sense. A term the paper takes from elsewhere (it cites where the term comes from) is a borrowed term: its definition names the standard meaning in one line and states only what this paper specifies (e.g. "Mean scaled interval score; here of the 95% prediction interval"), and source says where the term is defined. A term the paper uses without defining or citing it, in its usual sense, needs no definition. A term the paper defines in its own words that is in fact a standard term, or another claimset's term, says so: by identifiers when the thing has a registry identifier, or by source naming the other claimset's definition by its global ID; its definition then states what this paper specifies, as for a borrowed term. Readers and the platform then treat the two as one term.

The paper's own method or model. An algorithm is defined by its steps, as pseudocode in a fenced block (§8 rule 6), in the paper's order, with each input, output and parameter named. Its definition gives the equations that define it, as the paper writes them (LaTeX, §8 rule 6), with each symbol named: every equation of the method or model, not a description of them ("the weights being powers of …" is not a definition of a weighted sum; the sum is). A variant the paper introduces (seasonal, multivariate, with exogenous variables) is defined with its own equations in full, never as "the same equations at lag $m$": where its parameters and lags enter is what the variant is. When the paper states a method in more than one form (a recursion and a weighted sum), the definition gives each form. A form the paper derives from another (an underlying state-space or ARIMA model) is not part of the definition: like every result of a derivation (a property, an equivalence, a condition), it is a claim (§3.3).

3.3 Claim

3.3.1 Choosing the claim type

3.3.2 Scope

Scope describes the conditions under which this claim holds, not the section or study it came from. Two claims from the same section often have different scopes: a result about series where every period is observed does not carry the scope "series with unobserved periods". Omit scope fields that do not apply rather than copying them from neighbouring claims.

When about.conditions names a defined population, data set or setting (§3.3.5), scope does not restate it; scope then records only what narrows the claim further (a horizon, a subgroup, an exclusion).

3.3.3 Hypotheses, planning and negative results

A claim that tests a hypothesis carries it as hypothesis, with the test's outcome. The hypothesis comes from one of three places: a lab record (the claim is exported from the record, and hypothesis.lab_event is the hypothesis event); a registration outside the lab record (a preregistration on OSF or AsPredicted, the Stage 1 protocol of a registered report, a trial registry entry), which the test names in registration; or the paper itself, which states the hypothesis before its results without registering it. A claim with outcome not_supported is a negative result: its statement says plainly what was not found ("Under conditions …, method M did not reduce …"), with scope, support and evidence like any other claim. Negative results belong in the same claimset as the positive results they qualify.

planning says whether the test was planned before it was run: - confirmatory: tested under a plan that named the hypothesis and was recorded before the data it was tested on were collected or seen, with no deviation. The plan is a lab-record plan (test.lab_plan) or a registration (test.registration). - confirmatory_with_deviations: as above, but the test deviated from the plan; each deviation is recorded as a limitation of category deviation (§3.9). - exploratory: every other case, including results found while exploring, and hypotheses the paper states without a lab-record plan or a registration, however early they were formed: nothing outside the paper records when.

Outcomes. supported and not_supported are conclusive: each means that the rule stated for it in advance was met. A test that met neither rule is inconclusive. In particular, failing to reject a null hypothesis is inconclusive, not not_supported, unless the plan stated a rule for refutation (for example equivalence bounds).

One claim per planned test. A hypothesis tested under several plans (a replication, a larger sample) gives one claim per test, each with its own outcome and test, so every planned test that ran is reported. The statement of each is the hypothesis as it stood when its plan was written.

**Decision rule (test).** A confirmatory claim records the rule it was planned with, as fixed before the data were seen:

"test": {
  "framework": "frequentist",
  "parameters": {"alpha": 0.05, "test": "one-sided paired t-test on per-series MAE differences", "sides": "greater",
                 "correction": "none", "sample": "500 series, fixed in advance; no interim analysis"},
  "quantities": {"p": {"variable": "p-value, paired t-test of MAE difference"},
                 "d_upper": {"variable": "mean MAE difference", "field": "interval.upper"}},
  "supported": "p < alpha",
  "not_supported": "d_upper < 0.01",
  "verdict": "computed",
  "runs": 1,
  "lab_plan": "PL2",
  "registration": null
}

• framework: how the outcome is decided: frequentist (a null-hypothesis significance test) · equivalence (an equivalence test against stated bounds) · bayesian · deterministic (a measured quantity compared with fixed thresholds, without sampling uncertainty, e.g. a benchmark or a simulation with fixed seeds) · formal (proof or counterexample) · qualitative (a stated pattern in qualitative data).
• parameters: the parameters the framework requires (below), and any others the analysis fixes in advance. Values are numbers or text; numeric parameters can be used in the rules by name.

• quantities: when the rules are expressions, the observations they are evaluated on: {name: {variable, conditions, statistic, field, run}}. Each binds exactly one observation of the evidence the claim's support names, a result entry or a table cell (§3.4): the one whose variable is the given one and whose conditions include every given key with the given value, and, when the quantity gives a statistic, whose statistic is that one (a name or {name, …} as in §3.4, so that the mean and the median of one variable can be told apart), read from field: value (default), value.limit (the number of a limit), value.min or value.max (an end of a range), interval.lower, interval.upper, or uncertainty.<kind> (the value of the result's one symmetric uncertainty component of that kind, §3.4: uncertainty.se); with several deciding runs, run names the run (1 for the first). They correspond to results in the claim's evidence. (Files before v0.38 name the variable quantity.)
• supported, not_supported: the two rules, each an expression over the quantities and numeric parameters, or text saying what observation decides. If neither rule holds, the outcome is inconclusive; if both hold, the rules overlap and the outcome is inconclusive. An expression is at most 1,000 characters long and uses finite numbers, names (quantities and numeric parameters), + - * /, unary minus, abs(), comparisons (< <= > >= == !=, which may be chained: 0 < d < 1), and, or, not and parentheses; nothing else. Every name is a quantity or a numeric parameter. A quantity that cannot be bound (no observation matches, or several do) allows no conclusive outcome; the rules evaluated on the bound values give the claim's hypothesis.outcome (rules 91 and 92).

Quantities and table cells. A table cell is bound like a result entry: its variable is its column's, and its conditions are the table's conditions, its row's labels (each row label is a key, the row's label its value) and its column's conditions; its statistic is its row's or its column's. field reads value and its parts; a cell has no interval or uncertainty (those are columns of their own, §3.4). With several deciding runs, run picks the observations whose condition run (a row label of the table, as a lab record's export writes it) names that run of the evidence's lab_runs. When the evidence of a claim is restructured, its result entries made into a table in a correction or revision, the quantities are rebound in the same version. Claim C5 of entrylib:2026.000001 binds the table E12.T1 (§3.4, Tables are the standard form):

"quantities": {"ms": {"variable": "D13", "conditions": {"method": "D8"}},
               "ma": {"variable": "D13", "conditions": {"method": "D10"}},
               "ss": {"variable": "range of the 80% coverage over the level terciles", "conditions": {"method": "D8"}},
               "sa": {"variable": "range of the 80% coverage over the level terciles", "conditions": {"method": "D10"}}},
"supported": "ms <= 0.6*ma and ss <= 0.08", "not_supported": "ms >= ma or ss >= sa"

The quantities bind 0.02236, 0.0352, 0.0773 and 0.2715: neither rule holds, and the outcome is inconclusive, as C5 records. The median scaled pinball column, {"variable": "D14", "statistic": "median"}, is bound by {"variable": "D14", "statistic": "median", "conditions": {"method": "D8"}}; without statistic the quantity would also match a column of the mean of D14, had the table one, and bind two cells. - verdict: computed (the rules are expressions and the outcome was computed from the recorded results by the lab tool) · judged (the rules are text and the outcome was stated by the writer, who said which rule the evidence met). - runs: how many runs decided the test. lab_plan: the plan's lab-record ID, when there is one. registration: the ID of the registration in references (§3.13), when the test was registered outside the lab record: "B7" (in files before v0.39, the registration's URI). A confirmatory test names its plan: lab_plan, registration, or both when a lab-record plan was also registered (rule 81). - addresses: optional list of the global IDs of review comments (doi:…@v1/RV1.c6) whose resolution test this test ran (revision §4.2). The test's rules are then the comment's: supported its withdrawn rule, not_supported its upheld rule. - flags: optional list of weaknesses of the test, as the lab record finds them (lab record §5.7.5): code_changed_after_plan (the analysis code changed between the plan and the test) · holdout_used_elsewhere (data held out for the test was also used in other runs) · reproduces_prompting_result (a result the decision rule uses has the same quantity, conditions and value as a result of a run that suggested the hypothesis: the test may have repeated the exploration rather than tested the hypothesis on anything new) · sources_captured_after_plan (a deciding run read a captured source recorded after the plan: the plan did not fix the material tested). Flags of tests over coded material are in the qualitative extension (ext.qualitative.test_flags).

planned_at_anchor says how far planned_at can be trusted (lab record §7): from strongest, platform (receipt from the Claimset platform), rfc3161 (trusted timestamp authority), registry (the date a public registry records for the registration the test names: OSF, AsPredicted, a trial registry), git_remote (pushed commit), to none.

Tests registered outside a lab record. A registered study reports each registered hypothesis it tested as a claim with hypothesis (without lab_event), planning, planned_at and test, and lists the registration in references:

"hypothesis": {"outcome": "inconclusive"},
"planning": "confirmatory_with_deviations",
"planned_at": "2018-03-12T00:00:00Z",
"planned_at_anchor": "registry",
"test": {"framework": "bayesian",
         "parameters": {"prior": "Cauchy, scale 0.707", "threshold": "BF10 > 3 or BF10 < 1/3",
                        "sample": "1,000 participants, fixed in advance"},
         "supported": "BF10 above 3 for the effect of the manipulation on trust",
         "not_supported": "BF10 below 1/3 for the effect of the manipulation on trust",
         "verdict": "judged", "runs": 1, "registration": "B4"},
"limitations": ["L3"]

with {"id": "B4", "target": "10.17605/OSF.IO/ABCDE", "id_type": "doi"} in references and L3, of category deviation, saying how the analysis departed from the registration. A trial registry entry is a CURIE whose prefix is the one the Bioregistry (bioregistry.io) gives that registry ({"target": "clinicaltrials:NCT01234567", "id_type": "curie"} for ClinicalTrials.gov); a registry the Bioregistry does not list is cited by the entry's url, with its archive_uri; a registration with no persistent identifier is a url with its archive_uri (§3.13).

• planned_at is the registration's date as the registry records it, with planned_at_anchor: registry. When the date is not at hand (the paper does not give it and the registry cannot be read), planned_at is left out: the registry the test names holds it. Never estimate it (warning 36). A Stage 1 protocol accepted in principle is the registration of a registered report.
• The rules are the registration's: expressions when it fixes thresholds (alpha 0.05, a Bayes factor of 10), otherwise text with verdict: judged. A hypothesis the registration did not name is exploratory, and so is every analysis it did not plan.
• The platform cannot check that the registration says what the test records; the registration is public, and readers and reviewers can.
• Converted papers: the rules are taken from the registration or from the paper's account of it. A rule the converter has to reconstruct (a threshold the paper applies but never states) is marked inferred in field_provenance ({"test.supported": "inferred"}); the outcome is the paper's.

3.3.4 What belongs in a claimset

A claimset contains the paper's own claims, with what they need: definitions of the paper's own terms, evidence, warrants, assumptions, scope and limitations. It does not restate what others have found. Two tests, both answerable from the paper itself, decide what is the paper's own and what it needs. Neither asks whether something is new to the field, which would need knowledge of the literature that a converter or reader may not have; the paper's authors have already recorded that knowledge in their citations.

1. Attribution: whose is it, as the paper's own citations say? What the paper introduces is its own. What it attributes to others (it cites them) is theirs, and enters the claimset only by reference, in one of the three ways below.
2. Function: does the paper's argument use it? A general statement the paper makes without attributing it is kept only if one of the paper's claims rests on it (then it is an assumption, §3.8, or consensus support of that claim) or the paper contrasts its contribution with it (then the claim's statement says so). Justifications of routine choices (which accuracy measure, which software) that no finding depends on are left out, or belong in the evidence's description.

Prior work enters a claimset in four ways, each linked to the paper's own content, never as a claim of its own. Each is a function a citation has in the paper; a work cited for several functions is linked for each.

Prior work that the paper cites as an example or an illustration ("used, e.g., in retail"), or as background (general motivation, surveys of the field), is left out: none of its claims uses it. When the tests do not decide, the item is kept: an unnecessary item costs length, a missing one loses content.

One claim, several places. Papers state their findings more than once: in the abstract, the introduction, the body and the conclusions. Each assertion is one claim, with source spans for every place the paper makes it, worded as precisely as its most specific statement (usually the body's, with its conditions). The introduction's and abstract's statements show which claims are contributions. A statement in the conclusions (or abstract) that is broader than what the body establishes (more general data, a stronger verb, a recommendation) is not merged into the claim it generalises: that would make the narrower claim stronger, or hide what the paper concludes. It is a claim of its own, with the scope the paper gives it, that depends on the claims it generalises.

Secondary claims in converted papers. The paper's side results are kept as secondary claims only when something rests on them or they qualify what the paper establishes. A secondary descriptive claim resting on evidence (a result; a conclusion the paper draws from results is not one, One claim, several places above) is written when a claim depends on it, a warrant names it as a premise or an open question concerns it; or when it states a loss, a limit or a null result of the paper's own method ("M has higher MSIS than N on short series", "M does not improve on N on the yearly data"). Any other result the paper reports, including a pattern its results section reads off a table, is not a claim: it stays in the result table of its evidence, which records it whole (§3.4, Tables and claims). Side remarks, illustrations and explanations that the paper neither tests nor uses for a contribution are left out.

3.3.5 What a claim is about

about records the claim's atom (§8 rule 1) as fields, so that claims can be found and compared by what they are about rather than by their wording. It is the same atom a writer forms before writing the statement; the statement says it in words, and about names its parts.

"about": {"subject": "D2", "relation": "has lower error than", "object": ["D8", "D9"], "comparator": "D3", "conditions": ["D5"]}

Slot values. A slot holds the ID of a definition (D5) or, for a thing the paper does not define, a short noun phrase ("the seasonal naive method"). A term that a setup of the claim's evidence names, or that the paper defines, is given by its ID, not as text. Every definition ID in about is marked in the statement ([[D5:M3 monthly]]), so the two cannot drift apart. Text slots are resolved by the platform like printed references (§11); they make a claim findable, IDs make it exact.

By type of claim.

Conclusions over atoms. A conclusion the paper draws over several atoms (§8 rule 2) has an about of its own: its subject is what the conclusion is about ("the paper's method", or a defined group), its conditions those shared by the atoms it rests on.

Interpretation is not flattened. An interpretive claim keeps its reasoning in its warrant; about only names what the claim is about. A finding that is not one relation between two things (a typology, a process with stages, a model of how a phenomenon unfolds) is defined as a concept holding that finding, the claim's object names it and its relation is is characterised by. about never forces a finding into a shape it does not have, and never changes what the statement says.

3.4 Evidence

Common fields: id, profile, description, artefacts (list of artefact IDs), data_origin (primary · secondary), preregistered (boolean), availability (§3.10), models (list, below), results (list, below), execution (object, below), lab_runs (list of lab-record run IDs, e.g. RN4 or AC2.RN4, that produced this evidence), tables (list, below), derived_from (list, below), source_spans (locations of the evidence in the source text, for converted papers).

Derived evidence (derived_from, optional): the evidence objects of this paper whose data this evidence re-uses, each {evidence, how}, how one of reanalysis (the same cases analysed differently: a robustness check, a sensitivity analysis, another model), subset (part of the cases: a subgroup analysis, a restriction), pooled (several evidence objects combined: a pooled analysis, a meta-analysis within the paper), extension (the same cases with more added). Two results whose evidence derives from the same evidence are not independent, whatever their number; the platform counts them once (§11).

Observations. What a study found is recorded as observations: each the value of a variable, observed on something, under conditions that tell it apart from the others. A reaction time per participant and condition, the expression of a gene per cell line and treatment, the yield of a reaction per catalyst and temperature, whether a construction is attested per language and period, the outcome of an appeal per court and year, the accuracy of a model per benchmark, whether a theme appears per participant: each is an observation, and every field's results take this one form, so that readers can query results instead of parsing prose, and compare them across papers. A single observation is a result entry (results); observations that the paper reports as a table are a table (tables), a compact form of the same thing. Results and tables appear in evidence of any profile except formal.

Results (results): {id, variable, value, unit, interval, uncertainty, n, conditions, read_from, artefact} - id: R1, R2, … unique within the evidence object; referenced from elsewhere as <evidence id>.<result id>, e.g. E23.R2. - variable: what is observed: the ID of a definition of kind variable (§3.2), or of a concept whose presence is observed (a theme in an excerpt), or text for one the paper does not define, e.g. "D8" or "largest KL divergence per observation, mixture vs exact". (Was quantity until v0.31.) - value: one of - a number; - a category: the ID of a definition (an outcome the paper defines, such as "upheld") or a short word or code ("present", "B"); - a boolean (attested or not, significant or not); - an excerpt, {text, locator, language, translation}: words from the data that are themselves the observation (an interview passage, a passage of a judgment, a linguistic example). text is the words as the source gives them; locator where they are: text (a transcript and line, a document and paragraph, a corpus and sentence ID) or, for words from a file the claimset lists as an artefact, {artefact, start, end, lab_event}: the artefact (a captured source, lab record §5.20), the characters of its text the words occupy (start inclusive, end exclusive, counted in Unicode code points from 0), and optionally the lab record event that recorded the passage (a coding, CD3) (rule 78); language a BCP 47 tag when not English; translation an English translation of words in another language. The interlinear gloss of a linguistic example is given by the linguistics extension (ext.linguistics.gloss on the result, §2.7). Excerpts from people's data carry no personal data beyond what the participants consented to publish (declarations.consent); - a limit, {bound, limit, level}: the value is not known, only that it lies below (bound: "upper") or above (bound: "lower") the number limit, in the observation's unit. level is the confidence of a statistical limit (0.95: a 95% CL upper limit on a cross-section); without it, the limit is one of measurement (a concentration below the detection limit of 0.1 mg/L is {"bound": "upper", "limit": 0.1}); - a range, {min, max, level}: the value is a span from min to max (min ≤ max), in the observation's unit: the values observed across cases (yields of 36% to 77% across 39 products, with n), or a region of a parameter the variable names (a Higgs boson mass of 111.4 to 116.6 GeV excluded, with level 0.95). A range is not an interval: an interval is the uncertainty of one value, a range is the value.

An interval or an uncertainty is given only with a number, not with a limit or a range. - unit: optional; a UCUM code (ms, %, mg/L, Cel, 1 for a dimensionless ratio) or, where UCUM has none, text. interval: optional {level, lower, upper, kind}: level the coverage as a fraction (0.95), lower ≤ upper, and kind what the interval is: confidence (a frequentist confidence interval), credible (a Bayesian posterior interval) or prediction (where a new observation is expected to fall). uncertainty: optional, below. n: optional, the number of cases the value rests on. - conditions: the observation's coordinates: an object whose keys are dimensions and whose values are where the observation lies on each, e.g. {"D26": "D9", "D5": "D14", "horizon": 12}. A key is the ID of a definition or text. A value is the ID of a definition, a number, text or a boolean. When a key is a group (§3.2, Groups), its value is one of the group's members; when it is a variable or setting with a unit, its value is a literal in that unit. - read_from: optional {artefact, precision}, when the value was read off a figure or a recording rather than taken from data or a table: artefact is the figure or recording, precision how exactly it could be read (a number in the observation's unit, or text). Values read off a figure are recorded only with it, so a reader knows they are approximate. - artefact: optional; the artefact holding the full data this observation summarises. - statistic: optional; what kind of statistic the value is, so that values from different papers can be compared by machine. A name from the list below, or an object {name, …} with the parameters its family takes (below); "mean" and {"name": "mean"} are the same. The variable and conditions say the rest ("Cohen's d", "from a mixed model"). The statistic says how values were summarised, not what was measured: an error measure (MASE, a relative error) is the variable, and the mean of its values over series is its statistic. A table column object or a table row may carry statistic for its values (Tables, below). The names: - summaries of the values of a variable over cases: count · sum · proportion · mean · median · mode · quantile · expectile · min · max; - their spread and shape: sd · variance · iqr (interquartile range) · mad (median absolute deviation from the median) · coefficient_of_variation · skewness · kurtosis · moment. A value that is itself a standard deviation (the spread of forecast errors over series, reported as a result) has statistic sd; the ± a paper reports with another value is that value's uncertainty (below); - comparisons of two positions (Contrasts, below): difference · ratio · odds_ratio · risk_ratio · hazard_ratio · standardised_mean_difference (Cohen's d, Hedges' g) · nnt (number needed to treat); - association and models: correlation · coefficient (of a model) · r_squared; - tests and inference: test_statistic · p_value · bayes_factor · posterior_probability; - other: a statistic none of these names, named in label (warning 38). Use it only when no name fits with its parameters: a geometric mean is a mean of kind geometric, a 90th percentile a quantile with probability 0.9.

The parameters, in the object form: - mean: kind, one of arithmetic (the default) · geometric · harmonic · trimmed · winsorised; a trimmed or winsorised mean may give trim, the fraction cut or winsorised in each tail (0.1). A geometric mean is {"name": "mean", "kind": "geometric"}. - quantile and expectile: probability, required, between 0 and 1: {"name": "quantile", "probability": 0.9}. The median is median, the smallest and largest values min and max. - moment: order, required, a whole number of at least 1, and central: true for a moment about the mean, false (the default) for a raw moment. Skewness and kurtosis, the standardised third and fourth central moments, have names of their own. - kurtosis: excess, true when the value is the kurtosis minus 3. - label: required with other, the statistic's name as the source gives it; any other name may take a label to say more in words. - approximate: optional, true when the source gives the value only approximately ("about 1.5-fold", "roughly doubled", "~22 min"): the number recorded is the one the source states. A table column object may carry approximate: true for its values.

Uncertainty (uncertainty): the ± a paper reports with a number, as a list of components, each {kind, value} (symmetric) or {kind, plus, minus} (asymmetric: plus above the value, minus below it), in the observation's unit, with optional label and level. Kinds:

• sd: the standard deviation of the observations the value summarises; their spread, not the precision of the value.
• se: the standard error of the value, the precision of an estimate; for a Bayesian estimate, its posterior standard deviation.
• stat: the statistical component of a measurement's uncertainty, reported beside a systematic one.
• sys: a systematic component; label names its source ("luminosity", "theory"). A measurement may have several, each with its own label.
• total: the combined uncertainty.
• unspecified: a ± the paper does not explain. Converted papers only, in practice: a native paper says what its ± is (warning 35).

stat, sys and total are at one standard deviation unless level gives their coverage (0.95). An uncertainty belongs to a numeric value. The Higgs boson mass of 126.0 ± 0.4 (stat) ± 0.4 (sys) GeV is

{"id": "R1", "variable": "D9", "value": 126.0, "unit": "GeV",
 "uncertainty": [{"kind": "stat", "value": 0.4}, {"kind": "sys", "value": 0.4}]}

and a mean of 4.2 ± 1.1 (SD) over 40 participants is {"value": 4.2, "uncertainty": [{"kind": "sd", "value": 1.1}], "n": 40}. An interval and an uncertainty may both be given; neither replaces the other.

A single-estimate study may use estimand, estimate, interval, uncertainty and n instead: one observation whose variable is the estimand.

Tables (tables): observations that the paper reports as a table, recorded as one. {id, description, conditions, row_labels, columns, units, rows, artefact, source_spans} - id: T1, T2, … unique within the evidence object; referenced from elsewhere as <evidence id>.<table id>, e.g. E2.T1. - description: what the table reports, self-contained, e.g. "Mean and median forecast errors of six methods on the M3 monthly series, horizons 1 to 18". - conditions: optional coordinates shared by every cell, as for results. - row_labels: the dimensions that distinguish rows, each a definition ID or text, e.g. ["D26"]; may be empty for a single row. - columns: one per value column: the column's variable (a definition ID or text), or {variable, conditions} when columns also differ along a dimension, e.g. {"variable": "D8", "conditions": {"horizon": 1}}. Columns are distinct. - units: optional list of units, one per column (null where none). - rows: list of {id, label, values, statistic, approximate}. id: r1, r2, … unique within the table; a row is referenced as <evidence id>.<table id>.<row id>, e.g. E2.T1.r3. label: the row's value on each row label, in order: a definition ID (a member of the dimension when it is a group), a number or text. values: one value per column, in order, of any type a result value may have; null where the paper reports no value. statistic and approximate: optional, as on a column, for every value of the row, when the rows are statistics (the mean and the median of each method's errors). A cell's statistic is its row's or its column's: a table gives it on rows or on columns, never on both for one cell. - artefact: optional artefact ID of the source of the full table. source_spans: optional locations of the table in the source text (converted papers).

Each cell is one observation: its variable is the column's; its conditions are the table's, the row's labels and the column's. Intervals, ranks and test statistics are columns of their own: the bounds of an interval are two columns told apart by a condition ({"variable": "D8", "conditions": {"bound": "95% interval, lower"}}), and a column of test statistics has statistic test_statistic. A column holding the uncertainty of another column's values has the reserved condition key uncertainty, whose value is a kind of uncertainty (above): beside a column "D8" of means, {"variable": "D8", "conditions": {"uncertainty": "sd"}} holds their standard deviations. A table records what the paper reports; it is not split into result entries, and result entries are not repeated in a table. A test's quantity binds a cell as it binds a result entry, with the cell's conditions (§3.3.3, Quantities and table cells).

Tables are the standard form of numerical results. More than a handful of numbers from one evidence object (as a rule, more than eight that share a variable or a condition) are a table, not a list of result entries (warning 40). Rows are the compared units: the values of the conditions that tell them apart (the methods, cases, groups or sample sizes). Columns are the variables, each a definition of kind variable where the paper defines one, with the conditions that set a variable apart (a nominal level, a subset, a statistic) as the column's conditions or statistic. Conditions every value shares go on the table. A claim cites the rows it rests on (E12.T1.r1), or the table. Result entries remain for a single headline number that has no table, and for an observation a cell cannot hold: one with an interval, an uncertainty or n, or an excerpt. Values are given to the precision the paper reports; values from a lab record are rounded to four significant digits, except a value a test's quantity binds (§3.3.3), which keeps the precision its verdict was computed at. The full-precision values are a data artefact (a CSV file), which each table names in artefact.

Evidence E12 of entrylib:2026.000001 compares two methods on 4,500 M4 series. Version 1 listed its fifteen numbers as result entries ({"variable": "m4 cov80", "value": 0.7460771604938237, "conditions": {"method": "adam_select"}} and fourteen more). Version 2 records them as one table, its full-precision values in the data artefact A10 that E12 names, and its claim C5 cites the two rows:

"tables": [{"id": "T1", "description": "R auto.msarima and auto.adam error selection on the fresh M4 sample, backcasting", "conditions": {"data": "D9", "initial states": "backcasting"}, "row_labels": ["method"],
  "columns": [{"variable": "D4", "conditions": {"nominal level": 0.8}},
              "D13",
              {"variable": "D14", "statistic": "median"},
              {"variable": "D4", "conditions": {"nominal level": 0.8, "D7": "low"}},
              {"variable": "D4", "conditions": {"nominal level": 0.8, "D7": "mid"}},
              {"variable": "D4", "conditions": {"nominal level": 0.8, "D7": "high"}},
              "range of the 80% coverage over the level terciles",
              "share of series for which dlnorm is selected"],
  "rows": [{"id": "r1", "label": ["D8"], "values": [0.7461, 0.02236, 0.7514, 0.7865, 0.7425, 0.7092, 0.0773, 0.6702]},
           {"id": "r2", "label": ["D10"], "values": [0.6923, 0.0352, 0.6872, 0.8193, 0.7098, 0.5477, 0.2715, null]}]}]

D8 and D10 are the two methods, D9 the series, D4 coverage, D7 the level terciles, D13 the mean calibration error and D14 the scaled pinball loss. C5 cites E12.T1.r1 and E12.T1.r2 and states the pattern: auto.adam error selection lowers MCE from 0.0352 to 0.0224 and the range of the 80% coverage from 0.272 to 0.077, short of the planned reduction of MCE. Its test's quantities bind cells of this table (§3.3.3, Quantities and table cells).

Contrasts. A value that compares two positions on one dimension (a difference in means, a ratio, an odds ratio, a standardised effect size, the p-value of a comparison, a rank difference) is an observation of the pair. Its conditions name one position as usual and the other under the reserved key comparator; its variable says what the contrast is (a defined variable such as "difference in mean MASE", or text). {"variable": "D11", "conditions": {"D26": "D1", "comparator": "D2", "D5": "D14"}, "value": -0.013, "interval": {"level": 0.95, "lower": -0.021, "upper": -0.005, "kind": "confidence"}} is CES against ETS on the M3 monthly series. The comparator lies on the dimension whose value it replaces: a member of the same group, or a value of the same variable. A table of contrasts has comparator in its conditions, its row labels or its columns' conditions. The atom of a claim resting on a contrast has the same comparator (§3.3.5).

Tables and claims. The table is the record of its values; a claim is the record of what the paper concludes from them. A claim resting on a table states the pattern the paper draws (which method, treatment or group is higher or lower, on which variables, under which conditions, including where the paper's own is worse) and cites the table or the rows that hold the values (E2.T1, E2.T1.r3); it repeats a value only when the conclusion turns on that value ("selected for 6 of the 11 groups", "coverage 0.947, the closest to 95%"). A claim that only retells a table's values, with no conclusion of the paper's own, is not written: the claim that uses the table cites it directly. A comparison stated this way is still one claim (§8 rule 2). A pattern that no claim, warrant or open question uses and that states no loss, limit or null result of the paper's method is not written either (§3.3, Secondary claims in converted papers).

"tables": [{"id": "T1", "description": "Mean MASE and MSIS of three methods on the M3 monthly series, horizons 1 to 18",
  "conditions": {"D5": "D14"}, "row_labels": ["D26"],
  "columns": [{"variable": "D8", "statistic": "mean"}, {"variable": "D9", "statistic": "mean"}], "units": ["1", "1"],
  "rows": [{"id": "r1", "label": ["D1"], "values": [0.861, 6.95]},
           {"id": "r2", "label": ["D2"], "values": [0.874, 6.71]},
           {"id": "r3", "label": ["D3"], "values": [0.902, null]}]}]

Here D26 is the group of compared methods (members D1, D2, D3), D5 the group of data sets, D14 the M3 monthly series, and D8 and D9 the error measures, of kind variable, each a mean over the series. Had the paper given the median MASE as well, it would be a third column, {"variable": "D8", "statistic": "median"}; had its table put the mean and the median in rows, each row would say its statistic and the columns none. The same form holds a table of a psychology experiment (rows: condition × group; columns: mean reaction time, its standard deviation), of a chemistry paper (rows: catalyst; columns: yield at each temperature, {"variable": "D4", "conditions": {"D6": 350}} with D6 the temperature in Cel), of a linguistic survey (rows: language; columns: whether each construction is attested, boolean values) or of a legal study (rows: court × year; columns: the number of appeals by outcome). A participant or sample flow (screened, excluded for each reason, analysed) is a table of counts whose rows are the stages, so a flow diagram is a figure that shows it (§3.6).

Excerpts and qualitative evidence. A qualitative finding rests on excerpts. Each excerpt the paper gives for a theme is an observation whose variable is the theme's presence (or the theme itself), whose conditions name the participant or document, and whose value is the excerpt: {"id": "R3", "variable": "D7", "conditions": {"participant": "P07", "D3": "D2"}, "value": {"text": "I used to be the stroke nurse. Here I'm just a nurse.", "locator": "transcript P07, lines 112-113"}}. A linguistic example is an excerpt with its translation, and its gloss in the linguistics extension; a cited passage of a judgment is an excerpt with its paragraph. (The exemplars of the qual profile until v0.31 are recorded this way.)

Setup (setup; recommended for evidence of every profile except formal): the frame of the study, its parts each recorded once as a definition (§3.2) and named here by role, so that claims, evidence objects, reviews and other papers can refer to each part on its own. {studied, cases, procedure, lens, context}, each a list of definition IDs; roles that do not apply are left out: - studied: what the study is about or compares: methods and models, interventions and exposures, the phenomenon of interest (in forecasting: the competing methods, each with the settings that define it; in a qualitative study: the experience or phenomenon explored). - cases: what or whom it is studied on: data sets, populations, samples, participants, sites, documents (the series collections with their frequency and size; a simulation's data-generating process; the interviewees with how many there were). - procedure: how the cases are obtained and analysed: the evaluation scheme (fixed or rolling origin, origins, horizons, refits), the trial or survey design, the sampling and data collection, the analytic approach (thematic analysis, grounded theory, a regression model used as the analysis). - lens: what is recorded about each case and through what it is read: the variables observed (error measures, outcomes, scores, judgements) with their aggregation, instruments and scales, the coding frame, a theory used to read the data. - context: where and when, when it bounds the study: the setting, institutions, period.

The roles are those of the frames used to specify studies across fields, under names that fit any design:

A part's role is the role it plays in this study; its kind (§3.2) is what it is. They usually agree (a variable in lens, a population in cases) but need not: a method can be studied in one paper and part of the procedure in another (a regression used as the analysis), and a theory can be studied or be the lens. The boundary most often in doubt is between procedure and lens: procedure is what was done to obtain and analyse the cases; lens is what was recorded about them and the terms in which they were read.

Definitions of borrowed parts name their source (a data set, a published method, a standard measure or instrument, an analytic approach); the definition says what this paper specifies (the subset, the settings, the horizon, how the approach was applied). Evidence objects that share a part point to the same definition, and a claim's statement marks the parts it names ([[D7:rolling origin]]). setup adds no content of its own: the description still says, in a sentence, what was done. The closed lists of the qual profile (data_sources, analytic_approach) are kept: they classify, and the setup's definitions say what exactly was done.

"setup": {"studied": ["D1", "D2", "D3"], "cases": ["D5", "D6"], "procedure": ["D7"], "lens": ["D8", "D9"]}

The keys of v0.23 to v0.29 map to these: compared → studied, data → cases, design → procedure, measures → lens.

Execution (execution, optional): what was actually run, when it differs from or adds to the artefact versions. {code_version, software, hardware, notes}; code_version is the commit or version that produced the results.

Models in the research design (models, optional, any profile): {model, role, settings, record_source, prompts} - model: model ID (§3.12). - role: subject (the model is what is studied) · instrument (the model performs a measurement or analysis step) · annotator (the model labels or codes data) · generator (the model produces data or stimuli) · baseline (the model is a comparison method). - settings: object, e.g. {effort, temperature, top_p, seed, max_tokens}; individual values may be null. - record_source: recommended (§3.11). - prompts: artefact ID of kind prompt.

**Profile quant** design (experiment · quasi_experiment · observational · survey · benchmark · other), estimand, estimate, interval ({level, lower, upper, kind}), uncertainty (§3.4), n, model.

**Profile qual** data_sources (list: interview · focus_group · ethnography · observation · document · other), n_participants_or_cases, sampling, analytic_approach (thematic · grounded_theory · ipa · discourse · framework · case_study · content_analysis (coding material against a codebook and counting the codes) · source_criticism (establishing a primary source's origin, author, date, purpose and reliability, and reading it in its context) · other), reflexivity (text). Excerpts are results (above).

**Profile observation** records (required): what was recorded, each {kind, artefact, description}. kind: image (a micrograph, a photograph, a gel or blot, a telescope image) · spectrum (any signal over a frequency, mass or energy axis: NMR, IR, mass spectrum, X-ray diffraction pattern) · structure (a crystal or molecular structure determined from data) · specimen (a physical specimen examined and described: a type specimen, a fossil, an object) · recording (a signal over time: a trace, a light curve, a seismogram, an EEG) · other. artefact: the artefact holding the record, the figure that shows it and, better, the original file (an uncropped blot, a spectrum's raw data); recommended (warning 37). description: what the record shows, as text. n: optional, how many records or specimens. A figure named as a record's artefact is of function specimen (an image or recording that is itself evidence) or data_plot (a spectrum or trace drawn from data) (§3.6); results read off it name it in read_from. What was seen is recorded as results: a band present (true), a peak position (7.26 with unit ppm), a ring diameter (42 with unit uas and its uncertainty), a character of a specimen (a category).

Field detail (instrument settings, acquisition parameters, the lanes of a blot, a specimen's catalogue number and repository) belongs to extensions (§2.7).

Choosing the profile. The profile follows how the evidence supports the claim:

• observation: the claim is what a record shows, and the paper presents the record: the band is there, the spectrum has these peaks, the structure is this one, the specimen has these characters, the image shows a ring. A number measured off a record (a peak position, a diameter) is a result of observation evidence.
• quant: the claim rests on a statistical analysis across cases, including measurements taken from many records (band intensities quantified over replicate blots and compared by a test, a mass fitted from images with a model). Such evidence may be derived_from the observation evidence whose records it measures.
• qual: the claim rests on interpreting words, documents or practices. A document examined as an object (its paper, hand, binding) is a specimen record; a document read for what it says is qual.

**Profile simulation** model, parameters (artefact ID), runs, seeds, outputs.

**Profile formal** foundation (the standard system the proof works in, e.g. ZFC, Kolmogorov probability axioms, Peano arithmetic, or a proof assistant's logic such as Lean 4 / dependent type theory), assumptions (list of assumption claim IDs: paper-specific axioms and theorem conditions), steps (list), proof_artefact (artefact ID of a machine-checkable proof, if any), checker (if machine-checked).

The formal claim's statement is the theorem; formal evidence does not restate it. Standard foundations are named in foundation and are not restated as claims. Paper-specific axioms and theorem conditions are assumption claims (§3.8).

Each proof step: {id, statement, by, rule} - statement: LaTeX. - by: list of IDs the step rests on (earlier steps, claims, definitions, assumptions, cited results). - rule: the inference used, e.g. assumption, definition, substitution, linearity of expectation, induction. Steps may be coarse, but every step names what it rests on.

Derivations in converted papers. A converted claimset does not restate the source's derivations. Its formal evidence states the foundation and the assumptions, and points at the derivation with source_spans; steps are given only for the steps the paper's argument turns on, if any. A reader who needs the full derivation reads it in the source.

3.5 Warrant

Warrants are for informal argument. Mathematical proofs use proof steps (§3.4).

3.6 Artefact

Figures. A figure is recorded by what it does: - data_plot: a view of observations (a chart, a forest plot, a dose–response curve, a spectrum, a flow diagram of counts). It shows the observations, which are recorded as results, tables or bulk data; claims cite the observations, and may cite the figure besides. Values that exist only in the plot are read off it and recorded with read_from (§3.4). - specimen: an image or recording that is itself evidence (a micrograph, a gel or blot, a scan, a photograph of a document or object, an audio sample). What the paper reads from it is recorded as observations whose read_from names it (a band present, a structure counted, a script identified); the evidence that presents it is of profile observation, which lists it in records (§3.4). - diagram: shows an idea, not data (a model's structure, a mechanism, a pipeline, a conceptual framework). It is never evidence: what it shows belongs in definitions (a method, a procedure) or concepts, written out in text, and support does not cite it. A reading model learns little from an image; it learns from the observations. Images are files of the submission package (§2.5), never embedded in the claimset.

Bulk data. Data larger than the paper reports (results per series or per participant, raw measurements, simulation outputs) are artefacts in tabular files (CSV), with columns naming the variable or dimension of each column. Their rows are observations like the file's own, and are cited by RFC 7111 fragment, A4#row=12 (a row) or A4#row=12-40 (rows). What the claims rest on is recorded in the file as results and tables; bulk data supports and extends them.

Tables are stored as data (CSV or JSON), not images. Prompts are stored verbatim, including system prompts. A trace is the log of an agent's run (prompts, tool calls, outputs) as recorded by the system that ran it; it may contain confidential material and uses the availability levels in §3.10. A manuscript is a human-readable version of the same work (e.g. a LaTeX or PDF draft) from which the claimset was prepared. An artefact taken from prior work (a public data set, a package the paper's evidence uses) points to its reference; its uri and version are given when the paper gives them.

A uri on a git host (GitHub, GitLab, Bitbucket, Codeberg and the like) names a full commit hash, e.g. https://github.com/org/repo/tree/<40 hex digits>/path, not a branch: a branch moves, so the link would later show other content than the evidence used (warning 21). A repository can still be deleted; archive_uri keeps a copy that outlives it.

3.7 Relations

Typed links from a claim to a claim or work outside this paper, or to another claim of this paper: {type, reference, target, id_type, locator, archive_uri, self, note}.

• type: supports · contradicts · extends · refines · replicates · fails_to_replicate · supersedes · addresses (the claim answers a problem, gap or limitation that the target states) · explains (the claim explains why the target's result holds) · qualifies (the claim states an exception, a boundary or a condition of the target) · disputes_evidence (the claim argues that the target's evidence or reasoning does not establish it, without asserting the opposite: a re-reading of its sources, a flaw in its design).
• reference: the ID of the cited work in references (§3.13). Either reference, or target with id_type, is given.
• target: a global claim ID when the target is a claimset; otherwise the identifier of the work (paper, book, software release).
• id_type: claimset · doi · arxiv · handle · pmid · isbn · url · curie · physical · claimset_local (a claim of a paper in the same repository not yet published, §2.4) · local (a claim of this paper: target is its ID, e.g. "C4").
• locator: optional; where in the target the related result is, e.g. "eq. 29 and B.6", "Section 4.2", "function adam(), lognormal scale".
• archive_uri: required for url targets: an archived snapshot.
• self: true when the target work shares a human supervisor, guarantor or contributor with this paper.
• note: optional; one self-contained sentence saying what the target states that the relation is about, e.g. for addresses: "Selection among ETS models often misidentifies the type of trend." It describes the target; it is not a claim of this paper.

Novelty says what the claim is relative to earlier work, as far as the authors searched: no_prior_found (the authors found no earlier result stating the claim; this reports their search, not a proof that none exists), replication (it repeats an earlier result, on new data or by other means), extension (it carries an earlier result to new conditions), refutation (it shows an earlier result false). A no_prior_found claim cites the closest earlier result the authors found, when there is one, as a relation (addresses or extends) with a note saying how the claim differs; a reader then sees what was found and can judge the difference. For a converted paper, no_prior_found records that the source presents the claim as its own finding.

Relations within the paper. depends_on says that a claim's argument needs another claim as a premise. Claims of one paper stand in other relations too, and these are relations with id_type: local: an explanation explains the result it accounts for ("M wins on short series because its initial states are estimated jointly" explains "M has the lowest error on series shorter than 36 observations"); an exception or boundary qualifies the claim it limits ("M does not improve on N for intermittent series" qualifies "M improves on N on the retail data"); the paper's results may support, contradict or refine one another; and a claim may disputes_evidence another that the paper reports and then questions. An explanation does not depend on the result it explains, and a result does not depend on its explanation: neither is the other's premise. The types replicates, fails_to_replicate, supersedes and addresses are for other works only.

Required relations: novelty: refutation ⇒ at least one contradicts or fails_to_replicate; novelty: replication ⇒ at least one replicates or fails_to_replicate. Recommended: novelty: extension ⇒ an extends relation. A refutation with self: true is a self-correction; the platform records it separately from self-citation.

3.8 Assumptions

Assumptions are claims whose sole support kind is assumption, so they sit in the claim graph and can be queried across papers. They are taken as given, not found, so they have no novelty. They carry extra fields:

For axiom, check is untestable. Claims list the assumptions they rely on in assumptions. Converters must surface implicit assumptions and mark them inferred.

3.9 Limitations

Limitations are threats to a claim within its stated scope. What the work did not cover belongs in scope, not here.

3.10 Availability

Applied to evidence and artefacts.

Every evidence object and every artefact has an availability (rule 75): whether the material can be checked is what verifiability is computed from (§5), and readers filter on it. A paper that says nothing about it gives not_stated, which records a fact, not a default.

3.11 Contributors

Authorship and accountability are separate. Agents write; one person answers for the research: the guarantor, the main author and the person to contact, who submits the claimset and confirms it on the platform. Other people who took part are supervisors or contributors. A converted paper's conversion is answered for by its conversion guarantor, a person or an organisation.

A paper may pass through several agents without its history being kept. At minimum, the agent that prepares the submission lists itself; paper.contribution_record states how complete the list is. Before submission, the agent asks the responsible human who the guarantor is and which licence applies.

Common fields

Human fields

Organisation fields (a conversion guarantor only)

Agent fields

Positions - author: produced the paper's content: wrote the analysis, the claims or the text, including turning the team's own draft into a claimset. Agents only. Every agent that produced content is an author; list each one. - supervisor: oversaw the agents' work and approved the final version. Humans only. Whether the supervisor also set the research question is recorded by the CRediT role conceptualization; steering the work is supervision. - guarantor: the main author: answers for the research, whether the claims are true and the work was done properly, and is the person to contact about the paper. Submits the claimset and confirms it on the platform, responds to queries and correction requests, holds ethics approvals and data-protection responsibilities, and agrees to the licence. A person with an ORCID iD, never an organisation. Native papers: exactly one, the supervisor or another responsible researcher. Converted papers: at most one, a source author who has claimed the conversion. Co-authors are listed as supervisors or contributors. - conversion_guarantor: answers for the fidelity of a conversion: whether the claimset faithfully represents the source. Does not answer for the research itself, and is a party separate from the guarantor. Exactly one per converted paper: a person with an ORCID iD or an organisation, typically the organisation operating the conversion service. Converted papers only. - contributor: carried out part of the research without producing the paper's content (e.g. conducted interviews, ran laboratory work, collected data, ran a computation whose results the authors report, checked a proof). Humans or agents. - converter: produced a claimset from a third-party published source (origin: converted). Agents only. Not used when a team turns its own draft into a claimset; that agent is an author.

For converted papers, research accountability stays with the source authors and the venue that published the source; they are recorded in converted_from.source_authors, not as guarantor, unless one of them claims the conversion.

CRediT roles (14, from the CRediT taxonomy): conceptualization · data_curation · formal_analysis · funding_acquisition · investigation · methodology · project_administration · resources · software · supervision · validation · visualization · writing_original_draft · writing_review_editing.

AI tasks (agents): task is one of ideation · literature_search · analysis · code · writing · json_preparation · review · submission; extent is full · substantial · assisted.

3.12 Models

Each model used anywhere in the paper is defined once.

3.13 References

Each work the paper cites is listed once, in the top-level references, and cited by its ID from support entries, relations, definitions, artefacts and tests (test.registration, §3.3.3). {id, target, id_type, archive_uri} - id: B1, B2, …. - target and id_type: as for cited support (§4): an identifier (doi, arxiv, …), a global claim ID of a claimset (id_type: claimset), a paper or claim of the same repository not yet published (id_type: claimset_local, §2.4), or the reference as printed in the paper's reference list (id_type: reference). - archive_uri: required for url targets, unless the claimset holds a captured copy of the page: an artefact that names the entry in reference and whose version is the copy's hash (a captured source, lab record §5.20; private copies keep their hash in the record). Give one whenever the page can be archived (warning 32). Only works that a support entry, relation, definition, artefact or test points to are listed.

3.14 Open questions

Questions the paper raises and does not answer: a conjecture it states without testing, a case it could not settle, a direction it proposes for further work. They are not claims: nothing supports them and nothing rests on them, and they are not reviewed or scored. Recording them as questions keeps what is useful to a reader looking for open problems, without presenting it as a finding.

4. Support kinds

Each support entry: {kind, <required pointer>, …attributes}.

Attributes: - On any empirical kind: optional artefacts (e.g. "supported by Figure 15" → {"kind": "empirical_quant", "evidence": "E3", "artefacts": ["A15"]}). - On any empirical kind: optional results, the specific observations the claim reports: result entries, tables, table rows, or rows of a bulk data artefact of the evidence (e.g. {"kind": "simulation", "evidence": "E20", "results": ["E20.R1", "E20.T1.r2", "A4#row=12"]}). Recommended whenever the statement quotes values, so readers can check each value against the recorded observation. A diagram (§3.6, Figures) is never among a support entry's artefacts. - On cited: reference (the ID of the cited work in references, §3.13), or target with id_type (doi · arxiv · handle · pmid · isbn · url · curie · physical · reference · claimset_local) and archive_uri (required for url: an archived snapshot); optional locator (where in the cited work, e.g. "Theorem 3.1"); self (boolean, below). Where a claimset of the cited work exists, target may be its global claim ID. - id_type: curie: a compact identifier prefix:local whose prefix is registered in the Bioregistry (which also resolves the prefixes of identifiers.org), for works and things that DOIs, arXiv and PubMed do not cover: legal sources (ecli: for court decisions, eli: for legislation), database records (pdb:1abc, geo:GSE12345), biological resources (rrid:…), standards and archival records. The same form is used by definitions' identifiers (§3.2). - id_type: reference: the cited work has no identifier in the paper's reference list. target is the reference as printed there (authors, year, title, venue), copied, not reconstructed. It is for converted papers, whose sources often print no DOIs; native papers give an identifier. Identifiers are never guessed: the platform may later resolve a printed reference to an identifier. - self is true when the cited work shares any human supervisor, guarantor or contributor with this paper, or (for converted papers) any source author. Shared agent systems are recorded but computed by the platform, not flagged by the file. - Meta-analyses: performed in the paper → empirical_quant with data_origin: secondary; cited → cited.

5. Strength and verifiability

Two separate dimensions. Confidential evidence is less verifiable, not necessarily weaker.

Strength is a list of assessments, so multiple parties can assess the same claim and disagreements stay visible: {by, reviewer_type, strength, rationale, source_span} - by: author · reviewer. In converted papers, assessments record only a strength the source itself states (e.g. "weak evidence suggests"), as by: author with a source_span. A converter does not assess the claims it converts: what the source does not say is not in the file, and judgements of a conversion and its claims are platform assessments (§6). - reviewer_type: ai · human (required for reviewer) - strength: high · moderate · low · very_low (ordinal, after GRADE / GRADE-CERQual; no numeric confidence) - Not applicable to assumption claims or formal claims.

Checks record independent attempts to verify a claim, whatever their outcome. Each entry: {by, outcome, extent, notes} - by: contributor ID of the checker, who must not be an author. An agent checker is listed as a contributor with the AI task review. - outcome: confirmed (the check reproduced the claim) · disputed (the check found an error or could not reproduce a step or result) · inconclusive (the check could not be completed, e.g. a step was too coarse to follow). - extent: full (the whole claim) · partial (some steps or results only; say which in notes). - notes: self-contained; for disputed, the step or number in question and why. - resolution: optional, on a disputed check only: how the dispute was resolved (e.g. the claim was corrected and rechecked). An unresolved dispute stays visible. For formal claims a check is a re-derivation; for empirical and simulation claims it is a reproduction from the artefacts. Checks are reported honestly: a failed check is recorded, not omitted.

Verification replaces strength for formal claims (type: formal). It is required when the paper itself proves or argues the claim (support formal_proof or argument); a formal result the paper cites is cited support of the claim that applies it, not a claim of its own. It summarises the checks: - machine_checked: a proof assistant checked the proof; the formal evidence has proof_artefact and checker. - agent_checked: at least one full, confirmed check by an agent, and no unresolved dispute. - peer_checked: at least one full, confirmed check by a human, and no unresolved dispute. - disputed: at least one unresolved disputed check. - unchecked: no full confirmed check (partial or inconclusive checks may be listed).

Independence of checks. An agent checking a claim on the same model as the agent that wrote it catches slips but shares its blind spots. The file records which models were used; the platform weights checks by independence (different provider, different model, same model in a fresh context, in decreasing order) and the validator warns about same-model checks. The platform may add its own independent checks; these are stored as platform assessments (§6), not in the file.

Verifiability is computed by the platform from the availability of the evidence, artefacts and models the claim's support points to. Submissions may omit it; if supplied, it must match the platform's computation. - open: everything needed to check the claim is public or platform-available; formal claims are machine-checked, have full proof steps, or (converted papers) have their derivation located in an openly licensed source. - audit_only: checking requires audit or author_only material. - unverifiable: rests on unavailable material, on expert_judgement alone, or on unstated support. - not_applicable: assumption claims.

Verifiability flags (computed, list): - api_model_dependency: the supporting evidence relies on a model with weights: api_only; the result may not be reproducible once the model is withdrawn. - availability_not_stated: an evidence object or artefact the claim's support points to has availability not_stated; the claim is computed as open if nothing else limits it, and the flag says that this was not confirmed. - figure_without_data: a supporting figure is a data_plot with neither underlying_data nor shows, or a specimen that no observation is read from (§3.6). (Revised in v0.32.) - unpublished_prompts: a model used in the research design has no prompts artefact. - unrecorded_model_settings: a model used in the research design has no settings, or its record_source is absent or self_reported. - unstated_support: the claim's support is unstated. - lab_record_withheld: the claim came from a lab record whose availability is not public. - lab_events_withheld: the claim's hypothesis event, or a run in its evidence's lab_runs, is listed in the lab record's withheld_events. - unanchored_plan: the claim's planning is confirmatory but planned_at_anchor is none.

The flags concern models used to produce evidence, not the model that wrote the paper. The platform recomputes verifiability and flags as availability changes (e.g. when an API model is retired).

6. Assessment by the platform

Platform assessments (AI reviewer agents, audits, replication checks, conversion reviews, independent re-derivation of formal claims, scope-consistency reviews) are stored in the database, not the file. Human review is an optional layer, except for sampled review of conversions.

Reviews of a published claimset, the author's responses, human resolutions of disputed comments, and the credibility scores and novelty assessments the reviewer gives are platform records beside the file, specified in the revision specification. A review never changes a published version; the author may answer it with a revision (§9).

7. Identifiers and source trust

The claimset's identifier. The platform assigns every published claimset a persistent identifier at publication: a DOI once the platform registers DOIs, and until then a provisional identifier of the platform (EntryLib). Both are built by the same rule and behave alike: one identifier for all versions, extended by @v<n> for a version and #<local ID> for an object, never reused.

The provisional identifier. entrylib:<year>.<number>, with <year> and <number> as for the DOI below: entrylib:2026.000123, entrylib:2026.000123@v2#C3. It is permanent: a claimset first published with it keeps it as paper.id in every later version, and it resolves to the claimset on the platform for as long as the platform exists. How a DOI is added to such a claimset, once the platform registers DOIs, is specified when it does; the provisional identifier stays valid either way.

The claimset's DOI. When the platform registers DOIs, it mints a DOI for every claimset it publishes, at publication, and registers it with DataCite under the platform's DOI prefix.

• Form: doi:<prefix>/claimset.<year>.<number>. <year> is the year of first publication; <number> is the claimset's sequence number among those first published that year, with at least six digits, zero-padded. Example: doi:10.0000/claimset.2026.000123, where 10.0000 stands for the platform's prefix throughout this specification. The suffix holds nothing else (no title, author, subject or source), so nothing in it can later become wrong.
• One DOI for all versions. Corrections and revisions keep the DOI; a version is named by appending @v<n>, and an object by appending its local ID: doi:10.0000/claimset.2026.000123@v2#C3 (§2, §9). The DOI resolves to the claimset's page on the platform, which shows the latest version, its status and the list of earlier versions.
• Converted papers get a DOI of their own by the same rule; a claimset never takes its source's DOI (rule 30), and the source is recorded in converted_from. A conversion of a new version of the source is a new claimset with a new DOI (§9).
• Never reused. A DOI is never deleted or given to another claimset. A retracted or withdrawn claimset keeps its DOI, which resolves to the claimset and its status (§9).
• Before publication a submission has only the platform's internal submission ID (§2.2), which is never cited. In a repository, a paper that is not yet published is named by its path (§2.4).

The file records identifier type and venue facts for cited works only. Trust in a source is a derived score computed by the platform. Papers published on Claimset are scored by the same rules as all others.

8. Statement text rules

1. One assertion per statement. A claim is one atom: one subject (the method, model, group of methods, population or object the claim is about), one relation (what is asserted of it: is lower than, is stationary when, improves, is equivalent to), at most one comparator (what it is compared with; a named group, such as "the univariate methods", is one comparator), and one set of conditions (the data, setting, sample size, horizon or parameter region under which it holds). A statement with two subjects, two comparators or two sets of conditions is two or more claims, whatever its wording. Write the atom first and the statement from it; the atom is recorded in the claim's about (§3.3.5). A statement also holds more than one claim when one part could be true and another false. Signs of it: a semicolon; contrast (but, while, whereas, although, however); addition (as well as, also, in addition, moreover, furthermore, not only); explanation (because, since, due to, thus, therefore, hence, which explains), which usually joins a result to its explanation, two claims of different types linked by explains (§3.7); an assertion in a side clause (, which …) or in parentheses; a recommendation added to a finding (should, recommend); a claim citing results of more than one evidence object; and and joining two verbs. The grouping of rule 2 (one subject against one comparator under one set of conditions, better on some measures and worse on others) stays one claim.
2. Granularity rule: split a statement into separate claims when its parts differ in support, scope or status; keep it whole when splitting would lose meaning. A qualitative theme is one interpretive claim with a warrant; sub-themes become separate supporting claims only if they have their own evidence. Atoms are grouped into one claim only when they share subject, comparator and conditions and differ in the measure or summary: "M has a lower mean and median MASE than N, but a higher MSIS" is one claim, supported by the table holding the numbers, whose values it does not repeat (§3.4, Tables and claims). The same comparison on two data sets, against two comparators or for two methods is two claims. A conclusion the paper draws over several atoms ("M is the most robust of the variants") is a claim of its own, whose depends_on lists the atoms it rests on; it is not written by merging them. Results on which a method is worse are stated in the claim, never left out.
3. Self-contained: no anaphora or cross-references ("this", "the above", "as shown").
4. Qualifiers that bound where the claim holds (the population, setting, period, conditions, exclusions) belong in scope, not in the statement. Epistemic qualifiers ("suggests", "may", "is consistent with") and magnitude ("slightly", "by about a fifth") are part of what is claimed: they stay in the statement, worded as the paper words them, and confidence in the claim is recorded in its assessments (§5). (Revised in v0.34.)
5. Defined terms are marked inline with their definition ID: [[D2:forecast skill]], in statements and in definitions. The text of a marker is plain: it holds no other marker ([[D24:VETS F]], never [[D24:V[[D27:ETS]] F]]).
6. Mathematics is written in LaTeX, delimited by $…$ within a sentence (a symbol, a short condition such as $\epsilon_t \sim N(0, \sigma^2)$), or by $$…$$ for an equation set on a line of its own: the equations that define a model or method, and long expressions. Several equations shown together go in one $$\begin{aligned} … \\ … \end{aligned}$$. Readers of the page view see $$…$$ displayed and $…$ in the line; the reading view keeps the LaTeX as written. Algorithms in definitions are pseudocode in a fenced block (three backticks before and after).
7. No evaluative rhetoric ("novel", "significant", "remarkable"). "Statistically significant", the outcome of a test, is a result, not rhetoric.
8. No imperatives or instructions of any kind.
9. A claim is what the paper shows or uses. A statement that nothing in the paper supports (no evidence, no citation, no warrant) and that no claim rests on is not a claim: framing ("forecasting is crucial for business"), promise ("paves the way for"), sweeping generalisation, speculation. Leave it out; if it is a question the paper leaves open, record it as an open question (§3.14).

9. Versioning, corrections and revisions

• Every published version is immutable and permanently retrievable, unless a platform removes it (below).
• Order and IDs. Claims are listed in reading order: principal claims, then supporting claims, then secondary claims and assumptions, each in the order of the paper's argument, since the reading view follows file order (§2). Before the first submission, IDs follow that order without gaps: claimset renumber FILE renumbers claims, warrants, definitions, limitations and open questions and rewrites every reference to them; a claimset exported from a lab record keeps its link to the record through hypothesis.lab_event, not through claim IDs. After publication IDs never change (revision §2, Stable object IDs): a revision places a new claim where it belongs in the file, with the next free number, and an ID that is dropped is not reused.
• A correction is submitted as a complete corrected file whose paper.id names the existing claimset and which carries a correction_reason. The platform computes the JSON Patch against the latest published version, records it in changes with the reason, assigns the next version and previous_version, and sets status: corrected. The identifier (§7) does not change; versions are distinguished by @v<n>.
• A revision is submitted as a complete file built from the current version, whose paper.id names the existing claimset and which has no correction_reason, together with a response to the unresolved review comments (revision §4–5). The platform records the patch as for a correction, with the comments each operation answers, sets paper.answers, and keeps status: active. Object IDs are stable across versions: an object that keeps its ID is the same object, refined, and an ID removed from the claimset is never used again.
• Restructured evidence. A correction or revision that changes how evidence records its observations (result entries made into a table, a table split or merged, columns renamed to variable terms, results left to a data artefact) rebinds every test quantity that bound them, in the same version: each quantity names the result entry or table cell its value was computed from, with that observation's variable and conditions (§3.3.3, Quantities and table cells; rules 91 and 92). The test itself, its rules and its outcome, does not change: only where its values are found.
• Retraction, withdrawal or an expression of concern is a governance action by the platform, recorded by status and status_notice. The paper's content is retained so references still resolve, and every reader sees the status and reason. The platform assigns status and status_notice to every version as it serves them, so a retracted claimset is served with status: retracted even though its published file is unchanged.
• A platform may remove a claimset whose content must not be served (rights, personal data, the law). At every address of every version it then serves a notice instead, {"id", "status": "removed", "notice"}, whose notice has the fields of a status_notice; it is not a claimset file. The identifier is never given to another claimset. How a platform decides and records these actions is its own policy, not part of this specification.
• Global IDs without a version resolve to the latest version and carry its status.
• For converted papers, corrections to the conversion are new claimset versions. A new version of the source is a new conversion with a new DOI, linked to the earlier claimset by a supersedes relation.

10. Validation rules

10.1 Rules for every file (errors: file rejected)

1. All IDs are unique; all references resolve.
2. Every claim has at least one support entry.
3. assumption is the sole support kind of its claim; the claim carries no strength assessments and has assumption_category and check. assumption_category: axiom ⇒ check: untestable.
4. Claims are the paper's own: role is principal, supporting or secondary, and novelty is not restatement (background and restatement removed in v0.16; prior work is cited, related, defined or an artefact, §3.3.4). (Revised in v0.16 and v0.18.)
5. contributions lists only principal claims; every principal claim appears in contributions.
6. type: interpretive ⇒ warrant present, or (from v0.39) a support entry of kind argument with its warrant.
7. formal_proof support ⇒ verification present; evidence has foundation and either steps or proof_artefact, or, in converted papers, source_spans locating the derivation. (Revised in v0.14.)
8. depends_on contains no cycles.
9. provenance or field_provenance values extracted/inferred only when paper.origin: converted; source_spans required in that case.
10. Each support kind carries its required pointer (§4); cited carries reference or target with id_type. (Revised in v0.16.)
11. Every limitation affects at least one claim; every claim's limitations resolve.
12. availability.level other than public and not_stated ⇒ reason present; audit/author_only/platform ⇒ content_hash present. (Revised in v0.34: not_stated.)
13. verifiability and verifiability_flags, where present, match the platform's computation (§5).
14. The guarantor is a human with an orcid. The conversion_guarantor is a human with an orcid or an organisation. An organisation holds no position other than conversion_guarantor. (Revised in v0.36.)
15. author and converter positions are held only by agents; supervisor only by humans.
16. paper.origin: native ⇒ at least one author, exactly one guarantor, no conversion_guarantor, and autonomy present. (Revised in v0.36.)
17. paper.origin: converted ⇒ exactly one converter, exactly one conversion_guarantor, all converted_from fields present, no autonomy; at most one guarantor, a person listed in converted_from.source_authors (matched by ORCID). (Revised in v0.36.)
18. Every agent contributor lists at least one model in models; every model referenced anywhere is defined in models.
19. All required fields in §3.11 and §3.12, and paper.title, paper.licence, paper.contributions, paper.contribution_record and paper.origin are present.
20. Model roles, where given, are consistent: sole ⇒ the agent lists one model; at most one orchestrator per agent.
21. trace, if present, points to an artefact of kind trace.
22. unstated support only in converted papers, and as the sole support kind of its claim.
23. In converted papers, every assessment with by: author has a source_span.

10.2 Submission rules (errors)

24. Platform-assigned paper fields (version, previous_version, changes, date, status, status_notice) are absent.
25. paper.id is absent, except in a correction, where it names an existing published claimset and correction_reason is present, or in a revision, where it names an existing published claimset and a response accompanies the file. (Revised in v0.21.)
26. correction_reason present ⇒ paper.id present.

10.3 Published-file rules (errors; checked by the platform at publication)

27. All platform-assigned fields in §2.2 are present; paper.id is an identifier assigned by the platform (§7). (Revised in v0.35.)
28. version > 1 ⇒ previous_version and changes present.
29. status other than active ⇒ status_notice present.
30. paper.id differs from converted_from.source_id.
31. paper.origin: converted ⇒ converted_from.source_licence is a licence that permits conversion, and paper.licence is a licence the claimset may carry under it, both as in the table in §3.1 (Licence of a converted paper). (Revised in v0.13: non-commercial sources are allowed, and the claimset keeps their non-commercial condition.)
32. The guarantor has confirmed consent through their ORCID-linked account; a conversion guarantor has confirmed through their ORCID-linked account or, for an organisation, an authorised account. (Revised in v0.36.)

10.5 Rules added in v0.9 (errors: file rejected)

33. novelty: refutation ⇒ at least one relation of type contradicts or fails_to_replicate; novelty: replication ⇒ at least one relation of type replicates or fails_to_replicate.
34. Every relation has type and either reference (resolving to an entry of references) or target with id_type; id_type: url ⇒ archive_uri. (Revised in v0.16 and v0.32: id_type: local, rule 71.)
35. type: formal ⇒ no assessments; type: formal with formal_proof or argument support ⇒ verification present.
36. (Revised in v0.10.) verification is consistent with checks as defined in §5; machine_checked ⇒ the formal evidence has proof_artefact and checker.
37. Formal evidence has no theorem field.
38. Result IDs are unique within their evidence object; every results reference in a support entry resolves within the evidence that entry points to: E<n>.R<m> to a result, E<n>.T<m> to a result table, E<n>.T<m>.r<k> to a row of that table, A<n>#row=<k> or A<n>#row=<k>-<l> to rows of a bulk data artefact of that evidence. (Revised in v0.14 and v0.32.)

10.6 Rules added in v0.10 (errors: file rejected)

39. Every check has by, outcome and extent; by is a contributor that does not hold author; a disputed check has notes.
40. verified_by is not used (replaced by checks).
41. checks do not appear on assumption claims. (Revised in v0.16.)

10.7 Rules added in v0.11 (errors: file rejected)

42. (Revised in v0.39.) hypothesis present ⇒ hypothesis.outcome and planning present. (Until v0.38: hypothesis.lab_event present as well.)
43. (Revised in v0.39.) planning is confirmatory or confirmatory_with_deviations ⇒ planned_at_anchor present, and planned_at present unless planned_at_anchor is registry and test.registration names the registration (the registry holds the date).
44. (Revised in v0.39.) Any claim has hypothesis.lab_event ⇒ paper.exploration present, and exploration.lab_record is an artefact of kind lab_record.
45. (Revised in v0.12.) exploration counts are non-negative integers; hypotheses.total equals the sum of the other hypothesis counts (open included, 0 if absent); tests.total, if tests is present, equals the sum of its verdict counts; runs.total equals confirmatory + exploratory; failed ≤ total.
46. (Revised in v0.12 and v0.39.) Among claims with hypothesis.lab_event (claims exported from a lab record), for each outcome (supported, not_supported, inconclusive): the number of claims with test reporting it does not exceed the corresponding exploration.tests count, and the number of distinct hypothesis.lab_event values among claims without test reporting it does not exceed the corresponding exploration.hypotheses count.

10.8 Rules added in v0.12 (errors: file rejected)

47. planning is confirmatory or confirmatory_with_deviations ⇒ test present, with a framework from the list, non-empty supported and not_supported rules, the parameters its framework requires, and verdict (computed or judged); verdict: computed ⇒ quantities present; flags, if present, are from the list in §3.3.3. (Revised in v0.39: a quantity's field, if present, is value, value.limit, value.min, value.max, interval.lower, interval.upper or uncertainty.<kind>.)

10.9 Rules added in v0.14 (errors: file rejected)

48. Tables appear in evidence of any profile except formal. Each has an id (T1, T2, …) unique within its evidence object, a description, row_labels (a list, possibly empty) and columns (a non-empty list of distinct entries, each a non-empty string or {variable, conditions}, which may also carry statistic and approximate (§3.4, from v0.39)), and a non-empty list of rows; each row has an id (r1, r2, …) unique within the table, a label with one entry per row label, and values with one entry per column, each a value as in rule 66 or null, at least one value in the table not null, and may carry statistic and approximate (§3.4, from v0.39 as amended on 2026-11-09). units, if present, has one entry per column; artefact, if present, resolves. (Revised in v0.32: values of any type; tables in any profile except formal.)

10.10 Rules added in v0.15 (errors: file rejected)

49. converted_from.corrections appears only in converted papers. Each correction has field, where, printed, recorded and reason, all non-empty strings, and field begins with the ID of an object in the file (e.g. C28.statement).
50. A definition's source, if present, is a non-empty string or an object with a target and an id_type from the list for cited support (§4).

10.11 Rules added in v0.16 (errors: file rejected)

51. references: each entry has an id (B1, B2, …) unique in the file, a target and an id_type from the list for cited support, and archive_uri when id_type is url, unless an artefact that names the entry in reference holds a captured copy of the page (its version is the copy's sha256: hash; warning 32). Every reference in a support entry or relation, and every definition source that looks like a reference ID, resolves to an entry; every entry is pointed to at least once (by a support entry, relation, definition or artefact; artefacts since v0.18).
52. Each entry of converted_from.corrections whose field names a claim field corresponds to that field's provenance being inferred (through field_provenance, or the claim's provenance).

10.12 Rules added in v0.17 (errors: file rejected)

53. Assessments have by: author or by: reviewer (converter removed in v0.17); in converted papers, only by: author.

10.13 Rules added in v0.18 (errors: file rejected)

54. An artefact's reference, if present, resolves to an entry of references.

10.14 Rules added in v0.19 (errors: file rejected)

55. exploration.covers, if present, has a non-empty list of questions whose length is exploration.questions; lab with non-negative integer counts of questions, hypotheses and tests in the form of §3.1.1, none below the paper's own count; and other_papers entries with a paper name and a non-empty list of questions. No question is listed for two papers.
56. paper.study, if present, is a name of lower-case letters, digits and hyphens starting with a letter.
57. A target with id_type: claimset_local is <study>/<paper>.claimset.json, optionally followed by #C<n>. When the file lies in a claimset/ folder, the named file exists there and holds the named claim. Published files contain none: the platform replaces them with global IDs.

10.15 Rules added in v0.20 (errors: file rejected)

58. from_exploration in exploration.hypotheses or in exploration.covers.lab.hypotheses, if present, is an integer from 0 to that object's total.

10.16 Rules added in v0.21 (errors: file rejected)

59. Review-comment references are global IDs <claimset ID>@v<n>/RV<k>.c<m>: each entry of a claim's test.addresses and of an operation's addresses in paper.changes. paper.answers, if present, is a response ID <paper.id>@v<paper.version>/RP<k>.

10.17 Rules added in v0.22 (errors: file rejected)

60. A claim that is not an assumption has a novelty; an assumption claim (support of kind assumption) has none. The value new of earlier versions is no_prior_found.

10.18 Rules added in v0.23 (errors: file rejected)

61. (Revised in v0.30 and v0.34.) Every evidence object whose profile is not formal has a setup, with only the keys studied, cases, procedure, lens and context, each a non-empty list of IDs of definitions, at least one key present; formal evidence has no setup.

10.19 Rules added in v0.24 (errors: file rejected)

62. Each open question has an id O<n>, a non-empty question that follows the text rules, and only the fields of §3.14; its claims, if present, resolve to claims.

10.20 Rules added in v0.30 (errors: file rejected)

63. Every definition has a kind, one of the values of §3.2. (Revised in v0.34: required of every definition, not only those named in a setup or a claim's about.)
64. about: every principal claim has one; no assumption claim has one. It has subject and relation, each a non-empty string, and conditions, a list (possibly empty); object and comparator are present, each null or a slot value; object may instead be a non-empty list of IDs of definitions of kind variable (measure until v0.31). A slot value is a non-empty string: when it has the form of a definition ID (D followed by digits) it resolves to a definition, and that definition is marked in the claim's statement ([[Dn:…]]). relation is text, never an ID.

10.21 Rules added in v0.31 (errors: file rejected)

65. A definition's members, if present, is a non-empty list of IDs of other definitions, each of the same kind as the definition, which has one; no definition is a member of itself, directly or through other definitions' members.

10.22 Rules added in v0.32 (errors: file rejected)

66. Observations. Results appear in evidence of any profile except formal. Each result has an id and a variable (a non-empty string; quantity is not used) and a value that is a number, a non-empty string, a boolean, an excerpt with a non-empty text and locator and only the fields of §3.4, or (from v0.39) a limit (bound upper or lower, a number limit, optional level between 0 and 1, no other fields) or a range (numbers min ≤ max, optional level between 0 and 1, no other fields). Every string of the form of a definition ID in a result's or table's variable, conditions (keys and values), row_labels, columns and row labels resolves to a definition; a variable that names a definition names one of kind variable or concept, or a group of them; a condition or row label whose dimension is a group is one of its members or (from v0.39) a definition of the group's kind, a control or baseline compared with them; read_from, if present, names an artefact of kind figure or recording and has a precision. Evidence of profile qual has no exemplars.
67. Artefacts and figures. A figure has a function; shows, if present, is a list of references that resolve as in rule 38, given only for a data_plot; encoding, if present, has only the keys of §3.6; a support entry's artefacts names no figure of function diagram. columns, if present, is a list of {name, variable, dimension, unit} with a non-empty name and exactly one of variable and dimension, each resolving as in rule 66 when it is a definition ID.
68. Definitions. A definition's kind is not measure (renamed variable in v0.32); part_of and broader, if present, are non-empty lists of IDs of other definitions, and neither link forms a cycle (no term is part of, or a kind of, itself, directly or through others); a definition with broader has the kind of each broader definition that has one; its identifiers, if present, is a list of compact identifiers prefix:local, the prefix of lower-case letters, digits, dots, hyphens and underscores, starting with a letter. A target with id_type: curie has the same form.
69. Declarations. paper.declarations, if present, has only funding, competing_interests, ethics and consent; each funding entry has a non-empty funder; each ethics entry has a non-empty body and a decision from the list of §3.1; competing_interests and consent are non-empty text. (Revised in v0.39: a funding entry has only funder, funder_id, award, kind and role; kind, if present, is grant or in_kind; role, if present, is non-empty text.)
70. Package. When the claimset is validated as part of a package (§2.5): every artefact whose uri is a relative path names a file of the package, its version is sha256: followed by that file's checksum, and the file is in the package's manifest with the same checksum. When it is submitted alone, outside a package, no artefact has a relative uri (checked where a file is submitted: by the platform and claimset submit; claimset validate of a file beside its files does not check it). A published file has no relative uri. (Amended 2026-11-11: a claimset submitted alone.)
71. Relations within the paper. A relation with id_type: local has a target that is the ID of another claim of this paper and a type from supports, contradicts, refines, explains, qualifies and (from v0.39) disputes_evidence; the relations explains among the paper's claims form no cycle; a claim does not both explains a claim and list it in depends_on.
72. Derived evidence. Each entry of an evidence object's derived_from names another evidence object of this paper and has a how from the list of §3.4; derived_from forms no cycle.
73. Assumptions of a term. A definition's assumptions, if present, is a non-empty list of IDs of assumption claims (support of kind assumption).
74. Contrasts. A comparator in an observation's conditions (of a result, a table, a row label or a column) is a definition ID or text; when it is a definition ID and another condition of the observation has a value that is a member of a group, the comparator is a member of the same group.

10.23 Rules added in v0.34 (errors: file rejected)

75. Availability. Every evidence object and every artefact has an availability with a level from §3.10.

10.24 Rules added in v0.35 (errors: file rejected)

76. Claimset identifiers. paper.id, where present, is a claimset identifier: doi: followed by a DOI prefix (10. and four to nine digits) and /claimset.<year>.<number>, or entrylib:<year>.<number>; <year> is four digits and <number> at least six. A target with id_type: claimset is a claimset identifier, optionally followed by @v<n> (n ≥ 1) and then optionally by # and a local ID.
77. Package limits. A package (§2.5) keeps within the limits of §2.5: the number of files, the size of each file and of the payload, the form of every path, the manifest listing exactly the files of data/, and the file types. A zip is checked before it is unpacked: its entries' sizes and paths, and that it holds no links.
78. Excerpt locators. A structured excerpt locator has only artefact, start, end and lab_event; artefact resolves to an artefact; start and end are integers with 0 ≤ start < end; lab_event, if present, is a lab record event ID (CD3, AC2.CD3). When the claimset is validated as part of a package and the artefact is a packaged text file, the excerpt's text is that file's characters start to end.

10.25 Rules added in v0.37 (errors: file rejected)

79. Specification version. schema_version names a version of this specification from the baseline (v0.39) to the validator's own (§2.6). A file following an earlier version is refused, and claimset migrate brings it to the current one. A file following a later version is refused because its rules are not known to the validator: the file may be valid, and a current validator can check it.

10.26 Rules added in v0.38 (errors: file rejected)

80. Extensions (§2.7). extensions, if present, is an object whose keys are extension names (lower-case letters, digits and hyphens, starting with a letter) and whose values are versions (<major>.<minor>). Each declared extension, at the version declared, is known to the validator; one that is not is refused with a message saying that the validator does not know it, and that a current validator may. ext appears only on the objects listed in §2.7, is an object, and each of its keys is a declared extension whose specification allows it on that object; each block is an object. The rules of each extension apply to its blocks.

10.27 Rules added in v0.39 (errors: file rejected)

81. Plans of confirmatory tests. A claim with planning confirmatory or confirmatory_with_deviations has hypothesis, and its test names the plan: lab_plan or registration, or both. test.registration, if present, is the ID of an entry in references. planned_at_anchor: registry ⇒ test.registration present.
82. Intervals and uncertainty (§3.4). An interval of a result or of an evidence object's estimate has only level, lower, upper and kind; lower and upper are numbers with lower ≤ upper; level, if present, is a number between 0 and 1; kind, if present, is confidence, credible or prediction. uncertainty, if present, is a non-empty list of components, each with a kind from §3.4 and either value or both plus and minus, all non-negative numbers; level, if present, is between 0 and 1; label, if present, is non-empty text; two components of the same kind have different labels; no other fields. An interval or uncertainty is given only with a numeric value. A table column's condition uncertainty is a kind from §3.4.
83. Locations and constructs (§3.2). location, if present, is on a definition of kind setting and is a non-empty list of points with only latitude (a number from -90 to 90), longitude (a number from -180 to 180) and an optional non-empty label. measures, if present, is on a definition of kind variable and is a non-empty list of IDs of definitions of kind concept.
84. novelty: not_applicable only on claims whose role is not principal.
85. paper.collaborations, if present, is a non-empty list; each entry has a non-empty name and optionally identifiers, a non-empty list of compact identifiers; no other fields.
86. Types. Every field has the type this specification gives it: one ID or a piece of text is a string, a list is a list, an object an object. A value of another type is an error under the rule of its field and, where no rule names that field's type, under this rule. This rule states what every version assumed, and applies to files of every version (the errata of v0.38 say so).
87. Statistics (§3.4). statistic, if present on a result, a table column object or a table row, is a name from the list in §3.4, or an object whose name is one and whose other fields are only the parameters that name takes: on mean, kind (one of the list in §3.4) and, with kind trimmed or winsorised, trim, a number above 0 and below 0.5; on quantile and expectile, probability, required, a number above 0 and below 1; on moment, order, required, a whole number of at least 1, and central, a boolean; on kurtosis, excess, a boolean; on any name, label, non-empty text, required on other. No cell of a table has a statistic from both its row and its column. approximate, if present, is true. (Revised on 2026-11-09: names grouped and added, families with parameters, statistics on rows.)
88. Units and targets (§3.2). unit, if present, is on a definition of kind variable or setting and is non-empty text. targets, if present, is on a definition of kind intervention and is a non-empty list of IDs of definitions of kind substance, organism, biological_material, entity or process.
89. Observation evidence (§3.4). Evidence of profile observation has records, a non-empty list; each record has a kind from the list in §3.4 and only kind, artefact (the ID of an artefact) and description (non-empty text). Evidence of other profiles has no records.

10.28 Rules added in v0.40 (errors: file rejected)

90. Highlights (§3.1). paper.highlights, if present, is a list of one to five distinct IDs, each the ID of a claim listed in paper.contributions or of a definition without source.

10.29 Rules added in v0.41 (errors: file rejected)

91. Quantities bind (§3.3.3). For a claim whose test has verdict: computed, each quantity (other than a count of the qualitative extension) binds exactly one observation of the evidence objects the claim's support names: a result entry, or a table cell with its table's, row's and column's conditions, whose variable is the quantity's, whose conditions include every condition the quantity gives, and whose statistic is the quantity's statistic when it gives one; the observation has a number at the quantity's field; statistic, if given, is a statistic of §3.4. A quantity may bind nothing, or an observation without that number, only when hypothesis.outcome is inconclusive (warning 41).
92. Outcome of a computed test (§3.3.3). When every quantity of a computed test binds, its supported and not_supported rules, evaluated on the bound values and the numeric parameters, give hypothesis.outcome: supported when only supported holds, not_supported when only not_supported holds, inconclusive when both or neither hold. Rules that cannot be evaluated are an error under this rule.
93. An agent's label (§3.11) is a string of 1 to 60 characters; only agents have one.

10.4 Warnings (file accepted, warning recorded)

1. A recommended field in §3.11 or §3.12 is missing.
2. An agent's record_source is absent or self_reported.
3. paper.contribution_record is partial or unknown.
4. autonomy: human_supervised without a supervisor, or autonomy: human_assisted without a human contributor.
5. No paper.classification.keywords in a submission.
6. Three or more claims share an identical scope object (often a sign of scope copied by section; check each claim).
7. novelty: extension without an extends relation.
8. Quant, observation (from v0.39) or simulation evidence with neither estimate, results nor tables.
9. An artefact without licence, unless it names the cited work it is taken from (reference) and is not a file of the submission package (§2.5). (Revised in v0.33.)
10. An agent contributor that is not an author has the AI task writing; agents that produced the paper's content are authors.
11. A check was made by an agent that runs on the same model as an author agent.
12. A number in a claim's statement cannot be matched to the results the claim cites, at the precision stated (heuristic; a percentage matches a value given as a fraction, 0.767, or in percent, 76.7). Applies to cited result entries; cited tables and rows are not checked.
13. planning: exploratory on a principal claim: exploratory findings can be principal, but readers should be told so in the claim's assessment rationale.
14. id_type: reference in a native paper: give the cited work's identifier.
15. A supporting claim that no principal claim rests on, directly or through other claims (by depends_on or assumptions, including the assumptions of the evidence a principal claim cites and the assumptions it inherits from the terms it rests on, §3.2 Assumptions of a term): link it to the claim that rests on it, or make it secondary. (Revised in v0.32 and v0.33.)
16. A principal or supporting claim rests on a secondary claim (by depends_on or assumptions): a claim that a contribution rests on is supporting.
17. A number in the statement of a claim with empirical_quant, empirical_obs (from v0.39) or simulation support matches, at the precision stated, no value in: the results (value, interval, uncertainty, conditions) and tables (conditions, cells, row labels) of the evidence the claim cites; that evidence's estimate, interval, uncertainty and n; the claim's test.parameters and scope; the definitions its statement references. Evidence descriptions do not count. Numbers inside LaTeX, [[D…]] markers and model notation (ETS(A,N,A), AR(1)), and numbers of sections, tables, figures, equations and theorems, are ignored. The reverse of warning 12: a number a statement reports is a recorded result, or a setting in the scope.
18. Two evidence objects have the same execution.code_version and the same results (quantity, value and conditions): one computation recorded twice. Record it once and cite it from every claim it supports.
19. novelty: no_prior_found on a claim whose only support is consensus: if established knowledge already shows the claim, the claim is known (cite it, or relate to it); if it is not, give the support that shows it. (Revised in v0.22.)
20. In a native paper, a principal claim lists a limitation with impact: could_reverse and mitigation: none, and its author assessment neither has strength low or very_low nor names that limitation by ID in its rationale: say how the risk was weighed, or lower the strength.
21. A public artefact's uri is on a git host and contains no full (40-hexadecimal-digit) commit hash: a branch or tag link can change what it shows.
22. A statement shows a sign of holding more than one claim (§8 rule 1): a semicolon, a word of contrast, addition or explanation, a side clause with , which, a parenthesis holding and, also or is/are, a recommendation, or results cited from more than one evidence object. Check it: if one part could be true and another false, split it into claims, each self-contained. A comparison that states where a method is better and where it is not stays one claim.
23. A claim that is not principal, has no warrant and is not formal, whose only support is argument, consensus, expert_judgement or unstated, and on which no claim rests (by depends_on or assumptions): the paper neither shows nor uses it (§8 rule 9). Support it and link it, record it as an open question, or leave it out; in a converted paper, check that the source's argument uses it. The message names rhetorical wording when the statement has some: importance framing ("crucial", "paramount"), promise ("promising", "paves the way"), sweeping generalisation ("always", "it is well known"), speculation ("may", "could"). The wording alone never raises the warning.
24. The statement of a claim with empirical_quant, empirical_obs (from v0.39) or simulation support repeats three or more values of the result tables it cites (§3.4, Tables and claims): state the pattern the paper concludes and cite the table or rows, repeating a value only when the conclusion turns on it; or, if the claim only retells the table, remove it and cite the table from the claims that use it. Numbers are found as for warning 17.
25. A secondary descriptive claim with empirical_quant, empirical_obs (from v0.39) or simulation support (a result, not a conclusion drawn from results) on which nothing rests: no claim depends on it or lists it in assumptions, no warrant names it as a premise, no open question concerns it, and it stands in no relation to another claim of the paper (it neither explains, qualifies, supports, contradicts nor refines one, nor is the target of such a relation, §3.7). Keep it only if it states a loss, limit or null result of the paper's own method; otherwise the result table of its evidence holds it (§3.3, Secondary claims in converted papers). (Revised in v0.33.)
26. A definition without source (a term of the paper's own) is named in the statement of a formal claim and contains no mathematics ($…$): if it is the paper's own method or model, give its defining equations (§3.2, The paper's own method or model).
27. A supporting or secondary claim that is not an assumption has no about (§3.3.5). Also: a slot of about holds text that equals, ignoring case, the term of a definition in the file: give the definition's ID instead.
28. A definition is named in a claim's about and in no setup of the non-formal evidence that claim's support cites, although its kind is method, intervention, population, data, design, variable, substance, organism, biological_material, entity or source (a part of the study that the setup leaves out; the last five from v0.39). A definition counts as named when the setup names it, names a group it is a member of, or names every member of it (§3.2, Groups). (Revised in v0.31.) In v0.34 an evidence object without a setup is an error (rule 61).
29. A native paper has no declarations, or its declarations leave out funding or competing_interests: ask the guarantor and record what they declare (an empty funding list and "None declared." are declarations).
30. A data_plot figure without shows or underlying_data; a specimen from which no observation is read (read_from); or a result whose variable or a table column whose variable is text equal, ignoring case, to the term of a definition in the file (give the ID).
31. A converted paper lies in a claimset/ folder and its file is not named <name>.claimset.json with the name made from its source's identifier (§2.4). The message gives the name.
32. A url reference has no archive_uri, and an artefact naming it holds a captured copy (a page behind a sign-in, or not yet archived): the copy, with its hash, stands in for the archive; give archive_uri if the page can be archived.
33. An extension is declared in extensions and no object has a block of it (§2.7).
34. A claim with planning: confirmatory_with_deviations lists no limitation of category deviation: record each departure from the plan (§3.3.3).
35. In a native paper, an interval without kind, or an uncertainty component of kind unspecified: say what the interval or the ± is (§3.4).
36. A registered test without planned_at: give the registration's date as the registry records it (§3.3.3).
37. A record of observation evidence without artefact: name the figure that shows it and, better, the original file (§3.4).
38. A statistic named other: check whether a name in the list fits with its parameters (a geometric mean is a mean of kind geometric, a percentile a quantile); the labels of other are gathered for the next version's list (§3.4).
39. A native submission without paper.highlights: ask the guarantor which principal claims and which of the paper's own terms a reader should take first, at most five (§3.1). Leave the field out only if the guarantor prefers none. (New in v0.40.)
40. An evidence object has more than eight result entries that share a variable, or more than eight that share a condition key: record them as a table, rows the compared units and columns the variables, and cite its rows (§3.4, Tables are the standard form). (New in v0.40, amended 2026-11-10.)
41. A quantity of a computed test whose outcome is inconclusive binds no observation of the evidence the claim's support names, or binds one without a number at its field (§3.3.3): an inconclusive outcome may rest on no value (a run that failed); if values were recorded, bind each quantity to its result entry or table cell. (New in v0.40, amended 2026-11-11, where it also covered what rule 91 makes an error from v0.41.)
42. (Files of v0.40 only.) The rules of a computed test, evaluated on the values its quantities bind, give another outcome than the claim's hypothesis.outcome. From v0.41 this is rule 92.
43. An agent's name ends in parentheses ("Claude Code (drafting agent)"): the name is the system's; what the agent did goes in label (§3.11).

11. Platform dependencies

Platform functionality is specified in the platform requirements document. The file format depends on the platform for:

• Identifiers and publication facts: assigning the claimset's identifier at publication, a provisional identifier until the platform registers DOIs with DataCite (§7), and assigning version, dates and status (§2.2).
• Guarantor consent: a paper is not published until every human guarantor has confirmed through their ORCID-linked account, and every organisation guarantor through an authorised account.
• Classification: assigning the OpenAlex subfield and topics.
• Derived data: verifiability computation and recomputation, trust scores, claim weights, contradictions, replication status and assessments, stored outside the file.
• Corrections: computing the JSON Patch between versions.
• Source status tracking: for converted papers, the current status of the source is tracked and shown alongside the claimset's own status.
• Conversion review and claiming: sampled human review of conversions, and the process by which source authors review, endorse or claim the conversion of their work.
• Content review: AI review of each claim's scope against its statement, and independent re-derivation of formal claims; findings are returned to the submitting agent as warnings before publication and stored as platform assessments.
• Relation resolution: resolving relation targets to claimsets where they exist, and showing incoming relations (e.g. "contradicted by") on the targets.
• Artefact archiving: at publication, archiving each public artefact whose uri names a commit on a git host (in Software Heritage or a comparable archive) and recording its archive_uri, unless the file gives one.
• Reference resolution: resolving printed references (id_type: reference) to identifiers where one exists, stored as derived data.
• Package storage: storing the files of each submission package by checksum and assigning their permanent locations at publication (§2.5).
• Independence of evidence: following derived_from, so that results resting on the same data are not counted as independent in claim weights, replication status and syntheses.
• Term links: following members, part_of and broader, within a claimset and through the shared entities they resolve to, so that a search for a term also finds what is said about its members, parts and narrower terms, labelled as such.
• Observation index: every result, table cell and row of bulk data, with its variable, conditions and value resolved to shared entities, so that observations can be queried and compared across claimsets.
• Entity resolution: resolving definitions (by kind, term and source) and the text slots of about to shared entities across claimsets, so that the M3 monthly data, the MASE or role ambiguity is one entity whichever paper names it; linking entities to external identifiers (data set and software DOIs, Wikidata, subject thesauri) where they exist. Stored as derived data, never written into the file. Search over papers and claims by the entities in their setups and in the slots of about depends on it.

12. Alignment with existing standards

• Primary: nanopublications. Each claim maps to a nanopublication (assertion = claim; provenance = support, evidence and assumptions; publication info = paper and contributors). Content-hash identifiers suit immutable versions. A claim's about gives the assertion its triple, subject, relation and object, with the comparator and conditions as qualifiers, in the statement model also used by Wikidata.
• Study frames: the roles of a setup (§3.4) correspond to PICO (population, intervention, comparator, outcome), used to specify trials and clinical questions, and to SPIDER (sample, phenomenon of interest, design, evaluation, research type), its counterpart for qualitative evidence synthesis.
• Borrowed: argument structure from micropublications.
• Observations: the W3C RDF Data Cube vocabulary and SDMX (an observation is a measure's value at a point given by its dimensions); the observation models OBOE and SOSA; I-ADOPT for describing variables. Units: UCUM. Bulk tabular data: W3C CSV on the Web (CSVW), with rows cited by RFC 7111 fragments.
• Packages: BagIt (RFC 8493).
• Identifiers of things: compact identifiers with prefixes from the Bioregistry and identifiers.org; ROR and the Crossref Funder Registry for funders; ECLI and ELI for legal sources.
• Contributor roles: CRediT.
• Identity: ORCID for people, ROR for organisations; DOIs for claimsets, and the platform's provisional identifiers until it registers DOIs.
• Classification: OpenAlex topics.
• Secondary mapping: ORKG.
• Mechanism: an optional JSON-LD @context keeps the format plain JSON while enabling RDF export.

13. Open questions

1. Obligation levels for all fields: assign required / recommended / optional to every field outside §3.11 and §3.12.
2. Confidentiality levels within audit and author_only.
3. **Automated audit of author_only data:** how an attested agent runs in the originating environment and reports results.
4. Reason codes for status notices: alignment with Crossref and retraction taxonomies.
5. Assumption and limitation vocabularies: test the proposed categories against real papers in several fields.
6. Excerpts: granularity and confidentiality of excerpts (§3.4), and how consent to publish them is recorded beyond declarations.consent.
7. JSON-LD context: which existing vocabularies to map onto.
8. Guarantor obligations: what research and conversion guarantors commit to, and how unresponsive guarantors are handled.
9. Non-commercial and no-derivatives sources: whether CC-BY-NC sources can be converted, and on what terms.
10. The study frame and the atom across fields (v0.30): whether the roles of a setup, the kinds of definitions and the slots of about can be assigned consistently across paper types (forecasting and other benchmarks, trials, surveys, qualitative studies, simulation studies, theory papers). To be settled by independent coders on papers of each type; roles, kinds or slots on which coders disagree are merged, redefined or dropped in a later version.

Appendix A: native paper — submission

What the agent submits. No identifier, version, date, status, classification IDs or verifiability: the platform adds them.

{
  "schema_version": "0.41",
  "paper": {
    "title": "Method M against the seasonal naive benchmark on UK monthly retail sales",
    "licence": "CC-BY-4.0",
    "classification": {"keywords": ["retail demand forecasting"]},
    "declarations": {"funding": [], "competing_interests": "None declared."},
    "contributions": ["C2"],
    "highlights": ["C2", "D2"],
    "autonomy": "human_supervised",
    "contribution_record": "complete",
    "origin": "native"
  },
  "contributors": [
    {
      "id": "P1", "type": "agent", "name": "Example research agent", "positions": ["author"],
      "models": [{"model": "M1", "role": "sole"}],
      "credit_roles": ["formal_analysis", "software", "writing_original_draft"],
      "ai_tasks": [{"task": "analysis", "extent": "full"}, {"task": "writing", "extent": "full"}, {"task": "json_preparation", "extent": "full"}],
      "tools": ["code_execution", "file_access"],
      "record_source": "harness"
    },
    {"id": "P2", "type": "human", "name": "A. Researcher", "orcid": "0000-0000-0000-0000", "positions": ["supervisor", "guarantor"], "credit_roles": ["conceptualization", "supervision"]}
  ],
  "models": [
    {"id": "M1", "provider": "Example provider", "name": "Example model", "version": "1.0", "identifier": "example-model-1-0", "weights": "api_only", "accessed": "2026-10-01"}
  ],
  "definitions": [
    {"id": "D1", "term": "forecast skill", "kind": "variable", "definition": "Relative reduction in mean absolute scaled error against a seasonal naive benchmark, averaged over series and horizons."},
    {"id": "D2", "term": "method M", "kind": "method", "definition": "The forecasting method studied in this paper, as implemented in version 1.0 of the code."},
    {"id": "D3", "term": "seasonal naive method", "kind": "method", "definition": "Forecasts each month by the value of the same month one year earlier."},
    {"id": "D4", "term": "UK monthly retail sales", "kind": "data", "definition": "1,200 monthly sales series of one UK retailer's store network, 2010-2024, each with at least 36 observations."},
    {"id": "D5", "term": "rolling-origin evaluation", "kind": "design", "definition": "Rolling origin with forecasts for horizons 1 to 12 months from each origin."}
  ],
  "claims": [
    {
      "id": "C1", "statement": "Monthly retail sales series exhibit annual seasonality.",
      "type": "descriptive", "role": "supporting",
      "support": [{"kind": "assumption"}],
      "assumption_category": "data", "check": "unchecked",
      "provenance": "author_stated"
    },
    {
      "id": "C3", "statement": "Forecast errors of method M are independent across series.",
      "type": "descriptive", "role": "supporting",
      "support": [{"kind": "assumption"}],
      "assumption_category": "statistical", "check": "unchecked",
      "provenance": "author_stated"
    },
    {
      "id": "C2",
      "statement": "[[D2:Method M]] improves [[D1:forecast skill]] over the [[D3:seasonal naive method]] on the [[D4:UK monthly retail sales]].",
      "about": {"subject": "D2", "relation": "improves", "object": "D1", "comparator": "D3", "conditions": ["D4"]},
      "type": "descriptive", "role": "principal", "novelty": "no_prior_found",
      "scope": {"conditions": ["horizons of 1 to 12 months"]},
      "support": [{"kind": "empirical_quant", "evidence": "E1", "artefacts": ["A2"]}],
      "assumptions": ["C1", "C3"],
      "limitations": ["L1"],
      "assessments": [{"by": "author", "strength": "moderate", "rationale": "Single benchmark collection, no external replication."}],
      "provenance": "author_stated"
    }
  ],
  "evidence": [
    {"id": "E1", "profile": "quant", "description": "Benchmark of method M against the seasonal naive method on 1,200 monthly retail sales series, rolling origin, horizons 1 to 12.", "setup": {"studied": ["D2", "D3"], "cases": ["D4"], "procedure": ["D5"], "lens": ["D1"]}, "design": "benchmark", "estimand": "mean relative MASE reduction", "estimate": 0.08, "interval": {"level": 0.95, "lower": 0.05, "upper": 0.11, "kind": "confidence"}, "n": 1200, "data_origin": "secondary", "preregistered": false, "artefacts": ["A1"], "availability": {"level": "public"}}
  ],
  "warrants": [],
  "limitations": [
    {"id": "L1", "category": "sampling", "statement": "All 1,200 series come from one retailer's store network.", "affects": ["C2"], "impact": "reduces_transferability", "mitigation": "none"}
  ],
  "artefacts": [
    {"id": "A1", "kind": "code", "uri": "https://example.org/repo", "version": "v1.0", "licence": "MIT", "availability": {"level": "public"}},
    {"id": "A2", "kind": "table", "uri": "https://example.org/repo/results.csv", "version": "sha256:0000", "licence": "CC-BY-4.0", "availability": {"level": "public"}, "description": "Mean relative MASE reduction of method M by forecast horizon, 1 to 12 months."}
  ]
}

Appendix B: the same paper — fields the platform adds at publication

{
  "paper": {
    "id": "doi:10.0000/claimset.2026.000123",
    "version": 1,
    "status": "active",
    "date": "2026-10-20",
    "classification": {"subfield": "openalex:subfields/XXXX", "topics": ["openalex:TXXXXX"], "keywords": ["retail demand forecasting"]}
  },
  "claims": [
    {"id": "C1", "verifiability": "not_applicable", "verifiability_flags": []},
    {"id": "C3", "verifiability": "not_applicable", "verifiability_flags": []},
    {"id": "C2", "verifiability": "open", "verifiability_flags": []}
  ]
}

(Shown as a fragment; the published file is the full submission with these fields merged in.)

Appendix C: converted paper (paper, contributors and one claim, published form)

{
  "schema_version": "0.41",
  "paper": {
    "id": "doi:10.0000/claimset.2026.000456",
    "title": "Example converted paper",
    "version": 1,
    "status": "active",
    "date": "2026-10-15",
    "licence": "CC-BY-4.0",
    "classification": {"subfield": "openalex:subfields/XXXX", "topics": ["openalex:TXXXXX"]},
    "contributions": ["C1"],
    "contribution_record": "complete",
    "origin": "converted",
    "converted_from": {
      "source_id": "arXiv:2601.00000", "id_type": "arxiv", "source_version": "v2",
      "source_licence": "CC-BY-4.0",
      "source_authors": [{"name": "B. Scholar", "orcid": "0000-0000-0000-0001"}],
      "source_status_at_conversion": "active",
      "converter": "P1", "date": "2026-10-14"
    }
  },
  "contributors": [
    {"id": "P1", "type": "agent", "name": "Claimset converter", "positions": ["converter"], "models": [{"model": "M1", "role": "sole"}], "system": {"name": "claimset-converter", "version": "0.1"}, "record_source": "harness"},
    {"id": "P2", "type": "organisation", "name": "Example Ltd", "registration": "UK company 00000000", "positions": ["conversion_guarantor"]}
  ],
  "models": [
    {"id": "M1", "provider": "Example provider", "name": "Example model", "version": "1.0"}
  ],
  "claims": [
    {
      "id": "C2", "statement": "Store-level demand for umbrellas rises on days with rainfall above 5 mm.",
      "type": "associational", "role": "supporting", "novelty": "no_prior_found",
      "support": [{"kind": "unstated"}],
      "verifiability": "unverifiable", "verifiability_flags": ["unstated_support"],
      "source_spans": ["sec2:p4"], "provenance": "extracted"
    }
  ]
}

Appendix C is abbreviated: the principal claim C1 and the remaining sections are omitted.

Appendix D: reading view of the paper in Appendix A

The output of claimset render for the submission in Appendix A. Statements keep their inline term markers ([[D1:…]]), which a reader resolves in DEFINITIONS.

CLAIMSET Method M against the seasonal naive benchmark on UK monthly retail sales
licence CC-BY-4.0; contributions C2; highlights C2, D2
declarations funding: none | competing interests: None declared.

DEFINITIONS
D1 [variable] forecast skill: Relative reduction in mean absolute scaled error against a seasonal naive benchmark, averaged over series and horizons.
D2 [method] method M: The forecasting method studied in this paper, as implemented in version 1.0 of the code.
D3 [method] seasonal naive method: Forecasts each month by the value of the same month one year earlier.
D4 [data] UK monthly retail sales: 1,200 monthly sales series of one UK retailer's store network, 2010-2024, each with at least 36 observations.
D5 [design] rolling-origin evaluation: Rolling origin with forecasts for horizons 1 to 12 months from each origin.

CLAIMS
C2 [descriptive; principal; support: empirical_quant E1 artefacts A2; assumes C1, C3; limitations L1; strength moderate (author)]
  [[D2:Method M]] improves [[D1:forecast skill]] over the [[D3:seasonal naive method]] on the [[D4:UK monthly retail sales]].
  scope: conditions: horizons of 1 to 12 months
C1 [descriptive; supporting; assumption (data, unchecked)]
  Monthly retail sales series exhibit annual seasonality.
C3 [descriptive; supporting; assumption (statistical, unchecked)]
  Forecast errors of method M are independent across series.

EVIDENCE
E1 [quant; design benchmark; data_origin secondary; n 1200] Benchmark of method M against the seasonal naive method on 1,200 monthly retail sales series, rolling origin, horizons 1 to 12.
  setup: studied D2, D3; cases D4; procedure D5; lens D1
  estimate: mean relative MASE reduction = 0.08 (95% confidence interval 0.05 to 0.11)

LIMITATIONS
L1 [sampling; affects C2; reduces_transferability; mitigation none] All 1,200 series come from one retailer's store network.

ARTEFACTS
A2 [table] Mean relative MASE reduction of method M by forecast horizon, 1 to 12 months.

Appendix E: a qualitative paper (definitions, claims, evidence and warrant of a submission)

An invented interview study, to show the frame of §3.4 and about (§3.3.5) outside quantitative work. The paper, contributor, model and reference sections are omitted.

{
  "definitions": [
    {"id": "D1", "term": "transition to rural practice", "kind": "concept", "definition": "The first two years of work of a registered nurse who moves from an urban hospital to a rural one."},
    {"id": "D2", "term": "rural transition nurses", "kind": "population", "definition": "18 registered nurses in their first two years at one of two rural district hospitals, after at least three years in urban hospitals; 15 women, 3 men."},
    {"id": "D3", "term": "two Welsh rural hospitals", "kind": "setting", "definition": "Two district general hospitals in rural Wales, interviews held in 2025."},
    {"id": "D4", "term": "purposive sampling with semi-structured interviews", "kind": "design", "definition": "Nurses chosen for variety of specialty and length of urban experience; one interview each, 45 to 70 minutes, by a guide of eight open questions; recruitment stopped when two interviews in a row added no new codes."},
    {"id": "D5", "term": "reflexive thematic analysis", "kind": "design", "definition": "Thematic analysis in the six phases of Braun and Clarke, by two researchers who coded independently and agreed themes in discussion.", "source": "B1"},
    {"id": "D6", "term": "role theory", "kind": "theory", "definition": "The view that people act according to expectations attached to positions; here used to read accounts of changed expectations.", "source": "B2"},
    {"id": "D7", "term": "loss of clinical identity", "kind": "concept", "definition": "A theme: nurses describe no longer being recognised, by themselves or colleagues, as specialists in the field they practised in before."},
    {"id": "D8", "term": "generalist expectation", "kind": "concept", "definition": "A theme: nurses describe being expected to cover any ward or task, regardless of specialty."}
  ],
  "claims": [
    {
      "id": "C1",
      "statement": "[[D2:Rural transition nurses]] at the [[D3:two Welsh rural hospitals]] describe the [[D1:transition to rural practice]] as a [[D7:loss of clinical identity]].",
      "about": {"subject": "D1", "relation": "is described as", "object": "D7", "comparator": null, "conditions": ["D2", "D3"]},
      "type": "interpretive", "role": "principal", "novelty": "no_prior_found",
      "support": [{"kind": "empirical_qual", "evidence": "E1"}],
      "warrant": "W1", "depends_on": ["C2"],
      "provenance": "author_stated"
    },
    {
      "id": "C2",
      "statement": "[[D2:Rural transition nurses]] report a [[D8:generalist expectation]] at the [[D3:two Welsh rural hospitals]].",
      "about": {"subject": "D2", "relation": "report", "object": "D8", "comparator": null, "conditions": ["D3"]},
      "type": "interpretive", "role": "supporting", "novelty": "no_prior_found",
      "support": [{"kind": "empirical_qual", "evidence": "E1"}],
      "warrant": "W2",
      "provenance": "author_stated"
    }
  ],
  "evidence": [
    {
      "id": "E1", "profile": "qual",
      "description": "Semi-structured interviews with 18 nurses in their first two years at two rural hospitals, analysed thematically.",
      "setup": {"studied": ["D1"], "cases": ["D2"], "procedure": ["D4", "D5"], "lens": ["D6"], "context": ["D3"]},
      "results": [
        {"id": "R1", "variable": "D7", "conditions": {"participant": "P07", "D3": "Hospital B"},
         "value": {"text": "I used to be the stroke nurse. Here I am just a nurse, and people ask me for everything.", "locator": "transcript P07, lines 112-114"}},
        {"id": "R2", "variable": "participants whose accounts show the theme", "conditions": {"theme": "D7"}, "value": 14, "n": 18}
      ],
      "data_sources": ["interview"], "n_participants_or_cases": 18, "sampling": "purposive", "analytic_approach": "thematic",
      "data_origin": "primary", "preregistered": false,
      "availability": {"level": "unavailable", "reason": "personal_data"}
    }
  ],
  "warrants": [
    {"id": "W1", "reasoning": "interpretive", "premises": ["C2"], "text": "Read through role theory, the generalist expectation removes the position from which nurses' specialist expectations of themselves were met; 14 of 18 participants link the two when describing who they now are at work."},
    {"id": "W2", "reasoning": "interpretive", "premises": [], "text": "The theme draws on accounts from 16 of 18 participants across both hospitals and all specialties sampled, including accounts that contradict it, which concern night shifts only."}
  ]
}

The phenomenon is studied, the participants are the cases, sampling, interviewing and the analysis are the procedure, and the theory through which the accounts were read is the lens. The themes are concept definitions, so a reader looking for work on loss of clinical identity among nurses finds C1 by its object, and a reader looking for studies using role theory finds E1 by its lens, without either matching the wording of a statement.