Skip to content

rebless: calls_out keywords/annotations are not calls (companion to gitgalaxy#3403) - #154

Merged
squid-protocol merged 1 commit into
mainfrom
rebless/3359-calls-out-keywords
Sep 23, 2026
Merged

squid-protocol merged 1 commit into
mainfrom
rebless/3359-calls-out-keywords

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Companion to squid-protocol/gitgalaxy#3403 (gitgalaxy#3359). Keywords, metadata annotations and tcl SQL text are no longer captured as calls_out_to callees (calls_out contract C1/C2/C7).

  • data/<lang>/expected_signals.json: calls_out_to cells drop the non-call names. There are 21 cells in 7 languages, and every other callee is unchanged. A dated note was added to each manifest, and each file keeps its own JSON formatting.
    • csharp: nameof (operator keyword)
    • groovy, java: SuppressWarnings (annotation)
    • kotlin: when (keyword), Suppress (annotation)
    • php: isset, unset (language constructs)
    • scheme: guard (special form)
    • solidity: returns (keyword, 13 cells)
  • docs/calls_out_truth.json: php isset/unset and scheme guard are removed from the periphery lists (they are not calls under the #3327 contract). Every dropped name is now in its language's forbidden_everywhere, and csharp nameof moves from tolerated_noise to forbidden.
  • Against the gitgalaxy#3403 engine: rosetta_audit.py reports 51 languages, 0 regressions. check_calls_out_truth.py --all gives 51 PASS. The remaining WARNs are pre-existing periphery gaps in untouched languages.

Cross-repo

🤖 Generated with Claude Code

…itgalaxy#3403, #3359)

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@squid-protocol
squid-protocol marked this pull request as ready for review September 23, 2026 19:31
squid-protocol added a commit that referenced this pull request Sep 23, 2026
…keywords

scheme and solidity are touched by both: #154's versions plus #3361's cells
(a.scm probe-safety [assert], b.sol probeTelemetry [log]). All 51 languages pass
verify_language.py against the merged engine (gitgalaxy#3404 on main with #3359),
and check_calls_out_truth.py --all passes.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@squid-protocol
squid-protocol merged commit 82562e6 into main Sep 23, 2026
1 of 2 checks passed
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