pi-revit 0.4.0 → 0.5.0

package/src/Revit/OperationStore.cs

@@ -1,178 +1,178 @@
-using System.Diagnostics;
-using System.Security.Cryptography;
-using System.Text.Json;
-
-namespace RevitBridge;
-
-/// <summary>Session-local operation receipts. Expiring a result never permits the same ID to execute again.</summary>
-internal sealed class OperationStore
-{
-    internal sealed record Reply(int Status, object Response, string? Outcome = null);
-    internal sealed class Entry
-    {
-        internal required string Id;
-        internal required string Tool;
-        internal required string Fingerprint;
-        internal required long Deadline;
-        internal DateTimeOffset Created = DateTimeOffset.UtcNow;
-        internal DateTimeOffset? Started;
-        internal DateTimeOffset? Finished;
-        internal string State = "queued";
-        internal TaskCompletionSource<Reply>? Completion = new(TaskCreationOptions.RunContinuationsAsynchronously);
-        internal Reply? SavedReply;
-        internal int SavedBytes;
-    }
-
-    private readonly object _gate = new();
-    private readonly Dictionary<string, Entry> _entries = new(StringComparer.Ordinal);
-    private readonly Queue<Entry> _results = new();
-    private readonly int _maxRecords;
-    private readonly int _maxResults;
-    private readonly int _maxBytes;
-    private int _bytes;
-    public string Generation { get; } = Guid.NewGuid().ToString("N");
-
-    internal OperationStore(int maxRecords = 10000, int maxResults = 128, int maxBytes = 32 * 1024 * 1024)
-    {
-        _maxRecords = maxRecords; _maxResults = maxResults; _maxBytes = maxBytes;
-    }
-
-    public (Entry Entry, bool IsNew) Reserve(string id, string tool, JsonElement args, TimeSpan timeout)
-    {
-        id = ValidateId(id);
-        string fingerprint = Fingerprint(tool, args);
-        lock (_gate)
-        {
-            if (_entries.TryGetValue(id, out var existing))
-            {
-                if (existing.Fingerprint != fingerprint) throw new ArgumentException("operation_id was already used with different tool arguments. No new operation was started.");
-                return (existing, false);
-            }
-            if (_entries.Count >= _maxRecords) throw new InvalidOperationException("Operation receipt capacity reached. Restart the bridge before starting new tracked operations; existing receipts remain queryable.");
-            var entry = new Entry { Id = id, Tool = tool, Fingerprint = fingerprint,
-                Deadline = Stopwatch.GetTimestamp() + (long)(timeout.TotalSeconds * Stopwatch.Frequency) };
-            _entries.Add(id, entry);
-            return (entry, true);
-        }
-    }
-
-    public Task<Reply> Wait(Entry entry)
-    {
-        lock (_gate)
-        {
-            ExpireQueued(entry);
-            return entry.Completion?.Task ?? Task.FromResult(entry.SavedReply ?? new Reply(409, new
-            {
-                error = true, operation_id = entry.Id, state = entry.State,
-                message = "The operation already finished, but its full result has expired. It was not repeated. Inspect current model state before deciding on a new operation.",
-            }));
-        }
-    }
-
-    public bool TryStart(Entry entry)
-    {
-        lock (_gate)
-        {
-            ExpireQueued(entry);
-            if (entry.State != "queued") return false;
-            entry.State = "running"; entry.Started = DateTimeOffset.UtcNow;
-            return true;
-        }
-    }
-
-    public void Complete(Entry entry, Reply reply)
-    {
-        lock (_gate)
-        {
-            ExpireQueued(entry);
-            if (entry.Completion == null) return;
-            Finish(entry, reply.Outcome ?? (reply.Status < 400 ? "succeeded" : "failed"), reply);
-        }
-    }
-
-    public object Status(string id)
-    {
-        var parts = id.Split(':');
-        if (parts.Length == 2 && Guid.TryParse(parts[1], out var uuid)) id = parts[0] + ":" + uuid.ToString("N");
-        lock (_gate)
-        {
-            if (!_entries.TryGetValue(id, out var entry)) return new
-            {
-                operation_id = id, bridge_id = Generation, state = "unknown",
-                message = "No receipt exists in this bridge session. The outcome is unknown; this does not prove that the operation never executed. Check the original bridge and model before retrying.",
-            };
-            ExpireQueued(entry);
-            return new
-            {
-                operation_id = id, bridge_id = Generation, tool = entry.Tool, state = entry.State,
-                created_at = entry.Created, started_at = entry.Started, finished_at = entry.Finished,
-                result_available = entry.SavedReply != null, result_http_status = entry.SavedReply?.Status,
-                result = entry.SavedReply?.Response,
-            };
-        }
-    }
-
-    private void ExpireQueued(Entry entry)
-    {
-        if (entry.State == "queued" && Stopwatch.GetTimestamp() > entry.Deadline)
-            Finish(entry, "expired_before_start", new Reply(408, new { error = true, operation_id = entry.Id,
-                message = "Operation expired before it started; no tool action was performed." }));
-    }
-
-    private void Finish(Entry entry, string state, Reply reply)
-    {
-        var completion = entry.Completion!;
-        // Keep a detached JSON value, never API objects or callbacks, in the receipt cache.
-        byte[] bytes;
-        try { bytes = JsonSerializer.SerializeToUtf8Bytes(reply.Response); }
-        catch (Exception error)
-        {
-            state = "result_unavailable";
-            reply = new Reply(500, new { error = true, message = "The tool finished but its receipt could not be serialized. Model or other effects may already have occurred. Inspect before retrying. " + error.Message });
-            bytes = JsonSerializer.SerializeToUtf8Bytes(reply.Response);
-        }
-        entry.State = state; entry.Finished = DateTimeOffset.UtcNow;
-        entry.SavedReply = new Reply(reply.Status, JsonSerializer.Deserialize<JsonElement>(bytes));
-        entry.SavedBytes = bytes.Length; _bytes += bytes.Length;
-        _results.Enqueue(entry);
-        entry.Completion = null;
-        while (_results.Count > _maxResults || _bytes > _maxBytes)
-        {
-            var old = _results.Dequeue();
-            _bytes -= old.SavedBytes; old.SavedBytes = 0; old.SavedReply = null;
-        }
-        completion.TrySetResult(reply);
-    }
-
-    private string ValidateId(string id)
-    {
-        string[] parts = id.Split(':');
-        if (parts.Length != 2 || parts[0] != Generation || !Guid.TryParse(parts[1], out _))
-            throw new ArgumentException("operation_id must contain this bridge session's bridgeId and a UUID. An ID from another bridge/restart cannot be replayed; its outcome must be checked separately.");
-        return parts[0] + ":" + Guid.Parse(parts[1]).ToString("N");
-    }
-
-    private static string Fingerprint(string tool, JsonElement args)
-    {
-        using var stream = new MemoryStream();
-        using (var writer = new Utf8JsonWriter(stream))
-        {
-            void Write(JsonElement element)
-            {
-                if (element.ValueKind == JsonValueKind.Object)
-                {
-                    writer.WriteStartObject();
-                    foreach (var property in element.EnumerateObject().OrderBy(p => p.Name, StringComparer.Ordinal)) { writer.WritePropertyName(property.Name); Write(property.Value); }
-                    writer.WriteEndObject();
-                }
-                else if (element.ValueKind == JsonValueKind.Array)
-                {
-                    writer.WriteStartArray(); foreach (var item in element.EnumerateArray()) Write(item); writer.WriteEndArray();
-                }
-                else element.WriteTo(writer);
-            }
-            writer.WriteStartArray(); writer.WriteStringValue(tool); Write(args); writer.WriteEndArray();
-        }
-        return Convert.ToHexString(SHA256.HashData(stream.ToArray()));
-    }
-}
+using System.Diagnostics;
+using System.Security.Cryptography;
+using System.Text.Json;
+
+namespace RevitBridge;
+
+/// <summary>Session-local operation receipts. Expiring a result never permits the same ID to execute again.</summary>
+internal sealed class OperationStore
+{
+    internal sealed record Reply(int Status, object Response, string? Outcome = null);
+    internal sealed class Entry
+    {
+        internal required string Id;
+        internal required string Tool;
+        internal required string Fingerprint;
+        internal required long Deadline;
+        internal DateTimeOffset Created = DateTimeOffset.UtcNow;
+        internal DateTimeOffset? Started;
+        internal DateTimeOffset? Finished;
+        internal string State = "queued";
+        internal TaskCompletionSource<Reply>? Completion = new(TaskCreationOptions.RunContinuationsAsynchronously);
+        internal Reply? SavedReply;
+        internal int SavedBytes;
+    }
+
+    private readonly object _gate = new();
+    private readonly Dictionary<string, Entry> _entries = new(StringComparer.Ordinal);
+    private readonly Queue<Entry> _results = new();
+    private readonly int _maxRecords;
+    private readonly int _maxResults;
+    private readonly int _maxBytes;
+    private int _bytes;
+    public string Generation { get; } = Guid.NewGuid().ToString("N");
+
+    internal OperationStore(int maxRecords = 10000, int maxResults = 128, int maxBytes = 32 * 1024 * 1024)
+    {
+        _maxRecords = maxRecords; _maxResults = maxResults; _maxBytes = maxBytes;
+    }
+
+    public (Entry Entry, bool IsNew) Reserve(string id, string tool, JsonElement args, TimeSpan timeout)
+    {
+        id = ValidateId(id);
+        string fingerprint = Fingerprint(tool, args);
+        lock (_gate)
+        {
+            if (_entries.TryGetValue(id, out var existing))
+            {
+                if (existing.Fingerprint != fingerprint) throw new ArgumentException("operation_id was already used with different tool arguments. No new operation was started.");
+                return (existing, false);
+            }
+            if (_entries.Count >= _maxRecords) throw new InvalidOperationException("Operation receipt capacity reached. Restart the bridge before starting new tracked operations; existing receipts remain queryable.");
+            var entry = new Entry { Id = id, Tool = tool, Fingerprint = fingerprint,
+                Deadline = Stopwatch.GetTimestamp() + (long)(timeout.TotalSeconds * Stopwatch.Frequency) };
+            _entries.Add(id, entry);
+            return (entry, true);
+        }
+    }
+
+    public Task<Reply> Wait(Entry entry)
+    {
+        lock (_gate)
+        {
+            ExpireQueued(entry);
+            return entry.Completion?.Task ?? Task.FromResult(entry.SavedReply ?? new Reply(409, new
+            {
+                error = true, operation_id = entry.Id, state = entry.State,
+                message = "The operation already finished, but its full result has expired. It was not repeated. Inspect current model state before deciding on a new operation.",
+            }));
+        }
+    }
+
+    public bool TryStart(Entry entry)
+    {
+        lock (_gate)
+        {
+            ExpireQueued(entry);
+            if (entry.State != "queued") return false;
+            entry.State = "running"; entry.Started = DateTimeOffset.UtcNow;
+            return true;
+        }
+    }
+
+    public void Complete(Entry entry, Reply reply)
+    {
+        lock (_gate)
+        {
+            ExpireQueued(entry);
+            if (entry.Completion == null) return;
+            Finish(entry, reply.Outcome ?? (reply.Status < 400 ? "succeeded" : "failed"), reply);
+        }
+    }
+
+    public object Status(string id)
+    {
+        var parts = id.Split(':');
+        if (parts.Length == 2 && Guid.TryParse(parts[1], out var uuid)) id = parts[0] + ":" + uuid.ToString("N");
+        lock (_gate)
+        {
+            if (!_entries.TryGetValue(id, out var entry)) return new
+            {
+                operation_id = id, bridge_id = Generation, state = "unknown",
+                message = "No receipt exists in this bridge session. The outcome is unknown; this does not prove that the operation never executed. Check the original bridge and model before retrying.",
+            };
+            ExpireQueued(entry);
+            return new
+            {
+                operation_id = id, bridge_id = Generation, tool = entry.Tool, state = entry.State,
+                created_at = entry.Created, started_at = entry.Started, finished_at = entry.Finished,
+                result_available = entry.SavedReply != null, result_http_status = entry.SavedReply?.Status,
+                result = entry.SavedReply?.Response,
+            };
+        }
+    }
+
+    private void ExpireQueued(Entry entry)
+    {
+        if (entry.State == "queued" && Stopwatch.GetTimestamp() > entry.Deadline)
+            Finish(entry, "expired_before_start", new Reply(408, new { error = true, operation_id = entry.Id,
+                message = "Operation expired before it started; no tool action was performed." }));
+    }
+
+    private void Finish(Entry entry, string state, Reply reply)
+    {
+        var completion = entry.Completion!;
+        // Keep a detached JSON value, never API objects or callbacks, in the receipt cache.
+        byte[] bytes;
+        try { bytes = JsonSerializer.SerializeToUtf8Bytes(reply.Response); }
+        catch (Exception error)
+        {
+            state = "result_unavailable";
+            reply = new Reply(500, new { error = true, message = "The tool finished but its receipt could not be serialized. Model or other effects may already have occurred. Inspect before retrying. " + error.Message });
+            bytes = JsonSerializer.SerializeToUtf8Bytes(reply.Response);
+        }
+        entry.State = state; entry.Finished = DateTimeOffset.UtcNow;
+        entry.SavedReply = new Reply(reply.Status, JsonSerializer.Deserialize<JsonElement>(bytes));
+        entry.SavedBytes = bytes.Length; _bytes += bytes.Length;
+        _results.Enqueue(entry);
+        entry.Completion = null;
+        while (_results.Count > _maxResults || _bytes > _maxBytes)
+        {
+            var old = _results.Dequeue();
+            _bytes -= old.SavedBytes; old.SavedBytes = 0; old.SavedReply = null;
+        }
+        completion.TrySetResult(reply);
+    }
+
+    private string ValidateId(string id)
+    {
+        string[] parts = id.Split(':');
+        if (parts.Length != 2 || parts[0] != Generation || !Guid.TryParse(parts[1], out _))
+            throw new ArgumentException("operation_id must contain this bridge session's bridgeId and a UUID. An ID from another bridge/restart cannot be replayed; its outcome must be checked separately.");
+        return parts[0] + ":" + Guid.Parse(parts[1]).ToString("N");
+    }
+
+    private static string Fingerprint(string tool, JsonElement args)
+    {
+        using var stream = new MemoryStream();
+        using (var writer = new Utf8JsonWriter(stream))
+        {
+            void Write(JsonElement element)
+            {
+                if (element.ValueKind == JsonValueKind.Object)
+                {
+                    writer.WriteStartObject();
+                    foreach (var property in element.EnumerateObject().OrderBy(p => p.Name, StringComparer.Ordinal)) { writer.WritePropertyName(property.Name); Write(property.Value); }
+                    writer.WriteEndObject();
+                }
+                else if (element.ValueKind == JsonValueKind.Array)
+                {
+                    writer.WriteStartArray(); foreach (var item in element.EnumerateArray()) Write(item); writer.WriteEndArray();
+                }
+                else element.WriteTo(writer);
+            }
+            writer.WriteStartArray(); writer.WriteStringValue(tool); Write(args); writer.WriteEndArray();
+        }
+        return Convert.ToHexString(SHA256.HashData(stream.ToArray()));
+    }
+}

