Skip to content

Replace The Jeff Paradox README with JeffEngine ABI/FFI docs - #2

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/analyze-repo-improvements-LkcDI
Apr 9, 2026
Merged

Replace The Jeff Paradox README with JeffEngine ABI/FFI docs#2
hyperpolymath merged 1 commit into
mainfrom
claude/analyze-repo-improvements-LkcDI

Conversation

@JoshuaJewell

Copy link
Copy Markdown
Owner

Description

This PR removes the outdated "The Jeff Paradox" project README and updates the ABI/FFI documentation to be specific to the JeffEngine project. It also includes configuration updates to the Julia project manifest and CI/CD pipeline.

Type of Change

  • Documentation update
  • Refactoring (no functional changes)
  • CI/CD changes

Changes Made

  • Removed thejeffparadox_README.md (outdated project documentation)
  • Updated ABI-FFI-README.md to replace template placeholders with JeffEngine-specific content:
    • Changed project references from {{PROJECT}}/{{project}} to JeffEngine/jeff_engine
    • Updated all code examples (C, Idris2, Rust, Julia) with correct function and library names
    • Updated license reference from {{LICENSE}} to MPL-2.0-or-later
    • Removed template instruction line
  • Updated engine/Project.toml:
    • Removed [project] section header (not standard Julia format)
    • Updated Julia compatibility from 1.9 to 1.10
    • Added [extras] and [targets] sections for test dependencies
  • Updated .github/workflows/ci.yml:
    • Removed continue-on-error: true from ShellCheck step to enforce stricter linting

Testing

No testing needed - these are documentation and configuration updates with no functional code changes. CI/CD pipeline changes will be validated by the workflow execution.

Checklist

General

  • My code follows the project's style guidelines
  • I have performed a self-review of my code
  • My changes generate no new warnings

Documentation

  • I have updated the documentation accordingly

CI/CD

  • CI/CD changes are appropriate and justified

Additional Notes

The removal of the "The Jeff Paradox" README suggests a pivot in project focus toward the JeffEngine implementation. The ABI/FFI documentation is now properly configured for the actual project being developed.

https://claude.ai/code/session_01DR54srjfuMGcdAmo5LZFPT

- Delete thejeffparadox_README.md (generic copy-paste artifact that
  incorrectly described the project as "decision theory analysis")
- Replace all {{PROJECT}}/{{project}}/{{LICENSE}} placeholders in
  ABI-FFI-README.md with JeffEngine/jeff_engine/MPL-2.0-or-later
- Fix Project.toml: remove non-standard [project] header, bump
  julia compat from 1.9 to 1.10 (matches CI), add [extras]/[targets]
  for Test dependency
- Make ShellCheck a hard CI failure (remove continue-on-error)

https://claude.ai/code/session_01DR54srjfuMGcdAmo5LZFPT
@github-actions github-actions Bot added documentation Docs, prose, diagrams, READMEs, ADRs engine ci config labels Apr 9, 2026
@hyperpolymath
hyperpolymath merged commit e02af96 into main Apr 9, 2026
21 of 24 checks passed

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: adfd9ea3bf

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread ABI-FFI-README.md
┌─────────────────────────────────────────────┐
│ C Headers (auto-generated) │
│ generated/abi/{{project}}.h │
│ generated/abi/jeff_engine.h │

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Keep ABI docs aligned with emitted artifact names

This documentation now states that the generated header and library are named jeff_engine (for example generated/abi/jeff_engine.h), but the actual Zig build config still emits {{project}} placeholders for both library and header names (ffi/zig/build.zig lines 12, 23, 35-36). In its current state, users following these instructions will try to include/link files that do not match what the build produces, so the FFI integration steps are likely to fail until docs and build outputs are synchronized.

Useful? React with 👍 / 👎.

@hyperpolymath
hyperpolymath deleted the claude/analyze-repo-improvements-LkcDI branch April 9, 2026 21:18
@hyperpolymath hyperpolymath added cicd CI/CD: workflows, actions, lockfiles, pins, runners, release gates and removed ci labels Aug 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cicd CI/CD: workflows, actions, lockfiles, pins, runners, release gates config documentation Docs, prose, diagrams, READMEs, ADRs engine

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants