CLI 자동화 및 CI

검증된 CLI 설치를 준비하고 제한된 로컬 작업, 영수증, 명시적인 백엔드 검사를 자동화하세요.

개요

검증된 Linux 설치를 준비한 뒤 새 워크스페이스에서 일반 작업 사용자로 설계 작업을 실행하세요. 설치 권한과 소스 처리를 분리하세요. 이 페이지는 CLI 0.1.9 설치 계약을 사용합니다. 다운로드에서 실제 제공되는 릴리스를 선택하세요.

준비 게이트

  1. 워크플로가 허용하는 정확한 버전, 압축 파일명, 서명된 카탈로그를 고정하세요.

  2. 다운로드한 실행 파일을 실행하기 전에 다운로드 검증을 따라 공개 키 DER 기준값, 서명된 체크섬 manifest, 압축 파일 서명, 카탈로그 서명을 검증하세요.

  3. Linux에 설치를 사용하세요. 내장 설치 도구는 저장소 체크아웃, 빌드, 네트워크 접근 없이 서명된 구조와 고정 Tcl 구성 요소를 만듭니다. 관리자 통제 단계에서만 설치하세요.

  4. 정확히 설치된 PREFIX/bin/alti를 실행하고 버전 및 기능 보고서를 보관하세요. 개발 실행 파일이나 검증되지 않은 PATH 실행기로 대체하지 마세요.

압축 파일의 존재와 도움말 출력은 설치 준비 상태를 입증하지 않습니다. alti capabilities 및 실행하려는 작업의 기능 응답을 확인하세요. 검사가 실패하면 대체 경로를 활성화하지 말고 해당 작업을 중단해야 합니다.

오프라인 CI 레시피

CLI 첫 실행에 따라 job.json과 소유자만 접근 가능한 소스를 준비하세요. ALTI_BIN은 정확히 검증된 설치로, ALTI_WORKSPACE는 이 작업용으로 준비한 워크스페이스로 설정하세요.

Bash
set -euo pipefail
ALTI_BIN="${ALTI_BIN:?set the verified absolute installed alti path}"
ALTI_WORKSPACE="${ALTI_WORKSPACE:?set the private prepared workspace}"
case "$ALTI_BIN" in /*) ;; *) exit 1 ;; esac
EVIDENCE="$(mktemp -d)"

"$ALTI_BIN" version > "$EVIDENCE/version.txt"
"$ALTI_BIN" capabilities > "$EVIDENCE/capabilities.json"
"$ALTI_BIN" commands > "$EVIDENCE/commands.json"
"$ALTI_BIN" --json job validate \
  --job "$ALTI_WORKSPACE/job.json" \
  --workspace-root "$ALTI_WORKSPACE" \
  --source rtl/top.sv \
  > "$EVIDENCE/preflight.json" 2> "$EVIDENCE/preflight-error.json"

jq -e 'length == 25' "$EVIDENCE/commands.json" >/dev/null
jq -e '
  .receipt_schema == "altifigence.cli.engine-job-preflight.v1" and
  .status == "client_preflight_valid" and
  .submitted == false and
  .server_authority_verified == false
' "$EVIDENCE/preflight.json" >/dev/null

이는 RTL 실행이 아닌 사전 검사입니다. 실행 결과가 필요하면 명시적인 CPU XLS 평가 또는 다른 제한된 로컬 엔진 작업을 추가하세요. 이런 로컬 검사에는 Cloud 자격 증명이 필요하지 않습니다.

기능 및 출력 규칙

  • 명령별 예상 스키마를 파싱하기 전에 프로세스 종료 상태를 확인하세요.

  • stdout과 stderr를 분리하세요. --json을 사용하면 응답의 stdout에서 엔진 출력을 파싱합니다. DDS 계획·적용 파이프에는 원시 네이티브 결과를 저장하세요.

  • 새 워크스페이스·실행 디렉터리를 사용하세요. 적용 전에 전체 작성 계획을 검토하고, 충돌 후에는 해시를 바꾸지 말고 계획을 다시 생성하세요.

  • 명시적인 cpu·cuda 또는 Evolve cpu-reference·cuda 정책을 사용하세요. XLS와 packed RTL은 자동으로 대체 경로로 전환하지 않습니다. PX의 auto는 별도의 선택적 정책이며 실제 백엔드와 대체 실행 여부는 영수증에서 확인해야 합니다.

  • 필요한 드라이버와 Icarus 도구를 갖춰 GPU 실행 검증을 별도로 예약하세요. 실제로 허용되어 실행된 CUDA 작업과 저장된 하드웨어 출처 정보가 필요합니다. 발견만으로는 충분하지 않습니다. 기능 테스트에서 성능을 추정하지 마세요.

  • Cloud 쓰기에는 계정·프로젝트 권한과 작업별 명시적 업로드 동의가 필요합니다. 레거시 HTTP 바꾸기에는 해당 서비스에서 새로 받은 해시가 필요합니다. 409는 충돌이며 검사를 약화해 재시도해도 된다는 뜻이 아닙니다.

결과 기록 보존

검증된 카탈로그·서명, 설치 실행 파일 다이제스트, CLI 버전, 민감 정보를 가린 인수, 입력 다이제스트, 종료 상태, 크기가 제한된 결과·진단 출력을 보관하세요. GPU 기록에는 실제 장치·드라이버와 외부 도구의 식별 정보도 필요합니다. 개발·디버그 증거와 서명 패키지 검증은 구분하세요. 자격 증명이나 프로젝트 소스를 불필요하게 보관하지 마세요.

CI 재현성 유지

  1. 러너 준비 단계에서 검증된 릴리스·외부 도구 버전을 고정합니다.

  2. 작업마다 사용자 소유의 새 소스 디렉터리·출력 경로를 사용합니다.

  3. 기능을 확인하고 요청한 작업에 맞는 작은 실제 실행을 수행합니다.

  4. 0이 아닌 종료·잘못된 출력·오래된 소스 식별 정보·필수 산출물 누락이면 파이프라인을 실패시킵니다.

  5. 제한된 진단·해시를 보관하고 인증 정보는 로그가 아닌 CI 비밀 저장소에서 갱신합니다.

검증된 설치 입력·변하지 않는 도구 체인은 버전·해시로 캐시하세요. 프로젝트 결과·세션 파일·공급자 인증 정보는 공유 캐시에 넣지 않습니다. 원격 작업은 별도 명시적 권한·작업 추적이 필요하며 로컬 CI 통과가 Cloud 실행을 뜻하지는 않습니다.