dsh-github-copilot 0.4.0-alpha.27 → 0.4.0-alpha.29

package/lib/types/compaction-pressure.d.ts

@@ -0,0 +1,23 @@
+/** Local Copilot pressure signalling over the stock compaction recovery path. */
+import type { Context } from '@deepseek-ai/cordis';
+import type { GenerateOptions } from '@deepseek-ai/dsh-llm';
+/** Conservative input threshold already resolved from authenticated model facts and current policy. */
+export interface CopilotCompactionPressureBudget {
+    readonly inputBudgetTokens: number;
+}
+/** Snapshot access belongs to the account route; pressure signalling never starts discovery. */
+export interface CopilotCompactionPressureCallbacks {
+    /** Return the exact owned request's current budget, or undefined when disabled or unavailable. */
+    resolve(request: GenerateOptions): CopilotCompactionPressureBudget | undefined;
+}
+/**
+ * Request a stock overflow reduction before sending an estimated over-budget
+ * conversation. The loop has already logged and frozen this exact request;
+ * only its owner can rebuild it after a durable compaction. Never rewrite the
+ * request, invoke compaction concurrently, or intercept auxiliary summaries.
+ * @param ctx - Host context owning the reversible stream listener.
+ * @param callbacks - synchronous authenticated budget lookup, without discovery.
+ * @returns disposer for the listener, also owned by its Cordis context.
+ */
+export declare function installCopilotCompactionPressure(ctx: Context, callbacks: CopilotCompactionPressureCallbacks): () => void;
+//# sourceMappingURL=compaction-pressure.d.ts.map

package/lib/types/config.d.ts

@@ -5,6 +5,7 @@
  * @module dsh-github-copilot/config
  */
 import z from '@deepseek-ai/schemastery';
