Skip to content

Integrate native Requirement Compiler and deterministic evaluator - #47

Merged
Coconut-ch1ken merged 2 commits into
ai4research-mainfrom
codex/integrate-requirement-compiler
Aug 26, 2026
Merged

Coconut-ch1ken merged 2 commits into
ai4research-mainfrom
codex/integrate-requirement-compiler

Conversation

@Coconut-ch1ken

Copy link
Copy Markdown
Collaborator

Summary

  • replace the semantic IntentIR compatibility projection with a native deterministic RequirementIR v2 compiler
  • add a separate deterministic RequirementIR format/integrity evaluator and fail closed before sprint binding
  • retain 25 IntentIR fixtures plus 25 RequirementIR/evaluation bundles as reproducible contract evidence
  • classify compiler output separately from evaluator output in the metadata registry

Pipeline behavior

  • only an accepted, hash-matched intent_ir.json reaches the Requirement Compiler
  • the compiler emits requirement_ir.json; the preflight evaluator emits requirement_format_evaluation.json
  • evaluator failure blocks downstream sprint binding
  • the non-semantic legacy fallback remains unchanged
  • requirement_validation.json and requirement_coverage.json remain separate future evaluator artifacts

Verification

  • 61 passed across Requirement Compiler, Intent Compiler, Intent Gateway, and intake-command tests
  • fixture validator: 25/25 valid IntentIR inputs
  • evaluation validator: 25/25 format evaluations passed; 0 legacy-shape outputs
  • git diff --cached --check passed before commit

@Coconut-ch1ken

Copy link
Copy Markdown
Collaborator Author

Follow-up for the two full-non-rust failures:

  • Root cause: the workflow floated on bun-version: latest and picked up Bun 1.4.0. Bun's runtime transpiler cache (*.pile) was not redirected with the package cache, leaving state under the sandbox home.
  • Fix: pin the matrix to Bun 1.4.0; default both Bun cache paths under SOLAR_HOME; propagate them through daemon wrappers/service definitions; contain the dashboard smoke cache; retain the strict zero-residue assertion.
  • Local verification: reproduced the unpatched .bun/install/cache/@t@/*.pile failure with Bun 1.4.0, then passed install, reinstall, daemon/dashboard boot, and repair through the same boundary with the patch. Daemon render checks, Bash syntax, workflow YAML parsing, and scoped diff checks pass.

Commit: 6294cea6f

@Coconut-ch1ken
Coconut-ch1ken merged commit 285837b into ai4research-main Aug 26, 2026
16 checks passed
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