hyperpolymath · hyperpolymath · May 22, 2026 · May 22, 2026
@@ -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"

@@ -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 <j.d.a.jewell@open.ac.uk>

@@ -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 <j.d.a.jewell@open.ac.uk>

diff --git 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) <j.d.a.jewell@open.ac.uk>
 ;

diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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)