Skip to content

feat(export): compose inherited corpus projections - #460

Open
tcballard wants to merge 1 commit into
agent/federation-06-mcp-evalfrom
agent/federation-07-exports
Open

feat(export): compose inherited corpus projections#460
tcballard wants to merge 1 commit into
agent/federation-06-mcp-evalfrom
agent/federation-07-exports

Conversation

@tcballard

Copy link
Copy Markdown
Collaborator

Summary

  • compose viewer, documents, and graph exports from the central retained catalog so inherited and overridden parent history is included by default
  • add per-record source/layer/pin and complete override provenance, plus source-aware relationship and graph endpoints, through the published additive schemas
  • add --local-only only to the three approved human export projections; OKF remains an explicitly local projection and MCP/enforcement gain no bypass
  • preserve source-qualified identity and canonical override redirects in the embedded Portal, including same-canonical-ID parent/replacement records
  • keep the prerequisite Portal shell byte-exact for no-manifest repositories and select the source-aware shell only for a composed export
  • fail closed before HTML or OKF writes whose nonexistent, ..-containing, or symlinked target resolves inside the read-only parent materialisation
  • reject conflicting repeated source identity deterministically and preserve exact captured inherited bytes

Stack

Closes #272

Validation

  • federated export emission: 7/7
  • export source identity: 6/6
  • federation loader: 12/12
  • OKF v0.2: 2/2
  • decided CLI: 12/12
  • export schema contracts: fixture, sample, live corpus, checkout stability, and federation cases conform
  • Portal Vitest: 18/18
  • Portal production and single-file viewer builds
  • cargo clippy -p asdecided-core -p decided --all-targets -- -D warnings
  • no-manifest viewer/documents/graph parity and frozen legacy HTML shell hash
  • git diff --check

All listed checks pass.

@tcballard
tcballard marked this pull request as ready for review August 12, 2026 06:06
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