Skip to content

Dissolve §3-fork duplicates into existing authorities (point-at-existing-authority cluster) - #7188

Merged
briansrls merged 7 commits into
mainfrom
session/witty-ferret-207
Jul 25, 2026
Merged

briansrls merged 7 commits into
mainfrom
session/witty-ferret-207

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jul 25, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Dissolves 7 CONFIRMED §3-forks from docs/plans/extdeps-std-grounding-inventory.md §1 by deleting the twin and pointing consumers at the existing single authority (each with a named dissolve-on trigger):

  • std.filesystem is_text_encoding → std.encoding.is_text_encoding (Optional lift via is_text_encoding_optional)
  • extdeps.gnu_coreutils diff_recursive_* argv literals → extdeps.diffutils shell.Diff.Recursive transport
  • extdeps.formats.elf.segments PhdrDecodeOutcome → extdeps.formats.elf.types.ElfDecodeOutcome (+ UnsupportedElfSegmentType reason variant)
  • extdeps.languages.rust.types integer_types/float_types bare lists → deleted (zero consumers; authority is rust.primitives)
  • std.markdown_markup parallel inline→MarkupNode mapping → std.markdown.markdown_inline_to_fragments ∘ std.markup.fragments_to_markup_nodes
  • std.cache_identity CacheInterfaceProduct enum → CacheInterfaceId (cache.dag wires cited facts directly)

Test plan

  • gunbc compile --target dag --source-root dag — 1248 modules, clean closure
  • Pre-push affected-set witness corpus (partial run before push; full corpus gates in CI)
  • CI regen + heal_generated_artifacts (re-run after brace-escape fix in gnu_coreutils.dag)

briansrls and others added 2 commits July 25, 2026 00:24
…lve CacheInterfaceProduct.

The WIP commit left rust/types.dag with a broken rust_cast_syntax declaration (regen parse panic). Restore the data decl, delete the zero-consumer integer_types/float_types lists (authority: rust.primitives), delete CacheInterfaceProduct enum in favor of CacheInterfaceId, and wire cache.dag catalog rows directly to cited facts.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls
briansrls force-pushed the session/witty-ferret-207 branch from 050bab6 to 34d66aa Compare July 25, 2026 01:16
@gunbai-bot gunbai-bot Bot changed the title Extdeps/std §3-fork dedups (point-at-existing-authority cluster) — per docs/plans/extdeps-std-grounding-inventory.md §1, dissolve these CONFIRMED duplicate-modeled concepts into their EXISTING single authority (delete the twin, migrate consumers, add a named dissolution trigger; do NOT mint a new au Dissolve §3-fork duplicates into existing authorities (point-at-existing-authority cluster) Jul 25, 2026
@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review July 25, 2026 01:17
briansrls and others added 4 commits July 25, 2026 01:33
Updates extdeps_languages_rust_types.rs to match fresh regen_stage0 --verify output: remove integer_types/float_types emit, add rust_types_name_catalog_dissolve_on.

Co-authored-by: Cursor <cursoragent@cursor.com>
The design_register_lift_parity witness was stale on main (roadmap_style
changed in #7169); dag/std edits in this PR surfaced it in the affected-set
corpus. NFR stale row for deleted filesystem.is_text_encoding was already
removed in a934d68.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls
briansrls merged commit b94c307 into main Jul 25, 2026
8 of 10 checks passed
@briansrls
briansrls deleted the session/witty-ferret-207 branch July 25, 2026 05:51
briansrls added a commit that referenced this pull request Jul 25, 2026
…7178 cost) (#7204)

The namespace-only flip #7178 (merged 2026-07-25) makes bare references resolve
by containment-walk (#6848 per-entry bare-reference fixpoint), adding ~200s to
the affected-set discovery-corpus resolve wall vs the import-scoped basis the
prior 1680 was sized on (#7137, all pre-flip). This is a real, attributed cost
shift, not a per-PR regression: THREE disjoint post-flip observations exceed
1680 -- #7198 (run 30140810666) 1820001ms, #7188 (run 30142221249) 1859345ms,
and the falsifier lane's warm post-flip run (~36min, same signature).

Operator-signed raise (briansrls, 2026-07-25): 2100s (35min), sized to the
+/-20% fleet host envelope over the observations so a slow-host broad-touch run
does not round-trip this row a third time. STOPGAP until #6848 cuts per-entry
resolve (dispatched as a lane) and the row dissolves into #7162's derived clamp.
Remedy stays diagnose-or-signed-raise, never rerun.

Standalone budget PR -- unblocks the fleet (#7198, #7188, and main's next push
all red on batch-3 over-budget) in one commit, disjoint from the feature lanes.

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant