Skip to content

chore(rsr): declare capability profile (rsr-profile.a2ml, preset rust-cli) #11

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 1 commit into from
Jun 20, 2026
+25 −1
Merged

chore(rsr): declare capability profile (rsr-profile.a2ml, preset rust-cli) #11

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .machine_readable/6a2/STATE.a2ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ milestones = [

[critical-next-actions]
actions = [
"Formalise template-applicability rules (capability-gated RSR profile: carry a template module iff the repo declares the capability it serves) — estate-wide, candidate for hyperpolymath/standards",
"Template-applicability: rsr-profile.a2ml declares preset rust-cli (landed); estate policy + gate model + reference checker filed in hyperpolymath/standards#391. Follow-up: wire scripts/check-rsr-profile.sh into CI once standards#391 lands.",
"Extend content-hash invalidation to cover transitive imports (needs include-root tracking)",
"Serve /.well-known/groove for PanLL discovery (Groove protocol)",
"Scaffold arghda-studio (AffineScript visual layer consuming the dag JSON)",
Expand Down
24 changes: 24 additions & 0 deletions .machine_readable/rsr-profile.a2ml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
# SPDX-License-Identifier: MPL-2.0
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
#
# rsr-profile.a2ml — RSR template-applicability profile for arghda-core.
#
# Declares which template capabilities this repo has, so its scaffold can be
# checked against the gate model instead of a fixed "one shape fits all".
# Policy: hyperpolymath/standards TEMPLATE-APPLICABILITY-POLICY.adoc
# Data: hyperpolymath/standards .machine_readable/template-capability-gates.toml
# Checker: hyperpolymath/standards scripts/check-rsr-profile.sh

[profile]
preset = "rust-cli"
add = [] # extra capabilities beyond the preset
remove = [] # preset capabilities this repo does NOT have

[rationale]
# Why arghda-core declines the maximal template's gated modules:
no-abi = "language-agnostic engine; no C-ABI/FFI seam, no Idris2 ABI proofs (no abi.ipkg / src/interface/)"
no-formal-proofs = "consumes Agda — shells out to agda / agda-unused — but contains no in-tree proofs (no verification/proofs/)"
no-container = "ships a CLI binary, not a container image"
no-reproducible-build = "cargo build only for now; guix.scm / flake.nix are a future addition, not present"
no-affinescript = "pure Rust; the planned AffineScript visual layer is a separate repo (arghda-studio)"
no-governance-tier = "leaf tool; declines the full AUDIT / AFFIRMATION / GOVERNANCE / MAINTAINERS trio"
Loading