{
  "revision": "190eb121f2e9c1b11993bb0ddd1e0a44d4bcd3df",
  "note": "Actual output. Paths made repository-relative. Video excerpts are edited for time; this is not a full-suite run.",
  "commands": [
    {
      "command": "cargo build --workspace --release --locked -j 2",
      "exit_code": 0,
      "output": "warning: crates/catallax-cli/Cargo.toml: file `./crates/catallax-cli/src/main.rs` found to be present in multiple build targets:\n  * `bin` target `catallax`\n  * `bin` target `exact-brep`\nwarning: `catallax-cli` (manifest) generated 1 warning\n   Compiling autocfg v1.5.1\n   Compiling proc-macro2 v1.0.107\n   Compiling unicode-ident v1.0.27\n   Compiling quote v1.0.47\n   Compiling num-traits v0.2.19\n   Compiling serde_core v1.0.229\n   Compiling num-integer v0.1.47\n   Compiling zmij v1.0.23\n   Compiling num-bigint v0.4.8\n   Compiling syn v3.0.9\n   Compiling catallax-numbers v0.0.0 (./crates/catallax-numbers)\n   Compiling catallax-shapes v0.0.0 (./crates/catallax-shapes)\n   Compiling catallax-intersect v0.0.0 (./crates/catallax-intersect)\n   Compiling catallax-topology v0.0.0 (./crates/catallax-topology)\n   Compiling serde_json v1.0.154\n   Compiling serde v1.0.229\n   Compiling serde_derive v1.0.229\n   Compiling catallax-cli v0.0.0 (./crates/catallax-cli)\n   Compiling memchr v2.8.3\n   Compiling itoa v1.0.18\n   Compiling catallax-measure v0.0.0 (./crates/catallax-measure)\n   Compiling catallax-step v0.0.0 (./crates/catallax-step)\n   Compiling catallax-boolean v0.0.0 (./crates/catallax-boolean)\n    Finished `release` profile [optimized] target(s) in 3m 46s\n"
    },
    {
      "command": "cargo test -p catallax-numbers --release --lib --locked -j 2 -- --test-threads=2",
      "exit_code": 0,
      "output": "warning: crates/catallax-cli/Cargo.toml: file `./crates/catallax-cli/src/main.rs` found to be present in multiple build targets:\n  * `bin` target `catallax`\n  * `bin` target `exact-brep`\nwarning: `catallax-cli` (manifest) generated 1 warning\n   Compiling gmp-mpfr-sys v1.7.1\n   Compiling libc v0.2.191\n   Compiling libm v0.2.16\n   Compiling rug v1.30.0\n   Compiling az v1.3.0\n   Compiling catallax-numbers v0.0.0 (./crates/catallax-numbers)\n    Finished `release` profile [optimized] target(s) in 1m 14s\n     Running unittests src/lib.rs (target/release/deps/catallax_numbers-324d892a56c22726)\n\nrunning 40 tests\ntest tests::case_39_four_radical_expansion_is_exactly_zero ... ok\ntest tests::case_39_nested_square_in_an_existing_field_is_exactly_zero ... ok\ntest tests::case_39_three_radical_sum_has_negative_sign ... ok\ntest tests::constant_polynomials_do_not_introduce_unused_real_dependencies ... ok\ntest tests::decision_accounting_repeats_and_deadlines_do_no_work ... ok\ntest tests::ball_rounding_domains_and_sqrt_containment ... ok\ntest tests::directed_decimal_rounding_and_terminating_decimals ... ok\ntest tests::deep_shared_defined_rational_zero_is_proven ... ok\ntest tests::double_conversion_roundtrips_and_ties ... ok\ntest tests::edge_hunt_0000141_quadratic_root_and_independent_radical_cancel_exactly ... ok\ntest tests::elementary_functions_match_constant_brackets_and_identities ... ok\ntest tests::exact_parsing_normalization_and_error_precedence ... ok\ntest tests::facts_keep_origin_order_and_relation_specific_closures ... ok\ntest tests::floor_division_and_large_integer_field_laws ... ok\ntest tests::generator_reduction_does_not_assume_a_defining_polynomial_is_minimal ... ok\ntest tests::enclosure_errors_survive_deep_precision_and_underflow ... ok\ntest tests::independent_quartic_witness_and_tiny_nonzero_offsets_are_separated ... ok\ntest tests::interval_arithmetic_contains_exact_results_and_edges ... ok\ntest tests::mark_bounds_and_answer_mapping_preserve_errors ... ok\ntest tests::irreducible_quartic_with_nonzero_linear_term_embeds_in_the_tower ... ok\ntest tests::polynomial_arithmetic_factorization_and_resultant ... ok\ntest tests::polynomial_gcd_removes_rational_content_and_keeps_common_factors ... ok\ntest tests::precision_enclosures_abandon_in_progress_without_accounting_decisions ... ok\ntest tests::precision_enclosures_clip_known_square_roots_and_retry_divisors ... ok\ntest tests::precision_enclosures_refine_rational_radical_and_algebraic_values ... ok\ntest tests::quadratic_root_branches_and_positive_square_roots_keep_their_signs ... ok\ntest tests::radical_zeros_and_nonzero_cancellations_are_certified ... ok\ntest tests::real_roots_are_sorted_exact_when_rational_and_refinable ... ok\ntest tests::resultant_abandons_in_progress_exact_elimination ... ok\ntest tests::root_isolation_abandons_in_progress_decisions ... ok\ntest tests::scaled_nested_radical_identity_is_proved_with_default_budget ... ok\ntest tests::oversized_tower_falls_through_and_leaves_budget_for_refinement ... ok\ntest tests::singleton_zero_is_distinct_from_a_ball_that_only_contains_zero ... ok\ntest tests::squared_algebraic_values_keep_correlated_conjugates ... ok\ntest tests::system_certification_separates_unique_empty_and_singular_boxes ... ok\ntest tests::tower_square_roots_and_inverses_keep_the_selected_real_embedding ... ok\ntest tests::transcendental_series_abandon_in_progress_enclosures ... ok\ntest tests::translated_tiny_sign_is_preserved_by_exact_cancellation ... ok\ntest tests::undefined_nodes_are_not_removed_by_outer_operations ... ok\ntest tests::shifted_irreducible_biquadratic_roots_keep_their_radical_embeddings ... ok\n\ntest result: ok. 40 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.23s\n\n"
    }
  ]
}