Repository navigation
XL-2 from_code_point follow-up: parser decodes (9) - #13451
Closed
gunbai-bot[bot] wants to merge 58 commits into
Closed
gunbai-bot[bot] wants to merge 58 commits into
gunbai-bot[bot] wants to merge 58 commits into
Conversation
…Scalar) + total char_text; migrate v2 callers Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
… identity grain, by kind) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
… session/proud-crane-779
…fusal (XL-2, from_code_point follow-up) yaml.ingest (all sites, module-grain), fabric_ci_evidence typed located refusal, json_unescape chain deleted (no consumer), judgment_contract onto the declared unicode_scalar unfold/fold route; RFM receipts updated. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…sites to std.unicode.scalar char_text Retires the CHAR population of RFM bare_from_code_point_binds_the_total_seed_builtin (6 extdeps.languages.yaml.ingest identities transferred to the parser-decode lane). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…80 Time refuses non-ASCII; honest non-UTF-8 fixture + RFM Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…arm (review 76444) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
… session/proud-crane-779
…rammar), not a re-export through json.parse Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…uthority); migrate v1's own callers to char_text The interpreter dispatches builtins before module fns, so the std declaration was unreachable while the builtin existed. Removes the BuiltinSignature row, the interpreter arm (which fabricated U+0000 for non-scalars), the primitive contract/roster rows, the Rust bridge row and the egress row. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
… through unicode_scalar_fold (XL-2 from_code_point, PR 2/2) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…gger Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…el; RFM char_brand_admits_any_int; CHAR population recorded NAME-MIGRATED, not Char-proven Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…(the deleted builtin admitted an Optional index silently) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
… without it) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…not-Char-proven dependents; bare-name silent bind + eval-only type refusal Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…ai/gunbc into session/bold-deer-208
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…ion/bright-fox-380-fcp
…ssion/bright-fox-380-fcp
…ns disagreed Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…coder lane Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…nded) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…ion/bright-fox-380-fcp
… (expects C3 BF), so char_text, not from_code_point Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
… session/bright-fox-380-fcp
…leading module-scope // blocks) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
… into session/bright-fox-380-fcp
…onRef, LiteralHomomorphism) std.coercion had no imports and resolved them only through the whole-tree flat namespace. Once extdeps.uri reached it (char_text / unicode_scalar_fold), every fixture census importing extdeps.uri carried blocking UnresolvedType rows, which regressed guarantee_probe_corpus's sole_constructor_forged_literal_red_refuses, sole_constructor_mint_fn_hole_still_compile_clean and sole_constructor_forged_red_does_not_satisfy_green_expectation (green at merge base 864c9ce). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…0-fcp # Conflicts: # dag/std/coercion.dag
…de its consumer extdeps.uri) with its import edges; regenerate the partition Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…0-fcp # Conflicts: # src/v2/workflow/floor_unimported_bare_provider_debt_roster.dag
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…sus (regen_scope_worktree split delimiter and its witness's nul): char_text; record them on the RFM row Found by review 76569 (witness) and the follow-up sweep (production site). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…ai/gunbc into session/bold-deer-208
…module declaration (required-regen named them) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…what --emit-partition-crates renders: written=0 after rebuild) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…1_rt::from_code_point removed)
…surface (v1_compiler_emit_core_support uses it) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…0-fcp # Conflicts: # dag/test/claim/git_ls_remote_witness_test.dag # src/v1/01_tokenize.dag # src/v1/stage0/src/v1_compiler_emit.rs # src/v1/stage0/src/v1_compiler_runtime_rust.rs # src/v1/stage0/src/v1_compiler_tokenize.rs # src/v1/stage0/src/v1_rt.rs
briansrls
marked this pull request as ready for review
October 6, 2026 00:23
|
You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard. |
Contributor
Author
|
Closing as a duplicate: this PR was auto-opened from session/bold-deer-208 when that session closed. Its head eea9a7e is #13387's final head, which is an ancestor of #13378's branch (verified earlier with git merge-base --is-ancestor), and #13387 was itself closed as merged into #13378. The content lands as part of #13378's from_code_point unit. — sent from lively-crane-656 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Auto-opened by session-dashboard for session
bold-deer-208.Pushing to
session/bold-deer-208advances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan