Skip to content

rebless(15 languages): built-ins are calls (companion to squid-protocol/gitgalaxy#3404) - #155

Merged
squid-protocol merged 4 commits into
mainfrom
rebless/3361-builtins-are-calls
Sep 23, 2026
Merged

squid-protocol merged 4 commits into
mainfrom
rebless/3361-builtins-are-calls

Conversation

@squid-protocol

@squid-protocol squid-protocol commented Sep 23, 2026 •

Copy link
Copy Markdown
Owner

Companion to squid-protocol/gitgalaxy#3404 (issue gitgalaxy#3361).

What moved

The engine's calls_out ignore sets now hold keywords only: built-ins and stdlib are calls (#3327 C2, decision 1), and the resolver labels them external. 15 manifests gain built-in callees in calls_out_to:

language cell old → new
apex a.cls probeTest [] → [assert]
c a.c probe_safety [] → [assert]
embedded_python a.py probe_safety [] → [isinstance]
javascript a.js probeTest [describe] → [describe, expect]
livecode main.lc probe_branch / probe_risk, a.lc probe_safety, b.lc probe_state, c.lc probe_debt / probe_todo + get / get / assert / put / get / get
lua b.lua probe_telemetry [ERR] → [log, ERR]
python a.py probe_safety [] → [isinstance]
ruby a.rb probe_test [describe] → [describe, expect]
rust b.rs probe_bypass [unwrap] → [unwrap, expect]
scheme a.scm probe-safety [guard] → [guard, assert]
solidity b.sol probeTelemetry [returns] → [returns, log]
tcl a.tcl probe_safety, b.tcl probe_state + assert, [] → [set]
typescript a.ts probeSafety, probeTest [] → [Number], + expect
yacc a.y probe_safety [] → [assert]
zig a.zig probeTest, probeSafety + expect, + assert

Each manifest's notes gains a dated gitgalaxy#3361 sentence. No ledger entries change.

Verification

Against the gitgalaxy#3404 engine build, verify_language.py passes all 15 languages, tools/check_calls_out_truth.py --all passes (no forbidden names, all entry edges present), and ledger_orphan_check.py is clean.

rebless.py refused 11 of these manifests because they do not round-trip (mixed \u escapes in notes). For those, only the moved arrays and the note were changed at text level, and every other byte is untouched.

Cross-repo

🤖 Generated with Claude Code

squid-protocol and others added 2 commits September 23, 2026 14:34
…ol/gitgalaxy#3361)

calls_out_to gains built-in callees (assert, expect, isinstance, log, get/put, set, Number)
now that the engine's calls_out ignore sets hold keywords only (#3327 C2, decision 1).
check_calls_out_truth.py --all passes.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…itgalaxy#3403, #3359)

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
squid-protocol and others added 2 commits September 23, 2026 17:35
…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>
…-are-calls

# Conflicts:
#	data/scheme/expected_signals.json
#	data/solidity/expected_signals.json
@squid-protocol
squid-protocol merged commit 6309cd1 into main Sep 23, 2026
1 check 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