Capability rematerialization: change substrate under contract
Test whether an observed capability can be rebuilt in a model, rule, retrieval system, solver or different composition.
Rematerialization preserves a bounded behavioral contract, not global equivalence with the source system.
A successful local substitution may create new global interactions when composed into the complete system.
Substitutability is tested; modularity is never assumed.
What the architecture must make explicit
Claims should terminate in inspectable evidence. Identity, provenance, measurement, adjudication, qualification and authority remain distinct dimensions.
Move from a keyword to an inspectable engineering decision
Identify
Compute the identity of the computation, artifacts and policies composing the realization.
Bind
Attach every measurement to the output actually produced by that exact subject.
Interpret
Separate observation, hypothesis, experimental support and terminal verdict.
Publish
Open useful projections without exposing protected data or widening claim scope.
A claim is only as strong as its binding
The gate must evaluate the exact output produced by the exact realization. Integrity, scientific validity and authority are related, but never interchangeable.
Questions that change the design
What does capability rematerialization: change substrate under contract require?
Rematerialization preserves a bounded behavioral contract, not global equivalence with the source system. Claims should terminate in inspectable evidence. Identity, provenance, measurement, adjudication, qualification and authority remain distinct dimensions.
Which evidence should be retained?
At minimum: exact realization identity, inputs and outputs, protocol version, measurements, failure cases and the decision rule. Substitutability is tested; modularity is never assumed.
Does AMF prescribe a particular model?
No. AMF treats the model, runtime, data, tools and deterministic components as candidate materials. Their retention depends on measured contribution and declared constraints.