{ "recorded_at_utc": "2026-10-27T04:53:37.012937+00:00", "python_version": "3.13.3 (main, Apr 8 2025, 13:54:08) [Clang 16.0.0 (clang-1600.0.26.6)]", "platform": "macOS-26.5.1-arm64-arm-64bit-Mach-O", "source_sha256": { "fixture.py": "f65f52465d4eca2ada98cdd1ce949cc8d0df1a8477562c0ebd3178ab3e33f16f", "manuscript.md": "795d10b42d01f42534c41960b3c60c330738549bda4d5828681c5fe04696d2dc" }, "supersedes_fixture_sha256": "2fb61344bc85c658f73622db8bf6b0ef881eab96b88da63d46c5f02e064733c4", "runs": [ { "label": "normal", "command": [ "/opt/homebrew/opt/python@3.13/bin/python3.13", "-B", "fixture.py" ], "cwd": ".", "environment_overrides": { "PYTHONOPTIMIZE": "0", "PYTHONDONTWRITEBYTECODE": "1" }, "exit_code": 0, "stdout": "{\n \"changed\": [\n \"serializer\"\n ],\n \"cross_true_edges_author_supplied\": [\n [\n \"invoice\",\n \"analytics\"\n ],\n [\n \"serializer\",\n \"api\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"demonstration_checks\": \"PASS\",\n \"edge_direction\": \"dependency -> consumer\",\n \"illustrative_cost_units\": {\n \"analytics_test\": 8,\n \"api_test\": 2,\n \"health_test\": 1,\n \"invoice_test\": 5,\n \"serializer_test\": 1\n },\n \"observed_edges\": [\n [\n \"serializer\",\n \"api\"\n ]\n ],\n \"plans\": {\n \"billing_bounded\": {\n \"affected_nodes\": [\n \"api\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 8,\n \"mapping_status\": \"ACCOUNTED_FOR\",\n \"plausible_graph_count\": 4,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 3,\n \"unmapped_affected_nodes\": []\n },\n \"billing_missing_mapping\": {\n \"affected_nodes\": [\n \"api\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 3,\n \"mapping_status\": \"INCOMPLETE\",\n \"plausible_graph_count\": 4,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"api_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 2,\n \"unmapped_affected_nodes\": [\n \"invoice\"\n ]\n },\n \"cross_domain\": {\n \"affected_nodes\": [\n \"analytics\",\n \"api\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 16,\n \"mapping_status\": \"ACCOUNTED_FOR\",\n \"plausible_graph_count\": 8,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"invoice\",\n \"analytics\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 4,\n \"unmapped_affected_nodes\": []\n },\n \"no_exclusion_boundary\": {\n \"affected_nodes\": [\n \"analytics\",\n \"api\",\n \"health\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 17,\n \"mapping_status\": \"ACCOUNTED_FOR\",\n \"plausible_graph_count\": 16,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"invoice\",\n \"analytics\"\n ],\n [\n \"serializer\",\n \"health\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 5,\n \"unmapped_affected_nodes\": []\n }\n },\n \"runs\": {\n \"baseline_cross_full\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"baseline_cross\"\n },\n \"baseline_full\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"baseline\"\n },\n \"candidate_billing_fallback\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_full\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_full_mapped_inventory\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_missing_mapping_fallback\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_observed_targeted\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_repaired_targeted\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"cross_candidate_billing_only\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate_cross\"\n },\n \"cross_candidate_fallback\": {\n \"results\": {\n \"analytics_test\": {\n \"reason\": \"analytics requires invoice amount as a string\",\n \"status\": \"FAIL\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate_cross\"\n }\n },\n \"test_targets\": {\n \"analytics_test\": \"analytics\",\n \"api_test\": \"api\",\n \"health_test\": \"health\",\n \"invoice_test\": \"invoice\",\n \"serializer_test\": \"serializer\"\n },\n \"true_edges_author_supplied\": [\n [\n \"serializer\",\n \"api\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ]\n}\n", "stderr": "", "parsed_output": { "changed": [ "serializer" ], "cross_true_edges_author_supplied": [ [ "invoice", "analytics" ], [ "serializer", "api" ], [ "serializer", "invoice" ] ], "demonstration_checks": "PASS", "edge_direction": "dependency -> consumer", "illustrative_cost_units": { "analytics_test": 8, "api_test": 2, "health_test": 1, "invoice_test": 5, "serializer_test": 1 }, "observed_edges": [ [ "serializer", "api" ] ], "plans": { "billing_bounded": { "affected_nodes": [ "api", "invoice", "serializer" ], "illustrative_cost_units": 8, "mapping_status": "ACCOUNTED_FOR", "plausible_graph_count": 4, "possible_edges": [ [ "api", "invoice" ], [ "serializer", "invoice" ] ], "selected": [ "api_test", "invoice_test", "serializer_test" ], "selected_count": 3, "unmapped_affected_nodes": [] }, "billing_missing_mapping": { "affected_nodes": [ "api", "invoice", "serializer" ], "illustrative_cost_units": 3, "mapping_status": "INCOMPLETE", "plausible_graph_count": 4, "possible_edges": [ [ "api", "invoice" ], [ "serializer", "invoice" ] ], "selected": [ "api_test", "serializer_test" ], "selected_count": 2, "unmapped_affected_nodes": [ "invoice" ] }, "cross_domain": { "affected_nodes": [ "analytics", "api", "invoice", "serializer" ], "illustrative_cost_units": 16, "mapping_status": "ACCOUNTED_FOR", "plausible_graph_count": 8, "possible_edges": [ [ "api", "invoice" ], [ "invoice", "analytics" ], [ "serializer", "invoice" ] ], "selected": [ "analytics_test", "api_test", "invoice_test", "serializer_test" ], "selected_count": 4, "unmapped_affected_nodes": [] }, "no_exclusion_boundary": { "affected_nodes": [ "analytics", "api", "health", "invoice", "serializer" ], "illustrative_cost_units": 17, "mapping_status": "ACCOUNTED_FOR", "plausible_graph_count": 16, "possible_edges": [ [ "api", "invoice" ], [ "invoice", "analytics" ], [ "serializer", "health" ], [ "serializer", "invoice" ] ], "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "selected_count": 5, "unmapped_affected_nodes": [] } }, "runs": { "baseline_cross_full": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "invoice_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "version": "baseline_cross" }, "baseline_full": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "invoice_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "version": "baseline" }, "candidate_billing_fallback": { "results": { "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "invoice_test", "serializer_test" ], "version": "candidate" }, "candidate_full": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "version": "candidate" }, "candidate_full_mapped_inventory": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "serializer_test" ], "version": "candidate" }, "candidate_missing_mapping_fallback": { "results": { "api_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "serializer_test" ], "version": "candidate" }, "candidate_observed_targeted": { "results": { "api_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "serializer_test" ], "version": "candidate" }, "candidate_repaired_targeted": { "results": { "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "invoice_test", "serializer_test" ], "version": "candidate" }, "cross_candidate_billing_only": { "results": { "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "invoice_test", "serializer_test" ], "version": "candidate_cross" }, "cross_candidate_fallback": { "results": { "analytics_test": { "reason": "analytics requires invoice amount as a string", "status": "FAIL" }, "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "invoice_test", "serializer_test" ], "version": "candidate_cross" } }, "test_targets": { "analytics_test": "analytics", "api_test": "api", "health_test": "health", "invoice_test": "invoice", "serializer_test": "serializer" }, "true_edges_author_supplied": [ [ "serializer", "api" ], [ "serializer", "invoice" ] ] } }, { "label": "optimized_flag", "command": [ "/opt/homebrew/opt/python@3.13/bin/python3.13", "-B", "-O", "fixture.py" ], "cwd": ".", "environment_overrides": { "PYTHONOPTIMIZE": "0", "PYTHONDONTWRITEBYTECODE": "1" }, "exit_code": 0, "stdout": "{\n \"changed\": [\n \"serializer\"\n ],\n \"cross_true_edges_author_supplied\": [\n [\n \"invoice\",\n \"analytics\"\n ],\n [\n \"serializer\",\n \"api\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"demonstration_checks\": \"PASS\",\n \"edge_direction\": \"dependency -> consumer\",\n \"illustrative_cost_units\": {\n \"analytics_test\": 8,\n \"api_test\": 2,\n \"health_test\": 1,\n \"invoice_test\": 5,\n \"serializer_test\": 1\n },\n \"observed_edges\": [\n [\n \"serializer\",\n \"api\"\n ]\n ],\n \"plans\": {\n \"billing_bounded\": {\n \"affected_nodes\": [\n \"api\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 8,\n \"mapping_status\": \"ACCOUNTED_FOR\",\n \"plausible_graph_count\": 4,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 3,\n \"unmapped_affected_nodes\": []\n },\n \"billing_missing_mapping\": {\n \"affected_nodes\": [\n \"api\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 3,\n \"mapping_status\": \"INCOMPLETE\",\n \"plausible_graph_count\": 4,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"api_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 2,\n \"unmapped_affected_nodes\": [\n \"invoice\"\n ]\n },\n \"cross_domain\": {\n \"affected_nodes\": [\n \"analytics\",\n \"api\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 16,\n \"mapping_status\": \"ACCOUNTED_FOR\",\n \"plausible_graph_count\": 8,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"invoice\",\n \"analytics\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 4,\n \"unmapped_affected_nodes\": []\n },\n \"no_exclusion_boundary\": {\n \"affected_nodes\": [\n \"analytics\",\n \"api\",\n \"health\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 17,\n \"mapping_status\": \"ACCOUNTED_FOR\",\n \"plausible_graph_count\": 16,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"invoice\",\n \"analytics\"\n ],\n [\n \"serializer\",\n \"health\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 5,\n \"unmapped_affected_nodes\": []\n }\n },\n \"runs\": {\n \"baseline_cross_full\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"baseline_cross\"\n },\n \"baseline_full\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"baseline\"\n },\n \"candidate_billing_fallback\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_full\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_full_mapped_inventory\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_missing_mapping_fallback\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_observed_targeted\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_repaired_targeted\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"cross_candidate_billing_only\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate_cross\"\n },\n \"cross_candidate_fallback\": {\n \"results\": {\n \"analytics_test\": {\n \"reason\": \"analytics requires invoice amount as a string\",\n \"status\": \"FAIL\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate_cross\"\n }\n },\n \"test_targets\": {\n \"analytics_test\": \"analytics\",\n \"api_test\": \"api\",\n \"health_test\": \"health\",\n \"invoice_test\": \"invoice\",\n \"serializer_test\": \"serializer\"\n },\n \"true_edges_author_supplied\": [\n [\n \"serializer\",\n \"api\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ]\n}\n", "stderr": "", "parsed_output": { "changed": [ "serializer" ], "cross_true_edges_author_supplied": [ [ "invoice", "analytics" ], [ "serializer", "api" ], [ "serializer", "invoice" ] ], "demonstration_checks": "PASS", "edge_direction": "dependency -> consumer", "illustrative_cost_units": { "analytics_test": 8, "api_test": 2, "health_test": 1, "invoice_test": 5, "serializer_test": 1 }, "observed_edges": [ [ "serializer", "api" ] ], "plans": { "billing_bounded": { "affected_nodes": [ "api", "invoice", "serializer" ], "illustrative_cost_units": 8, "mapping_status": "ACCOUNTED_FOR", "plausible_graph_count": 4, "possible_edges": [ [ "api", "invoice" ], [ "serializer", "invoice" ] ], "selected": [ "api_test", "invoice_test", "serializer_test" ], "selected_count": 3, "unmapped_affected_nodes": [] }, "billing_missing_mapping": { "affected_nodes": [ "api", "invoice", "serializer" ], "illustrative_cost_units": 3, "mapping_status": "INCOMPLETE", "plausible_graph_count": 4, "possible_edges": [ [ "api", "invoice" ], [ "serializer", "invoice" ] ], "selected": [ "api_test", "serializer_test" ], "selected_count": 2, "unmapped_affected_nodes": [ "invoice" ] }, "cross_domain": { "affected_nodes": [ "analytics", "api", "invoice", "serializer" ], "illustrative_cost_units": 16, "mapping_status": "ACCOUNTED_FOR", "plausible_graph_count": 8, "possible_edges": [ [ "api", "invoice" ], [ "invoice", "analytics" ], [ "serializer", "invoice" ] ], "selected": [ "analytics_test", "api_test", "invoice_test", "serializer_test" ], "selected_count": 4, "unmapped_affected_nodes": [] }, "no_exclusion_boundary": { "affected_nodes": [ "analytics", "api", "health", "invoice", "serializer" ], "illustrative_cost_units": 17, "mapping_status": "ACCOUNTED_FOR", "plausible_graph_count": 16, "possible_edges": [ [ "api", "invoice" ], [ "invoice", "analytics" ], [ "serializer", "health" ], [ "serializer", "invoice" ] ], "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "selected_count": 5, "unmapped_affected_nodes": [] } }, "runs": { "baseline_cross_full": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "invoice_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "version": "baseline_cross" }, "baseline_full": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "invoice_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "version": "baseline" }, "candidate_billing_fallback": { "results": { "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "invoice_test", "serializer_test" ], "version": "candidate" }, "candidate_full": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "version": "candidate" }, "candidate_full_mapped_inventory": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "serializer_test" ], "version": "candidate" }, "candidate_missing_mapping_fallback": { "results": { "api_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "serializer_test" ], "version": "candidate" }, "candidate_observed_targeted": { "results": { "api_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "serializer_test" ], "version": "candidate" }, "candidate_repaired_targeted": { "results": { "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "invoice_test", "serializer_test" ], "version": "candidate" }, "cross_candidate_billing_only": { "results": { "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "invoice_test", "serializer_test" ], "version": "candidate_cross" }, "cross_candidate_fallback": { "results": { "analytics_test": { "reason": "analytics requires invoice amount as a string", "status": "FAIL" }, "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "invoice_test", "serializer_test" ], "version": "candidate_cross" } }, "test_targets": { "analytics_test": "analytics", "api_test": "api", "health_test": "health", "invoice_test": "invoice", "serializer_test": "serializer" }, "true_edges_author_supplied": [ [ "serializer", "api" ], [ "serializer", "invoice" ] ] } }, { "label": "optimized_environment", "command": [ "/opt/homebrew/opt/python@3.13/bin/python3.13", "-B", "fixture.py" ], "cwd": ".", "environment_overrides": { "PYTHONOPTIMIZE": "1", "PYTHONDONTWRITEBYTECODE": "1" }, "exit_code": 0, "stdout": "{\n \"changed\": [\n \"serializer\"\n ],\n \"cross_true_edges_author_supplied\": [\n [\n \"invoice\",\n \"analytics\"\n ],\n [\n \"serializer\",\n \"api\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"demonstration_checks\": \"PASS\",\n \"edge_direction\": \"dependency -> consumer\",\n \"illustrative_cost_units\": {\n \"analytics_test\": 8,\n \"api_test\": 2,\n \"health_test\": 1,\n \"invoice_test\": 5,\n \"serializer_test\": 1\n },\n \"observed_edges\": [\n [\n \"serializer\",\n \"api\"\n ]\n ],\n \"plans\": {\n \"billing_bounded\": {\n \"affected_nodes\": [\n \"api\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 8,\n \"mapping_status\": \"ACCOUNTED_FOR\",\n \"plausible_graph_count\": 4,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 3,\n \"unmapped_affected_nodes\": []\n },\n \"billing_missing_mapping\": {\n \"affected_nodes\": [\n \"api\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 3,\n \"mapping_status\": \"INCOMPLETE\",\n \"plausible_graph_count\": 4,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"api_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 2,\n \"unmapped_affected_nodes\": [\n \"invoice\"\n ]\n },\n \"cross_domain\": {\n \"affected_nodes\": [\n \"analytics\",\n \"api\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 16,\n \"mapping_status\": \"ACCOUNTED_FOR\",\n \"plausible_graph_count\": 8,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"invoice\",\n \"analytics\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 4,\n \"unmapped_affected_nodes\": []\n },\n \"no_exclusion_boundary\": {\n \"affected_nodes\": [\n \"analytics\",\n \"api\",\n \"health\",\n \"invoice\",\n \"serializer\"\n ],\n \"illustrative_cost_units\": 17,\n \"mapping_status\": \"ACCOUNTED_FOR\",\n \"plausible_graph_count\": 16,\n \"possible_edges\": [\n [\n \"api\",\n \"invoice\"\n ],\n [\n \"invoice\",\n \"analytics\"\n ],\n [\n \"serializer\",\n \"health\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ],\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"selected_count\": 5,\n \"unmapped_affected_nodes\": []\n }\n },\n \"runs\": {\n \"baseline_cross_full\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"baseline_cross\"\n },\n \"baseline_full\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"baseline\"\n },\n \"candidate_billing_fallback\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_full\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_full_mapped_inventory\": {\n \"results\": {\n \"analytics_test\": {\n \"status\": \"PASS\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"health_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"health_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_missing_mapping_fallback\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_observed_targeted\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"candidate_repaired_targeted\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate\"\n },\n \"cross_candidate_billing_only\": {\n \"results\": {\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate_cross\"\n },\n \"cross_candidate_fallback\": {\n \"results\": {\n \"analytics_test\": {\n \"reason\": \"analytics requires invoice amount as a string\",\n \"status\": \"FAIL\"\n },\n \"api_test\": {\n \"status\": \"PASS\"\n },\n \"invoice_test\": {\n \"reason\": \"invoice requires amount as a string\",\n \"status\": \"FAIL\"\n },\n \"serializer_test\": {\n \"status\": \"PASS\"\n }\n },\n \"selected\": [\n \"analytics_test\",\n \"api_test\",\n \"invoice_test\",\n \"serializer_test\"\n ],\n \"version\": \"candidate_cross\"\n }\n },\n \"test_targets\": {\n \"analytics_test\": \"analytics\",\n \"api_test\": \"api\",\n \"health_test\": \"health\",\n \"invoice_test\": \"invoice\",\n \"serializer_test\": \"serializer\"\n },\n \"true_edges_author_supplied\": [\n [\n \"serializer\",\n \"api\"\n ],\n [\n \"serializer\",\n \"invoice\"\n ]\n ]\n}\n", "stderr": "", "parsed_output": { "changed": [ "serializer" ], "cross_true_edges_author_supplied": [ [ "invoice", "analytics" ], [ "serializer", "api" ], [ "serializer", "invoice" ] ], "demonstration_checks": "PASS", "edge_direction": "dependency -> consumer", "illustrative_cost_units": { "analytics_test": 8, "api_test": 2, "health_test": 1, "invoice_test": 5, "serializer_test": 1 }, "observed_edges": [ [ "serializer", "api" ] ], "plans": { "billing_bounded": { "affected_nodes": [ "api", "invoice", "serializer" ], "illustrative_cost_units": 8, "mapping_status": "ACCOUNTED_FOR", "plausible_graph_count": 4, "possible_edges": [ [ "api", "invoice" ], [ "serializer", "invoice" ] ], "selected": [ "api_test", "invoice_test", "serializer_test" ], "selected_count": 3, "unmapped_affected_nodes": [] }, "billing_missing_mapping": { "affected_nodes": [ "api", "invoice", "serializer" ], "illustrative_cost_units": 3, "mapping_status": "INCOMPLETE", "plausible_graph_count": 4, "possible_edges": [ [ "api", "invoice" ], [ "serializer", "invoice" ] ], "selected": [ "api_test", "serializer_test" ], "selected_count": 2, "unmapped_affected_nodes": [ "invoice" ] }, "cross_domain": { "affected_nodes": [ "analytics", "api", "invoice", "serializer" ], "illustrative_cost_units": 16, "mapping_status": "ACCOUNTED_FOR", "plausible_graph_count": 8, "possible_edges": [ [ "api", "invoice" ], [ "invoice", "analytics" ], [ "serializer", "invoice" ] ], "selected": [ "analytics_test", "api_test", "invoice_test", "serializer_test" ], "selected_count": 4, "unmapped_affected_nodes": [] }, "no_exclusion_boundary": { "affected_nodes": [ "analytics", "api", "health", "invoice", "serializer" ], "illustrative_cost_units": 17, "mapping_status": "ACCOUNTED_FOR", "plausible_graph_count": 16, "possible_edges": [ [ "api", "invoice" ], [ "invoice", "analytics" ], [ "serializer", "health" ], [ "serializer", "invoice" ] ], "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "selected_count": 5, "unmapped_affected_nodes": [] } }, "runs": { "baseline_cross_full": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "invoice_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "version": "baseline_cross" }, "baseline_full": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "invoice_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "version": "baseline" }, "candidate_billing_fallback": { "results": { "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "invoice_test", "serializer_test" ], "version": "candidate" }, "candidate_full": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "invoice_test", "serializer_test" ], "version": "candidate" }, "candidate_full_mapped_inventory": { "results": { "analytics_test": { "status": "PASS" }, "api_test": { "status": "PASS" }, "health_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "health_test", "serializer_test" ], "version": "candidate" }, "candidate_missing_mapping_fallback": { "results": { "api_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "serializer_test" ], "version": "candidate" }, "candidate_observed_targeted": { "results": { "api_test": { "status": "PASS" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "serializer_test" ], "version": "candidate" }, "candidate_repaired_targeted": { "results": { "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "invoice_test", "serializer_test" ], "version": "candidate" }, "cross_candidate_billing_only": { "results": { "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "api_test", "invoice_test", "serializer_test" ], "version": "candidate_cross" }, "cross_candidate_fallback": { "results": { "analytics_test": { "reason": "analytics requires invoice amount as a string", "status": "FAIL" }, "api_test": { "status": "PASS" }, "invoice_test": { "reason": "invoice requires amount as a string", "status": "FAIL" }, "serializer_test": { "status": "PASS" } }, "selected": [ "analytics_test", "api_test", "invoice_test", "serializer_test" ], "version": "candidate_cross" } }, "test_targets": { "analytics_test": "analytics", "api_test": "api", "health_test": "health", "invoice_test": "invoice", "serializer_test": "serializer" }, "true_edges_author_supplied": [ [ "serializer", "api" ], [ "serializer", "invoice" ] ] } } ], "oracle_falsification_probes": [ { "label": "normal", "command": [ "/opt/homebrew/opt/python@3.13/bin/python3.13", "-B", "-c", "import fixture; fixture.TESTS['invoice_test'] = lambda version: None; fixture.main()" ], "environment_overrides": { "PYTHONOPTIMIZE": "0", "PYTHONDONTWRITEBYTECODE": "1" }, "exit_code": 1, "stdout": "", "stderr": "Traceback (most recent call last):\n File \"\", line 1, in \n import fixture; fixture.TESTS['invoice_test'] = lambda version: None; fixture.main()\n ~~~~~~~~~~~~^^\n File \"./fixture.py\", line 138, in main\n expect(runs[label][\"results\"][\"invoice_test\"][\"status\"] == \"FAIL\", label + \" invoice failure\")\n ~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n File \"./fixture.py\", line 35, in expect\n raise RuntimeError(\"demonstration expectation failed: \" + message)\nRuntimeError: demonstration expectation failed: candidate_full invoice failure\n", "expected": "nonzero; deliberately disabled invoice check invalidates demonstration" }, { "label": "optimized_flag", "command": [ "/opt/homebrew/opt/python@3.13/bin/python3.13", "-B", "-O", "-c", "import fixture; fixture.TESTS['invoice_test'] = lambda version: None; fixture.main()" ], "environment_overrides": { "PYTHONOPTIMIZE": "0", "PYTHONDONTWRITEBYTECODE": "1" }, "exit_code": 1, "stdout": "", "stderr": "Traceback (most recent call last):\n File \"\", line 1, in \n import fixture; fixture.TESTS['invoice_test'] = lambda version: None; fixture.main()\n ~~~~~~~~~~~~^^\n File \"./fixture.py\", line 138, in main\n expect(runs[label][\"results\"][\"invoice_test\"][\"status\"] == \"FAIL\", label + \" invoice failure\")\n ~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n File \"./fixture.py\", line 35, in expect\n raise RuntimeError(\"demonstration expectation failed: \" + message)\nRuntimeError: demonstration expectation failed: candidate_full invoice failure\n", "expected": "nonzero; deliberately disabled invoice check invalidates demonstration" }, { "label": "optimized_environment", "command": [ "/opt/homebrew/opt/python@3.13/bin/python3.13", "-B", "-c", "import fixture; fixture.TESTS['invoice_test'] = lambda version: None; fixture.main()" ], "environment_overrides": { "PYTHONOPTIMIZE": "1", "PYTHONDONTWRITEBYTECODE": "1" }, "exit_code": 1, "stdout": "", "stderr": "Traceback (most recent call last):\n File \"\", line 1, in \n import fixture; fixture.TESTS['invoice_test'] = lambda version: None; fixture.main()\n ~~~~~~~~~~~~^^\n File \"./fixture.py\", line 138, in main\n expect(runs[label][\"results\"][\"invoice_test\"][\"status\"] == \"FAIL\", label + \" invoice failure\")\n ~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n File \"./fixture.py\", line 35, in expect\n raise RuntimeError(\"demonstration expectation failed: \" + message)\nRuntimeError: demonstration expectation failed: candidate_full invoice failure\n", "expected": "nonzero; deliberately disabled invoice check invalidates demonstration" } ], "verification": "three interpreter modes produce identical checked results; all three falsification probes reject", "publication_note": "Local workstation paths redacted; observed outcomes and source hashes retained." }