fix(ci): repair A2ML/K9 schema errors in Dogfood Gate (Refs #77)

hyperpolymath · hyperpolymath · commit b961982a5feb · 2026-05-22T15:25:15.000+01:00
diff --git 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
@@ -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>
diff --git 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 <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)

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+K9!`
`1`	`2`	`# SPDX-License-Identifier: PMPL-1.0-or-later`
`2`	`3`	`# adjust.k9.ncl — K9 trust-tier component of the adjust trident`
`3`	`4`	`# Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# identity: echidna-assail-classifications`
`1`	`2`	`; SPDX-License-Identifier: PMPL-1.0-or-later`
`2`	`3`	`; Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>`
`3`	`4`	`;`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# identity: echidna-training-proof-states-mathcomp`
`1`	`2`	`# SPDX-License-Identifier: PMPL-1.0-or-later`
`2`	`3`	`# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)`
`3`	`4`	`# mathcomp proof-state records (Coq/ssreflect training data)`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# identity: echidna-training-stats-mathcomp`
`1`	`2`	`# SPDX-License-Identifier: PMPL-1.0-or-later`
`2`	`3`	`# mathcomp extraction statistics`
`3`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# identity: echidna-training-stats-tptp`
`1`	`2`	`# SPDX-License-Identifier: PMPL-1.0-or-later`
`2`	`3`	`# TPTP extraction statistics`
`3`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# identity: echidna-training-mathcomp`
`1`	`2`	`# SPDX-License-Identifier: PMPL-1.0-or-later`
`2`	`3`	`# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)`
`3`	`4`	`# mathcomp tactic records (ssreflect tactics per step)`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# identity: echidna-training-tptp`
`1`	`2`	`# SPDX-License-Identifier: PMPL-1.0-or-later`
`2`	`3`	`# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)`
`3`	`4`	`# TPTP tactic records (one per proof-state)`