Module research 

Native research-run contracts for the A3S Code scientific workflow.

This module contains bounded, digest-bound transport values. It does not resolve packages, choose scientific methods, or decide whether a finding is acceptable. A3S Use owns package and environment authority; hosts own scientific policy and human decisions.

Structs

ResearchCitationV1

One bounded citation from a claim to a source span or evidence fact.

ResearchClaimV1

One content-addressed claim in a research evidence fabric.

ResearchEventV1

Digest-only research event projection for Desktop and other hosts.

ResearchEvidenceCompletenessV1

Digest-only completeness counters for one evidence graph.

ResearchEvidenceFactV1

One append-only, bounded observation in a research evidence ledger.

ResearchEvidenceGraphV1

One immutable projection of claims and citations for a research Run.

ResearchProvenanceReceiptV1

Reproducibility identity for one generated artifact.

ResearchReproducibilityManifestV1

Digests and non-secret parameters that make one research Run reproducible.

ResearchRerunLineageV1

Immutable projection of finding-triggered affected-step re-run lineage.

ResearchReviewBatchV1

One immutable projection of an evaluator result into bounded findings.

ResearchReviewFindingV1

One host-produced scientific review observation bound to exact evidence.

ResearchReviewLocationV1

Bounded location of a reviewer observation in an artifact or source.

ResearchRunV1

Exact Code/Use identity and policy binding for one scientific run.

ResearchWireEnvelopeV1

A strict, versioned envelope carrying one research contract value.

ResearchWireKindDescriptorV1

One source-of-truth descriptor used by SDK artifact generation and parity tests. The payload type is documentation metadata; Rust validation still uses the concrete type in the match below.

ResearchWireTypeV1

Canonical string constants for the version-one wire catalog.

ResearchWorkflowPlanV1

Bounded workflow projection for one research Run.

ResearchWorkflowStepV1

One research-visible workflow step bound to digests and optional receipts.

Enums

ResearchArtifactKindV1

Artifact families that can be bound to a research provenance receipt.

ResearchClaimStatusV1

Explicit claim lifecycle. Missing evidence never becomes an implicit success.

ResearchContractError

Validation failures for native scientific research contracts.

ResearchEvidenceFactKindV1

Stable categories for digest-only research observations.

ResearchProtocolError

Errors produced while decoding or validating a research wire message.

ResearchReproducibilityV1

Reproducibility promise selected by a host for one research run.

ResearchReviewCategoryV1

Product-neutral classes that let a host render and route a finding.

ResearchReviewSeverityV1

ResearchReviewStatusV1

ResearchRunStatusV1

Durable lifecycle state for a research run.

ResearchWireKindV1

Closed top-level payload kinds in research wire version 1.

Constants

RESEARCH_ARTIFACT_KINDS

RESEARCH_CITATION_SCHEMA_V1

RESEARCH_CLAIM_SCHEMA_V1

RESEARCH_EVENT_SCHEMA_V1

RESEARCH_EVIDENCE_FACT_SCHEMA_V1

RESEARCH_EVIDENCE_GRAPH_SCHEMA_V1

RESEARCH_MAX_EVENT_TYPE_BYTES

RESEARCH_MAX_EVIDENCE_GRAPH_CITATIONS

RESEARCH_MAX_EVIDENCE_GRAPH_CLAIMS

RESEARCH_MAX_FACT_METADATA

RESEARCH_MAX_METADATA_VALUE_BYTES

RESEARCH_MAX_REVIEW_FINDINGS

RESEARCH_MAX_WORKFLOW_STEPS

RESEARCH_PROTOCOL_MAX_MESSAGE_BYTES

Maximum JSON payload accepted by the explicit research wire helpers. Maximum encoded envelope size accepted at a process boundary.

RESEARCH_PROTOCOL_SCHEMA_V1

Stable schema identifier for the cross-process research envelope.

RESEARCH_PROTOCOL_VERSION_V1

Version carried by the research wire envelope.

RESEARCH_PROVENANCE_RECEIPT_SCHEMA_V1

RESEARCH_REPRODUCIBILITY_MANIFEST_SCHEMA_V1

RESEARCH_RERUN_LINEAGE_SCHEMA_V1

RESEARCH_REVIEW_BATCH_SCHEMA_V1

RESEARCH_REVIEW_FINDING_SCHEMA_V1

RESEARCH_RUN_SCHEMA_V1

RESEARCH_WIRE_KIND_DESCRIPTORS_V1

Ordered catalog known by research wire version 1.

RESEARCH_WORKFLOW_PLAN_SCHEMA_V1

RESEARCH_WORKFLOW_STEP_SCHEMA_V1