Các lệnh tác vụ và Cloud của CLI

Tổng quan

Trang này trình bày cơ chế truyền tải tác vụ, phiên DDS Cloud native và thao tác workspace, adapter dịch vụ HTTP cũ tường minh cùng 25 hành động trong bản kê khách hàng. Các thao tác Evolve native có hợp đồng yêu cầu riêng.

Đọc Bề mặt lệnh CLI trước để nắm quy tắc định tuyến, hai tập mã thoát và phong bì biên nhận. Với các không gian tên engine được phân tích cục bộ, xem Các lệnh engine của CLI. Với giới hạn bản phát hành hiện tại, xem Tham chiếu lệnh CLI, còn cách đọc bản kê được trình bày tại Hợp đồng hành động và năng lực.

Không gian tên job

job bao gồm kiểm tra trước phía máy khách ngoại tuyến và truyền tải tác vụ tới Job Service. Nó do bộ phân tích cú pháp cục bộ xử lý nên -h hoạt động và các khoảng giá trị được kiểm tra trước khi liên hệ với bất cứ thứ gì.

Sáu trong tám lệnh con nhận --runner <local|cloud|private>, mặc định là cloud. Cờ đó chọn Job Service cần liên hệ. Nó không phải cờ engine-runner trên rtl compile và các lệnh tương tự. job readiness và job validate hoàn toàn không có --runner và không bao giờ truy cập mạng.

<JOB_ID> và --artifact-id có thể bắt đầu bằng dấu gạch nối mà không cần dấu phân cách --; bộ phân tích cú pháp chấp nhận giá trị bắt đầu bằng dấu gạch nối cho các đối số này.

Hai tùy chọn có kiểm tra khoảng trên job wait được bộ phân tích cú pháp thực thi, không phải dịch vụ:

Văn bản

$ alti job wait --poll-interval-ms 99 job-123
error: invalid value '99' for '--poll-interval-ms <POLL_INTERVAL_MS>': 99 is not in 100..=60000

Lệnh đó thoát với mã 2.

job readiness

job readiness trả lời mà không cần thông tin xác thực hay mạng. Trong bản phát hành này, đây là phép chiếu cố định không dùng đường dẫn: mọi thành phần báo configured: false và ready: false, và mảng blockers là đầy đủ.

{
  "schema": "altifigence.engine-product-host-readiness.v1",
  "product_id": "altifigence-cli",
  "authority": { "configured": false, "ready": false },
  "admission": { "configured": false, "ready": false },
  "dispatcher": { "configured": false, "ready": false },
  "executor": { "configured": false, "ready": false },
  "artifact_readback": { "configured": false, "ready": false },
  "ready": false,
  "blockers": [
    "authority_unavailable",
    "admission_unavailable",
    "dispatcher_unavailable",
    "executor_unavailable",
    "artifact_readback_unavailable"
  ]
}

Nó thoát với mã 0. Giá trị 0 ở đây có nghĩa câu hỏi về mức sẵn sàng đã được trả lời, không phải thứ gì đã sẵn sàng.

job validate

job validate là kiểm tra trước ngoại tuyến được mô tả từng bước tại Thành công đầu tiên với CLI. Nó đọc tài liệu EngineJobV1 từ --job (hoặc stdin khi --job là - hay bị bỏ qua), kiểm tra theo phong bì máy khách RTL CPU Cloud chính xác và băm một tệp nguồn cục bộ. Nó không phân giải thông tin xác thực, không tạo máy khách và không liên hệ với bất cứ thứ gì.

Lược đồ biên nhận của nó là altifigence.cli.engine-job-preflight.v1. Khi thành công, status là client_preflight_valid, submitted là false, server_authority_verified là false, job_schema là altifigence.engine.job.v1, execution_placement là cloud, khối operation là rtl-engine / analyze / rtl-analysis-request.v1, và khối source mang workspace_uri, sha256, và size_bytes.

Tài liệu tác vụ được đọc với giới hạn cứng 8388608 byte. Vượt quá giới hạn này, lệnh thất bại với EngineJobV1 JSON exceeds the CLI limit.

Gửi lên Cloud yêu cầu đồng ý tải nguồn tường minh

Với --runner cloud, cả job submit và analyze run đều yêu cầu cả ba tùy chọn tải nguồn lên cùng nhau. Trong bản phát hành này không thể gửi tác vụ RTL CPU Cloud nếu thiếu chúng:

Văn bản

$ alti job submit --job job.json
error: Cloud Engine Job source upload is disabled; pass --allow-source-upload explicitly.

Lệnh đó thoát với mã 1. Với --allow-source-upload nhưng không có --workspace-root thì thông báo là --workspace-root is required with --allow-source-upload., và tương tự với --source.

--workspace-root phải là đường dẫn tuyệt đối. --source là đường dẫn tương đối di động bên trong <workspace-root>/inputs.

Tải hiện vật Cloud xuống yêu cầu đồng ý riêng

Trên job result với --runner cloud, ba tùy chọn hiện vật tạo thành một nhóm. Truyền bất kỳ tùy chọn nào sẽ chuyển lệnh sang chế độ tải xuống và sau đó yêu cầu cả ba:

• Nếu thiếu --allow-artifact-download: Cloud Engine Job artifact download is disabled; pass --allow-artifact-download explicitly.

• Nếu thiếu --artifact-id: --artifact-id is required with --allow-artifact-download.

• Nếu thiếu --output-dir: --output-dir is required with --allow-artifact-download.

--output-dir phải là thư mục tuyệt đối. --artifact-id lấy từ danh sách đầu ra của một EngineResultV1 đã kết thúc.

Từ chối theo phạm vi runner

Ba nhóm tùy chọn thuộc phạm vi một runner và bị từ chối bên ngoài phạm vi đó. Từng trường hợp được quyết định trước khi khởi động bất kỳ tiến trình hay gửi yêu cầu nào:

Đường cục bộ/riêng cũ gọi adapter đã ngừng sử dụng alti-engine-job, không nằm trong danh mục 24 runner của bản phát hành. Cú pháp runner và biến endpoint được chấp nhận không chứng minh đã phân phối Job Service cục bộ/riêng. Chỉ dùng đường Cloud tích hợp khi dịch vụ và tài khoản được bật, hoặc dùng lệnh engine cục bộ trực tiếp đã được tài liệu hóa.

Lỗi tác vụ có thể đọc bằng máy

job (các lệnh con) và analyze run khi được gọi với --json sẽ xuất phong bì lỗi có cấu trúc khi thất bại thay cho thông báo trần:

{
  "schema": "altifigence.cli.error.v1",
  "error": {
    "code": "ENGINE_JOB_JSON_INVALID",
    "message": "The engine job JSON is invalid.",
    "retryable": false
  }
}

Tập mã đầy đủ là:

retryable là false trong mọi trường hợp của bản phát hành này. Phong bì này được xuất cho không gian tên job và analyze run. Các họ lệnh khác dùng hợp đồng lỗi/biên nhận riêng; xem Tham chiếu lệnh.

analyze run và evolve run

analyze run và các lệnh con Evolve native tường minh tới bộ phân tích cú pháp cục bộ. Các hành động khách hàng một từ analyze và evolve có hợp đồng riêng.

analyze run nhận cùng tập tùy chọn như job submit và tuân theo cùng quy tắc tải nguồn lên Cloud. Nó khác ở một điểm: chấp nhận --runner nhưng từ chối mọi giá trị ngoài cloud.

Văn bản

$ alti analyze run --runner local --job job.json
error: Local and Private job service adapters are not available; use --runner cloud.

Lệnh đó thoát với mã 1.

evolve run không có --runner, không có --project và không truyền tiếp đối số. Nó đọc một tài liệu yêu cầu — --request - đọc stdin — rồi gửi tới engine được đóng gói alti-evolve, trạng thái thoát của engine được truyền nguyên vẹn:

Văn bản

$ echo '' | alti evolve run --request -
alti-evolve: invalid request JSON: EOF while parsing a value at line 1 column 0

Mã 2 đó là trạng thái thoát của alti-evolve được truyền nguyên vẹn, không phải lỗi đối số CLI. Trên bản cài đặt không tìm được engine, cùng lệnh đó thoát với mã 127 cùng biên nhận có status là unavailable.

evolve capabilities, evolve analyze, evolve cx-search, evolve measured-ppa, và evolve artifact cũng được định tuyến. Ví dụ, evolve analyze SAVED_RTL --top TOP [--project ABS] phân tích nguồn đã lưu. Tiếp nhận/mức sẵn sàng/kiểm tra trước measured-PPA không tạo ra PPA đo được.

Thao tác hoạt động GPU công khai là compute rtl-evolve --request FILE_OR_DASH. Nó có phong bì sinh native riêng và chính sách CPU tham chiếu/CUDA rõ ràng. Xem Các lệnh engine thay vì chuyển tiếp yêu cầu evolve run cho nó.

Digital Design Studio Cloud

Dùng ide cloud login, rồi ide cloud whoami để xác minh định danh phiên native. refresh và logout quản lý phiên đó; --session-dir chọn phương án riêng thay cho mặc định. Xem Xác thực CLI.

