sorokin.oleg.edu/ARCADIA-Studio
1
0
Fork 0
Code Issues 37 Pull Requests 2 Packages Projects Releases 9 Wiki Activity

Include the raw verification and control logs

Browse Source
This commit is contained in:
sorokin.oleg.edu
2026-09-23 11:21:23 -07:00
parent 983061fa15
commit 85cc27fed0
40 changed files with 593 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/aliased-exact-clock-receipt/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Gate not closed
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/aliased-exact-clock-receipt/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-clock-receipt/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Direct historical binding differs
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-clock-receipt/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-final-formatting-location/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Final formatting failure scope changed
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-final-formatting-location/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-known-failure-cause/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Failure cause changed: language::nesting_tests::checked_in_example_supports_cross_file_reparent_without_changing_allocations
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-known-failure-cause/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-new-outcome/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Runtime status mismatch
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-new-outcome/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-extra-filter-argv/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Unexpected direct executable argv
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-extra-filter-argv/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-fake-cargo-line/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Direct output contains a fabricated Cargo invocation line
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-fake-cargo-line/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-missing-bound-postcheck/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Direct bound-file postcheck coverage differs
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-missing-bound-postcheck/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-old-before-artifact/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Direct artifact changed or differs from focused binary
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-old-before-artifact/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-recorded-launch-failure/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Direct invocation did not close cleanly
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-recorded-launch-failure/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/duplicate-zip-member/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Duplicate ZIP members
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/duplicate-zip-member/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/forged-current-git-input/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Git input bytes mismatch: crates/oa-core/src/language.rs
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/forged-current-git-input/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-direct-listing/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: 'gates/mixed-direct-list-a578-1.result.json'
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-direct-listing/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-intermediate-strict/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Required checkpoint gates missing/ambiguous
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-intermediate-strict/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-new-outcome/stderr.log
+1
View File
@@ -0,0 +1 @@
REFUSED: Missing/extra runtime outcomes
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-new-outcome/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/unchanged-real-package/stderr.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/cases/unchanged-real-package/stdout.log
+251
View File
@@ -0,0 +1,251 @@
{
"source": "a578ac98a06772a60bec00ae287e65650680d119",
"full_suite": "FAILED",
"full_exit": 101,
"listed": 194,
"prior_173_retained": 173,
"typed_passed_in_full": 85,
"mixed_focused_passed": 20,
"full_passed": 178,
"full_failed": 16,
"old_152_statuses_unchanged": 152,
"new_42_passes": [
"language::analysis_source::index::tests::arena_rejects_duplicate_sites_occurrences_and_wrong_callee_labels",
"language::analysis_source::index::tests::arena_rejects_forward_cycles_and_cross_owner_field_file_parents",
"language::analysis_source::index::tests::deep_parse_index_plan_and_failed_build_cleanup_on_128k_stack",
"language::analysis_source::index::tests::index_checks_every_expression_edge_and_keeps_override_fields_distinct",
"language::analysis_source::index::tests::index_has_shared_budget_and_never_stabilizes_missing_ids",
"language::analysis_source::index::tests::index_rejects_comment_partial_and_non_utf8_occurrence_spans",
"language::analysis_source::index::tests::maximum_index_paths_compare_lookup_debug_and_drop_on_128k_stack",
"language::analysis_source::index::tests::repeated_reordered_calls_have_stable_full_paths_and_four_labels",
"language::analysis_source::index::tests::staged_index_preserves_complete_oa_sa_models_and_original_file_spans",
"language::analysis_source::mixed::tests::all_short_typed_roots_share_original_buffers_without_public_activation",
"language::analysis_source::mixed::tests::caller_declaration_counts_are_aggregate_and_checked_before_typed_header_allocation",
"language::analysis_source::mixed::tests::diamond_includes_return_one_canonical_file_table_and_scan_dependency_once",
"language::analysis_source::mixed::tests::duplicate_ordinary_ids_keep_occurrences_and_scoped_parameter_ids_remain_distinct",
"language::analysis_source::mixed::tests::every_identity_class_requires_authored_ids_without_mutating_the_bundle",
"language::analysis_source::mixed::tests::exact_shared_profile_limits_include_nonlatching_metadata_phase_failures",
"language::analysis_source::mixed::tests::exact_work_and_reference_occurrences_accumulate_across_files",
"language::analysis_source::mixed::tests::interleaved_unicode_crlf_has_original_typed_and_ordinary_coordinates",
"language::analysis_source::mixed::tests::mixed_deep_typed_success_and_rejection_cleanup_on_128k_stack",
"language::analysis_source::mixed::tests::mixed_typed_reference_limit_is_inherited_without_charging_ordinary_parent_refs",
"language::analysis_source::mixed::tests::ordinary_model_records_and_parent_reference_are_not_syntax_or_step_limits",
"language::analysis_source::mixed::tests::ordinary_numeric_adjacency_and_malformed_trivia_match_legacy_refusals",
"language::analysis_source::mixed::tests::ordinary_signed_numbers_keep_complete_nested_value_and_field_ends",
"language::analysis_source::mixed::tests::ordinary_value_depth_boundary_remains_64_in_both_parser_views",
"language::analysis_source::mixed::tests::private_aggregate_preflights_run_before_traversal_path_allocation",
"language::analysis_source::mixed::tests::syntax_entries_accumulate_across_both_ordinary_and_typed_producer_orders",
"language::analysis_source::mixed::tests::typed_numeric_work_remains_in_the_same_inherited_profile",
"language::analysis_source::mixed::tests::typed_words_are_contextual_but_typed_headers_cannot_nest_in_ordinary_bodies",
"language::analysis_source::mixed::tests::whole_bundle_rejects_missing_unreachable_cyclic_and_noncanonical_files",
"language::analysis_source::mixed::tests::witness_retains_exact_caller_policy_separately_from_syntax_storage",
"language::analysis_source::tests::every_parent_shape_rejects_depth129_and_cleans_children_on_128k_stack",
"language::analysis_source::update::tests::alias_edits_preserve_unit_type_override_tokens_and_unrelated_authored_bytes",
"language::analysis_source::update::tests::composition_checks_edit_record_ceiling_before_duplicate_membership",
"language::analysis_source::update::tests::composition_defers_only_typed_output_size_with_independent_shrink_arithmetic",
"language::analysis_source::update::tests::composition_exports_complete_borrowed_swap_witnesses_and_empty_noops",
"language::analysis_source::update::tests::composition_keeps_name_storage_and_rename_record_limits_before_allocation",
"language::analysis_source::update::tests::composition_rejects_stale_or_damaged_complete_batches_before_export",
"language::analysis_source::update::tests::output_and_plan_limits_are_aggregate_and_do_not_reset_parse_work",
"language::analysis_source::update::tests::rename_rejects_unknown_invalid_and_colliding_final_names_but_allows_noop",
"language::analysis_source::update::tests::simultaneous_global_and_scoped_swaps_match_original_token_and_whole_model_oracles",
"language::analysis_source::update::tests::stale_file_sets_bytes_forged_spans_and_duplicate_edits_fail_before_output",
"language::analysis_source::update::tests::standalone_noop_apply_keeps_tighter_file_only_budget_and_output_boundary",
"source_project::traversal::tests::ordinary_compile_once_keeps_include_order_and_cycle_source_location"
],
"known_failure_names": [
"language::nesting_tests::checked_in_example_supports_cross_file_reparent_without_changing_allocations",
"language::nesting_tests::checked_in_nested_example_has_stable_ids_typed_exchanges_and_three_clear_views",
"language::nesting_tests::nested_elements_infer_only_parent_and_keep_typed_fields_and_allocations_explicit",
"language::nesting_tests::nested_fragment_id_stabilization_preserves_comments_and_indexes_real_bytes",
"language::nesting_tests::non_elements_includes_and_declarations_inside_typed_values_are_rejected",
"language::nesting_tests::normative_nested_ownership_example_compiles_as_a_source_fragment",
"source_files::transaction_tests::interrupted_publication_without_write_marker_never_rolls_back_external_matching_bytes",
"source_files::transaction_tests::interrupted_save_and_interrupted_recovery_can_both_be_resumed",
"source_files::transaction_tests::malformed_v2_write_marker_refuses_recovery_without_changing_source_bytes",
"source_files::transaction_tests::partial_save_failures_restore_every_original_and_write_entry_last",
"source_files::transaction_tests::recovery_before_any_write_accepts_v2_marker_and_keeps_v1_rollback_compatibility",
"source_files::transaction_tests::recovery_rechecks_external_changes_between_restorations",
"source_files::transaction_tests::recovery_rejects_untrusted_escape_paths_before_touching_files",
"source_files::transaction_tests::rollback_refuses_external_edits_even_in_an_unchanged_dependency",
"source_files::transaction_tests::rollback_removes_only_our_new_file_and_retains_detached_files",
"source_files::transaction_tests::unwritten_journal_never_rolls_back_a_completed_writer_with_identical_after_bytes"
],
"new_since_173": [
"language::analysis_source::mixed::tests::all_short_typed_roots_share_original_buffers_without_public_activation",
"language::analysis_source::mixed::tests::caller_declaration_counts_are_aggregate_and_checked_before_typed_header_allocation",
"language::analysis_source::mixed::tests::diamond_includes_return_one_canonical_file_table_and_scan_dependency_once",
"language::analysis_source::mixed::tests::duplicate_ordinary_ids_keep_occurrences_and_scoped_parameter_ids_remain_distinct",
"language::analysis_source::mixed::tests::every_identity_class_requires_authored_ids_without_mutating_the_bundle",
"language::analysis_source::mixed::tests::exact_shared_profile_limits_include_nonlatching_metadata_phase_failures",
"language::analysis_source::mixed::tests::exact_work_and_reference_occurrences_accumulate_across_files",
"language::analysis_source::mixed::tests::interleaved_unicode_crlf_has_original_typed_and_ordinary_coordinates",
"language::analysis_source::mixed::tests::mixed_deep_typed_success_and_rejection_cleanup_on_128k_stack",
"language::analysis_source::mixed::tests::mixed_typed_reference_limit_is_inherited_without_charging_ordinary_parent_refs",
"language::analysis_source::mixed::tests::ordinary_model_records_and_parent_reference_are_not_syntax_or_step_limits",
"language::analysis_source::mixed::tests::ordinary_numeric_adjacency_and_malformed_trivia_match_legacy_refusals",
"language::analysis_source::mixed::tests::ordinary_signed_numbers_keep_complete_nested_value_and_field_ends",
"language::analysis_source::mixed::tests::ordinary_value_depth_boundary_remains_64_in_both_parser_views",
"language::analysis_source::mixed::tests::private_aggregate_preflights_run_before_traversal_path_allocation",
"language::analysis_source::mixed::tests::syntax_entries_accumulate_across_both_ordinary_and_typed_producer_orders",
"language::analysis_source::mixed::tests::typed_numeric_work_remains_in_the_same_inherited_profile",
"language::analysis_source::mixed::tests::typed_words_are_contextual_but_typed_headers_cannot_nest_in_ordinary_bodies",
"language::analysis_source::mixed::tests::whole_bundle_rejects_missing_unreachable_cyclic_and_noncanonical_files",
"language::analysis_source::mixed::tests::witness_retains_exact_caller_policy_separately_from_syntax_storage",
"source_project::traversal::tests::ordinary_compile_once_keeps_include_order_and_cycle_source_location"
],
"test_artifact": {
"path": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\analysis-checked-save-target-20260913\\debug\\deps\\oa_core-416e35542925bed6.exe",
"bytes": 39706624,
"sha256": "089d7b0389bb3f4e98fd350d4d7504294087ce3fc84035672c781547c8a71881"
},
"strict_core_all_targets": "PASS",
"strict_exit": 0,
"fmt_exit": 1,
"full_invocation": "direct-executable",
"listing_artifacts": [
{
"invocation": "direct-executable",
"artifacts": [
{
"path": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\analysis-checked-save-target-20260913\\debug\\deps\\oa_core-416e35542925bed6.exe",
"bytes": 39706624,
"sha256": "089d7b0389bb3f4e98fd350d4d7504294087ce3fc84035672c781547c8a71881"
}
]
},
{
"invocation": "cargo",
"artifacts": [
{
"path": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\analysis-checked-save-target-20260913\\debug\\deps\\oa_core-416e35542925bed6.exe",
"bytes": 39706624,
"sha256": "ae4974da9a58c487e1fe1a4d1461743b106fb7495f3c5a84a20a8999cc9a7ce2"
}
]
}
],
"intermediate_checkpoint": {
"source": "eeb1069cfcfc51e4cf73cff850adc2fabc8aae77",
"full_suite": "FAILED",
"full_exit": 101,
"listed": 194,
"prior_173_retained": 173,
"typed_passed_in_full": 85,
"mixed_focused_passed": 20,
"full_passed": 178,
"full_failed": 16,
"old_152_statuses_unchanged": 152,
"new_42_passes": [
"language::analysis_source::index::tests::arena_rejects_duplicate_sites_occurrences_and_wrong_callee_labels",
"language::analysis_source::index::tests::arena_rejects_forward_cycles_and_cross_owner_field_file_parents",
"language::analysis_source::index::tests::deep_parse_index_plan_and_failed_build_cleanup_on_128k_stack",
"language::analysis_source::index::tests::index_checks_every_expression_edge_and_keeps_override_fields_distinct",
"language::analysis_source::index::tests::index_has_shared_budget_and_never_stabilizes_missing_ids",
"language::analysis_source::index::tests::index_rejects_comment_partial_and_non_utf8_occurrence_spans",
"language::analysis_source::index::tests::maximum_index_paths_compare_lookup_debug_and_drop_on_128k_stack",
"language::analysis_source::index::tests::repeated_reordered_calls_have_stable_full_paths_and_four_labels",
"language::analysis_source::index::tests::staged_index_preserves_complete_oa_sa_models_and_original_file_spans",
"language::analysis_source::mixed::tests::all_short_typed_roots_share_original_buffers_without_public_activation",
"language::analysis_source::mixed::tests::caller_declaration_counts_are_aggregate_and_checked_before_typed_header_allocation",
"language::analysis_source::mixed::tests::diamond_includes_return_one_canonical_file_table_and_scan_dependency_once",
"language::analysis_source::mixed::tests::duplicate_ordinary_ids_keep_occurrences_and_scoped_parameter_ids_remain_distinct",
"language::analysis_source::mixed::tests::every_identity_class_requires_authored_ids_without_mutating_the_bundle",
"language::analysis_source::mixed::tests::exact_shared_profile_limits_include_nonlatching_metadata_phase_failures",
"language::analysis_source::mixed::tests::exact_work_and_reference_occurrences_accumulate_across_files",
"language::analysis_source::mixed::tests::interleaved_unicode_crlf_has_original_typed_and_ordinary_coordinates",
"language::analysis_source::mixed::tests::mixed_deep_typed_success_and_rejection_cleanup_on_128k_stack",
"language::analysis_source::mixed::tests::mixed_typed_reference_limit_is_inherited_without_charging_ordinary_parent_refs",
"language::analysis_source::mixed::tests::ordinary_model_records_and_parent_reference_are_not_syntax_or_step_limits",
"language::analysis_source::mixed::tests::ordinary_numeric_adjacency_and_malformed_trivia_match_legacy_refusals",
"language::analysis_source::mixed::tests::ordinary_signed_numbers_keep_complete_nested_value_and_field_ends",
"language::analysis_source::mixed::tests::ordinary_value_depth_boundary_remains_64_in_both_parser_views",
"language::analysis_source::mixed::tests::private_aggregate_preflights_run_before_traversal_path_allocation",
"language::analysis_source::mixed::tests::syntax_entries_accumulate_across_both_ordinary_and_typed_producer_orders",
"language::analysis_source::mixed::tests::typed_numeric_work_remains_in_the_same_inherited_profile",
"language::analysis_source::mixed::tests::typed_words_are_contextual_but_typed_headers_cannot_nest_in_ordinary_bodies",
"language::analysis_source::mixed::tests::whole_bundle_rejects_missing_unreachable_cyclic_and_noncanonical_files",
"language::analysis_source::mixed::tests::witness_retains_exact_caller_policy_separately_from_syntax_storage",
"language::analysis_source::tests::every_parent_shape_rejects_depth129_and_cleans_children_on_128k_stack",
"language::analysis_source::update::tests::alias_edits_preserve_unit_type_override_tokens_and_unrelated_authored_bytes",
"language::analysis_source::update::tests::composition_checks_edit_record_ceiling_before_duplicate_membership",
"language::analysis_source::update::tests::composition_defers_only_typed_output_size_with_independent_shrink_arithmetic",
"language::analysis_source::update::tests::composition_exports_complete_borrowed_swap_witnesses_and_empty_noops",
"language::analysis_source::update::tests::composition_keeps_name_storage_and_rename_record_limits_before_allocation",
"language::analysis_source::update::tests::composition_rejects_stale_or_damaged_complete_batches_before_export",
"language::analysis_source::update::tests::output_and_plan_limits_are_aggregate_and_do_not_reset_parse_work",
"language::analysis_source::update::tests::rename_rejects_unknown_invalid_and_colliding_final_names_but_allows_noop",
"language::analysis_source::update::tests::simultaneous_global_and_scoped_swaps_match_original_token_and_whole_model_oracles",
"language::analysis_source::update::tests::stale_file_sets_bytes_forged_spans_and_duplicate_edits_fail_before_output",
"language::analysis_source::update::tests::standalone_noop_apply_keeps_tighter_file_only_budget_and_output_boundary",
"source_project::traversal::tests::ordinary_compile_once_keeps_include_order_and_cycle_source_location"
],
"known_failure_names": [
"language::nesting_tests::checked_in_example_supports_cross_file_reparent_without_changing_allocations",
"language::nesting_tests::checked_in_nested_example_has_stable_ids_typed_exchanges_and_three_clear_views",
"language::nesting_tests::nested_elements_infer_only_parent_and_keep_typed_fields_and_allocations_explicit",
"language::nesting_tests::nested_fragment_id_stabilization_preserves_comments_and_indexes_real_bytes",
"language::nesting_tests::non_elements_includes_and_declarations_inside_typed_values_are_rejected",
"language::nesting_tests::normative_nested_ownership_example_compiles_as_a_source_fragment",
"source_files::transaction_tests::interrupted_publication_without_write_marker_never_rolls_back_external_matching_bytes",
"source_files::transaction_tests::interrupted_save_and_interrupted_recovery_can_both_be_resumed",
"source_files::transaction_tests::malformed_v2_write_marker_refuses_recovery_without_changing_source_bytes",
"source_files::transaction_tests::partial_save_failures_restore_every_original_and_write_entry_last",
"source_files::transaction_tests::recovery_before_any_write_accepts_v2_marker_and_keeps_v1_rollback_compatibility",
"source_files::transaction_tests::recovery_rechecks_external_changes_between_restorations",
"source_files::transaction_tests::recovery_rejects_untrusted_escape_paths_before_touching_files",
"source_files::transaction_tests::rollback_refuses_external_edits_even_in_an_unchanged_dependency",
"source_files::transaction_tests::rollback_removes_only_our_new_file_and_retains_detached_files",
"source_files::transaction_tests::unwritten_journal_never_rolls_back_a_completed_writer_with_identical_after_bytes"
],
"new_since_173": [
"language::analysis_source::mixed::tests::all_short_typed_roots_share_original_buffers_without_public_activation",
"language::analysis_source::mixed::tests::caller_declaration_counts_are_aggregate_and_checked_before_typed_header_allocation",
"language::analysis_source::mixed::tests::diamond_includes_return_one_canonical_file_table_and_scan_dependency_once",
"language::analysis_source::mixed::tests::duplicate_ordinary_ids_keep_occurrences_and_scoped_parameter_ids_remain_distinct",
"language::analysis_source::mixed::tests::every_identity_class_requires_authored_ids_without_mutating_the_bundle",
"language::analysis_source::mixed::tests::exact_shared_profile_limits_include_nonlatching_metadata_phase_failures",
"language::analysis_source::mixed::tests::exact_work_and_reference_occurrences_accumulate_across_files",
"language::analysis_source::mixed::tests::interleaved_unicode_crlf_has_original_typed_and_ordinary_coordinates",
"language::analysis_source::mixed::tests::mixed_deep_typed_success_and_rejection_cleanup_on_128k_stack",
"language::analysis_source::mixed::tests::mixed_typed_reference_limit_is_inherited_without_charging_ordinary_parent_refs",
"language::analysis_source::mixed::tests::ordinary_model_records_and_parent_reference_are_not_syntax_or_step_limits",
"language::analysis_source::mixed::tests::ordinary_numeric_adjacency_and_malformed_trivia_match_legacy_refusals",
"language::analysis_source::mixed::tests::ordinary_signed_numbers_keep_complete_nested_value_and_field_ends",
"language::analysis_source::mixed::tests::ordinary_value_depth_boundary_remains_64_in_both_parser_views",
"language::analysis_source::mixed::tests::private_aggregate_preflights_run_before_traversal_path_allocation",
"language::analysis_source::mixed::tests::syntax_entries_accumulate_across_both_ordinary_and_typed_producer_orders",
"language::analysis_source::mixed::tests::typed_numeric_work_remains_in_the_same_inherited_profile",
"language::analysis_source::mixed::tests::typed_words_are_contextual_but_typed_headers_cannot_nest_in_ordinary_bodies",
"language::analysis_source::mixed::tests::whole_bundle_rejects_missing_unreachable_cyclic_and_noncanonical_files",
"language::analysis_source::mixed::tests::witness_retains_exact_caller_policy_separately_from_syntax_storage",
"source_project::traversal::tests::ordinary_compile_once_keeps_include_order_and_cycle_source_location"
],
"test_artifact": {
"path": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\analysis-checked-save-target-20260913\\debug\\deps\\oa_core-416e35542925bed6.exe",
"bytes": 39708672,
"sha256": "5482a24e86d6f102c34dec6be9904726488963e8552e514253efbf03dfbcd98c"
},
"strict_core_all_targets": "FAILED",
"strict_exit": 101,
"fmt_exit": 1,
"full_invocation": "cargo",
"listing_artifacts": [
{
"invocation": "cargo",
"artifacts": [
{
"path": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\analysis-checked-save-target-20260913\\debug\\deps\\oa_core-416e35542925bed6.exe",
"bytes": 39708672,
"sha256": "5482a24e86d6f102c34dec6be9904726488963e8552e514253efbf03dfbcd98c"
}
]
}
]
},
"formatting_disposition": "Formatting FAILED at eeb1069; six affected blobs byte-identical at a578ac9, eeb1069, 10d7f33 and f1d79df; final fmt also FAILED exit 1 with identical nine blocks",
"unchanged_inputs_from_intermediate": 540,
"clock_discontinuity": "Raw final listing UTC end precedes start after host clock moved backward; exact immutable receipt retained; elapsed_monotonic_seconds=768.4220000000059 is the duration evidence. No wall-clock duration inferred.",
"limits": "Receipt/Git consistency only; no archived code or binaries executed. No public source8, semantic/compositor or full-suite PASS claim."
}
VERIFIED evidence consistency; full core suite FAILED (178/16); formatting FAILED (inherited six-file debt).
harness/experiments/analysis-mixed-syntax-20260923/controls/interrupted-known-failure-cause/stderr.log
View File
harness/experiments/analysis-mixed-syntax-20260923/controls/interrupted-known-failure-cause/stdout.log
View File
harness/experiments/analysis-mixed-syntax-20260923/parent-verification.log
+251
View File
@@ -0,0 +1,251 @@
{
"source": "a578ac98a06772a60bec00ae287e65650680d119",
"full_suite": "FAILED",
"full_exit": 101,
"listed": 194,
"prior_173_retained": 173,
"typed_passed_in_full": 85,
"mixed_focused_passed": 20,
"full_passed": 178,
"full_failed": 16,
"old_152_statuses_unchanged": 152,
"new_42_passes": [
"language::analysis_source::index::tests::arena_rejects_duplicate_sites_occurrences_and_wrong_callee_labels",
"language::analysis_source::index::tests::arena_rejects_forward_cycles_and_cross_owner_field_file_parents",
"language::analysis_source::index::tests::deep_parse_index_plan_and_failed_build_cleanup_on_128k_stack",
"language::analysis_source::index::tests::index_checks_every_expression_edge_and_keeps_override_fields_distinct",
"language::analysis_source::index::tests::index_has_shared_budget_and_never_stabilizes_missing_ids",
"language::analysis_source::index::tests::index_rejects_comment_partial_and_non_utf8_occurrence_spans",
"language::analysis_source::index::tests::maximum_index_paths_compare_lookup_debug_and_drop_on_128k_stack",
"language::analysis_source::index::tests::repeated_reordered_calls_have_stable_full_paths_and_four_labels",
"language::analysis_source::index::tests::staged_index_preserves_complete_oa_sa_models_and_original_file_spans",
"language::analysis_source::mixed::tests::all_short_typed_roots_share_original_buffers_without_public_activation",
"language::analysis_source::mixed::tests::caller_declaration_counts_are_aggregate_and_checked_before_typed_header_allocation",
"language::analysis_source::mixed::tests::diamond_includes_return_one_canonical_file_table_and_scan_dependency_once",
"language::analysis_source::mixed::tests::duplicate_ordinary_ids_keep_occurrences_and_scoped_parameter_ids_remain_distinct",
"language::analysis_source::mixed::tests::every_identity_class_requires_authored_ids_without_mutating_the_bundle",
"language::analysis_source::mixed::tests::exact_shared_profile_limits_include_nonlatching_metadata_phase_failures",
"language::analysis_source::mixed::tests::exact_work_and_reference_occurrences_accumulate_across_files",
"language::analysis_source::mixed::tests::interleaved_unicode_crlf_has_original_typed_and_ordinary_coordinates",
"language::analysis_source::mixed::tests::mixed_deep_typed_success_and_rejection_cleanup_on_128k_stack",
"language::analysis_source::mixed::tests::mixed_typed_reference_limit_is_inherited_without_charging_ordinary_parent_refs",
"language::analysis_source::mixed::tests::ordinary_model_records_and_parent_reference_are_not_syntax_or_step_limits",
"language::analysis_source::mixed::tests::ordinary_numeric_adjacency_and_malformed_trivia_match_legacy_refusals",
"language::analysis_source::mixed::tests::ordinary_signed_numbers_keep_complete_nested_value_and_field_ends",
"language::analysis_source::mixed::tests::ordinary_value_depth_boundary_remains_64_in_both_parser_views",
"language::analysis_source::mixed::tests::private_aggregate_preflights_run_before_traversal_path_allocation",
"language::analysis_source::mixed::tests::syntax_entries_accumulate_across_both_ordinary_and_typed_producer_orders",
"language::analysis_source::mixed::tests::typed_numeric_work_remains_in_the_same_inherited_profile",
"language::analysis_source::mixed::tests::typed_words_are_contextual_but_typed_headers_cannot_nest_in_ordinary_bodies",
"language::analysis_source::mixed::tests::whole_bundle_rejects_missing_unreachable_cyclic_and_noncanonical_files",
"language::analysis_source::mixed::tests::witness_retains_exact_caller_policy_separately_from_syntax_storage",
"language::analysis_source::tests::every_parent_shape_rejects_depth129_and_cleans_children_on_128k_stack",
"language::analysis_source::update::tests::alias_edits_preserve_unit_type_override_tokens_and_unrelated_authored_bytes",
"language::analysis_source::update::tests::composition_checks_edit_record_ceiling_before_duplicate_membership",
"language::analysis_source::update::tests::composition_defers_only_typed_output_size_with_independent_shrink_arithmetic",
"language::analysis_source::update::tests::composition_exports_complete_borrowed_swap_witnesses_and_empty_noops",
"language::analysis_source::update::tests::composition_keeps_name_storage_and_rename_record_limits_before_allocation",
"language::analysis_source::update::tests::composition_rejects_stale_or_damaged_complete_batches_before_export",
"language::analysis_source::update::tests::output_and_plan_limits_are_aggregate_and_do_not_reset_parse_work",
"language::analysis_source::update::tests::rename_rejects_unknown_invalid_and_colliding_final_names_but_allows_noop",
"language::analysis_source::update::tests::simultaneous_global_and_scoped_swaps_match_original_token_and_whole_model_oracles",
"language::analysis_source::update::tests::stale_file_sets_bytes_forged_spans_and_duplicate_edits_fail_before_output",
"language::analysis_source::update::tests::standalone_noop_apply_keeps_tighter_file_only_budget_and_output_boundary",
"source_project::traversal::tests::ordinary_compile_once_keeps_include_order_and_cycle_source_location"
],
"known_failure_names": [
"language::nesting_tests::checked_in_example_supports_cross_file_reparent_without_changing_allocations",
"language::nesting_tests::checked_in_nested_example_has_stable_ids_typed_exchanges_and_three_clear_views",
"language::nesting_tests::nested_elements_infer_only_parent_and_keep_typed_fields_and_allocations_explicit",
"language::nesting_tests::nested_fragment_id_stabilization_preserves_comments_and_indexes_real_bytes",
"language::nesting_tests::non_elements_includes_and_declarations_inside_typed_values_are_rejected",
"language::nesting_tests::normative_nested_ownership_example_compiles_as_a_source_fragment",
"source_files::transaction_tests::interrupted_publication_without_write_marker_never_rolls_back_external_matching_bytes",
"source_files::transaction_tests::interrupted_save_and_interrupted_recovery_can_both_be_resumed",
"source_files::transaction_tests::malformed_v2_write_marker_refuses_recovery_without_changing_source_bytes",
"source_files::transaction_tests::partial_save_failures_restore_every_original_and_write_entry_last",
"source_files::transaction_tests::recovery_before_any_write_accepts_v2_marker_and_keeps_v1_rollback_compatibility",
"source_files::transaction_tests::recovery_rechecks_external_changes_between_restorations",
"source_files::transaction_tests::recovery_rejects_untrusted_escape_paths_before_touching_files",
"source_files::transaction_tests::rollback_refuses_external_edits_even_in_an_unchanged_dependency",
"source_files::transaction_tests::rollback_removes_only_our_new_file_and_retains_detached_files",
"source_files::transaction_tests::unwritten_journal_never_rolls_back_a_completed_writer_with_identical_after_bytes"
],
"new_since_173": [
"language::analysis_source::mixed::tests::all_short_typed_roots_share_original_buffers_without_public_activation",
"language::analysis_source::mixed::tests::caller_declaration_counts_are_aggregate_and_checked_before_typed_header_allocation",
"language::analysis_source::mixed::tests::diamond_includes_return_one_canonical_file_table_and_scan_dependency_once",
"language::analysis_source::mixed::tests::duplicate_ordinary_ids_keep_occurrences_and_scoped_parameter_ids_remain_distinct",
"language::analysis_source::mixed::tests::every_identity_class_requires_authored_ids_without_mutating_the_bundle",
"language::analysis_source::mixed::tests::exact_shared_profile_limits_include_nonlatching_metadata_phase_failures",
"language::analysis_source::mixed::tests::exact_work_and_reference_occurrences_accumulate_across_files",
"language::analysis_source::mixed::tests::interleaved_unicode_crlf_has_original_typed_and_ordinary_coordinates",
"language::analysis_source::mixed::tests::mixed_deep_typed_success_and_rejection_cleanup_on_128k_stack",
"language::analysis_source::mixed::tests::mixed_typed_reference_limit_is_inherited_without_charging_ordinary_parent_refs",
"language::analysis_source::mixed::tests::ordinary_model_records_and_parent_reference_are_not_syntax_or_step_limits",
"language::analysis_source::mixed::tests::ordinary_numeric_adjacency_and_malformed_trivia_match_legacy_refusals",
"language::analysis_source::mixed::tests::ordinary_signed_numbers_keep_complete_nested_value_and_field_ends",
"language::analysis_source::mixed::tests::ordinary_value_depth_boundary_remains_64_in_both_parser_views",
"language::analysis_source::mixed::tests::private_aggregate_preflights_run_before_traversal_path_allocation",
"language::analysis_source::mixed::tests::syntax_entries_accumulate_across_both_ordinary_and_typed_producer_orders",
"language::analysis_source::mixed::tests::typed_numeric_work_remains_in_the_same_inherited_profile",
"language::analysis_source::mixed::tests::typed_words_are_contextual_but_typed_headers_cannot_nest_in_ordinary_bodies",
"language::analysis_source::mixed::tests::whole_bundle_rejects_missing_unreachable_cyclic_and_noncanonical_files",
"language::analysis_source::mixed::tests::witness_retains_exact_caller_policy_separately_from_syntax_storage",
"source_project::traversal::tests::ordinary_compile_once_keeps_include_order_and_cycle_source_location"
],
"test_artifact": {
"path": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\analysis-checked-save-target-20260913\\debug\\deps\\oa_core-416e35542925bed6.exe",
"bytes": 39706624,
"sha256": "089d7b0389bb3f4e98fd350d4d7504294087ce3fc84035672c781547c8a71881"
},
"strict_core_all_targets": "PASS",
"strict_exit": 0,
"fmt_exit": 1,
"full_invocation": "direct-executable",
"listing_artifacts": [
{
"invocation": "direct-executable",
"artifacts": [
{
"path": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\analysis-checked-save-target-20260913\\debug\\deps\\oa_core-416e35542925bed6.exe",
"bytes": 39706624,
"sha256": "089d7b0389bb3f4e98fd350d4d7504294087ce3fc84035672c781547c8a71881"
}
]
},
{
"invocation": "cargo",
"artifacts": [
{
"path": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\analysis-checked-save-target-20260913\\debug\\deps\\oa_core-416e35542925bed6.exe",
"bytes": 39706624,
"sha256": "ae4974da9a58c487e1fe1a4d1461743b106fb7495f3c5a84a20a8999cc9a7ce2"
}
]
}
],
"intermediate_checkpoint": {
"source": "eeb1069cfcfc51e4cf73cff850adc2fabc8aae77",
"full_suite": "FAILED",
"full_exit": 101,
"listed": 194,
"prior_173_retained": 173,
"typed_passed_in_full": 85,
"mixed_focused_passed": 20,
"full_passed": 178,
"full_failed": 16,
"old_152_statuses_unchanged": 152,
"new_42_passes": [
"language::analysis_source::index::tests::arena_rejects_duplicate_sites_occurrences_and_wrong_callee_labels",
"language::analysis_source::index::tests::arena_rejects_forward_cycles_and_cross_owner_field_file_parents",
"language::analysis_source::index::tests::deep_parse_index_plan_and_failed_build_cleanup_on_128k_stack",
"language::analysis_source::index::tests::index_checks_every_expression_edge_and_keeps_override_fields_distinct",
"language::analysis_source::index::tests::index_has_shared_budget_and_never_stabilizes_missing_ids",
"language::analysis_source::index::tests::index_rejects_comment_partial_and_non_utf8_occurrence_spans",
"language::analysis_source::index::tests::maximum_index_paths_compare_lookup_debug_and_drop_on_128k_stack",
"language::analysis_source::index::tests::repeated_reordered_calls_have_stable_full_paths_and_four_labels",
"language::analysis_source::index::tests::staged_index_preserves_complete_oa_sa_models_and_original_file_spans",
"language::analysis_source::mixed::tests::all_short_typed_roots_share_original_buffers_without_public_activation",
"language::analysis_source::mixed::tests::caller_declaration_counts_are_aggregate_and_checked_before_typed_header_allocation",
"language::analysis_source::mixed::tests::diamond_includes_return_one_canonical_file_table_and_scan_dependency_once",
"language::analysis_source::mixed::tests::duplicate_ordinary_ids_keep_occurrences_and_scoped_parameter_ids_remain_distinct",
"language::analysis_source::mixed::tests::every_identity_class_requires_authored_ids_without_mutating_the_bundle",
"language::analysis_source::mixed::tests::exact_shared_profile_limits_include_nonlatching_metadata_phase_failures",
"language::analysis_source::mixed::tests::exact_work_and_reference_occurrences_accumulate_across_files",
"language::analysis_source::mixed::tests::interleaved_unicode_crlf_has_original_typed_and_ordinary_coordinates",
"language::analysis_source::mixed::tests::mixed_deep_typed_success_and_rejection_cleanup_on_128k_stack",
"language::analysis_source::mixed::tests::mixed_typed_reference_limit_is_inherited_without_charging_ordinary_parent_refs",
"language::analysis_source::mixed::tests::ordinary_model_records_and_parent_reference_are_not_syntax_or_step_limits",
"language::analysis_source::mixed::tests::ordinary_numeric_adjacency_and_malformed_trivia_match_legacy_refusals",
"language::analysis_source::mixed::tests::ordinary_signed_numbers_keep_complete_nested_value_and_field_ends",
"language::analysis_source::mixed::tests::ordinary_value_depth_boundary_remains_64_in_both_parser_views",
"language::analysis_source::mixed::tests::private_aggregate_preflights_run_before_traversal_path_allocation",
"language::analysis_source::mixed::tests::syntax_entries_accumulate_across_both_ordinary_and_typed_producer_orders",
"language::analysis_source::mixed::tests::typed_numeric_work_remains_in_the_same_inherited_profile",
"language::analysis_source::mixed::tests::typed_words_are_contextual_but_typed_headers_cannot_nest_in_ordinary_bodies",
"language::analysis_source::mixed::tests::whole_bundle_rejects_missing_unreachable_cyclic_and_noncanonical_files",
"language::analysis_source::mixed::tests::witness_retains_exact_caller_policy_separately_from_syntax_storage",
"language::analysis_source::tests::every_parent_shape_rejects_depth129_and_cleans_children_on_128k_stack",
"language::analysis_source::update::tests::alias_edits_preserve_unit_type_override_tokens_and_unrelated_authored_bytes",
"language::analysis_source::update::tests::composition_checks_edit_record_ceiling_before_duplicate_membership",
"language::analysis_source::update::tests::composition_defers_only_typed_output_size_with_independent_shrink_arithmetic",
"language::analysis_source::update::tests::composition_exports_complete_borrowed_swap_witnesses_and_empty_noops",
"language::analysis_source::update::tests::composition_keeps_name_storage_and_rename_record_limits_before_allocation",
"language::analysis_source::update::tests::composition_rejects_stale_or_damaged_complete_batches_before_export",
"language::analysis_source::update::tests::output_and_plan_limits_are_aggregate_and_do_not_reset_parse_work",
"language::analysis_source::update::tests::rename_rejects_unknown_invalid_and_colliding_final_names_but_allows_noop",
"language::analysis_source::update::tests::simultaneous_global_and_scoped_swaps_match_original_token_and_whole_model_oracles",
"language::analysis_source::update::tests::stale_file_sets_bytes_forged_spans_and_duplicate_edits_fail_before_output",
"language::analysis_source::update::tests::standalone_noop_apply_keeps_tighter_file_only_budget_and_output_boundary",
"source_project::traversal::tests::ordinary_compile_once_keeps_include_order_and_cycle_source_location"
],
"known_failure_names": [
"language::nesting_tests::checked_in_example_supports_cross_file_reparent_without_changing_allocations",
"language::nesting_tests::checked_in_nested_example_has_stable_ids_typed_exchanges_and_three_clear_views",
"language::nesting_tests::nested_elements_infer_only_parent_and_keep_typed_fields_and_allocations_explicit",
"language::nesting_tests::nested_fragment_id_stabilization_preserves_comments_and_indexes_real_bytes",
"language::nesting_tests::non_elements_includes_and_declarations_inside_typed_values_are_rejected",
"language::nesting_tests::normative_nested_ownership_example_compiles_as_a_source_fragment",
"source_files::transaction_tests::interrupted_publication_without_write_marker_never_rolls_back_external_matching_bytes",
"source_files::transaction_tests::interrupted_save_and_interrupted_recovery_can_both_be_resumed",
"source_files::transaction_tests::malformed_v2_write_marker_refuses_recovery_without_changing_source_bytes",
"source_files::transaction_tests::partial_save_failures_restore_every_original_and_write_entry_last",
"source_files::transaction_tests::recovery_before_any_write_accepts_v2_marker_and_keeps_v1_rollback_compatibility",
"source_files::transaction_tests::recovery_rechecks_external_changes_between_restorations",
"source_files::transaction_tests::recovery_rejects_untrusted_escape_paths_before_touching_files",
"source_files::transaction_tests::rollback_refuses_external_edits_even_in_an_unchanged_dependency",
"source_files::transaction_tests::rollback_removes_only_our_new_file_and_retains_detached_files",
"source_files::transaction_tests::unwritten_journal_never_rolls_back_a_completed_writer_with_identical_after_bytes"
],
"new_since_173": [
"language::analysis_source::mixed::tests::all_short_typed_roots_share_original_buffers_without_public_activation",
"language::analysis_source::mixed::tests::caller_declaration_counts_are_aggregate_and_checked_before_typed_header_allocation",
"language::analysis_source::mixed::tests::diamond_includes_return_one_canonical_file_table_and_scan_dependency_once",
"language::analysis_source::mixed::tests::duplicate_ordinary_ids_keep_occurrences_and_scoped_parameter_ids_remain_distinct",
"language::analysis_source::mixed::tests::every_identity_class_requires_authored_ids_without_mutating_the_bundle",
"language::analysis_source::mixed::tests::exact_shared_profile_limits_include_nonlatching_metadata_phase_failures",
"language::analysis_source::mixed::tests::exact_work_and_reference_occurrences_accumulate_across_files",
"language::analysis_source::mixed::tests::interleaved_unicode_crlf_has_original_typed_and_ordinary_coordinates",
"language::analysis_source::mixed::tests::mixed_deep_typed_success_and_rejection_cleanup_on_128k_stack",
"language::analysis_source::mixed::tests::mixed_typed_reference_limit_is_inherited_without_charging_ordinary_parent_refs",
"language::analysis_source::mixed::tests::ordinary_model_records_and_parent_reference_are_not_syntax_or_step_limits",
"language::analysis_source::mixed::tests::ordinary_numeric_adjacency_and_malformed_trivia_match_legacy_refusals",
"language::analysis_source::mixed::tests::ordinary_signed_numbers_keep_complete_nested_value_and_field_ends",
"language::analysis_source::mixed::tests::ordinary_value_depth_boundary_remains_64_in_both_parser_views",
"language::analysis_source::mixed::tests::private_aggregate_preflights_run_before_traversal_path_allocation",
"language::analysis_source::mixed::tests::syntax_entries_accumulate_across_both_ordinary_and_typed_producer_orders",
"language::analysis_source::mixed::tests::typed_numeric_work_remains_in_the_same_inherited_profile",
"language::analysis_source::mixed::tests::typed_words_are_contextual_but_typed_headers_cannot_nest_in_ordinary_bodies",
"language::analysis_source::mixed::tests::whole_bundle_rejects_missing_unreachable_cyclic_and_noncanonical_files",
"language::analysis_source::mixed::tests::witness_retains_exact_caller_policy_separately_from_syntax_storage",
"source_project::traversal::tests::ordinary_compile_once_keeps_include_order_and_cycle_source_location"
],
"test_artifact": {
"path": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\analysis-checked-save-target-20260913\\debug\\deps\\oa_core-416e35542925bed6.exe",
"bytes": 39708672,
"sha256": "5482a24e86d6f102c34dec6be9904726488963e8552e514253efbf03dfbcd98c"
},
"strict_core_all_targets": "FAILED",
"strict_exit": 101,
"fmt_exit": 1,
"full_invocation": "cargo",
"listing_artifacts": [
{
"invocation": "cargo",
"artifacts": [
{
"path": "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\analysis-checked-save-target-20260913\\debug\\deps\\oa_core-416e35542925bed6.exe",
"bytes": 39708672,
"sha256": "5482a24e86d6f102c34dec6be9904726488963e8552e514253efbf03dfbcd98c"
}
]
}
]
},
"formatting_disposition": "Formatting FAILED at eeb1069; six affected blobs byte-identical at a578ac9, eeb1069, 10d7f33 and f1d79df; final fmt also FAILED exit 1 with identical nine blocks",
"unchanged_inputs_from_intermediate": 540,
"clock_discontinuity": "Raw final listing UTC end precedes start after host clock moved backward; exact immutable receipt retained; elapsed_monotonic_seconds=768.4220000000059 is the duration evidence. No wall-clock duration inferred.",
"limits": "Receipt/Git consistency only; no archived code or binaries executed. No public source8, semantic/compositor or full-suite PASS claim."
}
VERIFIED evidence consistency; full core suite FAILED (178/16); formatting FAILED (inherited six-file debt).
harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-1.log
+11
View File
@@ -0,0 +1,11 @@
desktop-1 recorded exit 101 inputs 733 executable records 0
core-2 recorded exit 0 inputs 733 executable records 1
desktop-2 recorded exit 0 inputs 733 executable records 1
lint-1 recorded exit 101 inputs 733 executable records 0
lint-2 recorded exit 0 inputs 735 executable records 0
format-1 recorded exit 0 inputs 735 executable records 0
desktop-3 recorded exit 0 inputs 735 executable records 1
native-build-1 recorded exit 0 inputs 735 executable records 1
windows-build-1 recorded exit 0 inputs 735 executable records 1
PASS offline consistency: {'runs': 9, 'logicalFiles': 65, 'storedMembers': 53, 'sourceCapsulePairs': 3}
Historical receipts only; no source/binary execution or native acceptance claim.
harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-2.log
+3
View File
@@ -0,0 +1,3 @@
run-1 closed exit 0; 35 captures; 10 positive snapshots; exact three-group source history
PASS native evidence byte/receipt consistency: {'runs': 1, 'members': 234}
No GUI/checker execution; actions and native acceptance require the separate parent review.
harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-3.log
+4
View File
@@ -0,0 +1,4 @@
PASS desktop-2 2a3b9ba822a49ead233c4b5f98412a07c1c1da12 733 source pins and exact Git blobs
PASS lint-2 3480b54201a5f361cca0bcd0d45dd6546a7a7bc9 735 source pins and exact Git blobs
PASS source evidence: {'runs': 2, 'gitCompared': True}
No builds, checkouts, helper execution or native acceptance claim. Run the checks verifier separately for full gate relationships.
harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-4.log
+1
View File
@@ -0,0 +1 @@
PASS incident consistency; not a gate pass: {'incident': 'core-1', 'acceptedGate': False, 'rawFiles': 7, 'mismatchedInputs': ['crates/oa-desktop/src/model_menu.rs']}
harness/experiments/state-multiselect-delivery-audit-20260923/state-multiselect-composition-tree-20260923.log
+57
View File
@@ -0,0 +1,57 @@
5490ff2bd8d40ae594e7a6c2e8b66066107ea48d
100644 2f997ee71b658a85a79c88536063a840bfc12d9d 2 crates/oa-desktop/src/app/state_attachment_escape_tests.rs
100644 6396144edd9a76f21736bb7116787bcc272330d5 3 crates/oa-desktop/src/app/state_attachment_escape_tests.rs
100644 502ac5d0fd1cb58aeb2d810ec386aed22ada7bb1 2 crates/oa-desktop/src/app/state_bend_tests.rs
100644 47128291025f62377307b067203681cd516dbefd 3 crates/oa-desktop/src/app/state_bend_tests.rs
100644 090de01237fd2b89410d1af177195139e7a65b88 1 crates/oa-desktop/src/app/state_diagram.rs
100644 49440e78256f4300ffd23f3cd83bd7248683840d 2 crates/oa-desktop/src/app/state_diagram.rs
100644 6f56df5a1f6aaa8f0fb187d9b15a30f2b79a46fe 3 crates/oa-desktop/src/app/state_diagram.rs
100644 f4635ab9196ef57e4b2f9139d8afee7a6df94198 2 crates/oa-desktop/src/behavior/state_bend_tests.rs
100644 cac001f008fa6f59edf2047b77ae3c8cb8470ed1 3 crates/oa-desktop/src/behavior/state_bend_tests.rs
100644 7959b3999cb3d3fdc027be84ce950548cec75304 1 crates/oa-desktop/src/behavior/state_canvas.rs
100644 2893b6aa4c17d799e514f41cf7b7fd7e64fc88d4 2 crates/oa-desktop/src/behavior/state_canvas.rs
100644 0767bac7bd801d5ecb2feeae793353e17b2ce05e 3 crates/oa-desktop/src/behavior/state_canvas.rs
100644 8ebb435619fdeeb68c675709d1d2b3133cf972b5 1 crates/oa-desktop/src/diagram.rs
100644 a1de43a12b2adab1a038306a2f583654098f9d20 2 crates/oa-desktop/src/diagram.rs
100644 3c24518f84d910a7effef8dafbf19cee172a6ac9 3 crates/oa-desktop/src/diagram.rs
100644 8e9b97b1f8997cb49a47a26cfe48c392f374ba5f 2 crates/oa-desktop/src/diagram/attachment_tests.rs
100644 974df43f0d8a960d40322bb0fe2e39b297f66109 3 crates/oa-desktop/src/diagram/attachment_tests.rs
Auto-merging crates/oa-core/src/lib.rs
Auto-merging crates/oa-core/src/model.rs
Auto-merging crates/oa-core/src/source_defaults.rs
Auto-merging crates/oa-core/src/validation.rs
Auto-merging crates/oa-core/tests/release_routing.rs
Auto-merging crates/oa-core/tests/state_diagrams.rs
Auto-merging crates/oa-desktop/src/allocation_input.rs
Auto-merging crates/oa-desktop/src/app.rs
Auto-merging crates/oa-desktop/src/app/allocation_drag_tests.rs
Auto-merging crates/oa-desktop/src/app/architecture_authoring/tests.rs
Auto-merging crates/oa-desktop/src/app/architecture_authoring_tests.rs
Auto-merging crates/oa-desktop/src/app/state_attachment_escape_tests.rs
CONFLICT (add/add): Merge conflict in crates/oa-desktop/src/app/state_attachment_escape_tests.rs
Auto-merging crates/oa-desktop/src/app/state_bend_tests.rs
CONFLICT (add/add): Merge conflict in crates/oa-desktop/src/app/state_bend_tests.rs
Auto-merging crates/oa-desktop/src/app/state_diagram.rs
CONFLICT (content): Merge conflict in crates/oa-desktop/src/app/state_diagram.rs
Auto-merging crates/oa-desktop/src/behavior/canvas_workspace/tests.rs
Auto-merging crates/oa-desktop/src/behavior/state_bend_tests.rs
CONFLICT (add/add): Merge conflict in crates/oa-desktop/src/behavior/state_bend_tests.rs
Auto-merging crates/oa-desktop/src/behavior/state_canvas.rs
CONFLICT (content): Merge conflict in crates/oa-desktop/src/behavior/state_canvas.rs
Auto-merging crates/oa-desktop/src/behavior/state_edit.rs
Auto-merging crates/oa-desktop/src/diagram.rs
CONFLICT (content): Merge conflict in crates/oa-desktop/src/diagram.rs
Auto-merging crates/oa-desktop/src/diagram/attachment_tests.rs
CONFLICT (add/add): Merge conflict in crates/oa-desktop/src/diagram/attachment_tests.rs
Auto-merging crates/oa-desktop/src/diagram/focus.rs
Auto-merging crates/oa-desktop/src/diagram/lifecycle_tests.rs
Auto-merging crates/oa-desktop/src/diagram/pointer_tests.rs
Auto-merging crates/oa-desktop/src/diagram/port_hit_tests.rs
Auto-merging crates/oa-desktop/src/diagram/port_labels.rs
Auto-merging crates/oa-desktop/src/main.rs
Auto-merging crates/oa-desktop/src/model_menu.rs
Auto-merging crates/oa-desktop/src/views.rs
Auto-merging crates/oa-desktop/src/workflow/transition_tests.rs
Auto-merging crates/oa-server/tests/http.rs
Auto-merging harness/DECISIONS.md