dsh-completion-guard 0.4.2 → 0.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -54,6 +54,13 @@ declare function requestedTargetAuthorizesMutation(action: StatefulAction, reque
54
54
  declare function validateActionManifest(): string[];
55
55
  //#endregion
56
56
  //#region src/domain/rebind.d.ts
57
+ interface RebindArgs {
58
+ operation: "propose" | "query" | "withdraw";
59
+ item_id?: string;
60
+ proposal_id?: string;
61
+ clauses?: string[];
62
+ clarification_item_ids?: string[];
63
+ }
57
64
  interface RebindProposal {
58
65
  id: string;
59
66
  digest: string;
@@ -78,7 +85,56 @@ interface RebindProposal {
78
85
  status: "pending" | "confirmed" | "withdrawn" | "stale";
79
86
  confirmationEvent?: string;
80
87
  replacementIds?: string[];
81
- }
88
+ /** Proposals created under the 0.5 protocol carry their replay schema. */
89
+ protocol?: "v050";
90
+ /** Matching control line observed during a non-durable replay (not applied). */
91
+ observedUnconfirmedEvent?: string;
92
+ }
93
+ /** Bounded alignment facts for a mismatched partition, budget-aware. */
94
+ interface BoundedSource {
95
+ length: number;
96
+ sha256: string;
97
+ text?: string;
98
+ head?: string;
99
+ tail?: string;
100
+ }
101
+ /** Typed propose outcomes; `undefined` never hides WHY a proposal failed. */
102
+ type ProposeOutcome = {
103
+ ok: true;
104
+ proposal: RebindProposal;
105
+ } | {
106
+ ok: false;
107
+ reasonCode: "item_not_found" | "item_not_pending" | "unsupported_clarification" | "partition_mismatch" | "payload_too_large" | "no_certification_gain";
108
+ /** Bounded alignment facts for partition mismatches, within the 12 KiB budget. */
109
+ source?: BoundedSource;
110
+ };
111
+ /** Exact source partition is deliberately conservative: a proposal cannot
112
+ * invent authority or silently discard a difficult acceptance clause. */
113
+ declare function proposeRebind(p: GuardProjection, args: RebindArgs): RebindProposal | undefined;
114
+ /** 0.5 proposer with typed failures and the no-certification-gain gate. */
115
+ declare function proposeRebindOutcome(p: GuardProjection, args: RebindArgs): ProposeOutcome;
116
+ /**
117
+ * Frozen v0.4.2/v0.4.3 proposer: identical semantics to the 0.4 releases,
118
+ * without the 0.5 no-gain gate or typed failures. Used ONLY to replay
119
+ * historical tool results and historical confirmations faithfully.
120
+ */
121
+ declare function proposeRebindV042(p: GuardProjection, args: RebindArgs): RebindProposal | undefined;
122
+ /** Stable attempt key: item identity, exact inputs, and outcome class. Identical
123
+ * retries collapse onto it no matter how many unrelated log rows intervene. */
124
+ declare function rebindAttemptKey(p: GuardProjection, args: RebindArgs, reasonCode: string): string;
125
+ declare function rebindResponse(p: GuardProjection, args: RebindArgs): Record<string, unknown>;
126
+ /**
127
+ * Replay validation with version dispatch (A12): structured v0.5 results
128
+ * match semantically (display text may evolve); results carrying the frozen
129
+ * 0.4 response shapes validate against the frozen 0.4 rules exactly. Anything
130
+ * else is tampered or unknown and never replays.
131
+ */
132
+ declare function replayRebindResult(p: GuardProjection, args: RebindArgs, recorded: Record<string, unknown>): void;
133
+ /** Invoked only for a canonical root user message, never tool or plugin text.
134
+ * The single durable confirmation event is the atomic transaction commit:
135
+ * the confirmation validates against the state BEFORE this message, and the
136
+ * caller processes the remaining text afterwards with its own semantics. */
137
+ declare function confirmRebind(p: GuardProjection, proposalId: string, eventId: string, durable: boolean): boolean;
82
138
  //#endregion
83
139
  //#region src/domain/digest.d.ts
84
140
  type TypedObject = {
@@ -173,6 +229,8 @@ interface GuardItem {
173
229
  targetCaptureReasonCode?: TargetCaptureReasonCode;
174
230
  authority?: "root_instruction" | "root_adoption" | "legacy_authority_unclassified";
175
231
  legacyFlags?: Array<"legacy_generic_run" | "legacy_authority_unclassified">;
232
+ /** v0.5 intent layer: inquiries keep the obligation but are not machine certifiable. */
233
+ taskKind?: "inquiry" | "action";
176
234
  waitAuthorization?: WaitAuthorization;
177
235
  deferAuthorization?: DeferAuthorization;
178
236
  persistenceAuthorization?: PersistenceAuthorization;
@@ -304,9 +362,17 @@ interface GuardProjection {
304
362
  offendingEvidenceIds?: string[];
305
363
  }>;
306
364
  lastCheckpointRejectionRevision?: number;
365
+ /** Bounded fact about the latest rejected confirmation attempt (never raw text). */
366
+ lastConfirmationRejection?: {
367
+ eventSeq: number;
368
+ kind: "malformed" | "ambiguous";
369
+ reason: string;
370
+ };
307
371
  continuationAttempts: Map<number, number>;
308
372
  /** Process-local one-shot fallback counters keyed by epoch + contract revision. */
309
373
  persistenceCorrectionAttempts: Map<string, number>;
374
+ /** Log-derived count of rejected rebind attempts by stable attempt key; survives reload. */
375
+ rebindRejections: Map<string, number>;
310
376
  integrity: GuardIntegrity;
311
377
  }
312
378
  declare function createProjection(): GuardProjection;
@@ -326,6 +392,10 @@ interface DeriveResult {
326
392
  enablementTransitioned: boolean;
327
393
  /** Sequence of the last compaction summary in the log, or -1 when none. */
328
394
  lastCompactionSeq: number;
395
+ /** True when a real root user input (text or asset) is present while enabled. */
396
+ realRootInputSeen: boolean;
397
+ /** True when the durable log carries the 0.5 first-step protocol boundary. */
398
+ protocolV4Present: boolean;
329
399
  }
330
400
  interface DerivedEnvelope {
331
401
  seq: number;
@@ -454,6 +524,41 @@ interface CheckpointResult {
454
524
  }
455
525
  declare function certifyCheckpoint(projection: GuardProjection, bindings: EvidenceBinding[], id: string, commit?: boolean): CheckpointResult;
456
526
  //#endregion
527
+ //#region src/domain/confirm-parse.d.ts
528
+ /**
529
+ * 0.5 confirmation-line grammar (A10/A11).
530
+ *
531
+ * A durable root message may carry AT MOST ONE rebind confirmation as a
532
+ * restricted top-level control line; everything after it is follow-up content
533
+ * processed with its own semantics. The parser is intentionally conservative:
534
+ * - only the first non-empty top-level line can be a control line;
535
+ * - lines inside code fences, quoted lines, and blockquote/forward wrappers
536
+ * are data, never control;
537
+ * - an embedded or mid-sentence control string is `malformed`, never a
538
+ * confirmation;
539
+ * - a matching control line that is NOT in first position, or an explicit
540
+ * reversal in the remainder, makes the whole message `ambiguous` (stays
541
+ * unconfirmed; no partial effect).
542
+ */
543
+ type ParsedConfirmation = {
544
+ kind: "none";
545
+ } | {
546
+ kind: "malformed";
547
+ reason: "embedded_control_text" | "inside_code_fence" | "quoted";
548
+ } | {
549
+ kind: "ambiguous";
550
+ reason: "multiple_control_lines" | "late_control_line" | "reversal_in_remainder";
551
+ } | {
552
+ kind: "confirm";
553
+ proposalId: string;
554
+ remainder: string;
555
+ };
556
+ declare const CONFIRM_LINE_PATTERN: RegExp;
557
+ /** Parse control without rewriting the follow-up's authority wrappers. */
558
+ declare function parseConfirmationMessage(text: string): ParsedConfirmation;
559
+ /** Whether a recorded tool/result carries the frozen v0.4.x response shape. */
560
+ declare function isFrozenV042RebindResponse(recorded: unknown): boolean;
561
+ //#endregion
457
562
  //#region src/domain/conversation.d.ts
458
563
  type UserInteractionKind = "instruction" | "conversational";
459
564
  /**
@@ -469,6 +574,15 @@ type UserInteractionKind = "instruction" | "conversational";
469
574
  * forms, and finally a progression lead over a featureless remainder.
470
575
  */
471
576
  declare function classifyUserInteraction(text: string): UserInteractionKind;
577
+ type TaskIntent = "inquiry" | "action";
578
+ /**
579
+ * Separate intent layer (v0.5): whether the captured work is an inquiry about
580
+ * state or an ordered change. Intent NEVER drops capture or weakens
581
+ * protection — an inquiry keeps its original obligation; it only changes what
582
+ * certification support the diagnosis reports (inquiries are not machine
583
+ * certifiable by the current adapters and must not be re-bound).
584
+ */
585
+ declare function classifyTaskIntent(text: string): TaskIntent;
472
586
  //#endregion
473
587
  //#region src/domain/contract-segment.d.ts
474
588
  type AuthorityBlockKind = "instruction" | "reference" | "quoted" | "code" | "uncertain";
@@ -528,24 +642,24 @@ declare const ALPHA2_HOST_PACKAGES: PackageRow[];
528
642
  */
529
643
  declare const ALPHA2_DSHMARKET_139_HOST_PACKAGES: PackageRow[];
530
644
  /**
531
- * Audited host cohort registry. The rc.2 cohort keeps the exact identities
532
- * audited for 0.3.0/0.3.1 on macOS and Windows. The alpha.2 cohort carries the
533
- * exact package graph extracted from native macOS and Windows DSH
534
- * `0.1.2-alpha.2` / dshmarket `1.38.1` runtimes. The alpha.2+dshmarket-1.39.0
535
- * cohort carries the exact upgraded-Windows graph. The alpha.3 cohort carries
536
- * the graph audited in the 2026-09-01 annex. The rc.1 cohort carries the exact
537
- * runtime plus dshmarket 1.41.0 graph audited natively on macOS, then confirmed
538
- * on Windows: the 2026-09-04 native Windows rc.1 runtime graph (dshmarket
539
- * 1.41.0) was extracted from the runtime lockfile and verified row-for-row
540
- * identical (name, version, registry integrity) to the posix extraction before
541
- * this cohort was widened. Graphs that mix cohorts, lack
542
- * rows, duplicate rows, or use identities outside every registered cohort
543
- * fail closed.
645
+ * Historical audited host cohort registry. Every entry keeps the exact package
646
+ * identities audited natively for a past Guard release (CG-DSH-001 whole-graph
647
+ * contracts). These are historical verification facts only: since 0.5.0 the
648
+ * active support target is `0.1.2-rc.1`, so an installed graph from any of
649
+ * these cohorts including previous RCs and alphas is no longer an active
650
+ * support entry and fails closed in `evaluateHostLock`.
651
+ */
652
+ declare const LEGACY_HOST_COHORTS: readonly HostCohort[];
653
+ /** Core-lock/v1 separates optional market identity from the audited DSH graph.
654
+ * The active support target is exactly one audited cohort, `0.1.2-rc.1`:
655
+ * historical cohorts stay in `LEGACY_HOST_COHORTS` as verification data but are
656
+ * never silently re-labelled as accepted active locks, and an installed
657
+ * historical graph fails closed under `evaluateHostLock`.
544
658
  */
545
659
  declare const HOST_COHORTS: readonly HostCohort[];
546
660
  /**
547
- * rc.2 audited package identities (first registry cohort). The audited
548
- * cohort is an atomic whole-graph contract (CG-DSH-001): any drifted,
661
+ * rc.1 audited package identities: the active support cohort since 0.5.0. The
662
+ * audited cohort is an atomic whole-graph contract (CG-DSH-001): any drifted,
549
663
  * duplicated, unknown-version, unbound, OR MISSING row fails the whole lock
550
664
  * closed (`host_lock_missing`); no capability inherits independence from a
551
665
  * partially present graph.
@@ -567,7 +681,7 @@ interface HostLockEvaluation {
567
681
  status: HostLockStatus;
568
682
  digest: string;
569
683
  goalAvailable: boolean;
570
- reasonCode?: "host_lock_missing" | "host_lock_version_mismatch" | "host_lock_integrity_mismatch" | "host_lock_unknown_package" | "host_lock_duplicate_package" | "host_lock_goal_graph_incomplete" | "host_lock_goal_capability_mismatch" | "host_lock_cohort_mixed_graph" | "host_lock_cohort_unbound_identity" | "host_lock_cohort_platform_not_audited";
684
+ reasonCode?: "host_lock_migration_required" | "host_lock_installed_graph_drift" | "host_lock_missing" | "host_lock_version_mismatch" | "host_lock_integrity_mismatch" | "host_lock_unknown_package" | "host_lock_duplicate_package" | "host_lock_goal_graph_incomplete" | "host_lock_goal_capability_mismatch" | "host_lock_cohort_mixed_graph" | "host_lock_cohort_unbound_identity" | "host_lock_cohort_platform_not_audited";
571
685
  packages: PackageRow[];
572
686
  capabilities: Record<HostCapabilityId, HostCapabilityEvaluation>;
573
687
  platform?: HostPlatform;
@@ -658,6 +772,14 @@ declare const DEFAULT_HOST_LOCK: HostLockEvaluation;
658
772
  declare const CAPTURE_V042_NOTICE = "Context Guard capture boundary: v0.4.2";
659
773
  declare const PROTOCOL_V3_NOTICE = "Context Guard protocol boundary: v3.0.0";
660
774
  /**
775
+ * 0.5.0 first-step boundary: written at the first real root input step (never
776
+ * at session start), before the constrained root message in the same batch.
777
+ * It implies the v3 protocol and v0.4.2 capture semantics and marks the cut
778
+ * where the 0.5 confirmation syntax becomes active; earlier notices keep
779
+ * their historical meaning for replay.
780
+ */
781
+ declare const PROTOCOL_V4_NOTICE = "Context Guard protocol boundary: v4.0.0";
782
+ /**
661
783
  * Pure, deterministic re-derivation of the guard projection from the DSH
662
784
  * native event log. Context Guard never writes custom session events, so every
663
785
  * piece of state is derived from `command/run`, `user/message`, `tool/call`,
@@ -666,6 +788,50 @@ declare const PROTOCOL_V3_NOTICE = "Context Guard protocol boundary: v3.0.0";
666
788
  */
667
789
  declare function deriveProjection(sourceEvents: readonly DerivedEnvelope[], config: DeriveConfig, scope: DeriveScope, durableConfirmed: boolean, hostLock?: HostLockEvaluation): DeriveResult;
668
790
  //#endregion
791
+ //#region src/domain/diagnostics.d.ts
792
+ type TaskKind = "inquiry" | "action" | "deliverable" | "constraint" | "unresolved";
793
+ type CertificationSupport = "supported" | "unsupported" | "needs_target" | "needs_evidence" | "unavailable";
794
+ type Repairability = "agent_repairable" | "user_input_required" | "unsupported" | "historical_gap" | "none";
795
+ interface DiagnosisNextAction {
796
+ kind: "report_only" | "collect_evidence" | "checkpoint" | "clarify_target" | "restore_host" | "none";
797
+ tool?: string;
798
+ required_input?: string;
799
+ resume_condition?: string;
800
+ }
801
+ /** The single unified diagnosis shared by checkpoint, recovery, rebind,
802
+ * evidence/action, and status surfaces (v0.5). It states what certification
803
+ * can do, never invents targets, evidence IDs, or authority. */
804
+ interface UnifiedItemDiagnosis {
805
+ item_id: string;
806
+ item_revision: number;
807
+ contract_revision: number;
808
+ task_kind: TaskKind;
809
+ certification: CertificationSupport;
810
+ reason_code: string;
811
+ repairability: Repairability;
812
+ missing_fields: string[];
813
+ missing_facets: Array<"resolution" | "effect" | "state">;
814
+ next_action: DiagnosisNextAction;
815
+ /** Stable over unchanged inputs; identical retries collapse onto it. */
816
+ attempt_fingerprint: string;
817
+ }
818
+ /**
819
+ * The pure repair judge. It decides between: fixable from existing evidence,
820
+ * missing pre-evidence, missing a user target choice, not supported by any
821
+ * adapter, an executed-without-evidence historical gap, or nothing to do —
822
+ * and it NEVER recommends a rebind that cannot change certification.
823
+ */
824
+ declare function deriveItemDiagnosis(p: GuardProjection, item: GuardItem): UnifiedItemDiagnosis;
825
+ /** Legacy compact view, now derived from the single unified diagnosis. */
826
+ declare function itemDiagnosis(p: GuardProjection, item: GuardItem): {
827
+ certifiable: boolean;
828
+ reason_code: string;
829
+ next_step: string;
830
+ };
831
+ declare function evidenceAvailabilityReason(evidence: GuardEvidence): string | undefined;
832
+ /** Shared display filter; certification remains the full domain check. */
833
+ declare function relevantEvidence(p: GuardProjection, item: GuardItem, evidence: GuardEvidence): boolean;
834
+ //#endregion
669
835
  //#region src/domain/evidence.d.ts
670
836
  interface ToolCallInput {
671
837
  callId: string;
@@ -862,6 +1028,12 @@ interface LinearCommitReadback {
862
1028
  * wildcard refspecs, and implicit HEAD/ref destinations fail closed because
863
1029
  * none occur in an accepted exact shape.
864
1030
  */
1031
+ /**
1032
+ * Canonical command templates, derived from the SAME audited argv shapes the
1033
+ * parser accepts above. Guidance surfaces (context_guard_prepare) render these
1034
+ * so a tool description can never advertise a command the executor rejects.
1035
+ */
1036
+ declare const GIT_COMMAND_TEMPLATES: Partial<Record<GitAdapterAction, Record<string, unknown>>>;
865
1037
  declare function parseGitCommandManifest(command: string, surface: CanonicalCommandSurface): GitCommandParseResult;
866
1038
  /** Bind the command's explicit remote/ref identities to the canonical target. */
867
1039
  declare function gitCommandMatchesTarget(manifest: GitCommandManifest, target: GitTargetIdentity): boolean;
@@ -900,7 +1072,7 @@ declare class HostProfileError extends Error {
900
1072
  * v9 lockfile. Multiple resolved versions are preserved as separate rows so
901
1073
  * callers cannot silently select a nearest instance.
902
1074
  */
903
- declare function packageRowsFromPnpmLock(text: string): PackageRow[];
1075
+ declare function packageRowsFromPnpmLock(text: string, names?: readonly string[]): PackageRow[];
904
1076
  declare function resolveInstalledHostLock(moduleUrl?: string): HostLockEvaluation;
905
1077
  /**
906
1078
  * Resolve only package identities reachable from the active pnpm importer.
@@ -917,6 +1089,24 @@ interface ActiveProfileHostLock {
917
1089
  platform: HostPlatform;
918
1090
  profileKind: HostProfileKind;
919
1091
  }
1092
+ /** Read exact reachable critical rows without requiring Guard installation.
1093
+ * Used by target preflight before a legacy profile can be migrated.
1094
+ */
1095
+ declare function readActiveHostGraph(runtimeRoot: string, profileRoot: string): PackageRow[];
1096
+ interface TargetHostGraph {
1097
+ packages: PackageRow[];
1098
+ profileGraph: {
1099
+ state: "active_importer" | "dependency_free_headless";
1100
+ manifestSha256?: string;
1101
+ bundles?: PackageRow[];
1102
+ };
1103
+ }
1104
+ /**
1105
+ * Pre-install inspection only. A fresh rc.1 Headless profile can use its two
1106
+ * installation-owned bundles without a private importer. Never extend this
1107
+ * absence rule to inject or runtime replay, which still call the strict reader.
1108
+ */
1109
+ declare function inspectTargetHostGraph(runtimeRoot: string, profileRoot: string): TargetHostGraph;
920
1110
  /** Read and validate the actual runtime graph plus the installed profile plugin. */
921
1111
  declare function resolveActiveProfileHostLock(runtimeRoot: string, profileRoot: string, expectedPluginVersion: string): ActiveProfileHostLock;
922
1112
  /** Atomically inject a repeatable managed patch into the selected profile only. */
@@ -927,7 +1117,76 @@ declare function hostLockContextFromComposedDump(text: string): {
927
1117
  platform?: HostPlatform;
928
1118
  profileKind?: HostProfileKind;
929
1119
  };
930
- declare function verifyComposedHostLockDump(text: string, expected: HostLockEvaluation): HostLockEvaluation;
1120
+ declare function verifyComposedHostLockDump(text: string, expected: HostLockEvaluation, roots?: Pick<ActiveProfileHostLock, "runtimeRoot" | "profileRoot">): HostLockEvaluation;
1121
+ //#endregion
1122
+ //#region src/domain/lifecycle.d.ts
1123
+ /**
1124
+ * Runtime-owned startup lifecycle. It expresses the activation strategy of a
1125
+ * session, never contract or certification state: `armed` means protection is
1126
+ * enabled and waiting for the first real root user input, `active` means that
1127
+ * input has entered a step, and `disabled` means an explicit `off` (or an
1128
+ * opt-in session without `on`). Certification still depends only on durable
1129
+ * root events, the current contract, and the evidence chain.
1130
+ */
1131
+ type LifecyclePhase = "armed" | "active" | "disabled";
1132
+ interface FirstStepInjection {
1133
+ /** Versioned protocol boundary appended before this step's messages. */
1134
+ boundary: string;
1135
+ /** Compact first-step guidance describing the activated protection. */
1136
+ guidance: string;
1137
+ }
1138
+ /** One claimed pre-step message: a validated host `UserMessage`. */
1139
+ interface ClaimedMessage {
1140
+ source?: {
1141
+ kind?: unknown;
1142
+ plugin?: unknown;
1143
+ };
1144
+ content?: unknown;
1145
+ }
1146
+ /**
1147
+ * Pure preview of one claimed pre-step batch. Messages claimed by the loop are
1148
+ * NOT yet persisted as `user/message` events at pre-step time, so this reads
1149
+ * only the validated claim: it never writes contract items, evidence, or
1150
+ * authority. A message activates protection when it carries a root user source
1151
+ * and real content — non-empty text, or any non-text part (image/attachment).
1152
+ * Whitespace-only messages with no other parts are real input but state no
1153
+ * task, so they neither activate nor produce contract items.
1154
+ */
1155
+ declare function claimedBatchHasRealRootInput(messages: readonly unknown[]): boolean;
1156
+ interface FirstStepPreviewInput {
1157
+ activation: "opt-in" | "always";
1158
+ /** Log-derived enablement: an explicit `off` suppresses `always` until `on`. */
1159
+ enabled: boolean;
1160
+ /** The durable log already contains a v4 (or newer) Guard boundary. */
1161
+ boundaryPresent: boolean;
1162
+ /** The session is a delegated/subagent session, never a root conversation. */
1163
+ delegated: boolean;
1164
+ }
1165
+ /**
1166
+ * Pure decision for the first-step activation injection when protection is enabled. The
1167
+ * boundary must precede the first constrained root message inside the SAME
1168
+ * persisted step batch; guidance is compact and never claims a recovery that
1169
+ * did not happen. `opt-in` reaches this path only after its explicit `on` command. Delegated sessions receive neither: their
1170
+ * scope arrives through the parent's delegation prompt (A04).
1171
+ */
1172
+ declare function previewFirstStepInjection(input: FirstStepPreviewInput, claimedRealInput: boolean): FirstStepInjection | undefined;
1173
+ /**
1174
+ * Compact first-step guidance: protection has started, what it protects, and
1175
+ * the working order for stateful actions. It is not a task, asks no question,
1176
+ * and contains no recovery wording.
1177
+ */
1178
+ declare const FIRST_STEP_GUIDANCE = "Context Guard is now protecting this session: requirements from your messages stay open until they are certified with matching durable evidence. Before a stateful action (write, install, commit, push, publish, restart), call context_guard_prepare to see the supported command shape and required resolution/effect/state order; collect evidence with the guarded tools, then close items with context_guard_checkpoint. Ordinary answers and investigations need no certification.";
1179
+ /**
1180
+ * Lifecycle phase derived from durable facts. `enabled` is the log-derived
1181
+ * enablement (`always`, or the explicit `on`/`off` command sequence), and
1182
+ * `realInputSeen` records that a real root user input already entered a step.
1183
+ * Pure over its inputs so status display and tests cannot drift from the
1184
+ * injection decision.
1185
+ */
1186
+ declare function lifecyclePhase(input: {
1187
+ enabled: boolean;
1188
+ realInputSeen: boolean;
1189
+ }): LifecyclePhase;
931
1190
  //#endregion
932
1191
  //#region src/domain/manifest.d.ts
933
1192
  /**
@@ -1137,4 +1396,4 @@ declare function latestAssistantText(events: readonly {
1137
1396
  //#region src/domain/supersession.d.ts
1138
1397
  declare function supersedeItem(items: Map<string, GuardItem>, oldId: string, replacement: GuardItem): boolean;
1139
1398
  //#endregion
1140
- export { resolveInstalledHostLock as $, DeriveResult as $n, HostCapabilityEvaluation as $t, createProofManifest as A, ClassifiedClause as An, ActionManifest as Ar, hasCurrentCertificate as At, COMMAND_SURFACE_MANIFEST as B, BoundaryEffectuation as Bn, isStatefulAction as Br, PROTOCOL_V3_NOTICE as Bt, ProofKind as C, segmentAuthorityBlocks as Cn, TargetValue as Cr, ParsedShell as Ct, SessionQuery as D, RejectedBinding as Dn, PackageRow as Dr, parsePwshCommand as Dt, ProofSurface as E, CheckpointResult as En, createProjection as Er, isRunExecutable as Et, EvidenceFacetCoverage as F, extractArtifactPaths as Fn, STOP_PROTOCOL_VERSION as Fr, extractTextContent as Ft, ActiveProfileHostLock as G, availableBoundaryQualifications as Gn, validateActionManifest as Gr, BASE_HOST_PACKAGES as Gt, ManifestIssue as H, BoundaryRequest as Hn, requestedTargetMatchesResolved as Hr, ALPHA2_DSHMARKET_139_HOST_PACKAGES as Ht, bindingSatisfies as I, extractMethod as In, SUPPORTED_EVIDENCE_ADAPTERS as Ir, extractToolSubject as It, hostLockRowsFromComposedDump as J, qualifyBoundary as Jn, digestStrings as Jr, ExecutableIdentity as Jt, HostProfileError as K, effectuateBoundary as Kn, validateActionTarget as Kr, DEFAULT_HOST_LOCK as Kt, evidenceCoverage as L, extractOperation as Ln, SemanticAction as Lr, isDeterministicCheck as Lt, proofEvidenceConstraints as M, captureClause as Mn, CERTIFICATE_VERSION as Mr, ToolResultInput as Mt, sessionQuery as N, captureItem as Nn, SEMANTIC_ACTIONS as Nr, ToolSubject as Nt, bindProofToProjection as O, certifyCheckpoint as On, ACTION_MANIFEST as Or, parseShellCommand as Ot, validateProofManifest as P, classifyClause as Pn, STATEFUL_ACTIONS as Pr, evidenceFromPersistedToolResult as Pt, resolveActiveProfileHostLock as Q, DeriveConfig as Qn, sha256 as Qr, HOST_COHORTS as Qt, evidenceMatchesItem as R, isInformationalMessage as Rn, StatefulAction as Rr, withDurability as Rt, PROOF_PROTOCOL_VERSION as S, authorityCaptureCounts as Sn, TargetTuple as Sr, CanonicalCommandSurface as St, ProofObligation as T, classifyUserInteraction as Tn, WaitAuthorization as Tr, canonicalArgvFromCommand as Tt, OperationVerbEntry as U, GoalActivationState as Un, semanticActionFromCommand as Ur, ALPHA2_HOST_PACKAGES as Ut, CommandSurfaceManifest as V, BoundaryQualification as Vn, requestedTargetAuthorizesMutation as Vr, deriveProjection as Vt, validateManifest as W, GoalBoundaryAccess as Wn, semanticActionFromText as Wr, AuditedExecutable as Wt, packageRowsFromActiveGraph as X, BoundaryQualificationKind as Xn, sanitizeClauseText as Xr, GOAL_HOST_PACKAGES as Xt, injectActiveProfileHostLock as Y, BoundaryDisposition as Yn, normalizeClause as Yr, ExecutableIdentityBinding as Yt, packageRowsFromPnpmLock as Z, DeferAuthorization as Zn, sanitizeUrl as Zr, HOST_CAPABILITY_PACKAGE_GROUPS as Zt, openItems as _, selectHostCohort as _n, GuardProjection as _r, gitCommandMatchesTarget as _t, classifyCompletionClaim as a, HostLockContext as an, EvidenceRole as ar, GitCommandParseResult as at, ALPHA3_HOST_PACKAGES as b, AuthorityBlockKind as bn, TargetCaptureReasonCode as br, verifiedLinearCommitReadback as bt, isWholeTaskCompletionClaim as c, HostPlatform as cn, GoalRef as cr, GitEffectRunner as ct, snapshotSessionEvents as d, bindExecutableIdentity as dn, GuardEvidence as dr, GitTargetIdentity as dt, HostCapabilityId as en, DeriveScope as er, verifyComposedHostLockDump as et, RC1_HOST_PACKAGES as f, bindLiveGoalCapability as fn, GuardIntegrity as fr, LinearCommitReadback as ft, closingHint as g, evaluateToolSurfaceCapability as gn, GuardOperation as gr, executeRevalidatedGitEffect as gt, RecoveryOptions as h, evaluateHostLock as hn, GuardItemStatus as hr, createGitPrestateEnvelope as ht, TurnStoppingDecision as i, HostCohortSelectionReason as in, EvidenceParseStatus as ir, GitCommandManifest as it, proofDigest as j, ClauseSegment as jn, ActionSpec as jr, ToolCallInput as jt, canonicalProjection as k, CaptureScope as kn, ACTION_MANIFEST_VERSION as kr, goalCompletionDenial as kt, latestAssistantText as l, HostProfileKind as ln, GuardBoundary as lr, GitPrestateCheck as lt, MIN_RECOVERY_CHAR_BUDGET as m, evaluateHostCapability as mn, GuardItemKind as mr, commitTreeSnapshotDigest as mt, AssistantOutcomeObservation as n, HostCohort as nn, EvidenceBinding as nr, GitAdapterAction as nt, decideTurnBoundary as o, HostLockEvaluation as on, ExpectedTransition as or, GitCommandRejected as ot, DEFAULT_RECOVERY_CHAR_BUDGET as p, evaluateExternalWaitCapability as pn, GuardItem as pr, commitIndexSnapshotDigest as pt, hostLockContextFromComposedDump as q, isCurrentAcceptedBoundary as qn, canonicalizePath as qr, EXPECTED_HOST_PACKAGES as qt, CompletionDisposition as r, HostCohortSelection as rn, EvidenceOutcome as rr, GitCommandAccepted as rt, decideTurnStopping as s, HostLockStatus as sn, ExternalOperation as sr, GitEffectExecution as st, supersedeItem as t, HostCapabilityRequest as tn, DerivedEnvelope as tr, GIT_COMMAND_MANIFEST_IDS as tt, observeAssistantOutcome as u, HostToolSurface as un, GuardCheckpoint as ur, GitPrestateEnvelope as ut, recoveryDigest as v, currentContractDigest as vn, HostStatus as vr, parseGitCommandManifest as vt, ProofManifest as w, UserInteractionKind as wn, VerificationContract as wr, ShellParseStatus as wt, PROOF_KINDS as x, AuthorityKind as xn, TargetCaptureStatus as xr, CanonicalArgv as xt, renderRecoveryPacket as y, AuthorityBlock as yn, PersistenceAuthorization as yr, revalidateGitPrestate as yt, isVerifyingCapability as z, segmentClauses as zn, actionCompatible as zr, CAPTURE_V042_NOTICE as zt };
1399
+ export { ActiveProfileHostLock as $, isFrozenV042RebindResponse as $n, VerificationContract as $r, Repairability as $t, createProofManifest as A, semanticActionFromText as Ai, HostPlatform as An, DerivedEnvelope as Ar, parseGitCommandManifest as At, COMMAND_SURFACE_MANIFEST as B, selectHostCohort as Bn, GuardEvidence as Br, parseShellCommand as Bt, ProofKind as C, SemanticAction as Ci, HostCapabilityRequest as Cn, qualifyBoundary as Cr, GitTargetIdentity as Ct, SessionQuery as D, requestedTargetAuthorizesMutation as Di, HostLockContext as Dn, DeriveConfig as Dr, createGitPrestateEnvelope as Dt, ProofSurface as E, isStatefulAction as Ei, HostCohortSelectionReason as En, DeferAuthorization as Er, commitTreeSnapshotDigest as Et, EvidenceFacetCoverage as F, normalizeClause as Fi, bindLiveGoalCapability as Fn, ExpectedTransition as Fr, ParsedShell as Ft, ClaimedMessage as G, authorityCaptureCounts as Gn, GuardOperation as Gr, ToolSubject as Gt, ManifestIssue as H, AuthorityBlock as Hn, GuardItem as Hr, hasCurrentCertificate as Ht, bindingSatisfies as I, sanitizeClauseText as Ii, evaluateExternalWaitCapability as In, ExternalOperation as Ir, ShellParseStatus as It, FirstStepPreviewInput as J, UserInteractionKind as Jn, PersistenceAuthorization as Jr, extractToolSubject as Jt, FIRST_STEP_GUIDANCE as K, segmentAuthorityBlocks as Kn, GuardProjection as Kr, evidenceFromPersistedToolResult as Kt, evidenceCoverage as L, sanitizeUrl as Li, evaluateHostCapability as Ln, GoalRef as Lr, canonicalArgvFromCommand as Lt, proofEvidenceConstraints as M, validateActionTarget as Mi, HostToolSurface as Mn, EvidenceOutcome as Mr, verifiedLinearCommitReadback as Mt, sessionQuery as N, canonicalizePath as Ni, LEGACY_HOST_COHORTS as Nn, EvidenceParseStatus as Nr, CanonicalArgv as Nt, bindProofToProjection as O, requestedTargetMatchesResolved as Oi, HostLockEvaluation as On, DeriveResult as Or, executeRevalidatedGitEffect as Ot, validateProofManifest as P, digestStrings as Pi, bindExecutableIdentity as Pn, EvidenceRole as Pr, CanonicalCommandSurface as Pt, previewFirstStepInjection as Q, ParsedConfirmation as Qn, TargetValue as Qr, DiagnosisNextAction as Qt, evidenceMatchesItem as R, sha256 as Ri, evaluateHostLock as Rn, GuardBoundary as Rr, isRunExecutable as Rt, PROOF_PROTOCOL_VERSION as S, SUPPORTED_EVIDENCE_ADAPTERS as Si, HostCapabilityId as Sn, isCurrentAcceptedBoundary as Sr, GitPrestateEnvelope as St, ProofObligation as T, actionCompatible as Ti, HostCohortSelection as Tn, BoundaryQualificationKind as Tr, commitIndexSnapshotDigest as Tt, OperationVerbEntry as U, AuthorityBlockKind as Un, GuardItemKind as Ur, ToolCallInput as Ut, CommandSurfaceManifest as V, currentContractDigest as Vn, GuardIntegrity as Vr, goalCompletionDenial as Vt, validateManifest as W, AuthorityKind as Wn, GuardItemStatus as Wr, ToolResultInput as Wt, claimedBatchHasRealRootInput as X, classifyUserInteraction as Xn, TargetCaptureStatus as Xr, withDurability as Xt, LifecyclePhase as Y, classifyTaskIntent as Yn, TargetCaptureReasonCode as Yr, isDeterministicCheck as Yt, lifecyclePhase as Z, CONFIRM_LINE_PATTERN as Zn, TargetTuple as Zr, CertificationSupport as Zt, openItems as _, ActionSpec as _i, ExecutableIdentityBinding as _n, BoundaryRequest as _r, GitCommandParseResult as _t, classifyCompletionClaim as a, RebindArgs as ai, relevantEvidence as an, ClassifiedClause as ar, inspectTargetHostGraph as at, ALPHA3_HOST_PACKAGES as b, STATEFUL_ACTIONS as bi, HOST_COHORTS as bn, availableBoundaryQualifications as br, GitEffectRunner as bt, isWholeTaskCompletionClaim as c, proposeRebind as ci, PROTOCOL_V4_NOTICE as cn, captureItem as cr, readActiveHostGraph as ct, snapshotSessionEvents as d, rebindAttemptKey as di, ALPHA2_HOST_PACKAGES as dn, extractMethod as dr, verifyComposedHostLockDump as dt, WaitAuthorization as ei, TaskKind as en, parseConfirmationMessage as er, HostProfileError as et, RC1_HOST_PACKAGES as f, rebindResponse as fi, AuditedExecutable as fn, extractOperation as fr, GIT_COMMAND_MANIFEST_IDS as ft, closingHint as g, ActionManifest as gi, ExecutableIdentity as gn, BoundaryQualification as gr, GitCommandManifest as gt, RecoveryOptions as h, ACTION_MANIFEST_VERSION as hi, EXPECTED_HOST_PACKAGES as hn, BoundaryEffectuation as hr, GitCommandAccepted as ht, TurnStoppingDecision as i, ProposeOutcome as ii, itemDiagnosis as in, CaptureScope as ir, injectActiveProfileHostLock as it, proofDigest as j, validateActionManifest as ji, HostProfileKind as jn, EvidenceBinding as jr, revalidateGitPrestate as jt, canonicalProjection as k, semanticActionFromCommand as ki, HostLockStatus as kn, DeriveScope as kr, gitCommandMatchesTarget as kt, latestAssistantText as l, proposeRebindOutcome as li, deriveProjection as ln, classifyClause as lr, resolveActiveProfileHostLock as lt, MIN_RECOVERY_CHAR_BUDGET as m, ACTION_MANIFEST as mi, DEFAULT_HOST_LOCK as mn, segmentClauses as mr, GitAdapterAction as mt, AssistantOutcomeObservation as n, PackageRow as ni, deriveItemDiagnosis as nn, RejectedBinding as nr, hostLockContextFromComposedDump as nt, decideTurnBoundary as o, RebindProposal as oi, CAPTURE_V042_NOTICE as on, ClauseSegment as or, packageRowsFromActiveGraph as ot, DEFAULT_RECOVERY_CHAR_BUDGET as p, replayRebindResult as pi, BASE_HOST_PACKAGES as pn, isInformationalMessage as pr, GIT_COMMAND_TEMPLATES as pt, FirstStepInjection as q, TaskIntent as qn, HostStatus as qr, extractTextContent as qt, CompletionDisposition as r, BoundedSource as ri, evidenceAvailabilityReason as rn, certifyCheckpoint as rr, hostLockRowsFromComposedDump as rt, decideTurnStopping as s, confirmRebind as si, PROTOCOL_V3_NOTICE as sn, captureClause as sr, packageRowsFromPnpmLock as st, supersedeItem as t, createProjection as ti, UnifiedItemDiagnosis as tn, CheckpointResult as tr, TargetHostGraph as tt, observeAssistantOutcome as u, proposeRebindV042 as ui, ALPHA2_DSHMARKET_139_HOST_PACKAGES as un, extractArtifactPaths as ur, resolveInstalledHostLock as ut, recoveryDigest as v, CERTIFICATE_VERSION as vi, GOAL_HOST_PACKAGES as vn, GoalActivationState as vr, GitCommandRejected as vt, ProofManifest as w, StatefulAction as wi, HostCohort as wn, BoundaryDisposition as wr, LinearCommitReadback as wt, PROOF_KINDS as x, STOP_PROTOCOL_VERSION as xi, HostCapabilityEvaluation as xn, effectuateBoundary as xr, GitPrestateCheck as xt, renderRecoveryPacket as y, SEMANTIC_ACTIONS as yi, HOST_CAPABILITY_PACKAGE_GROUPS as yn, GoalBoundaryAccess as yr, GitEffectExecution as yt, isVerifyingCapability as z, evaluateToolSurfaceCapability as zn, GuardCheckpoint as zr, parsePwshCommand as zt };
package/dist/index.d.ts CHANGED
@@ -1,4 +1,4 @@
1
- import { $ as resolveInstalledHostLock, $n as DeriveResult, $t as HostCapabilityEvaluation, A as createProofManifest, An as ClassifiedClause, Ar as ActionManifest, At as hasCurrentCertificate, B as COMMAND_SURFACE_MANIFEST, Bn as BoundaryEffectuation, Br as isStatefulAction, Bt as PROTOCOL_V3_NOTICE, C as ProofKind, Cn as segmentAuthorityBlocks, Cr as TargetValue, Ct as ParsedShell, D as SessionQuery, Dn as RejectedBinding, Dr as PackageRow, Dt as parsePwshCommand, E as ProofSurface, En as CheckpointResult, Er as createProjection, Et as isRunExecutable, F as EvidenceFacetCoverage, Fn as extractArtifactPaths, Fr as STOP_PROTOCOL_VERSION, Ft as extractTextContent, G as ActiveProfileHostLock, Gn as availableBoundaryQualifications, Gr as validateActionManifest, Gt as BASE_HOST_PACKAGES, H as ManifestIssue, Hn as BoundaryRequest, Hr as requestedTargetMatchesResolved, Ht as ALPHA2_DSHMARKET_139_HOST_PACKAGES, I as bindingSatisfies, In as extractMethod, Ir as SUPPORTED_EVIDENCE_ADAPTERS, It as extractToolSubject, J as hostLockRowsFromComposedDump, Jn as qualifyBoundary, Jr as digestStrings, Jt as ExecutableIdentity, K as HostProfileError, Kn as effectuateBoundary, Kr as validateActionTarget, Kt as DEFAULT_HOST_LOCK, L as evidenceCoverage, Ln as extractOperation, Lr as SemanticAction, Lt as isDeterministicCheck, M as proofEvidenceConstraints, Mn as captureClause, Mr as CERTIFICATE_VERSION, Mt as ToolResultInput, N as sessionQuery, Nn as captureItem, Nr as SEMANTIC_ACTIONS, Nt as ToolSubject, O as bindProofToProjection, On as certifyCheckpoint, Or as ACTION_MANIFEST, Ot as parseShellCommand, P as validateProofManifest, Pn as classifyClause, Pr as STATEFUL_ACTIONS, Pt as evidenceFromPersistedToolResult, Q as resolveActiveProfileHostLock, Qn as DeriveConfig, Qr as sha256, Qt as HOST_COHORTS, R as evidenceMatchesItem, Rn as isInformationalMessage, Rr as StatefulAction, Rt as withDurability, S as PROOF_PROTOCOL_VERSION, Sn as authorityCaptureCounts, Sr as TargetTuple, St as CanonicalCommandSurface, T as ProofObligation, Tn as classifyUserInteraction, Tr as WaitAuthorization, Tt as canonicalArgvFromCommand, U as OperationVerbEntry, Un as GoalActivationState, Ur as semanticActionFromCommand, Ut as ALPHA2_HOST_PACKAGES, V as CommandSurfaceManifest, Vn as BoundaryQualification, Vr as requestedTargetAuthorizesMutation, Vt as deriveProjection, W as validateManifest, Wn as GoalBoundaryAccess, Wr as semanticActionFromText, Wt as AuditedExecutable, X as packageRowsFromActiveGraph, Xn as BoundaryQualificationKind, Xr as sanitizeClauseText, Xt as GOAL_HOST_PACKAGES, Y as injectActiveProfileHostLock, Yn as BoundaryDisposition, Yr as normalizeClause, Yt as ExecutableIdentityBinding, Z as packageRowsFromPnpmLock, Zn as DeferAuthorization, Zr as sanitizeUrl, Zt as HOST_CAPABILITY_PACKAGE_GROUPS, _ as openItems, _n as selectHostCohort, _r as GuardProjection, _t as gitCommandMatchesTarget, a as classifyCompletionClaim, an as HostLockContext, ar as EvidenceRole, at as GitCommandParseResult, b as ALPHA3_HOST_PACKAGES, bn as AuthorityBlockKind, br as TargetCaptureReasonCode, bt as verifiedLinearCommitReadback, c as isWholeTaskCompletionClaim, cn as HostPlatform, cr as GoalRef, ct as GitEffectRunner, d as snapshotSessionEvents, dn as bindExecutableIdentity, dr as GuardEvidence, dt as GitTargetIdentity, en as HostCapabilityId, er as DeriveScope, et as verifyComposedHostLockDump, f as RC1_HOST_PACKAGES, fn as bindLiveGoalCapability, fr as GuardIntegrity, ft as LinearCommitReadback, g as closingHint, gn as evaluateToolSurfaceCapability, gr as GuardOperation, gt as executeRevalidatedGitEffect, h as RecoveryOptions, hn as evaluateHostLock, hr as GuardItemStatus, ht as createGitPrestateEnvelope, i as TurnStoppingDecision, in as HostCohortSelectionReason, ir as EvidenceParseStatus, it as GitCommandManifest, j as proofDigest, jn as ClauseSegment, jr as ActionSpec, jt as ToolCallInput, k as canonicalProjection, kn as CaptureScope, kr as ACTION_MANIFEST_VERSION, kt as goalCompletionDenial, l as latestAssistantText, ln as HostProfileKind, lr as GuardBoundary, lt as GitPrestateCheck, m as MIN_RECOVERY_CHAR_BUDGET, mn as evaluateHostCapability, mr as GuardItemKind, mt as commitTreeSnapshotDigest, n as AssistantOutcomeObservation, nn as HostCohort, nr as EvidenceBinding, nt as GitAdapterAction, o as decideTurnBoundary, on as HostLockEvaluation, or as ExpectedTransition, ot as GitCommandRejected, p as DEFAULT_RECOVERY_CHAR_BUDGET, pn as evaluateExternalWaitCapability, pr as GuardItem, pt as commitIndexSnapshotDigest, q as hostLockContextFromComposedDump, qn as isCurrentAcceptedBoundary, qr as canonicalizePath, qt as EXPECTED_HOST_PACKAGES, r as CompletionDisposition, rn as HostCohortSelection, rr as EvidenceOutcome, rt as GitCommandAccepted, s as decideTurnStopping, sn as HostLockStatus, sr as ExternalOperation, st as GitEffectExecution, t as supersedeItem, tn as HostCapabilityRequest, tr as DerivedEnvelope, tt as GIT_COMMAND_MANIFEST_IDS, u as observeAssistantOutcome, un as HostToolSurface, ur as GuardCheckpoint, ut as GitPrestateEnvelope, v as recoveryDigest, vn as currentContractDigest, vr as HostStatus, vt as parseGitCommandManifest, w as ProofManifest, wn as UserInteractionKind, wr as VerificationContract, wt as ShellParseStatus, x as PROOF_KINDS, xn as AuthorityKind, xr as TargetCaptureStatus, xt as CanonicalArgv, y as renderRecoveryPacket, yn as AuthorityBlock, yr as PersistenceAuthorization, yt as revalidateGitPrestate, z as isVerifyingCapability, zn as segmentClauses, zr as actionCompatible, zt as CAPTURE_V042_NOTICE } from "./index-DNF0OTi-.js";
1
+ import { $ as ActiveProfileHostLock, $n as isFrozenV042RebindResponse, $r as VerificationContract, $t as Repairability, A as createProofManifest, Ai as semanticActionFromText, An as HostPlatform, Ar as DerivedEnvelope, At as parseGitCommandManifest, B as COMMAND_SURFACE_MANIFEST, Bn as selectHostCohort, Br as GuardEvidence, Bt as parseShellCommand, C as ProofKind, Ci as SemanticAction, Cn as HostCapabilityRequest, Cr as qualifyBoundary, Ct as GitTargetIdentity, D as SessionQuery, Di as requestedTargetAuthorizesMutation, Dn as HostLockContext, Dr as DeriveConfig, Dt as createGitPrestateEnvelope, E as ProofSurface, Ei as isStatefulAction, En as HostCohortSelectionReason, Er as DeferAuthorization, Et as commitTreeSnapshotDigest, F as EvidenceFacetCoverage, Fi as normalizeClause, Fn as bindLiveGoalCapability, Fr as ExpectedTransition, Ft as ParsedShell, G as ClaimedMessage, Gn as authorityCaptureCounts, Gr as GuardOperation, Gt as ToolSubject, H as ManifestIssue, Hn as AuthorityBlock, Hr as GuardItem, Ht as hasCurrentCertificate, I as bindingSatisfies, Ii as sanitizeClauseText, In as evaluateExternalWaitCapability, Ir as ExternalOperation, It as ShellParseStatus, J as FirstStepPreviewInput, Jn as UserInteractionKind, Jr as PersistenceAuthorization, Jt as extractToolSubject, K as FIRST_STEP_GUIDANCE, Kn as segmentAuthorityBlocks, Kr as GuardProjection, Kt as evidenceFromPersistedToolResult, L as evidenceCoverage, Li as sanitizeUrl, Ln as evaluateHostCapability, Lr as GoalRef, Lt as canonicalArgvFromCommand, M as proofEvidenceConstraints, Mi as validateActionTarget, Mn as HostToolSurface, Mr as EvidenceOutcome, Mt as verifiedLinearCommitReadback, N as sessionQuery, Ni as canonicalizePath, Nn as LEGACY_HOST_COHORTS, Nr as EvidenceParseStatus, Nt as CanonicalArgv, O as bindProofToProjection, Oi as requestedTargetMatchesResolved, On as HostLockEvaluation, Or as DeriveResult, Ot as executeRevalidatedGitEffect, P as validateProofManifest, Pi as digestStrings, Pn as bindExecutableIdentity, Pr as EvidenceRole, Pt as CanonicalCommandSurface, Q as previewFirstStepInjection, Qn as ParsedConfirmation, Qr as TargetValue, Qt as DiagnosisNextAction, R as evidenceMatchesItem, Ri as sha256, Rn as evaluateHostLock, Rr as GuardBoundary, Rt as isRunExecutable, S as PROOF_PROTOCOL_VERSION, Si as SUPPORTED_EVIDENCE_ADAPTERS, Sn as HostCapabilityId, Sr as isCurrentAcceptedBoundary, St as GitPrestateEnvelope, T as ProofObligation, Ti as actionCompatible, Tn as HostCohortSelection, Tr as BoundaryQualificationKind, Tt as commitIndexSnapshotDigest, U as OperationVerbEntry, Un as AuthorityBlockKind, Ur as GuardItemKind, Ut as ToolCallInput, V as CommandSurfaceManifest, Vn as currentContractDigest, Vr as GuardIntegrity, Vt as goalCompletionDenial, W as validateManifest, Wn as AuthorityKind, Wr as GuardItemStatus, Wt as ToolResultInput, X as claimedBatchHasRealRootInput, Xn as classifyUserInteraction, Xr as TargetCaptureStatus, Xt as withDurability, Y as LifecyclePhase, Yn as classifyTaskIntent, Yr as TargetCaptureReasonCode, Yt as isDeterministicCheck, Z as lifecyclePhase, Zn as CONFIRM_LINE_PATTERN, Zr as TargetTuple, Zt as CertificationSupport, _ as openItems, _i as ActionSpec, _n as ExecutableIdentityBinding, _r as BoundaryRequest, _t as GitCommandParseResult, a as classifyCompletionClaim, ai as RebindArgs, an as relevantEvidence, ar as ClassifiedClause, at as inspectTargetHostGraph, b as ALPHA3_HOST_PACKAGES, bi as STATEFUL_ACTIONS, bn as HOST_COHORTS, br as availableBoundaryQualifications, bt as GitEffectRunner, c as isWholeTaskCompletionClaim, ci as proposeRebind, cn as PROTOCOL_V4_NOTICE, cr as captureItem, ct as readActiveHostGraph, d as snapshotSessionEvents, di as rebindAttemptKey, dn as ALPHA2_HOST_PACKAGES, dr as extractMethod, dt as verifyComposedHostLockDump, ei as WaitAuthorization, en as TaskKind, er as parseConfirmationMessage, et as HostProfileError, f as RC1_HOST_PACKAGES, fi as rebindResponse, fn as AuditedExecutable, fr as extractOperation, ft as GIT_COMMAND_MANIFEST_IDS, g as closingHint, gi as ActionManifest, gn as ExecutableIdentity, gr as BoundaryQualification, gt as GitCommandManifest, h as RecoveryOptions, hi as ACTION_MANIFEST_VERSION, hn as EXPECTED_HOST_PACKAGES, hr as BoundaryEffectuation, ht as GitCommandAccepted, i as TurnStoppingDecision, ii as ProposeOutcome, in as itemDiagnosis, ir as CaptureScope, it as injectActiveProfileHostLock, j as proofDigest, ji as validateActionManifest, jn as HostProfileKind, jr as EvidenceBinding, jt as revalidateGitPrestate, k as canonicalProjection, ki as semanticActionFromCommand, kn as HostLockStatus, kr as DeriveScope, kt as gitCommandMatchesTarget, l as latestAssistantText, li as proposeRebindOutcome, ln as deriveProjection, lr as classifyClause, lt as resolveActiveProfileHostLock, m as MIN_RECOVERY_CHAR_BUDGET, mi as ACTION_MANIFEST, mn as DEFAULT_HOST_LOCK, mr as segmentClauses, mt as GitAdapterAction, n as AssistantOutcomeObservation, ni as PackageRow, nn as deriveItemDiagnosis, nr as RejectedBinding, nt as hostLockContextFromComposedDump, o as decideTurnBoundary, oi as RebindProposal, on as CAPTURE_V042_NOTICE, or as ClauseSegment, ot as packageRowsFromActiveGraph, p as DEFAULT_RECOVERY_CHAR_BUDGET, pi as replayRebindResult, pn as BASE_HOST_PACKAGES, pr as isInformationalMessage, pt as GIT_COMMAND_TEMPLATES, q as FirstStepInjection, qn as TaskIntent, qr as HostStatus, qt as extractTextContent, r as CompletionDisposition, ri as BoundedSource, rn as evidenceAvailabilityReason, rr as certifyCheckpoint, rt as hostLockRowsFromComposedDump, s as decideTurnStopping, si as confirmRebind, sn as PROTOCOL_V3_NOTICE, sr as captureClause, st as packageRowsFromPnpmLock, t as supersedeItem, ti as createProjection, tn as UnifiedItemDiagnosis, tr as CheckpointResult, tt as TargetHostGraph, u as observeAssistantOutcome, ui as proposeRebindV042, un as ALPHA2_DSHMARKET_139_HOST_PACKAGES, ur as extractArtifactPaths, ut as resolveInstalledHostLock, v as recoveryDigest, vi as CERTIFICATE_VERSION, vn as GOAL_HOST_PACKAGES, vr as GoalActivationState, vt as GitCommandRejected, w as ProofManifest, wi as StatefulAction, wn as HostCohort, wr as BoundaryDisposition, wt as LinearCommitReadback, x as PROOF_KINDS, xi as STOP_PROTOCOL_VERSION, xn as HostCapabilityEvaluation, xr as effectuateBoundary, xt as GitPrestateCheck, y as renderRecoveryPacket, yi as SEMANTIC_ACTIONS, yn as HOST_CAPABILITY_PACKAGE_GROUPS, yr as GoalBoundaryAccess, yt as GitEffectExecution, z as isVerifyingCapability, zn as evaluateToolSurfaceCapability, zr as GuardCheckpoint, zt as parsePwshCommand } from "./index-Cd3wXBLi.js";
2
2
  import "@deepseek-ai/dsh-tools";
3
3
  import { Context } from "@deepseek-ai/cordis";
4
4
  import z from "@deepseek-ai/schemastery";
@@ -9,6 +9,9 @@ declare const Config: z<{
9
9
  hostLockPackages?: PackageRow[];
10
10
  hostLockPlatform?: HostPlatform;
11
11
  hostLockProfile?: HostProfileKind;
12
+ hostLockPolicy?: string;
13
+ hostLockRuntimeRoot?: string;
14
+ hostLockProfileRoot?: string;
12
15
  }>;
13
16
  //#endregion
14
17
  //#region src/runtime.d.ts
@@ -19,6 +22,9 @@ declare function apply(ctx: Context, rawConfig?: {
19
22
  hostLockPackages?: unknown;
20
23
  hostLockPlatform?: unknown;
21
24
  hostLockProfile?: unknown;
25
+ hostLockPolicy?: unknown;
26
+ hostLockRuntimeRoot?: unknown;
27
+ hostLockProfileRoot?: unknown;
22
28
  }): void;
23
29
  //#endregion
24
- export { ACTION_MANIFEST, ACTION_MANIFEST_VERSION, ALPHA2_DSHMARKET_139_HOST_PACKAGES, ALPHA2_HOST_PACKAGES, ALPHA3_HOST_PACKAGES, ActionManifest, ActionSpec, ActiveProfileHostLock, AssistantOutcomeObservation, AuditedExecutable, AuthorityBlock, AuthorityBlockKind, AuthorityKind, BASE_HOST_PACKAGES, BoundaryDisposition, BoundaryEffectuation, BoundaryQualification, BoundaryQualificationKind, BoundaryRequest, CAPTURE_V042_NOTICE, CERTIFICATE_VERSION, COMMAND_SURFACE_MANIFEST, CanonicalArgv, CanonicalCommandSurface, CaptureScope, CheckpointResult, ClassifiedClause, ClauseSegment, CommandSurfaceManifest, CompletionDisposition, Config, DEFAULT_HOST_LOCK, DEFAULT_RECOVERY_CHAR_BUDGET, DeferAuthorization, DeriveConfig, DeriveResult, DeriveScope, DerivedEnvelope, EXPECTED_HOST_PACKAGES, EvidenceBinding, EvidenceFacetCoverage, EvidenceOutcome, EvidenceParseStatus, EvidenceRole, ExecutableIdentity, ExecutableIdentityBinding, ExpectedTransition, ExternalOperation, GIT_COMMAND_MANIFEST_IDS, GOAL_HOST_PACKAGES, GitAdapterAction, GitCommandAccepted, GitCommandManifest, GitCommandParseResult, GitCommandRejected, GitEffectExecution, GitEffectRunner, GitPrestateCheck, GitPrestateEnvelope, GitTargetIdentity, GoalActivationState, GoalBoundaryAccess, GoalRef, GuardBoundary, GuardCheckpoint, GuardEvidence, GuardIntegrity, GuardItem, GuardItemKind, GuardItemStatus, GuardOperation, GuardProjection, HOST_CAPABILITY_PACKAGE_GROUPS, HOST_COHORTS, HostCapabilityEvaluation, HostCapabilityId, HostCapabilityRequest, HostCohort, HostCohortSelection, HostCohortSelectionReason, HostLockContext, HostLockEvaluation, HostLockStatus, HostPlatform, HostProfileError, HostProfileKind, HostStatus, HostToolSurface, LinearCommitReadback, MIN_RECOVERY_CHAR_BUDGET, ManifestIssue, OperationVerbEntry, PROOF_KINDS, PROOF_PROTOCOL_VERSION, PROTOCOL_V3_NOTICE, ParsedShell, PersistenceAuthorization, ProofKind, ProofManifest, ProofObligation, ProofSurface, RC1_HOST_PACKAGES, RecoveryOptions, RejectedBinding, SEMANTIC_ACTIONS, STATEFUL_ACTIONS, STOP_PROTOCOL_VERSION, SUPPORTED_EVIDENCE_ADAPTERS, SemanticAction, SessionQuery, ShellParseStatus, StatefulAction, TargetCaptureReasonCode, TargetCaptureStatus, TargetTuple, TargetValue, ToolCallInput, ToolResultInput, ToolSubject, TurnStoppingDecision, UserInteractionKind, VerificationContract, WaitAuthorization, actionCompatible, apply, authorityCaptureCounts, availableBoundaryQualifications, bindExecutableIdentity, bindLiveGoalCapability, bindProofToProjection, bindingSatisfies, canonicalArgvFromCommand, canonicalProjection, canonicalizePath, captureClause, captureItem, certifyCheckpoint, classifyClause, classifyCompletionClaim, classifyUserInteraction, closingHint, commitIndexSnapshotDigest, commitTreeSnapshotDigest, createGitPrestateEnvelope, createProjection, createProofManifest, currentContractDigest, decideTurnBoundary, decideTurnStopping, deriveProjection, digestStrings, effectuateBoundary, evaluateExternalWaitCapability, evaluateHostCapability, evaluateHostLock, evaluateToolSurfaceCapability, evidenceCoverage, evidenceFromPersistedToolResult, evidenceMatchesItem, executeRevalidatedGitEffect, extractArtifactPaths, extractMethod, extractOperation, extractTextContent, extractToolSubject, gitCommandMatchesTarget, goalCompletionDenial, hasCurrentCertificate, hostLockContextFromComposedDump, hostLockRowsFromComposedDump, inject, injectActiveProfileHostLock, isCurrentAcceptedBoundary, isDeterministicCheck, isInformationalMessage, isRunExecutable, isStatefulAction, isVerifyingCapability, isWholeTaskCompletionClaim, latestAssistantText, name, normalizeClause, observeAssistantOutcome, openItems, packageRowsFromActiveGraph, packageRowsFromPnpmLock, parseGitCommandManifest, parsePwshCommand, parseShellCommand, proofDigest, proofEvidenceConstraints, qualifyBoundary, recoveryDigest, renderRecoveryPacket, requestedTargetAuthorizesMutation, requestedTargetMatchesResolved, resolveActiveProfileHostLock, resolveInstalledHostLock, revalidateGitPrestate, sanitizeClauseText, sanitizeUrl, segmentAuthorityBlocks, segmentClauses, selectHostCohort, semanticActionFromCommand, semanticActionFromText, sessionQuery, sha256, snapshotSessionEvents, supersedeItem, validateActionManifest, validateActionTarget, validateManifest, validateProofManifest, verifiedLinearCommitReadback, verifyComposedHostLockDump, withDurability };
30
+ export { ACTION_MANIFEST, ACTION_MANIFEST_VERSION, ALPHA2_DSHMARKET_139_HOST_PACKAGES, ALPHA2_HOST_PACKAGES, ALPHA3_HOST_PACKAGES, ActionManifest, ActionSpec, ActiveProfileHostLock, AssistantOutcomeObservation, AuditedExecutable, AuthorityBlock, AuthorityBlockKind, AuthorityKind, BASE_HOST_PACKAGES, BoundaryDisposition, BoundaryEffectuation, BoundaryQualification, BoundaryQualificationKind, BoundaryRequest, BoundedSource, CAPTURE_V042_NOTICE, CERTIFICATE_VERSION, COMMAND_SURFACE_MANIFEST, CONFIRM_LINE_PATTERN, CanonicalArgv, CanonicalCommandSurface, CaptureScope, CertificationSupport, CheckpointResult, ClaimedMessage, ClassifiedClause, ClauseSegment, CommandSurfaceManifest, CompletionDisposition, Config, DEFAULT_HOST_LOCK, DEFAULT_RECOVERY_CHAR_BUDGET, DeferAuthorization, DeriveConfig, DeriveResult, DeriveScope, DerivedEnvelope, DiagnosisNextAction, EXPECTED_HOST_PACKAGES, EvidenceBinding, EvidenceFacetCoverage, EvidenceOutcome, EvidenceParseStatus, EvidenceRole, ExecutableIdentity, ExecutableIdentityBinding, ExpectedTransition, ExternalOperation, FIRST_STEP_GUIDANCE, FirstStepInjection, FirstStepPreviewInput, GIT_COMMAND_MANIFEST_IDS, GIT_COMMAND_TEMPLATES, GOAL_HOST_PACKAGES, GitAdapterAction, GitCommandAccepted, GitCommandManifest, GitCommandParseResult, GitCommandRejected, GitEffectExecution, GitEffectRunner, GitPrestateCheck, GitPrestateEnvelope, GitTargetIdentity, GoalActivationState, GoalBoundaryAccess, GoalRef, GuardBoundary, GuardCheckpoint, GuardEvidence, GuardIntegrity, GuardItem, GuardItemKind, GuardItemStatus, GuardOperation, GuardProjection, HOST_CAPABILITY_PACKAGE_GROUPS, HOST_COHORTS, HostCapabilityEvaluation, HostCapabilityId, HostCapabilityRequest, HostCohort, HostCohortSelection, HostCohortSelectionReason, HostLockContext, HostLockEvaluation, HostLockStatus, HostPlatform, HostProfileError, HostProfileKind, HostStatus, HostToolSurface, LEGACY_HOST_COHORTS, LifecyclePhase, LinearCommitReadback, MIN_RECOVERY_CHAR_BUDGET, ManifestIssue, OperationVerbEntry, PROOF_KINDS, PROOF_PROTOCOL_VERSION, PROTOCOL_V3_NOTICE, PROTOCOL_V4_NOTICE, ParsedConfirmation, ParsedShell, PersistenceAuthorization, ProofKind, ProofManifest, ProofObligation, ProofSurface, ProposeOutcome, RC1_HOST_PACKAGES, RebindArgs, RebindProposal, RecoveryOptions, RejectedBinding, Repairability, SEMANTIC_ACTIONS, STATEFUL_ACTIONS, STOP_PROTOCOL_VERSION, SUPPORTED_EVIDENCE_ADAPTERS, SemanticAction, SessionQuery, ShellParseStatus, StatefulAction, TargetCaptureReasonCode, TargetCaptureStatus, TargetHostGraph, TargetTuple, TargetValue, TaskIntent, TaskKind, ToolCallInput, ToolResultInput, ToolSubject, TurnStoppingDecision, UnifiedItemDiagnosis, UserInteractionKind, VerificationContract, WaitAuthorization, actionCompatible, apply, authorityCaptureCounts, availableBoundaryQualifications, bindExecutableIdentity, bindLiveGoalCapability, bindProofToProjection, bindingSatisfies, canonicalArgvFromCommand, canonicalProjection, canonicalizePath, captureClause, captureItem, certifyCheckpoint, claimedBatchHasRealRootInput, classifyClause, classifyCompletionClaim, classifyTaskIntent, classifyUserInteraction, closingHint, commitIndexSnapshotDigest, commitTreeSnapshotDigest, confirmRebind, createGitPrestateEnvelope, createProjection, createProofManifest, currentContractDigest, decideTurnBoundary, decideTurnStopping, deriveItemDiagnosis, deriveProjection, digestStrings, effectuateBoundary, evaluateExternalWaitCapability, evaluateHostCapability, evaluateHostLock, evaluateToolSurfaceCapability, evidenceAvailabilityReason, evidenceCoverage, evidenceFromPersistedToolResult, evidenceMatchesItem, executeRevalidatedGitEffect, extractArtifactPaths, extractMethod, extractOperation, extractTextContent, extractToolSubject, gitCommandMatchesTarget, goalCompletionDenial, hasCurrentCertificate, hostLockContextFromComposedDump, hostLockRowsFromComposedDump, inject, injectActiveProfileHostLock, inspectTargetHostGraph, isCurrentAcceptedBoundary, isDeterministicCheck, isFrozenV042RebindResponse, isInformationalMessage, isRunExecutable, isStatefulAction, isVerifyingCapability, isWholeTaskCompletionClaim, itemDiagnosis, latestAssistantText, lifecyclePhase, name, normalizeClause, observeAssistantOutcome, openItems, packageRowsFromActiveGraph, packageRowsFromPnpmLock, parseConfirmationMessage, parseGitCommandManifest, parsePwshCommand, parseShellCommand, previewFirstStepInjection, proofDigest, proofEvidenceConstraints, proposeRebind, proposeRebindOutcome, proposeRebindV042, qualifyBoundary, readActiveHostGraph, rebindAttemptKey, rebindResponse, recoveryDigest, relevantEvidence, renderRecoveryPacket, replayRebindResult, requestedTargetAuthorizesMutation, requestedTargetMatchesResolved, resolveActiveProfileHostLock, resolveInstalledHostLock, revalidateGitPrestate, sanitizeClauseText, sanitizeUrl, segmentAuthorityBlocks, segmentClauses, selectHostCohort, semanticActionFromCommand, semanticActionFromText, sessionQuery, sha256, snapshotSessionEvents, supersedeItem, validateActionManifest, validateActionTarget, validateManifest, validateProofManifest, verifiedLinearCommitReadback, verifyComposedHostLockDump, withDurability };