Class AnnotationPreflight

java.lang.Object

org.j7m.middleware.application.components.AnnotationPreflight

public final class AnnotationPreflight
extends Object

Explicit version-one annotation contract preflight. It reads metadata only from supplied classes, their interfaces and superclasses, without construction, classpath scanning or opening JPMS packages. It is not wired into ApplicationManager; successful validation neither deploys an application nor proves that declared host capabilities are enforced. Instances are thread-safe.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	AnnotationPreflight.Diagnostic	Safe deterministic diagnostic; arbitrary annotation arguments and exception messages are omitted.
static final record	AnnotationPreflight.MethodIdentity	Full erased method identity; overloads, declaring owners and contract versions remain distinct.
static enum	AnnotationPreflight.Profile	Versioned validation mode; selecting managed mode is an explicit caller action.
static final record	AnnotationPreflight.Report	Immutable validation result, not runtime acceptance or deployment authorization.
static enum	AnnotationPreflight.Severity	Diagnostic severity; only ERROR prevents requireValid from returning normally.

Constructor Summary

Constructors

Constructor	Description
AnnotationPreflight(AnnotationPolicyRegistry registry)	Creates a validator with explicitly trusted host setup; no runtime behaviour is installed.

Method Summary

Modifier and Type	Method	Description
AnnotationPreflight.Report	inspect(AnnotationPreflight.Profile profile, String contractId, int contractVersion, Class<?> implementation, List<Class<?>> contracts)	Validates an explicit contract surface without constructing components or invoking hooks.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AnnotationPreflight

public AnnotationPreflight(AnnotationPolicyRegistry registry)

Creates a validator with explicitly trusted host setup; no runtime behaviour is installed.

Parameters:

registry - immutable host policy and capability declarations

Throws:

NullPointerException - if registry is null

Method Details

inspect

public AnnotationPreflight.Report inspect(AnnotationPreflight.Profile profile,
 String contractId,
 int contractVersion,
 Class<?> implementation,
 List<Class<?>> contracts)

Validates an explicit contract surface without constructing components or invoking hooks. Conflicting explicit scalar values reject across all relevant declaration levels; this baseline does not approve a narrowing/override without a future verified adapter contract. Only an interface contributing the inspected method participates in its type defaults. Roles/permissions are cumulative requirements, never an override that relaxes another declaration. Different trust domains, remote/local or idempotency declarations conflict. Custom composed annotations and Jakarta Inject are reported as unsupported, not silently treated as implemented. Cyclic metadata or metadata deeper than eight edges is rejected conservatively, even if no J7M marker has yet been found; reflection is not an untrusted-code sandbox.

Parameters:

profile - explicit legacy or strict managed mode

contractId - stable identifier, at most128 characters

contractVersion - positive contract version

implementation - concrete inspected type

contracts - explicit implemented interface roots, at most32

Returns:

immutable deterministic report without arbitrary annotation values

Throws:

IllegalArgumentException - for malformed input, nonimplemented contracts or excessive surface