origin probe: compare atom Symbols, not host text into v2.std.text String (main red: #12512 text wall)

[gunbai-bot]

Main is red: v2.lens.production_qualification_origin_probe refuses at 210:39 and 267:39 on main with type mismatch: expected 'Node(String<Product(Char)>)', got 'Primitive(String)'. That refusal stops every floor run that prepares the module.

Cause

Both sites are string_eq(a: symbol_lexeme(sym), b: <v2.std.text String>). Host text crosses into the structural String with no unfold, and the #12512 text wall refuses that crossing.

Fix

The fix compares atom identities instead of unfolding host text, so the file no longer crosses text at all. This PR is only that one file, the same fix already reviewed inside #12583 (wise-dove-693 approved the approach).

• node_contains_atom_text had no callers and is deleted. The floor's whole-corpus resolution on De-fork Bool: v2.std.logic Bool retired, std.types Bool the single declaration (replacement migration) #12583 is the evidence for this, not grep.
• decl_contains_atom takes the atom as a Symbol and compares with symbol_eq. Its one caller passes symbol_intern_lexeme(lexeme: direct_rust_door_inferred_tree_atom), the same spelling this file already uses to build that atom in its fixture.

Evidence: verdict unchanged

All 13 probe witnesses ran under claim_batch on BuildBuddy. Verdicts are identical between main before #12512 (b9cc71cf, the string_eq body) and the fixed body (#12583 head b165884f):

• 8 PASS on both sides:
  • witness_structural_fixture_module_reached_by_symbol_reference
  • witness_planted_fixture_origin_count_matches_oracle
  • witness_structural_red_control_mint_site_discovered
  • witness_nested_fixture_marker_classifies_fixture_origin
  • witness_unknown_origin_red_control_refuses_admission
  • witness_parameter_borne_fixture_mint_classifies_unknown_origin
  • witness_target_without_fixture_tree_classifies_unknown_origin
  • witness_planted_fixture_origin_refuses_production_admission
• 5 FAIL on both sides, all in long/: witness_production_qualification_origin_probe_admission_holds and four …_reds. None of them changed.
• After Text crossings unfold or refuse: exact-representation text compat (XL-0T ruling B) #12512 and without this fix, both witness modules fail to resolve.

decl_contains_atom is exercised in both polarities through derived_sites_for_decl, then decl_origin_from_structure, then decl_has_fixture_marker:

• Marker present, so FixtureDerived: planted_fixture_origin_count_matches_oracle, structural_red_control_mint_site_discovered, nested_fixture_marker_classifies_fixture_origin, planted_fixture_origin_refuses_production_admission.
• Marker absent, so UnknownOrigin: unknown_origin_red_control_refuses_admission, parameter_borne_fixture_mint_classifies_unknown_origin, target_without_fixture_tree_classifies_unknown_origin.

So symbol_eq on interned atoms agrees with string_eq on their lexemes in both directions.

No stage0 mirror is involved, because this is a v2 lens module.

🤖 Generated with Claude Code