neurosym-forge

Files (200)

• .gitignore
• LICENSE
• SKILL.md
• SUPPORT_MATRIX.md
• annotations.css · assets/
• __init__.py.tmpl · assets/project-template-bridge/scripts/
• ingest_ledger.py.tmpl · assets/project-template-bridge/scripts/
• .gitignore.tmpl · assets/project-template/
• Makefile.tmpl · assets/project-template/
• README.md.tmpl · assets/project-template/
• SKILL.md.tmpl · assets/project-template/
• booklogic.cljs.tmpl · assets/project-template/cljs-orchestrator/src/main/__project__/
• bridge.cljs.tmpl · assets/project-template/cljs-orchestrator/src/main/__project__/
• core.cljs.tmpl · assets/project-template/cljs-orchestrator/src/main/__project__/
• ir.cljs.tmpl · assets/project-template/cljs-orchestrator/src/main/__project__/
• nl_to_fol.cljs.tmpl · assets/project-template/cljs-orchestrator/src/main/__project__/
• phases.cljs.tmpl · assets/project-template/cljs-orchestrator/src/main/__project__/
• unify.cljs.tmpl · assets/project-template/cljs-orchestrator/src/main/__project__/
• booklogic_test.cljs.tmpl · assets/project-template/cljs-orchestrator/src/test/__project__/
• deps.edn.tmpl · assets/project-template/
• nbb.edn.tmpl · assets/project-template/
• package.json.tmpl · assets/project-template/
• .forge-version.edn.tmpl · assets/project-template/rules/
• constraints.edn.tmpl · assets/project-template/rules/booklogic/
• induced-theory.prov.edn.tmpl · assets/project-template/rules/booklogic/
• lifts.edn.tmpl · assets/project-template/rules/booklogic/
• predicates.edn.tmpl · assets/project-template/rules/booklogic/
• queries.edn.tmpl · assets/project-template/rules/booklogic/
• remedies.edn.tmpl · assets/project-template/rules/booklogic/
• rules.edn.tmpl · assets/project-template/rules/booklogic/
• sorts.edn.tmpl · assets/project-template/rules/booklogic/
• grounded.edn.tmpl · assets/project-template/rules/
• predicates.edn.tmpl · assets/project-template/rules/
• seed.edn.tmpl · assets/project-template/rules/
• Cargo.toml.tmpl · assets/project-template/rust-verifier/
• build.rs.tmpl · assets/project-template/rust-verifier/
• axioms.rs.tmpl · assets/project-template/rust-verifier/src/
• eqsat.rs.tmpl · assets/project-template/rust-verifier/src/
• ir.rs.tmpl · assets/project-template/rust-verifier/src/
• kg.rs.tmpl · assets/project-template/rust-verifier/src/
• lib.rs.tmpl · assets/project-template/rust-verifier/src/
• smt.rs.tmpl · assets/project-template/rust-verifier/src/
• typeset.rs.tmpl · assets/project-template/rust-verifier/src/
• codegen_axioms.py.tmpl · assets/project-template/scripts/
• codegen_kg.py.tmpl · assets/project-template/scripts/
• extract_preview.py.tmpl · assets/project-template/scripts/
• shadow-cljs.edn.tmpl · assets/project-template/
• claim_table.tex.tera.tmpl · assets/project-template/templates/
• report.tex.tera.tmpl · assets/project-template/templates/
• atom.schema.json · assets/schemas/
• rewrite-rule.schema.json · assets/schemas/
• sort.schema.json · assets/schemas/
• aggregate_runs.py · eval/
• onboarding-bench.py · eval/
• parishes-aggregation.md · eval/prompts/
• string-binomial-match.md · eval/prompts/
• temperature-bounded-reaction.md · eval/prompts/
• .gitignore · eval/runs/
• pyproject.toml
• atomspace-edn.md · references/
• …and 140 more

SKILL.md (first lines)

# neurosym-forge

The authoring skill for neurosymbolic verification projects in CLJS + Rust. Produces project skeletons, rewrite rules, grounded-atom modules, and IR linters. Encodes MeTTa idioms as authoring conventions. v0.3 adds an `axioms.rs` hook contract so scaffolded projects can install Z3 hard constraints before per-atom verification, makes the `tectonic` dep optional (build with `--features pdf` to include PDF rendering), and accepts relative `--out` paths with `..` segments that resolve under the current working directory.

## What it owns

- The project skeleton template for CLJS + Rust verifiers
- The EDN-as-atomspace IR specification
- The MeTTa→CLJS+Rust idiom mapping (= / : / ! / match / superpose / grounded)
- Linters for atomspace shape, sort coverage, rewrite-rule fixtures
- The scaffolder, rule-appender, grounded-atom-adder, sort-adder helpers

## What it does NOT own

- Source ingestion or claim extraction (book-knowledge)
- Shadow-cljs or cargo builds (handled by the scaffolded project)
- Prose synthesis (book-compose)
- Editorial review (book-review)
- Defect QA (book-qa)
- Network I/O — this skill never reaches off-machine

## Components

Python helpers in `scripts/`. Invoke via `.venv\Scripts\python.exe -m scripts.<name>`.

Scaffolding:
- `scaffold_project.py` — produces the full CLJS+Rust project skeleton
- `add_rewrite_rule.py` — appends a typed `(=)` rule with fixture test
- `add_grounded_atom.py` — emits a `#[napi]` Rust function and CLJS bridge stub
- `add_sort.py` — extends the sort registry

Linting:
- `lint_atomspace.py` — every atom carries `:sort`, no unbound variables
- `lint_rewrite_coverage.py` — every rewrite rule has a fixture test
- `render_call_graph.py` — ASCII diagram of Claude↔CLJS↔Rust phase boundaries

Convenience:
- `verify_claims.py` — prints `npm run build && node ... verify` for the scaffolded project

## Composes with

- `book-knowledge` — accepts `claims/ledger.jsonl` as Phase-1 input via the `--book-knowledge-bridge` scaffold flag
- `book-qa` — optional defect class `D13: claim-set-unsatisfiable`, off by default in v0.1
- `book-thesis` — v0.2 only; not wired in v0.1

## Usage

- "Scaffold a CLJS+Rust verifier for the Bermuda claims" — full scaffold
- "Add a commutativity rule for `+`" — appends a rewrite rule
- "Ground a custom solver hook called my-fn returning :verdict" — adds a grounded atom
- "Lint the atomspace" — runs `lint_atomspace.py` on `work/atomspace.edn`

## Tests

40+ tests across the 8 modules. Run with `.venv\Scripts\python.exe -m pytest tests/ -q` from the skill root.

## See also

- [`docs/booklogic-dsl-reference.md`](../../docs/booklogic-dsl-reference.md) — canonical author-facing DSL reference
- [`SUPPORT_MATRIX.md`](SUPPORT_MATRIX.md) — which form-family / backend combinations are wired vs stub vs DROP
- `references/metta-idioms.md` — = / : / ! / match / superpose / grounded mapping
- `references/atomspace-edn.md` — the EDN IR
- `references/grounded-atoms.md` — how to wire a new Rust module
- `references/phase-boundaries.md` — what data crosses each phase boundary
- `references/rewrite-rule-style.md` — naming, doc, fixture conventions
- `references/worked-examples/osmotic-pressure/` — clojure.md example

From CharlesHoskinson/russellian-book-suite, MIT.

More from CharlesHoskinson/russellian-book-suite