Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
36 changes: 3 additions & 33 deletions .github/CODEOWNERS
Original file line number Diff line number Diff line change
@@ -1,34 +1,4 @@
# SPDX-License-Identifier: MPL-2.0
# CODEOWNERS - Define code review assignments for GitHub
# See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-code-owners

# Default: sole maintainer for all files
* @hyperpolymath

# Security-sensitive files require explicit ownership
SECURITY.md @hyperpolymath
.github/workflows/ @hyperpolymath
.machine_readable/ @hyperpolymath
contractiles/ @hyperpolymath

# License files
LICENSE @hyperpolymath
LICENSES/ @hyperpolymath

# Configuration
.gitignore @hyperpolymath
.github/ @hyperpolymath

# Documentation
README* @hyperpolymath
CONTRIBUTING* @hyperpolymath
CODE_OF_CONDUCT* @hyperpolymath
GOVERNANCE* @hyperpolymath
MAINTAINERS* @hyperpolymath
CHANGELOG* @hyperpolymath
ROADMAP* @hyperpolymath

# Build and CI
Justfile @hyperpolymath
Makefile @hyperpolymath
*.sh @hyperpolymath
# Solo-maintained hyperpolymath repo: no owner lines by policy.
# See hyperpolymath/standards CODEOWNERS-POLICY.adoc (Rule 1).
# Sole-maintainer review is moot; SPDX headers carry attribution.
2 changes: 1 addition & 1 deletion .machine_readable/bot_directives/README.adoc
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
// SPDX-License-Identifier: CC-BY-SA-4.0
// Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
= Agent Instructions
:toc: preamble

Expand Down
4 changes: 2 additions & 2 deletions .machine_readable/bot_directives/coverage.a2ml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
# SPDX-License-Identifier: MPL-2.0
# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
#
# coverage.a2ml — Session coverage tracking
# Updated at the end of each AI agent session.
Expand All @@ -9,7 +9,7 @@

[metadata]
version = "1.0.0"
last-updated = "{{CURRENT_DATE}}"
last-updated = "2026-08-05"

# ============================================================================
# COVERAGE STATE
Expand Down
4 changes: 2 additions & 2 deletions .machine_readable/bot_directives/debt.a2ml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
# SPDX-License-Identifier: MPL-2.0
# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
#
# debt.a2ml — Meander debt list
# Things found but not fixed. Carried between sessions.
Expand All @@ -9,7 +9,7 @@

[metadata]
version = "1.0.0"
last-updated = "{{CURRENT_DATE}}"
last-updated = "2026-08-05"

# ============================================================================
# DEBT ITEMS
Expand Down
4 changes: 2 additions & 2 deletions .machine_readable/bot_directives/methodology.a2ml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
# SPDX-License-Identifier: MPL-2.0
# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
#
# methodology.a2ml — AI agent methodology configuration
# Declares how agents should approach work in this repository.
Expand All @@ -9,7 +9,7 @@

[metadata]
version = "1.0.0"
last-updated = "{{CURRENT_DATE}}"
last-updated = "2026-08-05"
spec = "https://github.com/hyperpolymath/standards/blob/main/agentic-a2ml/docs/ADR-002-methodology-layer.adoc"

# ============================================================================
Expand Down
2 changes: 1 addition & 1 deletion .machine_readable/contractiles/dust/Dustfile.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ to new repositories.
- description: No references to julia-ecosystem in generic template files
- run: test -z "$(grep -r 'julia-ecosystem' machine-readable-design/ 2>/dev/null)"
- severity: warning
- notes: Generic templates should use {{PROJECT_NAME}} or similar placeholders
- notes: Generic templates should use Overview or similar placeholders

### version-sync-checked
- description: Version in canonical-directory-structure matches .machine_readable/contractiles
Expand Down
19 changes: 18 additions & 1 deletion 0-AI-MANIFEST.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,7 @@ Entry points:
2. **Single source of truth** - `.machine_readable/` is authoritative
3. **No stale metadata** - If root state files exist, they are OUT OF DATE
4. **License consistency** - All code MPL-2.0 unless platform requires MPL-2.0
5. **Author attribution** - Always "{{AUTHOR}} <{{AUTHOR_EMAIL}}>"
5. **Author attribution** - Always "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
6. **Container images** - MUST use Chainguard base (`cgr.dev/chainguard/wolfi-base:latest` or `cgr.dev/chainguard/static:latest`)
7. **Container runtime** - Podman, never Docker. Files are `Containerfile`, never `Dockerfile`
8. **Container orchestration** - `selur-compose`, never `docker-compose`
Expand Down Expand Up @@ -126,3 +126,20 @@ This repo follows the **Dual-Track** architecture:
## ATTESTATION PROOF

**"I have read the AI manifest. All machine-readable content (state files, anchors, policies, bot directives, contractiles, AI guides) is located in `.machine_readable/` ONLY, and community metadata is in `.github/`. I will not create duplicate files in the root directory."**

<!-- BEGIN requires-initialisation -->

## PRIORITY ACTION — this repository is not fully initialised

32 substitution token(s) still have no value. **Read
`REQUIRES_INITIALISATION.md` in the repository root before doing anything
else here** — it lists every outstanding token, what it means, and which
files it belongs in.

Do not fabricate values for them, and do not delete the sections that
contain them to quiet a gate. They are unfilled because they need a
decision, not because they were overlooked. Resolve what you legitimately
can, leave the rest, and delete `REQUIRES_INITIALISATION.md` only when
nothing outstanding remains.

<!-- END requires-initialisation -->
47 changes: 0 additions & 47 deletions ARCHITECTURE.md

This file was deleted.

2 changes: 1 addition & 1 deletion PROOF-NEEDS.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

Template ABI removed -- was creating false impression of formal verification.
The removed files (Types.idr, Layout.idr, Foreign.idr) contained only RSR template
scaffolding with unresolved {{PROJECT}}/{{AUTHOR}} placeholders and no domain-specific proofs.
scaffolding with unresolved JULIA_ECOSYSTEM/Jonathan D.A. Jewell placeholders and no domain-specific proofs.

When this project needs formal ABI verification, create domain-specific Idris2 proofs
following the pattern in repos like `typed-wasm`, `proven`, `echidna`, or `boj-server`.
16 changes: 8 additions & 8 deletions QUICKSTART-MAINTAINER.adoc
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
// SPDX-License-Identifier: CC-BY-SA-4.0
// Template: QUICKSTART-MAINTAINER.adoc — packaging, deploying, and maintaining
// Replace julia-ecosystem, {{PACKAGE_NAME}}, {{DEPS}} with actuals
// Replace julia-ecosystem, julia-ecosystem, {{DEPS}} with actuals
= julia-ecosystem — Quick Start for Platform Maintainers
:toc:
:toclevels: 2
Expand Down Expand Up @@ -65,10 +65,10 @@ Files installed:
| `$PREFIX/bin/`
| Executables

| `$PREFIX/share/{{PACKAGE_NAME}}/`
| `$PREFIX/share/julia-ecosystem/`
| Data files, assets

| `$PREFIX/share/doc/{{PACKAGE_NAME}}/`
| `$PREFIX/share/doc/julia-ecosystem/`
| Documentation

| `$PREFIX/share/applications/`
Expand All @@ -80,9 +80,9 @@ Files installed:

== Configuration

Default config location: `$XDG_CONFIG_HOME/{{PACKAGE_NAME}}/config.toml`
Default config location: `$XDG_CONFIG_HOME/julia-ecosystem/config.toml`

Fallback: `$HOME/.config/{{PACKAGE_NAME}}/config.toml`
Fallback: `$HOME/.config/julia-ecosystem/config.toml`

== Health Checks

Expand All @@ -102,7 +102,7 @@ just build-release
just install --prefix=/usr/local
----

Or via OPSM: `opsm update {{PACKAGE_NAME}}`
Or via OPSM: `opsm update julia-ecosystem`

== Security Notes

Expand All @@ -117,8 +117,8 @@ For deploying multiple instances (e.g., different users or tenants):

[source,bash]
----
just install --prefix=/opt/{{PACKAGE_NAME}}-instance1 --config=/etc/{{PACKAGE_NAME}}/instance1.toml
just install --prefix=/opt/{{PACKAGE_NAME}}-instance2 --config=/etc/{{PACKAGE_NAME}}/instance2.toml
just install --prefix=/opt/julia-ecosystem-instance1 --config=/etc/julia-ecosystem/instance1.toml
just install --prefix=/opt/julia-ecosystem-instance2 --config=/etc/julia-ecosystem/instance2.toml
----

Each instance has isolated config, data, and logs.
Expand Down
Loading
Loading