@stream44.studio/encapsulate 0.4.0-rc.15 → 0.4.0-rc.17

package/.o/GordianOpenIntegrity.yaml

@@ -4,18 +4,18 @@ $defs:
     $ref: "https://datatracker.ietf.org/doc/draft-mcnally-envelope/"
   mark:
     $ref: "https://github.com/BlockchainCommons/Research/blob/master/papers/bcr-2025-001-provenance-mark.md"
-envelope: "ur:envelope/lptpsotanshdhdcxwtmtbzpmhhetwdehsknyvdrejphdntiavopycecmmuwzrlhecaiyprhhbylbytrnoyaylftpsohdgltansgylftanshfhdcxfyonwttkhdtokngtjpbdiacwmejnintiwdpeadflmhpsdespynkbbkmsnydajsqdtansgrhdcxgubabwwzdsclswurecrhfmltsnhkhkamleptdywyamtydasgkivsqznsrnfpbdadoycsfncsfgoycsfztpsohdjktngdgmgwhflfaxhdimeejoothkcfmepmptmnzczojyfluybtkeyawzdasojyhtskwecaiywfgarhkgotcmhkvldpzctkhlsthyntsaaddijtmejeleetwnwmjohftyjknsoyimuowfahgmsabzvohlzmidsaheghemwlpycszcsntasoaerpwewffmimhntydttnsgcyfrswzsfhimvdrhtlwftdhnrdfpbnvooytpsoksdtfljljpieinhsjtgwjoihjtgajtjyihiojpinjykkdmgmihjojljkinjyjljpkkgaieihjtjyiniyinihjptpsoksehieinieftjpihjojlftideeeteeiddyehiaiheneceeiydyeheyeyiehseheeiyhseeeeetiaeniyihiyidhsehiaiaecihemenoytpsoksctfljljpieinhsjtgwjoihjtgajtjyihiojpinjykkdmguiniojtinjtiogrihkktpsokshnjkjkisdpihieeyececehescxfpfpfpfpfxeoglknhsfxehjzhtfygaehglghfeecfpfpfpfpgagdjtgoknhkfxgokpkkgmflgmgleogsdniofdemksksghgaidhdethfjnjegtecfxfphfeeflkphdkkjzkogwfecxjyeeeedpjkiniojtinjtiodpjeihkkhdidcwkg"
-mark: "025fc634"
+envelope: "ur:envelope/lptpsotanshdhdcxwtmtbzpmhhetwdehsknyvdrejphdntiavopycecmmuwzrlhecaiyprhhbylbytrnoyaylftpsohdgltansgylftanshfhdcxfyonwttkhdtokngtjpbdiacwmejnintiwdpeadflmhpsdespynkbbkmsnydajsqdtansgrhdcxgubabwwzdsclswurecrhfmltsnhkhkamleptdywyamtydasgkivsqznsrnfpbdadoycsfncsfgoytpsoksdtfljljpieinhsjtgwjoihjtgajtjyihiojpinjykkdmgmihjojljkinjyjljpkkgaieihjtjyiniyinihjptpsoksehieinieftjpihjojlftenecidiyeniaeyesemesehesiahseseoetiaeceheoiaieidemecehemendyeciedyieeneyiaieidiyoycsfztpsohdjktngdgmgwhflfaxhdimeejoothkcfmepmptmnzczojyfluybtkeyawzdasojyhtskwecaiywfgarhkgotcmhkvldpzctkhlsthyntsaaddijtmejeleetwnwmjohftyjknsoyimuowfahgmsabznswlolwztndkmtztprotoszomujlcegyasfnjztokogufxmnkthsttuyfzrowpoevdrhtlwftdhnrlvdwelfoytpsoksctfljljpieinhsjtgwjoihjtgajtjyihiojpinjykkdmguiniojtinjtiogrihkktpsokshnjkjkisdpihieeyececehescxfpfpfpfpfxeoglknhsfxehjzhtfygaehglghfeecfpfpfpfpgagdjtgoknhkfxgokpkkgmflgmgleogsdniofdemksksghgaidhdethfjnjegtecfxfphfeeflkphdkkjzkogwfecxjyeeeedpjkiniojtinjtiodpjeihkkpstssamh"
+mark: "7ceb9fa4"
 ---