package/src/Revit/ToolRegistry.cs

@@ -1,5 +1,5 @@
-using System.Text.Json;
-using System.Text.Json.Nodes;
+using System.Text.Json;
+using System.Text.Json.Nodes;
 using Autodesk.Revit.DB;
 using Autodesk.Revit.UI;
 using RevitBridge.Tools;
@@ -15,9 +15,9 @@ namespace RevitBridge
     internal sealed record ToolContext(Document? Document, UIApplication? UIApplication);
 
     /// <summary>
-    /// Optional tool return shape: complete structured payload plus a display summary.
-    /// The bridge/extension expose complete bounded data or explicit result retrieval to
-    /// the model; structured details remain available for rendering and diagnostics.
+    /// Optional tool return shape: complete structured payload plus a display summary.
+    /// The bridge/extension expose complete bounded data or explicit result retrieval to
+    /// the model; structured details remain available for rendering and diagnostics.
     /// </summary>
     internal sealed record ToolOutput(object? Payload, string? CompactText = null);
 
@@ -32,10 +32,10 @@ namespace RevitBridge
         object ParametersSchema { get; }
 
         /// <summary>True only for tools that mutate the model. Write tools own their transaction.</summary>
-        bool Write => false;
-
-        /// <summary>Potential effects, independent of whether this particular call changes anything.</summary>
-        IReadOnlyList<string> Effects => Write ? new[] { "model" } : Array.Empty<string>();
+        bool Write => false;
+
+        /// <summary>Potential effects, independent of whether this particular call changes anything.</summary>
+        IReadOnlyList<string> Effects => Write ? new[] { "model" } : Array.Empty<string>();
 
         /// <summary>
         /// False only for tools that never touch the Revit API. They skip the bridge's
@@ -47,12 +47,37 @@ namespace RevitBridge
         /// <summary>Activation tier metadata: "core" (default) or "advanced".</summary>
         string Tier => "core";
 
+        /// <summary>
+        /// Document kinds the tool works in: DocumentKind.Both or DocumentKind.ProjectOnly. Every
+        /// bridge tool declares it (the documentation gate requires the declaration); the
+        /// dispatcher refuses other kinds before the tool runs.
+        /// </summary>
+        IReadOnlyList<string> DocumentKinds => DocumentKind.Both;
+
         /// <summary>Optional one-line "Available tools" system prompt entry.</summary>
         string? PromptSnippet => null;
 
         /// <summary>Optional system prompt guideline bullets. Each bullet must name the tool.</summary>
         IReadOnlyList<string>? PromptGuidelines => null;
 
+        /// <summary>
+        /// English discovery terms beyond the name and description: synonyms, outcome words
+        /// ("screenshot"), verbs and Revit nouns. Other UI languages are mapped onto these
+        /// terms by discovery alias files, never by translating tool metadata.
+        /// </summary>
+        IReadOnlyList<string> Keywords => Array.Empty<string>();
+
+        /// <summary>Declared capability boundaries, each with an alternative route.</summary>
+        IReadOnlyList<ToolLimit> Limits => Array.Empty<ToolLimit>();
+
+        /// <summary>
+        /// Minimum sufficient check that the requested outcome happened: "reread" (query the
+        /// changed state again), "capture" (inspect an image of the visible result),
+        /// "inspect_output" (open the produced file) or "none" (no durable outcome to check).
+        /// Required when the tool can write or has effects; null for pure reads.
+        /// </summary>
+        string? Verification => null;
+
         /// <summary>
         /// Runs on the Revit API thread (or the server task when RequiresDocument is false).
         /// Returns a ToolOutput or any plain JSON-serializable payload.
@@ -79,25 +104,25 @@ namespace RevitBridge
             registry.Add(new SetParameters());
             registry.Add(new CaptureView());
             registry.Add(new ExportDocuments());
-            registry.Add(new GetModelHealth());
-            registry.Add(new GetLinkedModels());
-            registry.Add(new GetLinkedElements());
-            registry.Add(new GetSchedules());
-            registry.Add(new GetElementRelationships());
-            registry.Add(new SummarizeElements());
-            registry.Add(new ManageElementSets());
-            registry.Add(new TransformElements());
-            registry.Add(new Tools.DeleteElements());
-            registry.Add(new ChangeElementTypes());
-            registry.Add(new ManageViews());
-            registry.Add(new ManageSheets());
-            registry.Add(new ManageSheetPlacements());
-            registry.Add(new GetScheduleFields());
-            registry.Add(new ManageSchedules());
-            registry.Add(new CreateTags());
-            registry.Add(new QuerySpatialElements());
-            registry.Add(new MeasureGeometry());
-            registry.Add(new GetModelCoordinates());
+            registry.Add(new GetModelHealth());
+            registry.Add(new GetLinkedModels());
+            registry.Add(new GetLinkedElements());
+            registry.Add(new GetSchedules());
+            registry.Add(new GetElementRelationships());
+            registry.Add(new SummarizeElements());
+            registry.Add(new ManageElementSets());
+            registry.Add(new TransformElements());
+            registry.Add(new Tools.DeleteElements());
+            registry.Add(new ChangeElementTypes());
+            registry.Add(new ManageViews());
+            registry.Add(new ManageSheets());
+            registry.Add(new ManageSheetPlacements());
+            registry.Add(new GetScheduleFields());
+            registry.Add(new ManageSchedules());
+            registry.Add(new CreateTags());
+            registry.Add(new QuerySpatialElements());
+            registry.Add(new MeasureGeometry());
+            registry.Add(new GetModelCoordinates());
             return registry;
         }
 
@@ -121,37 +146,43 @@ namespace RevitBridge
             description = tool.Description,
             category = tool.Write ? "write" : "read",
             tier = tool.Tier,
-            parameters = DescribeParameters(tool),
+            parameters = DescribeParameters(tool),
             executionMode = "sequential",
-            write = tool.Write,
-            effects = tool.Effects,
+            write = tool.Write,
+            effects = tool.Effects,
             requiresDocument = tool.RequiresDocument,
+            documentKinds = tool.DocumentKinds,
+            keywords = tool.Keywords,
+            limits = tool.Limits.Select(limit => new { what = limit.What, alternative = new { kind = limit.Alternative, @ref = limit.Ref } }).ToArray(),
+            verification = tool.Verification,
             promptSnippet = tool.PromptSnippet,
-            promptGuidelines = tool.RequiresDocument
-                ? (tool.PromptGuidelines ?? Array.Empty<string>()).Concat(new[]
-                {
-                    $"{tool.Name}: use project.documentId from get_model_overview as expected_document_id to bind the call to that exact open document. It is required for model writes, open_view, and selection changes; legacy expected_document titles alone are insufficient. Refresh after closing/reopening or restarting Revit."
-                }).ToArray()
-                : tool.PromptGuidelines,
-        };
-
-        private static object DescribeParameters(ITool tool)
-        {
-            if (!tool.RequiresDocument) return tool.ParametersSchema;
-            var schema = JsonSerializer.SerializeToNode(tool.ParametersSchema)!.AsObject();
-            var properties = schema["properties"]!.AsObject();
-            properties["expected_document_id"] = new JsonObject
-            {
-                ["type"] = "string",
-                ["description"] = "Exact opaque project.documentId from get_model_overview. Required for document writes and UI mutations; optional for reads. Invalid after close/reopen or bridge restart."
-            };
-            if (tool.Write || DocumentGuard.AlwaysRequiresIdentity(tool.Name))
-            {
-                var required = schema["required"] as JsonArray ?? new JsonArray();
-                if (!required.Any(x => x?.GetValue<string>() == "expected_document_id")) required.Add("expected_document_id");
-                schema["required"] = required;
-            }
-            return schema;
-        }
+            // Cross-cutting rules (document identity, manuals, capability and completion
+            // protocols) are stated once by the Pi extension's platform section, not
+            // repeated per tool; guidelines here are tool-specific.
+            promptGuidelines = tool.PromptGuidelines,
+        };
+
+        private static object DescribeParameters(ITool tool)
+        {
+            if (!tool.RequiresDocument) return tool.ParametersSchema;
+            var schema = JsonSerializer.SerializeToNode(tool.ParametersSchema)!.AsObject();
+            var properties = schema["properties"]!.AsObject();
+            bool identityRequired = tool.Write || DocumentGuard.AlwaysRequiresIdentity(tool.Name);
+            // The description must agree with requiredness in the same schema.
+            properties["expected_document_id"] = new JsonObject
+            {
+                ["type"] = "string",
+                ["description"] = identityRequired
+                    ? "Required: exact opaque project.documentId from get_model_overview for the intended open document. Invalid after close/reopen or bridge restart."
+                    : "Exact opaque project.documentId from get_model_overview. Not required by the schema for reads, but required at runtime for any model change or UI change this tool performs; when supplied, the call runs only against that document. Invalid after close/reopen or bridge restart."
+            };
+            if (identityRequired)
+            {
+                var required = schema["required"] as JsonArray ?? new JsonArray();
+                if (!required.Any(x => x?.GetValue<string>() == "expected_document_id")) required.Add("expected_document_id");
+                schema["required"] = required;
+            }
+            return schema;
+        }
     }
 }

