Skip to content

feat(mir): close canonical callable identity boundary - #709

Merged
sanohiro merged 7 commits into
mainfrom
agent/pkg-db-canonical-callable-closure
Aug 5, 2026
Merged

feat(mir): close canonical callable identity boundary#709
sanohiro merged 7 commits into
mainfrom
agent/pkg-db-canonical-callable-closure

Conversation

@sanohiro

@sanohiro sanohiro commented Aug 5, 2026

Copy link
Copy Markdown
Owner

Summary

  • replace backend stringly callable dispatch with typed program/runtime identities
  • encode program symbols and assign deterministic canonical identities to generated function-value, closure, task, and parallel kernels
  • add canonical type/function ABI graph codecs, fail-closed validation, collision preflight, and exported/per-unit/ThinLTO identity coverage
  • close the review findings for legacy symbol owners, inline by-value recursion, and malformed ABI error precedence

Review

  • one full-diff host-native review of d034eda9 reported three P2 findings
  • all findings and their same-root owner/platform-lint failures are closed in 781d3528
  • no public-contract, IR-shape, or cross-layer redesign was needed after review

Verification

  • final-SHA focused owners: link hygiene, main ABI, parallel lowering, per-unit surface, and ThinLTO (82 passed)
  • native pointer-conversion owners: DNS, TCP, UDP, process, and command runtime paths (39 passed)
  • scripts/test-pr.sh
  • scripts/cargo.sh clippy --workspace --lib --bins
  • the local macOS preflight was INCOMPLETE at _dyld_start; isolated Linux ARM64 scripts/pre-pr.sh recorded the final-SHA attestation

Finding-to-fix ledger:
- migrate every remaining backend symbol-shape owner to encoded program and canonical generated identities
- reject inline by-value SCCs while preserving header and function-type cycles
- report disallowed function ABI modes before later malformed fields
- quantize fused parallel work metadata to the canonical 1/2/4 domain
- preserve Copy fixed-array captures and current arena Drop ownership checks
- keep native byte-pointer conversions lint-clean on signed and unsigned c_char targets
@sanohiro
sanohiro marked this pull request as ready for review August 5, 2026 07:13
@sanohiro
sanohiro merged commit 409d92c into main Aug 5, 2026
5 checks passed
@sanohiro
sanohiro deleted the agent/pkg-db-canonical-callable-closure branch August 5, 2026 07:14
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