Skip to content

docs(wiki): Document Simplex-NF Studio web workbench and developer import blueprints #20

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
dbccpage merged 1 commit into from
Nov 2, 2026
Merged

docs(wiki): Document Simplex-NF Studio web workbench and developer import blueprints #20

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
41 changes: 29 additions & 12 deletions wiki/Concrete-Examples.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,31 +7,37 @@

---

## 1. Running the Standalone Python Verifier & Examples
## 1. Running the Standalone Python Verifier, Examples & Simplex-NF Studio

All examples and contract validators live in the standalone `normal_forms/` Python package and `contracts/` directory:
All examples, contract validators, and the interactive **Simplex-NF Studio** web workbench live in the `normal_forms/` and `web/` packages and `contracts/` directory:

```bash
# 1. Validate all 112 YAML normal form contracts against standard.yaml
# 1. Install in editable mode (or wheel distribution)
pip install -e ".[web,dev]"

# 2. Validate all 112 YAML normal form contracts against standard.yaml
python -m normal_forms.catalog

# 2. Run Demo 01: BQNF Incremental Revenue Repair on CDC Events
# 3. Run Demo 01: BQNF Incremental Revenue Repair on CDC Events
python -m normal_forms.paid_revenue_example

# 3. Run Demo 02: Unverified Certificate Refusal Gate
# 4. Run Demo 02: Unverified Certificate Refusal Gate
python -m normal_forms.unverified_certificate_example

# 4. Run Demo 03: Observer-Relative Freshness SLA Poset Evaluation
# 5. Run Demo 03: Observer-Relative Freshness SLA Poset Evaluation
python -m normal_forms.observer_freshness_example

# 5. Run Cross-Domain Reconciliation & Loss Ledger Example
# 6. Run Cross-Domain Reconciliation & Loss Ledger Example
python -m normal_forms.reconciliation_example

# 6. Run Demo 05: 4-Hop Composition (3NF/BCNF -> Extrema & Quantile Cochains -> CODA_MUR -> Observer Poset)
# 7. Run Demo 05: 4-Hop Composition (3NF/BCNF -> Extrema & Quantile Cochains -> CODA_MUR -> Observer Poset)
python -m normal_forms.multi_hop_composition

# 7. Run Demo 06: AI RAG / MCP Pipeline with @coda_mur_projection & @observer_freshness_gate
# 8. Run Demo 06: AI RAG / MCP Pipeline with @coda_mur_projection & @observer_freshness_gate
python -m normal_forms.ai

# 9. Launch the Simplex-NF Studio Interactive Web Workbench (smplxnf.anomalon.com)
uvicorn web.app:app --host 0.0.0.0 --port 8000
```

---
Expand Down Expand Up @@ -135,13 +141,24 @@ The internal Normal-Form Intermediate Representation (`NF-IR`) stack lowers norm

---

## 8. Epistemic Claim Hygiene Quadrant
## 8. Example G: Simplex-NF Studio Interactive Web Workbench (`web/app.py`, `IMPORT_GUIDE.md`)

**Simplex-NF Studio** (`web/app.py`, configured for Render deployment at `smplxnf.anomalon.com` via `render.yaml`) exposes four interactive REST & browser studios backed by the top-level `normal_forms` exports documented in `IMPORT_GUIDE.md`, `docs/MVP_SELECTION.md`, `docs/CORRECTNESS_SCOPE.md`, and `docs/DISTRIBUTION.md`:

- **Studio 1 (`POST /api/relational/normalize`):** Evaluates relational headings and functional dependencies across `1NF`–`3NF` and `BCNF`, synthesizes Bernstein `3NF` and Tsou-Fischer `BCNF` decompositions, runs the Tableau Chase (`chase_lossless_join`) to detect spurious tuple counterexamples, and emits copy-pasteable SQLite DDL + Python import snippets.
- **Studio 2 (`POST /api/bqnf/simulate`):** Simulates CDC event streams (`INSERT`/`UPDATE`/`DELETE`) with priority-queue extremum cochains and dynamic dyadic quantile sketches, recording per-event terminal routing (`Repair`, `Preserve`, `Recompute`, `Invalidate`) and exact bucket boundary alignments.
- **Studio 3 (`POST /api/compiler/lower`):** Lowers functional dependency rules into `NFKernelSpec`, applies poset subsumption Dead-Check Elimination (`run_kernel_pipeline_with_dce`), generates SQLite `BEFORE INSERT`/`BEFORE UPDATE` triggers with scalar null-safe semantics, and executes live carrier verification.
- **Studio 4 (`POST /api/ai/lossledger`):** Executes `@coda_mur_projection` and `@observer_freshness_gate` over RAG context chunks, verifying additive token conservation and SHA-256 Merkle `LossLedger` seals.

---

## 9. Epistemic Claim Hygiene Quadrant

1. **What it supports:**
- Demonstrates in this toy setting that the Python evaluators reproduce the declared terminal routes for `0NF`–`5NF`, `BQNF` additive and cochain-backed extrema/quantile repair, `CODA_MUR` representation transport, observer-relative freshness posets, the `normal_forms.ai` RAG/MCP decorator pipeline, and the 4-layer `NF-IR` compiler stack.
- Demonstrates in this toy setting that the Python evaluators and the Simplex-NF Studio web workbench reproduce the declared terminal routes for `0NF`–`5NF`, `BQNF` additive and cochain-backed extrema/quantile repair, `CODA_MUR` representation transport, observer-relative freshness posets, the `normal_forms.ai` RAG/MCP decorator pipeline, and the 4-layer `NF-IR` compiler stack.
2. **What it does not support:**
- Does not substitute for production database concurrency control or physical distributed consensus.
3. **The narrowest defensible claim:**
- Each worked example and multi-hop property test executes deterministically against the fixtures and randomized schemas in `tests/` with `AuthorityEffect: None`.
- Each worked example, multi-hop property test, and FastAPI workbench endpoint executes deterministically against the fixtures and randomized schemas in `tests/` with `AuthorityEffect: None`.
4. **The next test needed:**
- Concurrent multi-writer transaction interleaving over persistent disk-backed SQLite WAL journals.
2 changes: 1 addition & 1 deletion wiki/Home.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@

1. **[Theory and Cochain Substrate](Theory-and-Cochain-Substrate)** — The Four-Pillar Quadrilateral, Heath/Fagin/Rissanen theorems, BQNF homological sequence $Q^1 = C^1/\operatorname{im}(d^0)$, priority-queue extrema cochains, $\epsilon$-BQNF quantile sketches, and `CODA_MUR` descent compatibility.
2. **[Observer-Relative Ontology](Observer-Relative-Ontology)** — The Table–Relation–Relvar–Boundary-Relvar triad, observer poset monotonicity, `EQNF`, `ODNF`, and the strict governance wall (`certified_implies_authorized: false`).
3. **[Concrete Worked Examples](Concrete-Examples)** — Step-by-step SQL, JSON, and Python execution walkthroughs (`NormalFormsEvaluator`, `BqnfValidator`, 0NF$\to$1NF, 3NF Bernstein synthesis, 5NF consulting witness, BQNF CDC repair, and `CODA_MUR` transport).
3. **[Concrete Worked Examples](Concrete-Examples)** — Step-by-step SQL, JSON, Python, and **Simplex-NF Studio** (`web/app.py` / `smplxnf.anomalon.com`) execution walkthroughs (`NormalFormsEvaluator`, `BqnfValidator`, 0NF$\to$1NF, 3NF Bernstein synthesis, 5NF consulting witness, BQNF CDC repair, `CODA_MUR` transport, 4-layer `NF-IR` compiler, and `IMPORT_GUIDE.md` blueprints).
4. **[Relational Geometrodynamics and Physics Substrate](Relational-Geometrodynamics-and-Physics-Substrate)** — Discrete Regge calculus, Cayley-Menger metric positivity, Schläfli identity, Lorentzian CDT foliation, Wheeler-DeWitt, Page-Wootters relational time, and Fermion Sign Problem normal forms.

---
Expand Down
Loading