package/src/Revit/Tools/CaptureView.cs

@@ -19,8 +19,16 @@ namespace RevitBridge.Tools
         /// Long enough that a capture is never pulled out from under a session still reading it.</summary>
         private static readonly TimeSpan CaptureRetention = TimeSpan.FromHours(24);
 
-        public string Name => "capture_view";
-        public IReadOnlyList<string> Effects => new[] { "files" };
+        public string Name => "capture_view";
+        public IReadOnlyList<string> DocumentKinds => DocumentKind.Both;
+        public IReadOnlyList<string> Keywords => new[] { "screenshot", "image", "png", "picture", "snapshot", "visual check" };
+        public IReadOnlyList<ToolLimit> Limits => new[]
+        {
+            new ToolLimit("Image contents or visual judgement (returns a file path only)", "tool", "read (open the returned PNG)"),
+            new ToolLimit("Deliverable PDF, DWG or IFC files", "tool", "export_documents"),
+        };
+        public string? Verification => "inspect_output";
+        public IReadOnlyList<string> Effects => new[] { "files" };
         public string Label => "Capture View";
         public string Description => "Export a PNG snapshot of a Revit view to a temporary file and return its path — the response contains NO image data; open the returned filePath with the read tool to actually see the image. Defaults to the active view; pass view_id for any other graphical view or sheet (find ids with get_elements, category 'Views' or 'Sheets'). The long image edge is capped at 1568 px. Schedules and view templates cannot be captured.";
         public string Tier => "advanced";