-# Repository DID: did:repo:b484b01ce654f0122da14fa448c6fefba1cc5e76
-# Current Mark: 025fc634 (🅑 ALSO HOPE SKEW EDGE)
-# Inception Mark: 0a8b5c7b (🅑 BACK LUAU HIGH KING)
+# Repository DID: did:repo:65bf6c297919ca938c513cdb7517605d0d62cdbf
+# Current Mark: 7ceb9fa4 (🅑 KITE WARM NOTE ONYX)
+# Inception Mark: 56e0756d (🅑 HALF VAST KEEP JOIN)
 # XID(f09615ad) [
 #     'key': Bytes(78) [
 #         'allow': 'All'
 #     ]
+#     "GordianOpenIntegrity.RepositoryIdentifier": "did:repo:65bf6c297919ca938c513cdb7517605d0d62cdbf"
 #     'provenance': Bytes(115)
-#     "GordianOpenIntegrity.RepositoryIdentifier": "did:repo:b484b01ce654f0122da14fa448c6fefba1cc5e76"
 #     "GordianOpenIntegrity.SigningKey": "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPnUzYCUuyRGRN3L+gH7xxTIbX8VmkM5CAV4GuXylvOE t44-signing-key"
 # ]
 # Trust established using https://github.com/Stream44/t44-BlockchainCommons.com

package/.repo-identifier

@@ -0,0 +1 @@
+did:repo:65bf6c297919ca938c513cdb7517605d0d62cdbf

package/LICENSE.txt

@@ -0,0 +1,23 @@
+MIT License
+
+encapsulate: An experimental implementation of the https://PrivateData.Space model in TypeScript.
+
+Copyright 2026 Christoph Dorn - https://Christoph.diy
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -39,7 +39,7 @@ Provenance
 
 [![Gordian Open Integrity](https://github.com/Stream44/encapsulate/actions/workflows/gordian-open-integrity.yaml/badge.svg)](https://github.com/Stream44/encapsulate/actions/workflows/gordian-open-integrity.yaml?query=branch%3Amain) [![DCO Signatures](https://github.com/Stream44/encapsulate/actions/workflows/dco.yaml/badge.svg)](https://github.com/Stream44/encapsulate/actions/workflows/dco.yaml?query=branch%3Amain)
 
-Repository DID: `did:repo:b484b01ce654f0122da14fa448c6fefba1cc5e76`
+Repository DID: `did:repo:65bf6c297919ca938c513cdb7517605d0d62cdbf`
 
 <table>
   <tr>
@@ -51,4 +51,4 @@ Repository DID: `did:repo:b484b01ce654f0122da14fa448c6fefba1cc5e76`
   </tr>
 </table>
 
-(c) 2026 [Christoph.diy](https://christoph.diy) • Code: `BSD-2-Clause-Patent` • Text: `CC-BY` • Created with [Stream44.Studio](https://Stream44.Studio)
+(c) 2026 [Christoph.diy](https://christoph.diy) • Code: `MIT` • Text: [GNU Free Documentation License](https://www.gnu.org/licenses/fdl-1.3.txt) • Created with [Stream44.Studio](https://Stream44.Studio)

package/package.json

@@ -1,7 +1,7 @@
 {
     "name": "@stream44.studio/encapsulate",
-    "version": "0.4.0-rc.15",
-    "license": "BSD-2-Clause-Patent",
+    "version": "0.4.0-rc.17",
+    "license": "MIT",
     "repository": {
         "type": "git",
         "url": "git+https://github.com/Stream44/encapsulate.git"

package/src/static-analyzer.v0.ts

@@ -849,7 +849,7 @@ function extractModuleLocalCode(
         }
     }
 
-    // Also collect functions from the local scope around the call node
+    // Also collect functions and variables from the enclosing scope around the call node
     if (callNode) {
         let currentNode: ts.Node | undefined = callNode
         while (currentNode) {
@@ -859,6 +859,13 @@ function extractModuleLocalCode(
                         if (ts.isFunctionDeclaration(statement) && statement.name) {
                             moduleLocalFunctions.set(statement.name.text, statement)
                         }
+                        if (ts.isVariableStatement(statement)) {
+                            for (const decl of statement.declarationList.declarations) {
+                                if (ts.isIdentifier(decl.name)) {
+                                    moduleLocalVariables.set(decl.name.text, decl)
+                                }
+                            }
+                        }
                     }
                 }
                 break
@@ -925,7 +932,6 @@ function extractModuleLocalCode(
         if (varDecl) {
             // Analyze the variable to see if it's self-contained
             const varDependencies = analyzeVariableDependencies(varDecl, sourceFile, importMap, assignmentMap, moduleLocalFunctions, moduleLocalVariables)
-
             if (varDependencies.isContained) {
                 // Mark this as module-local in ambient references
                 refTyped.type = 'module-local'
@@ -939,6 +945,14 @@ function extractModuleLocalCode(
                     // Fallback to just the declaration
                     moduleLocalCode[name] = varDecl.getText(sourceFile)
                 }
+
+                // Recursively collect transitive variable dependencies
+                // (e.g., if appDir = join(baseDir, 'x'), also collect baseDir)
+                collectTransitiveVariableDependencies(
+                    varDecl, sourceFile, importMap, assignmentMap,
+                    moduleLocalFunctions, moduleLocalVariables,
+                    ambientReferences, moduleLocalCode
+                )
             }
         }
     }
@@ -962,6 +976,122 @@ function extractModuleLocalCode(
     return moduleLocalCode
 }
 
+// Recursively collect transitive variable dependencies from a variable's initializer.
+// When a module-local variable references another module-local variable, collect that
+// dependency's code and add it to ambientReferences and moduleLocalCode.
+function collectTransitiveVariableDependencies(
+    varDecl: ts.VariableDeclaration,
+    sourceFile: ts.SourceFile,
+    importMap: Map<string, { importSpecifier: string, moduleUri: string }>,
+    assignmentMap: Map<string, { importSpecifier: string, moduleUri: string }>,
+    moduleLocalFunctions: Map<string, ts.FunctionDeclaration>,
+    moduleLocalVariables: Map<string, ts.VariableDeclaration>,
+    ambientReferences: Record<string, any>,
+    moduleLocalCode: Record<string, string>
+): void {
+    if (!varDecl.initializer) return
+
+    function visit(node: ts.Node) {
+        if (ts.isTypeNode(node)) return
+
+        if (ts.isIdentifier(node)) {
+            const name = node.text
+
+            // Skip special keywords
+            if (name === 'this' || name === 'undefined' || name === 'null' || name === 'arguments') return
+
+            // Skip property access names and property assignments
+            const parent = node.parent
+            if (parent && ts.isPropertyAccessExpression(parent) && parent.name === node) return
+            if (parent && ts.isPropertyAssignment(parent) && parent.name === node) return
+            if (parent && ts.isBindingElement(parent) && parent.propertyName === node) return
+
+            // Skip if already tracked
+            if (ambientReferences[name] || moduleLocalCode[name]) return
+
+            // Skip builtins
+            if (MODULE_GLOBAL_BUILTINS.has(name)) return
+
+            // Check if it's an import — add to ambient refs
+            const importInfo = importMap.get(name)
+            if (importInfo) {
+                if (!ambientReferences[name]) {
+                    ambientReferences[name] = {
+                        type: 'import',
+                        importSpecifier: importInfo.importSpecifier,
+                        moduleUri: importInfo.moduleUri
+                    }
+                }
+                return
+            }
+
+            // Check if it's an assignment from import
+            const assignmentInfo = assignmentMap.get(name)
+            if (assignmentInfo) {
+                if (!ambientReferences[name]) {
+                    ambientReferences[name] = {
+                        type: 'assigned',
+                        importSpecifier: assignmentInfo.importSpecifier,
+                        moduleUri: assignmentInfo.moduleUri
+                    }
+                }
+                return
+            }
+
+            // Check if it's another module-local variable — recursively collect
+            const depVarDecl = moduleLocalVariables.get(name)
+            if (depVarDecl) {
+                const depDependencies = analyzeVariableDependencies(depVarDecl, sourceFile, importMap, assignmentMap, moduleLocalFunctions, moduleLocalVariables)
+                if (depDependencies.isContained) {
+                    ambientReferences[name] = { type: 'module-local' }
+
+                    const depVarStatement = depVarDecl.parent?.parent
+                    if (depVarStatement && ts.isVariableStatement(depVarStatement)) {
+                        moduleLocalCode[name] = depVarStatement.getText(sourceFile)
+                    } else {
+                        moduleLocalCode[name] = depVarDecl.getText(sourceFile)
+                    }
+
+                    // Add import dependencies
+                    for (const [depName, depInfo] of depDependencies.importDependencies) {
+                        if (!ambientReferences[depName]) {
+                            ambientReferences[depName] = {
+                                type: 'import',
+                                importSpecifier: depInfo.importSpecifier,
+                                moduleUri: depInfo.moduleUri
+                            }
+                        }
+                    }
+
+                    // Recurse into this dependency's initializer
+                    collectTransitiveVariableDependencies(
+                        depVarDecl, sourceFile, importMap, assignmentMap,
+                        moduleLocalFunctions, moduleLocalVariables,
+                        ambientReferences, moduleLocalCode
+                    )
+                }
+                return
+            }
+
+            // Check if it's a module-local function
+            if (moduleLocalFunctions.has(name)) {
+                if (!ambientReferences[name]) {
+                    ambientReferences[name] = { type: 'module-local' }
+                }
+                if (!moduleLocalCode[name]) {
+                    const funcDecl = moduleLocalFunctions.get(name)!
+                    moduleLocalCode[name] = funcDecl.getText(sourceFile)
+                }
+                return
+            }
+        }
+
+        ts.forEachChild(node, visit)
+    }
+
+    visit(varDecl.initializer)
+}
+
 // Analyze if a function is self-contained (only depends on other module-local functions or builtins)
 function analyzeFunctionDependencies(
     funcDecl: ts.FunctionDeclaration,
@@ -1250,7 +1380,7 @@ function extractCapsuleAmbientReferences(
         }
     }
 
-    // Find enclosing function and collect its parameters and local functions
+    // Find enclosing function and collect its parameters, local variables, and local functions
     let currentNode: ts.Node | undefined = call
     let enclosingBlock: ts.Block | undefined
     while (currentNode) {
@@ -1259,7 +1389,7 @@ function extractCapsuleAmbientReferences(
             for (const param of currentNode.parameters) {
                 extractParameterNames(param.name, invocationParameters)
             }
-            // Get the function body to collect local functions
+            // Get the function body to collect local functions and variables
             if (currentNode.body && ts.isBlock(currentNode.body)) {
                 enclosingBlock = currentNode.body
             }
@@ -1268,12 +1398,19 @@ function extractCapsuleAmbientReferences(
         currentNode = currentNode.parent
     }
 
-    // Collect function declarations from the enclosing block
+    // Collect function declarations and variable declarations from the enclosing block
     if (enclosingBlock) {
         for (const statement of enclosingBlock.statements) {
             if (ts.isFunctionDeclaration(statement) && statement.name) {
                 moduleLocalFunctions.set(statement.name.text, statement)
             }
+            if (ts.isVariableStatement(statement)) {
+                for (const decl of statement.declarationList.declarations) {
+                    if (ts.isIdentifier(decl.name)) {
+                        moduleLocalVariables.set(decl.name.text, decl)
+                    }
+                }
+            }
         }
     }
 
@@ -1541,7 +1678,7 @@ function extractAndValidateAmbientReferences(
     const localIdentifiers = new Set<string>()
     const invocationParameters = new Set<string>()
 
-    // Find enclosing function and collect its parameters as invocation arguments and local functions
+    // Find enclosing function and collect its parameters as invocation arguments and local functions/variables
     let currentNode: ts.Node | undefined = fn
     let enclosingBlock: ts.Block | undefined
     while (currentNode) {
@@ -1551,7 +1688,7 @@ function extractAndValidateAmbientReferences(
                 for (const param of currentNode.parameters) {
                     extractParameterNamesForInvocation(param.name, invocationParameters)
                 }
-                // Get the function body to collect local functions
+                // Get the function body to collect local functions and variables
                 if (currentNode.body && ts.isBlock(currentNode.body)) {
                     enclosingBlock = currentNode.body
                 }
@@ -1561,12 +1698,19 @@ function extractAndValidateAmbientReferences(
         currentNode = currentNode.parent
     }
 
-    // Collect function declarations from the enclosing block
+    // Collect function declarations and variable declarations from the enclosing block
     if (enclosingBlock) {
         for (const statement of enclosingBlock.statements) {
             if (ts.isFunctionDeclaration(statement) && statement.name) {
                 moduleLocalFunctions.set(statement.name.text, statement)
             }
+            if (ts.isVariableStatement(statement)) {
+                for (const decl of statement.declarationList.declarations) {
+                    if (ts.isIdentifier(decl.name)) {
+                        moduleLocalVariables.set(decl.name.text, decl)
+                    }
+                }
+            }
         }
     }
 

package/LICENSE.md

@@ -1,8 +0,0 @@
-
-Copyright 2026 Christoph.diy
-
-Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.