Reactive Research: Tools

Tools for building, validating, resolving, and querying Reactive Research graphs.

reactive-research is the reference command-line implementation for Reactive Research.

Reactive Research represents addressable research objects and their typed relationships so changes to upstream research can generate explicit downstream revalidation obligations.

Quick Start

From the repository:

uvx reactive-research --version
uvx reactive-research --help
uvx reactive-research extract
uvx reactive-research extract --format json

Research Annotations

The canonical compact namespace is RR.

RR.DEFINES: SE-210.Definition.4.3
RR.IMPLEMENTS: SE-210.Theorem.5.2

The expanded namespace is also supported:

REACTIVE-RESEARCH.DEFINES: SE-210.Definition.4.3
REACTIVE-RESEARCH.IMPLEMENTS: SE-210.Theorem.5.2

Namespaces and relationship names are case-insensitive.

Documentation

See the Reactive Research documentation for the model, typed relationships, integration architecture, and command-line API.

Project Family

Reactive Research currently consists of:

• reactive-research-spec manages the normative model;
• reactive-research-registry manages the resolvable graph and snapshots; and
• reactive-research provides executable tooling.

Status

The observation and obligation pilot adds content-addressed snapshots, snapshot-backed resolution, typed impact reports, freeze protection boundaries and Mermaid graphs from shared JSON.

The initial implementation is being exercised against an existing multi-repository research program.

Annotations

.annotations/annotations.md

Changelog

CHANGELOG.md.

Citation

Citation metadata is available in CITATION.cff.

Documentation

Documentation

License

MIT

Repository Manifest

The repository's role, scope, and dependencies are declared in SE_MANIFEST.toml.