[FEAT] final structure changes.HEADdevelop

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

14 files changed, 39 insertions, 27 deletions

diff --git a/proofs/_CoqProject b/proofs/_CoqProject
index 62ede86..3715404 100644
--- a/proofs/_CoqProject
+++ b/proofs/_CoqProject
@@ -1,4 +1,4 @@
 -R NectarDriver NectarDriver
 
 NectarDriver/Impl.v
-NectarDriver/Trait.v
\ No newline at end of file
+NectarDriver/Traits.v
\ No newline at end of file
diff --git a/src/CompilerKit/src/Assemblers/Assembler+32x0.cpp b/src/CompilerKit/src/Backends/Assembler+32x0.cpp
index a2eb191..a2eb191 100644
--- a/src/CompilerKit/src/Assemblers/Assembler+32x0.cpp
+++ b/src/CompilerKit/src/Backends/Assembler+32x0.cpp
diff --git a/src/CompilerKit/src/Assemblers/Assembler+64x0.cpp b/src/CompilerKit/src/Backends/Assembler+64x0.cpp
index 4f33246..4f33246 100644
--- a/src/CompilerKit/src/Assemblers/Assembler+64x0.cpp
+++ b/src/CompilerKit/src/Backends/Assembler+64x0.cpp
diff --git a/src/CompilerKit/src/Assemblers/Assembler+AMD64.cpp b/src/CompilerKit/src/Backends/Assembler+AMD64.cpp
index f064a39..f064a39 100644
--- a/src/CompilerKit/src/Assemblers/Assembler+AMD64.cpp
+++ b/src/CompilerKit/src/Backends/Assembler+AMD64.cpp
diff --git a/src/CompilerKit/src/Assemblers/Assembler+ARM64.cpp b/src/CompilerKit/src/Backends/Assembler+ARM64.cpp
index 1c25338..1c25338 100644
--- a/src/CompilerKit/src/Assemblers/Assembler+ARM64.cpp
+++ b/src/CompilerKit/src/Backends/Assembler+ARM64.cpp
diff --git a/src/CompilerKit/src/Assemblers/Assembler+PowerPC.cpp b/src/CompilerKit/src/Backends/Assembler+PowerPC.cpp
index 1c05a1c..1c05a1c 100644
--- a/src/CompilerKit/src/Assemblers/Assembler+PowerPC.cpp
+++ b/src/CompilerKit/src/Backends/Assembler+PowerPC.cpp
diff --git a/src/CompilerKit/src/CodeGenerator+AssemblyFactory.cpp b/src/CompilerKit/src/CodeGenerator+AssemblyFactory.cpp
index 7e9e1af..9ea310f 100644
--- a/src/CompilerKit/src/CodeGenerator+AssemblyFactory.cpp
+++ b/src/CompilerKit/src/CodeGenerator+AssemblyFactory.cpp
@@ -16,6 +16,7 @@
  */
 
 namespace CompilerKit {
+  
 ///! @brief Compile for specific format (ELF, PEF, AE)
 Int32 AssemblyFactory::Compile(STLString sourceFile, const Int32& arch) {
   if (sourceFile.length() == 0) return NECTAR_UNIMPLEMENTED;
@@ -51,4 +52,5 @@ WeakRef<IAssembly> AssemblyFactory::Unmount() noexcept {
 
   return WeakRef<IAssembly>{mount_prev};
 }
+
 }  // namespace CompilerKit
diff --git a/src/CompilerKit/src/Frontends/NectarCompiler+AMD64.cpp b/src/CompilerKit/src/Frontends/NectarCompiler+AMD64.cpp
index 6769355..e299b06 100644
--- a/src/CompilerKit/src/Frontends/NectarCompiler+AMD64.cpp
+++ b/src/CompilerKit/src/Frontends/NectarCompiler+AMD64.cpp
@@ -6,25 +6,13 @@
 
 /// BUGS: 0
 
-///////////////////////
-
-// ANSI ESCAPE CODES //
-
-///////////////////////
-
-///////////////////////
-
-// MACROS            //
-
-///////////////////////
-
 #include <CompilerKit/AST.h>
 #include <CompilerKit/Detail/AMD64.h>
 #include <CompilerKit/PEF.h>
 #include <CompilerKit/UUID.h>
 #include <CompilerKit/Utilities/Compiler.h>
 
-/* NeKernel Nectar Compiler Driver. */
+/* Nectar Compiler Driver. */
 /* This is part of the CompilerKit. */
 /* (c) Amlal El Mahrouss 2024-2026 */
 
diff --git a/src/CompilerKit/src/Frontends/NectarCompiler+Chk.cpp b/src/CompilerKit/src/Frontends/NectarCompiler+Chk.cpp
new file mode 100644
index 0000000..f3f4da6
--- /dev/null
+++ b/src/CompilerKit/src/Frontends/NectarCompiler+Chk.cpp
@@ -0,0 +1,17 @@
+// SPDX-License-Identifier: Apache-2.0
+// Copyright 2026, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (See accompanying
+// file LICENSE or copy at http://www.apache.org/licenses/LICENSE-2.0)
+// Official repository: https://github.com/ne-foss-org/nectar
+
+/// BUGS: 0
+
+#include <CompilerKit/AST.h>
+#include <CompilerKit/Detail/AMD64.h>
+#include <CompilerKit/PEF.h>
+#include <CompilerKit/UUID.h>
+#include <CompilerKit/Utilities/Compiler.h>
+
+/* Nectar Compiler Check Driver. */
+/* This is part of the CompilerKit. */
+/* (c) Amlal El Mahrouss 2024-2026 */
\ No newline at end of file
diff --git a/src/CompilerKit/src/Frontends/NectarCompiler+PTX.cpp b/src/CompilerKit/src/Frontends/NectarCompiler+PTX.cpp
index 7922c37..4b7fa5f 100644
--- a/src/CompilerKit/src/Frontends/NectarCompiler+PTX.cpp
+++ b/src/CompilerKit/src/Frontends/NectarCompiler+PTX.cpp
@@ -8,23 +8,11 @@
 
 /// BUGS: 0
 
-///////////////////////
-
-// ANSI ESCAPE CODES //
-
-///////////////////////
-
-///////////////////////
-
-// MACROS            //
-
-///////////////////////
-
 #include <CompilerKit/AST.h>
 #include <CompilerKit/UUID.h>
 #include <CompilerKit/Utilities/Compiler.h>
 
-/* NeKernel Nectar Compiler Driver. */
+/* Nectar Compiler Driver. */
 /* This is part of the CompilerKit. */
 /* (c) Amlal El Mahrouss 2024-2026 */
 
diff --git a/src/CompilerKit/src/Linkers/DynamicLinker64+MachO.cpp b/src/CompilerKit/src/Generators/DynamicLinker64+MachO.cpp
index 911b582..911b582 100644
--- a/src/CompilerKit/src/Linkers/DynamicLinker64+MachO.cpp
+++ b/src/CompilerKit/src/Generators/DynamicLinker64+MachO.cpp
diff --git a/src/CompilerKit/src/Linkers/DynamicLinker64+PEF.cpp b/src/CompilerKit/src/Generators/DynamicLinker64+PEF.cpp
index 34333a3..34333a3 100644
--- a/src/CompilerKit/src/Linkers/DynamicLinker64+PEF.cpp
+++ b/src/CompilerKit/src/Generators/DynamicLinker64+PEF.cpp
diff --git a/src/CompilerKit/src/Optimizers/NectarOptimize+AMD64.cpp b/src/CompilerKit/src/Optimizers/NectarOptimize+AMD64.cpp
new file mode 100644
index 0000000..e350076
--- /dev/null
+++ b/src/CompilerKit/src/Optimizers/NectarOptimize+AMD64.cpp
@@ -0,0 +1,17 @@
+// SPDX-License-Identifier: Apache-2.0
+// Copyright 2026, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (See accompanying
+// file LICENSE or copy at http://www.apache.org/licenses/LICENSE-2.0)
+// Official repository: https://github.com/ne-foss-org/nectar
+
+/// BUGS: 0
+
+#include <CompilerKit/AST.h>
+#include <CompilerKit/Detail/AMD64.h>
+#include <CompilerKit/PEF.h>
+#include <CompilerKit/UUID.h>
+#include <CompilerKit/Utilities/Compiler.h>
+
+/* Nectar Compiler Optimizing Driver. */
+/* This is part of the CompilerKit. */
+/* (c) Amlal El Mahrouss 2024-2026 */
\ No newline at end of file
diff --git a/src/CompilerKit/src/Preprocessors/Preprocessor+Generic.cpp b/src/CompilerKit/src/Preprocess/Preprocessor+Generic.cpp
index e2d20df..e2d20df 100644
--- a/src/CompilerKit/src/Preprocessors/Preprocessor+Generic.cpp
+++ b/src/CompilerKit/src/Preprocess/Preprocessor+Generic.cpp