Uses of Record Class
com.tnsai.metadata.ContractSpec

Packages that use ContractSpec

Package	Description
com.tnsai.actions.contracts	Design-by-contract support for action execution with pre/post condition validation.
com.tnsai.metadata	Metadata extraction and representation for actions, tools, and roles.

Uses of ContractSpec in com.tnsai.actions.contracts

Methods in com.tnsai.actions.contracts with parameters of type ContractSpec

Modifier and Type	Method	Description
Map<String,Object>	ContractValidator.snapshotOldValues(ContractSpec spec, Map<String,Object> params)	Captures pre-execution values for every old(...) sub-expression in the postconditions.
void	ContractValidator.validateInvariants(ContractSpec spec, Map<String,Object> bindings)	Checks invariants (before and after execution).
void	ContractValidator.validatePostconditions(ContractSpec spec, Map<String,Object> params, Object result, Map<String,Object> oldValues)	Checks postconditions after execution.
void	ContractValidator.validatePreconditions(ContractSpec spec, Map<String,Object> params)	Checks preconditions before execution.

Uses of ContractSpec in com.tnsai.metadata

Fields in com.tnsai.metadata declared as ContractSpec

Modifier and Type	Field	Description
static final ContractSpec	ContractSpec.NONE	No contract — empty gates.

Methods in com.tnsai.metadata that return ContractSpec

Modifier and Type	Method	Description
ContractSpec	ContractSpec.Builder.build()
ContractSpec	ActionConfig.contract()	Returns the value of the contract record component.
static ContractSpec	ContractSpec.from(Contract contract)	Adapts a @Contract annotation into a ContractSpec.

Methods in com.tnsai.metadata with parameters of type ContractSpec

Modifier and Type	Method	Description
ActionConfig	ActionConfig.withContract(ContractSpec contract)	Returns a copy of this config with the given ContractSpec attached — the programmatic equivalent of annotating the action method with @Contract (TNS-637).

Constructors in com.tnsai.metadata with parameters of type ContractSpec

Modifier	Constructor	Description
	ActionConfig(String name, String description, ActionType type, List<ParamSpec> parameters, ActionHandler handler, ContractSpec contract, InputGuardrailConfig inputGuardrail, OutputGuardrailConfig outputGuardrail)	Creates an instance of a ActionConfig record class.
	ActionMetadata(String name, String description, ActionType type, List<ParamSpec> parameters, ActionHandler handler, ContractSpec contractSpec)	As ActionMetadata(String, String, ActionType, List, ActionHandler) but with a declarative ContractSpec (TNS-637) — the programmatic equivalent of @Contract for builder-added actions.
	ActionMetadata(String name, String description, ActionType type, List<ParamSpec> parameters, ActionHandler handler, ContractSpec contractSpec, InputGuardrailConfig inputGuardrailConfig, OutputGuardrailConfig outputGuardrailConfig)	As ActionMetadata(String, String, ActionType, List, ActionHandler, ContractSpec) but also carrying per-action programmatic guardrails (TNS-643) — the builder equivalent of method-level @InputGuardrail/@OutputGuardrail, for builder-added actions that have no method to read the annotation from.