Repository navigation
fix: scrub complete sectioned Pi documentation across blank lines - #14
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Pi's sectioned documentation could stop being scrubbed at its first blank line, leaving later documentation and an orphan closing tag in the upstream prompt. Remove the complete docs section when its leading header identifies Pi documentation, while preserving foreign docs and subsequent project context.
Fixes #13.
Two direct tests fail on baseline main
23c98fac(15 pass / 2 fail); corrected suite is 17 pass / 0 fail. Build, standalone TypeScript check, script syntax and pack dry run pass. Adversarial controls preserve adjacent foreign docs byte-for-byte, project instructions, tools, date/cwd and idempotence. No plugin API, adapter scope or version metadata changed.Actual headless Pi 0.87.1 is installed from its renamed canonical package
@earendil-works/pi-coding-agent. The probe inserts a blank line into its native-built docs through a real extension, sends actual CLI requests through built Meridian/SDK, and checks the installed plugin at the SDK boundary.scripts/e2e-pi-sectioned-docs.mjsand durable before/after proof indocs/evidence/13-sectioned-pi-docs.md. Raw client logs stay private.Final-head CI remains a merge gate. No publication authorized; local tarball proof does not claim a registry release.
Final-head build CI passed. Merged as
188115f355f423cbff50b20a2e5fd7d932ec1746; merged treee4002e54eb2ed3c9822f27425befabf9a8a9b347equals validated head. Issue #13 is closed. No package publication performed.