STACKMODERNE
Preuve, provenance et recherche AMF / GUIDE

Rematérialisation de capacité : changer de substrat sous contrat

Tester si une capacité observée peut être reconstruite dans un modèle, une règle, un retrieval, un solveur ou une composition différente.

THÈSE D’INGÉNIERIE

La rematérialisation préserve un contrat comportemental borné, pas l’équivalence globale avec le système source.

ÉCHEC FRÉQUENT

Une substitution locale réussie peut créer des interactions globales nouvelles lorsqu’elle rejoint le système complet.

DÉCISION

La substituabilité est testée ; la modularité n’est jamais supposée.

01 / RÉALISATION

Ce que l’architecture doit rendre explicite

Les claims doivent terminer dans des preuves inspectables. Identité, provenance, mesure, adjudication, qualification et autorité restent des dimensions distinctes.

01
Identité de réalisation
02
Lineage et provenance
03
Evidence Package reconstructible
04
Qualification et authority grant
02 / MÉTHODE

Passer d’un mot-clé à une décision d’ingénierie inspectable

01

Identifier

Calculer l’identité du calcul, des artefacts et des politiques qui composent la réalisation.

02

Relier

Attacher chaque mesure à la sortie effectivement produite par ce sujet exact.

03

Interpréter

Distinguer observation, hypothèse, support expérimental et verdict terminal.

04

Publier

Ouvrir les projections utiles sans exposer les données protégées ni élargir la portée des claims.

03 / EVIDENCE GATES

Une affirmation ne vaut que par son binding

Le gate doit évaluer la sortie réellement produite par la réalisation exacte. Intégrité, validité scientifique et autorité sont liées, mais jamais interchangeables.

G1
Intégrité des receipts
G2
Rôle de preuve admissible
G3
Règle figée
G4
Limites de claim explicites
FAQ

Les questions qui changent la conception

Que demande concrètement rematérialisation de capacité : changer de substrat sous contrat ?

La rematérialisation préserve un contrat comportemental borné, pas l’équivalence globale avec le système source. Les claims doivent terminer dans des preuves inspectables. Identité, provenance, mesure, adjudication, qualification et autorité restent des dimensions distinctes.

Quelles preuves faut-il conserver ?

Au minimum : identité exacte de la réalisation, entrées et sorties, version du protocole, mesures, cas d’échec et règle de décision. La substituabilité est testée ; la modularité n’est jamais supposée.

AMF impose-t-il un modèle particulier ?

Non. AMF traite modèle, runtime, données, outils et composants déterministes comme des matériaux candidats. Leur conservation dépend de leur contribution mesurée et des contraintes déclarées.