SharpLib.csproj

@@ -1,7 +1,7 @@
 <Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
-    <TargetFrameworks>net9.0;net10.0</TargetFrameworks>
+    <TargetFrameworks>net9.0;net8.0;net10.0</TargetFrameworks>
     <RootNamespace>lib</RootNamespace>
     <AssemblyVersion>0.0.1.0</AssemblyVersion>
     <FileVersion>0.0.1.0</FileVersion>

exp/Exp.cs

@@ -1,6 +1,7 @@
 using System.Collections.Immutable;
 using System.Runtime.CompilerServices;
 
+
 namespace exp;
 
 

imm/FSM.cs

@@ -1,4 +1,4 @@
-#nullable enable
+#nullable enable
 
 using System;
 using System.Runtime.CompilerServices;
@@ -78,7 +78,7 @@ public abstract record class FsmBase<TSelf, TState, TCtx> : io.Recorded<TSelf>
 
     /// <summary>
     /// Transitions the FSM. It automatically uses the 'Process'
-    /// method appropriate for io.Recorded or Timed, thanks to virtual overrides.
+    /// method appropriate for io.ecorded or Timed, thanks to virtual overrides.
     /// </summary>
     public TSelf Transition(
         TState newState,

imm/Imm.cs

@@ -1,8 +1,9 @@
-//#nullable enable
+//#nullable enable
 
 using System;
 using System.Runtime.CompilerServices;
 
+
 /// <summary>
 /// Helper static class for processing immutable objects using a 'ref' pattern.
 /// Provides different levels of processing based on the type.
@@ -15,8 +16,8 @@ public static class imm
     public static T LightProcess<T>(
         ref T obj,
         Func<T, T> fn,
-        string reason = "Processed" )
+        string reason = "Processed" // TODO Replace the string with a $"" that cinludes some info
-        where T : io.Versioned<T>
+        ) where T : io.Versioned<T>
     {
         obj = obj.Process( fn, reason );
         return obj;

imm/List.cs

@@ -11,7 +11,7 @@ namespace io;
 /// <summary>
 /// An immutable list implementation that tracks history, metadata, and time.
 /// </summary>
-public record class List<T> : Timed<List<T>>, IImmutableList<T>
+public record class List<T> : io.Timed<List<T>>, IImmutableList<T>
 {
     static public List<T> Empty { get; } = new();
 
@@ -19,7 +19,7 @@ public record class List<T> : Timed<List<T>>, IImmutableList<T>
 
     public List() { }
     // Required for 'with' expressions to work with the base class hierarchy
-    protected List(Timed<List<T>> original) : base(original) { }
+    protected List( io.Timed<List<T>> original ) : base( original ) { }
 
     // Helper to apply changes using the Process method
     private List<T> Change(

imm/Util.cs

@@ -1,2 +1,3 @@
 using System;
 using System.Collections.Generic;
+

imm/io.cs

@@ -23,7 +23,7 @@ public interface Obj
     /// Gets the previous version as a base object, if available.
     /// Returns null if this is the first version or if history is not tracked.
     /// </summary>
-    Obj? Old { get; }
+    Obj? DebugOld { get; }
 
     /// <summary>
     /// Creates a new version without functional change.
@@ -174,11 +174,11 @@ public record class Versioned<T> : Obj<T> where T : Versioned<T>
     [JsonIgnore]
     public ChangeDelegate<T> OnChange { get; set; } = ( o, n ) => { };
 
-    public virtual Obj? Old => null;
+    public virtual Obj? DebugOld => null;
 
     Metadata_Versioned Obj.Meta => this.Meta;
     [JsonIgnore]
-    Obj? Obj.Old => this.Old;
+    Obj? Obj.DebugOld => this.DebugOld;
 
     public Versioned() { }
     protected Versioned( Versioned<T> original )
@@ -239,9 +239,9 @@ public record class Recorded<T> : Versioned<T> where T : Recorded<T>
     new public Metadata_Recorded Meta { get; init; } = new();
 
     [JsonIgnore]
-    new public T? Old => Meta.OldObject as T;
+    new public T? DebugOld => Meta.OldObject as T;
 
-    //public override Obj? Old => this.Old;
+    //public override Obj? DebugOld => this.DebugOld;
     //Metadata_Versioned Obj.Meta => this.Meta;
 
     public Recorded() { }
@@ -261,7 +261,8 @@ public record class Recorded<T> : Versioned<T> where T : Recorded<T>
         if( ReferenceEquals( current, next ) )
             return current;
 
-        var newMeta = current.Meta with {
+        var newMeta = current.Meta with
+        {
             Version = current.Meta.Version + 1,
             Reason = reason,
             MemberName = dbgName,
@@ -294,7 +295,7 @@ public record class Timed<T> : Recorded<T> where T : Timed<T>
 {
     new public Metadata_Timed Meta { get; init; } = new();
     //Metadata_Versioned Obj.Meta => this.Meta;
-    public TimeSpan SinceLastTouch => Meta.TouchedAt - ( Old?.Meta as Metadata_Timed )?.TouchedAt ?? TimeSpan.Zero;
+    public TimeSpan SinceLastTouch => Meta.TouchedAt - ( DebugOld?.Meta as Metadata_Timed )?.TouchedAt ?? TimeSpan.Zero;
     public TimeSpan TotalAge => Meta.TouchedAt - Meta.CreatedAt;
 
     public Timed() { }

lib/XmlFormatter2.cs

@@ -186,7 +186,8 @@ namespace lib
 
 			doc.Load( reader );
 
-			if( doc.DocumentElement == null ) return null;
+			if( doc.DocumentElement == null )
+				return null;
 
 			if( t == null )
 				return Deserialize( doc.DocumentElement );
@@ -256,7 +257,8 @@ namespace lib
 			{
 				TypeCode typeCode = Type.GetTypeCode( type );
 
-				if( _cfg.VerboseLogging ) log.info( $"{type.FriendlyName()}.{name} {existing} {mi?.Name}" );
+				if( _cfg.VerboseLogging )
+					log.info( $"{type.FriendlyName()}.{name} {existing} {mi?.Name}" );
 
 				if( typeCode != TypeCode.Object )
 				{
@@ -276,7 +278,8 @@ namespace lib
 
 							if( obj is ser.I_Serialize iser )
 							{
-								if( _cfg.VerboseLogging ) log.info( $"" );
+								if( _cfg.VerboseLogging )
+									log.info( $"" );
 								obj = iser.OnDeserialize( null );
 							}
 
@@ -314,7 +317,8 @@ namespace lib
 
 		private object DeserializeConcrete( XmlElement elem, MemberInfo mi, string name, Type type )
 		{
-			if( _cfg.VerboseLogging ) log.info( $"" );
+			if( _cfg.VerboseLogging )
+				log.info( $"" );
 
 			string val = "";
 
@@ -398,7 +402,8 @@ namespace lib
 
 		private object HydrateObject( XmlElement elem, MemberInfo mi, Type finalType, object obj )
 		{
-			if( _cfg.VerboseLogging ) log.info( $"" );
+			if( _cfg.VerboseLogging )
+				log.info( $"" );
 
 			if( obj is IList )
 			{
@@ -488,7 +493,8 @@ namespace lib
 
 		private object HydrateObjectOfNarrowType( XmlElement elem, MemberInfo mi, Type narrowType, object obj )
 		{
-			if( _cfg.VerboseLogging ) log.info( $"" );
+			if( _cfg.VerboseLogging )
+				log.info( $"" );
 
 			var isImm = typeof( io.Obj ).IsAssignableFrom( narrowType );
 
@@ -648,8 +654,8 @@ namespace lib
 			}
 			else
 			{
-				var immObj = obj as io.Obj;
+				var imm = obj as io.Obj;
-				var newObj = immObj.Record( $"From XML {fromStr}:{elem.ParentNode?.Name}{elem.Name}" );
+				var newObj = imm.Record( $"From XML {fromStr}:{elem.ParentNode?.Name}{elem.Name}" );
 				return newObj;
 			}
 
@@ -686,7 +692,8 @@ namespace lib
 
 			int refInt = refString.Length > 0 ? Convert.ToInt32( refString ) : -1;
 
-			if( _cfg.VerboseLogging ) log.info( $"{finalType?.FriendlyName()}({type?.FriendlyName()}) refInt {refInt} exitingObj = {obj?.ToString()}" );
+			if( _cfg.VerboseLogging )
+				log.info( $"{finalType?.FriendlyName()}({type?.FriendlyName()}) refInt {refInt} exitingObj = {obj?.ToString()}" );
 
 			obj = createObject( elem, finalType, refInt, obj );
 
@@ -695,7 +702,8 @@ namespace lib
 
 		private object DeserializeList( XmlElement elem, MemberInfo mi, Type type, IList list )
 		{
-			if( _cfg.VerboseLogging ) log.info( $"" );
+			if( _cfg.VerboseLogging )
+				log.info( $"" );
 
 			XmlNodeList arrNodeList = elem.ChildNodes;
 
@@ -731,7 +739,8 @@ namespace lib
 				typeElem = typeof( KeyValuePair<,> ).MakeGenericType( type.GenericTypeArguments );
 			}
 
-			if( _cfg.VerboseLogging ) log.info( $"DserCol {type.GetType().FriendlyName()} {typeElem.Name} into reflT {mi.ReflectedType.FriendlyName()} declT {mi.DeclaringType.FriendlyName()} {mi.Name}" );
+			if( _cfg.VerboseLogging )
+				log.info( $"DserCol {type.GetType().FriendlyName()} {typeElem.Name} into reflT {mi.ReflectedType.FriendlyName()} declT {mi.DeclaringType.FriendlyName()} {mi.Name}" );
 
 			string refString = elem.GetAttribute( "ref" );
 			int refInt = refString.Length > 0 ? Convert.ToInt32( refString ) : -1;
@@ -776,7 +785,8 @@ namespace lib
 
 			var typeGen = Type.MakeGenericSignatureType( type );
 
-			if( _cfg.VerboseLogging ) log.info( $"TypeGen: {typeGen.FriendlyName()}" );
+			if( _cfg.VerboseLogging )
+				log.info( $"TypeGen: {typeGen.FriendlyName()}" );
 
 			if( type == typeof( ImmutableArray<> ).MakeGenericType( typeElem ) )
 			{
@@ -833,7 +843,8 @@ namespace lib
 
 		private object DeserializeArray( XmlElement elem, MemberInfo mi, Type type )
 		{
-			if( _cfg.VerboseLogging ) log.info( $"" );
+			if( _cfg.VerboseLogging )
+				log.info( $"" );
 
 			Type typeElem = type.GetElementType();
 
@@ -883,7 +894,8 @@ namespace lib
 
 			if( _cfg.datastructure == Datastructure.Graph && refInt > 0 && m_alreadySerialized.ContainsKey( refInt ) )
 			{
-				if( _cfg.VerboseLogging ) log.info( $"Reuse object" );
+				if( _cfg.VerboseLogging )
+					log.info( $"Reuse object" );
 				return m_alreadySerialized[refInt];
 			}
 
@@ -893,7 +905,8 @@ namespace lib
 
 			if( isProxy )
 			{
-				if( _cfg.VerboseLogging ) log.info( $"use Proxy" );
+				if( _cfg.VerboseLogging )
+					log.info( $"use Proxy" );
 				object obj = null;
 
 				var tryType = type;
@@ -937,7 +950,8 @@ namespace lib
 
 				if( isSubclass )
 				{
-					if( _cfg.VerboseLogging ) log.info( $"Using existing obj {existingObj?.ToString()}" );
+					if( _cfg.VerboseLogging )
+						log.info( $"Using existing obj {existingObj?.ToString()}" );
 					return existingObj;
 				}
 
@@ -953,12 +967,14 @@ namespace lib
 
 				try
 				{
-					if( _cfg.VerboseLogging ) log.info( $"For {type.FriendlyName()} check for constructors" );
+					if( _cfg.VerboseLogging )
+						log.info( $"For {type.FriendlyName()} check for constructors" );
 
 					var cons = type.GetConstructor( Type.EmptyTypes );
 					if( cons != null )
 					{
-						if( _cfg.VerboseLogging ) log.info( $"Activator.CreateInstance" );
+						if( _cfg.VerboseLogging )
+							log.info( $"Activator.CreateInstance" );
 						obj = Activator.CreateInstance( type );
 					}
 					else
@@ -967,15 +983,18 @@ namespace lib
 						obj = System.Runtime.Serialization.FormatterServices.GetUninitializedObject( type );
 					}
 
-					if( _cfg.VerboseLogging ) log.info( $"Got obj {obj?.ToString()}" );
+					if( _cfg.VerboseLogging )
+						log.info( $"Got obj {obj?.ToString()}" );
 				}
 				catch( Exception )
 				{
 					try
 					{
-						if( _cfg.VerboseLogging ) log.info( $"GetUninitializedObject" );
+						if( _cfg.VerboseLogging )
+							log.info( $"GetUninitializedObject" );
 						obj = System.Runtime.Serialization.FormatterServices.GetUninitializedObject( type );
-						if( _cfg.VerboseLogging ) log.info( $"Got obj {obj?.ToString()}" );
+						if( _cfg.VerboseLogging )
+							log.info( $"Got obj {obj?.ToString()}" );
 					}
 					catch( Exception exInner )
 					{
@@ -1323,8 +1342,10 @@ namespace lib
 
 					if( isImm )
 					{
-						if( name == "MetaStorage" ) continue;
+						if( name == "MetaStorage" )
-						if( name == "Fn" ) continue;
+							continue;
+						if( name == "Fn" )
+							continue;
 					}
 
 					if( !doAtt.Any() && FilterField( filterFields, doImpls, whitelistFields, childFi as MemberInfo, name ) )
@@ -1365,8 +1386,10 @@ namespace lib
 
 					if( isImm )
 					{
-						if( name == "MetaStorage" ) continue;
+						if( name == "MetaStorage" )
-						if( name == "Fn" ) continue;
+							continue;
+						if( name == "Fn" )
+							continue;
 					}
 
 					if( FilterField( filterProps, doImpls, whitelistProps, childPi as MemberInfo, name ) )
@@ -1413,8 +1436,10 @@ namespace lib
 			Type type = root.GetType();
 
 			Type typeOfMember = typeof( object );
-			if( mi is FieldInfo fi ) typeOfMember = fi.FieldType;
+			if( mi is FieldInfo fi )
-			if( mi is PropertyInfo pi ) typeOfMember = pi.PropertyType;
+				typeOfMember = fi.FieldType;
+			if( mi is PropertyInfo pi )
+				typeOfMember = pi.PropertyType;
 			if( typeOfMember != type )
 			{
 				log.info( $"SerArr {typeOfMember.FriendlyName()} {mi?.Name} != {type.FriendlyName()}" );

logging/Log.cs

@@ -18,10 +18,10 @@ using System.Text;
 /*
 
 T O D O :
-x) Hook the C# prints from glue.
-x) Fix
 x) Refactor various logs in order to do automagic structured logging
 ref: https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/tutorials/interpolated-string-handler
+x) Add support for structured logging (e.g., JSON, XML)
+x) Implement a centralized logger that can be used across the application
 
 
 D O N E:
@@ -32,7 +32,63 @@ N O T  D O I N G :
 
 */
 
-#region Helpers
+
+/*
+// L L M
+# Context: Logging Infrastructure (`log` static class)
+**Strict Rule:** DO NOT use `Console.WriteLine`, `Debug.WriteLine`, or standard `ILogger`. Use the static `log` class for all diagnostics.
+
+## Core Design Pattern
+The logging system uses **Caller Info Attributes** (`[CallerMemberName]`, `[CallerFilePath]`, etc.) to automatically capture context. Do not manually format method names or file paths in messages.
+
+## API Surface
+### 1. Standard Levels. Standard goto loggin
+* `log.trace(msg)`, `log.debug(msg)`, `log.info(msg)`
+* `log.warn(msg)`, `log.high(msg)`
+* `log.error(msg)`, `log.fatal(msg)`
+* **Signature:** `(string msg, string cat = "", SourceLoc? loc = null)`
+* *Note:* `cat` (Category) and `loc` (SourceLocation) are optional; the system auto-resolves `cat` based on directory structure if omitted.
+
+### 2. Functional Pass-Throughs If necessary
+Use these to log data flow without breaking the statement chain.
+* `T log.var<T>(T val)`: Logs `name_of_var = value` and returns `val`.
+* `T log.call<T>(Func<T> func)`: Logs entry, executes `func`, logs exit + result, returns result.
+* `void log.call(Action func)`: Logs entry, executes `action`, logs exit.
+* `log.operations(Action/Func)`: Wraps execution with info logs.
+
+### 3. Special Types
+* `Value<T>`: A struct wrapper to capture variable expressions alongside values. Use `log.Value(var)` when you need explicit expression capturing in custom constructs.
+* `log.exception(Exception ex, string msg)`: specialized dump for exceptions.
+* `log.logProps(object obj, string header)`: Reflection-based dump of all properties on an object.
+
+## Idiomatic Usage Examples
+**Good:**
+```csharp
+// Variable inspection (Pass-through)
+int x = log.var(Calculate());
+
+// Function tracing
+var result = log.call(() => ComplexCalculation(input));
+
+// Exception handling
+try { ... }
+catch (Exception ex) { log.exception(ex, "Calculation failed"); }
+
+// Object Dump
+log.logProps(userConfig, "Current Config State");
+```
+
+**Bad:**
+```csharp
+int x = Calculate();
+Console.WriteLine("x is " + x); // Forbidden
+log.info($"x = {x}"); // Redundant manual formatting
+```
+
+
+*/
+
+
 public record struct Value<T>( T _val, string _exp = "" )
 {
 	public static T Default = default!;
@@ -88,10 +144,13 @@ public struct SourceLoc
 
 
 }
-#endregion // Helpers
+
 
 static public class log
 {
+
+	//static
+
 	#region CLR Logging
 
 
@@ -153,6 +212,14 @@ static public class log
 
 	#endregion // CLR Logging
 
+	static public Value<T> Value<T>( T val,
+			[CallerArgumentExpression("val")]
+						string dbgExp = ""
+)
+	{
+		return new( val, dbgExp );
+	}
+
 	[Flags]
 	public enum LogType
 	{
@@ -180,9 +247,7 @@ static public class log
 		All = File | Console,
 	}
 
-
 	#region LogEvent
-
 	public struct LogEvent
 	{
 		public DateTime Time;
@@ -246,6 +311,7 @@ static public class log
 
 		return logEvent;
 	}
+	#endregion // LogEvent
 
 	public delegate void Log_delegate( LogEvent evt );
 
@@ -256,7 +322,7 @@ static public class log
 		ImmutableInterlocked.AddOrUpdate( ref s_logEPforCat, cat, ep, ( k, v ) => ep );
 	}
 
-#endregion // LogEvent
+
 
 	static public void shutdown()
 	{
@@ -1012,13 +1078,4 @@ static public class log
 
 	private static ArrayList s_delegates = new ArrayList();
 
-	static public Value<T> Value<T>( T val,
-			[CallerArgumentExpression("val")]
-						string dbgExp = ""
-)
-	{
-		return new( val, dbgExp );
 }
-
-
-} // end static class log