| %% SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001 |
| %% Copyright (C) 2026 SNAPKITTYWEST / Sovereign Kernel Project |
| %% CLONE_GATE: icp-dag-crystallizer::prolog::kernels::egg_packer |
| %% |
| %% K6: EGG packer — immutable crystallized kernel package |
| %% Domain: packaging | Purity: pure |
| %% |
| %% An EGG is the terminal form: ground, content-addressed, immutable. |
| %% Once packed, digest(Egg) is fixed — any mutation yields a new digest. |
|
|
| :- module(egg_packer, [ |
| pack_egg/3, |
| egg_digest/2, |
| egg_valid/1 |
| ]). |
|
|
| :- use_module(structural_digest). |
|
|
| pack_egg(K, Generation, Egg) :- |
| structural_digest(K, Digest), |
| atom_concat('egg:', Digest, Id), |
| provenance(K, Provenance), |
| kernel_body(K, Body), |
| egg_dependencies(K, Dependencies), |
| kernel_constraints(K, Constraints), |
| required_proofs(K, Proofs), |
| kernel_exports(K, Exports), |
| Egg = egg(Id, Digest, Generation, Provenance, |
| Body, Dependencies, Constraints, Proofs, Exports). |
|
|
| egg_digest(egg(_, Digest, _, _, _, _, _, _, _), Digest). |
|
|
| egg_valid(Egg) :- |
| Egg = egg(Id, Digest, _Gen, _Prov, Body, _Deps, _Cons, _Proofs, _Exports), |
| ground(Egg), |
| atom_concat('egg:', Digest, Id), |
| ground(Body). |
|
|
| %% ── Stub predicates ────────────────────────────────────────────────────────── |
|
|
| :- discontiguous provenance/2, kernel_body/2, egg_dependencies/2. |
| :- discontiguous kernel_constraints/2, kernel_exports/2. |
|
|
