Skip to content

feat: deepen domain intelligence and quality gates - #129

Merged
akcorca merged 1 commit into
mainfrom
feat/v0.15-pack-depth
Aug 9, 2026
Merged

feat: deepen domain intelligence and quality gates#129
akcorca merged 1 commit into
mainfrom
feat/v0.15-pack-depth

Conversation

@akcorca

@akcorca akcorca commented Aug 9, 2026

Copy link
Copy Markdown
Collaborator

Outcome

Completes the v0.15 Semath depth and quality work without broadening edit authority.

  • expands mechanics, circuits, and control systems into coherent typed law families
  • promotes three high-value targets in each established mathematical pack
  • preserves hard refusals and untouched holdouts while extending coordinated English shape declarations
  • adds pure field/domain/topic/capability scorecards with versioned zero-defect budgets
  • verifies all synthetic formula and prose cases through native/WASM parity
  • releases the remote-built Linux WASM artifact as 0.15.0

Verification

  • bun run check
  • 92 Rust tests and 49 TypeScript tests
  • 486 exact formula queries and 180 exact prose queries
  • 2,822 native/WASM parity queries
  • zero known false definitions, references, diagnostics, or edits

Closes #124
Closes #125
Closes #126

@coderabbitai

coderabbitai Bot commented Aug 9, 2026

Copy link
Copy Markdown

Important

Review skipped

Auto reviews are disabled on this repository. Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro Plus

Run ID: 38abb24d-4c61-42fa-8c0a-960f03b2a7b7

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@akcorca
akcorca merged commit b318317 into main Aug 9, 2026
2 checks passed
@akcorca
akcorca deleted the feat/v0.15-pack-depth branch August 9, 2026 04:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant