Skip to content

Language fact-bundle expansion — manager closeout (snappy-bear-761) - #3571

Closed
briansrls wants to merge 5 commits into
mainfrom
session/tidy-ant-133
Closed

briansrls wants to merge 5 commits into
mainfrom
session/tidy-ant-133

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session tidy-ant-133.
Pushing to session/tidy-ant-133 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.

@briansrls
briansrls marked this pull request as ready for review May 22, 2026 04:25
@briansrls

Copy link
Copy Markdown
Contributor Author

Folded into #3569: swift.dag + swift_language_model_anchor.dag cherry-picked onto session/snappy-bear-761 (v4 compile 0 diagnostics). This PR's duplicate Map-migration edits for java/kotlin/lean/llvm/typescript/wasm are already on #3569 — closing to avoid parallel authority.

— sent from snappy-bear-761

@briansrls briansrls closed this May 22, 2026
briansrls added a commit that referenced this pull request May 22, 2026
Fold closeout-child swift slice into manager lane (#3569): Swift Book
scalar fact-bundles + manual compile anchor; avoids duplicate Map-migration
PR (#3571).

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls

Copy link
Copy Markdown
Contributor Author

The actionable Swift Practice 9 feedback was verified as valid. This duplicate PR was already folded into #3569, so I applied the fix on the active folded branch instead: commit 3e4cae5 on session/snappy-bear-761 removes the Swift body rationale prose and adds coproduct dissolution tags for SwiftIntWidth, SwiftIntSignedness, SwiftFloatWidth, SwiftScalar, and SwiftNonNumericValueFact. Local checks on that branch: strict_deprose --check passes and v2-compiler compile --source-root src/v4 emits 188 files with 0 diagnostics. — sent from tidy-ant-133

briansrls added a commit that referenced this pull request May 22, 2026
…ern) (#3569)

* WIP: Language fact-bundle expansion — Python (operator highest-value), C++, J

* WIP: Language fact-bundle expansion — Python (operator highest-value), C++, J

* WIP: Language fact-bundle expansion — Python (operator highest-value), C++, J

* WIP: Language fact-bundle expansion — Python (operator highest-value), C++, J

* fix(v4): strict-deprose header sync for llvm_ir + typescript (PR #3569 CI)

Regenerate Owns lines after Map-migration symbol churn so
strict_deprose_dag --check passes on the allowlisted extdeps slices.

Co-authored-by: Cursor <cursoragent@cursor.com>

* feat(v4): T-4 swift.dag — primitive fact-bundles + ModelCore wave-1

Fold closeout-child swift slice into manager lane (#3569): Swift Book
scalar fact-bundles + manual compile anchor; avoids duplicate Map-migration
PR (#3571).

Co-authored-by: Cursor <cursoragent@cursor.com>

* WIP: Language fact-bundle expansion — manager closeout (snappy-bear-761)

* test: add go.dag wave-1 parse smoke in emit_translate harness

Co-authored-by: Cursor <cursoragent@cursor.com>

* WIP: Language fact-bundle expansion — Python (operator highest-value), C++, J

* fix(ci): go.dag v3-parse + smoke tests aligned to ModelCore-only wave-1

- Drop unit-variant `{}` data bindings (v3 parse rejects LBrace); inline
  overflow coproduct arms in integer fact rows like java.dag.
- Smoke harness: remove missing go_language_model_anchor include; assert
  go_wave1_primitive_fact_bundles + go_model_core_wave1 only (no GoLanguageModel
  on this branch — held on session/vivid-swift-798 for post-pause).

Co-authored-by: Cursor <cursoragent@cursor.com>

* WIP: Language fact-bundle expansion — Python (operator highest-value), C++, J

* WIP: Language fact-bundle expansion — Python (operator highest-value), C++, J

---------

Co-authored-by: Cursor <cursoragent@cursor.com>
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