Viewing files at commit 39bc21f7f67eCommit detailsView latest

Browse files
tests/test_workflow_oracles.py 466 lines · 27.2 KB · python
1
"""Negative task-oracle tests: fixture validators are not trusted evidence."""
2
from __future__ import annotations
3
4
import json
5
import subprocess
6
from pathlib import Path
7
import shutil
8
import sys
9
import tempfile
10
import unittest
11
from unittest import mock
12
13
sys.path.insert(0, str(Path(__file__).resolve().parents[1] / "scripts"))
14
import workflow_ab
15
import agent_workflow
16
from oakbench import workflow_oracles
17
18
19
20
# These tests assert the DEFAULT evidence path (subject Oak export, PATH Git).
21
# Isolate them from an operator-configured independent reader/instrument so
22
# the full suite is green with and without the optional reader (QA P1 A5).
23
_ISOLATED_ENV = ("OAK_BENCH_OAK_READER_PYTHON", "OAK_BENCH_GIT_INSTRUMENT")
24
_SAVED_ENV = {}
25
26
27
def setUpModule():
28
    import os as _os
29
    for _name in _ISOLATED_ENV:
30
        if _name in _os.environ:
31
            _SAVED_ENV[_name] = _os.environ.pop(_name)
32
33
34
def tearDownModule():
35
    import os as _os
36
    _os.environ.update(_SAVED_ENV)
37
38
class ExistingOracleFalsePassTest(unittest.TestCase):
39
    def test_oracle_version_is_pinned(self):
40
        self.assertEqual(workflow_oracles.VERSION, "2026-09-27.1")
41
42
    def test_deleting_rewritten_configs_fails(self):
43
        with tempfile.TemporaryDirectory() as tmp:
44
            repo = Path(tmp)
45
            workflow_ab.make_wide_config_fixture(repo)
46
            for path in (repo / "services").glob("*/config.toml"):
47
                path.write_text(path.read_text().replace("timeout_ms = 2500", "timeout_ms = 3000"))
48
            (repo / "services/service-0003/config.toml").unlink()
49
            self.assertIsNotNone(workflow_ab.workflow_worktree_payload_failure(
50
                workflow_ab.WORKFLOWS["wide_config_refactor"], repo
51
            ))
52
53
    def test_empty_manifest_fails(self):
54
        with tempfile.TemporaryDirectory() as tmp:
55
            repo = Path(tmp)
56
            (repo / "manifest.json").write_text('{"assets": []}')
57
            self.assertIsNotNone(workflow_ab.workflow_worktree_payload_failure(
58
                workflow_ab.WORKFLOWS["large_asset_manifest"], repo
59
            ))
60
61
62
63
def finish_configs(repo):
64
    for path in (repo / "services").glob("*/config.toml"):
65
        path.write_text(path.read_text().replace("timeout_ms = 2500", "timeout_ms = 3000"))
66
67
68
def finish_assets(repo):
69
    path = repo / "manifest.json"
70
    data = json.loads(path.read_text())
71
    for entry in data["assets"]:
72
        entry["reviewed"] = True
73
    path.write_text(json.dumps(data))
74
75
76
class TrustedWorkflowOracleTest(unittest.TestCase):
77
    def assert_both_lanes_reject(self, name, repo, reason):
78
        workflow = workflow_ab.WORKFLOWS[name]
79
        failure = workflow_ab.workflow_worktree_payload_failure(workflow, repo)
80
        self.assertIsNotNone(failure)
81
        self.assertIn(reason, failure)
82
        # This is the exact external command run by real-agent run_oracle.
83
        proc = agent_workflow.run_command(agent_workflow.test_command_for(workflow), repo)
84
        self.assertEqual(proc.returncode, 1, proc.stderr)
85
        self.assertIn(reason, proc.stdout)
86
87
    def test_exact_configs_reject_loss_extras_wrong_values_and_types(self):
88
        with tempfile.TemporaryDirectory() as tmp:
89
            repo = Path(tmp)
90
            workflow_ab.make_wide_config_fixture(repo)
91
            finish_configs(repo)
92
            self.assertIsNone(workflow_oracles.validate("wide_config_refactor", repo))
93
            path = repo / "services/service-0003/config.toml"
94
            original = path.read_bytes()
95
            for wrong in (b"", original.replace(b"3000", b"1800"), original + b"retries = 99\n"):
96
                with self.subTest(wrong=wrong):
97
                    path.write_bytes(wrong)
98
                    self.assert_both_lanes_reject("wide_config_refactor", repo, "config_payload_mismatch")
99
            path.unlink()
100
            self.assert_both_lanes_reject("wide_config_refactor", repo, "config_path_set_mismatch")
101
            path.symlink_to("../../service-0000/config.toml")
102
            self.assert_both_lanes_reject("wide_config_refactor", repo, "payload_path_type")
103
            path.unlink()
104
            path.write_bytes(original)
105
            extra = repo / "services/extra"
106
            extra.write_bytes(b"unexpected")
107
            self.assert_both_lanes_reject("wide_config_refactor", repo, "config_path_set_mismatch")
108
            extra.unlink()
109
            untouched = repo / "services/service-0001/config.toml"
110
            untouched.write_bytes(untouched.read_bytes().replace(b"1800", b"3000"))
111
            self.assert_both_lanes_reject("wide_config_refactor", repo, "config_payload_mismatch")
112
113
    def test_assets_reject_manifest_lies_and_content_corruption(self):
114
        with tempfile.TemporaryDirectory() as tmp:
115
            repo = Path(tmp)
116
            workflow_ab.make_large_asset_fixture(repo)
117
            finish_assets(repo)
118
            self.assertIsNone(workflow_oracles.validate("large_asset_manifest", repo))
119
            path = repo / "manifest.json"
120
            valid = json.loads(path.read_text())
121
            variants = [
122
                ({"assets": []}, "manifest_asset_count"),
123
                ({"assets": valid["assets"][:3]}, "manifest_asset_count"),
124
                ({"assets": valid["assets"] + [valid["assets"][0]]}, "manifest_asset_count"),
125
                ({"assets": [valid["assets"][0]] * 4}, "manifest_duplicate_asset"),
126
                ({"assets": [{**item, "bytes": True} for item in valid["assets"]]}, "manifest_asset_fields"),
127
                ({"assets": [{**item, "reviewed": 1} for item in valid["assets"]]}, "manifest_asset_fields"),
128
                ({"assets": [{**item, "path": "../outside"} for item in valid["assets"]]}, "manifest_asset_identity"),
129
                ({"assets": None}, "manifest_asset_count"),
130
                ({}, "manifest_object_shape"),
131
            ]
132
            for data, reason in variants:
133
                with self.subTest(data=data):
134
                    path.write_text(json.dumps(data))
135
                    self.assert_both_lanes_reject("large_asset_manifest", repo, reason)
136
            path.write_text('{"assets": [], "assets": []}')
137
            self.assert_both_lanes_reject("large_asset_manifest", repo, "duplicate_json_key")
138
            path.write_text(json.dumps(valid))
139
            extra = repo / "assets/asset-04.bin"
140
            extra.write_bytes(b"extra")
141
            self.assert_both_lanes_reject("large_asset_manifest", repo, "asset_path_set_mismatch")
142
            extra.unlink()
143
            asset = repo / "assets/asset-03.bin"
144
            with asset.open("r+b") as stream:
145
                stream.write(b"X")
146
            self.assert_both_lanes_reject("large_asset_manifest", repo, "asset_content_mismatch")
147
            asset.unlink()
148
            self.assert_both_lanes_reject("large_asset_manifest", repo, "asset_path_set_mismatch")
149
150
    def test_deleted_or_noop_fixture_validator_cannot_bypass_oracle(self):
151
        for name, filename, maker, finish in (
152
            ("wide_config_refactor", "validate_configs.py", workflow_ab.make_wide_config_fixture, finish_configs),
153
            ("large_asset_manifest", "validate_manifest.py", workflow_ab.make_large_asset_fixture, finish_assets),
154
        ):
155
            with self.subTest(name=name), tempfile.TemporaryDirectory() as tmp:
156
                repo = Path(tmp) / "repo"
157
                repo.mkdir()
158
                artifacts = Path(tmp) / "artifacts"
159
                artifacts.mkdir()
160
                maker(repo)
161
                before = agent_workflow.workspace_manifest(repo)
162
                finish(repo)
