[HC-000] Hard cutover cleanup program index and execution order

[doublemover]

This index tracks the hard-cutover cleanup program for Objective-C 3.0 compiler, runtime, tooling, tests, docs, and validation.

Current program checkpoint after pushed commit cf2d3f030:

• Branch hard-cutover/hc-000-full-program is pushed to origin at cf2d3f030.
• Validation target source head was ba5ce4969 (Stabilize release foundation package gate); the follow-up checkpoint only refreshed tracker evidence files.
• Clean-room repo-superclean proof deleted tmp/build-objc3c-native/repo_superclean_source_of_truth.json, then proved regeneration through both check-repo-superclean-surface and package-runnable-toolchain.
• Fresh package root from the clean-room package proof: tmp/pkg/objc3c-native-runnable-toolchain/20260519_091203_812_3408.
• git diff --check passed.
• python -m scripts.objc3c_workflow lint passed.
• python -m scripts.objc3c_workflow validate-repo-superclean passed; report tmp/reports/objc3c-public-workflow/validate-repo-superclean.json.
• python -m scripts.objc3c_workflow test-runtime-acceptance-fast passed; fast suite, 21 cases, report tmp/reports/runtime/acceptance/summary.json.
• Durable evidence is current in docs/issues/hard_cutover_8132_8150_evidence.md, docs/issues/hard_cutover_8132_8150_evidence.json, and docs/issues/hard_cutover_latest_local_commit_refresh.md.
• Live issue state at this checkpoint: #8133 and #8142 are closed; #8132, #8134 through #8141, and #8143 through #8150 remain open.
• This checkpoint is not a blanket closure claim for the remaining open issues; each remaining issue still needs acceptance-by-acceptance closeout or an explicit decision that its criteria are satisfied by the pushed evidence.

Global policy:

• No fallback behavior.
• No shim path.
• No old language mode.
• No legacy support.
• No compatibility bridge.
• No alias wrapper.
• No report claim without executable behavior.
• No monolithic source file.
• No local duplicate helper implementation.

Execution order:

1. [HC-001] Hard cutover to canonical-only Objective-C 3.0 language mode #8132 canonical-only Objective-C 3.0 language mode.
2. [HC-018] Hard cutover source hygiene gate for fallback, shim, old-mode, and stale-claim removal #8149 source hygiene gate for fallback, shim, old-mode, and stale-claim removal.
3. [HC-003] Hard cutover native compiler tree into small ownership modules #8134 native compiler tree into small ownership modules.
4. [HC-016] Hard cutover CMake and build graph to the new module tree #8147 CMake and build graph to the new module tree.
5. [HC-015] Hard cutover shared helper hoist across compiler, runtime, scripts, and tests #8146 shared helper hoist across compiler, runtime, scripts, and tests.
6. [HC-006] Hard cutover AST to explicit typed nodes for every language construct #8137 explicit typed AST nodes for every language construct.
7. [HC-004] Hard cutover parser into grammar modules and typed construction #8135 parser into grammar modules and typed construction.
8. [HC-005] Hard cutover semantic analysis into domain passes and shared semantic services #8136 semantic analysis into domain passes and shared semantic services.
9. [HC-007] Hard cutover lowering and IR emission into typed codegen modules #8138 lowering and IR emission into typed codegen modules.
10. [HC-008] Hard cutover frontend pipeline and artifacts into separate orchestration and reporting modules #8139 frontend pipeline and artifacts into separate orchestration and reporting modules.
11. [HC-009] Hard cutover frontend type surface into domain models and evidence DTOs #8140 frontend type surface into domain models and evidence DTOs.
12. [HC-017] Hard cutover all JSON and schema handling to shared structured serializers #8148 JSON and schema handling to shared structured serializers.
13. [HC-002] Hard cutover runtime dispatch to strict resolved-or-error semantics #8133 runtime dispatch to strict resolved-or-error semantics.
14. [HC-010] Hard cutover public C frontend API to explicit ownership and error contracts #8141 public C frontend API to explicit ownership and error contracts.
15. [HC-011] Hard cutover CI and workflow commands to one canonical runner surface #8142 CI and workflow commands to one canonical runner surface.
16. [HC-012] Hard cutover runtime acceptance harness into case modules and normal-user probes #8143 runtime acceptance harness into case modules and normal-user probes.
17. [HC-013] Hard cutover tests into behavior-first suites and generated artifact boundaries #8144 tests into behavior-first suites and generated artifact boundaries.
18. [HC-014] Hard cutover docs and spec to one truthful capability matrix #8145 docs and spec to one truthful capability matrix.

