Skip to content

Add Swift keyed persistence prototype and verified evidence - #253

Merged
DavidBakerEffendi merged 11 commits into
mainfrom
dave/swift-keyed-persistence-220
Sep 23, 2026
Merged

DavidBakerEffendi merged 11 commits into
mainfrom
dave/swift-keyed-persistence-220

Conversation

@DavidBakerEffendi

Copy link
Copy Markdown
Collaborator

Description

Stock CodeQL Swift has no keyed UserDefaults transfer, and the first receiver-local prototype misses aliases and separate instances sharing a suite. This adds an isolated, non-scored ordered suite-state prototype with immutable successful and failed development evidence. It does not activate scored results or claim general preference semantics.

Key Changes:

  • Add resolved literal-suite/key state operations using typed CFG/SSA reference provenance and key-specific reads, stores and clears. Preserve prior runtime versions and all failed compilation/binding probes.
  • Verify expanded alias/domain/overwrite/order controls, fresh two-branch versus one-branch overwrite controls, and both unchanged canonical persistence fixtures. Explicitly retain mixed-origin strong-update, unknown-write and payload-type limitations as unresolved capability gaps.

Touch Points:

  • adapters/codeql/swift-resolved-native-v1/patches/ and canonical persistence plan/queries
  • evidence/swift-keyed-persistence-v1/
  • Persistence materializers, probe runners, portable verifiers and mutation tests under scripts/
  • .github/workflows/ci.yml
  • docs/swift-keyed-persistence-prototype.md

Validation: fresh extraction 97.961s; canonical extractions 110.552s/96.342s; all eight fresh and nine per-canonical queries/decodes succeeded. Portable tests: 30 passed across retained attempts, fresh controls and canonical fixtures. cargo fmt --check and whitespace checks pass. Analysis requests remain 60s/2048MiB; aggregate memory compliance and whole-profile completeness remain unproven.

Refs #220 and #215. Both issues remain open; acceptance is incomplete.

@DavidBakerEffendi
DavidBakerEffendi merged commit 9d572c9 into main Sep 23, 2026
4 checks passed
@DavidBakerEffendi
DavidBakerEffendi deleted the dave/swift-keyed-persistence-220 branch September 23, 2026 21:59
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