163
                validator = repo / filename
164
                for replacement in (b"raise SystemExit(0)\n", None):
165
                    if replacement is None:
166
                        validator.unlink()
167
                    else:
168
                        validator.write_bytes(replacement)
169
                    self.assert_both_lanes_reject(name, repo, "fixture_validator_modified_or_missing")
170
                    subject = workflow_ab.Subject(name="git", kind="git", label="git", bin=Path("/git"))
171
                    with mock.patch.object(agent_workflow, "vcs_status", return_value=("", 0, 0.0)), \
172
                         mock.patch.object(agent_workflow, "commit_count", return_value=2):
173
                        result = agent_workflow.run_oracle(
174
                            subject, workflow_ab.WORKFLOWS[name], repo, before, 1, artifacts,
175
                        )
176
                    self.assertFalse(result.success)
177
                    self.assertFalse(result.checks["required_checks_passed"])
178
                    self.assertIn("fixture_validator_modified_or_missing", (artifacts / "oracle.test.log").read_text())
179
180
    def test_invalid_trusted_oracle_envelope_is_unmeasured(self):
181
        with tempfile.TemporaryDirectory() as tmp:
182
            repo = Path(tmp)
183
            workflow_ab.make_wide_config_fixture(repo)
184
            before = agent_workflow.workspace_manifest(repo)
185
            finish_configs(repo)
186
            artifacts = repo / "logs"
187
            artifacts.mkdir()
188
            subject = workflow_ab.Subject("git", "git", "Git", Path("/git"))
189
            for output, code in (("", 1), ("{}", 0), ("not json", 0),
190
                                 (json.dumps({"oracle_version": workflow_oracles.VERSION,
191
                                              "workflow_integrity_source": "trusted", "workflow_integrity_passed": None}), 77)):
192
                with mock.patch.object(agent_workflow, "run_command", return_value=subprocess.CompletedProcess([], code, output, "")), \
193
                     mock.patch.object(agent_workflow, "vcs_status", return_value=("", 0, 0)), \
194
                     mock.patch.object(agent_workflow, "commit_count", return_value=2):
195
                    result = agent_workflow.run_oracle(subject, workflow_ab.WORKFLOWS["wide_config_refactor"], repo, before, 1, artifacts)
196
                self.assertIsNone(result.evidence["workflow_integrity_passed"])
197
                self.assertEqual(result.evidence["workflow_integrity_unmeasured_reason"], "trusted_oracle_evidence_invalid_or_missing")
198
199
    def test_unavailable_required_check_does_not_hide_measured_failure(self):
200
        with tempfile.TemporaryDirectory() as tmp:
201
            repo = Path(tmp)
202
            workflow_ab.make_wide_config_fixture(repo)
203
            before = agent_workflow.workspace_manifest(repo)
204
            finish_configs(repo)
205
            evidence = {"oracle_version": workflow_oracles.VERSION, "workflow_integrity_source": "trusted",
206
                "workflow_integrity_passed": None, "workflow_integrity_unmeasured_reason": "missing"}
207
            with mock.patch.object(agent_workflow, "run_command", return_value=subprocess.CompletedProcess([], 77, json.dumps(evidence), "")), \
208
                 mock.patch.object(agent_workflow, "vcs_status", return_value=("dirty", 1, 0)), \
209
                 mock.patch.object(agent_workflow, "expected_change_ok", return_value=True), \
210
                 mock.patch.object(agent_workflow, "commit_count", return_value=2):
211
                result = agent_workflow.run_oracle(workflow_ab.Subject("git", "git", "Git", Path("/git")),
212
                    workflow_ab.WORKFLOWS["wide_config_refactor"], repo, before, 1, repo)
213
            self.assertIsNone(result.checks["required_checks_passed"])
214
            self.assertEqual(result.failure_reason, "final_vcs_clean")
215
216
    def _bugfix_oracle(self, repo, behavior):
217
        trusted = {"oracle_version": workflow_oracles.VERSION, "workflow_integrity_source": "trusted",
218
                   "workflow_integrity_evidence_class": "independent_committed_payload",
219
                   "workflow_integrity_passed": True, "workflow_integrity_failure_reason": None,
220
                   "workflow_integrity_unmeasured_reason": None}
