Report

data class Report constructor(val title: String, val totalCount: Int, val byStatus: Map<PropositionStatus, List<Proposition>>, val byLevel: Map<Int, List<Proposition>>, val topByConfidence: List<Proposition>, val sourcePropositionIds: List<String>) : Projection

A structured, deterministic aggregation of a set of propositions.

Implements Projection so the report traces back to the propositions it was derived from via sourcePropositionIds.

Constructors

constructor(title: String, totalCount: Int, byStatus: Map<PropositionStatus, List<Proposition>>, byLevel: Map<Int, List<Proposition>>, topByConfidence: List<Proposition>, sourcePropositionIds: List<String>)

Propositions grouped by abstraction level

Propositions grouped by lifecycle PropositionStatus

open override val confidence: <Error class: unknown class> = 1.0

Reports are structural aggregations, not confidence-bearing derivations.

open override val decay: <Error class: unknown class> = 0.0

Reports do not decay; they are recomputed structurally on demand.

open override val grounding: List<String>

Grounding traces back to the source propositions by default.

open val importance: <Error class: unknown class>

Importance of this derivation (0.0 to 1.0).

Ids of every proposition that fed this report

Human-readable title for the report

Highest-effective-confidence propositions, ordered descending

Total number of propositions aggregated

Render a concise, human-readable breakdown: counts by status, counts by abstraction level, and the overall total.