Skip to content

Derivative Forge v0.1.0

Choose a tag to compare

View all tags
@Daniele-Cangi Daniele-Cangi released this 18 Aug 10:40
· 144 commits to main since this release
v0.1.0
4107448

Derivative Forge v0.1.0

This is the first public release of Derivative Forge: an execution-grounded Python system that turns natural-language requirements into verified greenfield code artifacts or a formal infeasibility result.

What is included

  • A typed Forge pipeline: requirement compilation, planning, code generation, three-layer validation, repair, and packaging.
  • Atomic requirement preservation and traceability from source requirement to plan, generated files, tests, and validation evidence.
  • Fail-closed terminal states: verified, validation_failed, and infeasible_proven.
  • Syntax/import/run checks, obligation and acceptance checks, and adversarial validation against superficial implementations and tests.
  • Quality contracts for security, persistence, rate limiting, audit trails, observability, and integration testing.
  • Isolated execution through a Docker sandbox with controlled filesystem, network, timeout, and resource policies.
  • Deterministic capability profiles for supported Python CLI, service, pipeline, and algorithmic build classes.
  • Optional OpenAI-backed candidate compilation with deterministic validation and repair boundaries.
  • The underlying Derivative reasoning substrate for symbolic, probabilistic, topological, circuit-backed, and contradiction-detection workloads.

Verification baseline

The release commit passed the complete GitHub Actions gate:

  • 346 tests passed.
  • Status accuracy: 1.000.
  • Verified@1: 1.000.
  • False-verified rate: 0.000.
  • Infeasible detection rate: 1.000.
  • Benchmark execution used the Docker sandbox backend.

Current boundaries

verified means the generated artifact satisfied its preserved requirements, declared obligations, executable tests, and adversarial checks inside the controlled validation environment. It is not a claim of universal correctness, production certification, or support for requirements outside the implemented capability and candidate-compilation boundaries.

The current Forge release targets greenfield Python artifacts. Existing-repository modification, additional languages, frontend generation, wheel/container product packaging, SBOM generation, and dependency auditing remain future work.

Entry points

python forge.py "Build a Python CLI that reads a CSV and includes tests."
python derivative.py "<computational problem>"

See the repository README for setup, architecture, validation semantics, supported surfaces, and benchmark evidence.

Assets 2
Loading