Teleodynamic Runtime Profile

{
  "extensions": {
    "teleodynamicProfile": {
      "profileVersion": "0.1-research",
      "goalSystem": {},
      "viability": {},
      "reflection": {},
      "structuralAdaptation": {},
      "immutableConstraints": []
    }
  }
}

using System.ComponentModel.DataAnnotations;

/// <summary>Contains the optional research-only extension profile.</summary>
public sealed record TeleodynamicRuntimeProfile
{
    /// <summary>Gets the research profile version.</summary>
    [Display(Name = "Profile Version")]
    public required string ProfileVersion { get; init; }

    /// <summary>Gets the bounded goal nodes.</summary>
    [Display(Name = "Goal System")]
    public required IReadOnlyList<GoalNode> GoalSystem { get; init; }

    /// <summary>Gets the measured operating-condition metrics.</summary>
    [Display(Name = "Viability Metrics")]
    public required IReadOnlyList<ViabilityMetric> ViabilityMetrics { get; init; }

    /// <summary>Gets the reflection limits.</summary>
    [Display(Name = "Reflection Policy")]
    public required ReflectionPolicy ReflectionPolicy { get; init; }
}

/// <summary>Represents a bounded goal or runtime control objective.</summary>
public sealed record GoalNode
{
    /// <summary>Gets the stable goal identifier.</summary>
    [Display(Name = "Goal")]
    public required string GoalId { get; init; }

    /// <summary>Gets the goal classification.</summary>
    [Display(Name = "Goal Type")]
    public required string GoalType { get; init; }

    /// <summary>Gets when the goal expires.</summary>
    [Display(Name = "Expires At Utc")]
    public DateTimeOffset? ExpiresAtUtc { get; init; }
}

/// <summary>Represents one engineered operating-condition metric.</summary>
public sealed record ViabilityMetric
{
    /// <summary>Gets the metric key.</summary>
    [Display(Name = "Metric Key")]
    public required string MetricKey { get; init; }

    /// <summary>Gets the current measured value.</summary>
    [Display(Name = "Value")]
    public required decimal Value { get; init; }

    /// <summary>Gets when the metric was observed.</summary>
    [Display(Name = "Observed At Utc")]
    public required DateTimeOffset ObservedAtUtc { get; init; }
}

/// <summary>Defines bounded reflection behavior.</summary>
public sealed record ReflectionPolicy
{
    /// <summary>Gets the maximum reflection cycles.</summary>
    [Display(Name = "Maximum Reflection Cycles")]
    public required int MaximumReflectionCycles { get; init; }

    /// <summary>Gets whether an independent verifier is required.</summary>
    [Display(Name = "Independent Verifier Required")]
    public required bool IndependentVerifierRequired { get; init; }
}

/// <summary>Describes a proposal to change runtime structure.</summary>
public sealed record StructuralEditProposal
{
    /// <summary>Gets the edit operator.</summary>
    [Display(Name = "Operator")]
    public required string Operator { get; init; }

    /// <summary>Gets the estimated cost.</summary>
    [Display(Name = "Estimated Cost")]
    public required decimal EstimatedCost { get; init; }

    /// <summary>Gets the evidence reference supporting the proposal.</summary>
    [Display(Name = "Evidence Reference")]
    public required string EvidenceReference { get; init; }
}

/// <summary>Produces bounded diagnostic recommendations.</summary>
public interface IReflectiveCritic
{
    /// <summary>Evaluates evidence and proposes a permitted recommendation.</summary>
    /// <param name="runId">The stable run identifier.</param>
    /// <param name="cancellationToken">Signals cancellation of reflection.</param>
    /// <returns>A structural edit proposal or null when no-op is preferred.</returns>
    Task<StructuralEditProposal?> ProposeAsync(string runId, CancellationToken cancellationToken);
}

/// <summary>Measures configured operating-condition metrics.</summary>
public interface IViabilityMonitor
{
    /// <summary>Reads the current metric vector.</summary>
    /// <param name="runId">The stable run identifier.</param>
    /// <param name="cancellationToken">Signals cancellation of metric collection.</param>
    /// <returns>The measured viability metrics.</returns>
    Task<IReadOnlyList<ViabilityMetric>> MeasureAsync(
        string runId,
        CancellationToken cancellationToken);
}