Skip to content

Generate application identity for backends and native hosts - #109

Merged
turinglambdaai merged 3 commits into
mainfrom
fix/app-identity
Oct 1, 2026
Merged

turinglambdaai merged 3 commits into
mainfrom
fix/app-identity

Conversation

@turinglambdaai

Copy link
Copy Markdown
Owner

Summary

  • stage the
    ivet.rktd application identity in every build and expose it to Racket through the new
    ivet/app-info API
  • generate display name, version, build, identifier, and release channel constants for Swift, C++, and Kotlin clients
  • use the generated display name for scaffolded and reference macOS window titles
  • make package verification reject missing, stale, or malformed staged identity metadata
  • bound build numbers to the signed 64-bit range shared by all generated languages

This removes app-local version copies that can make update checks report the current release forever, while keeping
ivet.rktd as the single source of truth.

Validation

aco test tests/ — 8,635 tests passed

  • focused app-info, codegen, project-validation, resource-verification, and documentation tests passed

Fixes #97
Fixes #102

@turinglambdaai
turinglambdaai merged commit 3fd945f into main Oct 1, 2026
15 checks passed
@turinglambdaai
turinglambdaai deleted the fix/app-identity branch October 1, 2026 06:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant