Repository navigation
inspect: each protocol's wire choices, their sources, and its guarantees - #110
Merged
Merged
Conversation
added 2 commits
November 1, 2026 06:28
`comline inspect` compiles the package without writing to .comline/, like check, and prints per protocol the format, framing and handshake, their parameters and where each came from, then a row per guarantee: held or given up, why, and whether it's accepted. --json prints the same. The model is core's (comline_core::inspect, core#150). Pins: core 4706658, generation 0601f00, comline-rust 6e8715a, comline-typescript 470dc5b.
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.
Closes #83.
comline inspectis a new read-only command. Likecheck, it never writes to.comline/. For each protocol it prints a short header of choices: format, framing and handshake, their parameters, and where each came from. Below that is one row per guarantee, held or given up, with the cause and the acceptance.--jsonprints the same. The model is core'scomline_core::inspect(core#150), which the language-server hover shares.--plain, rows get ✓/✗ and green/yellow, throughanstream(stripped when not a terminal, or withNO_COLOR). Long values get their own indented lines, so the report fits 80 columns, and a test checks that.accepted by <this package>from itsaccept_unverified. Who accepts this package's own protocols can't be seen from here, and the report says so.docs/cli.mdsays so.Tests (
tests/cli/inspect.rs):Pins:
4706658(core#150)0601f00(generation#94)6e8715a(comline-rust#85)470dc5b(comline-typescript#101)Byte-identical:
comline generatebuilt frommainand from this branch gives identical output ontests/fixtures/{chat,simple,validated}_project:--mode lib: 3, 4 and 3 files.Locally:
cargo fmt --check, both clippy configurations andcargo testpass.Merge order: core#150, generation#94, comline-rust#85, comline-typescript#101, then this, then language-server, playground, docs.