Package-level declarations

Types

Link copied to clipboard
data class ChunkSummary(val chunkId: String, val propositionCount: Int, val preview: String)

Summary of a processed chunk.

Link copied to clipboard
data class CreatePropositionRequest(val text: String, val mentions: List<MentionDto> = emptyList(), val confidence: Double = 0.9, val decay: Double = 0.0, val reasoning: String? = null)

Request to create a proposition directly.

Link copied to clipboard
data class DeleteResponse(val id: String, val status: PropositionStatus, val previousStatus: PropositionStatus?)

Response for delete operation.

Link copied to clipboard

Opt-in Spring configuration that activates all DICE REST controllers.

Link copied to clipboard
class DiscoveryController(store: PropositionStore, projectionRecordStore: ProjectionRecordStore, collectorRunner: CollectorRunner)

Opt-in REST surface exposing the discovery operations over OpenAPI-discoverable endpoints, all returning only the leak-free discovery DTOs.

Link copied to clipboard
data class EntityMemoryResponse(val entity: EntityReference, val propositions: List<PropositionDto>)

Response for memory by entity.

Link copied to clipboard
data class EntityMentionDto(val name: String, val type: String, val resolvedId: String?, val role: String)
Link copied to clipboard
data class EntityReference(val id: String, val type: String, val name: String?)
Link copied to clipboard
data class EntitySummary(val created: List<String>, val resolved: List<String>, val failed: List<String>)
Link copied to clipboard
data class ExtractErrorResponse(val error: String)

Body of a 400 from the extraction endpoints.

Link copied to clipboard
data class ExtractOptions(val schemaAdherence: SchemaAdherenceDto = SchemaAdherenceDto.DEFAULT)
Link copied to clipboard
data class ExtractRequest constructor(val text: String, val sourceId: String? = null, val knownEntities: List<KnownEntityDto> = emptyList(), val schemaName: String? = null, val options: ExtractOptions = ExtractOptions(), val sourceLocator: SourceLocatorInputDto? = null, val sourceRevision: String? = null)

Request to extract propositions from text.

Link copied to clipboard
data class ExtractResponse(val chunkId: String, val contextId: String, val propositions: List<PropositionDto>, val entities: EntitySummary, val revision: RevisionSummary?)

Response from extraction endpoint.

Link copied to clipboard
data class FileExtractResponse(val sourceId: String, val contextId: String, val filename: String, val chunksProcessed: Int, val totalPropositions: Int, val chunks: List<ChunkSummary>, val entities: EntitySummary, val revision: RevisionSummary?)

Response from file extraction endpoint.

Link copied to clipboard

The HTTP half of the schema governance operator surface: read the drift log and the current declaration, run a check, release a quarantined proposition.

Link copied to clipboard

A request whose source locator or revision the extraction endpoints refuse.

Link copied to clipboard
data class KnownEntityDto(val id: String, val name: String, val type: String, val description: String? = null, val role: String = "A referenced entity")
Link copied to clipboard
class MemoryController(propositionRepository: PropositionRepository)

REST controller for DICE memory operations. Provides endpoints for managing stored propositions (CRUD, search, retrieval).

Link copied to clipboard
data class MemoryResponse(val contextId: String, val count: Int, val propositions: List<PropositionDto>)

Response for memory retrieval.

Link copied to clipboard
data class MemorySearchFilters(val status: List<PropositionStatus>? = null, val mentionTypes: List<String>? = null, val minConfidence: Double? = null)
Link copied to clipboard
data class MemorySearchRequest(val query: String, val topK: Int = 10, val similarityThreshold: Double = 0.7, val filters: MemorySearchFilters = MemorySearchFilters())

Request to search memory by similarity.

Link copied to clipboard
data class MemorySearchResponse(val contextId: String, val query: String, val results: List<SimilarityResultDto>)

Response for memory search.

Link copied to clipboard
data class MentionDto(val name: String, val type: String, val suggestedId: String? = null, val role: String = "OTHER")
Link copied to clipboard
data class PropositionDto(val id: String, val contextId: String, val text: String, val mentions: List<EntityMentionDto>, val confidence: Double, val decay: Double, val reasoning: String?, val grounding: List<String>, val provenance: List<ProvenanceEntryDto>, val created: Instant, val revised: Instant, val lastAccessed: Instant, val status: PropositionStatus, val action: String? = null)

Proposition DTO for API responses.

Link copied to clipboard
class PropositionPipelineController(propositionPipeline: PropositionPipeline, propositionRepository: PropositionRepository, entityResolver: EntityResolver, schemaRegistry: SchemaRegistry, contentReader: <Error class: unknown class> = TikaHierarchicalContentReader(), contentChunker: <Error class: unknown class> = InMemoryContentChunker( config = ContentChunker.Config(), chunkTransformer = ChunkTransformer.NO_OP, ), objectMapper: <Error class: unknown class> = jacksonObjectMapper())

REST controller that runs the proposition extraction pipeline over text or uploaded files.

Link copied to clipboard
data class ProvenanceEntryDto constructor(val locator: String, val display: String?, val chunkId: String?, val startOffset: Int?, val endOffset: Int?, val contentHash: String?, val sourceRevision: String? = null)

Slim view of where a proposition came from — one source reference per entry.

Link copied to clipboard
data class RevisionSummary(val created: Int, val merged: Int, val reinforced: Int, val contradicted: Int, val generalized: Int)
Link copied to clipboard
data class SimilarityResultDto(val proposition: PropositionDto, val score: Double)
Link copied to clipboard
data class SourceLocatorInputDto(val kind: String, val value: String, val connectorId: String? = null, val display: String? = null)

A source locator on the wire. kind picks which of the four locator types to build and decides what the other fields mean: connector is the only kind that takes a connectorId, and the other three reject it rather than ignore it.