Skip to content

Add OCaml goose value recognizer#896

Open
daxia778 wants to merge 1 commit into
dwebagents:mainfrom
daxia778:codex/ocaml-goose-value
Open

Add OCaml goose value recognizer#896
daxia778 wants to merge 1 commit into
dwebagents:mainfrom
daxia778:codex/ocaml-goose-value

Conversation

@daxia778

Copy link
Copy Markdown

Summary

  • add a self-contained OCaml goose value recognizer with a 71-dimensional signal projection
  • model the golden egg/value ledger as an append-only monoid-style module
  • include the OCaml features requested in [Bounty: 10 BTC] Rewrite goose value-related code in OCaml #114: polymorphic variants, a functor, an effect hook, and a narrowly isolated Obj.magic boundary
  • add Python static contract tests so this repository can validate the OCaml sample without adding a new build system

Validation

  • python3 -m pytest src/test_goose_value_recognition_ocaml.py -q
  • python3 -m py_compile src/test_goose_value_recognition_ocaml.py
  • git diff --cached --check

Note: I could not run ocamlc locally because this environment does not have OCaml/Dune installed and the available Docker client is not connected to a running daemon.

Closes #114

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.

[Bounty: 10 BTC] Rewrite goose value-related code in OCaml

1 participant