A3S Code
  • 简体中文
  • v6.5.2

      • 验证

      运行时将"完成"视为必须被证明的事实，而不仅仅是被声明的结果。当模型说某个任务已完成时，这句话本身毫无价值。验证把声明转化为证据：你声明一组必须成功的命令，运行时执行它们，结果会携带一份你可以检视、据以拦截或呈现给用户的报告。

      验证是会话级的。Rust 核心运行每条命令，记录其退出状态和输出，并将每份报告汇总为一份随回合结果一同返回的摘要。

      产品界面可以先展示交付摘要，再列出支持结论的命令输出和文件级改动。

      运行验证命令

      一条验证命令就是一个小而具名的检查：一个 id、一个 kind、一段可读的 description，以及要运行的 command。当某个失败应被视为硬失败而非警告时，将该检查标记为 required。

      Rust
      Node.js
      Python
      Go
      Rust
      use a3s_code_core::verification::VerificationCommand;

      

      let commands = vec![

          VerificationCommand::required(

              "build",

              "build",

              "项目可以编译",

              "cargo build --all-features",

          )

          .with_timeout_ms(120_000),

          VerificationCommand::required(

              "tests",

              "test",

              "单元测试通过",

              "cargo test",

          ),

      ];

      let report = session

          .verify_commands("release-readiness", &commands)

          .await?;

      println!("{report:#?}");

      subject（此处为 release-readiness）为这一批检查命名，使同一会话内的多次验证在报告中保持彼此独立。

      读取回合结束后的摘要

      每个回合的 send() 结果同样携带只读的验证字段，因此你无需单独发起一次验证调用即可据结果拦截。用这些字段判断该回合是否真正完成了它所声称的工作。

      Rust
      Node.js
      Python
      Go
      Rust
      let result = session.send("应用修复并运行检查", None).await?;

      let summary = result.verification_summary();

      

      println!("{:?}", summary.status);

      println!("{}", summary.pending_required_check_count);

      println!("{}", summary.failed_check_count);

      println!("{}", summary.report_count);

      println!("{}", result.verification_summary_text());

      

      if summary.failed_check_count > 0 {

          return Err(a3s_code_core::CodeError::Session(

              "当前回合声称已完成，但验证失败".to_string(),

          ));

      }

      检视报告与摘要

      除了逐回合的字段之外，会话还暴露完整的报告集合、一份结构化摘要、可用的预设，以及一份可读的概要。该概要是向人展示某回合为何通过或失败的最快方式。

      Rust
      Node.js
      Python
      Go
      Rust
      let reports = session.verification_reports();

      let summary = session.verification_summary();

      let presets = session.verification_presets();

      let text = session.verification_summary_text();

      

      println!(

          "{} 份报告，状态 {:?}，{} 个预设",

          reports.len(),

          summary.status,

          presets.len()

      );

      println!("{text}");

      verificationPresets() 返回根据 workspace 文件推断出的检查模板，例如 Cargo.toml、package.json、pyproject.toml 和 go.mod。请把它们当作起点： 在用来拦截发布或用户可见自动化之前，应审查命令、超时和 required 标记是否适合该项目。

      为何重要

      没有验证，一次智能体运行止于模型的一面之词。有了验证，运行止于可观测的证据：编译通过的构建、跑通的测试套件、保持沉默的代码检查器。摘要文本提供审计轨迹；结果上的计数让你能在自动化中以失败为默认（fail closed）。

      相关

      • 遥测 —— 将追踪事件和验证报告作为运行时证据进行检视。
      • 限制 —— 在验证运行之前限定一个回合能完成多少工作量。