Skip to content

DOM-PFM-LLM-003AI Allowance

Markdown

DOM-PFM-LLM-003

AI Allowance

Markdown
  • DocumentDraft
  • ImplementationObserved

Planning

Specified by
CON-PFM-LLM-003

Design

Owned by
SVC-PFM-LLM-llm

KindDomain objectProduct areaPlatformModuleAI Requests, Usage and the Jazz AI TeammateRevision1

Read atservices-platform ad3f6a65react-console baf6dae3

Relationships

ToCardinalityOwnershipCrosses a serviceOn archive or delete
DOM-PFM-LLM-001one monthly period to many requestsRequests retain their source facts; this relationship does not transfer request ownership.no
DOM-PFM-LLM-002limits and exemptions name many operations by keyThe operation catalogue owns its definitions; related records keep references.no
DOM-PFM-LLM-004one allowance supplies the live position of one organization's usageReporting derives its values without owning the underlying records.no

Invariants

InvariantProtectsEnforced atProvenance
INV-DOM-PFM-LLM-003-01
The organization and local month uniquely identify an allowance period created when needed.
service, databaseobserved
INV-DOM-PFM-LLM-003-02
One conditional update reserves credits and a running slot only when capacity and concurrency predicates pass.
databaseobserved
INV-DOM-PFM-LLM-003-03
Settlement or release removes the hold and running slot with values floored at zero.
service, databaseobserved
INV-DOM-PFM-LLM-003-04
Database checks prevent negative period allowance, charges, holds and running counts.
databaseobserved
services-platform:modules/llm/db/llm-allowance-periods.table.ts:llm_allowance_periods_reserved_credits_check
INV-DOM-PFM-LLM-003-05
Admission includes unrevoked grants only within their inclusive-start, exclusive-end window.
databaseobserved
INV-DOM-PFM-LLM-003-06
Grant checks require an ordered window and require an operation key only for exemptions.
databaseobserved
services-platform:modules/llm/db/llm-allowance-overrides.table.ts:llm_allowance_overrides_operation_key_check
INV-DOM-PFM-LLM-003-07
Grant creation serializes overlap checks for the organization and rejects a peak above the platform ceiling.
service, databaseobserved
INV-DOM-PFM-LLM-003-08
The supported grant API preserves original values and permits one revocation before expiry.
service, databaseobserved
INV-DOM-PFM-LLM-003-09
Changed limits require the inspected version; matching stored values return unchanged despite a stale version.
service, databaseobserved
INV-DOM-PFM-LLM-003-10
Synchronizing limits updates the current base and configuration version without altering past months, charges or holds.
serviceobserved
INV-DOM-PFM-LLM-003-11
Settlements create at most one crossing per month and threshold from charged credits, excluding holds.
service, databaseobserved
INV-DOM-PFM-LLM-003-12
Applying a signed correction retains its full amount while flooring resulting period charges at zero.
service, databaseobserved

The Markdown files under specs/ in rhythmsoftware/rhythm-v2-docs are the canonical source of truth. This reader is a generated, read-only projection of them.