@riddledc/riddle-proof 0.5.21 → 0.5.23

package/dist/{chunk-PJ3RTT5D.js → chunk-M4MISBQV.js}

@@ -124,6 +124,16 @@ function fullRiddleState(result, state) {
 function workdirFromState(state) {
   return nonEmptyString(state?.after_worktree) || nonEmptyString(state?.worktree_path) || null;
 }
+function parseGitStatusPaths(status) {
+  return status.split(/\r?\n/).map((line) => line.trimEnd()).filter(Boolean).map((line) => {
+    let item = line.length > 3 ? line.slice(3) : line;
+    if (item.includes(" -> ")) item = item.split(" -> ").pop() || item;
+    return item.trim();
+  }).filter(Boolean);
+}
+function isToolNoisePath(filePath) {
+  return filePath === ".codex" || filePath.startsWith(".codex/") || filePath === ".oc-smoke" || filePath.startsWith(".oc-smoke/");
+}
 function hasGitDiff(workdir) {
   if (!workdir || !existsSync(workdir)) return false;
   try {
@@ -132,7 +142,7 @@ function hasGitDiff(workdir) {
       encoding: "utf-8",
       timeout: 1e4
     });
-    return status.trim().length > 0;
+    return parseGitStatusPaths(status).some((filePath) => !isToolNoisePath(filePath));
   } catch {
     return false;
   }

package/dist/engine-harness.cjs

@@ -3126,6 +3126,16 @@ function fullRiddleState(result, state) {
 function workdirFromState(state) {
   return nonEmptyString(state?.after_worktree) || nonEmptyString(state?.worktree_path) || null;
 }
+function parseGitStatusPaths(status) {
+  return status.split(/\r?\n/).map((line) => line.trimEnd()).filter(Boolean).map((line) => {
+    let item = line.length > 3 ? line.slice(3) : line;
+    if (item.includes(" -> ")) item = item.split(" -> ").pop() || item;
+    return item.trim();
+  }).filter(Boolean);
+}
+function isToolNoisePath(filePath) {
+  return filePath === ".codex" || filePath.startsWith(".codex/") || filePath === ".oc-smoke" || filePath.startsWith(".oc-smoke/");
+}
 function hasGitDiff(workdir) {
   if (!workdir || !(0, import_node_fs3.existsSync)(workdir)) return false;
   try {
@@ -3134,7 +3144,7 @@ function hasGitDiff(workdir) {
       encoding: "utf-8",
       timeout: 1e4
     });
-    return status.trim().length > 0;
+    return parseGitStatusPaths(status).some((filePath) => !isToolNoisePath(filePath));
   } catch {
     return false;
   }

package/dist/engine-harness.js

@@ -2,7 +2,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-PJ3RTT5D.js";
+} from "./chunk-M4MISBQV.js";
 import "./chunk-7ZJAUEUN.js";
 import "./chunk-TMMKRKY5.js";
 export {

package/dist/index.cjs

@@ -3682,6 +3682,16 @@ function fullRiddleState(result, state) {
 function workdirFromState(state) {
   return nonEmptyString(state?.after_worktree) || nonEmptyString(state?.worktree_path) || null;
 }
+function parseGitStatusPaths(status) {
+  return status.split(/\r?\n/).map((line) => line.trimEnd()).filter(Boolean).map((line) => {
+    let item = line.length > 3 ? line.slice(3) : line;
+    if (item.includes(" -> ")) item = item.split(" -> ").pop() || item;
+    return item.trim();
+  }).filter(Boolean);
+}
+function isToolNoisePath(filePath) {
+  return filePath === ".codex" || filePath.startsWith(".codex/") || filePath === ".oc-smoke" || filePath.startsWith(".oc-smoke/");
+}
 function hasGitDiff(workdir) {
   if (!workdir || !(0, import_node_fs3.existsSync)(workdir)) return false;
   try {
@@ -3690,7 +3700,7 @@ function hasGitDiff(workdir) {
       encoding: "utf-8",
       timeout: 1e4
     });
-    return status.trim().length > 0;
+    return parseGitStatusPaths(status).some((filePath) => !isToolNoisePath(filePath));
   } catch {
     return false;
   }

package/dist/index.js

@@ -13,7 +13,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-PJ3RTT5D.js";
+} from "./chunk-M4MISBQV.js";
 import {
   runRiddleProof
 } from "./chunk-F6VFKS7K.js";

package/dist/openclaw.cjs

@@ -106,6 +106,14 @@ function parseOpenClawAssertions(value) {
     return trimmed;
   }
 }
+function normalizeOpenClawReference(value) {
+  if (value !== "prod" && value !== "before" && value !== "both") return void 0;
+  return value;
+}
+function ignoredOpenClawReference(value) {
+  if (value === void 0 || value === null || value === "") return void 0;
+  return normalizeOpenClawReference(value) ? void 0 : String(value);
+}
 function openClawIntegrationContext(params) {
   const hasDiscordContext = Boolean(params.discord_channel || params.discord_thread_id || params.discord_message_id || params.discord_source_url);
   return normalizeIntegrationContext({
@@ -116,7 +124,8 @@ function openClawIntegrationContext(params) {
     source_url: params.discord_source_url,
     metadata: compactRecord({
       wrapper: "openclaw",
-      tool: "riddle_proof_change"
+      tool: "riddle_proof_change",
+      reference_input_ignored: ignoredOpenClawReference(params.reference)
     })
   }, "openclaw");
 }
@@ -131,7 +140,7 @@ function toRiddleProofRunParams(params) {
     success_criteria: params.success_criteria,
     assertions: parseOpenClawAssertions(params.assertions_json),
     verification_mode: params.verification_mode,
-    reference: params.reference,
+    reference: normalizeOpenClawReference(params.reference),
     base_branch: params.base_branch,
     before_ref: params.before_ref,
     allow_static_preview_fallback: params.allow_static_preview_fallback,

package/dist/openclaw.d.cts

@@ -10,7 +10,7 @@ interface OpenClawProofedChangeParams {
     success_criteria?: string;
     assertions_json?: string;
     verification_mode?: string;
-    reference?: "prod" | "before" | "both";
+    reference?: "prod" | "before" | "both" | (string & {});
     base_branch?: string;
     before_ref?: string;
     allow_static_preview_fallback?: boolean;

package/dist/openclaw.d.ts

@@ -10,7 +10,7 @@ interface OpenClawProofedChangeParams {
     success_criteria?: string;
     assertions_json?: string;
     verification_mode?: string;
-    reference?: "prod" | "before" | "both";
+    reference?: "prod" | "before" | "both" | (string & {});
     base_branch?: string;
     before_ref?: string;
     allow_static_preview_fallback?: boolean;

package/dist/openclaw.js

@@ -18,6 +18,14 @@ function parseOpenClawAssertions(value) {
     return trimmed;
   }
 }
+function normalizeOpenClawReference(value) {
+  if (value !== "prod" && value !== "before" && value !== "both") return void 0;
+  return value;
+}
+function ignoredOpenClawReference(value) {
+  if (value === void 0 || value === null || value === "") return void 0;
+  return normalizeOpenClawReference(value) ? void 0 : String(value);
+}
 function openClawIntegrationContext(params) {
   const hasDiscordContext = Boolean(params.discord_channel || params.discord_thread_id || params.discord_message_id || params.discord_source_url);
   return normalizeIntegrationContext({
@@ -28,7 +36,8 @@ function openClawIntegrationContext(params) {
     source_url: params.discord_source_url,
     metadata: compactRecord({
       wrapper: "openclaw",
-      tool: "riddle_proof_change"
+      tool: "riddle_proof_change",
+      reference_input_ignored: ignoredOpenClawReference(params.reference)
     })
   }, "openclaw");
 }
@@ -43,7 +52,7 @@ function toRiddleProofRunParams(params) {
     success_criteria: params.success_criteria,
     assertions: parseOpenClawAssertions(params.assertions_json),
     verification_mode: params.verification_mode,
-    reference: params.reference,
+    reference: normalizeOpenClawReference(params.reference),
     base_branch: params.base_branch,
     before_ref: params.before_ref,
     allow_static_preview_fallback: params.allow_static_preview_fallback,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.5.21",
+  "version": "0.5.23",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",

package/runtime/lib/implement.py

@@ -9,6 +9,8 @@ import json, os, sys
 sys.path.insert(0, os.path.dirname(os.path.abspath(__file__)))
 from util import load_state, save_state, git, shell_quote
 
+TOOL_NOISE_PATHS = ('.codex', '.oc-smoke')
+
 
 def unique_nonempty(items):
     seen = set()
@@ -37,6 +39,15 @@ def parse_status_paths(lines):
     return unique_nonempty(paths)
 
 
+def is_tool_noise_path(path):
+    text = str(path or '').strip()
+    return any(text == prefix or text.startswith(prefix + '/') for prefix in TOOL_NOISE_PATHS)
+
+
+def material_paths(paths):
+    return [path for path in unique_nonempty(paths) if not is_tool_noise_path(path)]
+
+
 s = load_state()
 after_dir = (s.get('after_worktree') or '').strip()
 if not after_dir or not os.path.exists(after_dir):
@@ -45,7 +56,9 @@ if not after_dir or not os.path.exists(after_dir):
 base_branch = s.get('base_branch', 'main')
 base_ref = (s.get('before_ref') or '').strip() or ('origin/' + base_branch)
 dirty = [ln for ln in git('git status --short', after_dir).stdout.splitlines() if ln.strip()]
-dirty_paths = parse_status_paths(dirty)
+dirty_paths_all = parse_status_paths(dirty)
+dirty_paths = material_paths(dirty_paths_all)
+ignored_dirty_paths = [path for path in dirty_paths_all if is_tool_noise_path(path)]
 
 diff_probes = []
 
@@ -70,7 +83,9 @@ if diff_result.returncode != 0:
 if diff_result.returncode != 0 and not committed:
     fallback, committed = run_diff_probe('head_parent', 'git diff --name-only HEAD~1 HEAD')
 
-changed = unique_nonempty(dirty_paths + committed)
+committed_material = material_paths(committed)
+ignored_committed_paths = [path for path in committed if is_tool_noise_path(path)]
+changed = unique_nonempty(dirty_paths + committed_material)
 authored = bool((s.get('capture_script') or '').strip()) and bool((s.get('proof_plan') or '').strip())
 
 detection = {
@@ -81,9 +96,13 @@ detection = {
     'base_ref_requested': base_ref,
     'dirty_status_lines': dirty[:20],
     'dirty_paths': dirty_paths[:20],
+    'ignored_dirty_paths': ignored_dirty_paths[:20],
     'dirty_path_count': len(dirty_paths),
-    'committed_paths': committed[:20],
-    'committed_path_count': len(committed),
+    'dirty_path_count_including_noise': len(dirty_paths_all),
+    'committed_paths': committed_material[:20],
+    'ignored_committed_paths': ignored_committed_paths[:20],
+    'committed_path_count': len(committed_material),
+    'committed_path_count_including_noise': len(committed),
     'changed_paths': changed[:20],
     'changed_path_count': len(changed),
     'diff_probes': diff_probes[:6],

package/runtime/tests/recon_verify_smoke.py

@@ -637,6 +637,7 @@ def run_implement_records_detection_when_changes_missing():
         })
         write_state(state_path, state)
         os.environ['RIDDLE_PROOF_STATE_FILE'] = str(state_path)
+        load_module('util', UTIL_PATH)
 
         try:
             load_module('implement_changes_missing_state', IMPLEMENT_PATH)
@@ -673,6 +674,56 @@ def run_implement_records_detection_when_changes_missing():
         shutil.rmtree(tempdir, ignore_errors=True)
 
 
+def run_implement_ignores_tool_noise_when_detecting_changes():
+    tempdir = Path(tempfile.mkdtemp(prefix='riddle-proof-implement-noise-'))
+    state_path = tempdir / 'state.json'
+    previous_state_file = os.environ.get('RIDDLE_PROOF_STATE_FILE')
+    try:
+        state = base_state(tempdir, reference='before')
+        after_dir = Path(state['after_worktree'])
+        init_git_repo(after_dir)
+        codex_dir = after_dir / '.codex'
+        codex_dir.mkdir(parents=True, exist_ok=True)
+        (codex_dir / 'session.json').write_text('{}\n')
+        state.update({
+            'recon_status': 'ready_for_proof_plan',
+            'author_status': 'ready',
+            'proof_plan_status': 'ready',
+            'proof_plan': 'Capture the pricing CTA after the implementation is applied.',
+            'capture_script': "await page.waitForSelector('[data-testid=pricing-cta]'); await saveScreenshot('after-proof');",
+        })
+        write_state(state_path, state)
+        os.environ['RIDDLE_PROOF_STATE_FILE'] = str(state_path)
+        load_module('util', UTIL_PATH)
+
+        try:
+            load_module('implement_ignores_tool_noise', IMPLEMENT_PATH)
+        except SystemExit as exc:
+            assert 'No implementation detected on the after worktree.' in str(exc), exc
+        else:
+            raise AssertionError('implement stage should have halted when only tool noise changed')
+
+        after_state = json.loads(state_path.read_text())
+        detection = after_state['implementation_detection']
+        assert detection['outcome'] == 'no_changes_detected'
+        assert detection['diff_detected'] is False
+        assert detection['dirty_path_count'] == 0
+        assert detection['dirty_path_count_including_noise'] >= 1
+        assert any(str(path).startswith('.codex') for path in detection['ignored_dirty_paths'])
+        assert detection['changed_path_count'] == 0
+        assert after_state['changed_files'] == []
+        return {
+            'ok': True,
+            'ignored_dirty_paths': detection['ignored_dirty_paths'],
+        }
+    finally:
+        if previous_state_file is None:
+            os.environ.pop('RIDDLE_PROOF_STATE_FILE', None)
+        else:
+            os.environ['RIDDLE_PROOF_STATE_FILE'] = previous_state_file
+        shutil.rmtree(tempdir, ignore_errors=True)
+
+
 def run_recon_then_author_request():
     tempdir = Path(tempfile.mkdtemp(prefix='riddle-proof-supervisor-request-'))
     state_path = tempdir / 'state.json'
@@ -1481,6 +1532,7 @@ if __name__ == '__main__':
         'apply_auth_context': run_apply_auth_context_passes_supported_auth_payloads(),
         'run_project_build_retries_after_clean_failure': run_project_build_retries_after_clean_failure(),
         'implement_records_detection_when_changes_missing': run_implement_records_detection_when_changes_missing(),
+        'implement_ignores_tool_noise_when_detecting_changes': run_implement_ignores_tool_noise_when_detecting_changes(),
         'verify_quality_ignores_proof_telemetry_console_text': run_verify_quality_ignores_proof_telemetry_console_text(),
         'recon_then_author_request': run_recon_then_author_request(),
         'recon_preserves_query_route': run_recon_preserves_query_route(),