Paper P1336 pagesReviewed manuscript
Provenance as First-Class Execution Semantics
How should provenance compose across mappings, migrations, reconciliation, materialization, and queries?
Question and scope
answer origin, transformation, source-version, assumption, and schema-survival questions.
Research artifacts
provenance algebra, lineage graph, source ranges, trust policy, query interface, and retention model.
Evidence and evaluation
lineage query correctness, composition fixtures, survival tests, and storage/runtime overhead.
Claim boundary
complete provenance is free.