INDEPENDENT ENVIRONMENT/SOURCE AUDIT
UTC started: 2026-09-05T22:38:20.219596+00:00
Collector: LEAN_PROJECT\verification\independent-audit-2026-09-05\collect_environment.py
Collector SHA256: 79530984ceaf94ed10a06ce1e3a790704482497c55226a52939ca76fa4102a15
No Lean compilation or build is performed by this collector.

COMMAND (Windows command-line syntax): "C:\Program Files\Git\cmd\git.exe" -C "LEAN_PROJECT" rev-parse --show-toplevel
ARGUMENTS (JSON): ["C:\\Program Files\\Git\\cmd\\git.exe", "-C", "LEAN_PROJECT", "rev-parse", "--show-toplevel"]
WORKING DIRECTORY: LEAN_PROJECT
STDOUT BEGIN
WORKSPACE
STDOUT END
STDERR BEGIN

STDERR END
EXIT CODE: 0

COMMAND (Windows command-line syntax): "C:\Program Files\Git\cmd\git.exe" -C "LEAN_PROJECT" rev-parse --verify HEAD
ARGUMENTS (JSON): ["C:\\Program Files\\Git\\cmd\\git.exe", "-C", "LEAN_PROJECT", "rev-parse", "--verify", "HEAD"]
WORKING DIRECTORY: LEAN_PROJECT
STDOUT BEGIN

STDOUT END
STDERR BEGIN
fatal: Needed a single revision
STDERR END
EXIT CODE: 128

COMMAND (Windows command-line syntax): "C:\Program Files\Git\cmd\git.exe" -C "LEAN_PROJECT" symbolic-ref HEAD
ARGUMENTS (JSON): ["C:\\Program Files\\Git\\cmd\\git.exe", "-C", "LEAN_PROJECT", "symbolic-ref", "HEAD"]
WORKING DIRECTORY: LEAN_PROJECT
STDOUT BEGIN
refs/heads/master
STDOUT END
STDERR BEGIN

STDERR END
EXIT CODE: 0

