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

dag/extdeps/access/posix_effective_principal_read_op.dag

@@ -1,7 +1,6 @@
 module extdeps.access.posix_effective_principal_read_op
 
 import std.types { Int, Bool, List, Unit }
-import std.string_type { String }
 import extdeps.access.posix_effective_principal {
   EffectivePosixPrincipalRead, EffectivePosixPrincipalReadOutcome,
 }

dag/extdeps/automation/playwright.dag

@@ -1,7 +1,6 @@
 module extdeps.automation.playwright
 
 import std.types { NonEmptyStr, Int, List, brand }
-import std.string_type { String }
 import v2.std.optional { Present, Absent }
 import extdeps.browser.chromium { ChromiumBuild, chromium_151_0_7922_34 }
 import std.decl_ref { DeclarationRef, WholeDeclaration }

dag/extdeps/bmc/http.dag

@@ -5,7 +5,6 @@ import extdeps.uri { Uri, Https }
 import std.decl_ref { DeclarationRef, WholeDeclaration }
 import std.disposition { Disposition, RealizationDispatch, Scaffold }
 import std.types { Bool, Int, NonEmptyStr, Unit }
-import std.string_type { String }
 import std.resources { Network }
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/ipmi.dag

@@ -3,7 +3,6 @@ module extdeps.bmc.ipmi
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }
 import std.types { Bool, Int, NonEmptyStr, Unit }
-import std.string_type { String }
 import v2.std.optional { Present, Absent }
 import std.algebra { trim }
 import v2.std.algebra { filter }

dag/extdeps/bmc/megarac.dag

@@ -2,7 +2,6 @@ module extdeps.bmc.megarac
 
 import std.decl_ref { DeclarationRef, WholeDeclaration }
 import std.types { Bool, Int, NonEmptyStr, List, Unit }
-import std.string_type { String }
 import std.credentials { FactoryLogin }
 import extdeps.bmc.endpoint { AmiMegaRac, BmcProtocol, Ipmi }
 import extdeps.bmc.capability {

dag/extdeps/bmc/openbmc_fan_control.dag

@@ -137,7 +137,6 @@ import std.measure {
   second_count,
 }
 import std.types { Bool, EpochMs, Int, List, NonEmptyStr }
-import std.string_type { String }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/openbmc_password_ssh_transport.dag

@@ -4,7 +4,6 @@ import extdeps.exec.command { sshpass_authority, sshpass_program }
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Https, Uri }
 import std.types { Bool, Int, NonEmptyStr, Secret }
-import std.string_type { String }
 import std.resources { Network }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {

dag/extdeps/clock/clock.dag

@@ -4,7 +4,6 @@ import std.algebra { trim }
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }
 import std.types { EpochMs, EpochSecs, Timestamp, Unit }
-import std.string_type { String }
 import std.nat { Nat }
 import v2.std.optional { Present }
 

dag/extdeps/cloud/gcp/gcp.dag

@@ -4,7 +4,6 @@ module extdeps.cloud.gcp.gcp
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }
 import std.types { Bool, FilePath, Int, List, Map, NonEmptyStr, Secret, Unit, string_non_empty }
-import std.string_type { String }
 import v2.std.algebra { non_empty }
 import extdeps.ietf.http_semantics { POST }
 import std.resources { Network }

dag/extdeps/cloud/gcp/sts.dag

@@ -4,7 +4,6 @@ module extdeps.cloud.gcp.sts
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }
 import std.types { Int, NonEmptyStr, Secret }
-import std.string_type { String }
 import extdeps.ietf.http_semantics { GET, POST }
 import std.resources { Network }
 

dag/extdeps/cloudflare/account_api_tokens.dag

@@ -1,14 +1,12 @@
 module extdeps.cloudflare.account_api_tokens
 import std.resources { Network }
 
