Proposition
data class PropositionWithProvenanceView(val proposition: PropositionNode, val mentions: List<Mention> = emptyList(), val provenance: List<DerivedFrom> = emptyList())
The full proposition view: mentions and provenance (DERIVED_FROM → shared SourceNode).
A second view over the same :Proposition node, distinct from the lean PropositionView (root + mentions). Provenance is heavy and rarely needed on bulk/query/vector paths, so this view is used only where completeness matters. Reads and writes of provenance are raw Cypher keyed by evidence identity, which leaves this view one job: the DELETE_ORPHAN cascade behind DrivinePropositionRepository.delete, where naming the shape is enough to take a proposition's edges with it and prune the sources nothing cites any more.
Constructors
Link copied to clipboard
constructor(proposition: PropositionNode, mentions: List<Mention> = emptyList(), provenance: List<DerivedFrom> = emptyList())