Skip to content

#8352 REQUEST_CHANGES: owned-CI executor still dispatches a regen stage that spawns the deleted regen_stage0 binary #8359

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
briansrls wants to merge 45 commits into from
Closed

#8352 REQUEST_CHANGES: owned-CI executor still dispatches a regen stage that spawns the deleted regen_stage0 binary #8359

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
45 commits
Select commit Hold shift + click to select a range
eebdeca
Delete the v1 compiler authority; the emitted Rust becomes a frozen seed
Aug 15, 2026
0ac5e78
v1 cut fix-forward: drop the regen_stage0 build target and its bin ro…
Aug 15, 2026
4065994
v1 cut fix-forward: regenerate the workflow artifacts; stage0 .rs sto…
Aug 15, 2026
62e212b
v1 cut fix-forward: retire the emit-plan roster artifact; ground stag…
Aug 15, 2026
2054f4d
v1 cut fix-forward: restore two more swept test fixtures whose consum…
Aug 15, 2026
ad5971f
v1 cut fix-forward: re-home parse_witness's breadth and scaling claim…
Aug 15, 2026
2be3d7e
v1 cut fix-forward: retire the self-host fixed point and its regen job
Aug 15, 2026
225996a
v1 cut fix-forward: close the dangling-import class, found by an exac…
Aug 15, 2026
134a721
v1 cut fix-forward: finish the gate retirement in the floor's own pla…
Aug 15, 2026
e7c8746
Invert the two regen preflight claims into retirement controls
Aug 15, 2026
5693922
Retire the last consumer of Stage0EmitPlanGeneratedDagArtifact
Aug 15, 2026
3e73c25
Stale-citation class, and one guard the deletion would have dropped
Aug 15, 2026
b69b9a1
Correct a registration my own edit falsified, and dispose its trigger
Aug 15, 2026
ec1002b
Two role-level corrections in my own retirement notes
Aug 15, 2026
6533173
The two enrollment predicates are now byte-identical; say so
Aug 15, 2026
aacbe33
Derive both enrollment predicates from one authority
Aug 15, 2026
b744a21
Repoint the last Cargo.toml exemplar naming a deleted bin
Aug 15, 2026
77de1a1
Record a partition the cut broke and the guard that would have said so
Aug 15, 2026
a759560
Rename the re-homed function to the question it now answers
Aug 15, 2026
147b210
Repoint derived_generated_hand_disjoint_holds to the disposition popu…
Aug 15, 2026
f81ab0c
std.algebra: the cited exemplar retired with v1; say so instead of da…
Aug 16, 2026
a973901
Split v1_source_audit: retire the 35 rows whose subject the cut delet…
Aug 16, 2026
1c8f0e9
Rename the split residue: a v1_source_audit file with zero v1 audits …
Aug 16, 2026
50b3272
Repoint the v1 compile harness fingerprint to the frozen seed it now …
Aug 16, 2026
b90d4f7
Skew guard: retire the stage0-projection row, strengthen its sibling …
Aug 16, 2026
667ad49
Restore the stage0 emit-plan generation path; the authority was never…
Aug 16, 2026
a3387a9
Retire the four std_measure-pinned closure rows; stamp provenance on …
Aug 16, 2026
1df64a7
Retire two v1-blob roster rows; narrow one §3 guard at ASSERTION grain
Aug 16, 2026
e282c30
Complete the ruling: revert the emit-model re-home, restore projectio…
Aug 16, 2026
8f48b53
Reconcile the ledger witness with the retired regen spine row
Aug 16, 2026
76d9761
Make two retirement receipts findable from the symbols they retire
Aug 16, 2026
ed2509e
Retire the four REDs' descriptions and dead helpers with their subjects
Aug 16, 2026
59bf59f
Reconcile the two surviving notes with the population they now describe
Aug 16, 2026
03be19e
Declare the 136 frozen emitted artifacts the v1 cut created
Aug 16, 2026
3af3f86
Withdraw 638x for the confirmed ~9x, adopt the third disposition, and…
Aug 16, 2026
c7822ee
Delete the rung-drop arm; no row drops a rung, derived by execution
Aug 16, 2026
e57ea5c
v1 cut fix-forward: disposition the two named witness reds
Aug 16, 2026
ae601fc
Control-collapse pass over the controls this branch authored or repaired
Aug 16, 2026
62d4b53
v1 cut fix-forward: retire the v1 claim scoped witness batch with its…
Aug 16, 2026
82d8c2b
Fold a body-position annotation into its legal leading block
Aug 16, 2026
be594af
Merge origin/main into integration/v1-cut
Aug 16, 2026
3b779a9
Merge origin/main (c56f4b43acf) into integration/v1-cut
Aug 16, 2026
673d75d
Re-enroll the §4c annotation-erasure obligation against the surviving…
Aug 17, 2026
0cc4826
Merge origin/main into integration/v1-cut
Aug 17, 2026
5334c73
Retire CiRegenStage from owned-CI executor
Aug 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
143 changes: 0 additions & 143 deletions .gitattributes
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,147 +77,4 @@ docs/plans/v2-self-hosting.md merge=generated-artifact
docs/plans/value-null-split.md merge=generated-artifact
docs/plans/wiring-liveness-preflight.md merge=generated-artifact
src/v1/stage0/src/bootstrap_stage0_crate_layout_generated.rs merge=generated-artifact
src/v1/stage0/src/compiler_tests.rs merge=generated-artifact
src/v1/stage0/src/extdeps_cargo.rs merge=generated-artifact
src/v1/stage0/src/extdeps_cargo_version.rs merge=generated-artifact
src/v1/stage0/src/extdeps_container_oci_digest.rs merge=generated-artifact
src/v1/stage0/src/extdeps_external_authority.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_dag_emit.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_dag_syntax.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_dag_types.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_go_emit.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_go_syntax.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_go_types.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_python_emit.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_python_syntax.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_python_types.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_rust_emit.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_rust_syntax.rs merge=generated-artifact
src/v1/stage0/src/extdeps_languages_rust_types.rs merge=generated-artifact
src/v1/stage0/src/extdeps_units_dimensionless.rs merge=generated-artifact
src/v1/stage0/src/extdeps_units_iec_80000_13.rs merge=generated-artifact
src/v1/stage0/src/extdeps_units_iso8601.rs merge=generated-artifact
src/v1/stage0/src/extdeps_units_iso_80000_3.rs merge=generated-artifact
src/v1/stage0/src/extdeps_uri.rs merge=generated-artifact
src/v1/stage0/src/extdeps_uri_path.rs merge=generated-artifact
src/v1/stage0/src/extdeps_version.rs merge=generated-artifact
src/v1/stage0/src/extdeps_version_semver.rs merge=generated-artifact
src/v1/stage0/src/gunbc_namespace_reference_derived_closure_admission.rs merge=generated-artifact
src/v1/stage0/src/gunbc_namespace_reference_derived_closure_contract.rs merge=generated-artifact
src/v1/stage0/src/gunbc_rust_decl_type_overlay.rs merge=generated-artifact
src/v1/stage0/src/gunbc_stage0_crate_layout_generated.rs merge=generated-artifact
src/v1/stage0/src/gunbc_stage0_crate_partition_generated.rs merge=generated-artifact
src/v1/stage0/src/lib.rs merge=generated-artifact
src/v1/stage0/src/std_algebra.rs merge=generated-artifact
src/v1/stage0/src/std_checked_arithmetic.rs merge=generated-artifact
src/v1/stage0/src/std_coercion.rs merge=generated-artifact
src/v1/stage0/src/std_computation.rs merge=generated-artifact
src/v1/stage0/src/std_constructors.rs merge=generated-artifact
src/v1/stage0/src/std_content_hash.rs merge=generated-artifact
src/v1/stage0/src/std_currency.rs merge=generated-artifact
src/v1/stage0/src/std_decl_ref.rs merge=generated-artifact
src/v1/stage0/src/std_disposition.rs merge=generated-artifact
src/v1/stage0/src/std_dissolution.rs merge=generated-artifact
src/v1/stage0/src/std_effects.rs merge=generated-artifact
src/v1/stage0/src/std_emit_model.rs merge=generated-artifact
src/v1/stage0/src/std_error_primitives.rs merge=generated-artifact
src/v1/stage0/src/std_execution_mode.rs merge=generated-artifact
src/v1/stage0/src/std_graph.rs merge=generated-artifact
src/v1/stage0/src/std_http_path.rs merge=generated-artifact
src/v1/stage0/src/std_induction.rs merge=generated-artifact
src/v1/stage0/src/std_integer.rs merge=generated-artifact
src/v1/stage0/src/std_interface_summary.rs merge=generated-artifact
src/v1/stage0/src/std_iteration.rs merge=generated-artifact
src/v1/stage0/src/std_keyed_roster.rs merge=generated-artifact
src/v1/stage0/src/std_keyed_row.rs merge=generated-artifact
src/v1/stage0/src/std_logic.rs merge=generated-artifact
src/v1/stage0/src/std_machine_constraints.rs merge=generated-artifact
src/v1/stage0/src/std_magnitude.rs merge=generated-artifact
src/v1/stage0/src/std_measure.rs merge=generated-artifact
src/v1/stage0/src/std_nat.rs merge=generated-artifact
src/v1/stage0/src/std_node.rs merge=generated-artifact
src/v1/stage0/src/std_occurrence_binding.rs merge=generated-artifact
src/v1/stage0/src/std_occurrence_binding_candidates.rs merge=generated-artifact
src/v1/stage0/src/std_occurrence_binding_resolve.rs merge=generated-artifact
src/v1/stage0/src/std_occurrence_identity.rs merge=generated-artifact
src/v1/stage0/src/std_pareto.rs merge=generated-artifact
src/v1/stage0/src/std_process_termination.rs merge=generated-artifact
src/v1/stage0/src/std_realization_schedule.rs merge=generated-artifact
src/v1/stage0/src/std_reference_binding_observation.rs merge=generated-artifact
src/v1/stage0/src/std_roster_frontier.rs merge=generated-artifact
src/v1/stage0/src/std_serialization.rs merge=generated-artifact
src/v1/stage0/src/std_source_annotation.rs merge=generated-artifact
src/v1/stage0/src/std_syntax.rs merge=generated-artifact
src/v1/stage0/src/std_termination.rs merge=generated-artifact
src/v1/stage0/src/std_trait_derive_shape.rs merge=generated-artifact
src/v1/stage0/src/std_types.rs merge=generated-artifact
src/v1/stage0/src/std_unicode_types.rs merge=generated-artifact
src/v1/stage0/src/std_witness_admission.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_annotation_bind.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_artifact.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_closure_stub_v2_std_integer_rust.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_closure_stub_v2_std_text_rust.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_coercion.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_compile.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_compiler_tests_rust.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_complexity.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_dag_collect.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_dag_collect_support.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_effect_derivation.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_emit.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_emit_core_support.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_emit_go.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_emit_python.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_emit_rust.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_frontend_observation.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_access.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_cycle.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_emit_info.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_env.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_items.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_lookup.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_method.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_occurrence_binding.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_patterns.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_resolve.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_service.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_sigs.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_infer_types.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_languages.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_normalize.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_ownership.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_parse.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_resolve.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_runtime_go.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_runtime_rust.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_stage0_crates.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_tokenize.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_trace.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_trait_derive_emit.rs merge=generated-artifact
src/v1/stage0/src/v1_compiler_workspace_members.rs merge=generated-artifact
src/v1/stage0/src/v1_gunbc_namespace_reference_derived_closure_production_observations.rs merge=generated-artifact
src/v1/stage0/src/v1_gunbc_occurrence_binding_parser_walk.rs merge=generated-artifact
src/v1/stage0/src/v1_interpreter_dispatch_generated.rs merge=generated-artifact
src/v1/stage0/src/v1_probe_emit_interp.rs merge=generated-artifact
src/v1/stage0/src/v1_rt.rs merge=generated-artifact
src/v1/stage0/src/v1_std_core.rs merge=generated-artifact
src/v1/stage0/src/v1_test_non_ascii_perf_fixture.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_caret_parse_smoke_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_dag_parse_continuation_operator_witness_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_namespace_reference_derived_closure_production_admissions_witness_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_occurrence_binding_parser_walk_witness_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_occurrence_identity_debt_receipt_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_ordinary_frontend_observation_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_pattern_binder_declaration_node_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_required_expr_newline_continuation_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_v1_annotation_binding_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_v1_annotation_capture_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_v1_annotation_erasure_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_v1_annotation_round_trip_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_v1_annotation_target_emission_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_v1_complexity_eviction_hazard_test.rs merge=generated-artifact
src/v1/stage0/src/v1_tests_claim_v1_match_pattern_identity_test.rs merge=generated-artifact
src/v1/stage0/src/wt_a.rs merge=generated-artifact
src/v1/stage0/src/wt_b.rs merge=generated-artifact
src/v1/stage0/src/wt_common.rs merge=generated-artifact
Loading
Loading