fix(ctx_read,ctx_search,ctx_edit,ctx_refactor): mode handling, honest counts, honest digests

.github/workflows/release.yml

@@ -616,4 +616,3 @@ jobs:
           curl -fsSL -X POST "$WEBHOOK_URL" \
             -H "Content-Type: application/json" \
             -d "{\"action\":\"published\",\"release\":{\"tag_name\":\"${RELEASE_TAG}\",\"html_url\":\"https://github.com/${{ github.repository }}/releases/tag/${RELEASE_TAG}\"}}"
-

docs/contracts/delivery-evidence-v1.json

@@ -1 +1 @@
-{"checklist":[{"evidence":{"evidence_class":"rust-integration-test","harness_command":"cargo test --manifest-path rust/Cargo.toml --test main suite::setup_ci_smoke::setup_bootstrap_doctor_status_json_smoke -- --exact --test-threads=1","path":"rust/tests/suite/setup_ci_smoke.rs","selector":"fn setup_bootstrap_doctor_status_json_smoke()","sha256":"9645a4ffcb9b4ad1b9b33d63aab8709f54265607482f1a712c0810803ca12998"},"external_acceptance_required":true,"local_status":"component-evidence","stage":"setup"},{"evidence":{"evidence_class":"rust-integration-test","harness_command":"cargo test --manifest-path rust/Cargo.toml --test main suite::onboard_doctor_clean::onboard_yes_leaves_doctor_fully_green -- --exact","path":"rust/tests/suite/onboard_doctor_clean.rs","selector":"fn onboard_yes_leaves_doctor_fully_green()","sha256":"3268b39b4e6bb7c95f712d40a3ba857a644e51bce3367810a3bf5ebb76faf256"},"external_acceptance_required":true,"local_status":"component-evidence","stage":"doctor"},{"evidence":{"evidence_class":"rust-unit-test","harness_command":"cargo test --manifest-path rust/Cargo.toml --lib doctor::migrate::tests::contract_outcome_reports_frozen_set -- --exact","path":"rust/src/doctor/migrate.rs","selector":"fn contract_outcome_reports_frozen_set()","sha256":"68c7a247dcd45de6bf4324c703df58bfeca4699dcf4ee51044d748ba2486210b"},"external_acceptance_required":true,"local_status":"component-evidence","stage":"upgrade"},{"evidence":{"evidence_class":"python-unittest","harness_command":"python3 tests/delivery/test_rehearse_delivery.py DeliveryRehearsalTests.test_rehearses_verified_candidate_and_rollback_without_deployment","path":"tests/delivery/test_rehearse_delivery.py","selector":"def test_rehearses_verified_candidate_and_rollback_without_deployment(self):","sha256":"9c8841eea94ae560ca549e5d514c003eb4e1349c748e6b85dc0725e6bee9363a"},"external_acceptance_required":true,"local_status":"offline-rehearsal","stage":"rollback"},{"evidence":{"evidence_class":"rust-integration-test","harness_command":"cargo test --manifest-path rust/Cargo.toml --test main suite::cli_characterization::uninstall_dry_run_exits_zero -- --exact","path":"rust/tests/suite/cli_characterization.rs","selector":"fn uninstall_dry_run_exits_zero()","sha256":"a9fb18a382eb328e79f067415aeabafcbbf2a867dadc96bb6cf0fbb6bff0ddbe"},"external_acceptance_required":true,"local_status":"component-evidence","stage":"uninstall"}],"delivery_manifest":{"fixture":{"path":"tests/delivery/valid/delivery-manifest.json","selector":"\"schema_version\":\"leanctx.delivery/v1\"","sha256":"071b28af209804c7f1e0d5a25bae5fe94ebfe45c51983a416d656c5a84917fd6"},"schema":{"path":"docs/contracts/delivery-manifest-v1.schema.json","selector":"https://leanctx.dev/contracts/delivery-manifest-v1.schema.json","sha256":"80ac91c631969a9ce305d8701d3eb0ca92b69b6defcd3a2ef6f9b4a80c7ae291"},"trust_root":{"path":"tests/delivery/valid/release-trust-root.json","selector":"\"algorithm\":\"Ed25519\"","sha256":"660fbf46674b8a16166026551e50b032a1ccf58a4d260c4bb4e4218235066083"},"verifier":{"path":"scripts/verify-delivery-manifest.py","selector":"def verify(manifest_path, root, trust_root=None, rotation_plan=None):","sha256":"636e85f32ce7cd7bfb7a6257b6abf78e4a5d3719c063537ccaa04be9163f21cc"}},"owner":{"handle":"@yvgude","source":{"path":".github/CODEOWNERS","selector":"* @yvgude","sha256":"9c52bffaef2f21976aac61d2ce42311a0ae6e393a95006a36f54e1d1edc72656"}},"release":{"publish_channels":[{"id":"engine-release","source_path":".github/workflows/release.yml","source_sha256":"51e665df5e98d6ba35ff1df44ce6362f3096a07e6ce305fc1e963f41947c35f0","trigger_pattern":"v[0-9]*"},{"id":"sdk-release","source_path":".github/workflows/publish-sdk.yml","source_sha256":"11d2820857f5d2284a713c249136ffdfd7051ab7d8151d5e50f4df80e8b40f28","trigger_pattern":"sdk-v[0-9]*"},{"id":"client-release","source_path":".github/workflows/publish-clients.yml","source_sha256":"90c28cb48887b551c79b4a265c14d084e90b02d4b8eec20fcd00e60dd858a7c1","trigger_pattern":"client-v[0-9]*"}],"targets":[{"artifact":"x86_64-unknown-linux-gnu","certification":"not-asserted","runner":"ubuntu-22.04","target":"x86_64-unknown-linux-gnu"},{"artifact":"x86_64-unknown-linux-gnu-cuda","certification":"not-asserted","runner":"ubuntu-22.04","target":"x86_64-unknown-linux-gnu"},{"artifact":"aarch64-unknown-linux-gnu","certification":"not-asserted","runner":"ubuntu-22.04","target":"aarch64-unknown-linux-gnu"},{"artifact":"x86_64-unknown-linux-musl","certification":"not-asserted","runner":"ubuntu-22.04","target":"x86_64-unknown-linux-musl"},{"artifact":"aarch64-unknown-linux-musl","certification":"not-asserted","runner":"ubuntu-22.04","target":"aarch64-unknown-linux-musl"},{"artifact":"x86_64-apple-darwin","certification":"not-asserted","runner":"macos-latest","target":"x86_64-apple-darwin"},{"artifact":"aarch64-apple-darwin","certification":"not-asserted","runner":"macos-latest","target":"aarch64-apple-darwin"},{"artifact":"x86_64-pc-windows-msvc","certification":"not-asserted","runner":"windows-latest","target":"x86_64-pc-windows-msvc"},{"artifact":"x86_64-pc-windows-gnu","certification":"not-asserted","runner":"windows-latest","target":"x86_64-pc-windows-gnu"}],"version_gates":[{"id":"release-tag","source":{"path":"scripts/check-release-tag.py","selector":"def verify_tag(tag: str, root: Path) -> str:","sha256":"35147606b1775ac0b6ce191e0743a2253649e54a666c77112c481ee96de8a2ea"},"workflow_selector":"python3 scripts/check-release-tag.py \"${GITHUB_REF_NAME}\""},{"id":"sdk-contract-version","source":{"path":"scripts/check-sdk-versions.py","selector":"def main() -> int:","sha256":"c30437f0e401b52b8464f602f8ed4aa737ff85caa5b8c0823534e3c0ccf406c2"},"workflow_selector":"python3 scripts/check-sdk-versions.py"},{"id":"package-version","source":{"path":"scripts/check-package-versions.py","selector":"def main() -> int:","sha256":"3dd0eefff0fa148eadecd2023f49bff04d00469d1d2c6bb8cb92fe7ad5681b9d"},"workflow_selector":"python3 scripts/check-package-versions.py"}],"workflow":{"path":".github/workflows/release.yml","selector":"name: Release\n","sha256":"51e665df5e98d6ba35ff1df44ce6362f3096a07e6ce305fc1e963f41947c35f0"},"workflow_tag_glob":"v[0-9]*"},"requirement_ids":["BC-04","EN-05","RG-07","RG-11"],"schema_version":"leanctx.delivery-evidence/v1","scope":{"customer_delivery_acceptance":false,"external_operational_acceptance":false,"local_contract_consistency":true,"os_certification":false,"zero_downtime_verified":false},"status":"partial"}
+{"checklist":[{"evidence":{"evidence_class":"rust-integration-test","harness_command":"cargo test --manifest-path rust/Cargo.toml --test main suite::setup_ci_smoke::setup_bootstrap_doctor_status_json_smoke -- --exact --test-threads=1","path":"rust/tests/suite/setup_ci_smoke.rs","selector":"fn setup_bootstrap_doctor_status_json_smoke()","sha256":"9645a4ffcb9b4ad1b9b33d63aab8709f54265607482f1a712c0810803ca12998"},"external_acceptance_required":true,"local_status":"component-evidence","stage":"setup"},{"evidence":{"evidence_class":"rust-integration-test","harness_command":"cargo test --manifest-path rust/Cargo.toml --test main suite::onboard_doctor_clean::onboard_yes_leaves_doctor_fully_green -- --exact","path":"rust/tests/suite/onboard_doctor_clean.rs","selector":"fn onboard_yes_leaves_doctor_fully_green()","sha256":"3268b39b4e6bb7c95f712d40a3ba857a644e51bce3367810a3bf5ebb76faf256"},"external_acceptance_required":true,"local_status":"component-evidence","stage":"doctor"},{"evidence":{"evidence_class":"rust-unit-test","harness_command":"cargo test --manifest-path rust/Cargo.toml --lib doctor::migrate::tests::contract_outcome_reports_frozen_set -- --exact","path":"rust/src/doctor/migrate.rs","selector":"fn contract_outcome_reports_frozen_set()","sha256":"68c7a247dcd45de6bf4324c703df58bfeca4699dcf4ee51044d748ba2486210b"},"external_acceptance_required":true,"local_status":"component-evidence","stage":"upgrade"},{"evidence":{"evidence_class":"python-unittest","harness_command":"python3 tests/delivery/test_rehearse_delivery.py DeliveryRehearsalTests.test_rehearses_verified_candidate_and_rollback_without_deployment","path":"tests/delivery/test_rehearse_delivery.py","selector":"def test_rehearses_verified_candidate_and_rollback_without_deployment(self):","sha256":"9c8841eea94ae560ca549e5d514c003eb4e1349c748e6b85dc0725e6bee9363a"},"external_acceptance_required":true,"local_status":"offline-rehearsal","stage":"rollback"},{"evidence":{"evidence_class":"rust-integration-test","harness_command":"cargo test --manifest-path rust/Cargo.toml --test main suite::cli_characterization::uninstall_dry_run_exits_zero -- --exact","path":"rust/tests/suite/cli_characterization.rs","selector":"fn uninstall_dry_run_exits_zero()","sha256":"a9fb18a382eb328e79f067415aeabafcbbf2a867dadc96bb6cf0fbb6bff0ddbe"},"external_acceptance_required":true,"local_status":"component-evidence","stage":"uninstall"}],"delivery_manifest":{"fixture":{"path":"tests/delivery/valid/delivery-manifest.json","selector":"\"schema_version\":\"leanctx.delivery/v1\"","sha256":"071b28af209804c7f1e0d5a25bae5fe94ebfe45c51983a416d656c5a84917fd6"},"schema":{"path":"docs/contracts/delivery-manifest-v1.schema.json","selector":"https://leanctx.dev/contracts/delivery-manifest-v1.schema.json","sha256":"80ac91c631969a9ce305d8701d3eb0ca92b69b6defcd3a2ef6f9b4a80c7ae291"},"trust_root":{"path":"tests/delivery/valid/release-trust-root.json","selector":"\"algorithm\":\"Ed25519\"","sha256":"660fbf46674b8a16166026551e50b032a1ccf58a4d260c4bb4e4218235066083"},"verifier":{"path":"scripts/verify-delivery-manifest.py","selector":"def verify(manifest_path, root, trust_root=None, rotation_plan=None):","sha256":"636e85f32ce7cd7bfb7a6257b6abf78e4a5d3719c063537ccaa04be9163f21cc"}},"owner":{"handle":"@yvgude","source":{"path":".github/CODEOWNERS","selector":"* @yvgude","sha256":"9c52bffaef2f21976aac61d2ce42311a0ae6e393a95006a36f54e1d1edc72656"}},"release":{"publish_channels":[{"id":"engine-release","source_path":".github/workflows/release.yml","source_sha256":"f760e7050eaad358bd739b57c52c416015c6970820c120f1e46cd8adecfd4a1f","trigger_pattern":"v[0-9]*"},{"id":"sdk-release","source_path":".github/workflows/publish-sdk.yml","source_sha256":"11d2820857f5d2284a713c249136ffdfd7051ab7d8151d5e50f4df80e8b40f28","trigger_pattern":"sdk-v[0-9]*"},{"id":"client-release","source_path":".github/workflows/publish-clients.yml","source_sha256":"90c28cb48887b551c79b4a265c14d084e90b02d4b8eec20fcd00e60dd858a7c1","trigger_pattern":"client-v[0-9]*"}],"targets":[{"artifact":"x86_64-unknown-linux-gnu","certification":"not-asserted","runner":"ubuntu-22.04","target":"x86_64-unknown-linux-gnu"},{"artifact":"x86_64-unknown-linux-gnu-cuda","certification":"not-asserted","runner":"ubuntu-22.04","target":"x86_64-unknown-linux-gnu"},{"artifact":"aarch64-unknown-linux-gnu","certification":"not-asserted","runner":"ubuntu-22.04","target":"aarch64-unknown-linux-gnu"},{"artifact":"x86_64-unknown-linux-musl","certification":"not-asserted","runner":"ubuntu-22.04","target":"x86_64-unknown-linux-musl"},{"artifact":"aarch64-unknown-linux-musl","certification":"not-asserted","runner":"ubuntu-22.04","target":"aarch64-unknown-linux-musl"},{"artifact":"x86_64-apple-darwin","certification":"not-asserted","runner":"macos-latest","target":"x86_64-apple-darwin"},{"artifact":"aarch64-apple-darwin","certification":"not-asserted","runner":"macos-latest","target":"aarch64-apple-darwin"},{"artifact":"x86_64-pc-windows-msvc","certification":"not-asserted","runner":"windows-latest","target":"x86_64-pc-windows-msvc"},{"artifact":"x86_64-pc-windows-gnu","certification":"not-asserted","runner":"windows-latest","target":"x86_64-pc-windows-gnu"}],"version_gates":[{"id":"release-tag","source":{"path":"scripts/check-release-tag.py","selector":"def verify_tag(tag: str, root: Path) -> str:","sha256":"35147606b1775ac0b6ce191e0743a2253649e54a666c77112c481ee96de8a2ea"},"workflow_selector":"python3 scripts/check-release-tag.py \"${GITHUB_REF_NAME}\""},{"id":"sdk-contract-version","source":{"path":"scripts/check-sdk-versions.py","selector":"def main() -> int:","sha256":"c30437f0e401b52b8464f602f8ed4aa737ff85caa5b8c0823534e3c0ccf406c2"},"workflow_selector":"python3 scripts/check-sdk-versions.py"},{"id":"package-version","source":{"path":"scripts/check-package-versions.py","selector":"def main() -> int:","sha256":"3dd0eefff0fa148eadecd2023f49bff04d00469d1d2c6bb8cb92fe7ad5681b9d"},"workflow_selector":"python3 scripts/check-package-versions.py"}],"workflow":{"path":".github/workflows/release.yml","selector":"name: Release\n","sha256":"f760e7050eaad358bd739b57c52c416015c6970820c120f1e46cd8adecfd4a1f"},"workflow_tag_glob":"v[0-9]*"},"requirement_ids":["BC-04","EN-05","RG-07","RG-11"],"schema_version":"leanctx.delivery-evidence/v1","scope":{"customer_delivery_acceptance":false,"external_operational_acceptance":false,"local_contract_consistency":true,"os_certification":false,"zero_downtime_verified":false},"status":"partial"}

rust/src/core/mcp_manifest.rs

@@ -5,7 +5,10 @@ use serde_json::{Value, json};
 
 use crate::core::contracts::MCP_MANIFEST_SCHEMA_VERSION;
 
-const READ_MODES: [&str; 10] = [
+/// The mode list advertised in `ctx_read`'s schema. Shared with the runtime so
+/// an unknown-mode error can name exactly what the schema promises — the two
+/// drifting apart is what let `diff` be advertised but rejected (#1584).
+pub(crate) const READ_MODES: [&str; 10] = [
     "auto",
     "full",
     "map",

rust/src/core/savings_footer.rs

@@ -50,7 +50,10 @@ impl Drop for ModeGuard {
     }
 }
 
-fn current_mode() -> Option<String> {
+/// The mode the innermost live `ModeGuard` was created with, if any. Lets a
+/// deep renderer name the mode the caller actually asked for without threading
+/// it through every signature (used by the no-compression banner).
+pub(crate) fn current_mode() -> Option<String> {
     CURRENT_MODE.with(|m| m.borrow().clone())
 }