Skip to content

Classify MeTTa special forms - #93

Closed
MesTTo wants to merge 5 commits into
trueagi-io:mainfrom
MesTTo:pr/mork-metta-special-form-classifier
Closed

Classify MeTTa special forms#93
MesTTo wants to merge 5 commits into
trueagi-io:mainfrom
MesTTo:pr/mork-metta-special-form-classifier

Conversation

@MesTTo

@MesTTo MesTTo commented Jun 23, 2026

Copy link
Copy Markdown
Contributor

Stack dependency: review after #92. The intended review increment is commit 957cabf.

Adds an exact-arity classifier for Minimal MeTTa and MeTTa special forms over the canonical term sidecar.

The classifier distinguishes supported machine forms from ordinary result atoms, unit, and error values. Arity checks prevent an expression with the same head symbol but a different shape from being treated as a special form.

Validation:

  • RUSTFLAGS='-C target-cpu=native -Awarnings' cargo +nightly-2026-06-01 test -p mork --lib formal_lowering
  • RUSTFLAGS='-C target-cpu=native -Awarnings' cargo +nightly-2026-06-01 test -p mork --lib
  • rustfmt +nightly-2026-06-01 --edition 2024 --check kernel/src/formal_lowering.rs
  • jscpd --reporters ai --format rust kernel/src/formal_lowering.rs
  • git diff --check

@MesTTo

MesTTo commented Jul 3, 2026

Copy link
Copy Markdown
Contributor Author

Closing: the special-form classifier duplicates interpreter knowledge on a parallel term id; its parity-test value already lives in #109. Parking the classifier itself.

@MesTTo MesTTo closed this Jul 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant