Add copyright headers

andrewmwells-amazon · andrewmwells-amazon · commit 4a313278eec7 · 2025-08-26T10:18:09.000-05:00
diff --git a/Strata/DL/CallHeap/CallHeapEvaluator.lean b/Strata/DL/CallHeap/CallHeapEvaluator.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 /-
 CallHeap Evaluator: Generic evaluator for CallHeap statements in Strata
 Adapted from the MIDI HeapMidiEval but with Call dialect separated
diff --git a/Strata/DL/CallHeap/CallHeapStrataStatement.lean b/Strata/DL/CallHeap/CallHeapStrataStatement.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 /-
 CallHeap Strata Statement: Generic statements combining Call and Heap dialects in Strata
 -/
diff --git a/Strata/DL/DataFlow.lean b/Strata/DL/DataFlow.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Lean
 
 /-! ## DataFlow Interface
diff --git a/Strata/DL/Heap/Examples.lean b/Strata/DL/Heap/Examples.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 /- Authors(s):
 Your Name <your.email@example.com>
 -/
diff --git a/Strata/DL/Heap/HEval.lean b/Strata/DL/Heap/HEval.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.DL.Heap.HState
 import Strata.DL.Heap.HExpr
 import Strata.DL.Lambda.LExpr
diff --git a/Strata/DL/Heap/HExpr.lean b/Strata/DL/Heap/HExpr.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.DL.Heap.HTy
 import Strata.DL.Lambda.LExpr
 import Strata.DL.Lambda.LTy
diff --git a/Strata/DL/Heap/HState.lean b/Strata/DL/Heap/HState.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.DL.Heap.HExpr
 import Strata.DL.Heap.HTy
 import Strata.DL.Lambda.LState
diff --git a/Strata/DL/Heap/HTy.lean b/Strata/DL/Heap/HTy.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 /- Authors(s):
 Your Name <your.email@example.com>
 -/
diff --git a/Strata/DL/Heap/Heap.lean b/Strata/DL/Heap/Heap.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.DL.Heap.HTy
 import Strata.DL.Heap.HExpr
 import Strata.DL.Heap.HState
diff --git a/Strata/DL/Heap/HeapDataFlow.lean b/Strata/DL/Heap/HeapDataFlow.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.DL.Heap.HExpr
 import Strata.DL.DataFlow
 import Strata.DL.Lambda.LExpr
diff --git a/Strata/DL/Heap/HeapStrataDataFlow.lean b/Strata/DL/Heap/HeapStrataDataFlow.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.DL.Heap.HeapStrataEval
 import Strata.DL.Heap.HeapDataFlow
 import Strata.DL.DataFlow
diff --git a/Strata/DL/Heap/HeapStrataEval.lean b/Strata/DL/Heap/HeapStrataEval.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.DL.Heap.HState
 import Strata.DL.Heap.HEval
 import Strata.DL.Lambda.LState
diff --git a/Strata/Languages/TypeScript/TSFunction.lean b/Strata/Languages/TypeScript/TSFunction.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.DL.Heap.Heap
 
 ---------------------------------------------------------------------
diff --git a/Strata/Languages/TypeScript/TSStrataEval.lean b/Strata/Languages/TypeScript/TSStrataEval.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 /-
 TypeScript Strata Evaluator: TypeScript-specific evaluation using CallHeap evaluator
 -/
diff --git a/Strata/Languages/TypeScript/TSStrataStatement.lean b/Strata/Languages/TypeScript/TSStrataStatement.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 /-
 TypeScript Strata Statement: TypeScript-specific aliases for CallHeap statements
 -/
diff --git a/Strata/Languages/TypeScript/TS_to_Strata.lean b/Strata/Languages/TypeScript/TS_to_Strata.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.Languages.TypeScript.js_ast
 import Strata.Languages.TypeScript.TSStrataStatement
 -- import Strata.Languages.TypeScript.TSFunction  -- Commented out until function architecture is ready
diff --git a/Strata/Languages/TypeScript/js_ast.lean b/Strata/Languages/TypeScript/js_ast.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Lean.Data.Json
 import Lean.Data.Json.Parser
 import Lean.Data.RBTree

-Original file line number
+Diff line change
@@ @@ -1,3 +1,9 @@ @@
 +/-
 +  Copyright Strata Contributors
++
 +  SPDX-License-Identifier: Apache-2.0 OR MIT
 +-/
++
 /- Authors(s):
 Your Name <[email protected]>
 -/