feat: publish PatchProof v0.1.0 - #1
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
内容 / What Changed
verifiable-agent-audit与agent-eval-builder两个经过官方结构校验的双语 Codex Skills。verifiable-agent-auditandagent-eval-builder.原因 / Why
把 IssueLens 中有复用价值的 Agent 工程边界抽取为独立、可运行、可审计、可展示的公开成果,同时避免携带原实习公司的内部代码或数据。
Extract the reusable Agent-engineering boundaries from IssueLens into an independent, runnable, auditable, portfolio-ready public artifact without carrying internal internship code or data.
验证 / Validation
PYTHONPATH=src python3 -m unittest discover -s tests -v— 70 passedquick_validate.py/ Both Skills pass the officialquick_validate.pygit diff --check与git diff --cached --check/ Both whitespace checks pass0.1.0/ Wheel builds, installs into an isolated target, and imports as0.1.0风险边界 / Risk Boundary
v0.1 仅支持有界 UTF-8 文本、Unified Diff 和 Python
unittest。Docker 加固不是生产级恶意多租户沙箱;审批身份为声明式元数据,回执哈希提供完整性但不提供签名者真实性。v0.1 supports bounded UTF-8 text, unified diffs, and Python
unittestonly. Docker hardening is not a production hostile multi-tenant sandbox; approver identity is declared metadata, and receipt hashes provide integrity rather than signer authenticity.