From 966efbc738a7e1e3ad6fd9e1dbbde5a2d3bea301 Mon Sep 17 00:00:00 2001 From: "zackary.l.jackson" Date: Sun, 4 Oct 2026 15:13:05 +0000 Subject: [PATCH 1/5] build(sdk): check in operation descriptors and drop build.rs tracedecay-sdk/build.rs made tracedecay-contracts, -domain, -policy and -tool-catalog build dependencies. Their host-graph feature sets differ from the normal graph (serde_json raw_value vs preserve_order, schemars chrono04), so Cargo compiled each of them a second time for the build script on every cold build. The generator now writes src/operations.rs next to the TypeScript SDK sources, through the same contracts:generate / contracts:check path. A codegen unit test compares the checked-in file with a fresh render, so drift fails cargo test in sdks/codegen as well as contracts:check. The rendered body is byte-identical to the previous OUT_DIR output and is marked rustfmt::skip. Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> --- AGENTS.md | 10 +- crates/tracedecay-sdk/Cargo.toml | 8 - crates/tracedecay-sdk/build.rs | 20 - crates/tracedecay-sdk/src/bin/generate.rs | 11 +- crates/tracedecay-sdk/src/codegen.rs | 43 +- crates/tracedecay-sdk/src/operations.rs | 1987 ++++++++++++++++++++- dashboard/codegen/src/cli.ts | 19 +- 7 files changed, 2034 insertions(+), 64 deletions(-) delete mode 100644 crates/tracedecay-sdk/build.rs diff --git a/AGENTS.md b/AGENTS.md index 9934a44f88..0bebc988c5 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -61,11 +61,11 @@ unauthorized external action after completing independent, authorized work. `-application`, `-contracts`, `-domain`, `-store`, `-hooks`, `-policy`, `-tool-catalog`, rusqlite parity/runtime crates). - `dashboard/`, the single embedded dashboard (React + rsbuild + vitest). - `dashboard/src/contracts/` (from Rust schemas via schemars) and the - TypeScript SDK sources in `sdks/typescript/src/` (from the canonical - operation registry) are generated. Never hand-edit them; regenerate both - with the dashboard `contracts:generate` script and verify with - `contracts:check`. + `dashboard/src/contracts/` (from Rust schemas via schemars), and the + TypeScript SDK sources in `sdks/typescript/src/` plus the Rust descriptors in + `crates/tracedecay-sdk/src/operations.rs` (from the canonical operation + registry) are generated. Never hand-edit them; regenerate all of them with + the dashboard `contracts:generate` script and verify with `contracts:check`. - `plugin/`, host bundles (Claude, Codex, Cursor, Kimi, opencode). - `tests/`, shared fixtures, distribution suites, and shell/Python gates that no single crate owns; crate-level integration suites and criterion benches diff --git a/crates/tracedecay-sdk/Cargo.toml b/crates/tracedecay-sdk/Cargo.toml index 0d58d723e0..9fc257a803 100644 --- a/crates/tracedecay-sdk/Cargo.toml +++ b/crates/tracedecay-sdk/Cargo.toml @@ -22,14 +22,6 @@ tracedecay-domain = { path = "../tracedecay-domain" } tracedecay-tool-catalog = { path = "../tracedecay-tool-catalog" } tracing = "0.1" -# `build.rs` renders `src/operations.rs` from the canonical registry through -# `src/codegen.rs`. These mirror the runtime dependencies the descriptors are -# projected from; no crate here depends on this one, so there is no cycle. -[build-dependencies] -serde_json = "1" -tracedecay-contracts = { path = "../tracedecay-contracts" } -tracedecay-tool-catalog = { path = "../tracedecay-tool-catalog" } - [dev-dependencies] rustls = { version = "0.23", default-features = false, features = ["ring", "std", "tls12"] } tempfile = "3" diff --git a/crates/tracedecay-sdk/build.rs b/crates/tracedecay-sdk/build.rs deleted file mode 100644 index df866a00d9..0000000000 --- a/crates/tracedecay-sdk/build.rs +++ /dev/null @@ -1,20 +0,0 @@ -//! Renders the typed public operation descriptors into `OUT_DIR`. -//! -//! The descriptors are a pure projection of the canonical application -//! registry, so generating them here keeps the projection and its authority -//! from drifting instead of policing a checked-in copy after the fact. -//! `src/codegen.rs` is the single generator; `src/bin/generate.rs` reuses it -//! for the checked-in TypeScript SDK sources. - -// The TypeScript renderers in the shared generator have no build-time caller. -#[allow(dead_code)] -#[path = "src/codegen.rs"] -mod codegen; - -fn main() { - println!("cargo::rerun-if-changed=src/codegen.rs"); - let destination = std::path::Path::new(&std::env::var_os("OUT_DIR").expect("OUT_DIR is set")) - .join("operations.rs"); - let rendered = codegen::render_rust_operations_source().expect("render operation descriptors"); - std::fs::write(&destination, rendered).expect("write generated operation descriptors"); -} diff --git a/crates/tracedecay-sdk/src/bin/generate.rs b/crates/tracedecay-sdk/src/bin/generate.rs index 51ea706293..13f771809d 100644 --- a/crates/tracedecay-sdk/src/bin/generate.rs +++ b/crates/tracedecay-sdk/src/bin/generate.rs @@ -1,11 +1,6 @@ -//! Writes the checked-in TypeScript SDK sources from the canonical registry. -//! -//! Rust descriptors are generated into `OUT_DIR` by the SDK crate's -//! `build.rs`, so only the published npm package's sources are written into -//! the checkout here. Both entry points share `src/codegen.rs`. +//! Writes the checked-in Rust operation descriptors and TypeScript SDK sources +//! from the canonical registry through the shared `src/codegen.rs`. -// The Rust renderer in the shared generator has no caller on this path. -#[allow(dead_code)] #[path = "../codegen.rs"] mod codegen; @@ -17,5 +12,5 @@ fn main() -> Result<(), Box> { .nth(1) .map(PathBuf::from) .ok_or("usage: generate ")?; - codegen::write_typescript_sdk(&root) + codegen::write_sdk_sources(&root) } diff --git a/crates/tracedecay-sdk/src/codegen.rs b/crates/tracedecay-sdk/src/codegen.rs index d81d6980cd..d88f96d86e 100644 --- a/crates/tracedecay-sdk/src/codegen.rs +++ b/crates/tracedecay-sdk/src/codegen.rs @@ -1,6 +1,6 @@ -//! Canonical SDK generator, shared by the crate's `build.rs` (Rust operation -//! descriptors into `OUT_DIR`) and `src/bin/generate.rs` (the checked-in -//! TypeScript SDK sources). It is the single authority for both surfaces. +//! Canonical SDK generator behind `src/bin/generate.rs`, which writes the +//! checked-in Rust operation descriptors and TypeScript SDK sources. It is the +//! single authority for both surfaces. use std::collections::{BTreeMap, BTreeSet}; use std::error::Error; @@ -79,27 +79,24 @@ struct UnavailableOperation { disposition: ExecutableUnavailableDispositionV1, } -/// Render the typed Rust operation descriptors for `include!` from -/// `src/operations.rs`. No module header: the including file owns it. -pub fn render_rust_operations_source() -> Result> { - let registry = canonical_application_registry()?; - let operations = canonical_operations(®istry)?; - let unavailable = canonical_unavailable_operations(®istry); - render_rust_operations(&operations, &unavailable) -} +/// Repository-relative path of the checked-in Rust operation descriptors. +const RUST_OPERATIONS_PATH: &str = "crates/tracedecay-sdk/src/operations.rs"; -/// Write the checked-in TypeScript SDK sources under `/sdks/typescript`. -pub fn write_typescript_sdk(root: &Path) -> Result<(), Box> { +/// Write the checked-in Rust descriptors and the TypeScript SDK sources under +/// ``. +pub fn write_sdk_sources(root: &Path) -> Result<(), Box> { let registry = canonical_application_registry()?; let operations = canonical_operations(®istry)?; let unavailable = canonical_unavailable_operations(®istry); let destination = root.join("sdks/typescript/src"); // Render every artifact before changing the checkout, so a rendering // failure cannot leave a half-written package behind. + let rust_operations = render_rust_operations(&operations, &unavailable)?; let types = render_types(); let typescript_operations = render_operations(&operations, &unavailable)?; let index = render_index(); + write(&root.join(RUST_OPERATIONS_PATH), &rust_operations)?; write(&destination.join("types.ts"), &types)?; write(&destination.join("operations.ts"), &typescript_operations)?; write(&destination.join("index.ts"), &index)?; @@ -890,7 +887,12 @@ fn render_rust_operations( unavailable: &[UnavailableOperation], ) -> Result> { let mut out = String::from( - "use serde::Serialize;\n\ + "//! Typed public operation descriptors.\n\ + //!\n\ + //! Generated by `pnpm --dir dashboard run contracts:generate` from the\n\ + //! canonical application registry. DO NOT EDIT; change `src/codegen.rs`.\n\n\ + #![cfg_attr(rustfmt, rustfmt::skip)]\n\n\ + use serde::Serialize;\n\ use serde::de::DeserializeOwned;\n\ use tracedecay_contracts::retained_surfaces::{SdkRequestIdControlV1, SdkResultSemanticsV1};\n\ use tracedecay_tool_catalog::{CancellationPoint, DeadlineBehavior, EffectClass, ExecutableUnavailableDispositionV1, IdempotencyContract, ReceiptContract, ReconciliationContract, TerminalState};\n\n\ @@ -1634,4 +1636,17 @@ mod tests { assert!(generated_rust.contains("ReceiptContract::DurableEffect")); assert!(generated_rust.contains("TerminalState::EffectUnknown")); } + + #[test] + fn checked_in_rust_operations_match_canonical_registry() { + let registry = canonical_application_registry().unwrap(); + let operations = canonical_operations(®istry).unwrap(); + let unavailable = canonical_unavailable_operations(®istry); + let rendered = render_rust_operations(&operations, &unavailable).unwrap(); + assert!( + include_str!("operations.rs") == rendered, + "{} is stale; run `pnpm --dir dashboard run contracts:generate` and commit the result", + super::RUST_OPERATIONS_PATH, + ); + } } diff --git a/crates/tracedecay-sdk/src/operations.rs b/crates/tracedecay-sdk/src/operations.rs index 127ca3d6e0..1b3325cb21 100644 --- a/crates/tracedecay-sdk/src/operations.rs +++ b/crates/tracedecay-sdk/src/operations.rs @@ -1,6 +1,1987 @@ //! Typed public operation descriptors. //! -//! Rendered at build time by `build.rs` from the canonical application -//! registry. Nothing here is checked in; edit `src/codegen.rs` instead. +//! Generated by `pnpm --dir dashboard run contracts:generate` from the +//! canonical application registry. DO NOT EDIT; change `src/codegen.rs`. + +#![cfg_attr(rustfmt, rustfmt::skip)] + +use serde::Serialize; +use serde::de::DeserializeOwned; +use tracedecay_contracts::retained_surfaces::{SdkRequestIdControlV1, SdkResultSemanticsV1}; +use tracedecay_tool_catalog::{CancellationPoint, DeadlineBehavior, EffectClass, ExecutableUnavailableDispositionV1, IdempotencyContract, ReceiptContract, ReconciliationContract, TerminalState}; + +pub const APPLICATION_REQUEST_ID_HEADER: &str = tracedecay_contracts::APPLICATION_REQUEST_ID_HEADER; + +#[derive(Clone, Copy, Debug, PartialEq, Eq)] +pub struct UnavailableOperationCapability { + pub operation: &'static str, + pub operation_id: &'static str, + pub disposition: ExecutableUnavailableDispositionV1, +} + +#[derive(Clone, Copy, Debug, PartialEq, Eq)] +pub enum OperationTransport { + Http { route: &'static str }, + McpTool { tool_name: &'static str }, +} + +pub trait TypedOperation { + type Request: Serialize; + type Result: DeserializeOwned; + + const OPERATION_ID: &'static str; + const TRANSPORT: OperationTransport; + const BINDING_ID: &'static str; + const EFFECT: EffectClass; + const IDEMPOTENCY: IdempotencyContract; + const REQUEST_ID_CONTROL: SdkRequestIdControlV1; + const RESULT_SEMANTICS: SdkResultSemanticsV1; + const CANCELLABLE: bool; + const CANCELLATION_POINTS: &'static [CancellationPoint]; + const MAXIMUM_DEADLINE_MILLIS: u64; + const DEADLINE_BEHAVIOR: DeadlineBehavior; + const RECONCILIATION: ReconciliationContract; + const RECEIPT: ReceiptContract; + const TERMINAL_STATES: &'static [TerminalState]; + const RESULT_SCHEMA_ID: &'static str; + const RESULT_SCHEMA_REVISION: u32; +} + +macro_rules! typed_operation { + ($name:ident, $module:ident, $operation:literal, $transport:expr, $binding:literal, $effect:expr, $idempotency:expr, $request_id_control:expr, $result_semantics:expr, $cancellable:literal, $cancellation_points:expr, $maximum_deadline:literal, $deadline_behavior:expr, $reconciliation:expr, $receipt:expr, $terminal_states:expr, $schema:literal, $revision:literal) => { + #[derive(Clone, Copy, Debug, Default, PartialEq, Eq)] + pub struct $name; + impl TypedOperation for $name { + type Request = $module::Request; + type Result = $module::Result; + const OPERATION_ID: &'static str = $operation; + const TRANSPORT: OperationTransport = $transport; + const BINDING_ID: &'static str = $binding; + const EFFECT: EffectClass = $effect; + const IDEMPOTENCY: IdempotencyContract = $idempotency; + const REQUEST_ID_CONTROL: SdkRequestIdControlV1 = $request_id_control; + const RESULT_SEMANTICS: SdkResultSemanticsV1 = $result_semantics; + const CANCELLABLE: bool = $cancellable; + const CANCELLATION_POINTS: &'static [CancellationPoint] = $cancellation_points; + const MAXIMUM_DEADLINE_MILLIS: u64 = $maximum_deadline; + const DEADLINE_BEHAVIOR: DeadlineBehavior = $deadline_behavior; + const RECONCILIATION: ReconciliationContract = $reconciliation; + const RECEIPT: ReceiptContract = $receipt; + const TERMINAL_STATES: &'static [TerminalState] = $terminal_states; + const RESULT_SCHEMA_ID: &'static str = $schema; + const RESULT_SCHEMA_REVISION: u32 = $revision; + } + }; +} + +pub const UNAVAILABLE_OPERATIONS: &[UnavailableOperationCapability] = &[ +]; + +pub mod active_project { + pub type Request = tracedecay_contracts::retrieval::ActiveProjectSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::ActiveProjectResultV1; +} +typed_operation!( + ActiveProject, active_project, "operation.application.active_project", OperationTransport::McpTool { tool_name: "tracedecay_active_project" }, "binding.mcp.active_project.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.active-project.result", 1 +); + +pub mod admin_cli { + pub type Request = tracedecay_contracts::retrieval::AdminCliSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::AdminCliResultV1; +} +typed_operation!( + AdminCli, admin_cli, "operation.application.admin_cli", OperationTransport::McpTool { tool_name: "tracedecay_admin_cli" }, "binding.mcp.admin_cli.v1", EffectClass::MaintainsProfileState, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::EffectInFlight], 600000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.admin-cli.result", 1 +); + +pub mod admin_project { + pub type Request = tracedecay_contracts::retrieval::AdminProjectSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::AdminProjectResultV1; +} +typed_operation!( + AdminProject, admin_project, "operation.application.admin_project", OperationTransport::McpTool { tool_name: "tracedecay_admin_project" }, "binding.mcp.admin_project.v1", EffectClass::MaintainsOwnerState, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 600000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.admin-project.result", 1 +); + +pub mod admin_sync { + pub type Request = tracedecay_contracts::retrieval::AdminSyncSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::AdminSyncResultV1; +} +typed_operation!( + AdminSync, admin_sync, "operation.application.admin_sync", OperationTransport::McpTool { tool_name: "tracedecay_admin_sync" }, "binding.mcp.admin_sync.v1", EffectClass::SchedulesWork, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 600000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.admin-sync.result", 1 +); + +pub mod affected { + pub type Request = tracedecay_contracts::retrieval::AffectedSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::AffectedResultV1; +} +typed_operation!( + Affected, affected, "operation.application.affected", OperationTransport::McpTool { tool_name: "tracedecay_affected" }, "binding.mcp.affected.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.affected.result", 1 +); + +pub mod application_affected_tests { + pub type Request = tracedecay_contracts::feedback::FeedbackHandleRequestV1; + pub type Result = tracedecay_contracts::feedback::CanonicalAffectedTestsProjectionV1; +} +typed_operation!( + ApplicationAffectedTests, application_affected_tests, "operation.application.affected_tests", OperationTransport::Http { route: "/application/tests/affected" }, "binding.http.affected_tests.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.feedback.affected-tests.result", 1 +); + +pub mod analytics { + pub type Request = tracedecay_contracts::retrieval::AnalyticsSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::AnalyticsResultV1; +} +typed_operation!( + Analytics, analytics, "operation.application.analytics", OperationTransport::McpTool { tool_name: "tracedecay_analytics" }, "binding.mcp.analytics.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.analytics.result", 1 +); + +pub mod apply_native_integration { + pub type Request = tracedecay_contracts::git::NativeIntegrationApplySurfaceRequest; + pub type Result = tracedecay_contracts::git::NativeIntegrationSurfaceResultV1; +} +typed_operation!( + ApplyNativeIntegration, apply_native_integration, "operation.application.apply_native_integration", OperationTransport::McpTool { tool_name: "tracedecay_apply_native_integration" }, "binding.mcp.apply_native_integration.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.native-integration.apply.result", 1 +); + +pub mod approve_native_integration { + pub type Request = tracedecay_contracts::git::NativeIntegrationApproveSurfaceRequest; + pub type Result = tracedecay_contracts::git::NativeIntegrationSurfaceResultV1; +} +typed_operation!( + ApproveNativeIntegration, approve_native_integration, "operation.application.approve_native_integration", OperationTransport::McpTool { tool_name: "tracedecay_approve_native_integration" }, "binding.mcp.approve_native_integration.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.native-integration.approve.result", 1 +); + +pub mod ast_grep_rewrite { + pub type Request = tracedecay_contracts::source_edit::AstGrepRewriteSurfaceRequestV1; + pub type Result = tracedecay_contracts::source_edit::SourceEditSurfaceResultV1; +} +typed_operation!( + AstGrepRewrite, ast_grep_rewrite, "operation.application.ast_grep_rewrite", OperationTransport::McpTool { tool_name: "tracedecay_ast_grep_rewrite" }, "binding.mcp.ast_grep_rewrite.v1", EffectClass::SourceEdit, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.source-edit.ast-grep-rewrite.result", 1 +); + +pub mod ast_grep_search { + pub type Request = tracedecay_contracts::retrieval::AstGrepSearchSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::AstGrepSearchResultV1; +} +typed_operation!( + AstGrepSearch, ast_grep_search, "operation.application.ast_grep_search", OperationTransport::McpTool { tool_name: "tracedecay_ast_grep_search" }, "binding.mcp.ast_grep_search.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.ast-grep-search.result", 1 +); + +pub mod automation_run_artifact_view { + pub type Request = tracedecay_contracts::retrieval::AutomationRunArtifactViewSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::AutomationRunArtifactViewResultV1; +} +typed_operation!( + AutomationRunArtifactView, automation_run_artifact_view, "operation.application.automation_run_artifact_view", OperationTransport::McpTool { tool_name: "tracedecay_automation_run_artifact_view" }, "binding.mcp.automation_run_artifact_view.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.automation-run-artifact-view.result", 1 +); + +pub mod automation_run_list { + pub type Request = tracedecay_contracts::retrieval::AutomationRunListSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::AutomationRunListResultV1; +} +typed_operation!( + AutomationRunList, automation_run_list, "operation.application.automation_run_list", OperationTransport::McpTool { tool_name: "tracedecay_automation_run_list" }, "binding.mcp.automation_run_list.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.automation-run-list.result", 1 +); + +pub mod automation_run_view { + pub type Request = tracedecay_contracts::retrieval::AutomationRunViewSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::AutomationRunViewResultV1; +} +typed_operation!( + AutomationRunView, automation_run_view, "operation.application.automation_run_view", OperationTransport::McpTool { tool_name: "tracedecay_automation_run_view" }, "binding.mcp.automation_run_view.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.automation-run-view.result", 1 +); + +pub mod branch_diff { + pub type Request = tracedecay_contracts::retrieval::BranchDiffSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::BranchDiffResultV1; +} +typed_operation!( + BranchDiff, branch_diff, "operation.application.branch_diff", OperationTransport::McpTool { tool_name: "tracedecay_branch_diff" }, "binding.mcp.branch_diff.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.branch-diff.result", 1 +); + +pub mod branch_list { + pub type Request = tracedecay_contracts::retrieval::BranchListSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::BranchListResultV1; +} +typed_operation!( + BranchList, branch_list, "operation.application.branch_list", OperationTransport::McpTool { tool_name: "tracedecay_branch_list" }, "binding.mcp.branch_list.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.branch-list.result", 1 +); + +pub mod branch_search { + pub type Request = tracedecay_contracts::retrieval::BranchSearchSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::BranchSearchResultV1; +} +typed_operation!( + BranchSearch, branch_search, "operation.application.branch_search", OperationTransport::McpTool { tool_name: "tracedecay_branch_search" }, "binding.mcp.branch_search.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.branch-search.result", 1 +); + +pub mod by_qualified_name { + pub type Request = tracedecay_contracts::retrieval::ByQualifiedNameSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::ByQualifiedNameResultV1; +} +typed_operation!( + ByQualifiedName, by_qualified_name, "operation.application.by_qualified_name", OperationTransport::McpTool { tool_name: "tracedecay_by_qualified_name" }, "binding.mcp.by_qualified_name.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.by-qualified-name.result", 1 +); + +pub mod application_call_chain { + pub type Request = tracedecay_contracts::retrieval::CallChainPrimitiveRequest; + pub type Result = tracedecay_contracts::retrieval::CallChainPrimitiveResult; +} +typed_operation!( + ApplicationCallChain, application_call_chain, "operation.application.call_chain", OperationTransport::Http { route: "/application/primitives/call_chain" }, "binding.http.call_chain.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.call-chain.result", 1 +); + +pub mod cancel_native_integration { + pub type Request = tracedecay_contracts::git::NativeIntegrationCancelSurfaceRequest; + pub type Result = tracedecay_contracts::git::NativeIntegrationSurfaceResultV1; +} +typed_operation!( + CancelNativeIntegration, cancel_native_integration, "operation.application.cancel_native_integration", OperationTransport::McpTool { tool_name: "tracedecay_cancel_native_integration" }, "binding.mcp.cancel_native_integration.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.native-integration.cancel.result", 1 +); + +pub mod changelog { + pub type Request = tracedecay_contracts::retrieval::ChangelogSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::ChangelogResultV1; +} +typed_operation!( + Changelog, changelog, "operation.application.changelog", OperationTransport::McpTool { tool_name: "tracedecay_changelog" }, "binding.mcp.changelog.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.changelog.result", 1 +); + +pub mod circular { + pub type Request = tracedecay_contracts::retrieval::CircularSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::CircularResultV1; +} +typed_operation!( + Circular, circular, "operation.application.circular", OperationTransport::McpTool { tool_name: "tracedecay_circular" }, "binding.mcp.circular.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.circular.result", 1 +); + +pub mod code_callees { + pub type Request = tracedecay_contracts::surface_contracts::CodeCalleesSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::CodeQueryPage; +} +typed_operation!( + CodeCallees, code_callees, "operation.application.code_callees", OperationTransport::Http { route: "/application/code/code_callees" }, "binding.http.code_callees.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.code-query.callees.result", 1 +); + +pub mod code_callers { + pub type Request = tracedecay_contracts::surface_contracts::CodeCallersSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::SymbolGraphPage; +} +typed_operation!( + CodeCallers, code_callers, "operation.application.code_callers", OperationTransport::Http { route: "/application/code/code_callers" }, "binding.http.code_callers.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.code-callers.result", 1 +); + +pub mod code_declaration { + pub type Request = tracedecay_contracts::surface_contracts::CodeNavigationSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::CodeQueryPage; +} +typed_operation!( + CodeDeclaration, code_declaration, "operation.application.code_declaration", OperationTransport::Http { route: "/application/code/code_declaration" }, "binding.http.code_declaration.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.code-query.declaration.result", 1 +); + +pub mod code_exact_occurrence { + pub type Request = tracedecay_contracts::surface_contracts::CodeExactOccurrenceSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::CodeQueryPage; +} +typed_operation!( + CodeExactOccurrence, code_exact_occurrence, "operation.application.code_exact_occurrence", OperationTransport::Http { route: "/application/code/code_exact_occurrence" }, "binding.http.code_exact_occurrence.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.code-query.exact-occurrence.result", 1 +); + +pub mod code_facets { + pub type Request = tracedecay_contracts::surface_contracts::CodeFacetSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::CodeQueryPage; +} +typed_operation!( + CodeFacets, code_facets, "operation.application.code_facets", OperationTransport::Http { route: "/application/code/code_facets" }, "binding.http.code_facets.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.code-query.facets.result", 1 +); + +pub mod code_implementations { + pub type Request = tracedecay_contracts::surface_contracts::CodeImplementationsSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::SymbolGraphPage; +} +typed_operation!( + CodeImplementations, code_implementations, "operation.application.code_implementations", OperationTransport::Http { route: "/application/code/code_implementations" }, "binding.http.code_implementations.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.code-implementations.result", 1 +); + +pub mod code_phrase_search { + pub type Request = tracedecay_contracts::surface_contracts::CodePhraseSearchSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::CodeQueryPage; +} +typed_operation!( + CodePhraseSearch, code_phrase_search, "operation.application.code_phrase_search", OperationTransport::Http { route: "/application/code/code_phrase_search" }, "binding.http.code_phrase_search.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.code-query.phrase-search.result", 1 +); + +pub mod code_references { + pub type Request = tracedecay_contracts::surface_contracts::CodeNavigationSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::CodeQueryPage; +} +typed_operation!( + CodeReferences, code_references, "operation.application.code_references", OperationTransport::Http { route: "/application/code/code_references" }, "binding.http.code_references.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.code-query.references.result", 1 +); + +pub mod code_signature_search { + pub type Request = tracedecay_contracts::surface_contracts::CodeSignatureSearchSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::SymbolGraphPage; +} +typed_operation!( + CodeSignatureSearch, code_signature_search, "operation.application.code_signature_search", OperationTransport::Http { route: "/application/code/code_signature_search" }, "binding.http.code_signature_search.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.code-signature-search.result", 1 +); + +pub mod code_symbol_search { + pub type Request = tracedecay_contracts::surface_contracts::CodeSymbolSearchSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::SymbolGraphPage; +} +typed_operation!( + CodeSymbolSearch, code_symbol_search, "operation.application.code_symbol_search", OperationTransport::Http { route: "/application/code/code_symbol_search" }, "binding.http.code_symbol_search.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.symbol-search.result", 1 +); + +pub mod code_timeline { + pub type Request = tracedecay_contracts::surface_contracts::CodeTimelineSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::CodeQueryPage; +} +typed_operation!( + CodeTimeline, code_timeline, "operation.application.code_timeline", OperationTransport::Http { route: "/application/code/code_timeline" }, "binding.http.code_timeline.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.code-query.timeline.result", 1 +); + +pub mod code_type_definition { + pub type Request = tracedecay_contracts::surface_contracts::CodeNavigationSurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::CodeQueryPage; +} +typed_operation!( + CodeTypeDefinition, code_type_definition, "operation.application.code_type_definition", OperationTransport::Http { route: "/application/code/code_type_definition" }, "binding.http.code_type_definition.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.code-query.type-definition.result", 1 +); + +pub mod code_type_hierarchy { + pub type Request = tracedecay_contracts::surface_contracts::CodeTypeHierarchySurfaceRequest; + pub type Result = tracedecay_contracts::retrieval::SymbolGraphPage; +} +typed_operation!( + CodeTypeHierarchy, code_type_hierarchy, "operation.application.code_type_hierarchy", OperationTransport::Http { route: "/application/code/code_type_hierarchy" }, "binding.http.code_type_hierarchy.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.code-type-hierarchy.result", 1 +); + +pub mod commit_context { + pub type Request = tracedecay_contracts::retrieval::CommitContextSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::CommitContextResultV1; +} +typed_operation!( + CommitContext, commit_context, "operation.application.commit_context", OperationTransport::McpTool { tool_name: "tracedecay_commit_context" }, "binding.mcp.commit_context.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.commit-context.result", 1 +); + +pub mod complexity { + pub type Request = tracedecay_contracts::retrieval::ComplexitySurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::ComplexityReportV1; +} +typed_operation!( + Complexity, complexity, "operation.application.complexity", OperationTransport::McpTool { tool_name: "tracedecay_complexity" }, "binding.mcp.complexity.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.complexity.result", 1 +); + +pub mod config { + pub type Request = tracedecay_contracts::retrieval::ConfigSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::ConfigResultV1; +} +typed_operation!( + Config, config, "operation.application.config", OperationTransport::McpTool { tool_name: "tracedecay_config" }, "binding.mcp.config.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.config.result", 1 +); + +pub mod application_configuration_audit { + pub type Request = tracedecay_contracts::configuration::ConfigurationAuditRequestV1; + pub type Result = tracedecay_contracts::configuration::ConfigurationAuditPage; +} +typed_operation!( + ApplicationConfigurationAudit, application_configuration_audit, "operation.application.configuration_audit", OperationTransport::Http { route: "/application/configuration/configuration_audit" }, "binding.http.configuration_audit.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.configuration.configuration_audit.result", 1 +); + +pub mod application_configuration_batch { + pub type Request = tracedecay_contracts::configuration::ConfigurationBatchRequestV1; + pub type Result = tracedecay_contracts::configuration::ConfigurationMutationReceipt; +} +typed_operation!( + ApplicationConfigurationBatch, application_configuration_batch, "operation.application.configuration_batch", OperationTransport::Http { route: "/application/configuration/configuration_batch" }, "binding.http.configuration_batch.v1", EffectClass::ConfigurationWrite, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 15000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.configuration.configuration_batch.result", 1 +); + +pub mod application_configuration_get { + pub type Request = tracedecay_contracts::configuration::ConfigurationGetRequestV1; + pub type Result = tracedecay_contracts::configuration::ResolvedSetting; +} +typed_operation!( + ApplicationConfigurationGet, application_configuration_get, "operation.application.configuration_get", OperationTransport::Http { route: "/application/configuration/configuration_get" }, "binding.http.configuration_get.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.configuration.configuration_get.result", 1 +); + +pub mod application_configuration_list { + extern crate alloc; + pub type Request = tracedecay_contracts::configuration::ConfigurationListRequestV1; + pub type Result = alloc::vec::Vec; +} +typed_operation!( + ApplicationConfigurationList, application_configuration_list, "operation.application.configuration_list", OperationTransport::Http { route: "/application/configuration/configuration_list" }, "binding.http.configuration_list.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.configuration.configuration_list.result", 1 +); + +pub mod application_configuration_observed_state { + extern crate alloc; + pub type Request = tracedecay_contracts::configuration::ConfigurationObservedStateRequestV1; + pub type Result = alloc::vec::Vec; +} +typed_operation!( + ApplicationConfigurationObservedState, application_configuration_observed_state, "operation.application.configuration_observed_state", OperationTransport::Http { route: "/application/configuration/configuration_observed_state" }, "binding.http.configuration_observed_state.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.configuration.configuration_observed_state.result", 1 +); + +pub mod application_configuration_protected_apply { + pub type Request = tracedecay_contracts::configuration::ConfigurationProtectedApplyRequestV1; + pub type Result = tracedecay_contracts::configuration::ConfigurationMutationReceipt; +} +typed_operation!( + ApplicationConfigurationProtectedApply, application_configuration_protected_apply, "operation.application.configuration_protected_apply", OperationTransport::Http { route: "/application/configuration/configuration_protected_apply" }, "binding.http.configuration_protected_apply.v1", EffectClass::ConfigurationWrite, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 15000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.configuration.configuration_protected_apply.result", 1 +); + +pub mod application_configuration_protected_preview { + pub type Request = tracedecay_contracts::configuration::ConfigurationProtectedPreviewRequestV1; + pub type Result = tracedecay_domain::configuration::ProtectedChangePlan; +} +typed_operation!( + ApplicationConfigurationProtectedPreview, application_configuration_protected_preview, "operation.application.configuration_protected_preview", OperationTransport::Http { route: "/application/configuration/configuration_protected_preview" }, "binding.http.configuration_protected_preview.v1", EffectClass::Preview, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.configuration.configuration_protected_preview.result", 1 +); + +pub mod application_configuration_rollback_apply { + pub type Request = tracedecay_contracts::configuration::ConfigurationProtectedApplyRequestV1; + pub type Result = tracedecay_contracts::configuration::ConfigurationMutationReceipt; +} +typed_operation!( + ApplicationConfigurationRollbackApply, application_configuration_rollback_apply, "operation.application.configuration_rollback_apply", OperationTransport::Http { route: "/application/configuration/configuration_rollback_apply" }, "binding.http.configuration_rollback_apply.v1", EffectClass::ConfigurationWrite, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 15000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.configuration.configuration_rollback_apply.result", 1 +); + +pub mod application_configuration_rollback_preview { + pub type Request = tracedecay_contracts::configuration::ConfigurationRollbackPreviewRequestV1; + pub type Result = tracedecay_domain::configuration::ProtectedChangePlan; +} +typed_operation!( + ApplicationConfigurationRollbackPreview, application_configuration_rollback_preview, "operation.application.configuration_rollback_preview", OperationTransport::Http { route: "/application/configuration/configuration_rollback_preview" }, "binding.http.configuration_rollback_preview.v1", EffectClass::Preview, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.configuration.configuration_rollback_preview.result", 1 +); + +pub mod application_configuration_set { + pub type Request = tracedecay_contracts::configuration::ConfigurationSetRequestV1; + pub type Result = tracedecay_contracts::configuration::ConfigurationMutationReceipt; +} +typed_operation!( + ApplicationConfigurationSet, application_configuration_set, "operation.application.configuration_set", OperationTransport::Http { route: "/application/configuration/configuration_set" }, "binding.http.configuration_set.v1", EffectClass::ConfigurationWrite, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 15000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.configuration.configuration_set.result", 1 +); + +pub mod application_configuration_unset { + pub type Request = tracedecay_contracts::configuration::ConfigurationUnsetRequestV1; + pub type Result = tracedecay_contracts::configuration::ConfigurationMutationReceipt; +} +typed_operation!( + ApplicationConfigurationUnset, application_configuration_unset, "operation.application.configuration_unset", OperationTransport::Http { route: "/application/configuration/configuration_unset" }, "binding.http.configuration_unset.v1", EffectClass::ConfigurationWrite, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 15000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.configuration.configuration_unset.result", 1 +); + +pub mod constructors { + pub type Request = tracedecay_contracts::retrieval::ConstructorsSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::ConstructorsResultV1; +} +typed_operation!( + Constructors, constructors, "operation.application.constructors", OperationTransport::McpTool { tool_name: "tracedecay_constructors" }, "binding.mcp.constructors.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.constructors.result", 1 +); + +pub mod context { + pub type Request = tracedecay_contracts::retrieval::ContextSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::ContextResultV1; +} +typed_operation!( + Context, context, "operation.application.context", OperationTransport::McpTool { tool_name: "tracedecay_context" }, "binding.mcp.context.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.context.result", 1 +); + +pub mod application_context_scout_budget { + pub type Request = tracedecay_contracts::context_scout::ContextScoutExactAddressRequestV1; + pub type Result = tracedecay_contracts::context_scout::ContextScoutBudgetResultV1; +} +typed_operation!( + ApplicationContextScoutBudget, application_context_scout_budget, "operation.application.context_scout_budget", OperationTransport::Http { route: "/application/context-scout/context_scout_budget" }, "binding.http.context_scout_budget.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.context-scout-budget.result", 1 +); + +pub mod application_context_scout_cancel { + pub type Request = tracedecay_contracts::context_scout::ContextScoutCancelRequestV1; + pub type Result = tracedecay_contracts::context_scout::ContextScoutMutationResultV1; +} +typed_operation!( + ApplicationContextScoutCancel, application_context_scout_cancel, "operation.application.context_scout_cancel", OperationTransport::Http { route: "/application/context-scout/context_scout_cancel" }, "binding.http.context_scout_cancel.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 15000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.context-scout-cancel.result", 1 +); + +pub mod application_context_scout_capability { + pub type Request = tracedecay_contracts::context_scout::ContextScoutExactAddressRequestV1; + pub type Result = tracedecay_contracts::context_scout::ContextScoutCapabilityResultV1; +} +typed_operation!( + ApplicationContextScoutCapability, application_context_scout_capability, "operation.application.context_scout_capability", OperationTransport::Http { route: "/application/context-scout/context_scout_capability" }, "binding.http.context_scout_capability.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.context-scout-capability.result", 1 +); + +pub mod application_context_scout_claim { + pub type Request = tracedecay_contracts::context_scout::ContextScoutClaimRequestV1; + pub type Result = tracedecay_contracts::context_scout::ContextScoutClaimResultV1; +} +typed_operation!( + ApplicationContextScoutClaim, application_context_scout_claim, "operation.application.context_scout_claim", OperationTransport::Http { route: "/application/context-scout/context_scout_claim" }, "binding.http.context_scout_claim.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 15000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.context-scout-claim.result", 1 +); + +pub mod application_context_scout_delivery { + pub type Request = tracedecay_contracts::context_scout::ContextScoutDeliveryRequestV1; + pub type Result = tracedecay_contracts::context_scout::ContextScoutDeliveryResultV1; +} +typed_operation!( + ApplicationContextScoutDelivery, application_context_scout_delivery, "operation.application.context_scout_delivery", OperationTransport::Http { route: "/application/context-scout/context_scout_delivery" }, "binding.http.context_scout_delivery.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 15000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.context-scout-delivery.result", 1 +); + +pub mod application_context_scout_explain { + pub type Request = tracedecay_contracts::context_scout::ContextScoutRecentRequestV1; + pub type Result = tracedecay_contracts::context_scout::ContextScoutExplanationResultV1; +} +typed_operation!( + ApplicationContextScoutExplain, application_context_scout_explain, "operation.application.context_scout_explain", OperationTransport::Http { route: "/application/context-scout/context_scout_explain" }, "binding.http.context_scout_explain.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.context-scout-explain.result", 1 +); + +pub mod application_context_scout_feedback { + pub type Request = tracedecay_contracts::context_scout::ContextScoutFeedbackRequestV1; + pub type Result = tracedecay_contracts::context_scout::ContextScoutMutationResultV1; +} +typed_operation!( + ApplicationContextScoutFeedback, application_context_scout_feedback, "operation.application.context_scout_feedback", OperationTransport::Http { route: "/application/context-scout/context_scout_feedback" }, "binding.http.context_scout_feedback.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 15000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.context-scout-feedback.result", 1 +); + +pub mod application_context_scout_pause { + pub type Request = tracedecay_contracts::context_scout::ContextScoutControlRequestV1; + pub type Result = tracedecay_contracts::configuration::ConfigurationMutationReceipt; +} +typed_operation!( + ApplicationContextScoutPause, application_context_scout_pause, "operation.application.context_scout_pause", OperationTransport::Http { route: "/application/context-scout/context_scout_pause" }, "binding.http.context_scout_pause.v1", EffectClass::ConfigurationWrite, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 15000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.context-scout-pause.result", 1 +); + +pub mod application_context_scout_recent { + pub type Request = tracedecay_contracts::context_scout::ContextScoutRecentRequestV1; + pub type Result = tracedecay_contracts::context_scout::ContextScoutRecentResultV1; +} +typed_operation!( + ApplicationContextScoutRecent, application_context_scout_recent, "operation.application.context_scout_recent", OperationTransport::Http { route: "/application/context-scout/context_scout_recent" }, "binding.http.context_scout_recent.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.context-scout-recent.result", 1 +); + +pub mod application_context_scout_resume { + pub type Request = tracedecay_contracts::context_scout::ContextScoutControlRequestV1; + pub type Result = tracedecay_contracts::configuration::ConfigurationMutationReceipt; +} +typed_operation!( + ApplicationContextScoutResume, application_context_scout_resume, "operation.application.context_scout_resume", OperationTransport::Http { route: "/application/context-scout/context_scout_resume" }, "binding.http.context_scout_resume.v1", EffectClass::ConfigurationWrite, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 15000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.context-scout-resume.result", 1 +); + +pub mod application_context_scout_status { + pub type Request = tracedecay_contracts::context_scout::ContextScoutExactAddressRequestV1; + pub type Result = tracedecay_contracts::context_scout::ContextScoutStatusResultV1; +} +typed_operation!( + ApplicationContextScoutStatus, application_context_scout_status, "operation.application.context_scout_status", OperationTransport::Http { route: "/application/context-scout/context_scout_status" }, "binding.http.context_scout_status.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.context-scout-status.result", 1 +); + +pub mod coupling { + pub type Request = tracedecay_contracts::retrieval::CouplingSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::CouplingResultV1; +} +typed_operation!( + Coupling, coupling, "operation.application.coupling", OperationTransport::McpTool { tool_name: "tracedecay_coupling" }, "binding.mcp.coupling.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.coupling.result", 1 +); + +pub mod dashboard { + pub type Request = tracedecay_contracts::retrieval::DashboardSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::DashboardResultV1; +} +typed_operation!( + Dashboard, dashboard, "operation.application.dashboard", OperationTransport::McpTool { tool_name: "tracedecay_dashboard" }, "binding.mcp.dashboard.v1", EffectClass::BindsServer, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.dashboard.result", 1 +); + +pub mod dead_code { + pub type Request = tracedecay_contracts::retrieval::DeadCodeSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::DeadCodeResultV1; +} +typed_operation!( + DeadCode, dead_code, "operation.application.dead_code", OperationTransport::McpTool { tool_name: "tracedecay_dead_code" }, "binding.mcp.dead_code.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.dead-code.result", 1 +); + +pub mod dependency_depth { + pub type Request = tracedecay_contracts::retrieval::DependencyDepthSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::DependencyDepthResultV1; +} +typed_operation!( + DependencyDepth, dependency_depth, "operation.application.dependency_depth", OperationTransport::McpTool { tool_name: "tracedecay_dependency_depth" }, "binding.mcp.dependency_depth.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.dependency-depth.result", 1 +); + +pub mod derives { + pub type Request = tracedecay_contracts::retrieval::SymbolSelectorSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::DerivesResultV1; +} +typed_operation!( + Derives, derives, "operation.application.derives", OperationTransport::McpTool { tool_name: "tracedecay_derives" }, "binding.mcp.derives.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.derives.result", 1 +); + +pub mod diagnose { + pub type Request = tracedecay_contracts::retrieval::DiagnoseSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::DiagnoseResultV1; +} +typed_operation!( + Diagnose, diagnose, "operation.application.diagnose", OperationTransport::McpTool { tool_name: "tracedecay_diagnose" }, "binding.mcp.diagnose.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.diagnose.result", 1 +); + +pub mod application_diagnostics_read { + pub type Request = tracedecay_contracts::retrieval::DiagnosticsPrimitiveRequest; + pub type Result = tracedecay_contracts::retrieval::DiagnosticsPrimitiveResult; +} +typed_operation!( + ApplicationDiagnosticsRead, application_diagnostics_read, "operation.application.diagnostics_read", OperationTransport::Http { route: "/application/primitives/diagnostics_read" }, "binding.http.diagnostics_read.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.diagnostics-read.result", 1 +); + +pub mod diff_context { + pub type Request = tracedecay_contracts::retrieval::DiffContextSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::DiffContextResultV1; +} +typed_operation!( + DiffContext, diff_context, "operation.application.diff_context", OperationTransport::McpTool { tool_name: "tracedecay_diff_context" }, "binding.mcp.diff_context.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.diff-context.result", 1 +); + +pub mod distribution { + pub type Request = tracedecay_contracts::retrieval::DistributionSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::DistributionResultV1; +} +typed_operation!( + Distribution, distribution, "operation.application.distribution", OperationTransport::McpTool { tool_name: "tracedecay_distribution" }, "binding.mcp.distribution.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.distribution.result", 1 +); + +pub mod doc_coverage { + pub type Request = tracedecay_contracts::retrieval::DocCoverageSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::DocCoverageResultV1; +} +typed_operation!( + DocCoverage, doc_coverage, "operation.application.doc_coverage", OperationTransport::McpTool { tool_name: "tracedecay_doc_coverage" }, "binding.mcp.doc_coverage.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.doc-coverage.result", 1 +); + +pub mod dsm { + pub type Request = tracedecay_contracts::retrieval::DsmSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::DsmResultV1; +} +typed_operation!( + Dsm, dsm, "operation.application.dsm", OperationTransport::McpTool { tool_name: "tracedecay_dsm" }, "binding.mcp.dsm.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.dsm.result", 1 +); + +pub mod application_fact_feedback { + pub type Request = tracedecay_contracts::retained_surfaces::FactFeedbackRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactFeedbackResultV1; +} +typed_operation!( + ApplicationFactFeedback, application_fact_feedback, "operation.application.fact_feedback", OperationTransport::Http { route: "/application/retained/fact_feedback" }, "binding.http.fact_feedback.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::Reconciling, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.retained.fact-feedback.result", 1 +); + +pub mod application_fact_store_add { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreAddRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreAddResultV1; +} +typed_operation!( + ApplicationFactStoreAdd, application_fact_store_add, "operation.application.fact_store_add", OperationTransport::Http { route: "/application/retained/fact_store_add" }, "binding.http.fact_store_add.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::Reconciling, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.retained.fact-store-add.result", 1 +); + +pub mod application_fact_store_contradict { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreContradictRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreContradictResultV1; +} +typed_operation!( + ApplicationFactStoreContradict, application_fact_store_contradict, "operation.application.fact_store_contradict", OperationTransport::Http { route: "/application/retained/fact_store_contradict" }, "binding.http.fact_store_contradict.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.fact-store-contradict.result", 1 +); + +pub mod application_fact_store_curate { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreCurateRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreCurateResultV1; +} +typed_operation!( + ApplicationFactStoreCurate, application_fact_store_curate, "operation.application.fact_store_curate", OperationTransport::Http { route: "/application/retained/fact_store_curate" }, "binding.http.fact_store_curate.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::Required, SdkResultSemanticsV1::FactStoreCurateReceipt, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::Reconciling, CancellationPoint::AfterCommit], 90000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.retained.fact-store-curate.result", 1 +); + +pub mod application_fact_store_get { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreGetRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreGetResultV1; +} +typed_operation!( + ApplicationFactStoreGet, application_fact_store_get, "operation.application.fact_store_get", OperationTransport::Http { route: "/application/retained/fact_store_get" }, "binding.http.fact_store_get.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.fact-store-get.result", 1 +); + +pub mod application_fact_store_list { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreListRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreListResultV1; +} +typed_operation!( + ApplicationFactStoreList, application_fact_store_list, "operation.application.fact_store_list", OperationTransport::Http { route: "/application/retained/fact_store_list" }, "binding.http.fact_store_list.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.fact-store-list.result", 1 +); + +pub mod application_fact_store_probe { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreProbeRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreProbeResultV1; +} +typed_operation!( + ApplicationFactStoreProbe, application_fact_store_probe, "operation.application.fact_store_probe", OperationTransport::Http { route: "/application/retained/fact_store_probe" }, "binding.http.fact_store_probe.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.fact-store-probe.result", 1 +); + +pub mod application_fact_store_reason { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreReasonRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreReasonResultV1; +} +typed_operation!( + ApplicationFactStoreReason, application_fact_store_reason, "operation.application.fact_store_reason", OperationTransport::Http { route: "/application/retained/fact_store_reason" }, "binding.http.fact_store_reason.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.fact-store-reason.result", 1 +); + +pub mod application_fact_store_related { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreRelatedRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreRelatedResultV1; +} +typed_operation!( + ApplicationFactStoreRelated, application_fact_store_related, "operation.application.fact_store_related", OperationTransport::Http { route: "/application/retained/fact_store_related" }, "binding.http.fact_store_related.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.fact-store-related.result", 1 +); + +pub mod application_fact_store_remove { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreRemoveRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreRemoveResultV1; +} +typed_operation!( + ApplicationFactStoreRemove, application_fact_store_remove, "operation.application.fact_store_remove", OperationTransport::Http { route: "/application/retained/fact_store_remove" }, "binding.http.fact_store_remove.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::Reconciling, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.retained.fact-store-remove.result", 1 +); + +pub mod application_fact_store_search { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreSearchRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreSearchResultV1; +} +typed_operation!( + ApplicationFactStoreSearch, application_fact_store_search, "operation.application.fact_store_search", OperationTransport::Http { route: "/application/retained/fact_store_search" }, "binding.http.fact_store_search.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.fact-store-search.result", 1 +); + +pub mod application_fact_store_supersede { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreSupersedeRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreSupersedeResultV1; +} +typed_operation!( + ApplicationFactStoreSupersede, application_fact_store_supersede, "operation.application.fact_store_supersede", OperationTransport::Http { route: "/application/retained/fact_store_supersede" }, "binding.http.fact_store_supersede.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::Reconciling, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.retained.fact-store-supersede.result", 1 +); + +pub mod application_fact_store_update { + pub type Request = tracedecay_contracts::retained_surfaces::FactStoreUpdateRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::FactStoreUpdateResultV1; +} +typed_operation!( + ApplicationFactStoreUpdate, application_fact_store_update, "operation.application.fact_store_update", OperationTransport::Http { route: "/application/retained/fact_store_update" }, "binding.http.fact_store_update.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::Reconciling, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.retained.fact-store-update.result", 1 +); + +pub mod application_feedback_advisory_cycle { + pub type Request = tracedecay_contracts::feedback::FeedbackAdvisoryCycleSurfaceRequestV1; + pub type Result = tracedecay_contracts::feedback::FeedbackAdvisoryCycleSurfaceResultV1; +} +typed_operation!( + ApplicationFeedbackAdvisoryCycle, application_feedback_advisory_cycle, "operation.application.feedback_advisory_cycle", OperationTransport::Http { route: "/application/feedback/advisory_cycle" }, "binding.http.feedback_advisory_cycle.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.feedback.advisory-cycle.result", 1 +); + +pub mod application_feedback_diagnostics { + pub type Request = tracedecay_contracts::feedback::FeedbackHandleRequestV1; + pub type Result = tracedecay_contracts::feedback::FeedbackDiagnosticsReadResultV1; +} +typed_operation!( + ApplicationFeedbackDiagnostics, application_feedback_diagnostics, "operation.application.feedback_diagnostics", OperationTransport::Http { route: "/application/feedback/diagnostics" }, "binding.http.feedback_diagnostics.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.feedback.diagnostics.result", 1 +); + +pub mod application_feedback_expand { + pub type Request = tracedecay_contracts::feedback::FeedbackHandleRequestV1; + pub type Result = tracedecay_contracts::feedback::FeedbackExpandResultV1; +} +typed_operation!( + ApplicationFeedbackExpand, application_feedback_expand, "operation.application.feedback_expand", OperationTransport::Http { route: "/application/feedback/expand" }, "binding.http.feedback_expand.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.feedback.expand.result", 1 +); + +pub mod application_feedback_get { + pub type Request = tracedecay_contracts::feedback::FeedbackHandleRequestV1; + pub type Result = tracedecay_contracts::feedback::FeedbackGetResultV1; +} +typed_operation!( + ApplicationFeedbackGet, application_feedback_get, "operation.application.feedback_get", OperationTransport::Http { route: "/application/feedback/get" }, "binding.http.feedback_get.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.feedback.get.result", 1 +); + +pub mod application_feedback_impact { + pub type Request = tracedecay_contracts::feedback::FeedbackHandleRequestV1; + pub type Result = tracedecay_contracts::feedback::CanonicalFeedbackImpactProjectionV1; +} +typed_operation!( + ApplicationFeedbackImpact, application_feedback_impact, "operation.application.feedback_impact", OperationTransport::Http { route: "/application/feedback/impact" }, "binding.http.feedback_impact.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.feedback.impact.result", 1 +); + +pub mod application_feedback_list { + pub type Request = tracedecay_contracts::feedback::FeedbackHandleRequestV1; + pub type Result = tracedecay_contracts::feedback::FeedbackListResultV1; +} +typed_operation!( + ApplicationFeedbackList, application_feedback_list, "operation.application.feedback_list", OperationTransport::Http { route: "/application/feedback/list" }, "binding.http.feedback_list.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.feedback.list.result", 1 +); + +pub mod application_feedback_proximity { + pub type Request = tracedecay_contracts::feedback::FeedbackProximityReadRequestV1; + pub type Result = tracedecay_contracts::feedback::FeedbackProximityReadResultV1; +} +typed_operation!( + ApplicationFeedbackProximity, application_feedback_proximity, "operation.application.feedback_proximity", OperationTransport::Http { route: "/application/feedback/proximity" }, "binding.http.feedback_proximity.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.feedback.proximity.result", 1 +); + +pub mod field_sites { + pub type Request = tracedecay_contracts::retrieval::FieldSitesSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::FieldSitesResultV1; +} +typed_operation!( + FieldSites, field_sites, "operation.application.field_sites", OperationTransport::McpTool { tool_name: "tracedecay_field_sites" }, "binding.mcp.field_sites.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.field-sites.result", 1 +); + +pub mod application_file_dependents { + pub type Request = tracedecay_contracts::retrieval::FileDependentsPrimitiveRequest; + pub type Result = tracedecay_contracts::retrieval::FileDependentsPrimitiveResult; +} +typed_operation!( + ApplicationFileDependents, application_file_dependents, "operation.application.file_dependents", OperationTransport::Http { route: "/application/primitives/file_dependents" }, "binding.http.file_dependents.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.file-dependents.result", 1 +); + +pub mod files { + pub type Request = tracedecay_contracts::retrieval::FilesSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::FilesResultV1; +} +typed_operation!( + Files, files, "operation.application.files", OperationTransport::McpTool { tool_name: "tracedecay_files" }, "binding.mcp.files.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.files.result", 1 +); + +pub mod find_exact_symbol { + pub type Request = tracedecay_contracts::retrieval::FindExactSymbolSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::FindExactSymbolResultV1; +} +typed_operation!( + FindExactSymbol, find_exact_symbol, "operation.application.find_exact_symbol", OperationTransport::McpTool { tool_name: "tracedecay_find_exact_symbol" }, "binding.mcp.find_exact_symbol.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.find-exact-symbol.result", 1 +); + +pub mod gini { + pub type Request = tracedecay_contracts::retrieval::GiniSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::GiniResultV1; +} +typed_operation!( + Gini, gini, "operation.application.gini", OperationTransport::McpTool { tool_name: "tracedecay_gini" }, "binding.mcp.gini.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.gini.result", 1 +); + +pub mod git_apply { + pub type Request = tracedecay_contracts::git::GitApplySurfaceRequest; + pub type Result = tracedecay_domain::GitIndexTransactionReceiptV1; +} +typed_operation!( + GitApply, git_apply, "operation.application.git_apply", OperationTransport::McpTool { tool_name: "tracedecay_git_apply" }, "binding.mcp.git_apply.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.git.apply.result", 1 +); + +pub mod application_git_blame { + pub type Request = tracedecay_contracts::git::GitBlameSurfaceRequest; + pub type Result = tracedecay_contracts::git::GitReadResultV1; +} +typed_operation!( + ApplicationGitBlame, application_git_blame, "operation.application.git_blame", OperationTransport::Http { route: "/application/git/blame" }, "binding.http.git_blame.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.git.blame.result", 1 +); + +pub mod application_git_diff { + pub type Request = tracedecay_contracts::git::GitDiffSurfaceRequest; + pub type Result = tracedecay_contracts::git::GitReadResultV1; +} +typed_operation!( + ApplicationGitDiff, application_git_diff, "operation.application.git_diff", OperationTransport::Http { route: "/application/git/diff" }, "binding.http.git_diff.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.git.diff.result", 1 +); + +pub mod application_git_history { + pub type Request = tracedecay_contracts::git::GitHistorySurfaceRequest; + pub type Result = tracedecay_contracts::git::GitReadResultV1; +} +typed_operation!( + ApplicationGitHistory, application_git_history, "operation.application.git_history", OperationTransport::Http { route: "/application/git/history" }, "binding.http.git_history.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.git.history.result", 1 +); + +pub mod application_git_hunks { + pub type Request = tracedecay_contracts::git::GitHunksSurfaceRequest; + pub type Result = tracedecay_contracts::git::GitReadResultV1; +} +typed_operation!( + ApplicationGitHunks, application_git_hunks, "operation.application.git_hunks", OperationTransport::Http { route: "/application/git/hunks" }, "binding.http.git_hunks.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.git.hunks.result", 1 +); + +pub mod git_preview { + pub type Request = tracedecay_contracts::git::GitPreviewSurfaceRequest; + pub type Result = tracedecay_domain::GitIndexPreviewV1; +} +typed_operation!( + GitPreview, git_preview, "operation.application.git_preview", OperationTransport::McpTool { tool_name: "tracedecay_git_preview" }, "binding.mcp.git_preview.v1", EffectClass::Preview, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.git.preview.result", 1 +); + +pub mod application_git_status { + pub type Request = tracedecay_contracts::git::GitStatusSurfaceRequest; + pub type Result = tracedecay_contracts::git::GitReadResultV1; +} +typed_operation!( + ApplicationGitStatus, application_git_status, "operation.application.git_status", OperationTransport::Http { route: "/application/git/status" }, "binding.http.git_status.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.git.status.result", 1 +); + +pub mod application_github_stack_signal_expand { + pub type Request = tracedecay_contracts::git::GitHubStackSignalExpandSurfaceRequest; + pub type Result = tracedecay_contracts::git::GitHubStackSignalExpandSurfaceResultV1; +} +typed_operation!( + ApplicationGithubStackSignalExpand, application_github_stack_signal_expand, "operation.application.github_stack_signal_expand", OperationTransport::Http { route: "/application/github-stack/signal-expand" }, "binding.http.github_stack_signal_expand.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.github-stack.signal-expand.result", 1 +); + +pub mod god_class { + pub type Request = tracedecay_contracts::retrieval::GodClassSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::GodClassResultV1; +} +typed_operation!( + GodClass, god_class, "operation.application.god_class", OperationTransport::McpTool { tool_name: "tracedecay_god_class" }, "binding.mcp.god_class.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.god-class.result", 1 +); + +pub mod grep { + pub type Request = tracedecay_contracts::retrieval::GrepSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::GrepSearchResultV1; +} +typed_operation!( + Grep, grep, "operation.application.grep", OperationTransport::McpTool { tool_name: "tracedecay_grep" }, "binding.mcp.grep.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.grep.result", 1 +); + +pub mod health { + pub type Request = tracedecay_contracts::retrieval::HealthSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::HealthResultV1; +} +typed_operation!( + Health, health, "operation.application.health", OperationTransport::McpTool { tool_name: "tracedecay_health" }, "binding.mcp.health.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.health.result", 1 +); + +pub mod application_health_delta { + pub type Request = tracedecay_contracts::retrieval::HealthDeltaRequest; + pub type Result = tracedecay_contracts::retrieval::HealthDeltaResult; +} +typed_operation!( + ApplicationHealthDelta, application_health_delta, "operation.application.health_delta", OperationTransport::Http { route: "/application/primitives/health_delta" }, "binding.http.health_delta.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.health-delta.result", 1 +); + +pub mod application_health_read { + pub type Request = tracedecay_contracts::retrieval::HealthReadRequest; + pub type Result = tracedecay_contracts::retrieval::HealthReadResult; +} +typed_operation!( + ApplicationHealthRead, application_health_read, "operation.application.health_read", OperationTransport::Http { route: "/application/primitives/health_read" }, "binding.http.health_read.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.health-read.result", 1 +); + +pub mod hermes_skill_bridge { + pub type Request = tracedecay_contracts::retrieval::HermesSkillBridgeSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::HermesSkillBridgeResultV1; +} +typed_operation!( + HermesSkillBridge, hermes_skill_bridge, "operation.application.hermes_skill_bridge", OperationTransport::McpTool { tool_name: "tracedecay_hermes_skill_bridge" }, "binding.mcp.hermes_skill_bridge.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.hermes-skill-bridge.result", 1 +); + +pub mod hook_runtime { + pub type Request = tracedecay_contracts::retrieval::HookRuntimeSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::HookRuntimeResultV1; +} +typed_operation!( + HookRuntime, hook_runtime, "operation.application.hook_runtime", OperationTransport::McpTool { tool_name: "tracedecay_hook_runtime" }, "binding.mcp.hook_runtime.v1", EffectClass::RecordsHostEvidence, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.hook-runtime.result", 1 +); + +pub mod hotspots { + pub type Request = tracedecay_contracts::retrieval::HotspotsSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::HotspotsResultV1; +} +typed_operation!( + Hotspots, hotspots, "operation.application.hotspots", OperationTransport::McpTool { tool_name: "tracedecay_hotspots" }, "binding.mcp.hotspots.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.hotspots.result", 1 +); + +pub mod impact { + pub type Request = tracedecay_contracts::retrieval::NodeDepthSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::ImpactResultV1; +} +typed_operation!( + Impact, impact, "operation.application.impact", OperationTransport::McpTool { tool_name: "tracedecay_impact" }, "binding.mcp.impact.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.impact.result", 1 +); + +pub mod inheritance_depth { + pub type Request = tracedecay_contracts::retrieval::InheritanceDepthSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::InheritanceDepthResultV1; +} +typed_operation!( + InheritanceDepth, inheritance_depth, "operation.application.inheritance_depth", OperationTransport::McpTool { tool_name: "tracedecay_inheritance_depth" }, "binding.mcp.inheritance_depth.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.inheritance-depth.result", 1 +); + +pub mod insert_at { + pub type Request = tracedecay_contracts::source_edit::InsertAtSurfaceRequestV1; + pub type Result = tracedecay_contracts::source_edit::SourceEditSurfaceResultV1; +} +typed_operation!( + InsertAt, insert_at, "operation.application.insert_at", OperationTransport::McpTool { tool_name: "tracedecay_insert_at" }, "binding.mcp.insert_at.v1", EffectClass::SourceEdit, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.source-edit.insert-at.result", 1 +); + +pub mod insert_at_symbol { + pub type Request = tracedecay_contracts::source_edit::InsertAtSymbolSurfaceRequestV1; + pub type Result = tracedecay_contracts::source_edit::SourceEditSurfaceResultV1; +} +typed_operation!( + InsertAtSymbol, insert_at_symbol, "operation.application.insert_at_symbol", OperationTransport::McpTool { tool_name: "tracedecay_insert_at_symbol" }, "binding.mcp.insert_at_symbol.v1", EffectClass::SourceEdit, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.source-edit.insert-at-symbol.result", 1 +); + +pub mod largest { + pub type Request = tracedecay_contracts::retrieval::LargestSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::LargestResultV1; +} +typed_operation!( + Largest, largest, "operation.application.largest", OperationTransport::McpTool { tool_name: "tracedecay_largest" }, "binding.mcp.largest.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.largest.result", 1 +); + +pub mod application_lcm_describe { + pub type Request = tracedecay_contracts::retained_surfaces::LcmDescribeRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::LcmDescribeResultV1; +} +typed_operation!( + ApplicationLcmDescribe, application_lcm_describe, "operation.application.lcm_describe", OperationTransport::Http { route: "/application/retained/lcm_describe" }, "binding.http.lcm_describe.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.lcm-describe.result", 1 +); + +pub mod application_lcm_doctor { + pub type Request = tracedecay_contracts::retained_surfaces::LcmDoctorRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::LcmDoctorResultV1; +} +typed_operation!( + ApplicationLcmDoctor, application_lcm_doctor, "operation.application.lcm_doctor", OperationTransport::Http { route: "/application/retained/lcm_doctor" }, "binding.http.lcm_doctor.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.lcm-doctor.result", 1 +); + +pub mod application_lcm_expand { + pub type Request = tracedecay_contracts::retained_surfaces::LcmExpandRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::LcmExpandResultV1; +} +typed_operation!( + ApplicationLcmExpand, application_lcm_expand, "operation.application.lcm_expand", OperationTransport::Http { route: "/application/retained/lcm_expand" }, "binding.http.lcm_expand.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.lcm-expand.result", 1 +); + +pub mod application_lcm_expand_query { + pub type Request = tracedecay_contracts::retained_surfaces::LcmExpandQueryRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::LcmExpandQueryResultV1; +} +typed_operation!( + ApplicationLcmExpandQuery, application_lcm_expand_query, "operation.application.lcm_expand_query", OperationTransport::Http { route: "/application/retained/lcm_expand_query" }, "binding.http.lcm_expand_query.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.lcm-expand-query.result", 1 +); + +pub mod application_lcm_grep { + pub type Request = tracedecay_contracts::retained_surfaces::LcmGrepRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::LcmGrepResultV1; +} +typed_operation!( + ApplicationLcmGrep, application_lcm_grep, "operation.application.lcm_grep", OperationTransport::Http { route: "/application/retained/lcm_grep" }, "binding.http.lcm_grep.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.lcm-grep.result", 1 +); + +pub mod application_lcm_load_session { + pub type Request = tracedecay_contracts::retained_surfaces::LcmLoadSessionRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::LcmLoadSessionResultV1; +} +typed_operation!( + ApplicationLcmLoadSession, application_lcm_load_session, "operation.application.lcm_load_session", OperationTransport::Http { route: "/application/retained/lcm_load_session" }, "binding.http.lcm_load_session.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.lcm-load-session.result", 1 +); + +pub mod application_lcm_status { + pub type Request = tracedecay_contracts::retained_surfaces::LcmStatusRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::LcmStatusResultV1; +} +typed_operation!( + ApplicationLcmStatus, application_lcm_status, "operation.application.lcm_status", OperationTransport::Http { route: "/application/retained/lcm_status" }, "binding.http.lcm_status.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.lcm-status.result", 1 +); + +pub mod application_memory_status { + pub type Request = tracedecay_contracts::retained_surfaces::MemoryStatusRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::MemoryStatusResultV1; +} +typed_operation!( + ApplicationMemoryStatus, application_memory_status, "operation.application.memory_status", OperationTransport::Http { route: "/application/retained/memory_status" }, "binding.http.memory_status.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.memory-status.result", 1 +); + +pub mod application_message_search { + pub type Request = tracedecay_contracts::retained_surfaces::MessageSearchRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::MessageSearchResultV1; +} +typed_operation!( + ApplicationMessageSearch, application_message_search, "operation.application.message_search", OperationTransport::Http { route: "/application/retained/message_search" }, "binding.http.message_search.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.message-search.result", 1 +); + +pub mod application_module_api { + pub type Request = tracedecay_contracts::retrieval::ModuleApiPrimitiveRequest; + pub type Result = tracedecay_contracts::retrieval::ModuleApiPrimitiveResult; +} +typed_operation!( + ApplicationModuleApi, application_module_api, "operation.application.module_api", OperationTransport::Http { route: "/application/primitives/module_api" }, "binding.http.module_api.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.module-api.result", 1 +); + +pub mod move_symbol { + pub type Request = tracedecay_contracts::source_edit::MoveSymbolSurfaceRequestV1; + pub type Result = tracedecay_contracts::source_edit::SourceEditSurfaceResultV1; +} +typed_operation!( + MoveSymbol, move_symbol, "operation.application.move_symbol", OperationTransport::McpTool { tool_name: "tracedecay_move_symbol" }, "binding.mcp.move_symbol.v1", EffectClass::SourceEdit, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.source-edit.move-symbol.result", 1 +); + +pub mod multi_str_replace { + pub type Request = tracedecay_contracts::source_edit::MultiStrReplaceSurfaceRequestV1; + pub type Result = tracedecay_contracts::source_edit::SourceEditSurfaceResultV1; +} +typed_operation!( + MultiStrReplace, multi_str_replace, "operation.application.multi_str_replace", OperationTransport::McpTool { tool_name: "tracedecay_multi_str_replace" }, "binding.mcp.multi_str_replace.v1", EffectClass::SourceEdit, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.source-edit.multi-str-replace.result", 1 +); + +pub mod native_integration_status { + pub type Request = tracedecay_contracts::git::NativeIntegrationStatusSurfaceRequest; + pub type Result = tracedecay_contracts::git::NativeIntegrationSurfaceResultV1; +} +typed_operation!( + NativeIntegrationStatus, native_integration_status, "operation.application.native_integration_status", OperationTransport::McpTool { tool_name: "tracedecay_native_integration_status" }, "binding.mcp.native_integration_status.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.native-integration.status.result", 1 +); + +pub mod node { + pub type Request = tracedecay_contracts::retrieval::NodeSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::NodeResultV1; +} +typed_operation!( + Node, node, "operation.application.node", OperationTransport::McpTool { tool_name: "tracedecay_node" }, "binding.mcp.node.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.node.result", 1 +); + +pub mod observatory_read { + pub type Request = tracedecay_contracts::observatory_surface::ObservatoryReadRequestV1; + pub type Result = tracedecay_contracts::observatory_surface::ObservatoryReadResultV1; +} +typed_operation!( + ObservatoryRead, observatory_read, "operation.application.observatory_read", OperationTransport::McpTool { tool_name: "tracedecay_observatory_read" }, "binding.mcp.observatory_read.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.observatory-read.result", 1 +); + +pub mod port_order { + pub type Request = tracedecay_contracts::retrieval::PortOrderSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::PortOrderResultV1; +} +typed_operation!( + PortOrder, port_order, "operation.application.port_order", OperationTransport::McpTool { tool_name: "tracedecay_port_order" }, "binding.mcp.port_order.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.port-order.result", 1 +); + +pub mod port_status { + pub type Request = tracedecay_contracts::retrieval::PortStatusSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::PortStatusResultV1; +} +typed_operation!( + PortStatus, port_status, "operation.application.port_status", OperationTransport::McpTool { tool_name: "tracedecay_port_status" }, "binding.mcp.port_status.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.port-status.result", 1 +); + +pub mod pr_context { + pub type Request = tracedecay_contracts::retrieval::PrContextSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::PrContextResultV1; +} +typed_operation!( + PrContext, pr_context, "operation.application.pr_context", OperationTransport::McpTool { tool_name: "tracedecay_pr_context" }, "binding.mcp.pr_context.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.pr-context.result", 1 +); + +pub mod preflight_native_integration { + pub type Request = tracedecay_contracts::git::NativeIntegrationPreflightSurfaceRequest; + pub type Result = tracedecay_contracts::git::NativeIntegrationSurfaceResultV1; +} +typed_operation!( + PreflightNativeIntegration, preflight_native_integration, "operation.application.preflight_native_integration", OperationTransport::McpTool { tool_name: "tracedecay_preflight_native_integration" }, "binding.mcp.preflight_native_integration.v1", EffectClass::Preview, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.native-integration.preflight.result", 1 +); + +pub mod project_context { + pub type Request = tracedecay_contracts::retrieval::ProjectContextSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::ProjectContextResultV1; +} +typed_operation!( + ProjectContext, project_context, "operation.application.project_context", OperationTransport::McpTool { tool_name: "tracedecay_project_context" }, "binding.mcp.project_context.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.project-context.result", 1 +); + +pub mod project_list { + pub type Request = tracedecay_contracts::retrieval::ProjectListSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::ProjectRegistryListingResultV1; +} +typed_operation!( + ProjectList, project_list, "operation.application.project_list", OperationTransport::McpTool { tool_name: "tracedecay_project_list" }, "binding.mcp.project_list.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.project-list.result", 1 +); + +pub mod project_search { + pub type Request = tracedecay_contracts::retrieval::ProjectSearchSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::ProjectRegistryListingResultV1; +} +typed_operation!( + ProjectSearch, project_search, "operation.application.project_search", OperationTransport::McpTool { tool_name: "tracedecay_project_search" }, "binding.mcp.project_search.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.project-search.result", 1 +); + +pub mod application_qualified_name { + pub type Request = tracedecay_contracts::retrieval::QualifiedNamePrimitiveRequest; + pub type Result = tracedecay_contracts::retrieval::QualifiedNamePrimitiveResult; +} +typed_operation!( + ApplicationQualifiedName, application_qualified_name, "operation.application.qualified_name", OperationTransport::Http { route: "/application/primitives/qualified_name" }, "binding.http.qualified_name.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.qualified-name.result", 1 +); + +pub mod rank { + pub type Request = tracedecay_contracts::retrieval::RankSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::RankResultV1; +} +typed_operation!( + Rank, rank, "operation.application.rank", OperationTransport::McpTool { tool_name: "tracedecay_rank" }, "binding.mcp.rank.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.rank.result", 1 +); + +pub mod recursion { + pub type Request = tracedecay_contracts::retrieval::RecursionSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::RecursionResultV1; +} +typed_operation!( + Recursion, recursion, "operation.application.recursion", OperationTransport::McpTool { tool_name: "tracedecay_recursion" }, "binding.mcp.recursion.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.recursion.result", 1 +); + +pub mod redundancy { + pub type Request = tracedecay_contracts::retrieval::RedundancySurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::RedundancyResultV1; +} +typed_operation!( + Redundancy, redundancy, "operation.application.redundancy", OperationTransport::McpTool { tool_name: "tracedecay_redundancy" }, "binding.mcp.redundancy.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.redundancy.result", 1 +); + +pub mod remote_status { + pub type Request = tracedecay_contracts::retrieval::RemoteStatusSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::RemoteOperationalStatusReadV1; +} +typed_operation!( + RemoteStatus, remote_status, "operation.application.remote_status", OperationTransport::McpTool { tool_name: "tracedecay_remote_status" }, "binding.mcp.remote_status.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.remote-status.result", 1 +); + +pub mod rename_preview { + pub type Request = tracedecay_contracts::retrieval::RenamePreviewPrimitiveRequestV1; + pub type Result = tracedecay_contracts::retrieval::RenamePreviewPrimitiveOutcomeV1; +} +typed_operation!( + RenamePreview, rename_preview, "operation.application.rename_preview", OperationTransport::McpTool { tool_name: "tracedecay_rename_preview" }, "binding.mcp.rename_preview.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.rename-preview.result", 1 +); + +pub mod rename_symbol { + pub type Request = tracedecay_contracts::source_edit::RenameSymbolSurfaceRequestV1; + pub type Result = tracedecay_contracts::source_edit::SourceEditSurfaceResultV1; +} +typed_operation!( + RenameSymbol, rename_symbol, "operation.application.rename_symbol", OperationTransport::McpTool { tool_name: "tracedecay_rename_symbol" }, "binding.mcp.rename_symbol.v1", EffectClass::SourceEdit, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.source-edit.rename-symbol.result", 1 +); + +pub mod replace_symbol { + pub type Request = tracedecay_contracts::source_edit::ReplaceSymbolSurfaceRequestV1; + pub type Result = tracedecay_contracts::source_edit::SourceEditSurfaceResultV1; +} +typed_operation!( + ReplaceSymbol, replace_symbol, "operation.application.replace_symbol", OperationTransport::McpTool { tool_name: "tracedecay_replace_symbol" }, "binding.mcp.replace_symbol.v1", EffectClass::SourceEdit, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.source-edit.replace-symbol.result", 1 +); + +pub mod retrieve { + pub type Request = tracedecay_contracts::retrieval::RetrieveSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::RetrieveResultV1; +} +typed_operation!( + Retrieve, retrieve, "operation.application.retrieve", OperationTransport::McpTool { tool_name: "tracedecay_retrieve" }, "binding.mcp.retrieve.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.retrieve.result", 1 +); + +pub mod run_affected_tests { + pub type Request = tracedecay_contracts::retrieval::RunAffectedTestsSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::RunAffectedTestsResultV1; +} +typed_operation!( + RunAffectedTests, run_affected_tests, "operation.application.run_affected_tests", OperationTransport::McpTool { tool_name: "tracedecay_run_affected_tests" }, "binding.mcp.run_affected_tests.v1", EffectClass::SpawnsProcess, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::EffectInFlight], 600000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.run-affected-tests.result", 1 +); + +pub mod runtime { + pub type Request = tracedecay_contracts::retrieval::RuntimeSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::RuntimeResultV1; +} +typed_operation!( + Runtime, runtime, "operation.application.runtime", OperationTransport::McpTool { tool_name: "tracedecay_runtime" }, "binding.mcp.runtime.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.runtime.result", 1 +); + +pub mod search { + pub type Request = tracedecay_contracts::retrieval::SearchSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::SearchResultV1; +} +typed_operation!( + Search, search, "operation.application.search", OperationTransport::McpTool { tool_name: "tracedecay_search" }, "binding.mcp.search.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.search.result", 1 +); + +pub mod session_lookup { + pub type Request = tracedecay_contracts::retrieval::SessionLookupRequest; + pub type Result = tracedecay_contracts::retrieval::SessionLookupResult; +} +typed_operation!( + SessionLookup, session_lookup, "operation.application.session_lookup", OperationTransport::McpTool { tool_name: "tracedecay_session_lookup" }, "binding.mcp.session_lookup.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.session-lookup.result", 1 +); + +pub mod application_session_refresh_begin { + pub type Request = tracedecay_contracts::retained_surfaces::SessionRefreshActionRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::SessionRefreshBeginResultV1; +} +typed_operation!( + ApplicationSessionRefreshBegin, application_session_refresh_begin, "operation.application.session_refresh_begin", OperationTransport::Http { route: "/application/retained/session_refresh_begin" }, "binding.http.session_refresh_begin.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::Reconciling, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.retained.session-refresh-begin.result", 1 +); + +pub mod application_session_refresh_cancel { + pub type Request = tracedecay_contracts::retained_surfaces::SessionRefreshActionRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::SessionRefreshCancelResultV1; +} +typed_operation!( + ApplicationSessionRefreshCancel, application_session_refresh_cancel, "operation.application.session_refresh_cancel", OperationTransport::Http { route: "/application/retained/session_refresh_cancel" }, "binding.http.session_refresh_cancel.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::Reconciling, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.retained.session-refresh-cancel.result", 1 +); + +pub mod application_session_refresh_status { + pub type Request = tracedecay_contracts::retained_surfaces::SessionRefreshActionRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::SessionRefreshStatusResultV1; +} +typed_operation!( + ApplicationSessionRefreshStatus, application_session_refresh_status, "operation.application.session_refresh_status", OperationTransport::Http { route: "/application/retained/session_refresh_status" }, "binding.http.session_refresh_status.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.session-refresh-status.result", 1 +); + +pub mod application_sessions_for { + pub type Request = tracedecay_contracts::retained_surfaces::SessionsForRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::SessionsForResultV1; +} +typed_operation!( + ApplicationSessionsFor, application_sessions_for, "operation.application.sessions_for", OperationTransport::Http { route: "/application/retained/sessions_for" }, "binding.http.sessions_for.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.sessions-for.result", 1 +); + +pub mod signature { + pub type Request = tracedecay_contracts::retrieval::SymbolSelectorSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::SignatureResultV1; +} +typed_operation!( + Signature, signature, "operation.application.signature", OperationTransport::McpTool { tool_name: "tracedecay_signature" }, "binding.mcp.signature.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.signature.result", 1 +); + +pub mod similar { + pub type Request = tracedecay_contracts::retrieval::SimilarSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::SimilarResultV1; +} +typed_operation!( + Similar, similar, "operation.application.similar", OperationTransport::McpTool { tool_name: "tracedecay_similar" }, "binding.mcp.similar.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.similar.result", 1 +); + +pub mod skill_list { + pub type Request = tracedecay_contracts::retrieval::SkillListSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::SkillListResultV1; +} +typed_operation!( + SkillList, skill_list, "operation.application.skill_list", OperationTransport::McpTool { tool_name: "tracedecay_skill_list" }, "binding.mcp.skill_list.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.skill-list.result", 1 +); + +pub mod skill_view { + pub type Request = tracedecay_contracts::retrieval::SkillViewSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::SkillViewResultV1; +} +typed_operation!( + SkillView, skill_view, "operation.application.skill_view", OperationTransport::McpTool { tool_name: "tracedecay_skill_view" }, "binding.mcp.skill_view.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.skill-view.result", 1 +); + +pub mod application_source_body { + pub type Request = tracedecay_contracts::retrieval::SourceBodyPrimitiveRequest; + pub type Result = tracedecay_contracts::retrieval::SourceBodyPrimitiveResult; +} +typed_operation!( + ApplicationSourceBody, application_source_body, "operation.application.source_body", OperationTransport::Http { route: "/application/primitives/source_body" }, "binding.http.source_body.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.source-body.result", 1 +); + +pub mod source_edit_reconcile { + pub type Request = tracedecay_contracts::source_edit::SourceEditReconcileSurfaceRequestV1; + pub type Result = tracedecay_contracts::source_edit::SourceEditSurfaceResultV1; +} +typed_operation!( + SourceEditReconcile, source_edit_reconcile, "operation.application.source_edit_reconcile", OperationTransport::McpTool { tool_name: "tracedecay_source_edit_reconcile" }, "binding.mcp.source_edit_reconcile.v1", EffectClass::SourceEdit, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.source-edit.reconcile.result", 1 +); + +pub mod source_edit_rollback { + pub type Request = tracedecay_contracts::source_edit::SourceEditRollbackSurfaceRequestV1; + pub type Result = tracedecay_contracts::source_edit::SourceEditSurfaceResultV1; +} +typed_operation!( + SourceEditRollback, source_edit_rollback, "operation.application.source_edit_rollback", OperationTransport::McpTool { tool_name: "tracedecay_source_edit_rollback" }, "binding.mcp.source_edit_rollback.v1", EffectClass::SourceEdit, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.source-edit.rollback.result", 1 +); + +pub mod application_source_lines { + pub type Request = tracedecay_contracts::retrieval::SourceLinesRequest; + pub type Result = tracedecay_contracts::retrieval::SourceLinesResult; +} +typed_operation!( + ApplicationSourceLines, application_source_lines, "operation.application.source_lines", OperationTransport::Http { route: "/application/primitives/source_lines" }, "binding.http.source_lines.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.source-lines.result", 1 +); + +pub mod application_source_outline { + pub type Request = tracedecay_contracts::retrieval::SourceOutlinePrimitiveRequest; + pub type Result = tracedecay_contracts::retrieval::SourceOutlinePrimitiveResult; +} +typed_operation!( + ApplicationSourceOutline, application_source_outline, "operation.application.source_outline", OperationTransport::Http { route: "/application/primitives/source_outline" }, "binding.http.source_outline.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.source-outline.result", 1 +); + +pub mod stack_snapshot { + pub type Request = tracedecay_contracts::git::NativeIntegrationStackSnapshotSurfaceRequest; + pub type Result = tracedecay_contracts::git::NativeIntegrationSurfaceResultV1; +} +typed_operation!( + StackSnapshot, stack_snapshot, "operation.application.stack_snapshot", OperationTransport::McpTool { tool_name: "tracedecay_stack_snapshot" }, "binding.mcp.stack_snapshot.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.native-integration.stack-snapshot.result", 1 +); + +pub mod status { + pub type Request = tracedecay_contracts::retrieval::StatusSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::StatusResultV1; +} +typed_operation!( + Status, status, "operation.application.status", OperationTransport::McpTool { tool_name: "tracedecay_status" }, "binding.mcp.status.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.status.result", 1 +); + +pub mod application_storage_status { + pub type Request = tracedecay_contracts::retrieval::StorageStatusPrimitiveRequest; + pub type Result = tracedecay_contracts::retrieval::StorageStatusPrimitiveResult; +} +typed_operation!( + ApplicationStorageStatus, application_storage_status, "operation.application.storage_status", OperationTransport::Http { route: "/application/primitives/storage_status" }, "binding.http.storage_status.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.storage-status.result", 1 +); + +pub mod str_replace { + pub type Request = tracedecay_contracts::source_edit::StrReplaceSurfaceRequestV1; + pub type Result = tracedecay_contracts::source_edit::SourceEditSurfaceResultV1; +} +typed_operation!( + StrReplace, str_replace, "operation.application.str_replace", OperationTransport::McpTool { tool_name: "tracedecay_str_replace" }, "binding.mcp.str_replace.v1", EffectClass::SourceEdit, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.source-edit.str-replace.result", 1 +); + +pub mod test_map { + pub type Request = tracedecay_contracts::retrieval::TestMapSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::TestMapResultV1; +} +typed_operation!( + TestMap, test_map, "operation.application.test_map", OperationTransport::McpTool { tool_name: "tracedecay_test_map" }, "binding.mcp.test_map.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.test-map.result", 1 +); + +pub mod application_test_results { + pub type Request = tracedecay_contracts::feedback::TestResultsSurfaceRequestV1; + pub type Result = tracedecay_contracts::feedback::TestResultsResultV1; +} +typed_operation!( + ApplicationTestResults, application_test_results, "operation.application.test_results", OperationTransport::Http { route: "/application/tests/results" }, "binding.http.test_results.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 15000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.feedback.test-results.result", 1 +); + +pub mod test_risk { + pub type Request = tracedecay_contracts::retrieval::TestRiskSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::TestRiskResultV1; +} +typed_operation!( + TestRisk, test_risk, "operation.application.test_risk", OperationTransport::McpTool { tool_name: "tracedecay_test_risk" }, "binding.mcp.test_risk.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.test-risk.result", 1 +); + +pub mod todos { + pub type Request = tracedecay_contracts::retrieval::TodosSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::TodosResultV1; +} +typed_operation!( + Todos, todos, "operation.application.todos", OperationTransport::McpTool { tool_name: "tracedecay_todos" }, "binding.mcp.todos.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 10000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.todos.result", 1 +); + +pub mod unmounted_files { + pub type Request = tracedecay_contracts::retrieval::UnmountedFilesSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::UnmountedFilesResultV1; +} +typed_operation!( + UnmountedFiles, unmounted_files, "operation.application.unmounted_files", OperationTransport::McpTool { tool_name: "tracedecay_unmounted_files" }, "binding.mcp.unmounted_files.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.unmounted-files.result", 1 +); + +pub mod unsafe_patterns { + pub type Request = tracedecay_contracts::retrieval::UnsafePatternsSurfaceRequestV1; + pub type Result = tracedecay_contracts::retrieval::UnsafePatternsResultV1; +} +typed_operation!( + UnsafePatterns, unsafe_patterns, "operation.application.unsafe_patterns", OperationTransport::McpTool { tool_name: "tracedecay_unsafe_patterns" }, "binding.mcp.unsafe_patterns.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 120000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.primitive.unsafe-patterns.result", 1 +); + +pub mod application_workflows { + pub type Request = tracedecay_contracts::retained_surfaces::WorkflowsRequestV1; + pub type Result = tracedecay_contracts::retained_surfaces::WorkflowsResultV1; +} +typed_operation!( + ApplicationWorkflows, application_workflows, "operation.application.workflows", OperationTransport::Http { route: "/application/retained/workflows" }, "binding.http.workflows.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Unavailable, TerminalState::Partial], "schema.application.retained.workflows.result", 1 +); + +pub mod application_worktree_cleanup_confirm { + pub type Request = tracedecay_contracts::git::WorktreeCleanupConfirmRequestV1; + pub type Result = tracedecay_contracts::git::NativeIntegrationSurfaceResultV1; +} +typed_operation!( + ApplicationWorktreeCleanupConfirm, application_worktree_cleanup_confirm, "operation.application.worktree_cleanup_confirm", OperationTransport::Http { route: "/application/native-integration/worktree_cleanup_confirm" }, "binding.http.worktree_cleanup_confirm.v1", EffectClass::Preview, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.native-integration.worktree-cleanup-confirm.result", 1 +); + +pub mod application_worktree_cleanup_inspect { + pub type Request = tracedecay_contracts::git::WorktreeCleanupInspectRequestV1; + pub type Result = tracedecay_contracts::git::NativeIntegrationSurfaceResultV1; +} +typed_operation!( + ApplicationWorktreeCleanupInspect, application_worktree_cleanup_inspect, "operation.application.worktree_cleanup_inspect", OperationTransport::Http { route: "/application/native-integration/worktree_cleanup_inspect" }, "binding.http.worktree_cleanup_inspect.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.native-integration.worktree-cleanup-inspect.result", 1 +); + +pub mod application_worktree_cleanup_reconcile { + pub type Request = tracedecay_contracts::git::WorktreeCleanupReconcileRequestV1; + pub type Result = tracedecay_contracts::git::NativeIntegrationSurfaceResultV1; +} +typed_operation!( + ApplicationWorktreeCleanupReconcile, application_worktree_cleanup_reconcile, "operation.application.worktree_cleanup_reconcile", OperationTransport::Http { route: "/application/native-integration/worktree_cleanup_reconcile" }, "binding.http.worktree_cleanup_reconcile.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.native-integration.worktree-cleanup-reconcile.result", 1 +); + +pub mod application_worktree_cleanup_remove { + pub type Request = tracedecay_contracts::git::WorktreeCleanupRemoveRequestV1; + pub type Result = tracedecay_contracts::git::NativeIntegrationSurfaceResultV1; +} +typed_operation!( + ApplicationWorktreeCleanupRemove, application_worktree_cleanup_remove, "operation.application.worktree_cleanup_remove", OperationTransport::Http { route: "/application/native-integration/worktree_cleanup_remove" }, "binding.http.worktree_cleanup_remove.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.application.native-integration.worktree-cleanup-remove.result", 1 +); + +pub mod application_worktree_inventory { + pub type Request = tracedecay_contracts::git::WorktreeInventoryRequestV1; + pub type Result = tracedecay_contracts::git::NativeIntegrationSurfaceResultV1; +} +typed_operation!( + ApplicationWorktreeInventory, application_worktree_inventory, "operation.application.worktree_inventory", OperationTransport::Http { route: "/application/native-integration/worktree_inventory" }, "binding.http.worktree_inventory.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.application.native-integration.worktree-inventory.result", 1 +); + +pub mod handoff_issue_task_handoff { + pub type Request = tracedecay_contracts::handoff::IssueTaskHandoffRequestV1; + pub type Result = tracedecay_contracts::handoff::IssueTaskHandoffResultV1; +} +typed_operation!( + HandoffIssueTaskHandoff, handoff_issue_task_handoff, "operation.handoff.issue_task_handoff", OperationTransport::Http { route: "/application/handoff/issue-task" }, "binding.http.handoff.issue_task_handoff", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.handoff.issue_task_handoff.result", 1 +); + +pub mod handoff_list_task_handoffs { + pub type Request = tracedecay_contracts::handoff::ListTaskHandoffsRequestV1; + pub type Result = tracedecay_contracts::handoff::ListTaskHandoffsResultV1; +} +typed_operation!( + HandoffListTaskHandoffs, handoff_list_task_handoffs, "operation.handoff.list_task_handoffs", OperationTransport::Http { route: "/application/handoff/list-task" }, "binding.http.handoff.list_task_handoffs", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.handoff.list_task_handoffs.result", 1 +); + +pub mod handoff_open_investigation_handoff { + pub type Request = tracedecay_contracts::handoff::OpenInvestigationHandoffRequestV1; + pub type Result = tracedecay_contracts::handoff::OpenInvestigationHandoffResultV1; +} +typed_operation!( + HandoffOpenInvestigationHandoff, handoff_open_investigation_handoff, "operation.handoff.open_investigation_handoff", OperationTransport::Http { route: "/application/handoff/open-investigation" }, "binding.http.handoff.open_investigation_handoff", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.handoff.open_investigation_handoff.result", 1 +); + +pub mod handoff_open_task_handoff { + pub type Request = tracedecay_contracts::handoff::OpenTaskHandoffRequestV1; + pub type Result = tracedecay_contracts::handoff::OpenTaskHandoffResultV1; +} +typed_operation!( + HandoffOpenTaskHandoff, handoff_open_task_handoff, "operation.handoff.open_task_handoff", OperationTransport::Http { route: "/application/handoff/open-task" }, "binding.http.handoff.open_task_handoff", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.handoff.open_task_handoff.result", 1 +); + +pub mod multi_root_execute { + pub type Request = tracedecay_contracts::multi_root::MultiRootExecuteRequestV1; + pub type Result = tracedecay_contracts::multi_root::MultiRootQueryPageV1; +} +typed_operation!( + MultiRootExecute, multi_root_execute, "operation.multi_root.execute", OperationTransport::Http { route: "/application/multi-root/execute" }, "binding.http.multi_root.execute.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.tracedecay.multi-root.execute-result.v1", 1 +); + +pub mod multi_root_scope_set_compare_and_swap { + pub type Request = tracedecay_contracts::multi_root::MultiRootScopeSetCasRequestV1; + pub type Result = tracedecay_contracts::multi_root::MultiRootScopeSetCasResultV1; +} +typed_operation!( + MultiRootScopeSetCompareAndSwap, multi_root_scope_set_compare_and_swap, "operation.multi_root.scope_set_compare_and_swap", OperationTransport::Http { route: "/application/multi-root/scope-set/compare-and-swap" }, "binding.http.multi_root.scope_set_compare_and_swap.v1", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.tracedecay.multi-root.scope-set-compare-and-swap-result.v1", 1 +); + +pub mod multi_root_scope_set_read { + pub type Request = tracedecay_contracts::multi_root::MultiRootScopeSetReadRequestV1; + pub type Result = core::option::Option; +} +typed_operation!( + MultiRootScopeSetRead, multi_root_scope_set_read, "operation.multi_root.scope_set_read", OperationTransport::Http { route: "/application/multi-root/scope-set/read" }, "binding.http.multi_root.scope_set_read.v1", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.tracedecay.multi-root.scope-set-read-result.v1", 1 +); + +pub mod work_accept_proposal { + pub type Request = tracedecay_contracts::AcceptWorkProposalRequestV1; + pub type Result = tracedecay_contracts::WorkProductMutationReceiptV1; +} +typed_operation!( + WorkAcceptProposal, work_accept_proposal, "operation.work.accept_proposal", OperationTransport::Http { route: "/application/work/accept-proposal" }, "binding.http.work.accept_proposal", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.accept_proposal.result", 1 +); + +pub mod work_adjudicate_duplicate { + pub type Request = tracedecay_domain::WorkDuplicateAdjudicationCommandV1; + pub type Result = tracedecay_contracts::WorkDuplicateAdjudicationAppendOutcomeV1; +} +typed_operation!( + WorkAdjudicateDuplicate, work_adjudicate_duplicate, "operation.work.adjudicate_duplicate", OperationTransport::Http { route: "/application/work/adjudicate-duplicate" }, "binding.http.work.adjudicate_duplicate", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.adjudicate_duplicate.result", 1 +); + +pub mod work_adjudicate_leak { + pub type Request = tracedecay_contracts::AdjudicateWorkLeakCommandV1; + pub type Result = tracedecay_contracts::WorkLeakAdjudicationOutcomeV1; +} +typed_operation!( + WorkAdjudicateLeak, work_adjudicate_leak, "operation.work.adjudicate_leak", OperationTransport::Http { route: "/application/work/adjudicate-leak" }, "binding.http.work.adjudicate_leak", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.adjudicate_leak.result", 1 +); + +pub mod work_admit_execution { + pub type Request = tracedecay_contracts::AdmitWorkExecutionRequestV1; + pub type Result = tracedecay_contracts::AdmittedWorkExecutionV1; +} +typed_operation!( + WorkAdmitExecution, work_admit_execution, "operation.work.admit_execution", OperationTransport::Http { route: "/application/work/admit-execution" }, "binding.http.work.admit_execution", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.admit_execution.result", 1 +); + +pub mod work_admit_placement { + pub type Request = tracedecay_contracts::AdmitWorkPlacementCommand; + pub type Result = tracedecay_domain::WorkPlacementV1; +} +typed_operation!( + WorkAdmitPlacement, work_admit_placement, "operation.work.admit_placement", OperationTransport::Http { route: "/application/work/admit-placement" }, "binding.http.work.admit_placement", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.admit_placement.result", 1 +); + +pub mod work_attempt_status { + pub type Request = tracedecay_contracts::WorkAttemptStatusRequestV1; + pub type Result = tracedecay_domain::WorkAttemptV1; +} +typed_operation!( + WorkAttemptStatus, work_attempt_status, "operation.work.attempt_status", OperationTransport::Http { route: "/application/work/attempt-status" }, "binding.http.work.attempt_status", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.attempt_status.result", 1 +); + +pub mod work_cancel_attempt { + pub type Request = tracedecay_contracts::CancelWorkAttemptCommand; + pub type Result = tracedecay_domain::WorkAttemptV1; +} +typed_operation!( + WorkCancelAttempt, work_cancel_attempt, "operation.work.cancel_attempt", OperationTransport::Http { route: "/application/work/cancel-attempt" }, "binding.http.work.cancel_attempt", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.cancel_attempt.result", 1 +); + +pub mod work_compare_proposal { + pub type Request = tracedecay_contracts::WorkProposalComparisonRequestV1; + pub type Result = tracedecay_contracts::WorkProposalComparisonV1; +} +typed_operation!( + WorkCompareProposal, work_compare_proposal, "operation.work.compare_proposal", OperationTransport::Http { route: "/application/work/compare-proposal" }, "binding.http.work.compare_proposal", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.compare_proposal.result", 1 +); + +pub mod work_create { + pub type Request = tracedecay_contracts::CreateWorkTaskRequestV1; + pub type Result = tracedecay_contracts::WorkProductMutationReceiptV1; +} +typed_operation!( + WorkCreate, work_create, "operation.work.create", OperationTransport::Http { route: "/application/work/create" }, "binding.http.work.create", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.create.result", 1 +); + +pub mod work_execution_history { + pub type Request = tracedecay_contracts::WorkAttemptListRequestV1; + pub type Result = tracedecay_contracts::WorkExecutionHistoryV1; +} +typed_operation!( + WorkExecutionHistory, work_execution_history, "operation.work.execution_history", OperationTransport::Http { route: "/application/work/execution-history" }, "binding.http.work.execution_history", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.execution_history.result", 1 +); + +pub mod work_experience { + pub type Request = tracedecay_contracts::WorkExperienceRequestV1; + pub type Result = tracedecay_contracts::WorkExperienceV1; +} +typed_operation!( + WorkExperience, work_experience, "operation.work.experience", OperationTransport::Http { route: "/application/work/experience" }, "binding.http.work.experience", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.experience.result", 1 +); + +pub mod work_generate_proposal { + pub type Request = tracedecay_contracts::GenerateProposalRequest; + pub type Result = tracedecay_contracts::GeneratedWorkProposal; +} +typed_operation!( + WorkGenerateProposal, work_generate_proposal, "operation.work.generate_proposal", OperationTransport::Http { route: "/application/work/generate-proposal" }, "binding.http.work.generate_proposal", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.generate_proposal.result", 1 +); + +pub mod work_hydrate_artifacts { + pub type Request = tracedecay_contracts::WorkArtifactHydrationRequestV1; + pub type Result = tracedecay_contracts::WorkArtifactHydrationV1; +} +typed_operation!( + WorkHydrateArtifacts, work_hydrate_artifacts, "operation.work.hydrate_artifacts", OperationTransport::Http { route: "/application/work/hydrate-artifacts" }, "binding.http.work.hydrate_artifacts", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.hydrate_artifacts.result", 1 +); + +pub mod work_list_attempts { + pub type Request = tracedecay_contracts::WorkAttemptListRequestV1; + pub type Result = tracedecay_contracts::WorkAttemptListV1; +} +typed_operation!( + WorkListAttempts, work_list_attempts, "operation.work.list_attempts", OperationTransport::Http { route: "/application/work/list-attempts" }, "binding.http.work.list_attempts", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.list_attempts.result", 1 +); + +pub mod work_mutate_graph { + pub type Request = tracedecay_contracts::WorkProductMutationRequestV1; + pub type Result = tracedecay_contracts::WorkProductMutationReceiptV1; +} +typed_operation!( + WorkMutateGraph, work_mutate_graph, "operation.work.mutate_graph", OperationTransport::Http { route: "/application/work/mutate-graph" }, "binding.http.work.mutate_graph", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.mutate_graph.result", 1 +); + +pub mod work_pause_run { + pub type Request = tracedecay_contracts::PauseWorkRunCommand; + pub type Result = tracedecay_domain::WorkRunControlV1; +} +typed_operation!( + WorkPauseRun, work_pause_run, "operation.work.pause_run", OperationTransport::Http { route: "/application/work/pause-run" }, "binding.http.work.pause_run", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.pause_run.result", 1 +); + +pub mod work_placement_preflight { + pub type Request = tracedecay_contracts::WorkPlacementPreflightRequestV1; + pub type Result = tracedecay_domain::WorkPlacementPreflightV1; +} +typed_operation!( + WorkPlacementPreflight, work_placement_preflight, "operation.work.placement_preflight", OperationTransport::Http { route: "/application/work/placement-preflight" }, "binding.http.work.placement_preflight", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.placement_preflight.result", 1 +); + +pub mod work_placement_status { + pub type Request = tracedecay_contracts::WorkPlacementStatusRequestV1; + pub type Result = tracedecay_contracts::WorkPlacementReadingV1; +} +typed_operation!( + WorkPlacementStatus, work_placement_status, "operation.work.placement_status", OperationTransport::Http { route: "/application/work/placement-status" }, "binding.http.work.placement_status", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.placement_status.result", 1 +); + +pub mod work_prepare_duplicate_adjudication { + pub type Request = tracedecay_contracts::PrepareWorkDuplicateAdjudicationRequestV1; + pub type Result = tracedecay_domain::WorkDuplicateAdjudicationCommandV1; +} +typed_operation!( + WorkPrepareDuplicateAdjudication, work_prepare_duplicate_adjudication, "operation.work.prepare_duplicate_adjudication", OperationTransport::Http { route: "/application/work/prepare-duplicate-adjudication" }, "binding.http.work.prepare_duplicate_adjudication", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.prepare_duplicate_adjudication.result", 1 +); + +pub mod work_prepare_graph_mutation { + pub type Request = tracedecay_contracts::PrepareWorkProductMutationRequestV1; + pub type Result = tracedecay_contracts::WorkProductMutationRequestV1; +} +typed_operation!( + WorkPrepareGraphMutation, work_prepare_graph_mutation, "operation.work.prepare_graph_mutation", OperationTransport::Http { route: "/application/work/prepare-graph-mutation" }, "binding.http.work.prepare_graph_mutation", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.prepare_graph_mutation.result", 1 +); + +pub mod work_release_placement { + pub type Request = tracedecay_contracts::ReleaseWorkPlacementCommand; + pub type Result = tracedecay_domain::WorkPlacementV1; +} +typed_operation!( + WorkReleasePlacement, work_release_placement, "operation.work.release_placement", OperationTransport::Http { route: "/application/work/release-placement" }, "binding.http.work.release_placement", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.release_placement.result", 1 +); + +pub mod work_resume_attempts { + pub type Request = tracedecay_contracts::ResumeWorkAttemptsCommand; + pub type Result = tracedecay_contracts::WorkAttemptRecoveryReportV1; +} +typed_operation!( + WorkResumeAttempts, work_resume_attempts, "operation.work.resume_attempts", OperationTransport::Http { route: "/application/work/resume-attempts" }, "binding.http.work.resume_attempts", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.resume_attempts.result", 1 +); + +pub mod work_resume_run { + pub type Request = tracedecay_contracts::ResumeWorkRunCommand; + pub type Result = tracedecay_domain::WorkRunControlV1; +} +typed_operation!( + WorkResumeRun, work_resume_run, "operation.work.resume_run", OperationTransport::Http { route: "/application/work/resume-run" }, "binding.http.work.resume_run", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.resume_run.result", 1 +); + +pub mod work_retrieve_evidence { + pub type Request = tracedecay_contracts::WorkEvidenceRetrieveRequestV1; + pub type Result = tracedecay_contracts::WorkEvidenceRetrievalV1; +} +typed_operation!( + WorkRetrieveEvidence, work_retrieve_evidence, "operation.work.retrieve_evidence", OperationTransport::Http { route: "/application/work/retrieve-evidence" }, "binding.http.work.retrieve_evidence", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.retrieve_evidence.result", 1 +); + +pub mod work_retry_attempt { + pub type Request = tracedecay_contracts::RetryWorkAttemptCommandV1; + pub type Result = tracedecay_contracts::WorkRetryAttemptOutcomeV1; +} +typed_operation!( + WorkRetryAttempt, work_retry_attempt, "operation.work.retry_attempt", OperationTransport::Http { route: "/application/work/retry-attempt" }, "binding.http.work.retry_attempt", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.retry_attempt.result", 1 +); + +pub mod work_review_proposal { + pub type Request = tracedecay_contracts::ReviewWorkProposalRequestV1; + pub type Result = tracedecay_contracts::WorkProductMutationReceiptV1; +} +typed_operation!( + WorkReviewProposal, work_review_proposal, "operation.work.review_proposal", OperationTransport::Http { route: "/application/work/review-proposal" }, "binding.http.work.review_proposal", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.review_proposal.result", 1 +); + +pub mod work_run_control { + pub type Request = tracedecay_contracts::WorkRunControlRequestV1; + pub type Result = tracedecay_contracts::WorkRunControlReadingV1; +} +typed_operation!( + WorkRunControl, work_run_control, "operation.work.run_control", OperationTransport::Http { route: "/application/work/run-control" }, "binding.http.work.run_control", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.run_control.result", 1 +); + +pub mod work_start_attempt { + pub type Request = tracedecay_contracts::StartWorkAttemptCommand; + pub type Result = tracedecay_domain::WorkAttemptV1; +} +typed_operation!( + WorkStartAttempt, work_start_attempt, "operation.work.start_attempt", OperationTransport::Http { route: "/application/work/start-attempt" }, "binding.http.work.start_attempt", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.start_attempt.result", 1 +); + +pub mod work_synthesize { + pub type Request = tracedecay_contracts::AdmitWorkSynthesisCommand; + pub type Result = tracedecay_contracts::WorkSynthesisAttemptV1; +} +typed_operation!( + WorkSynthesize, work_synthesize, "operation.work.synthesize", OperationTransport::Http { route: "/application/work/synthesize" }, "binding.http.work.synthesize", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeEffect, CancellationPoint::EffectInFlight, CancellationPoint::AfterCommit], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.work.synthesize.result", 1 +); + +pub mod work_topology { + pub type Request = tracedecay_contracts::WorkTopologyViewRequestV1; + pub type Result = tracedecay_contracts::ExecutionTopologyViewV1; +} +typed_operation!( + WorkTopology, work_topology, "operation.work.topology", OperationTransport::Http { route: "/application/work/topology" }, "binding.http.work.topology", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.topology.result", 1 +); + +pub mod work_topology_metrics { + pub type Request = tracedecay_contracts::ExecutionTopologyMetricsRequestV1; + pub type Result = tracedecay_contracts::ExecutionTopologyMetricsV1; +} +typed_operation!( + WorkTopologyMetrics, work_topology_metrics, "operation.work.topology_metrics", OperationTransport::Http { route: "/application/work/topology-metrics" }, "binding.http.work.topology_metrics", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.topology_metrics.result", 1 +); + +pub mod work_views { + pub type Request = tracedecay_contracts::WorkGraphReadRequestV1; + pub type Result = tracedecay_contracts::WorkGraphReadV1; +} +typed_operation!( + WorkViews, work_views, "operation.work.views", OperationTransport::Http { route: "/application/work/views" }, "binding.http.work.views", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.work.views.result", 1 +); + +pub mod workflow_activate_definition { + pub type Request = tracedecay_contracts::WorkflowDefinitionActivateRequest; + pub type Result = tracedecay_contracts::WorkflowDefinitionDisposition; +} +typed_operation!( + WorkflowActivateDefinition, workflow_activate_definition, "operation.workflow.activate_definition", OperationTransport::Http { route: "/application/workflow/activate-definition" }, "binding.http.workflow.activate_definition", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.workflow.activate_definition.result", 1 +); + +pub mod workflow_cancel_run { + pub type Request = tracedecay_contracts::WorkflowRunCancelRequest; + pub type Result = tracedecay_domain::WorkflowRunProjection; +} +typed_operation!( + WorkflowCancelRun, workflow_cancel_run, "operation.workflow.cancel_run", OperationTransport::Http { route: "/application/workflow/cancel-run" }, "binding.http.workflow.cancel_run", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.workflow.cancel_run.result", 1 +); + +pub mod workflow_definition_history { + extern crate alloc; + pub type Request = tracedecay_contracts::WorkflowDefinitionHistoryRequest; + pub type Result = alloc::vec::Vec; +} +typed_operation!( + WorkflowDefinitionHistory, workflow_definition_history, "operation.workflow.definition_history", OperationTransport::Http { route: "/application/workflow/definition-history" }, "binding.http.workflow.definition_history", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.workflow.definition_history.result", 1 +); + +pub mod workflow_diff_definition { + pub type Request = tracedecay_contracts::WorkflowDefinitionDiffRequest; + pub type Result = tracedecay_contracts::WorkflowDefinitionDiff; +} +typed_operation!( + WorkflowDiffDefinition, workflow_diff_definition, "operation.workflow.diff_definition", OperationTransport::Http { route: "/application/workflow/diff-definition" }, "binding.http.workflow.diff_definition", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.workflow.diff_definition.result", 1 +); + +pub mod workflow_get_definition { + pub type Request = tracedecay_contracts::WorkflowDefinitionGetRequest; + pub type Result = tracedecay_domain::WorkflowDefinition; +} +typed_operation!( + WorkflowGetDefinition, workflow_get_definition, "operation.workflow.get_definition", OperationTransport::Http { route: "/application/workflow/get-definition" }, "binding.http.workflow.get_definition", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.workflow.get_definition.result", 1 +); + +pub mod workflow_get_run { + pub type Request = tracedecay_contracts::WorkflowRunGetRequest; + pub type Result = tracedecay_domain::WorkflowRunProjection; +} +typed_operation!( + WorkflowGetRun, workflow_get_run, "operation.workflow.get_run", OperationTransport::Http { route: "/application/workflow/get-run" }, "binding.http.workflow.get_run", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.workflow.get_run.result", 1 +); + +pub mod workflow_handoff_issue { + pub type Request = tracedecay_contracts::TaskHandoffIssueRequest; + pub type Result = tracedecay_contracts::TaskHandoffGrant; +} +typed_operation!( + WorkflowHandoffIssue, workflow_handoff_issue, "operation.workflow.handoff_issue", OperationTransport::Http { route: "/application/workflow/handoff-issue" }, "binding.http.workflow.handoff_issue", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.workflow.handoff_issue.result", 1 +); + +pub mod workflow_handoff_redeem { + pub type Request = tracedecay_contracts::TaskHandoffRedeemRequest; + pub type Result = tracedecay_contracts::TaskHandoffRedeemed; +} +typed_operation!( + WorkflowHandoffRedeem, workflow_handoff_redeem, "operation.workflow.handoff_redeem", OperationTransport::Http { route: "/application/workflow/handoff-redeem" }, "binding.http.workflow.handoff_redeem", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.workflow.handoff_redeem.result", 1 +); + +pub mod workflow_list_definitions { + extern crate alloc; + pub type Request = tracedecay_contracts::WorkflowDefinitionListRequest; + pub type Result = alloc::vec::Vec; +} +typed_operation!( + WorkflowListDefinitions, workflow_list_definitions, "operation.workflow.list_definitions", OperationTransport::Http { route: "/application/workflow/list-definitions" }, "binding.http.workflow.list_definitions", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.workflow.list_definitions.result", 1 +); + +pub mod workflow_pause_run { + pub type Request = tracedecay_contracts::WorkflowRunPauseRequest; + pub type Result = tracedecay_domain::WorkflowRunProjection; +} +typed_operation!( + WorkflowPauseRun, workflow_pause_run, "operation.workflow.pause_run", OperationTransport::Http { route: "/application/workflow/pause-run" }, "binding.http.workflow.pause_run", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.workflow.pause_run.result", 1 +); + +pub mod workflow_register_definition { + pub type Request = tracedecay_contracts::WorkflowDefinitionRegisterRequest; + pub type Result = tracedecay_domain::WorkflowDefinition; +} +typed_operation!( + WorkflowRegisterDefinition, workflow_register_definition, "operation.workflow.register_definition", OperationTransport::Http { route: "/application/workflow/register-definition" }, "binding.http.workflow.register_definition", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.workflow.register_definition.result", 1 +); + +pub mod workflow_reject_definition { + pub type Request = tracedecay_contracts::WorkflowDefinitionRejectRequest; + pub type Result = tracedecay_contracts::WorkflowDefinitionDisposition; +} +typed_operation!( + WorkflowRejectDefinition, workflow_reject_definition, "operation.workflow.reject_definition", OperationTransport::Http { route: "/application/workflow/reject-definition" }, "binding.http.workflow.reject_definition", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.workflow.reject_definition.result", 1 +); + +pub mod workflow_resume_run { + pub type Request = tracedecay_contracts::WorkflowRunResumeRequest; + pub type Result = tracedecay_domain::WorkflowRunProjection; +} +typed_operation!( + WorkflowResumeRun, workflow_resume_run, "operation.workflow.resume_run", OperationTransport::Http { route: "/application/workflow/resume-run" }, "binding.http.workflow.resume_run", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.workflow.resume_run.result", 1 +); + +pub mod workflow_retire_definition { + pub type Request = tracedecay_contracts::WorkflowDefinitionRetireRequest; + pub type Result = tracedecay_contracts::WorkflowDefinitionDisposition; +} +typed_operation!( + WorkflowRetireDefinition, workflow_retire_definition, "operation.workflow.retire_definition", OperationTransport::Http { route: "/application/workflow/retire-definition" }, "binding.http.workflow.retire_definition", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.workflow.retire_definition.result", 1 +); + +pub mod workflow_start_run { + pub type Request = tracedecay_contracts::WorkflowRunStartRequest; + pub type Result = tracedecay_domain::WorkflowRunProjection; +} +typed_operation!( + WorkflowStartRun, workflow_start_run, "operation.workflow.start_run", OperationTransport::Http { route: "/application/workflow/start-run" }, "binding.http.workflow.start_run", EffectClass::Administrative, IdempotencyContract::Required, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, false, &[], 30000, DeadlineBehavior::ReturnEffectReceipt, ReconciliationContract::Required, ReceiptContract::DurableEffect, &[TerminalState::Completed, TerminalState::TimedOut, TerminalState::Failed, TerminalState::EffectUnknown, TerminalState::Partial], "schema.workflow.start_run.result", 1 +); + +pub mod workflow_validate_definition { + pub type Request = tracedecay_contracts::WorkflowDefinitionValidateRequest; + pub type Result = tracedecay_contracts::WorkflowDefinitionValidation; +} +typed_operation!( + WorkflowValidateDefinition, workflow_validate_definition, "operation.workflow.validate_definition", OperationTransport::Http { route: "/application/workflow/validate-definition" }, "binding.http.workflow.validate_definition", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.workflow.validate_definition.result", 1 +); -include!(concat!(env!("OUT_DIR"), "/operations.rs")); diff --git a/dashboard/codegen/src/cli.ts b/dashboard/codegen/src/cli.ts index 434f37a754..8c4897fcd3 100644 --- a/dashboard/codegen/src/cli.ts +++ b/dashboard/codegen/src/cli.ts @@ -25,6 +25,7 @@ const REPOSITORY_ROOT = resolve(DASHBOARD_ROOT, ".."); const SCHEMA_OUTPUT_ENV = "TRACEDECAY_DASHBOARD_CONTRACT_SCHEMA_OUT"; const RUST_SCHEMA_FILE = "codegen/schemas/dashboard-contracts.schema.json"; const SDK_SOURCE_DIR = "sdks/typescript/src"; +const SDK_RUST_OPERATIONS_FILE = "crates/tracedecay-sdk/src/operations.rs"; function cargo(args: string[], cwd: string, env: NodeJS.ProcessEnv = process.env): void { const result = spawnSync("cargo", args, { cwd, env, stdio: "inherit" }); @@ -70,12 +71,18 @@ function exportSdkSources(): Record { ["run", "--quiet", "--locked", "--bin", "generate", "--", temporaryRoot], join(REPOSITORY_ROOT, "sdks", "codegen"), ); - return Object.fromEntries( - readdirSync(join(temporaryRoot, SDK_SOURCE_DIR)).map((name) => [ - `${SDK_SOURCE_DIR}/${name}`, - readFileSync(join(temporaryRoot, SDK_SOURCE_DIR, name), "utf8"), - ]), - ); + return { + ...Object.fromEntries( + readdirSync(join(temporaryRoot, SDK_SOURCE_DIR)).map((name) => [ + `${SDK_SOURCE_DIR}/${name}`, + readFileSync(join(temporaryRoot, SDK_SOURCE_DIR, name), "utf8"), + ]), + ), + [SDK_RUST_OPERATIONS_FILE]: readFileSync( + join(temporaryRoot, SDK_RUST_OPERATIONS_FILE), + "utf8", + ), + }; } finally { rmSync(temporaryRoot, { recursive: true, force: true }); } From 64d2e500c50ff6e6e88e42a7382a260a3f4effcf Mon Sep 17 00:00:00 2001 From: "zackary.l.jackson" Date: Mon, 5 Oct 2026 05:47:16 +0000 Subject: [PATCH 2/5] style(agent-hosts): inline context-scout outcome guards Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> --- .../src/agents/context_scout/owner.rs | 30 ++++++++----------- 1 file changed, 12 insertions(+), 18 deletions(-) diff --git a/crates/tracedecay-agent-hosts/src/agents/context_scout/owner.rs b/crates/tracedecay-agent-hosts/src/agents/context_scout/owner.rs index e06de7ab96..7cd16aea08 100644 --- a/crates/tracedecay-agent-hosts/src/agents/context_scout/owner.rs +++ b/crates/tracedecay-agent-hosts/src/agents/context_scout/owner.rs @@ -1012,26 +1012,20 @@ impl ProjectContextScoutOwnerV1 { let retired = match (&mutation, &receipt.result) { ( ContextScoutPublicMutationV1::Cancel { work }, - ContextScoutMutationResultV1::Cancel(outcome), - ) if matches!( - outcome, - ContextScoutDurableStoreOutcomeV1::Stored - | ContextScoutDurableStoreOutcomeV1::Duplicate - ) => - { - Some((*work, None)) - } + ContextScoutMutationResultV1::Cancel( + ContextScoutDurableStoreOutcomeV1::Stored + | ContextScoutDurableStoreOutcomeV1::Duplicate, + ), + ) => Some((*work, None)), ( ContextScoutPublicMutationV1::Delivery { work, .. }, - ContextScoutMutationResultV1::Delivery { outcome, receipt }, - ) if matches!( - outcome, - ContextScoutDurableStoreOutcomeV1::Stored - | ContextScoutDurableStoreOutcomeV1::Duplicate - ) => - { - Some((*work, Some(receipt.outcome))) - } + ContextScoutMutationResultV1::Delivery { + outcome: + ContextScoutDurableStoreOutcomeV1::Stored + | ContextScoutDurableStoreOutcomeV1::Duplicate, + receipt, + }, + ) => Some((*work, Some(receipt.outcome))), _ => None, }; if let Some((work, delivery)) = retired From 38725843b088982e7639d9aabd06f76d32e12d6d Mon Sep 17 00:00:00 2001 From: "zackary.l.jackson" Date: Mon, 5 Oct 2026 05:17:34 +0000 Subject: [PATCH 3/5] fix(perf): move small-fixture query group into large_repos bench Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> --- crates/tracedecay/benches/coverage/admin.rs | 5 +++-- crates/tracedecay/benches/coverage/mod.rs | 3 ++- crates/tracedecay/benches/large_repos.rs | 17 +++++++++++++++++ crates/tracedecay/benches/queries.rs | 18 ------------------ 4 files changed, 22 insertions(+), 21 deletions(-) diff --git a/crates/tracedecay/benches/coverage/admin.rs b/crates/tracedecay/benches/coverage/admin.rs index 4548b204d3..d1713195ed 100644 --- a/crates/tracedecay/benches/coverage/admin.rs +++ b/crates/tracedecay/benches/coverage/admin.rs @@ -1046,7 +1046,7 @@ pub(crate) fn groups(ctx: &QueryContext, out: &mut Vec) { args["include_storage_health"] = json!(true); } if tool == "tracedecay_configuration_observed_state" { - Query::prepared_read(label, tool, args, super::configuration_read_prime) + Query::prepared_read(label, tool, args, i, super::configuration_read_prime) } else { rq(tool, label, args) } @@ -1084,11 +1084,12 @@ pub(crate) fn groups(ctx: &QueryContext, out: &mut Vec) { } out.push(ToolGroup { tool: "tracedecay_configuration_get", - queries: five(|_i| { + queries: five(|i| { Query::prepared_read( "config_get", "tracedecay_configuration_get", json!({"key": ctx.seeds.config_key.clone().unwrap_or_else(|| "diagnostics.prewarm.v1".into())}), + i, super::configuration_read_prime, ) }), diff --git a/crates/tracedecay/benches/coverage/mod.rs b/crates/tracedecay/benches/coverage/mod.rs index 014afd058f..c53e1850be 100644 --- a/crates/tracedecay/benches/coverage/mod.rs +++ b/crates/tracedecay/benches/coverage/mod.rs @@ -13,7 +13,8 @@ mod work; pub(crate) use admin_fixture::verify_admin_fixture; pub(crate) use admin::{ - verify_context_scout_fixture, verify_github_stack_signal_fixture, verify_native_fixture, + finish_context_scout_fixture, verify_context_scout_fixture, + verify_github_stack_signal_fixture, verify_native_fixture, }; #[cfg(unix)] pub(crate) use code::prepare_source_reconciliation; diff --git a/crates/tracedecay/benches/large_repos.rs b/crates/tracedecay/benches/large_repos.rs index b81247e8cc..5a541abdc1 100644 --- a/crates/tracedecay/benches/large_repos.rs +++ b/crates/tracedecay/benches/large_repos.rs @@ -167,6 +167,23 @@ async fn prepare_repo( .map_err(|error| format!("resample {} after seeding: {error}", repo.name))?; ctx.seeds = seeds; let mut groups = build_queries(&ctx); + if small_fixture_enabled() { + groups.push(ToolGroup { + tool: "tracedecay_callees", + queries: vec![Query::prepared_read( + "fixture_callees", + "tracedecay_callees", + json!({"node_id": "{{live_node}}", "maximum_depth": 3}), + 0, + |_ctx, _iteration| { + vec![queries::prime_symbol( + "src/report.ts::buildFixtureReport".to_owned(), + &[("outcome.value.payload.items.0.node_id", "live_node")], + )] + }, + )], + }); + } groups.extend(coverage::coverage_groups(&ctx)); Ok(RepoBench { dir, diff --git a/crates/tracedecay/benches/queries.rs b/crates/tracedecay/benches/queries.rs index 558311a9de..b2c5f3c9d2 100644 --- a/crates/tracedecay/benches/queries.rs +++ b/crates/tracedecay/benches/queries.rs @@ -672,24 +672,6 @@ pub fn build_queries(ctx: &QueryContext) -> Vec { ) }), }); - if crate::repos::small_fixture_enabled() { - groups.push(ToolGroup { - tool: "tracedecay_callees", - queries: vec![Query::prepared_read( - "fixture_callees", - "tracedecay_callees", - json!({"node_id": "{{live_node}}", "maximum_depth": 3}), - 0, - |_ctx, _iteration| { - vec![prime_symbol( - "src/report.ts::buildFixtureReport".to_owned(), - &[("outcome.value.payload.items.0.node_id", "live_node")], - )] - }, - )], - }); - } - groups.push(ToolGroup { tool: "tracedecay_node", queries: five(|i| { From 31c7213de19696c52f89e3d5aedbed944e370f08 Mon Sep 17 00:00:00 2001 From: ScriptedAlchemy Date: Sun, 4 Oct 2026 23:43:49 -0700 Subject: [PATCH 4/5] fix(sdk): emit generated operations without trailing blank line --- crates/tracedecay-sdk/src/codegen.rs | 3 +++ crates/tracedecay-sdk/src/operations.rs | 1 - 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/crates/tracedecay-sdk/src/codegen.rs b/crates/tracedecay-sdk/src/codegen.rs index d88f96d86e..9be95c63a0 100644 --- a/crates/tracedecay-sdk/src/codegen.rs +++ b/crates/tracedecay-sdk/src/codegen.rs @@ -1025,6 +1025,9 @@ fn render_rust_operations( revision = operation.result_schema.revision, ); } + while out.ends_with("\n\n") { + out.pop(); + } Ok(out) } diff --git a/crates/tracedecay-sdk/src/operations.rs b/crates/tracedecay-sdk/src/operations.rs index 1b3325cb21..0950684295 100644 --- a/crates/tracedecay-sdk/src/operations.rs +++ b/crates/tracedecay-sdk/src/operations.rs @@ -1984,4 +1984,3 @@ pub mod workflow_validate_definition { typed_operation!( WorkflowValidateDefinition, workflow_validate_definition, "operation.workflow.validate_definition", OperationTransport::Http { route: "/application/workflow/validate-definition" }, "binding.http.workflow.validate_definition", EffectClass::Read, IdempotencyContract::NotRequired, SdkRequestIdControlV1::ServerMinted, SdkResultSemanticsV1::SchemaOnly, true, &[CancellationPoint::BeforeAdmission, CancellationPoint::BeforeRead, CancellationPoint::DuringRead], 30000, DeadlineBehavior::ReturnOperationReceipt, ReconciliationContract::NotRequired, ReceiptContract::Operation, &[TerminalState::Completed, TerminalState::Cancelled, TerminalState::TimedOut, TerminalState::Failed, TerminalState::Partial], "schema.workflow.validate_definition.result", 1 ); - From e2da897662b50ca51feca3d7f83507f4c84eb0ce Mon Sep 17 00:00:00 2001 From: ScriptedAlchemy Date: Mon, 5 Oct 2026 00:21:37 -0700 Subject: [PATCH 5/5] style(bench): format coverage exports --- crates/tracedecay/benches/coverage/mod.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/tracedecay/benches/coverage/mod.rs b/crates/tracedecay/benches/coverage/mod.rs index c53e1850be..a15602f7a9 100644 --- a/crates/tracedecay/benches/coverage/mod.rs +++ b/crates/tracedecay/benches/coverage/mod.rs @@ -13,8 +13,8 @@ mod work; pub(crate) use admin_fixture::verify_admin_fixture; pub(crate) use admin::{ - finish_context_scout_fixture, verify_context_scout_fixture, - verify_github_stack_signal_fixture, verify_native_fixture, + finish_context_scout_fixture, verify_context_scout_fixture, verify_github_stack_signal_fixture, + verify_native_fixture, }; #[cfg(unix)] pub(crate) use code::prepare_source_reconciliation;