Skip to content

docs: restore normative flow cost accounting - #16

Merged
pzhin merged 1 commit into
mainfrom
codex/formal-spec-cost-state
Aug 22, 2026
Merged

docs: restore normative flow cost accounting#16
pzhin merged 1 commit into
mainfrom
codex/formal-spec-cost-state

Conversation

@pzhin

@pzhin pzhin commented Aug 22, 2026

Copy link
Copy Markdown
Owner

Summary

  • add cumulative cost totals and the running-cost gauge to normative FlowState
  • define queued, completed, and running supplied-cost invariants
  • specify cost updates for registration, enqueue, cancel, dispatch, and complete
  • correct the per-registration retention statement

Verification

  • JAVA_HOME=/opt/homebrew/opt/openjdk@25 ./mvnw --batch-mode --no-transfer-progress clean verify

Record cost state that cannot be reconstructed after terminal jobs are removed.

Define exact formulas and lifecycle updates to keep the specification aligned.
@pzhin
pzhin merged commit 0d0f0e7 into main Aug 22, 2026
12 checks passed
@pzhin
pzhin deleted the codex/formal-spec-cost-state branch August 22, 2026 21:24
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