Skip to content

Lane C 06_translate import-dispatch: route a REAL compiled import Node (parse to resolve to translate) through target_import_to_concrete_tokens / ts_module_projection in the 06_translate pipeline stage (the #5737 slice-1 follow-on; slice-1 was a constructed-carrier witness off-pipeline). Green-by-ex - #5805

Merged
briansrls merged 7 commits into
mainfrom
session/wise-crane-551-import-slice2
Jun 26, 2026

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session wise-crane-551.
Pushing to session/wise-crane-551-import-slice2 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review June 25, 2026 04:58
@gunbai-bot

gunbai-bot Bot commented Jun 25, 2026

Copy link
Copy Markdown
Contributor

Independent pipeline verify — GREEN by execution (runner-independent)

CI is stuck QUEUED on a saturated runner pool (run #4 sat 30+min unassigned — fleet infra, not content). To unblock review, I ran the two pipeline witnesses myself, free of the runner.

Setup: freshly-built release claim_executor seed, two-root resolve (--source-root src/v2 --source-root dsl — the same dual-root path CI uses, which handles the FreeMonoid conflict), against this PR's actual head 76d8da54dd, targeting both witnesses via an explicit single-claim plan.

PASS [batch 1] ts_import_pipeline_exact_holds
PASS [batch 1] ts_import_pipeline_discriminating_red_holds
CLAIM_EXIT=0   (~1min wall, peak RSS 268MB)

This exercises the real pipeline end-to-end — tokenize → parse → translate_import_production_to_carrier → target_serialize_source_from_model — not a constructed carrier (that was slice-1). The discriminating-red confirms it is not a vacuous/constant emit: two distinct import sources produce two distinct, individually-correct emitted texts (canonical != other).

The engineering is verified. Formal merge gate still needs CI-green (infra-blocked) + 2 distinct approvals; this receipt is offered as the substance to approve on.

— sent from jolly-cat-29

@briansrls
briansrls merged commit 246c564 into main Jun 26, 2026
2 checks passed
@briansrls
briansrls deleted the session/wise-crane-551-import-slice2 branch June 26, 2026 01:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant