ReportProjector

interface ReportProjector

Aggregates a set of propositions into a structured Report.

Mirrors the single-method, list-aggregating shape of the memory projector: the caller controls the query (which propositions to include) and the projector organizes the resulting set into a report. Implementations are expected to be deterministic — see StructuredReportProjector for the pure-structural default.

Example usage:

val props = repository.query(PropositionQuery.forContextId(ctx))
val report = StructuredReportProjector().report(props, "Context Overview")
println(report.summary())

Inheritors

Functions

Link copied to clipboard
abstract fun report(propositions: List<Proposition>, title: String = "Report"): Report

Aggregate the given propositions into a structured report.