feat: PHP eval() support via the Magician interpreter

.claude/skills/update-builtin-docs/SKILL.md

@@ -0,0 +1,51 @@
+---
+name: update-builtin-docs
+description: Regenerate and audit Elephc's generated builtin documentation from the builtin! and eval_builtin! registries. Use when a change touches src/builtins, crates/elephc-magician/src/interpreter/builtins, builtin signatures, builtin lowering hooks, docs/php/builtins, docs/internals/builtins, scripts/docs/builtin_registry.json, or before opening a PR that changes PHP builtins.
+---
+
+# Update Builtin Docs
+
+Run the same generated-docs workflow enforced by the `builtins-docs-sync` CI job.
+Use the repo root as the working directory.
+
+## Workflow
+
+1. Build the exporter that reads the single-source `builtin!` registry and the
+   eval interpreter's `eval_builtin!` registry (an example target, so it can
+   link the elephc-magician dev-dependency):
+
+```bash
+cargo build --example gen_builtins
+```
+
+2. Regenerate the JSON registry and Markdown pages:
+
+```bash
+python3 scripts/docs/extract_builtins.py --render --force
+```
+
+3. Run the docs audits used by CI:
+
+```bash
+python3 scripts/docs/audit_builtins.py
+python3 scripts/docs/elephc_builtins/validate_site_compat.py
+```
+
+4. Inspect generated changes before reporting or committing:
+
+```bash
+git status --short -- docs/php/builtins.md docs/php/builtins docs/internals/builtins scripts/docs/builtin_registry.json
+git diff --check
+```
+
+## Rules
+
+- Treat `src/builtins/` (`builtin!`) and `crates/elephc-magician/src/interpreter/builtins/` (`eval_builtin!`) as the source of truth for the AOT and eval support dimensions respectively.
+- Do not hand-edit generated builtin pages to fix drift; fix the registry, lowering metadata, or `scripts/docs/elephc_builtins/` generator inputs, then rerun the workflow.
+- If the user asked only for a sync check, also run:
+
+```bash
+git diff --exit-code -- docs/php/builtins.md docs/php/builtins docs/internals/builtins scripts/docs/builtin_registry.json
+```
+
+- If generated files changed, include those files in the same PR as the builtin change unless the user explicitly wants a separate docs-only follow-up.

.claude/skills/update-builtin-docs/agents/openai.yaml

@@ -0,0 +1,4 @@
+interface:
+  display_name: "Update Builtin Docs"
+  short_description: "Regenerate generated builtin docs"
+  default_prompt: "Update the generated builtin documentation and run the CI-equivalent audits."

.config/nextest.toml

@@ -32,6 +32,9 @@ relative-to = "target"
 path = "debug/libelephc_image.a"
 relative-to = "target"
 [[profile.ci.archive.include]]
+path = "debug/libelephc_magician.a"
+relative-to = "target"
+[[profile.ci.archive.include]]
 path = "debug/libelephc_web.a"
 relative-to = "target"
 
@@ -46,3 +49,48 @@ slow-timeout = { period = "180s", terminate-after = 1 }
 [[profile.ci.overrides]]
 filter = 'test(parity_function_first_class_callable_dispatch)'
 slow-timeout = { period = "180s", terminate-after = 1 }
+
+# `lowers_examples_corpus` type-checks and lowers every program under examples/;
+# ~40s alone and past the global 60s cap on loaded runners.
+[[profile.default.overrides]]
+filter = 'test(lowers_examples_corpus)'
+slow-timeout = { period = "180s", terminate-after = 1 }
+
+[[profile.ci.overrides]]
+filter = 'test(lowers_examples_corpus)'
+slow-timeout = { period = "180s", terminate-after = 1 }
+
+# These eval/codegen regression tests intentionally exercise several complete
+# compile-link-run programs in one test. They exceed the 60s global guard on
+# one or more supported runners without being hung.
+[[profile.default.overrides]]
+filter = 'test(ir_backend_handles_scalar_builtins)'
+slow-timeout = { period = "180s", terminate-after = 1 }
+
+[[profile.ci.overrides]]
+filter = 'test(ir_backend_handles_scalar_builtins)'
+slow-timeout = { period = "180s", terminate-after = 1 }
+
+[[profile.default.overrides]]
+filter = 'test(test_eval_rejects_invalid_property_and_parameter_type_atoms)'
+slow-timeout = { period = "180s", terminate-after = 1 }
+
+[[profile.ci.overrides]]
+filter = 'test(test_eval_rejects_invalid_property_and_parameter_type_atoms)'
+slow-timeout = { period = "180s", terminate-after = 1 }
+
+[[profile.default.overrides]]
+filter = 'test(test_eval_declared_inherited_property_redeclaration_contracts)'
+slow-timeout = { period = "180s", terminate-after = 1 }
+
+[[profile.ci.overrides]]
+filter = 'test(test_eval_declared_inherited_property_redeclaration_contracts)'
+slow-timeout = { period = "180s", terminate-after = 1 }
+
+[[profile.default.overrides]]
+filter = 'test(test_eval_aot_callable_named_ref_arg_prep_fatal_cleans_up_stack)'
+slow-timeout = { period = "180s", terminate-after = 1 }
+
+[[profile.ci.overrides]]
+filter = 'test(test_eval_aot_callable_named_ref_arg_prep_fatal_cleans_up_stack)'
+slow-timeout = { period = "180s", terminate-after = 1 }