From 85cc27fed02ce770c30c9447f35c4ab4d24f9644 Mon Sep 17 00:00:00 2001 From: "sorokin.oleg.edu" Date: Wed, 23 Sep 2026 11:21:23 -0700 Subject: [PATCH] Include the raw verification and control logs --- .../aliased-exact-clock-receipt/stderr.log | 1 + .../aliased-exact-clock-receipt/stdout.log | 0 .../cases/changed-clock-receipt/stderr.log | 1 + .../cases/changed-clock-receipt/stdout.log | 0 .../stderr.log | 1 + .../stdout.log | 0 .../changed-known-failure-cause/stderr.log | 1 + .../changed-known-failure-cause/stdout.log | 0 .../cases/changed-new-outcome/stderr.log | 1 + .../cases/changed-new-outcome/stdout.log | 0 .../cases/direct-extra-filter-argv/stderr.log | 1 + .../cases/direct-extra-filter-argv/stdout.log | 0 .../cases/direct-fake-cargo-line/stderr.log | 1 + .../cases/direct-fake-cargo-line/stdout.log | 0 .../direct-missing-bound-postcheck/stderr.log | 1 + .../direct-missing-bound-postcheck/stdout.log | 0 .../direct-old-before-artifact/stderr.log | 1 + .../direct-old-before-artifact/stdout.log | 0 .../direct-recorded-launch-failure/stderr.log | 1 + .../direct-recorded-launch-failure/stdout.log | 0 .../cases/duplicate-zip-member/stderr.log | 1 + .../cases/duplicate-zip-member/stdout.log | 0 .../cases/forged-current-git-input/stderr.log | 1 + .../cases/forged-current-git-input/stdout.log | 0 .../cases/missing-direct-listing/stderr.log | 1 + .../cases/missing-direct-listing/stdout.log | 0 .../missing-intermediate-strict/stderr.log | 1 + .../missing-intermediate-strict/stdout.log | 0 .../cases/missing-new-outcome/stderr.log | 1 + .../cases/missing-new-outcome/stdout.log | 0 .../cases/unchanged-real-package/stderr.log | 0 .../cases/unchanged-real-package/stdout.log | 251 ++++++++++++++++++ .../stderr.log | 0 .../stdout.log | 0 .../parent-verification.log | 251 ++++++++++++++++++ .../parent-verifier-1.log | 11 + .../parent-verifier-2.log | 3 + .../parent-verifier-3.log | 4 + .../parent-verifier-4.log | 1 + ...-multiselect-composition-tree-20260923.log | 57 ++++ 40 files changed, 593 insertions(+) create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/aliased-exact-clock-receipt/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/aliased-exact-clock-receipt/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-clock-receipt/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-clock-receipt/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-final-formatting-location/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-final-formatting-location/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-known-failure-cause/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-known-failure-cause/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-new-outcome/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-new-outcome/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-extra-filter-argv/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-extra-filter-argv/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-fake-cargo-line/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-fake-cargo-line/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-missing-bound-postcheck/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-missing-bound-postcheck/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-old-before-artifact/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-old-before-artifact/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-recorded-launch-failure/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-recorded-launch-failure/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/duplicate-zip-member/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/duplicate-zip-member/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/forged-current-git-input/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/forged-current-git-input/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-direct-listing/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-direct-listing/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-intermediate-strict/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-intermediate-strict/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-new-outcome/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-new-outcome/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/unchanged-real-package/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/cases/unchanged-real-package/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/interrupted-known-failure-cause/stderr.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/controls/interrupted-known-failure-cause/stdout.log create mode 100644 harness/experiments/analysis-mixed-syntax-20260923/parent-verification.log create mode 100644 harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-1.log create mode 100644 harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-2.log create mode 100644 harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-3.log create mode 100644 harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-4.log create mode 100644 harness/experiments/state-multiselect-delivery-audit-20260923/state-multiselect-composition-tree-20260923.log diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/aliased-exact-clock-receipt/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/aliased-exact-clock-receipt/stderr.log new file mode 100644 index 00000000..c8ba1f30 --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/aliased-exact-clock-receipt/stderr.log @@ -0,0 +1 @@ +REFUSED: Gate not closed diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/aliased-exact-clock-receipt/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/aliased-exact-clock-receipt/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-clock-receipt/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-clock-receipt/stderr.log new file mode 100644 index 00000000..dc43ccc2 --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-clock-receipt/stderr.log @@ -0,0 +1 @@ +REFUSED: Direct historical binding differs diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-clock-receipt/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-clock-receipt/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-final-formatting-location/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-final-formatting-location/stderr.log new file mode 100644 index 00000000..8f9c3f6c --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-final-formatting-location/stderr.log @@ -0,0 +1 @@ +REFUSED: Final formatting failure scope changed diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-final-formatting-location/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-final-formatting-location/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-known-failure-cause/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-known-failure-cause/stderr.log new file mode 100644 index 00000000..38c5c572 --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-known-failure-cause/stderr.log @@ -0,0 +1 @@ +REFUSED: Failure cause changed: language::nesting_tests::checked_in_example_supports_cross_file_reparent_without_changing_allocations diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-known-failure-cause/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-known-failure-cause/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-new-outcome/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-new-outcome/stderr.log new file mode 100644 index 00000000..3f46ecf4 --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-new-outcome/stderr.log @@ -0,0 +1 @@ +REFUSED: Runtime status mismatch diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-new-outcome/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/changed-new-outcome/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-extra-filter-argv/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-extra-filter-argv/stderr.log new file mode 100644 index 00000000..b3bf3a9c --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-extra-filter-argv/stderr.log @@ -0,0 +1 @@ +REFUSED: Unexpected direct executable argv diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-extra-filter-argv/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-extra-filter-argv/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-fake-cargo-line/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-fake-cargo-line/stderr.log new file mode 100644 index 00000000..8f86e1cd --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-fake-cargo-line/stderr.log @@ -0,0 +1 @@ +REFUSED: Direct output contains a fabricated Cargo invocation line diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-fake-cargo-line/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-fake-cargo-line/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-missing-bound-postcheck/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-missing-bound-postcheck/stderr.log new file mode 100644 index 00000000..c4490921 --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-missing-bound-postcheck/stderr.log @@ -0,0 +1 @@ +REFUSED: Direct bound-file postcheck coverage differs diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-missing-bound-postcheck/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-missing-bound-postcheck/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-old-before-artifact/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-old-before-artifact/stderr.log new file mode 100644 index 00000000..6cc0385a --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-old-before-artifact/stderr.log @@ -0,0 +1 @@ +REFUSED: Direct artifact changed or differs from focused binary diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-old-before-artifact/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-old-before-artifact/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-recorded-launch-failure/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-recorded-launch-failure/stderr.log new file mode 100644 index 00000000..40e5141e --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-recorded-launch-failure/stderr.log @@ -0,0 +1 @@ +REFUSED: Direct invocation did not close cleanly diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-recorded-launch-failure/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/direct-recorded-launch-failure/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/duplicate-zip-member/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/duplicate-zip-member/stderr.log new file mode 100644 index 00000000..23281d75 --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/duplicate-zip-member/stderr.log @@ -0,0 +1 @@ +REFUSED: Duplicate ZIP members diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/duplicate-zip-member/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/duplicate-zip-member/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/forged-current-git-input/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/forged-current-git-input/stderr.log new file mode 100644 index 00000000..f0837ba4 --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/forged-current-git-input/stderr.log @@ -0,0 +1 @@ +REFUSED: Git input bytes mismatch: crates/oa-core/src/language.rs diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/forged-current-git-input/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/forged-current-git-input/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-direct-listing/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-direct-listing/stderr.log new file mode 100644 index 00000000..b219c331 --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-direct-listing/stderr.log @@ -0,0 +1 @@ +REFUSED: 'gates/mixed-direct-list-a578-1.result.json' diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-direct-listing/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-direct-listing/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-intermediate-strict/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-intermediate-strict/stderr.log new file mode 100644 index 00000000..3a7ffb0c --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-intermediate-strict/stderr.log @@ -0,0 +1 @@ +REFUSED: Required checkpoint gates missing/ambiguous diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-intermediate-strict/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-intermediate-strict/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-new-outcome/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-new-outcome/stderr.log new file mode 100644 index 00000000..01343b06 --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-new-outcome/stderr.log @@ -0,0 +1 @@ +REFUSED: Missing/extra runtime outcomes diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-new-outcome/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/missing-new-outcome/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/unchanged-real-package/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/unchanged-real-package/stderr.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/unchanged-real-package/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/unchanged-real-package/stdout.log new file mode 100644 index 00000000..44b68cc9 --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/controls/cases/unchanged-real-package/stdout.log @@ -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). diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/interrupted-known-failure-cause/stderr.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/interrupted-known-failure-cause/stderr.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/controls/interrupted-known-failure-cause/stdout.log b/harness/experiments/analysis-mixed-syntax-20260923/controls/interrupted-known-failure-cause/stdout.log new file mode 100644 index 00000000..e69de29b diff --git a/harness/experiments/analysis-mixed-syntax-20260923/parent-verification.log b/harness/experiments/analysis-mixed-syntax-20260923/parent-verification.log new file mode 100644 index 00000000..44b68cc9 --- /dev/null +++ b/harness/experiments/analysis-mixed-syntax-20260923/parent-verification.log @@ -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). diff --git a/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-1.log b/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-1.log new file mode 100644 index 00000000..cc3d9b3e --- /dev/null +++ b/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-1.log @@ -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. diff --git a/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-2.log b/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-2.log new file mode 100644 index 00000000..4dc75e74 --- /dev/null +++ b/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-2.log @@ -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. diff --git a/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-3.log b/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-3.log new file mode 100644 index 00000000..67b5ce79 --- /dev/null +++ b/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-3.log @@ -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. diff --git a/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-4.log b/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-4.log new file mode 100644 index 00000000..a36198a5 --- /dev/null +++ b/harness/experiments/state-multiselect-delivery-audit-20260923/parent-verifier-4.log @@ -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']} diff --git a/harness/experiments/state-multiselect-delivery-audit-20260923/state-multiselect-composition-tree-20260923.log b/harness/experiments/state-multiselect-delivery-audit-20260923/state-multiselect-composition-tree-20260923.log new file mode 100644 index 00000000..414d480c --- /dev/null +++ b/harness/experiments/state-multiselect-delivery-audit-20260923/state-multiselect-composition-tree-20260923.log @@ -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