Repository navigation

N7 text crossings: route every bare chars/chars_to_string in the N7 closure through the declared conversion plan - #13151

Merged

gunbai-bot[bot] merged 35 commits into

mainfrom

n7-text-route-consumers

Oct 4, 2026

Commits on Oct 3, 2026
- std.coercion: the named conversion plan carrier, its judgment, and the corpus's unicode scalar plans
  
  Brian Searls
  and
  claude
  committed
  5a623ac
- std.coercion: judge_text_conversion_plan, the checker-facing form over identity readings
  
  Brian Searls
  and
  claude
  committed
  bb2120c
- stage0: regenerate the std_coercion and structural_realization_bindings mirrors
  
  Brian Searls
  and
  claude
  committed
  5f1904e
- conversion plans name their route function (operator ruling O5): unicode_scalar_unfold / unicode_scalar_fold
  
  Brian Searls
  and
  claude
  committed
  797c46d
- stage0: regenerate std_coercion and structural_realization_bindings mirrors for the route functions
  
  Brian Searls
  and
  claude
  committed
  e3ae60c
- N7 text crossings: route every bare chars/chars_to_string in the N7 closure through the declared conversion plan
  
  Brian Searls
  and
  claude
  committed
  b7c28ce
- v1 infer: a refused text crossing names its route function (TextCrossingHasNoImplicitRoute)
  
  Brian Searls
  and
  claude
  committed
  2155c82
- stage0: regenerate source_annotation, infer and core mirrors for the route consumers and TextCrossingHasNoImplicitRoute
  
  Brian Searls
  and
  claude
  committed
  fa0678c
- std.coercion: plan endpoints are carriers; the kernel host String is KernelMinted, not a std.types declaration
  
  Brian Searls
  and
  claude
  committed
  505363a
- stage0: regenerate std_coercion and bindings mirrors for ConversionEndpoint
  
  Brian Searls
  and
  claude
  committed
  4bb2995
- Merge branch 'n7-conversion-plan-carrier' into n7-text-route-consumers
  Brian Searls
  committed
  82f5dc2
- std.coercion: one phase per plan by construction; the judgment's consumer stated as a frontier (review 75096)
  
  Brian Searls
  and
  claude
  committed
  8ca4683
- stage0: regenerate std_coercion and bindings mirrors for the single-phase plan
  
  Brian Searls
  and
  claude
  committed
  e109d0b
- Merge branch 'n7-conversion-plan-carrier' into n7-text-route-consumers
  Brian Searls
  committed
  a892236
- Merge origin/main into n7-text-route-consumers (picks up #13138)
  Brian Searls
  committed
  83bcd38
- primitive_egress chars_to_string: realization of std.coercion unicode_scalar_fold's phase (calm-boar-904 ruling)
  
  Brian Searls
  and
  claude
  committed
  580ea35
- Merge remote-tracking branch 'origin/main' into n7-conversion-plan-carrier
  Brian Searls
  committed
  9c88c88
- Merge branch 'n7-conversion-plan-carrier' into n7-text-route-consumers
  Brian Searls
  committed
  39177a7
- resolve conflict markers committed in the main merge (01_tokenize, dag.dag): keep both imports
  
  Brian Searls
  and
  claude
  committed
  3190c93
Commits on Oct 4, 2026
- std.coercion: plan endpoints derived from the phase's literal homomorphism row; identity derived from route (calm-boar-904's #13143 objection)
  
  Brian Searls
  and
  claude
  committed
  bf88326
- stage0: regenerate std_coercion and bindings mirrors for phase-derived endpoints
  
  Brian Searls
  and
  claude
  committed
  3f1ea0c
- Merge branch 'n7-conversion-plan-carrier' into n7-text-route-consumers
  Brian Searls
  committed
  ca8f66c
- Merge origin/main into n7-text-route-consumers (picks up #13069; v1_std_core mirror to be regenerated)
  Brian Searls
  committed
  bf25a07
- stage0: regenerate v1_std_core mirror after merging main (restores TextCrossingHasNoImplicitRoute)
  
  Brian Searls
  and
  claude
  committed
  21fb107
- Merge origin/main into n7-conversion-plan-carrier (main deleted the boolean literal row; bindings mirror to be regenerated)
  Brian Searls
  committed
  7faccd4
- stage0: regenerate bindings mirror after merging main
  
  Brian Searls
  and
  claude
  committed
  d94b051
- Merge n7-conversion-plan-carrier into n7-text-route-consumers (mirrors to be regenerated)
  Brian Searls
  committed
  1cab9a9
- stage0: regenerate infer and source_annotation mirrors after merging the carrier
  
  Brian Searls
  and
  claude
  committed
  37ae48c
- wall witness: the refusal names the right route in each direction, and the named call is admitted (review 75433)
  
  Brian Searls
  and
  claude
  committed
  7f9ea5a
- wall witness: the named-route control asserts the crossing row is absent (census fixtures cannot supply std.coercion's bare channel)
  
  Brian Searls
  and
  claude
  committed
  c7bc26e
- Merge origin/main into n7-text-route-consumers (after #13143 landed; infer mirror to be regenerated)
  Brian Searls
  committed
  95e969f
- stage0: regenerate the infer mirror after merging main
  
  Brian Searls
  and
  claude
  committed
  20a60d8
- v1 infer: the route-naming match is exhaustive over TextRepresentation, no wildcard (sharp-raven-357's objection)
  
  Brian Searls
  and
  claude
  committed
  0dfabfe
- v1 infer: move the exhaustive-match rationale to a leading annotation (body comments do not parse)
  
  Brian Searls
  and
  claude
  committed
  06a04d9
- stage0: regenerate the infer mirror for the exhaustive route match
  
  Brian Searls
  and
  claude
  committed
  ec4b523

Commits

Commits on Oct 3, 2026

Commits on Oct 4, 2026