Skip to content

Reuse verified map catalogs and align published SQLite readers - #54

Draft
adpena wants to merge 1 commit into
feat/dataset-contractsfrom
codex/map-store-verified-discovery
Draft

adpena wants to merge 1 commit into
feat/dataset-contractsfrom
codex/map-store-verified-discovery

Conversation

@adpena

@adpena adpena commented Nov 1, 2026

Copy link
Copy Markdown
Owner

Default map discovery reconstructs the embedded dataset catalog after DataRelease has already verified it. Reuse that verification and its existing stat cache while retaining the campus identity-schema check.

Keep published SQLite catalog verification, default module map/entity/boundary readers, and publication on the SHA-verified main file. Explicit mutable paths and required-path cached stores retain their read-only WAL behavior. The engine boundary attachment keeps its existing catalog-build fence; this change does not make every engine attachment immutable.

Validation: independent adversarial review of the exact seven-file diff; full canonical scripts/check on Python 3.14.10 and 3.15.2, each with 563 passed and 1 skipped, plus Ruff, ty, dependency checks, and explicit receipt verification. The skipped PostgreSQL round-trip requires a fresh opt-in test database.

This removes duplicate work and aligns artifact integrity checks. Memory behavior and application runtime qualification remain separate gates.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant