G05: Map rich Kernel task and harness requirements into monotone Router eligibility #175
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
#174 G04: Prove the executable recommendation, admission and exact-pin contract with Kernel
Creatidy/scarcity-router
Reference
Creatidy/scarcity-router#175
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?
Goal
Product owner: Scarcity Router, Kernel requirement producer; G05, dependencies G04/G10/G12. Source: Creatidy shared architecture v1.0 (2026-10-04), sections 1-5, 7-13, 14-18 supplied in #173. Establish and implement the missing, justified requirement interpretation without a second quality scale or duplicated model inventory.
Why and Evidence
Router develop
8d9d4b04bcb23fe19ff702b6209fbcb1537cdf1b:selection_types.TaskRequirementstores task_level/capability_minima/hard_constraints;HardConstraintshas nine typed members.selector.tighten_requirementandrouting_corebind profile/structural compatibility monotonically;tests/test_routing_core.py::AuthorizationTests.test_request_tightens_but_never_loosens_the_profile_requirementcovers existing behavior.routing_coreexplicitly uses L0 and empty minima for unprofiled execution. This is honest existing generic-client behavior, not proof that a rich Kernel quality specification reached execution. Protocol/harness/version, data/spending authority and accepted-result criteria are not all expressible in the recommendation v1 requirement document. Exact needed mappings are To prove, not a license to add arbitrary fields.Scope
Inventory real Kernel TaskSpec/WorkUnit requirement and harness declarations against current public recommendation, routing/client/admission contracts. Produce a field/semantic coverage table with supported, mapped, unknown and unrepresentable cases. Decide which requirement belongs in capability minima, hard model properties, channel compatibility, authorization or caller-owned acceptance. Implement only justified missing Router interpretation through an explicit additive or versioned contract decision; preserve the current capability rubric. Pin Kernel producer fixtures and consumer adapter versions.
Acceptance Criteria
Dependencies, Reuse, Priority and Authority
First-priority prerequisite to G04 end-to-end correctness: savings cannot compensate for missing quality specification. Kernel owns production of requirements/acceptance, Router interpretation; Kernel counterpart not found at registration. Known foundation: Creatidy/creatidy-kernel#11 and #37. Coordinate with G10 actual protocol/identity and G12 supported source/request limits, then integrate executable recommendation.
Reuse
TaskRequirement,TaskProfileCatalog,tighten_requirement,route_request, effective limits (#136/D-058) and existing negative/parity tests. Any external pool-restriction pattern (e.g. OpenRouter) is a candidate only: inspect exact source/revision/license, semantics, negative/security tests, dependency/maintenance before adoption. No product inference, secrets, workspace operations or Kernel implementation here. Future inference/real harness tests require separate owner authority. Refs #173, #87, #136, #146.Cross-product closeout reread found requirement producer/consumer tasks: Creatidy/creatidy-kernel#49 prepares/authorizes versioned ordinary-task specs; Creatidy/creatidy-kernel#51 propagates them to Router without L0 fallback. Public evidence/calibration ownership is Creatidy/model-intelligence#14, not another quality scale. These refine the registration-time missing links; agree actual supported mapping here, then Kernel transmits it, then #174/Kernel #52 executable reception. Unknown privacy/protocol/access constraints must not be silently dropped; unprofiled generic-client compatibility remains distinct.
SAME /loop invocation2026-10-05T12:38:32Z selected #175 after fresh exhaustive18-issue queue/exact-label exclusions. Bounded read-only actual producer inspection identifies an external evidence/prerequisite gap, not a test/tool failure or request for invented minima.
Pinned Kernel develop72aedfd51e357f52e90c58f1302f60bc0a92f0dd: adapters/task_execution.py345-364 TaskSpec contains frozen task/source/instruction/path/verification/structural/attempt/PR fields, not rich quality/interface/locality/spending/harness requirements; core/domain.py340-393/430-535 WorkUnit/ProgramSpec supply acceptance/policy/provenance/count-budget/authority, not calibrated minima. core/resources.py1-25 ResourceRequest has workunitID, opaque capability identifiers and contextint only. ports/application.py92-113 emits reference+128; adapters/scarcity_router.py412-421 accepts referenceONLY and sendsL0/empty minima/tools. This literal context/reference compatibility is not actual task-quality transmission. Separate runtime version checks do not transmit harness constraints.
Current directly linked Kernel49/51 and MI14 remain OPEN; contract/ADR source distinguishes rich targets from approved wire semantics. Safe inspection succeeded; no connector/access/credential blocker. Current Router requirement/profile/tightening can consume supplied minima but cannot derive absent approved meaning from instructions, L-level, model name, acceptance strings or count budgets. Inventing Kernel declarations/ontology, synthetic future producer evidence or implementing other repositories is outside this loop authority. No rich actual-transmission claim or acceptance revision made.
BLOCKED on unavailable approved rich producer/semantic evidence needed for AC1/5/6. Kernel approved declarations and shared mapping/transmission evidence must exist before this delivery can honestly satisfy those criteria; source/contract inspection is evidence, not implementation. No #175 branch/PR/commit or review created (count0), clean Router develop662facdc75fea06c500a538face0d0477e230959. Loop stops rather than skipping selected work. #178 and deterministic#179 are integrated/closed; OPEN real-harness gate174/181 and180 authority remain preserved. No cross-repo mutation or live inference occurred.
Owner-authorized shared workflow correction is integrated in Router PR196 and counterpart Kernel72/MI30/Console24. SAME Router invocation2026-10-05T12:38:32Z resumes automatically. This corrects the earlier whole-loop BLOCKED disposition without changing #175 acceptance or implementing it.
Fresh #175 record remains open/unchanged; inspected Kernel producer paths at72aedfd are byte-unchanged in integrated9dfa209, so the missing approved rich declarations/transmission evidence remains a factual gate. #175 has no implementation branch/PR/commit/substantive edits or review (count0).
Under current post-selection eligibility rule: missingproducer beforedelivery => temporarilyineligible for currentcycle => NONTERMINAL return to full fresh SELECT. No invented semantics, closure, labels, scope revision, live effects or Kernel/MI feature mutation. Prior178/179 deliveries/ownerdecisions/counters preserved. The loop continues other eligible work; current gating is not whole-loop BLOCKED.
Selected under SAME invocation
2026-10-06T16:00:17Zafter owner-authorized #180/#199 decomposition, actual #180 closure and fresh complete 16-issue queue/exact-label exclusions/current comments/dependencies. This preserves all earlier #175 absent-producer evidence and count0; it does not restart a STOP_REVISE or reset #180's five reviews.The prerequisite evidence changed: Kernel #49 / PR #73 is integrated at
a9a65006cc8cc5b5e4468746a18ff51daf742e6b. Exact source inspection confirms approved Declaration v1 text arrays and full RequirementsHandoff reaching the actual ScarcityRouterAllocator refusal seam unchanged. This is approved meaning, not numeric minima/profile/model/harness semantics or successful mapping. Kernel #51 explicitly follows Router #175 mapping agreement; requiring #51 completion first would invert the ownership/order.ONE normal issue branch from current canonical Router base
8a0ae13d4b4de96abc1d127c855803ee5e5af5a1; contract-first proposal commit5e75fd4fbcbb8c970c71254fde3f4044c52f3249, PR #200: BioMedical-IT/scarcity-router#200. Two existing documents add a PROPOSED D-075 and source-grounded coverage/interpretation boundary. Explicit versioned markers would carry existing complete TaskRequirement/RequestBinding shapes inside already accepted string fields, binding the supplied choice to approved bytes; no inference from prose/price/model/L-level. Unrepresentable quality/interface/context/privacy remains a bound pre-selection refusal; caller acceptance and authority are not grants. No accepted syntax or feature implementation is claimed.Locked sanitized full gate PASS2738 tests/17 skips/599.644s, both basedpyright checks zero diagnostics, whitespace PASS; exact recorder patch matches unchanged committed source. This proves proposal/unchanged-runtime safety, not missing rich transmission. Independent contract feedback comes before implementation; every whole-PR dispatch counts toward the same #175 ceiling. All six AC remain mandatory and this proposal cannot be merged/closed as feature completion. No Kernel/MI mutation, private credential inspection, model-call probe, live execution or deployment.
Contract-first whole-PR review ordinal 1 completed at proposal HEAD
5e75fd4fbcbb8c970c71254fde3f4044c52f3249: COMMENT, no findings, not feature/merge approval. Independent exact producer/source inspection supports a bounded local interpreter, while preserving unsupported actual textual meanings and the Kernel #51-after-agreement ordering. The count1 is retained.Implementation proceeds on the same PR #200 through the existing resolver and authoritative competitive/exact-admission pipeline, not synthetic per-request profiles or a second selector. Explicit TaskRequirement data carries unchanged per-dimension minima; profile markers must include the approved expanded floor and cached mappings check version AND actual content; marker aliases cannot replace trusted client aliases. Resolved hard demands also gate actual channel/context/output capability, with unsupported vision and insufficient caller output ceiling refused. Raw meaning/credentials are not diagnostic output; original declaration digest and ownership/coverage remain explicit. The pinned Kernel allocator still refuses before transport; no claim that #51 is implemented.
This requirement/privacy/authorization-fidelity implementation is explicitly classified security_critical for delivery review. After final full validation and ordinary independent approval at stable exact HEAD/base, obtain the additional independent
gpt-daybreak-blue-latestgate through direct Codex, no Kilo discovery/dispatch/substitute. Every whole-PR dispatch continues the same #175 counter; no review budget reset.Current focused existing/new core/gateway/frozen REST+MCP tests: 291 PASS, zero type diagnostics, whitespace PASS. Final full gate and a fresh complete implementation review remain pending; no merge/closure is claimed.
Completed Router Requirement Interpretation And Core Conformance
SAME invocation
2026-10-06T16:00:17Z. PR #200 merged through canonical Forgejo into develop: BioMedical-IT/scarcity-router#200.Approved base
8a0ae13d4b4de96abc1d127c855803ee5e5af5a1, HEAD51e321fcaa0e5643f3975105bc01c6eba1288177; merge5c48d51f1eb1f11424a5100eb2ccf20a6cba4581has exactly those parents and identical approved/integrated tree97b31d0206b3a76a62b01fcfca8f8dc6a77815b8. Four normal commits preserved (5e75fd4,3df925c,ecd9569,51e321f), no rewrite/force/branch deletion/main/release/deployment/external mutation.All six Router-owned criteria received: exact pinned producer/field-semantic coverage/provenance; explicit independent existing minima/profile floors without inference or ordinary L0/reference fallback; monotone fixed-context constraints/refusals; actual model AND channel AND current authorization/pin intersection in competitive and exact admission; null/false/unknown/version/missing/malformed/stale/binding/old-generic parity and safe diagnostics; full gates and independent review of actual Kernel meaning/refusal versus local Root receiver/core conformance. Required output floors are not execution caps, and exact admission neither reranks nor substitutes. Unrepresentable privacy/vision/text remains unknown/unsupported, not discarded. No second inventory/ranker/ontology/allowlist or new Kernel schema/wire endpoint.
Final normal locked sanitized full gate:2755 PASS/17skip597.419s, both basedpyright checks zero diagnostics, full/staged whitespace PASS; exact tested patch/source verified. Ordinary whole-PR #4 APPROVE/no findings; mandatory independent
gpt-daybreak-blue-latest#5 through direct official Codex APPROVE/no findings at the same exact base/HEAD. Historical #1COMMENT/#2–3REQUEST_CHANGES retained; no counter reset. Canonical receipt: PR comment15614.Integrated current clean develop acceptance:293 requirement/core/selector/effective-limits/frozen REST+MCP tests PASS47.987s. Merge ancestry/tree equality and local/fetched develop exactness verified. Earlier isolated unchanged fake-worker interruption and diagnostic recovery remain in evidence; no fabricated cause or weaker test gate.
Scope boundary: pinned Kernel #49 source
a9a65006(source equal accepted4ae082d) still preserves full current approved meaning at a real pre-transport refusal. Tagged examples are Root-owned interpretation in its actual accepted producer shape, not current successful Kernel #51 transmission. This delivery establishes the supported interpretation/agreement #51 consumes next; it does NOT implement Kernel, claim live task readiness or satisfy #174/Kernel #52 real-harness reception. It follows canonical comment14334 ordering, not a circular #51-before-175 gate. Those distinct tasks and OPEN identity/acceptance markers remain open.Closing #175 for its implemented/validated/reviewed/integrated Router responsibility, with actual producer transmission limits preserved. #180 history/five reviews and owner-created gated #199/D-063 compatibility are unchanged; legacy retirement and full migration remain unaccepted. Continue same loop with a fresh complete canonical queue.
kilo referenced this issue2026-10-10 02:07:29 +00:00
kilo referenced this issue2026-10-24 17:11:39 +00:00