-// THE DECLARING MODULE IS NAMED, NOT A MODULE THAT MERELY MENTIONS THE SPELLING. std.types does not
-// declare String -- std.string_type does (type String = FreeMonoid<Char>) -- so importing it from
-// std.types bound nothing and left `String` here as an ambiguous bare read between std.string_type
-// and v2.std.text. The floor's bare-name wall says exactly that, and warns that copying an adjacent
-// file's import line is the usual way to get it wrong; the 41 sibling extdeps modules that name
-// std.string_type are the convention this now follows.
+// `String` HERE IS THE KERNEL STRING, UNIMPORTED, BECAUSE THE VALUES ARE HOST TEXT. This module
+// used to import std.string_type { String } (type String = FreeMonoid<Char>, a code-point
+// sequence) and then treat every such value as host text, which is a crossing between the two
+// text representations with no unfold (gunbc.rung_drop text_boundary_identity_wall). The kernel
+// spelling needs no import: it is in kernel_type_set and imports never override it.
 import std.types { NonEmptyStr, Secret, Timestamp, List, Map, Bool }
-import std.string_type { String }
 import std.decl_ref { DeclarationRef, WholeDeclaration, decl_ref }
 import std.roster_frontier { FrontierRow, frontier_row_decl, frontier_row_path }
 import std.dissolution { unbound_dissolution }

dag/extdeps/cron/cron.dag

@@ -4,7 +4,6 @@ module extdeps.cron
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }
 import std.types { Bool, List }
