review-fold
Pass
Audited by Gen Agent Trust Hub on Oct 9, 2026
Risk Level: SAFEINDIRECT_PROMPT_INJECTIONDYNAMIC_EXECUTIONCOMMAND_EXECUTION
Full Analysis
- [INDIRECT_PROMPT_INJECTION]: The skill processes untrusted review data through the
source_batchesinput inSKILL.md.\n - Ingestion points: The
review_fold_inputparameter inSKILL.mdaccepts findings from external owners.\n - Boundary markers: The skill instructions in
SKILL.md(e.g., under 'Counterexample admission') andagents/openai.yamlexplicitly command the agent to establish obligations and validity independently of the reported claim's prose.\n - Capability inventory: The skill can read repository state and write to a local event log (
.ledger/review-fold/counterexamples/events.jsonl) using theledgerCLI tool.\n - Sanitization: Data persisted to the ledger is governed by a strict JSON schema in
definitions/ledger/counterexample-corpus.json, which includes regex validation, enums, and byte limits.\n- [DYNAMIC_EXECUTION]: The offline test scripttests/test-counterexample-admission.mjsusesnode:vm'srunInNewContextto execute synthetic JavaScript code snippets. This is limited to testing synthetic fixtures and employs an isolated context (Object.create(null)) with a execution timeout.\n- [COMMAND_EXECUTION]: The skill requires the agent to executeledger projectandledger transactcommands to manage the counterexample corpus. These operations are scoped to a local repository ledger and are structured via a platform-provided definition.
Audit Metadata