Repository navigation

Text crossings unfold or refuse: exact-representation text compat (XL-0T ruling B) - #12512

Merged

gunbai-bot[bot] merged 39 commits into

mainfrom

session/royal-newt-820

Oct 3, 2026

Commits on Sep 28, 2026

Text crossings unfold or refuse: exact-representation text compat (XL-0T ruling B)

gunbc-ci-auto-heal
and
claude
committed
576bafc
Import the HTTP method names the touched extdeps modules use bare

gunbc-ci-auto-heal
and
claude
committed
6149b5a
Keep std.string_type's String as a frontier; order host text with `<`; fix two emit-classifier defects

gunbc-ci-auto-heal
and
claude
committed
4111529
Claim-scope ambiguity wall: a kernel spelling is never contested

gunbc-ci-auto-heal
and
claude
committed
c26ef54
chore: regenerate drifted generated artifacts (ci auto-heal)
gunbai-bot[bot]
authored
1b2a372
Enroll a control for the kernel-spelling skip in the claim-scope ambiguity wall

gunbc-ci-auto-heal
and
claude
committed
30a4596
Merge remote-tracking branch 'origin/main' into session/royal-newt-820
gunbc-ci-auto-heal
committed
60224ae
Rename the namecheap test helper response -> namecheap_api_response

gunbc-ci-auto-heal
and
claude
committed
843ffb4
Join host lexemes with the kernel join in the stage-verdicts test

gunbc-ci-auto-heal
and
claude
committed
0277306
Merge remote-tracking branch 'origin/main' into session/royal-newt-820
gunbc-ci-auto-heal
committed
314e576
text_boundary_identity_wall: record the spelling-collision receipts

gunbc-ci-auto-heal
and
claude
committed
5241609
Text wall keyed on declaration identity; unidentified sides fall through to base (WIP, paused)

gunbc-ci-auto-heal
and
claude
committed
5285be2

Commits on Sep 29, 2026

chore: regenerate drifted generated artifacts (ci auto-heal)
gunbai-bot[bot]
authored
5235c33
Text crossing judgment is a coproduct, not an optional env (review 72427 finding 2)

gunbc-ci-auto-heal
and
claude
committed
4129275
Merge origin/main; text wall reads v1's one type-identity derivation

gunbc-ci-auto-heal
and
claude
committed
63fa734
Merge origin/main (Node.declaration in shadow, #12612); stage0 regenerated

gunbc-ci-auto-heal
and
claude
committed
c04392e
Text wall row states its current standing; renderer's text answer declared as a stall (review 72772)

gunbc-ci-auto-heal
and
claude
committed
0f67a60

Commits on Sep 30, 2026

Merge origin/main (#12603 kernel container by carrier identity); stage0 regenerated

gunbc-ci-auto-heal
and
claude
committed
9ee1b17
Merge origin/main (#12441, #12635); stage0 regenerated

gunbc-ci-auto-heal
and
claude
committed
d1e684f
module_graph imports ends_with explicitly (floor UnimportedBareProvider)

gunbc-ci-auto-heal
and
claude
committed
fa53159
Revert the gunbc.rust_item_scan ends_with import into v2.lens (layer inversion)

gunbc-ci-auto-heal
and
claude
committed
65fad5b
One text crossing rule; wall comment states what it executes (review 73008)

gunbc-ci-auto-heal
and
claude
committed
178804c
Merge origin/main (#12695 and others); stage0 regenerated

gunbc-ci-auto-heal
and
claude
committed
9cace8d
Declare the FreeSemigroup<Char> text crossing's second decider as a stall

gunbc-ci-auto-heal
and
claude
committed
423ee76
Merge origin/main (#12791 optional-at-required, #12803); stage0 regenerated

gunbc-ci-auto-heal
and
claude
committed
81f2003

Commits on Oct 1, 2026

Merge origin/main; drop the now-redundant substrate-vocabulary skip; stall cites its instrument

gunbc-ci-auto-heal
and
claude
committed
4e1e699
Restore the substrate-vocabulary skip: it is not redundant

gunbc-ci-auto-heal
and
claude
committed
6beefd2
Merge origin/main (#12896 alias-RHS identity, #12902, #12814, #12886); stage0 regenerated

gunbc-ci-auto-heal
and
claude
committed
de6a2d5

Commits on Oct 2, 2026

Merge origin/main into #12512 (keep #12569 container exclusion + identity reading; drop 5 new std.string_type String imports); stage0/rung-drops taken from main pending regen

Brian Searls
and
claude
committed
2a7bd5e
Regenerate stage0 infer mirrors to the fixed point (claim_executor --required-regen, gunbc sha256 9c31f4a6…, rounds 1==2)

Brian Searls
and
claude
committed
9153d4a
Regenerate docs/design-rung-drops.md (docs_projection_gate regen, gunbc sha256 08f520bec5a7, srv1)
briansrls
committed
f4129bd
Retire coreutils_stat/sha256sum #get bare-provider debt rows as ImportsFixed (floor RosterStale: #12910's collect_reference_sites no longer reports the pair in these PR-touched files)

Brian Searls
and
claude
committed
735acb0
Merge origin/main into #12512 (main #12941 retired three spark #get debt rows; rung-drops taken from main pending regen)

Brian Searls
and
claude
committed
fce556f
Regenerate docs (docs_projection_gate regen on fce556f440, srv1)
briansrls
committed
fee4f75
Annotations: an unidentified text side is UNJUDGED by the wall, not refused (review 74123)

Brian Searls
and
claude
committed
455dcd8
Merge origin/main into #12512 (lands after #12980's 37 NFR rows); drop 5 more std.string_type imports main added (playwright, gcp, gcp/sts, tailscale/acl_api, rfc3339 string_lex_compare -> host <);…

Brian Searls
and
claude
committed
f47f41f
Regenerate stage0 infer mirrors to the fixed point after the main merge (claim_executor --required-regen, claim_executor sha256 c6d38a43…, rounds 1==2)

Brian Searls
and
claude
committed
bd5bf21
Merge origin/main into #12512 (main retired coreutils_stat/sha256sum #get as NotAReference; take main's rows)

Brian Searls
and
claude
committed
128ae84

Commits on Oct 3, 2026

Merge origin/main (39b06024: Nat de-fork #12846 et al.) into #12512; stage0 to fixed point

Brian Searls
and
claude
committed
d6069b3