mirror of
https://github.com/BaaRai/ARTEX.git
synced 2026-11-13 11:40:53 +08:00
BaaRai
4bcb6d7250
Audit findings F5, F6 and F11 for issue #124. F5, goal guards: - goal_met refuses while any goal node of the task is open, and when the goals cannot be read. A task without goal nodes keeps the old behavior. - prove_goal accepts a fact as evidence only when its confidence is "observed"; otherwise it refuses and the goal stays open. Findings are still accepted. F6, hint origin: - add_hint stores the calling ToolSet's worker as the hint origin instead of "human", and passes it to the planner trigger (TriggerEvent.HintOrigin). - renderTriggers names the writer: the human via the main agent, a cross-task orchestration, or an agent, with a neutral fallback. F11, built-in rules for the planner and the main agent: - Interceptor.MatchBuiltin evaluates the enabled "[built-in]" deny rules on the intercept-enabled tools. - The target-only guard applies them before the target gate, whether the gate is on or off. User rules and the judge stay out of it. - SetRulesForTest is a test seam for the store-less guard tests; Log is a no-op without a store.