COMMAND (Windows command-line syntax): "C:\Program Files\Git\cmd\git.exe" -C "LEAN_PROJECT" status --porcelain=v1 --untracked-files=normal
ARGUMENTS (JSON): ["C:\\Program Files\\Git\\cmd\\git.exe", "-C", "LEAN_PROJECT", "status", "--porcelain=v1", "--untracked-files=normal"]
WORKING DIRECTORY: LEAN_PROJECT
STDOUT BEGIN
?? .preprint-audit/
?? .research_bundle_v9/
?? ABSTRACT_AF_1_AMENABLE_OPENNESS_ADDENDUM_2026-08-14.md
?? AMENABLE_SUBSQUARE_ROOT_RADICAL_CENTRE_AUDIT_2026-08-15.md
?? AUDIT_ELL1_RESEARCH10_VS_SAFEPOINT_2026-08-14.md
?? AUDIT_KALTON_PECK_GLOBAL_OPENNESS_AND_IDEAL_BOUNDARY_2026-08-15.md
?? AUDIT_NONOPEN_GENERAL_ABELIAN_2026-08-14.md
?? AUDIT_OPEN_CONVOLUTION_BUNDLES_V9_V16_2026-08-14.md
?? CLOSING_CHECKPOINT_OPEN_CONVOLUTION_2026-08-15.md
?? CSP_constant_one_proof_review_2026-09-05.md
?? CURTIS_CIRCLE_LIFTING_SELECTION_FOURIER_NO_GO_2026-08-15.md
?? CURTIS_PURE_SIGN_AND_MH_OPENNESS_BRIDGE_AUDIT_2026-08-15.md
?? CURTIS_SCALED_INVOLUTION_CONVEX_HORIZON_AUDIT_2026-08-15.md
?? CURTIS_SCALED_INVOLUTION_RECESSION_CONE_AUDIT_2026-08-15.md
?? CurtisJr1989.pdf
?? CurtisJr_CMAProcVol21.pdf
?? EXMATH25162.pdf
?? Gaussian_CSP_proof_review_2026-09-05.md
?? INTRINSIC_CURTIS_TRANSFER_ELEMENTARY_SQUAREFREE_2026-08-15.md
?? INTRINSIC_RANK3_CURTIS_TARGET_COCYCLE_PURIFICATION_AUDIT_2026-08-15.md
?? L1_SHAI_revised.tex
?? LITERATURE_REFRESH_VARYING_PRIME_2026-08-14.md
?? NONABELIAN_GROUPS_CANNOT_WORK_SHORT_PROOF_2026-08-14.md
?? ODD_PRUFER_DIGIT_CURTIS_TRANSFER_2026-08-15.md
?? OPEN_BVP_QUOTIENTS_NO_SQUARE_ZERO_AUDIT_2026-08-15.md
?? POINTWISE_OPENNESS_NO_QUADRATIC_TRANSFER_2026-08-15.md
?? RESTART_SAFEPOINT_OPEN_CONVOLUTION_2026-08-13.md
?? SQUAREFREE_LOCALLY_CYCLIC_MARKED_PROFILE_AUDIT_2026-08-15.md
?? TORSION_ABELIAN_CANONICAL_QUOTIENT_REDUCTION_2026-08-15.md
?? TORSION_ABELIAN_FINITE_KERNEL_NEUTRALITY_2026-08-14.md
?? TORSION_ABELIAN_INVERTIBLES_ARE_EXPONENTIAL_2026-08-15.md
?? TORSION_CONORMAL_DOMAIN_NO_GO_2026-08-15.md
?? UNIVERSAL_TORSION_ABELIAN_CURTIS_QUOTIENT_COROLLARY_2026-08-15.md
?? __pycache__/
?? _attachment_review_2026-08-18/
?? abel_forest_positive_gluing_2026-08-13.md
?? abstract_square_zero_inverse_hyperbola_criterion_2026-08-14.md
?? algebraic_permanence_and_group_construction_audit_2026-08-13.md
?? algebraic_square_factorization_audit_2026-08-31.md
?? all_pairs_reduce_to_square_map_2026-08-13.md
?? almost_disjoint_meta_article/
?? alternative_abelian_candidate_reassessment_2026-08-13.md
?? alternative_infinite_group_search_2026-08-13.md
?? amenability_zero_defect_quadratic_saturation_no_go_2026-08-15.md
?? amenable_dense_invertibles_open_multiplication_boundary_2026-08-14.md
?? amenable_full_radical_openness_zero_product_defect_2026-08-15.md
?? amenable_global_openness_averaging_linearization_audit_2026-08-15.md
?? amenable_global_openness_virtual_diagonal_phantom_audit_2026-08-15.md
?? amenable_one_variable_curtis_full_openness_checkpoint_2026-08-15.md
?? amenable_power_clock_transfer_lemmas_2026-08-13.md
?? amenable_square_zero_countermodel_search_2026-08-14.md
?? amenable_square_zero_inverse_hyperbola_audit_2026-08-14.md
?? analytic_leaf_forest_class_and_barrier_2026-08-13.md
?? archbold_kaniuth_2005.pdf
?? audit_candidate_v10_2026-08-13.md
?? audit_candidate_v12_tail_lifting_2026-08-13.md
?? audit_coherent_tail_catalan_terminal_2026-08-13.md
?? audit_continued_v2_sections70_92_2026-08-13.md
?? audit_directly_finite_reverse_zero_nonabelian_elimination_2026-08-14.md
?? audit_ell1_group_open_multiplication_research7_2026-08-13.md
?? audit_prufer_radical_target_fixed_gap_2026-08-15.md
?? audit_research5_sections56_66_2026-08-13.md
?? audit_research7_full_2026-08-13.md
?? audit_sections_46_55_positive_2026-08-13.md
?? audit_small_notebook_2026-08-13.md
?? audit_v11_prufer_2026-08-13.md
?? audit_v13_directional_bundle_2026-08-13.md
?? baire_scaling_inverse_hyperbola_countermodel_2026-08-14.md
?? balanced_root_phase_and_quotient_audit_2026-08-13.md
?? banach_scalar_plus_nuclear_research_notebook_v9_working.md
?? blanco_weak_amenability_BX.pdf
?? boolean_amenable_diagonal_rankone_audit_2026-08-14.md
?? boolean_causal_retraction_nash_moser_audit_2026-08-14.md
?? boolean_facewise_covariance_and_antipodal_barrier_2026-08-13.md
?? boolean_finite_stage_sqrtN_modulus_2026-08-13.md
?? boolean_fixed_pair_inverse_efficiency_and_ultrapower_audit_2026-08-15.md
?? boolean_fractional_orientation_rounding_2026-08-13.md
?? boolean_group_uniform_nonopenness_from_curtis_trace_2026-08-14.md
?? boolean_radical_targets_fragmentation_and_deep_layer_no_go_2026-08-15.md
?? boolean_relative_catalan_punctured_lifting_2026-08-13.md
?? boolean_retentive_multiphase_square_zero_audit_2026-08-14.md
?? boolean_sectorial_polar_factorization_2026-08-13.md
?? boolean_soft_weight_polarization_2026-08-13.md
?? boolean_sqrt_rank_tail_openness_2026-08-13.md
?? boolean_target_graph_retention_2026-08-14.md
?? bounded_boolean_finite_stage_audit_2026-08-13.md
?? bounded_completion_lemma_2026-08-13.md
?? bounded_uniform_boolean_obstruction_2026-08-13.md
?? bu_weak_seq_KXY.pdf
?? bu_weak_sequential_completeness.pdf
?? bundle_v7_audit/
?? bundle_v7_audit_2026-08-13.md
?? bundle_v9_audit/
?? bundle_v9_audit_2026-08-13.md
?? bundle_work_2026-08-14/
?? catalan_nearsyzygy_hilbert_audit_2026-08-13.md
?? causal_pencil_solver_and_holder_no_go_2026-08-13.md
?? coherent_shell_transport_audit_2026-08-13.md
?? coherent_tail_catalan_lifting_2026-08-13.md
?? countable_common_zero_openness_2026-08-13.md
?? countable_zero_shell_gluing_2026-08-13.md
?? coupled_hard_block_audit_2026-08-13.md
?? cssearch.html
?? cstar_global_open_multiplication_obstruction_memo_2026-08-13.md
?? curtis_affine_cylinder_and_defect_obstruction_2026-08-14.md
?? curtis_all_moment_finite_jet_audit_2026-08-14.md
?? curtis_common_involution_annihilator_audit_2026-08-14.md
?? curtis_cyclic_baire_uniformization_boundary_2026-08-15.md
?? curtis_cyclic_directional_lifting_and_split_rank_two_no_go_2026-08-15.md
?? curtis_distribution_balanced_wedge_no_go_2026-08-14.md
?? curtis_filtered_koszul_recursion_no_exponent_tower_2026-08-15.md
?? curtis_flat_scalar_inverse_efficiency_2026-08-14.md
?? curtis_hilbert_pushout_amenability_audit_2026-08-14.md
?? curtis_hilbert_trace_nonextension_theorem_2026-08-14.md
?? curtis_page59_check.png
?? curtis_positive_scaled_involution_and_affine_range_audit_2026-08-15.md
?? curtis_scalar_inverse_hyperbola_actual_quotient_audit_2026-08-14.md
?? curtis_two_variable_involution_walsh_audit_2026-08-14.md
?? curtis_weighted_trace_bound_audit_2026-08-14.md
?? curtis_zero_product_defect_localization_2026-08-15.md
?? dense_idempotent_1amenable_pointwise_openness_boundary_2026-08-15.md
?? direct_bidual_second_pass_report_2026-08-31.md
?? direct_target_catalan_and_soft_anchor_2026-08-13.md
?? directly_finite_reverse_zero_nonabelian_elimination_2026-08-14.md
?? dj1994.pdf
?? doubled_curtis_projective_nonopenness_audit_2026-08-14.md
?? epur_stable_rank_and_elementary_move_audit_2026-08-13.md
?? exact_fibre_density_audit_2026-08-13.md
?? exact_fibre_positive_transport_2026-08-13.md
?? exotic_perfect_group_candidate_audit_2026-08-14.md
?? explore_prufer_orientation_norm.py
?? external_2602.14852.tar
?? external_2602.14852_source/
?? external_2602.19434.tar
?? external_2602.19434_source/
?? fibre_capacity_refinement_2026-08-13.md
?? finite_boolean_cube_modulus_audit_2026-08-13.md
?? finite_cube_nonuniform_to_pointwise_diagonalization_audit_2026-08-15.md
?? finite_dimensional_local_model_lift_2026-08-13.md
?? finite_pivot_hard_lifting_invariant_2026-08-13.md
?? finite_power_patterns_audit_2026-08-24/
?? finite_ultraproduct_atom_antifragmentation_2026-08-14.md
?? fixed_centre_completion_and_tightness_audit_2026-08-13.md
?? folded_model_repair_tradeoffs_2026-08-14.md
?? fresh_boolean_coordinate_factorization_audit_2026-08-13.md
?? fresh_boolean_faces_retention_no_go_2026-08-14.md
?? gko_candidate_audit_2026-08-13.md
?? global_operator_cohomology_exact_no_go_2026-08-31.md
?? global_radical_openness_kalton_peck_countermodel_2026-08-15.md
?? godefroy_kalton_ball_topology_1989.pdf
?? gronbaek_self_induced.pdf
?? gronbaek_willis_1997.xml
?? gw-citeseer.pdf
?? gw1997.pdf
?? gw2.bin
?? hpcp_abstract_countermodel_and_gko_growth_2026-08-13.md
?? infinite_rank_curtis_assembly_dimension_cancellation_audit_2026-08-15.md
?? issue269.html
?? johnson_amenable_nonsymmetric_1995.pdf
?? kahane_fourier_series_wavelets.pdf
?? lacunary_generator_exact_fibre_obstruction_2026-08-13.md
?? lambda_branch_direct_target_audit_2026-08-13.md
?? laplacian_cofactor_lifting_2026-08-13.md
?? laplacian_common_divisor_transfer_2026-08-13.md
?? laplacian_descent_terminal_audit_2026-08-13.md
?? latremoliere_packer_1110.6227.tar
?? level_set_synthesis_audit_2026-08-13.md
?? lit_2207.06108.tar
?? lit_2405.03556.tar
?? lit_2507.12119.tar
?? lit_2507_src/
?? lit_2601.03131.tar
?? lit_2601_src/
?? mclain_cstar_property_sp_audit_2026-08-13.md
?? mclain_cstar_stable_rank_gate_audit_2026-08-13.md
?? mclain_deep_embedding_all_homology_death_2026-08-13.md
?? mclain_deep_embedding_k1_audit_2026-08-13.md
?? mclain_dense_invertibles_gate_2026-08-13.md
?? mclain_final_positive_distance_two_central_obstruction_2026-08-13.md
?? mclain_global_rankone_compression_followup_2026-08-13.md
?? mclain_group_positive_candidate_2026-08-13.md
?? mclain_heisenberg_k1_deep_embedding_audit_2026-08-13.md
?? mclain_heisenberg_kostant_gap_resolution_2026-08-13.md
?? mclain_hereditary_fullness_and_persistent_local_k1_2026-08-13.md
?? mclain_hereditary_k1_gap_counterexample_2026-08-13.md
?? mclain_quantitative_invertible_lifting_gate_2026-08-13.md
?? mclain_rank_one_cut_followup_2026-08-13.md
?? mclain_relative_heisenberg_k1_death_2026-08-13.md
?? mclain_uniform_lifting_audit_2026-08-13.md
?? n7_coulomb_research_handoff_2026-08-14/
?? ng_sudo_0205119.tar
?? nonabelian_infinite_order_marked_profile_extension_audit_2026-08-14.md
?? nonpreadjoint_dual_two_defect_report_2026-08-31.md
?? normal_mod_quotient_invisible_lift_gate_report_2026-08-31.md
?? one_hour_bundle_assessment_and_pure_tv_trace_bridge_2026-08-14.md
?? one_variable_curtis_diagonal_preconditioner_assembly_2026-08-15.md
?? one_variable_curtis_global_clopen_assembly_audit_2026-08-15.md
?? one_variable_curtis_multiplier_nonclosed_and_defect_escape_2026-08-15.md
?? open_convolution_research_addendum_2026-08-12.md
?? open_convolution_research_audit_2026-08-12.md
?? open_mult_source.tar
?? open_mult_src/
?? openalex_gw.json
?? oriented_boolean_counterexample_2026-08-12.md
?? output/
?? pair_coupled_two_shift_identity_2026-08-13.md
?? parallel_decoder_nocollapse_lemma_2026-08-14.md
?? perez1703_source.tar
?? pisier_icm1983.pdf
?? prufer_injective_completion_audit_2026-08-13.md
?? prufer_intrinsic_two_digit_curtis_conormal_2026-08-14.md
?? prufer_intrinsic_two_direction_curtis_2026-08-14.md
?? prufer_martingale_and_boolean_comparison_2026-08-13.md
?? prufer_one_variable_conormal_cyclicity_audit_2026-08-14.md
?? prufer_qinfty_whole_dual_selector_audit_2026-08-15.md
?? prufer_radical_target_fixed_gap_audit_2026-08-15.md
?? prufer_two_pass_audit_2026-08-13.md
?? punctured_atomic_barycentre_and_l1_no_go_2026-08-13.md
?? rank1_scalar_action_extension_audit_2026-08-31.md
?? rational_heisenberg_commutator_ideal_stable_rank_2026-08-13.md
?? read_2000_radical_amenable.pdf
?? research_bundle_v7/
?? residual_canonical_defect_pi_stability_report_2026-08-31.md
?? rg.html
?? right_inverse_control_audit_2026-08-13.md
?? root_free_carrier_catalan_wedge_obstruction_2026-08-14.md
?? rordam_zstable_rank.pdf
?? saeki_helson_sets_disobey_synthesis_1975_ams.pdf
?? saphar_feder_1977.pdf
?? scalar_calkin_sequential_gate_audit_2026-08-31.md
?? scalar_nuclear_and_reflexive_calkin_repair_notebook_2026-08-31.md
?? scalar_plus_nuclear_nonreflexive_active_research_notebook_2026-09-01.fifth_pass_working.md
?? second_hour_trace_no_go_and_signed_plaquette_matching_2026-08-14.md
?? selector_free_bezout_catalan_identity_2026-08-13.md
?? square-to-cube-Banach/
?? square-to-cube-proof-audit-2026-08-18/
?? sudo_2001_two_step_stable_rank.pdf
?? sudo_2005_group_cstar_inductive_limits.pdf
?? target_dependent_coherent_annular_lifting_2026-08-13.md
?? target_dependent_finite_cube_audit_2026-08-13.md
?? tensor_kernel_banach_algebra_subreport_2026-08-31.md
?? third_hour_decoder_mixed_modes_and_atom_leakage_2026-08-14.md
?? third_hour_higher_cube_compatibility_audit_2026-08-14.md
?? tmp/
?? torsion_curtis_ultrapower_point_fibre_no_go_2026-08-15.md
?? twisted_slice_audit_2026-08-12.md
?? two_pencil_synthesis_audit_2026-08-13.md
?? two_shift_variable_repair_and_obstruction_2026-08-13.md
?? unconditional_complemented_subspace_model_handoff_2026-08-18.md
?? verify_prufer_intrinsic_two_direction.py
?? warner_weak_spectral_synthesis_1987.pdf
STDOUT END
STDERR BEGIN
warning: could not open directory ' /': No such file or directory
STDERR END
EXIT CODE: 0

COMMAND (Windows command-line syntax): "C:\Program Files\Git\cmd\git.exe" -C "LEAN_PROJECT" status --short --untracked-files=normal -- .
ARGUMENTS (JSON): ["C:\\Program Files\\Git\\cmd\\git.exe", "-C", "LEAN_PROJECT", "status", "--short", "--untracked-files=normal", "--", "."]
WORKING DIRECTORY: LEAN_PROJECT
STDOUT BEGIN
?? ./
STDOUT END
STDERR BEGIN

STDERR END
EXIT CODE: 0

COMMAND (Windows command-line syntax): "C:\Program Files\Git\cmd\git.exe" -C "LEAN_PROJECT" ls-files -- .
ARGUMENTS (JSON): ["C:\\Program Files\\Git\\cmd\\git.exe", "-C", "LEAN_PROJECT", "ls-files", "--", "."]
WORKING DIRECTORY: LEAN_PROJECT
STDOUT BEGIN

STDOUT END
STDERR BEGIN

STDERR END
EXIT CODE: 0

RESULT: Enclosing repository HEAD does not resolve to a commit. No project commit hash is available; workspace source has no committed comparison baseline here. The nonempty status above is untracked/dirty.