Completion standard:

• Each issue lands as a hard replacement.
• Old files, old command names, old modes, old shims, and old report-only support claims are deleted in the same work that introduces the replacement.
• Every large source file named in the program is removed or split under the specified module tree.
• Every moved feature performs a maximum effort shared-code hoist pass.
• Final validation runs the canonical lint, build, behavior test, runtime acceptance, docs, and source hygiene gates successfully on a normal user account.

[doublemover]

Current hard-cutover checkpoint on hard-cutover/hc-000-full-program:

Closed with evidence:

• [HC-011] Hard cutover CI and workflow commands to one canonical runner surface #8142 via 2acbba8be (Split objc3c workflow control plane) and the canonical npm workflow checks.
• [HC-018] Hard cutover source hygiene gate for fallback, shim, old-mode, and stale-claim removal #8149 via e5ec9d539 (Rename canonical objc3c lint action) and npm run objc3c -- lint with source hygiene reporting active_findings: 0.

Pushed checkpoints since the integration handoff:

• c53d38a2c Complete hard cutover integration checkpoint
• 2acbba8be Split objc3c workflow control plane
• e5ec9d539 Rename canonical objc3c lint action

Remaining issues are not being rubber-stamped closed. Current blockers include:

• [HC-002] Hard cutover runtime dispatch to strict resolved-or-error semantics #8133: active specs/docs/tests still mention objc3_msgsend_i32, runtime shim/fallback compatibility wording, and old dispatch artifacts.
• [HC-009] Hard cutover frontend type surface into domain models and evidence DTOs #8140: native/objc3c/src/pipeline/objc3_frontend_types.h still exists, so the type-surface split is not at acceptance.
• [HC-012] Hard cutover runtime acceptance harness into case modules and normal-user probes #8143: scripts/objc3c_runtime_acceptance/core.py is still 20,984 lines, above the 1,500-line acceptance cap.
• [HC-013] Hard cutover tests into behavior-first suites and generated artifact boundaries #8144: tests/native exists, but the full native fixture corpus has not moved to the behavior-first tree.
• [HC-014] Hard cutover docs and spec to one truthful capability matrix #8145: capability docs validate, but active docs/spec/source still contain milestone/lane/proof/legacy anchor residue.
• [HC-017] Hard cutover all JSON and schema handling to shared structured serializers #8148: shared JSON infrastructure exists, but json.dumps/manual JSON output remains widespread outside shared modules.

Validation run deliberately, without broad loop churn:

• npm run objc3c -- build-native-binaries PASS
• npm run objc3c -- lint-default PASS before the hard rename
• npm run objc3c -- lint PASS after the hard rename
• npm run objc3c -- test-fast PASS
• python -m scripts.source_hygiene PASS (active_findings: 0)
• python -m pytest tests/tooling/source_hygiene/test_hard_cutover_gate.py -q PASS
• python scripts/build_objc3c_public_command_contract.py --check PASS
• python scripts/render_objc3c_public_command_surface.py --check PASS

[doublemover]

Current work-based program audit after e5ec9d539 on hard-cutover/hc-000-full-program.

Repository/control-plane evidence:

• Branch is clean and synced with origin.
• Recent pushed commits: c53d38a2c, 2acbba8be, e5ec9d539.
• python -m scripts.source_hygiene is green with active_findings: 0.
• python scripts/check_objc3c_dependency_boundaries.py --mode strict passes.
• I did not rerun broad/nightly tests for this audit; I used current source audits plus the existing integration validation checkpoint.

Issue state after evaluating actual work:

• #8142 remains closed: workflow command/control-plane cutover is satisfied.
• #8149 has been reopened: the gate exists and passes, but direct audits still find forbidden/stale hard-cutover residues in required roots, so its acceptance is not actually complete.
• #8132 through #8141, #8143 through #8149, and this index remain open.

Meaningful work that has landed:

• Canonical npm run objc3c -- <action> command surface and split workflow control-plane modules.
• Source-hygiene infrastructure and canonical lint wiring.
• Native compiler source files are now under the 1,500-line cap.
• native/objc3c/src/pipeline/objc3_frontend_artifacts.cpp is deleted.
• objc3_frontend_types.h is reduced to include glue and model/result directories exist.
• Runtime acceptance, docs, JSON, and helper module skeletons exist.

Main remaining blockers:

