Repository navigation
File the class: a host-realized seam whose body calls itself diverges instead of refusing when its interpreter arm is absent - #11205
Merged
Conversation
… instead of refusing when its interpreter arm is absent One ledger row under dag/gunbc/recurring_failure_mode/. Specimen: gunbc#11121's map_lookup_primitive_delegate, whose self-call body recurses to CALL_DEPTH_LIMIT on any binary that lacks the map_grounding.lookup arm. Denominator searched: 13 same-name self-call declarations across dag/ and src/v2, 11 rostered HostRealizedSeam, 2 with an arm and no projection row. Rung mitigatable; ceiling structurally guaranteed via an ingestion refusal of an unrealized seam; trigger names that capability. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01HdFUqwbXvCQ2RS17C9hKBA
…forms in v1_rt; the class stays live Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01HdFUqwbXvCQ2RS17C9hKBA
…r row, absent from the emitted seed -- exposure prospective Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01HdFUqwbXvCQ2RS17C9hKBA
3 tasks
2 tasks
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Sep 13, 2026
Pick up the host-seam class filing (#11205) and later main commits before CI.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Row-only diff under
dag/gunbc/recurring_failure_mode/(the class fierce-lark-661 ruled safe to land during the freeze). No test, no source change.Class. A
.dagdeclaration whose body is one application of its own name means "host-realized seam" and reads as recursion. The meaning lives only in an interpreter arm the running binary may not carry; when it does not, the name resolves to the declaration and diverges toCALL_DEPTH_LIMITwith a diagnostic that names recursion, not a missing realization.Verified from source (not reproduced): gunbc#11121 / dfac90c introduced
map_lookup_primitive_delegateand itsmap_grounding.lookuparm in one commit, so a pre-#11121 binary over the post-#11121 corpus hitscall_function_guarded's depth refusal — the still-crab-505 observation, cited as a lane report.Denominator. 13 same-name self-call
fndeclarations acrossdag/andsrc/v2/; the 11HostRealizedSeamroster rows are all among them; the other 2 (v2.std.node_reflectionresolve_type_node,v2.std.data_indexdata_init_decl_facts_live) have interpreter arms and no projection row. The row says thirteen sites, and that the roster is short by two.Rung / ceiling / trigger. Found at mitigatable (interpreted path: typed depth refusal, wrong subject; emitted-Rust unrostered path is silent per
symbol_lexeme_seam_disposition_note). Ceiling structurally guaranteed: the self-call marker is decidable, and acceptance can refuse a closure whose seam has no roster row or whose primitive the executing realization has no arm for. Structurally impossible is named beyond it (a bodyless host-seam declaration form) and not claimed. Trigger names that acceptance capability across all paths and binaries.Discrimination. Neighbour family (arm and registration that do not meet —
dispatch_correctness_resting_on_arm_order,unresolved_callee_conflated_with_dispatched_elsewhere): the binary carries a realization and the dispatch fails to select it. Here the binary carries none and the declaration answers. No prior ledger row covered this; the closest prior text is theStringnote insidestd.primitive_projection, now cited as a receipt.🤖 Generated with Claude Code
https://claude.ai/code/session_01HdFUqwbXvCQ2RS17C9hKBA