|
| 1 | +# SPDX-License-Identifier: MPL-2.0 |
| 2 | +# Intentfile (A2ML Canonical) — north-star contractile for rsr-template-repo |
| 3 | +# Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> |
| 4 | +# |
| 5 | +# Paired runner: intend.ncl |
| 6 | +# Verb: intend |
| 7 | +# |
| 8 | +# Semantics: North-star contractile. Declares BOTH concrete committed |
| 9 | +# next-actions AND horizon aspirations the project wishes to |
| 10 | +# become. Two sections share one file because they answer |
| 11 | +# the same question at different ranges: |
| 12 | +# [[intents]] — "we WILL do this; track progress" |
| 13 | +# status: declared → in_progress → done | |
| 14 | +# deferred | retired |
| 15 | +# [[wishes]] — "we WISH this were true; revisit later" |
| 16 | +# status: declared → in_progress → achieved | |
| 17 | +# abandoned |
| 18 | +# grouped by horizon: near / mid / far. |
| 19 | +# Non-gating — this is a report, not a gate. See the `must` |
| 20 | +# contractile for hard gates. |
| 21 | + |
| 22 | +@abstract: |
| 23 | +North-star contractile for rsr-template-repo. This repository is the |
| 24 | +canonical template for Rhodium Standard Repository compliance. It provides |
| 25 | +the scaffold that all hyperpolymath repos should copy and customize. |
| 26 | +@end |
| 27 | + |
| 28 | +## Purpose |
| 29 | + |
| 30 | +The rsr-template-repo serves as the master template for all hyperpolymath |
| 31 | +repositories. It contains the complete set of contractile files, machine-readable |
| 32 | +specifications, and governance documentation that define the Rhodium Standard. |
| 33 | + |
| 34 | +Every new repository in the hyperpolymath estate should be initialized by |
| 35 | +copying this template and substituting the placeholder values with |
| 36 | +repo-specific content. |
| 37 | + |
| 38 | +## Anti-Purpose |
| 39 | + |
| 40 | +This repository is NOT: |
| 41 | +- A general-purpose project scaffold for external use (hyperpolymath-only) |
| 42 | +- A replacement for per-repo customization (all files must be bespoke) |
| 43 | +- A static template that never changes (evolves with RSR spec) |
| 44 | +- A runtime library or framework (build-time only) |
| 45 | + |
| 46 | +## If In Doubt |
| 47 | + |
| 48 | +If you are unsure whether a change is in scope, ask. Sensitive areas: |
| 49 | +- .machine_readable/ contractile definitions |
| 50 | +- RSR specification files |
| 51 | +- Governance templates |
| 52 | +- License policy documents |
| 53 | + |
| 54 | +## Committed Next-Actions |
| 55 | + |
| 56 | +### repo-initialization |
| 57 | +- description: Provide just copy-and-substitute template for new repos |
| 58 | +- probe: test -f scripts/init-repo.sh |
| 59 | +- status: done |
| 60 | +- notes: Run with source scripts/init-repo.sh <new-repo-name> |
| 61 | + |
| 62 | +### contractile-completeness |
| 63 | +- description: Every RSR contractile has an a2ml and ncl implementation |
| 64 | +- probe: ls .machine_readable/contractiles/*.a2ml | wc -l | grep -q "^6$" |
| 65 | +- status: in_progress |
| 66 | +- notes: Currently 6 contractile verbs: intend, must, trust, adjust, bust, dust |
| 67 | + |
| 68 | +### automation-scripts |
| 69 | +- description: All repetitive tasks have just recipes |
| 70 | +- probe: grep -c "^# " Justfile | grep -q "^[6-9][0-9]*$" |
| 71 | +- status: in_progress |
| 72 | + |
| 73 | +## Wishes |
| 74 | + |
| 75 | +### Near Horizon |
| 76 | + |
| 77 | +#### cross-repo-validation |
| 78 | +- description: Tooling to validate all repos against RSR spec |
| 79 | +- horizon: near |
| 80 | +- status: declared |
| 81 | + |
| 82 | +#### automated-substitution |
| 83 | +- description: Script to automate repo-specific substitution in template |
| 84 | +- horizon: near |
| 85 | +- status: declared |
| 86 | + |
| 87 | +### Mid Horizon |
| 88 | + |
| 89 | +#### formal-verification |
| 90 | +- description: Idris2 proofs for all critical contractile invariants |
| 91 | +- horizon: mid |
| 92 | +- status: declared |
| 93 | + |
| 94 | +### Far Horizon |
| 95 | + |
| 96 | +#### ecosystem-visualization |
| 97 | +- description: Interactive graph of all hyperpolymath repos and dependencies |
| 98 | +- horizon: far |
| 99 | +- status: declared |
0 commit comments