• Compiler architecture: parser, sema, IR, and runtime still use include-part wrappers (11 parser parts, 21 sema parts, 11 IR parts, 5 runtime parts). This blocks #8134 through #8138 and #8147.
• Type/API boundaries: objc3_frontend_types.h still exists and the public C API surface still contains lane-E comments/raw C string surfaces that need final ownership classification. This blocks #8140 and #8141.
• Runtime acceptance: scripts/objc3c_runtime_acceptance/core.py is still 20,984 lines and the new modules delegate back to it. This blocks #8143.
• Residue cleanup: docs/spec/fixtures still contain canonical|legacy, objc3_msgsend_i32, runtime shim/fallback, lane, proof, milestone, and stale capability claims. This blocks #8132, #8133, #8144, #8145, and #8149.
• JSON/helper hard cutover: shared JSON/helper infrastructure exists, but manual JSON serialization and direct json.dumps/subprocess.run call sites remain widely used. This blocks #8146 and #8148.

Recommended next execution order:

1. Remove/convert the old dispatch, compatibility, docs/spec, and fixture residues so #8132, #8133, #8144, #8145, and #8149 can converge together.
2. Replace parser/sema/IR/runtime include-part wrappers with real modules, then lock CMake/source-size gates for #8134 through #8138 and #8147.
3. Finish the type and public C API ownership boundaries for #8140 and #8141.
4. Split runtime acceptance core.py into real case/domain modules for #8143.
5. Complete shared JSON/helper migration for #8146 and #8148.

No new issue besides #8142 should be considered closed from the current checkout evidence.

[doublemover]

Program checkpoint pushed: f4b6e455d (HC-002 enforce strict runtime dispatch checkpoint).

What moved:

• Strict runtime dispatch cleanup and enforcement advanced under [HC-002] Hard cutover runtime dispatch to strict resolved-or-error semantics #8133.
• Source hygiene gate tightened under [HC-018] Hard cutover source hygiene gate for fallback, shim, old-mode, and stale-claim removal #8149.
• Runtime dispatch behavior coverage improved under [HC-013] Hard cutover tests into behavior-first suites and generated artifact boundaries #8144.
• Public runtime ABI path moved to native/objc3c/src/runtime/public/objc3_runtime_api.h / objc3_runtime_result.h as part of the runtime cutover.

Validated gates:

• npm run objc3c -- build-native-binaries PASS
• python scripts/check_runtime_corrective_dispatch_lowering.py PASS
• python scripts/check_runtime_corrective_live_dispatch_runtime.py PASS
• python scripts/check_runtime_corrective_synthesized_accessor_runtime.py PASS
• targeted runtime/fixture pytest subset PASS
• npm run objc3c -- test-runtime-acceptance-fast PASS
• npm run objc3c -- lint PASS
• git diff --check PASS

Current sequencing note: #8133 is not closed yet because the complete runtime module tree and a few live strict-error paths remain. The branch is pushed and green at this checkpoint; next work should finish the remaining runtime module splits instead of rerunning broad validation without code movement.

[doublemover]

Strict runtime dispatch completion landed and was pushed as 47cc548e2; #8133 is now closed.

Validated in the closing pass:

• npm run objc3c -- build-native-binaries
• python scripts/check_objc3c_runtime_acceptance.py --case runtime-library
• python scripts/check_runtime_corrective_dispatch_lowering.py
• python scripts/check_runtime_corrective_live_dispatch_runtime.py
• python scripts/check_runtime_corrective_synthesized_accessor_runtime.py
• npm run objc3c -- test-runtime-acceptance-fast
• python scripts/build_objc3c_native_docs.py --check
• python -m scripts.source_hygiene
• python -m pytest tests/tooling/source_hygiene/test_hard_cutover_gate.py -q
• git diff --check
• npm run objc3c -- lint

Program status update:

• [HC-002] Hard cutover runtime dispatch to strict resolved-or-error semantics #8133 no longer blocks runtime-dispatch behavior coverage.
• [HC-013] Hard cutover tests into behavior-first suites and generated artifact boundaries #8144 remains open for the behavior-first test tree and fixture/generated-boundary work.
• [HC-018] Hard cutover source hygiene gate for fallback, shim, old-mode, and stale-claim removal #8149 remains open until the final all-issue branch state is zero-violation across the required roots.
• [HC-000] Hard cutover cleanup program index and execution order #8150 stays open as the program index until the remaining hard-cutover issues and final validation close.

[doublemover]

Program checkpoint pushed to hard-cutover/hc-000-full-program:

• 7feae24ac extracted the runtime acceptance artifact registry from core.py into an owned module.
• ac31f1519 integrated capability support-claim validation, shared Python JSON/schema/report helpers, sema parser-handoff include-shard cleanup, and canonical validation-topology command metadata.

