What changed after I stopped trusting exit code 0: ELY Agent Input Preflight v0.7.0

说明与用途

新的 Admission 层在代码被接受前检查 AI 生成的代码的语法、结构、范围、策略和安全性，减少对退出码 0 的依赖。

问题

AI coding agents often report success via exit code 0, but this does not guarantee that the generated code is correct, safe, or meets project requirements.

结果

The new admission layer ensures that only code that passes explicit safety and policy checks is promoted to a verified final result, reducing reliance on agent exit codes and improving code quality assurance.

工作流

• 1. AI agent generates code and returns exit code 0.
• 2. ELY Agent Input Preflight receives the code and runs the Generated-Code Admission layer.
• 3. Admission layer performs deterministic checks (syntax, parsing, scope, policy, dangerous constructs).
• 4. If all checks pass, code is admitted and can be used in the final result; otherwise, status is NOT_PROVEN and escalated to NEEDS_REVIEW.
• 5. Final verification decides whether the repository satisfies acceptance criteria.

证据

The biggest change is a new layer called Generated-Code Admission.

来源

For Python source, the Community release currently performs bounded, deterministic checks including: syntax validation; structural parsing; source-scope checks; project-local policy checks; baseline dangerous-construct detection.

来源

If ELY cannot prove a result, it does not silently convert uncertainty into safety.

来源

The Community version keeps the full core verification and safety functionality.

来源

Before publishing the release, I ran the full regression suite plus adversarial admission cases.

来源