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
6 changes: 3 additions & 3 deletions CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,8 +6,8 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
git clone https://github.com/hyperpolymath/language-bridges.git
cd language-bridges

# Using Nix (recommended for reproducibility)
nix develop
# Using Guix (recommended for reproducibility)
guix develop

# Or using toolbox/distrobox
toolbox create language-bridges-dev
Expand Down Expand Up @@ -45,7 +45,7 @@ language-bridges/
├── MAINTAINERS.md
├── README.adoc
├── SECURITY.md
├── flake.nix # Nix flake (Perimeter 1)
├── flake.guix # Guix flake (Perimeter 1)
└── Justfile # Task runner (Perimeter 1)
```

Expand Down
2 changes: 1 addition & 1 deletion EXPLAINME.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -95,7 +95,7 @@ only.
| `TOPOLOGY.md` | Architecture map and per-module completion percentages
| `PROOF-NEEDS.md` | Formal verification backlog for this repo
| `Justfile` | Build recipes: `just build`, `just test`, `just check`
| `flake.nix` / `guix.scm` | Reproducible environment definitions
| `flake.guix` / `guix.scm` | Reproducible environment definitions
| `contractiles/` | Contractile trust/dust/intend check files
| `.machine_readable/` | A2ML state, meta, ecosystem, agentic manifests
|===
Expand Down
2 changes: 1 addition & 1 deletion netstack/.github/workflows/governance.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
# in hyperpolymath/standards instead of carrying per-repo copies.
#
# Replaces the per-repo governance scaffolding removed in the same commit:
# quality.yml, guix-nix-policy.yml, npm-bun-blocker.yml, ts-blocker.yml,
# quality.yml, guix-guix-policy.yml, npm-bun-blocker.yml, ts-blocker.yml,
# security-policy.yml, rsr-antipattern.yml, wellknown-enforcement.yml,
# workflow-linter.yml
#
Expand Down
6 changes: 3 additions & 3 deletions netstack/.github/workflows/stack-integration.yml
Original file line number Diff line number Diff line change
Expand Up @@ -76,9 +76,9 @@ jobs:
uses: denoland/setup-deno@5fae568d37c87b099dcc8f9f8b9c09159be2da2d # v2
with:
deno-version: v1.x
- name: Install ReScript
run: deno install -A npm:rescript@11
- name: Build ReScript
- name: Install AffineScript
run: deno install -A npm:affinescript@11
- name: Build AffineScript
run: deno task build || echo "Build task not critical for CI"
- name: Lint
run: deno lint
Expand Down
6 changes: 3 additions & 3 deletions netstack/DEPLOYMENT.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -25,10 +25,10 @@ toc::[]
* 100MB disk space
* Linux, macOS, or Windows with GNAT

**Interface SDK (Deno/ReScript):**
**Interface SDK (Deno/AffineScript):**

* Deno 1.40+
* ReScript compiler
* AffineScript compiler
* Node.js 20+ (for build tools)

**Kubernetes Cluster:**
Expand Down Expand Up @@ -195,7 +195,7 @@ The SDK is for programmatic access only:
----
cd interface

# Build ReScript
# Build AffineScript
deno task build

# Publish to registry (optional)
Expand Down
4 changes: 2 additions & 2 deletions netstack/Justfile
Original file line number Diff line number Diff line change
Expand Up @@ -71,14 +71,14 @@ tui-run:
cd tui && ./bin/flatracoon-tui

# =============================================================================
# Interface (Deno/ReScript)
# Interface (Deno/AffineScript)
# =============================================================================

# Install interface dependencies
interface-deps:
cd interface && deno cache src/main.ts

# Build ReScript interface
# Build AffineScript interface
interface-build:
cd interface && deno task build

Expand Down
10 changes: 5 additions & 5 deletions netstack/SEAM_ANALYSIS.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -84,10 +84,10 @@ Character'Read (Channel, Char);

==== 🟡 Incomplete JSON Parsing

**Issue:** ReScript client has placeholder JSON parsers.
**Issue:** AffineScript client has placeholder JSON parsers.

**Current State:**
[source,rescript]
[source,affinescript]
----
| Ok(json) => {
// Parse modules from JSON
Expand All @@ -99,7 +99,7 @@ Character'Read (Channel, Char);
**Impact:** SDK returns empty arrays, not actual data.

**Recommendation:**
- Add `@rescript/core` JSON decoders
- Add `@affinescript/core` JSON decoders
- Implement proper response parsing
- Add runtime type validation

Expand All @@ -112,7 +112,7 @@ Character'Read (Channel, Char);
**Impact:** TS users lose type safety.

**Recommendation:**
- Generate TypeScript definitions from ReScript
- Generate TypeScript definitions from AffineScript
- Publish `@types/flatracoon-sdk` package
- Add tsc validation to CI

Expand Down Expand Up @@ -507,7 +507,7 @@ The FlatRacoon Stack is **100% functionally complete** and ready for production
* ✓ Clean architecture with clear component boundaries
* ✓ Comprehensive deployment documentation
* ✓ Integration CI/CD pipeline
* ✓ Type-safe implementations (Ada, ReScript, Elixir)
* ✓ Type-safe implementations (Ada, AffineScript, Elixir)

**Recommended Next Steps:**

Expand Down
6 changes: 3 additions & 3 deletions netstack/SEAM_COMPLETION_REPORT.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -122,11 +122,11 @@ end case;

**Completed:** Previously (verified 2026-01-22)

**Implementation:** Comprehensive ReScript JSON decoders already exist in `interface/src/FlatRacoonClient.res`
**Implementation:** Comprehensive AffineScript JSON decoders already exist in `interface/src/FlatRacoonClient.res`

**Evidence:**

[source,rescript]
[source,affinescript]
----
module Decode = {
let moduleInfo = (json: Js.Json.t): result<moduleInfo, string> => {
Expand Down Expand Up @@ -273,7 +273,7 @@ $ cd tui && alr build
Success: Build finished successfully in 0.77 seconds.
✅ Success

# Interface SDK (ReScript)
# Interface SDK (AffineScript)
$ cd interface && deno task build
✅ Success
----
Expand Down
2 changes: 1 addition & 1 deletion netstack/configs/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@ Terminal UI client settings.

### interface

ReScript SDK client settings.
AffineScript SDK client settings.

**Key settings:**
- `interface.base_url`: API base URL
Expand Down
16 changes: 8 additions & 8 deletions netstack/examples/web-project-deno.json
Original file line number Diff line number Diff line change
@@ -1,17 +1,17 @@
{
"// NOTE": "Example deno.json for ReScript web projects",
"// NOTE": "Example deno.json for AffineScript web projects",
"tasks": {
"build": "deno run -A npm:rescript",
"clean": "deno run -A npm:rescript clean",
"watch": "deno run -A npm:rescript -w",
"build": "deno run -A npm:affinescript",
"clean": "deno run -A npm:affinescript clean",
"watch": "deno run -A npm:affinescript -w",
"serve": "deno run -A jsr:@std/http/file-server .",
"test": "deno test --allow-all"
},
"imports": {
"rescript": "^12.0.0",
"@rescript/core": "npm:@rescript/core@^1.6.0",
"safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/rescript-dom-mounter/main/src/",
"proven/": "../proven/bindings/rescript/src/"
"affinescript": "^12.0.0",
"@affinescript/core": "npm:@affinescript/core@^1.6.0",
"safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/affinescript-dom-mounter/main/src/",
"proven/": "../proven/bindings/affinescript/src/"
},
"compilerOptions": {
"allowJs": true,
Expand Down
40 changes: 0 additions & 40 deletions netstack/interface/deno.json

This file was deleted.

32 changes: 0 additions & 32 deletions netstack/orchestrator/assets/tsconfig.json

This file was deleted.

2 changes: 1 addition & 1 deletion os/.github/workflows/governance.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
# in hyperpolymath/standards instead of carrying per-repo copies.
#
# Replaces the per-repo governance scaffolding removed in the same commit:
# quality.yml, guix-nix-policy.yml, npm-bun-blocker.yml, ts-blocker.yml,
# quality.yml, guix-guix-policy.yml, npm-bun-blocker.yml, ts-blocker.yml,
# security-policy.yml, rsr-antipattern.yml, wellknown-enforcement.yml,
# workflow-linter.yml
#
Expand Down
16 changes: 8 additions & 8 deletions os/examples/web-project-deno.json
Original file line number Diff line number Diff line change
@@ -1,17 +1,17 @@
{
"// NOTE": "Example deno.json for ReScript web projects",
"// NOTE": "Example deno.json for AffineScript web projects",
"tasks": {
"build": "deno run -A npm:rescript",
"clean": "deno run -A npm:rescript clean",
"watch": "deno run -A npm:rescript -w",
"build": "deno run -A npm:affinescript",
"clean": "deno run -A npm:affinescript clean",
"watch": "deno run -A npm:affinescript -w",
"serve": "deno run -A jsr:@std/http/file-server .",
"test": "deno test --allow-all"
},
"imports": {
"rescript": "^12.0.0",
"@rescript/core": "npm:@rescript/core@^1.6.0",
"safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/rescript-dom-mounter/main/src/",
"proven/": "../proven/bindings/rescript/src/"
"affinescript": "^12.0.0",
"@affinescript/core": "npm:@affinescript/core@^1.6.0",
"safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/affinescript-dom-mounter/main/src/",
"proven/": "../proven/bindings/affinescript/src/"
},
"compilerOptions": {
"allowJs": true,
Expand Down
Loading