ide cloud contract --request FILE_OR_DASH xác thực ngoại tuyến một yêu cầu project/member/source/workspace có kiểu. ide cloud run --request FILE_OR_DASH gửi yêu cầu đó qua API native bằng phiên đã lưu. Yêu cầu chứa nguồn cần --allow-source-upload. Xác thực hợp đồng không bao giờ cấp quyền truy cập tổ chức hay thay thế quyền hiện tại của dịch vụ.

alti ide cloud search --org "$ORG_ID" --project "$PROJECT_ID" \
  --query 'module' --limit 80
alti ide cloud terminal --org "$ORG_ID" --project "$PROJECT_ID" \
  --name cli --max-seconds 60

Dùng UUID tổ chức/dự án thật mà bạn được phép truy cập. Tìm kiếm nhận --match-case, --whole-word, mẫu regex thận trọng có độ rộng cố định --regex, --limit 1..500, và --timeout-seconds 1..120. Nó dùng các đường files/read theo phạm vi hiện có và nội dung đã lưu, với giới hạn 500 tệp, 4 MiB/tệp, tổng 16 MiB và đầu ra 1 MiB. Thay đổi manifest/header/generation làm vô hiệu snapshot hỗn hợp. Giá trị trả về contentHash băm chính xác văn bản UTF-8 đã đọc và với Cloud owner hiện tại phải bằng fileVersion. Giữ fileVersion và workspaceRevision thành các trường CAS riêng.

Gắn terminal giữ nguyên truyền tải WebSocket và quyền hiện tại. Nó truyền byte stdout; trạng thái được gửi tới stderr, kể cả với tùy chọn toàn cục --json. Dùng --cursor để tiếp tục, dùng --cols 2..500, --rows 1..200, và --max-seconds 1..300 để giới hạn việc gắn. Ngắt kết nối không phải yêu cầu kết thúc PTY bền vững. Đây là thực thi dự án Cloud, không phải shell CLI cục bộ.

Dịch vụ DDS Workspace cũ

ide service nhắm tới workspace owner HTTP cũ được cấu hình tường minh. Đặt --endpoint hoặc ALTI_STUDIO_ENDPOINT cùng ALTI_STUDIO_SERVICE_SECRET hiện có của nó trong môi trường riêng của bên gọi. Không thay thế bằng phiên Cloud native, cookie trình duyệt hay chuyển tiếp URL/body tùy ý. Nội dung này mô tả adapter dịch vụ cũ, không tuyên bố UI desktop native hiện tại dùng các endpoint đó hay dịch vụ production công khai đã được bật.

Tìm kiếm chấp nhận --match-case, --whole-word, mẫu regex thận trọng có độ rộng cố định --regex, và --limit 1..1000 (mặc định 80). Tiếp nhận regex chủ đích chỉ chấp nhận một tập con cú pháp JavaScript của owner; nhóm, phép chọn và bộ định lượng bị từ chối. Khớp ở backend vẫn là trách nhiệm của dịch vụ.

Thay thế nhận một đối tượng JSON đóng với các trường bắt buộc query, replacement, paths: [one portable path], và expectedHashes: {same path: 64 hex digits}. Trường tùy chọn options chỉ chứa các boolean matchCase, regex, và wholeWord. Trường tùy chọn match chứa cùng path đó và các số nguyên đánh số từ 1 line/column trong khoảng 1 đến 4194305. Bỏ qua match để thay thế trong tệp đã chọn, không phải toàn workspace. Lấy hash từ kết quả hiện tại của cùng dịch vụ này.

Yêu cầu tối đa 64 KiB, bao gồm mã hóa JSON và văn bản thay thế. Không hỗ trợ trường không biết, khóa hash/đường dẫn không khớp, chỉ số không hợp lệ, traversal, liên kết ngoài ranh giới máy chủ và đường dẫn metadata được bảo vệ/bị loại khỏi tìm kiếm. CLI từ chối dạng không hợp lệ và đường dẫn được bảo vệ trước HTTP; quyền sở hữu hệ thống tệp và kiểm tra liên kết vẫn thuộc dịch vụ. Nó không bao giờ thực hiện thay thế workspace cục bộ.

Phản hồi được giới hạn ở 8 MiB. --timeout-seconds 1..3600 đặt thời hạn HTTP toàn bộ (mặc định 30); chuyển hướng và thử lại tự động bị vô hiệu hóa. altifigence.dds.service-receipt.v1 giữ trạng thái và body HTTP, kể cả phản hồi DELETE thành công rỗng. Giá trị 409 vẫn là xung đột. CAS và tính nguyên tử của backend không phải bảo đảm xuyên backend; không được thay hash nội dung cục bộ/Cloud cho hash dự kiến của dịch vụ nếu hợp đồng không cho phép.

Bản kê hành động

Mọi thứ không do bộ phân tích cú pháp cục bộ xử lý đều tới bộ điều phối bản kê, nơi khớp đường lệnh của bạn với customer-tools.v1.json. alti commands nhúng. Lệnh này in toàn bộ bản kê dưới dạng một mảng JSON gồm hai mươi lăm mục và thoát với mã 0 mà không cần thông tin xác thực.

Hai mươi hai mục được đánh dấu executes: true. Ba mục — analyze, evolve, và verify — là executes: false và in ghi chú [plan-only] trước khi điều phối. Cũng chỉ ba mục đó mang byte nguồn và chúng được kiểm soát bằng --allow-source-upload.

Mười bốn trong hai mươi lăm mục còn mang profile remote_core; các mục còn lại chỉ là local_extended. Ý nghĩa của profile đó đối với khả năng sẵn có được trình bày tại Hợp đồng hành động và năng lực.

Mọi hành động dưới đây đọc ALTI_TOKEN và ALTI_ORG_ID từ môi trường tiến trình trước khi tạo máy khách và thất bại với mã thoát 1 nếu thiếu một trong hai:

Văn bản

$ alti credits
Config error: ALTI_TOKEN is not set (org API key or access token).

Tùy chọn chung cho các hành động liệt kê

Một số hành động dùng chung dạng phân trang: --limit <INTEGER> trong khoảng 1..=100, và --cursor <STRING>. Cả hai đều được xác thực cục bộ trước mọi yêu cầu:

Văn bản

$ alti project ls --limit 101
Invalid value for --limit: outside allowed range.

Lệnh đó thoát với mã 2, tương tự cờ không biết (Unknown option(s): --limti), thiếu tùy chọn bắt buộc (Missing required option(s): --projectId) và giá trị ngoài tập liệt kê (Invalid value for --visibility: expected one of public, private.).

Workspace và dự án

RTL hội thoại

chat models được khớp trước chat vì bộ điều phối ưu tiên đường lệnh khớp dài nhất. alti chat được kiểm soát bằng tín dụng và ghi log kiểm toán phía máy chủ.

Hành động ước tính và chỉ lập kế hoạch

--rtl và --testbench là chuỗi nguồn nội tuyến, mỗi chuỗi có giới hạn cứng 1048576 byte được kiểm tra cục bộ:

Văn bản

$ alti analyze --target kv260-fpga --rtl "$(cat huge.sv)" --allow-source-upload
Invalid value for --rtl: exceeds size limit.

Lệnh đó thoát với mã 2. Nếu không có --allow-source-upload thì bất kỳ lệnh nào trong ba lệnh này đều thoát với mã 4 trước khi tạo máy khách:

Văn bản

Source upload is disabled by default. Re-run with --allow-source-upload only
after reviewing the destination and input.

Ba lệnh này là executes: false, nên ngay cả khi đồng ý tường minh chúng vẫn in ghi chú [plan-only] tới stderr và máy chủ trả về kế hoạch điều phối có cấu trúc thay cho lần chạy.

Hiện vật, bằng chứng, runner và thanh toán

Registry MCP

Các lệnh này đọc registry công cụ MCP do máy chủ công bố và danh sách cho phép theo tổ chức. Chúng không liên quan tới alti mcp serve, được chặn trước cả hai bộ điều phối và khởi động máy chủ stdio cục bộ. Xem MCP.

Một hành động bản kê không thể truy cập

Bản kê xác định hành động một từ trace cho tóm tắt trace. Không thể gọi nó vì trace được bộ phân tích cú pháp cục bộ nhận làm không gian tên engine. alti trace tới bộ phân tích cục bộ, không tìm thấy lệnh con và thoát với mã 2; alti trace --limit 5 cũng tới đó và thoát với mã 2 vì đối số không biết.

Hành động vẫn xuất hiện trong đầu ra alti commands, vì vậy số lượng ở đó là hai mươi lăm còn số lệnh có thể truy cập là hai mươi bốn. Nếu liệt kê bản kê bằng chương trình, hãy lọc mục này ra.

Chọn quy trình Cloud

Không dùng lại ID, hash hay biên nhận của quy trình khác trừ khi hợp đồng của nó chấp nhận tường minh. Terminal kết nối lại vẫn là phiên từ xa hiện có; phản hồi gửi bị mất vẫn có thể tương ứng với tác vụ đã tồn tại. Kiểm tra trạng thái trước khi tạo bản trùng lặp.