Validation evidence from this checkpoint:

• python scripts/check_objc3c_runtime_acceptance.py --case artifact-registry-key-isolation PASS
• python scripts/validate_capability_docs.py --check PASS
• $env:PYTHONPATH='scripts'; python -m pytest tests/tooling/test_objc3c_shared_json_schema.py tests/tooling/test_capability_docs_validator.py -q PASS (13 passed)
• python scripts/check_validation_ci_topology_integration.py PASS
• cmake --build tmp/build-objc3c-native --target objc3c_sema --parallel PASS
• python -m scripts.source_hygiene PASS (active_findings: 0)
• npm run objc3c -- check-documentation-surface PASS
• npm run objc3c -- check-site PASS
• npm run objc3c -- lint PASS

Issue comments updated for #8134, #8143, #8144, #8145, #8146, #8147, #8148, and #8149. Keeping the program index open: the remaining blockers are still the broader include-shard removals, full runtime acceptance core retirement, full JSON cutover, stale docs/spec cleanup, old fixture corpus migration, and final zero-violation closure after HC-001 through HC-017 land.

[doublemover]

Additional program checkpoint pushed: 7e7f5d762.

This removes another native include-shard family: objc3_typed_sema_to_lowering_contract_surface_parts is now replaced by two named pipeline headers owned by the objc3c_pipeline CMake target. Validation passed with objc3c_pipeline build, source hygiene, whitespace, and a direct stale-path scan.

This updates #8134 and #8147. Program remains open; remaining high-volume blockers are the parser/sema/IR/runtime/artifacts include-shard families, runtime acceptance core retirement, broad JSON migration, docs/spec cleanup, and old fixture corpus cleanup.

[doublemover]

Hard-cutover program checkpoint (May 6, 2026): pushed dccdcc77b to hard-cutover/hc-000-full-program.

Progress since the prior checkpoint:

• Advanced [HC-012] Hard cutover runtime acceptance harness into case modules and normal-user probes #8143 by extracting runtime acceptance progress reporting into scripts/objc3c_runtime_acceptance/progress.py.
• Advanced [HC-015] Hard cutover shared helper hoist across compiler, runtime, scripts, and tests #8146 by giving progress/time/path/command display helpers a dedicated runtime-acceptance owner instead of keeping them embedded in core.py.
• Confirmed the old lint-default action is no longer in the public workflow registry. The current canonical maintainer checkpoint is npm run objc3c -- lint, which passed for this slice.

Validation evidence:

• python -m py_compile scripts/objc3c_runtime_acceptance/progress.py scripts/objc3c_runtime_acceptance/core.py scripts/objc3c_runtime_acceptance/harness.py
• python scripts/check_objc3c_runtime_acceptance.py --case artifact-registry-key-isolation
• python -m scripts.source_hygiene
• npm run objc3c -- lint
• git diff --cached --check

No closure claimed from this checkpoint. #8143 and #8146 remain open; #8150 remains open until the remaining hard-cutover issues are actually closed with final validation evidence.

[doublemover]

Hard-cutover program checkpoint (May 6, 2026): pushed ffe19ddf1 to hard-cutover/hc-000-full-program.

Progress since the previous checkpoint:

• Advanced [HC-012] Hard cutover runtime acceptance harness into case modules and normal-user probes #8143 by moving runtime acceptance probe compile/run/retry ownership out of core.py and into scripts/objc3c_runtime_acceptance/probes.py.
• Advanced [HC-015] Hard cutover shared helper hoist across compiler, runtime, scripts, and tests #8146 by moving the progress-aware command runner into scripts/objc3c_runtime_acceptance/commands.py and progress state into scripts/objc3c_runtime_acceptance/progress.py.
• Kept validation targeted for this follow-on slice rather than repeating the full lint gate immediately after the prior clean npm run objc3c -- lint checkpoint.

Validation evidence:

• python -m py_compile scripts/objc3c_runtime_acceptance/progress.py scripts/objc3c_runtime_acceptance/commands.py scripts/objc3c_runtime_acceptance/probes.py scripts/objc3c_runtime_acceptance/core.py scripts/objc3c_runtime_acceptance/harness.py
• python scripts/check_objc3c_runtime_acceptance.py --case installation-lifecycle
• python -m scripts.source_hygiene
• git diff --check

No closure claimed from this checkpoint. #8143 and #8146 remain open; #8150 remains open until all hard-cutover issues are closed with final validation evidence.