Skip to content

Prepare @workit/core 0.3.0 time-policy release#51

Merged
AdmilsonCossa merged 1 commit into
mainfrom
release/core-0.3.0-time-policy
Jun 17, 2026
Merged

Prepare @workit/core 0.3.0 time-policy release#51
AdmilsonCossa merged 1 commit into
mainfrom
release/core-0.3.0-time-policy

Conversation

@AdmilsonCossa

Copy link
Copy Markdown
Collaborator

Summary

Prepare @workit/core 0.3.0 with the additive @workit/core/time-policy public subpath.

  • Adds planTimePolicy(), estimateRetry(), and estimateHedge() for declared retry, hedge, timeout, deadline, series, and parallel time-policy planning.
  • Wires ESM, CommonJS, strict TypeScript, API-surface, CJS build, package-consumer, and npm README coverage for the new subpath.
  • Adds bounded correctness evidence for retry/deadline planning, a finite time-policy cost model, and nested composition rules.
  • Bumps root and package versions to 0.3.0 and updates changelog/citation docs.

Validation

  • npm --workspace @workit/core run build
  • npx vitest run packages/core/tests/unit/time-policy.test.js
  • node packages/core/tests/evidence/correctness/time-policy-planner.mjs
  • node packages/core/tests/evidence/correctness/formal-time-policy-model.mjs
  • node packages/core/tests/evidence/correctness/nested-time-policy-composition.mjs
  • npm --workspace @workit/core run check:api
  • npm --workspace @workit/core run check:package-consumer
  • npm run test:coverage
  • npm run test:evidence
  • npm run bench:articles
  • npm run verify
  • npm --workspace @workit/core run check:release

@AdmilsonCossa AdmilsonCossa merged commit 69b458e into main Jun 17, 2026
5 checks passed
@AdmilsonCossa AdmilsonCossa deleted the release/core-0.3.0-time-policy branch June 17, 2026 16:25
Publish @workit/core/time-policy as the 0.3.0 additive planning contract, with ESM/CJS/strict TypeScript package-consumer coverage.

Add bounded correctness evidence for retry/deadline planning, finite time-policy cost modeling, and nested composition rules, plus README and changelog release notes.
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