Claude/add language manifest r d bhd

languages/README.md

@@ -0,0 +1,17 @@
+# Language Quick Reference
+
+Each language has one core invariant that defines its design philosophy.
+
+| Language | Invariant |
+|----------|-----------|
+| [my-lang](my-lang.md) | Each level builds exactly on the previous |
+| [phronesis](phronesis.md) | Every AI decision traces to declared values |
+| [eclexia](eclexia.md) | No computation without explicit resource budget |
+| [oblibeny](oblibeny.md) | All programs must provably terminate |
+| [wokelang](wokelang.md) | No operation without explicit consent |
+| [betlang](betlang.md) | All uncertainty must be explicitly modeled |
+| [julia-the-viper](julia-the-viper.md) | Data and code are strictly separated |
+| [affinescript](affinescript.md) | Every resource is used at most once |
+| [ephapax](ephapax.md) | Every value can be consumed exactly once |
+
+See also: [MANIFEST.md](../MANIFEST.md) for full status and run instructions.

languages/affinescript.md

@@ -0,0 +1,27 @@
+# AffineScript
+
+> Affine types and dependent types for WebAssembly.
+
+## Invariant
+
+**Every resource is used at most once—no accidental aliasing or double-free.**
+
+## Example
+
+```ocaml
+let file : File = open("data.txt")
+let contents = read(file)   (* file consumed here *)
+(* file cannot be used again *)
+close(contents.handle)
+```
+
+## Run
+
+```bash
+dune build
+dune exec affinescript
+```
+
+## Status
+
+🟡 TO VERIFY - Check sync with GitLab

languages/betlang.md

@@ -0,0 +1,26 @@
+# betlang
+
+> Probabilistic programming for sampling and inference.
+
+## Invariant
+
+**All uncertainty must be explicitly modeled—no hidden randomness.**
+
+## Example
+
+```racket
+(define coin (bernoulli 0.5))
+(define outcome (if coin 'heads 'tails))
+(observe (= outcome 'heads))
+(sample coin)
+```
+
+## Run
+
+```bash
+racket main.rkt
+```
+
+## Status
+
+🟡 TO VERIFY - Check sync with GitLab

languages/eclexia.md

@@ -0,0 +1,25 @@
+# Eclexia
+
+> Sustainable Software Engineering through resource-first constraints.
+
+## Invariant
+
+**No computation proceeds without an explicit resource budget.**
+
+## Example
+
+```scheme
+(energy budget 100mJ
+  (resource memory 64KB)
+  (compute matrix-multiply A B))
+```
+
+## Run
+
+```bash
+cargo run
+```
+
+## Status
+
+🔴 NOT SYNCED (Priority 1) - 70-page white paper and Rust compiler exist only on GitLab

languages/ephapax.md

@@ -0,0 +1,29 @@
+# Ephapax
+
+> Once-only evaluation with linear semantics.
+
+## Invariant
+
+**Every value can be consumed exactly once—enforced statically.**
+
+## Example
+
+```scheme
+(define token (create-one-time-token secret))
+
+(consume token verification-service)
+;; token is now invalid - cannot be reused
+
+;; This would be a compile error:
+;; (consume token another-service)
+```
+
+## Run
+
+```bash
+# Implementation-specific - TBD
+```
+
+## Status
+
+🟡 TO VERIFY - Check sync with GitLab

languages/julia-the-viper.md

@@ -0,0 +1,33 @@
+# julia-the-viper
+
+> Systems programming with Harvard Architecture separation.
+
+## Invariant
+
+**Data and code occupy strictly separate memory spaces—no self-modifying code.**
+
+## Example
+
+```rust
+// Data segment - immutable at runtime
+data {
+  lookup_table: [u8; 256] = precomputed_values()
+}
+
+// Code segment - no data writes
+code {
+  fn transform(input: u8) -> u8 {
+    lookup_table[input]
+  }
+}
+```
+
+## Run
+
+```bash
+cargo run
+```
+
+## Status
+
+🟡 TO VERIFY - Check sync with GitLab

languages/my-lang.md

@@ -0,0 +1,28 @@
+# My-Lang Family
+
+> Progressive mastery from visual blocks to AI-native programming.
+
+## Invariant
+
+**Each level builds exactly on the previous—no concept is introduced without foundation.**
+
+## Languages
+
+| Level | Ages | Focus |
+|-------|------|-------|
+| Me | 6-8 | Visual/block-based |
+| Solo | 8-10 | First text-based, explicit effects |
+| Duet | 11-14 | AI-assisted, collaborative |
+| Ensemble | 15-18 | AI-native, professional |
+
+## Run
+
+```bash
+cargo run --bin solo
+cargo run --bin duet
+cargo run --bin ensemble
+```
+
+## Status
+
+🟡 TO VERIFY - Check sync with GitLab

languages/oblibeny.md

@@ -0,0 +1,26 @@
+# Oblíbený
+
+> Provably secure code for hostile environments.
+
+## Invariant
+
+**All programs must provably terminate—no unbounded recursion, no infinite loops.**
+
+## Example
+
+```scheme
+(forbid recursion)
+
+(bounded-for i 0 100
+  (process-byte (read-input i)))
+```
+
+## Run
+
+```bash
+cargo run
+```
+
+## Status
+
+🔴 DIVERGED - 40+ commits on GitLab, 30 on GitHub, needs manual merge

languages/phronesis.md

@@ -0,0 +1,30 @@
+# Phronesis
+
+> Formal specification of ethical AI frameworks.
+
+## Invariant
+
+**Every AI decision must be traceable to explicitly declared values.**
+
+## Example
+
+```
+Agent.SafetyBot
+  Values:
+    human_safety > task_completion
+    transparency > efficiency
+
+  EVALUATE(action) WHERE
+    action.risk_level < threshold
+```
+
+## Run
+
+```bash
+mix deps.get
+mix run
+```
+
+## Status
+
+🔴 DIVERGED - GitLab has original design, GitHub has Elixir implementation

languages/wokelang.md

@@ -0,0 +1,29 @@
+# WokeLang
+
+> Human-centric programming focused on consent and well-being.
+
+## Invariant
+
+**No sensitive operation executes without explicit user consent.**
+
+## Example
+
+```
+only if okay "May I access your location?" {
+  location = get_location()
+}
+
+attempt {
+  send_data(payload)
+} or reassure "Don't worry, we'll try again later."
+```
+
+## Run
+
+```bash
+cargo run
+```
+
+## Status
+
+🔴 DIVERGED - GitLab has original design, GitHub has Rust bytecode VM