docs: Campaign LA — pinned launch-contract schema COMMITTED into plan LA1
The LA3 Opus review process note was right: the contract both sides implement lived only in orchestrator prompts, which is exactly the drift mode the pin exists to prevent (and it produced the paths-key CRITICAL). The schema, field rules, probe-mode discriminator, and status vocabulary are now a binding plan section; amendments change this text first, implementations second. Ledger: LA3 fix round dispatched. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
parent
0bcc7ba3a3
commit
db9ad53c1c
38 changed files with 2397 additions and 40 deletions
158
src/AcDream.App/Configuration/SessionConfigurationLoader.cs
Normal file
158
src/AcDream.App/Configuration/SessionConfigurationLoader.cs
Normal file
|
|
@ -0,0 +1,158 @@
|
|||
using System.Text.Json;
|
||||
using System.Text.Json.Serialization;
|
||||
|
||||
namespace AcDream.App.Configuration;
|
||||
|
||||
/// <summary>
|
||||
/// Campaign LA slice LA1: loads and validates the <c>--session-config</c>
|
||||
/// document for the graphical host. Same strictness as
|
||||
/// <c>AcDream.Headless.Configuration.HeadlessConfigurationLoader</c>
|
||||
/// (camelCase, <see cref="JsonUnmappedMemberHandling.Disallow"/>, camelCase
|
||||
/// string enums) — see that type's own doc for why the two readers are
|
||||
/// independent DTOs rather than a shared type.
|
||||
/// </summary>
|
||||
internal static class SessionConfigurationLoader
|
||||
{
|
||||
private const int CurrentVersion = 1;
|
||||
|
||||
private static readonly JsonSerializerOptions Options = new()
|
||||
{
|
||||
AllowTrailingCommas = false,
|
||||
PropertyNameCaseInsensitive = false,
|
||||
PropertyNamingPolicy = JsonNamingPolicy.CamelCase,
|
||||
ReadCommentHandling = JsonCommentHandling.Disallow,
|
||||
UnmappedMemberHandling = JsonUnmappedMemberHandling.Disallow,
|
||||
Converters =
|
||||
{
|
||||
new JsonStringEnumConverter(
|
||||
JsonNamingPolicy.CamelCase,
|
||||
allowIntegerValues: false),
|
||||
},
|
||||
};
|
||||
|
||||
/// <summary>Loads the document and returns the exact one configured
|
||||
/// <see cref="SessionDescriptor"/> the graphical host runs — the
|
||||
/// document itself may only ever declare exactly one session.</summary>
|
||||
internal static (SessionConfiguration Configuration, SessionDescriptor Session) Load(
|
||||
string path)
|
||||
{
|
||||
ArgumentException.ThrowIfNullOrWhiteSpace(path);
|
||||
|
||||
string fullPath = Path.GetFullPath(path);
|
||||
using FileStream stream = File.OpenRead(fullPath);
|
||||
SessionConfiguration? configuration =
|
||||
JsonSerializer.Deserialize<SessionConfiguration>(stream, Options);
|
||||
|
||||
if (configuration is null)
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
"The configuration document is empty.");
|
||||
}
|
||||
|
||||
if (configuration.Version != CurrentVersion)
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
$"Unsupported configuration version {configuration.Version}; "
|
||||
+ $"expected {CurrentVersion}.");
|
||||
}
|
||||
|
||||
if (configuration.Sessions is null
|
||||
|| configuration.Sessions.Count != 1)
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
"The graphical host requires exactly one configured session.");
|
||||
}
|
||||
|
||||
SessionDescriptor session = configuration.Sessions[0]
|
||||
?? throw new SessionConfigurationException(
|
||||
"The configured session cannot be null.");
|
||||
|
||||
ValidateContent(configuration.Process?.Content);
|
||||
ValidateSession(session);
|
||||
|
||||
return (configuration, session);
|
||||
}
|
||||
|
||||
private static void ValidateContent(SessionContentDescriptor? content)
|
||||
{
|
||||
if (content is null)
|
||||
return;
|
||||
if (string.IsNullOrWhiteSpace(content.DatDirectory)
|
||||
|| string.IsNullOrWhiteSpace(content.PreparedAssetPath))
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
"process.content requires non-empty datDirectory and preparedAssetPath.");
|
||||
}
|
||||
}
|
||||
|
||||
private static void ValidateSession(SessionDescriptor session)
|
||||
{
|
||||
if (string.IsNullOrWhiteSpace(session.Id))
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
"The session requires a non-empty id.");
|
||||
}
|
||||
|
||||
if (session.Endpoint is null
|
||||
|| string.IsNullOrWhiteSpace(session.Endpoint.Host)
|
||||
|| session.Endpoint.Port is < 1 or > 65535)
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
$"Session '{session.Id}' requires a host and a port from 1 through 65535.");
|
||||
}
|
||||
|
||||
if (string.IsNullOrWhiteSpace(session.Account))
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
$"Session '{session.Id}' requires a non-empty account.");
|
||||
}
|
||||
|
||||
if (session.Character is { } selector)
|
||||
{
|
||||
int selectorCount =
|
||||
(selector.Index.HasValue ? 1 : 0)
|
||||
+ (selector.Id.HasValue ? 1 : 0)
|
||||
+ (!string.IsNullOrWhiteSpace(selector.Name) ? 1 : 0);
|
||||
if (selectorCount != 1
|
||||
|| selector.Index is < 0
|
||||
|| selector.Id == 0u)
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
$"Session '{session.Id}' character selector must specify "
|
||||
+ "exactly one valid index, id, or name.");
|
||||
}
|
||||
}
|
||||
|
||||
if (session.Credential is null
|
||||
|| string.IsNullOrWhiteSpace(session.Credential.Reference))
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
$"Session '{session.Id}' requires a credential reference.");
|
||||
}
|
||||
|
||||
if (session.Plugins is { } plugins)
|
||||
{
|
||||
foreach (string? plugin in plugins)
|
||||
{
|
||||
if (string.IsNullOrWhiteSpace(plugin))
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
$"Session '{session.Id}' plugins entries must be non-empty strings.");
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
if (session.LoginCommandDelayMs < 0)
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
$"Session '{session.Id}' loginCommandDelayMs must be non-negative.");
|
||||
}
|
||||
|
||||
if (session.StatusFile is not null
|
||||
&& string.IsNullOrWhiteSpace(session.StatusFile))
|
||||
{
|
||||
throw new SessionConfigurationException(
|
||||
$"Session '{session.Id}' statusFile must be a non-empty path when present.");
|
||||
}
|
||||
}
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue