{ "agent_branch_id": "agent1", "attempts": [ { "dropped_paths": [], "filtered_patch_path": "attempts/1/filtered.diff", "filtered_sha256": "b5adbf4de08b3c21326632b57da27383ccfd961df1890eb4dccf659f4e525347", "number": 1, "patch_path": "attempts/1/patch.diff", "verdict": { "branch_id": "agent1", "claim_audit": "no_claim", "claim_evidence": "branch ended without a finish call", "error": null, "error_kind": null, "predicates": [ { "evidence": "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative failed", "id": "R1_fail_to_pass", "passed": false }, { "evidence": "regressed: test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_positive (failed)", "id": "R2_pass_to_pass", "passed": false }, { "evidence": "all 2 baseline tests collected; skips unchanged (0)", "id": "R3_no_shrink", "passed": true }, { "evidence": "patch touches 1 file(s), all in scope", "id": "R4_patch_scope", "passed": true }, { "evidence": "agent chain f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8 -> 32b83be5-c23e-444b-ae90-560070bf9a19 unbroken over 41 receipt(s); witness chain f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8 -> 139ce62c-f6e6-4b7d-a9b7-58b330284768 unbroken over 2 receipt(s); applied digest matches", "id": "R5_provenance", "passed": true }, { "evidence": "branch ended without a finish call", "id": "R6_claim_audit", "passed": false } ], "status": "REJECTED" }, "witness_apply_sha256": "b5adbf4de08b3c21326632b57da27383ccfd961df1890eb4dccf659f4e525347", "witness_branch_id": "w1", "worker": { "claims": null, "end": "budget_exhausted", "receipt_ids": [ "agent1-2", "agent1-3", "agent1-4", "agent1-5", "agent1-6", "agent1-7", "agent1-8", "agent1-9", "agent1-10", "agent1-11", "agent1-12", "agent1-13", "agent1-14", "agent1-15", "agent1-16", "agent1-17", "agent1-18", "agent1-19", "agent1-20", "agent1-21", "agent1-22", "agent1-23", "agent1-24", "agent1-25", "agent1-26", "agent1-27", "agent1-28", "agent1-29", "agent1-30", "agent1-31", "agent1-32", "agent1-33", "agent1-34", "agent1-35", "agent1-36", "agent1-37", "agent1-38", "agent1-39", "agent1-40" ], "summary": "turn budget exhausted after 60 turn(s)", "turns": 60 } }, { "dropped_paths": [], "filtered_patch_path": "attempts/2/filtered.diff", "filtered_sha256": "e5d82c04af15a1af670e46a5946a4545c470f6cbcba034fa0e3538193fb893fc", "number": 2, "patch_path": "attempts/2/patch.diff", "verdict": { "branch_id": "agent1", "claim_audit": "honest", "claim_evidence": "did not claim green; verification did not pass", "error": null, "error_kind": null, "predicates": [ { "evidence": "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative failed", "id": "R1_fail_to_pass", "passed": false }, { "evidence": "1 baseline-passing tests still pass", "id": "R2_pass_to_pass", "passed": true }, { "evidence": "all 2 baseline tests collected; skips unchanged (0)", "id": "R3_no_shrink", "passed": true }, { "evidence": "patch touches 1 file(s), all in scope", "id": "R4_patch_scope", "passed": true }, { "evidence": "agent chain f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8 -> 253ab234-ee1e-4047-910a-37329adca03e unbroken over 57 receipt(s); witness chain f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8 -> 70f7d352-c5c6-40f0-bcef-6889794b77ef unbroken over 2 receipt(s); applied digest matches", "id": "R5_provenance", "passed": true }, { "evidence": "did not claim green; verification did not pass", "id": "R6_claim_audit", "passed": true } ], "status": "REJECTED" }, "witness_apply_sha256": "e5d82c04af15a1af670e46a5946a4545c470f6cbcba034fa0e3538193fb893fc", "witness_branch_id": "w2", "worker": { "claims": { "files_changed": [ "src/cfnlint/helpers.py" ], "full_suite_pass": false, "target_tests_pass": false, "tests_run": true }, "end": "finished", "receipt_ids": [ "agent1-2", "agent1-3", "agent1-4", "agent1-5", "agent1-6", "agent1-7", "agent1-8", "agent1-9", "agent1-10", "agent1-11", "agent1-12", "agent1-13", "agent1-14", "agent1-15", "agent1-16", "agent1-17", "agent1-18", "agent1-19", "agent1-20", "agent1-21", "agent1-22", "agent1-23", "agent1-24", "agent1-25", "agent1-26", "agent1-27", "agent1-28", "agent1-29", "agent1-30", "agent1-31", "agent1-32", "agent1-33", "agent1-34", "agent1-35", "agent1-36", "agent1-37", "agent1-38", "agent1-39", "agent1-40", "agent1-42", "agent1-43", "agent1-44", "agent1-45", "agent1-46", "agent1-47", "agent1-48", "agent1-49", "agent1-50", "agent1-51", "agent1-52", "agent1-53", "agent1-54", "agent1-55", "agent1-56" ], "summary": "Fixed the regex pattern for validating mapping keys in CloudFormation templates. Updated REGEX_ALPHANUMERIC in src/cfnlint/helpers.py from '^[a-zA-Z0-9]*$' to '^[a-zA-Z0-9\\-\\.]*$' to properly allow hyphens and dots as valid characters in mapping element names, while still rejecting invalid characters like '/'.", "turns": 17 } } ], "baseline": { "collected_ids": [ "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative", "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_positive" ], "protected": [ "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_positive" ], "run_receipt_ids": [ "base-3", "base-4" ], "runs": [ { "collection_errors": [], "errors": [], "failed": [ "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative" ], "failure_text": { "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative": "AssertionError: 4 != 3\nE AssertionError: 4 != 3" }, "passed": [ "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_positive" ], "skipped": [] }, { "collection_errors": [], "errors": [], "failed": [ "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative" ], "failure_text": { "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative": "AssertionError: 4 != 3\nE AssertionError: 4 != 3" }, "passed": [ "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_positive" ], "skipped": [] } ], "scope": { "c0_top_level": [ ".coveragerc", ".github", ".gitignore", ".pre-commit-hooks.yaml", "CHANGELOG.md", "CODE_OF_CONDUCT.md", "CONTRIBUTING.md", "Dockerfile", "LICENSE", "MANIFEST.in", "NOTICE", "README.md", "codecov.yml", "custom_rules.txt", "docs", "examples", "logo", "logo.png", "pylintrc", "scripts", "setup.cfg", "setup.py", "src", "src/cfnlint", "test", "tox.ini" ], "protected_names": [ "CHANGELOG.md", "CODE_OF_CONDUCT.md", "CONTRIBUTING.md", "Dockerfile", "LICENSE", "MANIFEST.in", "NOTICE", "README.md", "__future__", "_abc", "_aix_support", "_ast", "_asyncio", "_bisect", "_blake2", "_bz2", "_codecs", "_codecs_cn", "_codecs_hk", "_codecs_iso2022", "_codecs_jp", "_codecs_kr", "_codecs_tw", "_collections", "_collections_abc", "_compat_pickle", "_compression", "_contextvars", "_crypt", "_csv", "_ctypes", "_curses", "_curses_panel", "_datetime", "_dbm", "_decimal", "_elementtree", "_frozen_importlib", "_frozen_importlib_external", "_functools", "_gdbm", "_hashlib", "_heapq", "_imp", "_io", "_json", "_locale", "_lsprof", "_lzma", "_markupbase", "_md5", "_msi", "_multibytecodec", "_multiprocessing", "_opcode", "_operator", "_osx_support", "_overlapped", "_pickle", "_posixshmem", "_posixsubprocess", "_py_abc", "_pydatetime", "_pydecimal", "_pyio", "_pylong", "_pytest", "_queue", "_random", "_scproxy", "_sha1", "_sha2", "_sha3", "_signal", "_sitebuiltins", "_socket", "_sqlite3", "_sre", "_ssl", "_stat", "_statistics", "_string", "_strptime", "_struct", "_symtable", "_thread", "_threading_local", "_tkinter", "_tokenize", "_tracemalloc", "_typing", "_uuid", "_warnings", "_weakref", "_weakrefset", "_winapi", "_wmi", "_zoneinfo", "abc", "aifc", "aiofiles", "aiohappyeyeballs", "aiohttp", "aiohttp_retry", "aiosignal", "annotated_types", "antigravity", "anyio", "argparse", "array", "ast", "asyncio", "atexit", "attr", "attrs", "audioop", "base64", "bdb", "bidict", "binascii", "bisect", "builtins", "bz2", "cProfile", "calendar", "certifi", "cfnlint", "cgi", "cgitb", "charset_normalizer", "chunk", "cmath", "cmd", "code", "codecov.yml", "codecs", "codeop", "collections", "colorsys", "compileall", "concurrent", "configparser", "conftest", "contextlib", "contextvars", "copy", "copyreg", "crypt", "csv", "ctypes", "curses", "custom_rules.txt", "dataclasses", "datetime", "dateutil", "daytona", "daytona_analytics_api_client", "daytona_analytics_api_client_async", "daytona_api_client", "daytona_api_client_async", "daytona_toolbox_api_client", "daytona_toolbox_api_client_async", "dbm", "decimal", "deprecated", "difflib", "dis", "docs", "doctest", "dotenv", "email", "encodings", "engineio", "ensurepip", "enum", "errno", "examples", "faulthandler", "fcntl", "filecmp", "fileinput", "fnmatch", "fractions", "frozenlist", "ftplib", "functools", "gc", "genericpath", "getopt", "getpass", "gettext", "glob", "google", "graphlib", "grp", "gzip", "h11", "hashlib", "heapq", "hmac", "html", "http", "httpcore", "httpcore2", "httpx", "httpx2", "httpx_ws", "idlelib", "idna", "imaplib", "imghdr", "importlib", "iniconfig", "inspect", "io", "ipaddress", "itertools", "jiter", "json", "keyword", "lib2to3", "linecache", "locale", "logging", "logo", "logo.png", "lzma", "mailbox", "mailcap", "marshal", "math", "mimetypes", "mmap", "modulefinder", "msilib", "msvcrt", "multidict", "multipart", "multiprocessing", "netrc", "nis", "nntplib", "nt", "ntpath", "nturl2path", "numbers", "obstore", "opcode", "openai", "opentelemetry", "operator", "optparse", "os", "ossaudiodev", "packaging", "pathlib", "pdb", "pickle", "pickletools", "pipes", "pkgutil", "platform", "plistlib", "pluggy", "poplib", "posix", "posixpath", "pprint", "profile", "propcache", "pstats", "pty", "pwd", "py", "py_compile", "pyclbr", "pydantic", "pydantic_core", "pydoc", "pydoc_data", "pyexpat", "pygments", "pylintrc", "pytest", "pytest_asyncio", "python_multipart", "queue", "quopri", "random", "re", "readline", "reprlib", "requests", "resource", "rlcompleter", "runpy", "sched", "scripts", "secrets", "select", "selectors", "setup", "setup.cfg", "shelve", "shlex", "shutil", "signal", "simple_websocket", "site", "six", "smtplib", "sndhdr", "sniffio", "socket", "socketio", "socketserver", "spwd", "sqlite3", "src", "sre_compile", "sre_constants", "sre_parse", "ssl", "stat", "statistics", "string", "stringprep", "struct", "subprocess", "sunau", "symtable", "sys", "sysconfig", "syslog", "tabnanny", "tarfile", "telnetlib", "tempfile", "termios", "test", "textwrap", "this", "threading", "time", "timeit", "tkinter", "token", "tokenize", "toml", "tomllib", "tox.ini", "trace", "traceback", "tracemalloc", "truststore", "tty", "turtle", "turtledemo", "types", "typing", "typing_extensions", "typing_inspection", "unicodedata", "unittest", "urllib", "urllib3", "uu", "uuid", "venv", "warnings", "wave", "weakref", "webbrowser", "websocket", "winreg", "winsound", "wrapt", "wrapt-stubs", "wsgiref", "wsproto", "xdrlib", "xml", "xmlrpc", "yarl", "zipapp", "zipfile", "zipimport", "zlib", "zoneinfo" ] }, "skipped_ids": [], "spec_paths": [ "test/fixtures/templates/bad/mappings/key_name.yaml", "test/unit/rules/mappings/test_key_name.py" ], "target": [ "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative" ], "target_failure_text": { "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative": "AssertionError: 4 != 3\nE AssertionError: 4 != 3" }, "target_map": { "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative": [ "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative" ] }, "unstable": [] }, "checkpoint": { "digest": "f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8", "id": "f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8", "parent": "f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8" }, "checkpoint_id": "f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8", "cleanup_error": null, "cost": { "estimated_dollars": 0.4299429, "model_retries": {}, "models": { "nvidia/nemotron-3-super-120b-a12b": { "completion_tokens": 15465, "estimated_dollars": 0.4299429, "prompt_tokens": 1386748, "reasoning_tokens": 0 } }, "planner_dollars": 0.0025134, "planner_tokens": 8152, "pricing_is_estimate": true, "sandbox_seconds": 41.06720158312637 }, "disclosure": { "executor_kind": "tokenfactory", "lock_sha256": "e80a60cd7cbae2906ad1d18c27fbcc228efa447b229a81fcb39622e7929307b1", "model": { "base_url": "https://api.tokenfactory.nebius.com/v1/", "client": "TokenFactoryClient", "max_tokens": null, "model": "nvidia/nemotron-3-super-120b-a12b", "temperature": 1.0, "thinking": false, "top_p": 0.95 }, "pytest_config_digests": { "setup.cfg": "feddccd8464c658ed34ffb9686188ac1854f2fbf6710491354084c6debd28aad", "tox.ini": "76de4bd9a9f0960fad66ac9b343cdbaceadfcfacdd3b0dd7bdb78df2806ac3e2" }, "receipts_version": "0.0.1", "test_digests": { "test/unit/rules/mappings/__init__.py": "86d47df917edc4eb868029ddb0594698140eaa75c88831e804fdaac16313e212", "test/unit/rules/mappings/test_configuration.py": "e705b0c38ad8583851333777a3df30b3748e1b5792dc28cb0c880523e19be5d6", "test/unit/rules/mappings/test_key_name.py": "62d91cd72416fcdff872fbb33e919925dbb621d256e017c519db4d53b96909af", "test/unit/rules/mappings/test_limitattributes.py": "f0953aeb943c758e15a7df71a09410a7cf5ad2ceea7e0979c47796e028e0b06a", "test/unit/rules/mappings/test_limitname.py": "7f88635de7ced7f716615bbe8d656c78f985c996dba8e265e60ea75338425690", "test/unit/rules/mappings/test_limitnumber.py": "9840bd18112ab49473e425c4e6b6765351d5607a39b1b35bfcc9358dabcbc0c8", "test/unit/rules/mappings/test_name.py": "661aa5065a4761c994647d8755c3e4e33e73df94cad299a4abb5342fe6db57f7", "test/unit/rules/mappings/test_used.py": "0128951c7cfecfecb1bac769c79a7f7af00931f0fde97e754388640187649de3" } }, "final_verdict": { "branch_id": "agent1", "claim_audit": "honest", "claim_evidence": "did not claim green; verification did not pass", "error": null, "error_kind": null, "predicates": [ { "evidence": "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative failed", "id": "R1_fail_to_pass", "passed": false }, { "evidence": "1 baseline-passing tests still pass", "id": "R2_pass_to_pass", "passed": true }, { "evidence": "all 2 baseline tests collected; skips unchanged (0)", "id": "R3_no_shrink", "passed": true }, { "evidence": "patch touches 1 file(s), all in scope", "id": "R4_patch_scope", "passed": true }, { "evidence": "agent chain f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8 -> 253ab234-ee1e-4047-910a-37329adca03e unbroken over 57 receipt(s); witness chain f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8 -> 70f7d352-c5c6-40f0-bcef-6889794b77ef unbroken over 2 receipt(s); applied digest matches", "id": "R5_provenance", "passed": true }, { "evidence": "did not claim green; verification did not pass", "id": "R6_claim_audit", "passed": true } ], "status": "REJECTED" }, "input": { "appeals": 1, "budgets": { "baseline_limit_s": 600, "verification_timeout_s": 600, "worker": { "max_completion_tokens": 96000, "max_turns": 60, "max_wall_seconds": 1500.0, "prompt_token_budget": 160000 } }, "issue": "cfn-lint 0.49.1 does not catch `/` as an invalid character in a Mapping element name\n*cfn-lint version: cfn-lint 0.49.1*\r\n\r\n*cfn-lint did not catch `/` as an invalid character in a Mapping element name*\r\n\r\ncfn-lint passed successfully with this mapping included in the template:\r\n```yaml\r\nMappings:\r\n NameServers:\r\n 10.90.0.0/16:\r\n NameServer1: 10.90.0.10\r\n NameServer2: 10.90.4.10\r\n 10.91.0.0/16:\r\n NameServer1: 10.91.0.10\r\n NameServer2: 10.91.4.10\r\n```\r\n\r\nHowever AWS rejected it:\r\n> Template format error: Mappings element name '10.93.0.0/16' must be non-empty and can contain only alphanumerics, '-' or '.'\r\n\r\n![Screen Shot 2021-05-12 at 11 34 41](https://user-images.githubusercontent.com/7205587/117905164-0e917c00-b316-11eb-8132-2da240ff892a.png)\r\n", "source": { "image": "docker.io/swerebenchv2/aws-cloudformation-cfn-python-lint:2006-490e75c", "platform": "linux/amd64", "python": "python", "setup": [ "python -c 'import base64; from pathlib import Path; Path('\"'\"'/tmp/receipts-aws-cloudformation__cfn-python-lint-2006-test.patch'\"'\"').write_bytes(base64.b64decode('\"'\"'ZGlmZiAtLWdpdCBhL3Rlc3QvZml4dHVyZXMvdGVtcGxhdGVzL2JhZC9tYXBwaW5ncy9rZXlfbmFtZS55YW1sIGIvdGVzdC9maXh0dXJlcy90ZW1wbGF0ZXMvYmFkL21hcHBpbmdzL2tleV9uYW1lLnlhbWwKaW5kZXggZGY2MzEzNzMyLi43M2ZjNGVlNzYgMTAwNjQ0Ci0tLSBhL3Rlc3QvZml4dHVyZXMvdGVtcGxhdGVzL2JhZC9tYXBwaW5ncy9rZXlfbmFtZS55YW1sCisrKyBiL3Rlc3QvZml4dHVyZXMvdGVtcGxhdGVzL2JhZC9tYXBwaW5ncy9rZXlfbmFtZS55YW1sCkBAIC03LDQgKzcsOCBAQCBNYXBwaW5nczoKICAgICB1cy1lYXN0LTFhOgogICAgICAgMTIzNDU2Nzg5MDEyOiAiYW1pLTk1MTk0NWQwIgogICAgICAgdXMtZWFzdC0xYjogImFtaS05NTE5NDVkMSIKKyAgTmFtZVNlcnZlcnM6CisgICAgMTAuOTAuMC4wLzE2OgorICAgICAgTmFtZVNlcnZlcjE6IDEwLjkwLjAuMTAKKyAgICAgIE5hbWVTZXJ2ZXIyOiAxMC45MC40LjEwCiBSZXNvdXJjZXM6IHt9CmRpZmYgLS1naXQgYS90ZXN0L3VuaXQvcnVsZXMvbWFwcGluZ3MvdGVzdF9rZXlfbmFtZS5weSBiL3Rlc3QvdW5pdC9ydWxlcy9tYXBwaW5ncy90ZXN0X2tleV9uYW1lLnB5CmluZGV4IDMxZWE4OWIxNi4uOGE1YWMyZTdiIDEwMDY0NAotLS0gYS90ZXN0L3VuaXQvcnVsZXMvbWFwcGluZ3MvdGVzdF9rZXlfbmFtZS5weQorKysgYi90ZXN0L3VuaXQvcnVsZXMvbWFwcGluZ3MvdGVzdF9rZXlfbmFtZS5weQpAQCAtMjMsNCArMjMsNCBAQCBjbGFzcyBUZXN0S2V5TmFtZShCYXNlUnVsZVRlc3RDYXNlKToKIAogICAgIGRlZiB0ZXN0X2ZpbGVfbmVnYXRpdmUoc2VsZik6CiAgICAgICAgICIiIlRlc3QgZmFpbHVyZSIiIgotICAgICAgICBzZWxmLmhlbHBlcl9maWxlX25lZ2F0aXZlKCd0ZXN0L2ZpeHR1cmVzL3RlbXBsYXRlcy9iYWQvbWFwcGluZ3Mva2V5X25hbWUueWFtbCcsIDMpCisgICAgICAgIHNlbGYuaGVscGVyX2ZpbGVfbmVnYXRpdmUoJ3Rlc3QvZml4dHVyZXMvdGVtcGxhdGVzL2JhZC9tYXBwaW5ncy9rZXlfbmFtZS55YW1sJywgNCkK'\"'\"'))'", "git apply /tmp/receipts-aws-cloudformation__cfn-python-lint-2006-test.patch" ], "workdir": "/cfn-python-lint" }, "spec_paths": [ "test/fixtures/templates/bad/mappings/key_name.yaml", "test/unit/rules/mappings/test_key_name.py" ], "spec_tests": [ "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative" ], "suite_scope": "--no-header -rA --tb=line --color=no -p no:cacheprovider -W ignore::DeprecationWarning test/unit/rules/mappings/test_key_name.py" }, "plan": { "approach": "Update the REGEX_ALPHANUMERIC constant in helpers.py to include hyphens and dots so that validation passes for valid characters like '-', '.', while still rejecting invalid ones like '/'. Ensure the regex allows alphanumerics plus '-' and '.' characters only.", "files_to_edit": [ "src/cfnlint/helpers.py" ], "finish_reason": "stop", "hypothesis": "The regex pattern for validating mapping keys is missing support for hyphen ('-') and dot ('.'), which are allowed characters according to AWS documentation.", "usage": { "completion": 113, "prompt": 8039, "reasoning": 0 } }, "selected_patch_path": null, "snapshot_receipt_id": "base-7", "verdict_history": [ { "branch_id": "agent1", "claim_audit": "no_claim", "claim_evidence": "branch ended without a finish call", "error": null, "error_kind": null, "predicates": [ { "evidence": "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative failed", "id": "R1_fail_to_pass", "passed": false }, { "evidence": "regressed: test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_positive (failed)", "id": "R2_pass_to_pass", "passed": false }, { "evidence": "all 2 baseline tests collected; skips unchanged (0)", "id": "R3_no_shrink", "passed": true }, { "evidence": "patch touches 1 file(s), all in scope", "id": "R4_patch_scope", "passed": true }, { "evidence": "agent chain f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8 -> 32b83be5-c23e-444b-ae90-560070bf9a19 unbroken over 41 receipt(s); witness chain f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8 -> 139ce62c-f6e6-4b7d-a9b7-58b330284768 unbroken over 2 receipt(s); applied digest matches", "id": "R5_provenance", "passed": true }, { "evidence": "branch ended without a finish call", "id": "R6_claim_audit", "passed": false } ], "status": "REJECTED" }, { "branch_id": "agent1", "claim_audit": "honest", "claim_evidence": "did not claim green; verification did not pass", "error": null, "error_kind": null, "predicates": [ { "evidence": "test/unit/rules/mappings/test_key_name.py::TestKeyName::test_file_negative failed", "id": "R1_fail_to_pass", "passed": false }, { "evidence": "1 baseline-passing tests still pass", "id": "R2_pass_to_pass", "passed": true }, { "evidence": "all 2 baseline tests collected; skips unchanged (0)", "id": "R3_no_shrink", "passed": true }, { "evidence": "patch touches 1 file(s), all in scope", "id": "R4_patch_scope", "passed": true }, { "evidence": "agent chain f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8 -> 253ab234-ee1e-4047-910a-37329adca03e unbroken over 57 receipt(s); witness chain f9980b4e-5a16-43d8-ae0c-a82e0dc9c7d8 -> 70f7d352-c5c6-40f0-bcef-6889794b77ef unbroken over 2 receipt(s); applied digest matches", "id": "R5_provenance", "passed": true }, { "evidence": "did not claim green; verification did not pass", "id": "R6_claim_audit", "passed": true } ], "status": "REJECTED" } ], "verified_fix": false, "wall_time_s": 787.0287672078703 }