Skip to content

codex/deferred plugin summaries - #16

Merged
ketan0 merged 1 commit into
codex/structural-change-rangesfrom
codex/deferred-plugin-summaries
Sep 19, 2026
Merged

ketan0 merged 1 commit into
codex/structural-change-rangesfrom
codex/deferred-plugin-summaries

Conversation

@ketan0

@ketan0 ketan0 commented Sep 19, 2026 •

Copy link
Copy Markdown
Contributor

Separate initial plugin presentation from deferred labels. Initial mutation establishes folds; a new enrich hook returns labels for existing region IDs without changing alignment, topology, fold identity, or user collapse state.

Updates the plugin WIT ABI to 0.2.0 and rebuilds the bundled summarizer. The legacy pipeline still returns fully enriched files. Summaries that are rejected leave the initial fold expandable.

Design under discussion: a plugin phase flag using the existing mutate interface may replace the separate enrichment interface later. This PR preserves the currently implemented design.

AI-assisted implementation and review by Codex.

@ketan0
ketan0 added this pull request to stack #19 September 19, 2026 08:58
@ketan0 ketan0 changed the title codex/deferred plugin summaries (wip) codex/deferred plugin summaries Sep 19, 2026
@ketan0
ketan0 marked this pull request as ready for review September 19, 2026 18:43
@ketan0 ketan0 changed the title (wip) codex/deferred plugin summaries codex/deferred plugin summaries Sep 19, 2026
@ketan0
ketan0 force-pushed the codex/deferred-plugin-summaries branch from e876467 to fe16575 Compare September 19, 2026 21:07
@ketan0
ketan0 force-pushed the codex/deferred-plugin-summaries branch from fe16575 to c58880e Compare September 19, 2026 21:20
Add label-only enrichment against stable region IDs; reserve summary folds before network requests. Rebuild bundled summarizer for plugin ABI 0.2. AI-assisted implementation with Codex.
@ketan0
ketan0 force-pushed the codex/deferred-plugin-summaries branch from c58880e to df8ebdc Compare September 19, 2026 22:54
@ketan0
ketan0 merged commit 2b04899 into main Sep 19, 2026
42 checks passed
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.

2 participants