Paper P1828 pagesReviewed manuscript
MDReader as a Reference Application
Can one Markdown corpus support multiple typed projections with visible mappings and provenance?
Question and scope
a SQLite-backed application for document structure, claims, architecture, decisions, requirements, tasks, evidence, and agent context.
Research artifacts
schemas, overlays, inspectors, mapping exploration, migration visualization, semantic diffs, provenance, and optional PostgreSQL sync.
Evidence and evaluation
end-to-end scenarios, constraint violations, historical queries, responsive UI tests, and Claude review.
Claim boundary
MDReader is only vector search or proves universal scale.
Dependencies
- P1: CatDB: A Categorical Semantic Model for Executable Database Schemas
- P2: From Categorical Schemas to Physical Plans
- P3: Schema Migration as a Typed Mapping
- P4: Composable Schema Mappings for Data Integration
- P9: Versioned Semantic Workspaces
- P13: Provenance as First-Class Execution Semantics
- P15: A Rust Runtime for Categorical Data Systems