+import type { RequestBudgetPolicy } from './request-budget.ts';
 /** Plugin configuration. Defaults make the current chat route decide. */
 export interface InlineConfig {
     /** Master switch; false sends every request down the normal adapter path. */
@@ -28,11 +29,17 @@ export interface InlineConfig {
     accountModelTtlMs?: number;
     /** Minimum delay after failed passive discovery; explicit Refresh bypasses it. */
     accountModelFailureCooldownMs?: number;
+    /** Estimated managed-route input headroom, separate from truthful catalog capacities. */
+    requestBudgetSafetyTokens?: number;
+    /** Fraction of admissible input used by eligible automatic-compaction requests. */
+    requestBudgetPressureRatio?: number;
+    /** Supported low effort only for summary calls with no already resolved effort. */
+    compactionReasoning?: RequestBudgetPolicy['compactionReasoning'];
     /** Route the official web-search consumer by initiating Session when the bundle isolate is mounted. */
     routeWebSearch?: boolean;
     /** Automatic fallback, disclosed in results; no per-search approval dialog. */
     searchFallback?: 'none' | 'deepseek';
-    /** Copilot model used when `github-copilot-hosted` serves independently of the initiating chat model. */
+    /** Optional authoritative legacy override; otherwise hosted search resolves bounded account-owned candidates independently of Chat. */
     searchModel?: string;
     /** Internal JSON backup of route leaves temporarily owned by the GPT-6 overlay. */
     temporaryRouteBackup?: string;

package/lib/types/preview-provider.d.ts

@@ -1,4 +1,4 @@
-import type { Api, Model, StreamOptions } from '@earendil-works/pi-ai';
+import type { Api, Context as PiContext, Model, StreamOptions } from '@earendil-works/pi-ai';
 import type { AccountModelApi, AccountModelDescriptor } from './account-model-catalog.ts';
 import type { CoreCompatibleProvider } from './pi-provider-bridge.ts';
 import type { GitHubCopilotOAuthCredential } from './copilot-grant.ts';
@@ -15,6 +15,8 @@ export interface PreviewProviderGuard {
 /** Guard for one selected model in an account-bound descriptor snapshot. */
 export interface AccountProviderGuard extends PreviewProviderGuard {
     readonly selectedModelId?: string;
+    /** Per-dispatch admission after native context conversion, before starting a model wire. */
+    inspectRequest?(model: Model<Api>, context: PiContext, options?: StreamOptions): void;
     assertEntitled(credential: GitHubCopilotOAuthCredential, modelId: string): void;
 }
 /** The independent prompt limit is retained for the route's budget guard, not folded into context capacity. */

package/lib/types/preview-route.d.ts

@@ -4,9 +4,12 @@ import { GITHUB_COPILOT_PREVIEW_PROVIDER_ID } from './copilot-identity.ts';
 import type { AccountModelLoadOptions } from './account-model-source.ts';
 import type { AccountModelRejection } from './account-model-catalog.ts';
 import type { InlineConfig } from './config.ts';
+import type { RequestBudgetPolicy } from './request-budget.ts';
 /** Safe request knobs; identities, model tables, endpoints and credentials are not configurable. */
 export type PreviewRouteConfig = Pick<PiAiProviderProfile, 'reasoning' | 'cacheRetention' | 'transport' | 'timeoutMs' | 'websocketConnectTimeoutMs' | 'streamIdleTimeoutMs' | 'maxRequestImageBytes' | 'requestImagePixelBudget' | 'requestImageMaxBytes' | 'retryPolicy'> & Pick<InlineConfig, 'accountModelTtlMs' | 'accountModelFailureCooldownMs'> & {
     readonly accountModelSettings?: () => Pick<InlineConfig, 'accountModelTtlMs' | 'accountModelFailureCooldownMs'>;
+    readonly requestBudget?: Partial<RequestBudgetPolicy>;
+    readonly requestBudgetSettings?: () => Partial<RequestBudgetPolicy>;
 };
 export interface GitHubCopilotPreviewView {
     readonly provider: typeof GITHUB_COPILOT_PREVIEW_PROVIDER_ID;

package/lib/types/request-budget.d.ts

@@ -0,0 +1,58 @@
+import type { AccountModelDescriptor } from './account-model-catalog.ts';
+/** Managed-route admission and compaction defaults; these never replace catalog capacities. */
+export interface RequestBudgetPolicy {
+    /** Estimated framing/tokenization headroom deducted from admissible input, once. */
+    readonly safetyTokens: number;
+    /** Fraction of hard input headroom used only by callers eligible for proactive compaction. */
+    readonly pressureRatio: number;
+    /** Used only for compaction with no caller or adapter-resolved effort. */
+    readonly compactionReasoning: 'prefer-low' | 'preserve';
+}
+/** The safety allowance matches the pinned native SDK; pressure is a separate opt-in check. */
+export declare const DEFAULT_REQUEST_BUDGET_POLICY: Readonly<RequestBudgetPolicy>;
+/** Validate deployment policy before applying defaults; unknown keys fail rather than silently drift. */
+export declare function resolveRequestBudgetPolicy(config?: Partial<RequestBudgetPolicy>): Readonly<RequestBudgetPolicy>;
+export type RequestBudgetLimits = Pick<AccountModelDescriptor, 'contextWindow' | 'maxInputTokens' | 'maxTokens'>;
+/** A detached operational budget alongside, not in place of, the supplier capacities. */
+export interface RequestBudget {
+    readonly contextWindow: number;
+    readonly maxInputTokens?: number;
+    readonly maxOutputTokens: number;
+    /** Explicit request cap, or the model's output capability when the request omits one. */
+    readonly outputReservation: number;
+    readonly hardInputLimit: number;
+    readonly pressureInputLimit: number;
+    readonly limitingFactor: 'prompt' | 'context';
+}
+export type RequestBudgetFailureCode = 'COPILOT_REQUEST_INVALID_LIMITS' | 'COPILOT_REQUEST_INVALID_OUTPUT_LIMIT' | 'COPILOT_REQUEST_OUTPUT_LIMIT_EXCEEDED' | 'COPILOT_REQUEST_NO_INPUT_HEADROOM' | 'COPILOT_REQUEST_INVALID_ESTIMATE' | 'COPILOT_REQUEST_INPUT_LIMIT_EXCEEDED' | 'COPILOT_REQUEST_CONTEXT_LIMIT_EXCEEDED' | 'COPILOT_REQUEST_PRESSURE_EXCEEDED';
+/** Owned diagnostics only; no credentials, request content, or provider error bodies. */
+export interface RequestBudgetFailure {
+    readonly ok: false;
+    readonly code: RequestBudgetFailureCode;
+    readonly message: string;
+}
+export type RequestBudgetResult = Readonly<{
+    ok: true;
+    budget: Readonly<RequestBudget>;
+}> | RequestBudgetFailure;
+export type RequestBudgetAdmission = Readonly<{
+    ok: true;
+}> | RequestBudgetFailure;
+/**
+ * Reserve output under the combined context and independently enforce the prompt ceiling.
+ * `policy` must come from resolveRequestBudgetPolicy; no caller cap or catalog object is changed.
+ */
+export declare function calculateRequestBudget(limits: RequestBudgetLimits, requestedMaxTokens?: number, policy?: Readonly<RequestBudgetPolicy>): RequestBudgetResult;
+/**
+ * Check an estimated full prompt; estimates are not provider-exact token counts.
+ * Enable pressure only for an owned ordinary loop call with a compaction recovery path.
+ * Auxiliary and agentless calls use hard admission, including compaction itself.
+ */
+export declare function assessRequestBudget(estimatedInput: number, budget: Readonly<RequestBudget>, pressure?: boolean): RequestBudgetAdmission;
+/**
+ * Select a low-cost supported effort only for a caller-confirmed compaction request.
+ * A supplied effort, including a materialized provider default, wins unchanged; native validation
+ * remains authoritative. Unsupported low-cost controls preserve the provider default, never off/none.
+ */
+export declare function selectCompactionReasoning<Effort extends string>(supportedEfforts: readonly Effort[], requestedEffort?: Effort, mode?: RequestBudgetPolicy['compactionReasoning']): Effort | undefined;
+//# sourceMappingURL=request-budget.d.ts.map

package/lib/types/web-search-routing-card.d.ts

@@ -2,10 +2,9 @@ import type { Context as ClientContext } from '@deepseek-ai/cordis';
 import type { ReactElement } from 'react';
 interface SearchRoutingCardProps {
     readonly settings: ClientContext['remote']['settings'];
-    readonly copilot: ClientContext['remote']['githubCopilot'];
     readonly routing: ClientContext['remote']['githubCopilotSearchRouting'];
 }
-/** Provider-level primary and final fallback; model choice stays with each provider. */
+/** Save provider routing independently of account discovery and provider-specific model settings. */
 export declare function WebSearchRoutingCard(props: SearchRoutingCardProps): ReactElement;
 export {};
 //# sourceMappingURL=web-search-routing-card.d.ts.map

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "dsh-github-copilot",
   "description": "DSH companion for GitHub Copilot sign-in, account-aware model profiles, tool compatibility, and provider-hosted search.",
-  "version": "0.4.0-alpha.27",
+  "version": "0.4.0-alpha.29",
   "publishConfig": {
     "access": "public",
     "registry": "https://registry.npmjs.org/",
@@ -55,6 +55,7 @@
     "docs/npm-distribution.md",
     "docs/dual-model.md",
     "docs/official-first-016-alpha2.md",
+    "docs/copilot-compaction.md",
     "docs/images/dual-model-provenance.json",
     "scripts/check-search-composition.mjs",
     "docs/images/"