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.
- package/CHANGELOG.md +30 -1
- package/CHANGELOG.zh-CN.md +30 -1
- package/README.md +18 -24
- package/README.zh-CN.md +18 -24
- package/bin/dsh-completion-guard-host-lock.mjs +15 -2
- package/dist/domain/index.d.ts +2 -2
- package/dist/domain/index.js +2 -2
- package/dist/{domain-BXB_BPQg.js → domain-Cx8vpxSj.js} +1169 -278
- package/dist/{index-DNF0OTi-.d.ts → index-Cd3wXBLi.d.ts} +279 -20
- package/dist/index.d.ts +8 -2
- package/dist/index.js +270 -41
- package/docs/ARCHITECTURE.md +26 -2
- package/docs/COMPATIBILITY.md +22 -16
- package/docs/HOST_LOCK_UPGRADE.md +83 -0
- package/docs/LOCAL_ACCEPTANCE.md +16 -6
- package/docs/SEMANTIC_COMPATIBILITY.md +4 -2
- package/manifests/action-manifest.v1.json +1 -1
- package/manifests/supported-host.v1.json +221 -14
- package/package.json +31 -30
|
@@ -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
|
-
*
|
|
532
|
-
* audited for
|
|
533
|
-
*
|
|
534
|
-
* `0.1.2-
|
|
535
|
-
*
|
|
536
|
-
*
|
|
537
|
-
|
|
538
|
-
|
|
539
|
-
|
|
540
|
-
*
|
|
541
|
-
*
|
|
542
|
-
*
|
|
543
|
-
*
|
|
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.
|
|
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 {
|
|
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
|
|
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 };
|