-import std.string_type { String }
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {
     scheme: Https

dag/extdeps/crypto/hash.dag

@@ -3,7 +3,6 @@ module extdeps.crypto.hash
 import extdeps.exec.program { ProgramIdentity, cataloged_program }
 
 import std.types { NonEmptyStr, Bool, List, Unit }
-import std.string_type { String }
 import std.algebra { trim }
 import v2.std.algebra { skip }
 import std.content_hash {

dag/extdeps/docker/cgroup.dag

@@ -1,7 +1,6 @@
 module extdeps.docker.cgroup
 
 import std.types { NonEmptyStr, Bool, Int, List }
-import std.string_type { String }
 import std.content_hash { content_hash_validate_lower_hex_syntax, content_hash_validate_lower_hex_length }
 import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
 import std.decl_ref { DeclarationRef, WholeDeclaration }

dag/extdeps/docker/container_inspect.dag

@@ -1,6 +1,6 @@
 module extdeps.docker.container_inspect
 
-import std.string_type { String }
+import extdeps.ietf.http_semantics { GET }
 import std.types { Timestamp, Int, FilePath, NonEmptyStr }
 import std.nat { Nat }
 import std.measure { ByteSize, byte_size, byte_size_count, Microsecond, microsecond, microsecond_count }

dag/extdeps/docker/container_stats.dag

@@ -1,6 +1,6 @@
 module extdeps.docker.container_stats
 
-import std.string_type { String }
+import extdeps.ietf.http_semantics { GET }
 import std.types { Timestamp, Int, Float }
 import std.nat { Nat }
 import std.measure { ByteSize, byte_size, byte_size_count, Nanosecond, nanosecond, nanosecond_count, Microsecond }

dag/extdeps/entropy/entropy.dag

@@ -7,7 +7,6 @@ import std.decl_ref { DeclarationRef, WholeDeclaration }
 import std.disposition { Disposition, RealizationDispatch, Scaffold, SingleAuthority }
 import std.dissolution { DissolutionCondition, unbound_dissolution }
 import std.types { Int, Unit }
-import std.string_type { String }
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {
     scheme: Https

dag/extdeps/git/enumeration.dag

@@ -1,7 +1,6 @@
 module extdeps.git.enumeration
 
 import std.types { String, List, Bool, Int }
-import std.string_type { string_is_lexicographically_before }
 import extdeps.git.object_store { GitObjectId, git_object_id_from_untagged_hex }
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.git { git_for_each_ref_external_authority_anchor }
@@ -79,7 +78,8 @@ fn git_ref_decode_admit(state: GitRefDecodeState, refs: List<GitRefIdentity>, id
 //
 // THE COMPARATOR IS NOT THE SAME ONE GIT USED, and that is worth stating where the check lives rather
 // than only where the flag is pinned. git orders refnames BYTEWISE (they are byte strings);
-// string_is_lexicographically_before compares CODE POINTS. The two coincide over well-formed UTF-8
+// host String `<` compares CODE POINTS (test.claim.emitter_string_order_present_binding_witness_test
+// host_string_order_is_code_point_order_in_the_interpreter). The two coincide over well-formed UTF-8
 // because that encoding is order-preserving, so this check does not produce false refusals -- but the
 // agreement is a property of UTF-8, not of either comparator, and swapping this call for a
 // locale-aware one would break it while looking like an improvement. The upstream half of the fact,
@@ -96,7 +96,7 @@ fn git_ref_decode_ordered_admit(
   match state.previous_refname {
     Absent => git_ref_decode_admit(state: state, refs: refs, identity: identity)
     Present { value: previous } =>
-      if string_is_lexicographically_before(left: previous, right: identity.refname) {
+      if previous < identity.refname {
         git_ref_decode_admit(state: state, refs: refs, identity: identity)
       } else {
         git_ref_set_undecodable(

dag/extdeps/git/git.dag

@@ -7,7 +7,6 @@ import extdeps.uri { Uri, Https }
 import extdeps.exec.command { ArgvCommand, argv_command, shell_quote }
 import std.measure { Percent, percent }
 import std.types { Bool, CommitSha, Email, FilePath, GitRef, Int, List, NonEmptyStr, Seconds, Timestamp, Unit }
-import std.string_type { String }
 import v2.std.algebra { length, skip }
 import std.resources { Network }
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
@@ -323,7 +322,7 @@ data git_ls_remote_external_authority_anchor: ExternalAuthority = ExternalAuthor
 // encoding -- so git's ordering here is bytewise, not a collation.
 //
 // THE CONSUMER'S COMPARATOR IS NOT BYTEWISE, AND THE TWO AGREE FOR A REASON THAT IS NOT OBVIOUS.
-// extdeps.git.enumeration validates this order with std.string_type string_is_lexicographically_before,
+// extdeps.git.enumeration validates this order with host String `<`,
 // which compares CODE POINTS. Bytewise and code-point-wise orderings coincide over well-formed UTF-8,
 // because UTF-8 is order-preserving by construction: a code point's encoding sorts, byte for byte, in
 // the same relation as the code point itself. That is a property of the encoding rather than of either

dag/extdeps/git/inspect.dag

@@ -1,7 +1,6 @@
 module extdeps.git.inspect
 
 import std.types { Bool, CommitSha, FilePath, GitRef, Int, Unit }
-import std.string_type { String }
 import std.algebra { trim }
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }

dag/extdeps/git/publication_transport.dag

@@ -1,7 +1,6 @@
 module extdeps.git.publication_transport
 
 import std.types { Bool, CommitSha, GitRef, Int, List, NonEmptyStr, Unit }
-import std.string_type { String }
 import extdeps.git.object_store { GitObjectId, GitRefName, git_object_id_wire_hex }
 import std.decl_ref { DeclarationRef, WholeDeclaration }
 import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }

dag/extdeps/github/issues.dag

@@ -1,8 +1,8 @@
 module extdeps.github.issues
 
+import extdeps.ietf.http_semantics { GET, PATCH, POST }
 import extdeps.github.github { GitHubUser, default_api_base, default_per_page }
 import extdeps.github.errors { GitHubErrorShape }
-import std.string_type { String }
 import std.types { NonEmptyStr, Timestamp, Secret }
 import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
 import std.decl_ref { DeclarationRef, WholeDeclaration }

dag/extdeps/github/pulls.dag

@@ -2,7 +2,6 @@ module extdeps.github.pulls
 
 import extdeps.github.github { GitHubUser, default_api_base, default_per_page }
 import std.types { CommitSha, EpochMs, FilePath, GitRef, NonEmptyStr, Timestamp, AuthScheme }
-import std.string_type { String }
 import extdeps.github.errors { GitHubErrorShape }
 import std.credentials { CredentialSource, EnvVar }
 import std.serialization { WireFormat, Text }

dag/extdeps/gunbc/gunbc.dag

@@ -1,7 +1,6 @@
 module extdeps.gunbc
 
 import std.types { FilePath, Unit }
-import std.string_type { String }
 import std.shell_stream_capture { WitnessStderrCapturePolicy, BoundedTail }
 import std.measure { byte_size }
 import extdeps.external_authority { ExternalAuthority }

dag/extdeps/http/client.dag

@@ -2,7 +2,6 @@ module extdeps.http.client
 import std.resources { Network }
 
 import std.types { NonEmptyStr, Bool, List, Unit, Int }
-import std.string_type { String }
 import std.measure { Second, second_count }
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }

dag/extdeps/linux/cgroup_v2.dag

@@ -1,7 +1,6 @@
 module extdeps.linux.cgroup_v2
 
 import std.types { Bool, NonEmptyStr, Unit, Int, List }
-import std.string_type { String }
 import std.algebra { trim }
 import std.os.types { KernelFamily, Linux, Darwin, WindowsNt, LinuxGuestOnWindows }
 import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }

dag/extdeps/linux/edac.dag

@@ -7,7 +7,6 @@ import extdeps.uri { Uri, Https }
 import std.decl_ref { DeclarationRef, WholeDeclaration }
 import std.measure { MemoryControllerCount, memory_controller_count, memory_controller_count_value }
 import v2.std.optional { Absent, Present }
-import std.string_type { String }
 import std.types { Bool, NonEmptyStr, Unit }
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/linux/proc_net_tcp.dag

@@ -1,7 +1,6 @@
 module extdeps.linux.proc_net_tcp
 
 import std.types { NonEmptyStr, List, Bool, Int, Port }
-import std.string_type { String }
 import v2.std.optional { Present, Absent }
 import std.algebra { trim }
 import v2.std.algebra { any }

dag/extdeps/linux/proc_pid_stat.dag

@@ -2,7 +2,6 @@ module extdeps.linux.proc_pid_stat
 
 import std.types { Int, List, NonEmptyStr, EpochSecs }
 import std.measure { Hertz, hertz_count }
-import std.string_type { String }
 import std.algebra { trim }
 import std.decl_ref { DeclarationRef, WholeDeclaration }
 import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }

dag/extdeps/linux/proc_stat.dag

@@ -1,7 +1,6 @@
 module extdeps.linux.proc_stat
 
 import std.types { Int, List, NonEmptyStr, EpochSecs }
-import std.string_type { String }
 import std.algebra { trim }
 import std.decl_ref { DeclarationRef, WholeDeclaration }
 import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }

dag/extdeps/linux/procfs.dag

@@ -1,7 +1,6 @@
 module extdeps.linux.procfs
 
 import std.types { NonEmptyStr, List, Bool, Unit }
-import std.string_type { String }
 import std.os.types { KernelFamily, Linux, Darwin, WindowsNt, LinuxGuestOnWindows }
 import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
 import extdeps.uri { Uri, Https }

dag/extdeps/llm/cli.dag

@@ -5,7 +5,6 @@ import extdeps.tools.env { env_path_resolved_program }
 import std.algebra { trim }
 
 import std.types { List, Int, Bool, NonEmptyStr, RenderedTerminalText, Unit }
-import std.string_type { String }
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }
 import extdeps.languages.json.grammar {

dag/extdeps/llm/codex_app_server.dag

@@ -1,7 +1,6 @@
 module extdeps.llm.codex_app_server
 
 import std.types { NonEmptyStr, FilePath, Int, Bool, Unit }
-import std.string_type { String }
 import std.decl_ref { DeclarationRef, WholeDeclaration }
 import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
 import extdeps.uri { Uri, Https }

dag/extdeps/nvidia/system_management_interface.dag

@@ -1,7 +1,6 @@
 module extdeps.nvidia.system_management_interface
 
 import std.types { NonEmptyStr, Bool, Int, List, Unit }
-import std.string_type { String }
 import std.nat { Nat }
 import std.measure { Mebibyte, mebibyte }
 import std.algebra { trim }

dag/extdeps/os/ubuntu_ports_archive.dag

@@ -1,7 +1,6 @@
 module extdeps.os.ubuntu_ports_archive
 
 import std.types { NonEmptyStr }
-import std.string_type { String }
 import std.decl_ref { DeclarationRef, WholeDeclaration }
 import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
 import extdeps.uri { Uri, Https }

dag/extdeps/package_managers/apt.dag

@@ -1,7 +1,6 @@
 module extdeps.apt
 
 import std.types { NonEmptyStr, FilePath, Bool, List, Unit }
-import std.string_type { String }
 
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }

dag/extdeps/package_managers/dpkg.dag

@@ -1,7 +1,6 @@
 module extdeps.dpkg
 
 import std.types { NonEmptyStr, Bool, List, Int, Unit }
-import std.string_type { String }
 import std.algebra { Cons, Empty, trim }
 
 import extdeps.external_authority { ExternalAuthority }

dag/extdeps/posix/getconf.dag

@@ -3,7 +3,6 @@ module extdeps.posix.getconf
 import extdeps.exec.program { ProgramIdentity, uncataloged_program }
 
 import std.types { Bool, Int, Unit }
-import std.string_type { String }
 import std.algebra { trim }
 import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
 import std.decl_ref { DeclarationRef, WholeDeclaration }

dag/extdeps/procps/pgrep.dag

@@ -1,7 +1,6 @@
 module extdeps.procps.pgrep
 
 import std.types { Int, List, Bool, NonEmptyStr, Unit }
-import std.string_type { String }
 import std.algebra { trim }
 
 // pgrep(1) from procps-ng, cited to the upstream manual's EXIT STATUS section. Only the codes this

dag/extdeps/python/python.dag

@@ -1,7 +1,6 @@
 module extdeps.python
 
 import std.types { FilePath, List, Unit, NonEmptyStr }
-import std.string_type { String }
 import std.workspace_artifact { WorkspaceFootprint, WorkspaceArtifact, CitedUpstream, RegenerableFromSource }
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }

dag/extdeps/rust/cargo_build.dag

@@ -3,7 +3,6 @@ module extdeps.cargo_build
 import extdeps.exec.program { ProgramIdentity, uncataloged_program }
 
 import std.types { Bool, FilePath, NonEmptyStr, Unit }
-import std.string_type { String }
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }
 import extdeps.exec.command { ArgvCommand, argv_command }

dag/extdeps/rust/rustc.dag

@@ -1,7 +1,6 @@
 module extdeps.rustc
 
 import std.types { Bool, Int, Unit }
-import std.string_type { String }
 import std.algebra { trim }
 import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
 import std.decl_ref { DeclarationRef, WholeDeclaration }

dag/extdeps/shell.dag

@@ -1,7 +1,6 @@
 module extdeps.shell
 
 import std.types { FilePath, NonEmptyStr, Secret, List, Unit }
-import std.string_type { String }
 import extdeps.external_authority { ExternalAuthority }
 import std.dissolution { DissolutionCondition, unbound_dissolution }
 import extdeps.uri { Uri, Https }

dag/extdeps/shell/exec.dag

@@ -1,7 +1,6 @@
 module extdeps.shell.exec
 
 import std.types { Int, Bool, NonEmptyStr, Unit }
-import std.string_type { String }
 import v2.std.compilers.cli_surface { ProcessArgvExpansion }
 import extdeps.external_authority { ExternalAuthority }
 import extdeps.uri { Uri, Https }