diff --git a/.machine_readable/6a2/ANCHOR.a2ml b/.machine_readable/6a2/ANCHOR.a2ml index 63019812..d32f616f 100644 --- a/.machine_readable/6a2/ANCHOR.a2ml +++ b/.machine_readable/6a2/ANCHOR.a2ml @@ -1,6 +1,7 @@ # ⚓ ANCHOR: rsr-template-repo # Canonical authority and project recalibration trigger for rsr-template-repo. # Template from: https://github.com/hyperpolymath/standards +identity: "org.hyperpolymath.echidna.anchor" id: "org.hyperpolymath.rsr-template-repo" version: "1.0.0" diff --git a/.machine_readable/contractiles/adjust/adjust.k9.ncl b/.machine_readable/contractiles/adjust/adjust.k9.ncl index 63cf3b15..a7324627 100644 --- a/.machine_readable/contractiles/adjust/adjust.k9.ncl +++ b/.machine_readable/contractiles/adjust/adjust.k9.ncl @@ -1,3 +1,4 @@ +K9! # SPDX-License-Identifier: PMPL-1.0-or-later # adjust.k9.ncl — K9 trust-tier component of the adjust trident # Author: Jonathan D.A. Jewell diff --git a/.machine_readable/contractiles/bust/bust.k9.ncl b/.machine_readable/contractiles/bust/bust.k9.ncl index 86923e1f..54009e42 100644 --- a/.machine_readable/contractiles/bust/bust.k9.ncl +++ b/.machine_readable/contractiles/bust/bust.k9.ncl @@ -1,3 +1,4 @@ +K9! # SPDX-License-Identifier: PMPL-1.0-or-later # bust.k9.ncl — K9 trust-tier component of the bust trident # Author: Jonathan D.A. Jewell diff --git a/audits/assail-classifications.a2ml b/audits/assail-classifications.a2ml index ea4f3e13..4c04c80f 100644 --- a/audits/assail-classifications.a2ml +++ b/audits/assail-classifications.a2ml @@ -1,3 +1,4 @@ +# identity: echidna-assail-classifications ; SPDX-License-Identifier: PMPL-1.0-or-later ; Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) ; diff --git a/container/deploy.k9.ncl b/container/deploy.k9.ncl index 96740889..98fcf477 100644 --- a/container/deploy.k9.ncl +++ b/container/deploy.k9.ncl @@ -1,3 +1,4 @@ +K9! # SPDX-License-Identifier: PMPL-1.0-or-later # deploy.k9.ncl — ECHIDNA deployment component (Hunt level) diff --git a/training_data/proof_states_mathcomp.a2ml b/training_data/proof_states_mathcomp.a2ml index c7335121..07dc098e 100644 --- a/training_data/proof_states_mathcomp.a2ml +++ b/training_data/proof_states_mathcomp.a2ml @@ -1,3 +1,4 @@ +# identity: echidna-training-proof-states-mathcomp # SPDX-License-Identifier: PMPL-1.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # mathcomp proof-state records (Coq/ssreflect training data) diff --git a/training_data/stats_mathcomp.a2ml b/training_data/stats_mathcomp.a2ml index abd82832..e20ad642 100644 --- a/training_data/stats_mathcomp.a2ml +++ b/training_data/stats_mathcomp.a2ml @@ -1,3 +1,4 @@ +# identity: echidna-training-stats-mathcomp # SPDX-License-Identifier: PMPL-1.0-or-later # mathcomp extraction statistics diff --git a/training_data/stats_tptp.a2ml b/training_data/stats_tptp.a2ml index fdf29030..3457e7f3 100644 --- a/training_data/stats_tptp.a2ml +++ b/training_data/stats_tptp.a2ml @@ -1,3 +1,4 @@ +# identity: echidna-training-stats-tptp # SPDX-License-Identifier: PMPL-1.0-or-later # TPTP extraction statistics diff --git a/training_data/tactics_mathcomp.a2ml b/training_data/tactics_mathcomp.a2ml index 90f39a92..836ad47a 100644 --- a/training_data/tactics_mathcomp.a2ml +++ b/training_data/tactics_mathcomp.a2ml @@ -1,3 +1,4 @@ +# identity: echidna-training-mathcomp # SPDX-License-Identifier: PMPL-1.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # mathcomp tactic records (ssreflect tactics per step) diff --git a/training_data/tactics_tptp.a2ml b/training_data/tactics_tptp.a2ml index 6bbc6310..a90cba7f 100644 --- a/training_data/tactics_tptp.a2ml +++ b/training_data/tactics_tptp.a2ml @@ -1,3 +1,4 @@ +# identity: echidna-training-tptp # SPDX-License-Identifier: PMPL-1.0-or-later # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # TPTP tactic records (one per proof-state)