221
        real_run = agent_workflow.run_command
222
        calls = []
223
        def fake(command, cwd, *args, **kwargs):
224
            calls.append(command)
225
            if len(calls) == 1:
226
                return subprocess.CompletedProcess(command, 0, json.dumps(trusted), "")
227
            return behavior(real_run, command, cwd, *args, **kwargs)
228
        with mock.patch.object(agent_workflow, "run_command", side_effect=fake), \
229
             mock.patch.object(agent_workflow, "vcs_status", return_value=("", 0, 0)), \
230
             mock.patch.object(agent_workflow, "expected_change_ok", return_value=True), \
231
             mock.patch.object(agent_workflow, "commit_count", return_value=2):
232
            return agent_workflow.run_oracle(workflow_ab.Subject("git", "git", "Git", Path("/git")),
233
                workflow_ab.WORKFLOWS["bugfix_test_loop"], repo, {}, 1, repo)
234
235
    def test_subject_controlled_exit_77_is_a_measured_failure_not_unmeasured(self):
236
        # Real producer: agent-edited test module exits 77 at import time.
237
        with tempfile.TemporaryDirectory() as tmp:
238
            repo = Path(tmp)
239
            (repo / "tests").mkdir()
240
            (repo / "tests" / "test_sentinel.py").write_text("import os\nos._exit(77)\n")
241
            result = self._bugfix_oracle(repo, lambda real, command, cwd, *a, **k: real(command, cwd, *a, **k))
242
            self.assertIs(result.checks["behavior_tests_passed"], False)
243
            self.assertEqual(result.failure_reason, "behavior_tests_passed")
244
            self.assertIs(result.evidence["workflow_integrity_passed"], True)
245
            self.assertIsNone(result.evidence["workflow_integrity_unmeasured_reason"])
246
247
    def test_behavior_interpreter_launch_failure_is_harness_unmeasured(self):
248
        def missing(real, command, cwd, *a, **k):
249
            raise FileNotFoundError("python3")
250
        with tempfile.TemporaryDirectory() as tmp:
251
            result = self._bugfix_oracle(Path(tmp), missing)
252
            self.assertIsNone(result.checks["behavior_tests_passed"])
253
            self.assertIsNone(result.evidence["workflow_integrity_passed"])
254
            self.assertEqual(result.evidence["workflow_integrity_unmeasured_reason"], "behavior_test_instrument_unavailable")
255
256
    def test_fixture_module_shadowing_is_not_executed(self):
257
        with tempfile.TemporaryDirectory() as tmp:
258
            repo = Path(tmp)
259
            workflow_ab.make_wide_config_fixture(repo)
260
            finish_configs(repo)
261
            (repo / "json.py").write_text("raise RuntimeError('untrusted import executed')")
262
            proc = agent_workflow.run_command(
263
                agent_workflow.test_command_for(workflow_ab.WORKFLOWS["wide_config_refactor"]), repo,
264
            )
265
            self.assertEqual(proc.returncode, 0, proc.stderr)
266
267
    def test_scripted_unavailable_instrument_row_persists(self):
268
        from oakbench.rows import validate_rows
269
        from oakbench.results import ResultsStore
270
        with tempfile.TemporaryDirectory() as tmp:
271
            repo = Path(tmp)
272
            workflow_ab.make_wide_config_fixture(repo)
273
            finish_configs(repo)
274
            subject = workflow_ab.Subject("git", "git", "Git", Path("/subject/not-reader"))
275
            with mock.patch.object(workflow_oracles, "resolve_git_instrument", return_value=(None, {})):
276
                evidence = workflow_ab.workflow_integrity_fields(subject, workflow_ab.WORKFLOWS["wide_config_refactor"], repo, [])
277
            row = workflow_ab.sum_rows([], {"bench_id": "test", "profile": "test"}, subject,
278
                workflow_ab.WORKFLOWS["wide_config_refactor"], 0, "workflow", "workflow.total", evidence)
279
            self.assertEqual(row["returncode"], 77)
280
            self.assertEqual(validate_rows([row], "workflow"), [])
281
            ResultsStore(repo / "results", "workflow").write("test", [row])
282
283
    def test_workflow_summary_fails_when_trusted_payload_fails(self):
284
        with tempfile.TemporaryDirectory() as tmp:
285
            repo = Path(tmp)
286
            workflow_ab.make_wide_config_fixture(repo)
287
            finish_configs(repo)
288
            (repo / "services/service-0003/config.toml").unlink()
289
            subject = workflow_ab.Subject(name="oak", kind="oak", label="oak", bin=Path("/oak"))
290
            fields = workflow_ab.workflow_integrity_fields(
291
                subject, workflow_ab.WORKFLOWS["wide_config_refactor"], repo, [],
292
            )
293
            self.assertFalse(fields["correctness_passed"])
294
            self.assertIn("config_path_set_mismatch", fields["correctness_failure_reason"])
295
            self.assertEqual(fields["oracle_version"], workflow_oracles.VERSION)
296
297
298
@unittest.skipIf(shutil.which("git") is None, "git not installed")
299
class CommittedWorkflowOracleTest(unittest.TestCase):
300
    def test_subject_binary_never_becomes_committed_tree_reader(self):
301
        with tempfile.TemporaryDirectory() as tmp:
302
            repo = Path(tmp)
303
            workflow_ab.make_wide_config_fixture(repo)
304
            finish_configs(repo)
305
            subject = workflow_ab.Subject("git", "git", "Git candidate", Path("/candidate/git"))
306
            with mock.patch.object(workflow_oracles, "resolve_git_instrument", return_value=(None, {})) as resolve:
307
                workflow_ab.workflow_integrity_fields(subject, workflow_ab.WORKFLOWS["wide_config_refactor"], repo, [])
308
                resolve.assert_called_once_with(None)
309
            command = agent_workflow.test_command_for(workflow_ab.WORKFLOWS["wide_config_refactor"], subject)
310
            self.assertEqual(command[command.index("--binary") + 1], "/candidate/git")
311
            self.assertNotIn("--git-instrument", command)
312
313
    def test_nontrusted_git_records_actual_scoped_head_evidence(self):
314
        with tempfile.TemporaryDirectory() as tmp:
315
            repo = Path(tmp)
316
            workflow_ab.make_bugfix_fixture(repo)
317
            path = repo / "app/pricing.py"
318
            path.write_text(path.read_text().replace("return cents - percent", "return cents - ((cents * percent) // 100)"))
319
            self.git(repo, "init"); self.git(repo, "add", "."); self.git(repo, "commit", "-m", "fixed")
320
            fields = workflow_ab.workflow_integrity_fields(workflow_ab.Subject("git", "git", "Git", Path(shutil.which("git"))),
321
                workflow_ab.WORKFLOWS["bugfix_test_loop"], repo, [])
322
            self.assertTrue(fields["workflow_integrity_passed"])
323
            self.assertEqual(fields["workflow_integrity_evidence_class"], "subject_binary_committed_payload")
324
            self.assertEqual(fields["workflow_subject_binary_sha256"], fields["git_head_instrument_sha256"])
325
326
    def test_task_evidence_resolves_instrument_once(self):
327
        with tempfile.TemporaryDirectory() as tmp:
328
            repo = Path(tmp)
329
            workflow_ab.make_wide_config_fixture(repo)
330
            finish_configs(repo)
331
            actual = workflow_oracles.resolve_git_instrument
332
            with mock.patch.object(workflow_oracles, "resolve_git_instrument", wraps=actual) as resolver:
333
                evidence = workflow_oracles.task_evidence("wide_config_refactor", repo, "git", shutil.which("git"))
334
            self.assertEqual(resolver.call_count, 1)
335
            self.assertFalse(evidence["workflow_integrity_passed"])
336
337
    def test_bound_subject_hashes_are_reused_without_binary_reads(self):
338
        for kind, metadata, expected in (
339
            ("oak", {"oak_export_instrument_sha256": "a" * 64}, "subject_produced_committed_tree"),
340
            ("git", {"workflow_subject_binary_sha256": "a" * 64, "git_head_instrument_sha256": "a" * 64}, "subject_binary_committed_tree"),
341
        ):
342
            with mock.patch.object(Path, "read_bytes", side_effect=AssertionError("redundant binary read")), \
343
                 mock.patch.object(workflow_oracles.shutil, "which", side_effect=AssertionError("redundant subject lookup")):
344
                result = workflow_oracles.reader_evidence(kind, "/subject", metadata)
345
            self.assertEqual(result["workflow_integrity_evidence_class"], expected)
346
347
    def test_killed_git_instrument_is_unmeasured(self):
348
        with mock.patch.object(workflow_oracles, "resolve_git_instrument", return_value=("/git", {})), \
349
             mock.patch.object(workflow_oracles.subprocess, "run", return_value=subprocess.CompletedProcess([], -9, b"", b"")):
350
            self.assertEqual(workflow_oracles.validate_git_head("wide_config_refactor", Path("/tmp")), "git_head_oracle_unavailable")
351
            self.assertEqual(workflow_oracles.git_head_text(Path("/tmp"), "x"), (None, "git_head_oracle_unavailable"))
352
353
    def test_path_instrument_and_missing_instrument_are_not_subject_failures(self):
354
        real_git = shutil.which("git")
355
        with tempfile.TemporaryDirectory() as tmp:
356
            repo = Path(tmp)
357
            workflow_ab.make_wide_config_fixture(repo)
358
            finish_configs(repo)
359
            with mock.patch.object(workflow_oracles.shutil, "which", return_value=None) as lookup:
360
                evidence = workflow_oracles.task_evidence("wide_config_refactor", repo, "git")
361
                lookup.assert_called_with("git")
362
                self.assertIsNone(evidence["workflow_integrity_passed"])
363
                self.assertEqual(evidence["workflow_integrity_unmeasured_reason"], "git_head_oracle_unavailable")
364
                self.assertIsNone(evidence["git_head_instrument_sha256"])
365
                self.assertEqual(evidence["workflow_integrity_evidence_class"], "worktree_payload")
366
            binary, metadata = workflow_oracles.resolve_git_instrument(real_git)
367
            self.assertTrue(Path(binary).is_absolute())
368
            self.assertEqual(len(metadata["git_head_instrument_sha256"]), 64)
369
            self.assertTrue(metadata["git_head_instrument_version"])
370
371
    @unittest.skipUnless(shutil.which("oak"), "Oak installed binary required")
372
    def test_correct_oak_worktree_cannot_hide_partial_checkpoint(self):
373
        binary = shutil.which("oak")
374
        with tempfile.TemporaryDirectory() as tmp:
375
            repo = Path(tmp)
376
            workflow_ab.make_wide_config_fixture(repo)
377
            def oak(*args):
378
                process = subprocess.run([binary, *args], cwd=repo, env=workflow_ab.base_env(), capture_output=True, timeout=60)
379
                self.assertEqual(process.returncode, 0, process.stderr)
380
            oak("init"); oak("commit", "--no-verify")
381
            finish_configs(repo)
382
            oak("commit", "--no-verify", "services/service-0000/config.toml")
383
            self.assertIsNone(workflow_oracles.validate("wide_config_refactor", repo))
384
            evidence = workflow_oracles.task_evidence("wide_config_refactor", repo, "oak", binary)
385
            self.assertIs(evidence["workflow_integrity_passed"], False, evidence)
386
            self.assertEqual(evidence["workflow_integrity_evidence_class"], "subject_produced_committed_tree_attempt")
387
            self.assertIn("git_head_config_payload_mismatch", evidence["workflow_integrity_failure_reason"])
388
            oak("commit", "--no-verify")
389
            verified = workflow_oracles.task_evidence("wide_config_refactor", repo, "oak", binary)
390
            self.assertIs(verified["workflow_integrity_passed"], True, verified)
391
            self.assertNotEqual(evidence["oak_export_head"], verified["oak_export_head"])
392
393
    def git(self, repo, *args):
394
        result = subprocess.run(
395
            [shutil.which("git"), *args], cwd=repo, env=workflow_ab.base_env(),
396
            stdout=subprocess.PIPE, stderr=subprocess.PIPE, text=True,
397
        )
398
        self.assertEqual(result.returncode, 0, result.stderr)
399
400
    def test_correct_worktree_cannot_hide_partial_commit(self):
401
        for name, maker, finish, staged in (
402
            ("wide_config_refactor", workflow_ab.make_wide_config_fixture, finish_configs,
403
             "services/service-0000/config.toml"),
404
            ("large_asset_manifest", workflow_ab.make_large_asset_fixture, finish_assets, "manifest.json"),
405
        ):
