G12: Prove access-mode, quota-pool and call-cost enforcement boundaries for accepted-result budgets #184
Labels
No labels
accessibility
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
P1
P2
P3
question
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Blocks
#177 G07: Define explicit local outcome export consumption and cautious task-level cost calibration
Creatidy/scarcity-router
Reference
Creatidy/scarcity-router#184
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Explicit Owner Decision — 2026-10-08T09:49:32Z
Owner chooses Option 1: opt-in strict verified no-PAYG and authorizes deterministic implementation within this boundary under the SAME
/loopinvocation2026-10-06T16:00:17Z. This resolves the contract decision recorded in comment15630; no review/ledger/history/counter is reset. The original goal, acceptance and constraints are preserved below.This selection approves unsupported strict-path refusal without withdrawing ordinary legacy/default access. D-063 stays supported under its existing constraints; #199 replacement/retirement gate is not waived. Public/machine/worker/config compatibility must be explicit, not silently changed. Source/evidence/control truth is distinct from billing/settlement, availability, intrinsic model capability or total financial promise.
Implementation is security_critical: normal required validation and fresh complete ordinary technical/UX review, then independent
gpt-daybreak-blue-latestsecurity review through direct official Codex at stable exact base/HEAD before completion/merge. No Kilo discovery availability gate, substitute, live financial/model probe, deployment, release, main promotion or cross-repository mutation is authorized. No additional owner continuation is needed merely for this approved deterministic work; genuinely new unresolved authority/acceptance decisions remain owner-controlled.Goal
Product owner: Scarcity Router for source/call facts and supported enforcement; Kernel aggregates task path. G12/G07/G10/G05. Source: Creatidy architecture v1.0 (2026-10-04), sections 1-5, 7-13, 14-18 via #173. Establish truthful economics/access constraints and implement evidenced missing per-call/source enforcement without pretending to guarantee end-to-end task cost.
Why and Evidence
At develop
8d9d4b04bcb23fe19ff702b6209fbcb1537cdf1b,routing_core.SpendingLimitis a micro-USD/Mtoken rate ceiling;_spend_limit_codesgates configured metered prices, not request total.AdministratorConstraints/ClientAuthorization.allowed_entitlementscan hard-exclude PAYG; zero price cap is not a no-PAYG rule. Confirmed quota pools and resource freshness exist. Recommendation capacity is one snapshot per provider, not proof of complete independently attributed multi-account state. SourceConfig pins subscription entitlement; native Codex verifies ChatGPT auth, ZCode does not prove physical model/billing, and native helper/retry calls may be opaque. D-058 refuses binding output caps unsupported by channels. Fact: rate/request/accepted-result budgets differ; no numeric new budgets supplied by owner.Scope
Evidence inventory for accounts/sources/shared pools/reset windows/public offers vs private capacity/access modes, provider overflow behavior, hidden retry/helper/subagent calls, per-request/token/output/wall limits and local reservations. Determine guaranteed vs configured/reported/estimated/unknown for each actual source and implement only supported missing restrictions/facts after contract decision. Kernel owns solver/review/remediation/owner-attention totals, not Router task scheduling. No quota-to-token conversion, provider reservation or overflow/reset redemption invented.
Acceptance Criteria
Dependencies, Reuse, Priority and Authority
First-priority guarantee clarification/contract prerequisite; detailed enforcement follows #179 identity/access proof and #175 requirements; Kernel aggregation feeds #177 local outcome analysis. No-PAYG cannot wait for a later ranking optimization. Reuse allowed_entitlements, ResourceCost/QuotaPool, current eligibility, UsageAccounting, effective limits and coordinator reservations; do not add a second economics/scoring engine. External reuse needs exact revision/files/license/attribution, semantic/security/negative tests, dependencies/maintenance and separate service terms before adoption.
Refs #173, #86/#87, #136/D-058, D-042. Future provider/inference/billing/overflow tests require separate tightly scoped authority; registration permits none. Owner must approve unsupported-guarantee handling/real spending constraints, not agent-invented money/quota/time limits. The explicit decision above supplies the approved deterministic handling, not new live or numerical authority.
Full-task budget consumer is now Kernel #56, covering money/quota/token/time/attention across failures/helpers/review, not Kernel #48's lifetime-only result. Kernel #58 supplies explicit local exports for Router #177. MI #12 and MI #15 supply public offer units/conditions only; they cannot prove private entitlement/balance or billing mode. Router produces supported call/access/pool/hidden-retry facts here; Kernel aggregates/enforces the authorized task envelope. Producer guarantees -> whole-path consumer -> local evidence. All counterparts OPEN; no numeric spending or inference authority added.
STOP_AND_ASK — Unsupported Financial Guarantee Boundary
Selected under SAME invocation
2026-10-06T16:00:17Zafter #175/PR200 verified integration/closure and a fresh complete 15-issue queue. Exact exclusions applied first; #179/#175 are delivered, #174 retains its explicit OPEN real-harness gate. #184's own source/call contract research has no invented Kernel56-before-producer prerequisite. No #184 branch, PR, implementation or review has been created (count0).Read-only actual source confirms
routing_core.py:1370–1401gates configured metered prices as rates and exempts configured nonmetered entitlements;1404–1428filters authorized configured classes.capacity-model.md:24–36, architecture/security and this issue distinguish these facts from observed billing, hidden/helper multiplicity, overflow and total spend. Kernel56 requires honest supported Root facts and explicit owner policy for unsupported whole-path enforcement. No live/billing probe or numerical budget is authorized.Exact owner decision: Is a mandatory no-PAYG promise a positively evidenced zero-paid/overflow/helper guarantee for the admitted call, or an explicitly narrower configured-source/access-class restriction with actual billing/multiplicity remaining UNKNOWN? AC1 allows bounded guarantee OR source rejection; this issue's final permission and roadmap require owner approval of unsupported hard-cost handling before implementation. The existing no-PAYG authorization direction does not settle this promise/evidence threshold or resulting compatibility behavior.
Recommended: an opt-in strict verified hard-guarantee mode rejects unknown/mixed/automatic-overflow/opaque-helper sources for that guarantee, while ordinary legacy/default configured-class grants remain unchanged and accurately labeled; no hard financial promise is attached to them.
Alternative: explicitly accept the bounded authorized-source/class exclusion, with unverified actual billing/helper costs reported UNKNOWN and total-spend guarantees refused. This accepts a narrower promise, not zero financial risk.
Existing class filters, zero rate caps, source/auth/usage facts, and fail-closed/bounded-fact designs were considered. They cannot independently prove provider behavior or choose financial acceptance. Applying an attestation rule to existing grants could withdraw proven native functionality without an approved migration; advertising class-only control as absolute zero-paid would weaken the claim. Unauthorized live/spending/access work is not a recovery path. No numeric limits, benefits/reset/overflow authority or new scope is invented.
This is the issue's material financial/public-contract decision, not an unavailable tool, test-running question, new ranking preference or failed security-review path. Entire invocation stops; do not skip #184 or reset counters. Historical #180/#175 five-review receipts remain intact; #199 stays gated and D-063 is preserved. No other repository was modified. Explicit owner continuation can resolve the contract boundary and resume the same ledger.
Deterministic Option1 implementation is committed as
a76c1c6f40488044e4cc3f2f5a13d6aab732a5abon base5c48d51f1eb1f11424a5100eb2ccf20a6cba4581; PR #201 targets develop. Sanitized full gate PASS (2767 tests, 17 skips, both type checks zero diagnostics, full/staged whitespace PASS). Opt-in strict admission/dispatch/continuation and honest local call-fact reception preserve default grants and stronger restrictions. Positive evidence is fixed synthetic real-HTTP reception only; current production adapters remain strict-ineligible, billing/settlement/task totals unknown and separate live/Kernel gates unchanged. Fresh complete ordinary technical/UX review and direct official Codex Daybreak security review remain pending. No merge or closure yet.Integrated the owner-approved deterministic Option1 scope through PR #201.
Base:
5c48d51f1eb1f11424a5100eb2ccf20a6cba4581; approved HEAD:51782a8d61017763d45749de5abf6ff5db7b3547; canonical merge:3834b52f93522fa81af6bd92d5073e04b5d0e050. Both approved parents are verified ancestors; integrated tree exactly equals the approved tree (559fe1be279459f529d4dc83789c7631382fbe7f). Designated checkout is clean canonical develop.Acceptance evidence:
Required sanitized full gate:2774 tests PASS/17 skips, both type checks zero diagnostics, sync and full/staged whitespace PASS. Integrated acceptance on canonical merge:319 PASS. Reviews retained:ordinal1 REQUEST_CHANGES,2 REQUEST_CHANGES,3 fresh whole-PR technical/UX APPROVE (empty findings),4 independent direct official Codex
gpt-daybreak-blue-latestsecurity APPROVE (empty findings), both at exact approved base/HEAD. CLI0.159.3 dispatch verified; physical runtime identity not independently observable. Normal implementation/remediation commitsa76c1c6,a136cd0,51782a8retained.Closing only the owner-approved deterministic source/call enforcement delivery. Production full-path control/live/provider-billing evidence, actual financial settlement, Kernel whole-task aggregation and #199/D-063 replacement/retirement remain separately gated. No live model/financial probe, deployment, release/main or cross-repository mutation occurred.