Paired development rule (Packaging first, then the app)
PKGR-0041 ○ Planned Lite and Pro Core Free pricing classEvery element is built first in Simca Packaging (manifest, prebuilt artifact, dependency links, kept thin) and then immediately in Simca or Simca Logistics; no element is marked built in the app without its packaging side
Depends on: PKGR-0001
Element manifest schema (simca.element-manifest.v1)
PKGR-0042 ○ Planned Lite and Pro Core Free pricing classThin per-element manifest: id, name, module, version, tier, priority, pricing class, network access, dependencies, conflicts, platforms, privacy, artifact, where built
Depends on: PKGR-0001
Element registry seeded from the catalog
PKGR-0043 ○ Planned Lite and Pro Core Free pricing classRegistry manifests are seeded from the catalog and re-seeding keeps versions and artifacts already recorded
Depends on: PKGR-0001
Paired development check
PKGR-0044 ○ Planned Lite and Pro Core Free pricing classCheck that an element marked built in the app has a prebuilt artifact and valid dependency links in the registry
Depends on: PKGR-0001
Build assembled from per-element prebuilt pieces
PKGR-0045 ○ Planned Lite and Pro Core Free pricing classA package is assembled from prebuilt, content-addressed element artifacts; nothing is recompiled per customer
Depends on: PKGR-0001
Build cache keyed by spec hash
PKGR-0046 ○ Planned Lite and Pro Core Free pricing classFinished packages are cached under the hash of the normalised package spec
Depends on: PKGR-0001
Identical specs give identical builds (determinism test)
PKGR-0047 ○ Planned Lite and Pro Core Free pricing classTest that two builds of the same spec produce byte-identical package manifests, independent of element order in the spec
Depends on: PKGR-0001
Cache object integrity verification
PKGR-0048 ○ Planned Lite and Pro Core Free pricing classEvery cached piece is re-hashed on read and the cache can be verified in full
Depends on: PKGR-0001
Package manifest signature (Ed25519)
PKGR-0049 ○ Planned Lite and Pro Core Free pricing classPackage manifests are signed with Ed25519; test keys only in development
Depends on: PKGR-0001
Offline-guard test for the packaging tool
PKGR-0050 ○ Planned Lite and Pro Core Free pricing classTest that the packaging tool has no network crates, sockets or URLs in its source
Depends on: PKGR-0001