main

AAgent GptImprove platform context query evidence and invariants

c03deadb创建于 16 天前历史提交

文件	最后提交记录	最后更新时间
.gitignore	run_codelinter: respect project lint profile, enforce safety floor, no project writes Three coordinated changes to the wrapper, plus a scripts-dir .gitignore. 1. Project profile wins over baseline Previously the agent's baseline config overrode the project's code-linter.json5. Now the project's rules take precedence so lint results match what the project CI enforces. 2. Mandatory ruleSet floor (non-override) Project profile is respected, but the agent always unions in plugin:@correctness/all + plugin:@security/all — the ArkTS syntax and security rule packs that projects tend to drop. Agent cannot let a project opt out of these safety nets. Floor is logged: "mandatory ruleSet floor enforced — added: [...]". 3. Tempfile-based merged config — do not write into project dir Agent-side overrides live in a tempfile.mkstemp file under /tmp and are passed via -c. Project's code-linter.json5 is never modified. Tempfile cleaned on normal / timeout / error exit. Ownership check uses os.path.normcase to stay correct under Windows case-insensitive path semantics — the pre-normcase startswith() check could misclassify the project's real code-linter.json5 as a tempfile and delete it. Every lint invocation is diff-only (filenames passed on CLI); no full-project scans. Verified end-to-end against app_transfer/new_base/SaltPlayerHarmony: - Project code-linter.json5 drops @correctness + @security/all; the mandatory floor added them at runtime. - Tempfile created under /tmp, cleaned up after exit. - Project directory untouched (no .agent-code-linter.json5 leak). - codelinter ran successfully against real .ets source and emitted the expected warnings.	1 个月前
platform_context_query.py	Improve platform context query evidence and invariants	16 天前
run_codelinter.py	run_codelinter: respect project lint profile, enforce safety floor, no project writes Three coordinated changes to the wrapper, plus a scripts-dir .gitignore. 1. Project profile wins over baseline Previously the agent's baseline config overrode the project's code-linter.json5. Now the project's rules take precedence so lint results match what the project CI enforces. 2. Mandatory ruleSet floor (non-override) Project profile is respected, but the agent always unions in plugin:@correctness/all + plugin:@security/all — the ArkTS syntax and security rule packs that projects tend to drop. Agent cannot let a project opt out of these safety nets. Floor is logged: "mandatory ruleSet floor enforced — added: [...]". 3. Tempfile-based merged config — do not write into project dir Agent-side overrides live in a tempfile.mkstemp file under /tmp and are passed via -c. Project's code-linter.json5 is never modified. Tempfile cleaned on normal / timeout / error exit. Ownership check uses os.path.normcase to stay correct under Windows case-insensitive path semantics — the pre-normcase startswith() check could misclassify the project's real code-linter.json5 as a tempfile and delete it. Every lint invocation is diff-only (filenames passed on CLI); no full-project scans. Verified end-to-end against app_transfer/new_base/SaltPlayerHarmony: - Project code-linter.json5 drops @correctness + @security/all; the mandatory floor added them at runtime. - Tempfile created under /tmp, cleaned up after exit. - Project directory untouched (no .agent-code-linter.json5 leak). - codelinter ran successfully against real .ets source and emitted the expected warnings.	1 个月前