Skip to content
Merged
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
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .gitattributes
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: AGPL-3.0-or-later
# SPDX-License-Identifier: PMPL-1.0-or-later
# RSR-compliant .gitattributes

* text=auto eol=lf
Expand Down
2 changes: 1 addition & 1 deletion .gitignore
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: AGPL-3.0-or-later
# SPDX-License-Identifier: PMPL-1.0-or-later
# RSR-compliant .gitignore

# OS & Editor
Expand Down
20 changes: 8 additions & 12 deletions .machine_readable/ECOSYSTEM.a2ml
Original file line number Diff line number Diff line change
@@ -1,14 +1,10 @@
# Accessibility Everywhere Ecosystem Manifest (A2ML)
@ecosystem { version: "0.1.0", last-updated: "2026-03-03" }
# SPDX-License-Identifier: PMPL-1.0-or-later
# ECOSYSTEM.a2ml — Ecosystem position
# Converted from ECOSYSTEM.scm on 2026-03-15

@project:
name: "accessibility-everywhere"
purpose: "Standardize and rank web accessibility"
role: "standards-platform"
@end
[metadata]
project = "accessibility-everywhere"
ecosystem = "hyperpolymath"

@attestation:
originalBytes: [Attested by Gemini CLI]
signature: PLACEHOLDER-ED25519-SIGNATURE
timestamp: 2026-03-03T12:00:00Z
@end
[position]
type = "component"
20 changes: 0 additions & 20 deletions .machine_readable/ECOSYSTEM.scm

This file was deleted.

21 changes: 8 additions & 13 deletions .machine_readable/META.a2ml
Original file line number Diff line number Diff line change
@@ -1,14 +1,9 @@
# Accessibility Everywhere Meta Manifest (A2ML)
@meta { version: "0.1.0", last-updated: "2026-03-03" }
# SPDX-License-Identifier: PMPL-1.0-or-later
# META.a2ml — Project meta-information
# Converted from META.scm on 2026-03-15

@project-info:
type: "platform"
languages: ["typescript", "javascript", "deno", "bash"]
license: "MPL-2.0-or-later"
@end

@attestation:
originalBytes: [Attested by Gemini CLI]
signature: PLACEHOLDER-ED25519-SIGNATURE
timestamp: 2026-03-03T12:00:00Z
@end
[metadata]
project = "accessibility-everywhere"
author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
license = "PMPL-1.0-or-later"
standard = "RSR 2026"
17 changes: 0 additions & 17 deletions .machine_readable/META.scm

This file was deleted.

26 changes: 12 additions & 14 deletions .machine_readable/STATE.a2ml
Original file line number Diff line number Diff line change
@@ -1,16 +1,14 @@
# Accessibility Everywhere State Manifest (A2ML)
@state { version: "0.0.1", last-updated: "2026-03-03", status: "active" }
# SPDX-License-Identifier: PMPL-1.0-or-later
# STATE.a2ml — Project state checkpoint
# Converted from STATE.scm on 2026-03-15

@project-context:
name: "accessibility-everywhere"
tagline: "Web accessibility as a ranking factor"
repo: "github.com/hyperpolymath/accessibility-everywhere"
completion-percentage: 10
phase: "initial"
@end
[metadata]
project = "accessibility-everywhere"
version = "0.1.0"
last-updated = "2026-03-15"
status = "active"

@attestation:
originalBytes: [Attested by Gemini CLI]
signature: PLACEHOLDER-ED25519-SIGNATURE
timestamp: 2026-03-03T12:00:00Z
@end
[project-context]
name = "accessibility-everywhere"
completion-percentage = 0
phase = "In development"
39 changes: 0 additions & 39 deletions .machine_readable/STATE.scm

This file was deleted.

File renamed without changes.
2 changes: 1 addition & 1 deletion ABI-FFI-README.md
Original file line number Diff line number Diff line change
Expand Up @@ -374,7 +374,7 @@ When modifying the ABI/FFI:

## License

{{LICENSE}}
PMPL-1.0-or-later

## See Also

Expand Down
18 changes: 9 additions & 9 deletions CONTRIBUTING.md
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
# Clone the repository
git clone https://github.com/{{OWNER}}/{{REPO}}.git
cd {{REPO}}
git clone https://github.com/hyperpolymath/accessibility-everywhere.git
cd accessibility-everywhere

# Using Nix (recommended for reproducibility)
nix develop

# Or using toolbox/distrobox
toolbox create {{REPO}}-dev
toolbox enter {{REPO}}-dev
toolbox create accessibility-everywhere-dev
toolbox enter accessibility-everywhere-dev
# Install dependencies manually

# Verify setup
Expand All @@ -17,7 +17,7 @@ just test # Run test suite

### Repository Structure
```
{{REPO}}/
accessibility-everywhere/
├── src/ # Source code (Perimeter 1-2)
├── lib/ # Library code (Perimeter 1-2)
├── extensions/ # Extensions (Perimeter 2)
Expand Down Expand Up @@ -86,10 +86,10 @@ Use the [feature request template](.github/ISSUE_TEMPLATE/feature_request.md) an

Look for issues labelled:

- [`good first issue`](https://github.com/{{OWNER}}/{{REPO}}/labels/good%20first%20issue) — Simple Perimeter 3 tasks
- [`help wanted`](https://github.com/{{OWNER}}/{{REPO}}/labels/help%20wanted) — Community help needed
- [`documentation`](https://github.com/{{OWNER}}/{{REPO}}/labels/documentation) — Docs improvements
- [`perimeter-3`](https://github.com/{{OWNER}}/{{REPO}}/labels/perimeter-3) — Community sandbox scope
- [`good first issue`](https://github.com/hyperpolymath/accessibility-everywhere/labels/good%20first%20issue) — Simple Perimeter 3 tasks
- [`help wanted`](https://github.com/hyperpolymath/accessibility-everywhere/labels/help%20wanted) — Community help needed
- [`documentation`](https://github.com/hyperpolymath/accessibility-everywhere/labels/documentation) — Docs improvements
- [`perimeter-3`](https://github.com/hyperpolymath/accessibility-everywhere/labels/perimeter-3) — Community sandbox scope

---

Expand Down
2 changes: 1 addition & 1 deletion examples/SafeDOMExample.res
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: AGPL-3.0-or-later
// SPDX-License-Identifier: PMPL-1.0-or-later
// Example: Using SafeDOM for formally verified DOM mounting

open SafeDOM
Expand Down
2 changes: 1 addition & 1 deletion ffi/zig/build.zig
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
// {{PROJECT}} FFI Build Configuration
// SPDX-License-Identifier: AGPL-3.0-or-later
// SPDX-License-Identifier: PMPL-1.0-or-later

const std = @import("std");

Expand Down
2 changes: 1 addition & 1 deletion ffi/zig/src/main.zig
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
// This module implements the C-compatible FFI declared in src/abi/Foreign.idr
// All types and layouts must match the Idris2 ABI definitions.
//
// SPDX-License-Identifier: AGPL-3.0-or-later
// SPDX-License-Identifier: PMPL-1.0-or-later

const std = @import("std");

Expand Down
2 changes: 1 addition & 1 deletion ffi/zig/test/integration_test.zig
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
// {{PROJECT}} Integration Tests
// SPDX-License-Identifier: AGPL-3.0-or-later
// SPDX-License-Identifier: PMPL-1.0-or-later
//
// These tests verify that the Zig FFI correctly implements the Idris2 ABI

Expand Down
Loading