From 041a9e26adfcf625183831c279e445c1b5cf69f5 Mon Sep 17 00:00:00 2001 From: "Timothy J. Aveni" Date: Fri, 9 Oct 2026 10:09:17 -0700 Subject: [PATCH] Document package architecture and organize current guidance and project backlog --- src/execution-world/README.md | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/src/execution-world/README.md b/src/execution-world/README.md index 740aaa0..a3b1fa5 100644 --- a/src/execution-world/README.md +++ b/src/execution-world/README.md @@ -1,5 +1,11 @@ # Closed execution plans and artifacts +This page documents current compiler/runtime representations. Its universal +artifact inventory, React metadata and overlapping world/installation structures +are [known architectural gaps](../../../docs/ARCHITECTURE_STATUS.md), not the +[core package contract](../../../docs/ARCHITECTURE.md). Historical LF task numbers +refer to the original implementation sequence, not an active queue. + `compileExecutionPlan` validates a workspace, links its checked queries, resolves public forwarding, and emits one versioned plan with an SHA-256 digest. It retains exact interface/package revisions and generic applications, owner initialization, @@ -60,11 +66,11 @@ the core codec's canonical ordering and domain-separated SHA-256 framing. The monorepo `camino-execution-world` check compares the compiler and core implementations. No machine-local Nix path enters the world descriptor. -The current binding schema is the closed workspace schema. This is conservative: -an unrelated contract change can require checking/rebuilding several packages. -LF-05 may narrow it to exact checked per-package closures, but must use the same -schema for generation, receipts, and world validation. It must not substitute an -older package schema just because the source revision did not change. +Reusable package compilation now receives a canonical per-package build contract; +exact source provenance and workspace linking remain separate. See +[package build contracts](../../../docs/PACKAGE_BUILD_CONTRACTS.md). Generation, +receipts and checking must agree on that contract; unchanged source alone does +not justify reusing an incompatible binding schema. ## Transaction-port ABI