406
            with self.subTest(name=name), tempfile.TemporaryDirectory() as tmp:
407
                repo = Path(tmp)
408
                maker(repo)
409
                self.git(repo, "init")
410
                self.git(repo, "add", ".")
411
                if name == "large_asset_manifest":
412
                    self.git(repo, "rm", "--cached", "assets/asset-03.bin")
413
                self.git(repo, "commit", "-m", "initial")
414
                finish(repo)
415
                self.git(repo, "add", staged)
416
                self.git(repo, "commit", "-m", "partial task")
417
                self.assertIsNone(workflow_oracles.validate(name, repo))
418
                self.assertIsNotNone(workflow_oracles.validate_git_head(name, repo))
419
                subject = workflow_ab.Subject(name="git", kind="git", label="Git", bin=Path(shutil.which("git")))
420
                fields = workflow_ab.workflow_integrity_fields(subject, workflow_ab.WORKFLOWS[name], repo, [])
421
                self.assertFalse(fields["correctness_passed"])
422
                proc = agent_workflow.run_command(agent_workflow.test_command_for(workflow_ab.WORKFLOWS[name], subject), repo)
423
                self.assertEqual(proc.returncode, 1, proc.stderr)
424
                self.assertIn("git_head_", proc.stdout)
425
                self.git(repo, "add", ".")
426
                self.git(repo, "commit", "-m", "complete task")
427
                self.assertIsNone(workflow_oracles.validate_git_head(name, repo))
428
                proc = agent_workflow.run_command(agent_workflow.test_command_for(workflow_ab.WORKFLOWS[name], subject), repo)
429
                self.assertEqual(proc.returncode, 0, proc.stderr)
430
                observed = json.loads(proc.stdout)
431
                self.assertEqual(observed["workflow_integrity_evidence_class"], "subject_binary_committed_tree")
432
                self.assertEqual(observed["workflow_subject_binary_sha256"], observed["git_head_instrument_sha256"])
433
434
435
class RealSubjectWorkflowOracleTest(unittest.TestCase):
436
    def test_mock_agent_config_and_asset_tasks_on_real_vcs(self):
437
        for kind in ("git", "oak"):
438
            binary = shutil.which(kind)
439
            if binary is None:
440
                with self.subTest(kind=kind):
441
                    self.skipTest(f"{kind} not installed")
442
                continue
443
            for name in ("wide_config_refactor", "large_asset_manifest"):
444
                with self.subTest(kind=kind, name=name), tempfile.TemporaryDirectory() as tmp:
445
                    root = Path(tmp)
446
                    subject = workflow_ab.Subject(name=kind, kind=kind, label=kind, bin=Path(binary))
447
                    workflow = workflow_ab.WORKFLOWS[name]
448
                    fixture = workflow_ab.prepare_fixture(root, workflow)
449
                    row = agent_workflow.run_one(
450
                        agent=agent_workflow.AgentConfig(name="mock", adapter="deterministic_mock", provider="local",
451
                                                        bin=None, model=None, version="test"),
452
                        subject=subject, workflow=workflow, fixture=fixture, run_index=0,
453
                        run_root=root / "runs", artifacts_root=root / "artifacts", timeout_seconds=300,
454
                        track="agent-default", agent_environment="minimal", instruction_level="full-docs",
455
                        bench_id="oracle-integration", timestamp_utc="2026-09-10T00:00:00Z", source={}, host_meta={},
456
                    )
457
                    self.assertTrue(row["success"], row.get("failure_reason"))
458
                    self.assertEqual(agent_workflow.validate_row(row), [])
459
                    self.assertIn(workflow_oracles.VERSION, row["scenario_version"])
460
                    self.assertEqual(row["oracle_version"], workflow_oracles.VERSION)
461
                    self.assertTrue(row["workflow_integrity_passed"])
462
                    self.assertIn("git_head_instrument_sha256", row)
463
                    from oakbench.populations import comparison_identity
464
                    identity = comparison_identity(row)
465
                    self.assertEqual(identity["oracle_version"], workflow_oracles.VERSION)
466
                    self.assertEqual(identity["env_isolation_version"], agent_workflow.ENV_ISOLATION_VERSION)