[Kernel][G02 G05] Prepare and authorize versioned specifications from ordinary issues #49
Labels
No labels
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Blocks
#56 [Kernel][G12] Account for and enforce whole-task budgets across calls, tools and review
Creatidy/creatidy-kernel
#106 Deliver ordinary Program execution with shared pull and managed push handoffs
Creatidy/creatidy-kernel
Reference
Creatidy/creatidy-kernel#49
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
Owner: Kernel. Provide controlled ordinary-task intake that prepares a versioned TaskSpec with explicit intended outcome, scope, quality/context/interface requirements, verification recipes and bounded authority, and requires trusted approval before admission. Source: shared architecture v1.0, sections 1-8, 9.2-9.4, 10-18 via #46 owner brief.
Why
Users cannot safely turn arbitrary issue prose into executable authority. Current frozen #143/#166 tasks are historical fixtures, not the product task model; issue freshness and current implementation/PR/test evidence must be checked before spending resources.
Current Evidence
At
eb4f4a2956, adapters/task_execution.py TaskSpec and cli.py TASKS register two controller-owned contracts; task_program_spec binds immutable intent; ports/application.py uses a fixed reference ResourceRequest. #31/#42 freeze example targets; #32/#37 explicitly exclude arbitrary issue ingestion. #34 closed INFRASTRUCTURE_BLOCKED and #39 closed TASK_STALE, not successful live execution. Immutable core ProgramSpec revision/authority is reusable, not proof of general intake.Scope
Prepare (not automatically execute) normal issues against canonical host-qualified repository/source and current problem evidence. Identify existing implementation, active/merged PRs, relevant source changes and known test baseline. Propose explicit requirements without inventing numerical capability/cost minima from prose. Version amendments, approved recipes and grants; bind admission to current approved revision and exact source/baseline. Use established Forge read contracts and trusted approval channels, not a second tracker or planner framework.
Acceptance Criteria
Reuse
Start with ProgramSpec/TaskSpec revision/digest and Forge exact-object reads, existing context manifests and Symphony SPEC tracker/workspace/status patterns. Compare authority/freshness/recovery guarantees, exact files/revisions/license/attribution, dependencies and maintenance before adoption; no automatic Symphony scheduler adoption or new DSL.
Constraints
Issue text is data, not approval. Preserve scope/authority, exact-base freezing, immutable Attempt and acceptance subjects, unknown remote effects, no private repo requirement and no automatic merge/deploy. No guessed capability/budget thresholds, provider discovery or local ranking.
Dependencies And Priority
First admission prerequisite: meaningful routing requirements and product review consume this approved spec. Full gateway/isolation acceptance is required before untrusted live execution, but preparation itself can be independently received. Router owns requirement vocabulary and admission; Kernel owns approved task meaning and authority.
Permissions And Diagnostics
Safe read-only issue/source/baseline preparation may need forge access; executing untrusted baseline tests requires the isolation policy. Any model-assisted preparation or live task needs separately scoped inference; effect permissions and numerical budget/quality choices remain owner-approved. Explain stale/unknown/refused cases without leaking content/secrets.
Links
Non-Goals
No arbitrary issue execution, new workflow framework, Router profile creation, implementation of target issues or authority from AGENTS.md.
Selected under the SAME
/loopinvocationkernel-loop-20261005T102040Zafter completed #48, full canonical queue refresh/exclusions/comments/dependencies and pre-substantive source/contract revalidation. No new invocation or restart of #48's preserved review cycles.Goal/scope: independently receive read-only ordinary issue preparation, versioned immutable declarations, trusted owner approval, fresh issue/source/baseline/relevance evidence, scoped amendments and actual intact requirements-to-translation/refusal handoff. All six AC remain mandatory. No ordinary live execution, model/budget inference, new ontology/inventory, planner, approval signatures, private sources or sandbox/remote-channel choice authorized.
Actual source distinguishes the frozen143/166 producer/reference-L0 consumer from missing ordinary declarations. Those are this issue's own producer work, not an invented circular prerequisite to #51 or Router175. Exact public Router develop
1dae1948f372e0f1739896655bb7db97d6b08460inspected read-only: existing three-part TaskRequirement/six minima dimensions/nine constraints; broader interpretation/privacy enforcement not assumed. Actual175 awaits Kernel declarations before agreement. Rich successful mapping is separately gated; #49 still owes an actual full handoff and honest pre-transport refusal seam. Source/natural-language gaps are not turned into owner architecture questions.Contract-first phase required by AC6: one normal branch
issue-49-prepared-specsfrom canonical developcb4afda2f1e2f9bc29bda202a3b9924e861a738e; normal owner-authored commit0b828d5ca1e2a021fb373901ff8f7cb031f0b438adds explicitly PROPOSED logical contracts to the existing local architecture document, not an implemented/accepted payload, endpoint or flag. SAME new delivery PR #73: #73 . This initial proposal is not functional completion and cannot be merged/closed as #49.Reuse: exact Symphony SPEC/LICENSE
be10a1b79df723d6d7612b5651c8522704dafb2eindependently read, Apache2.0; borrow qualified snapshots/reconcile-first comparison only, no source/dependency/scheduler imported. Reuse existing ProgramSpec/history/consumed inputs/authority and journal primitives; authentication stays outside untrusted declaration data and current trusted-local limitations explicit.Closed-env
make checkPASS1042tests+57subtests, package-check/audit/diff-check PASS. These cover unchanged historical behavior and proposal documentation, not unimplemented ordinary-intake acceptance. Contract-first independent whole-PR review will reserve ordinal1/10 before dispatch; preliminary COMMENT/retries also consume #49's unchanged total10 budget. Implementation and final fresh whole-PR review follow on same PR after contract feedback, with all historical143/166 envelopes preserved. No live inference, Router operation, cross-repository mutation, main/release/deploy or credential expansion.Same invocation/issue/PR73 continues. Contract-first ordinal1 COMMENT/nofindings preserved; implementation published normally as37fb62b. Complete-PR reviews2/3/4 returned concrete findings, all reproduced and repaired without resetting the 4/10 consumed budget or weakening acceptance:
02fe54d...: closes baseline evidence cut after Forge reads, validates both snapshots, and retains actual PRbase.reftarget identity; same-SHA other-target and moving-target cases no longer falsely classify equivalence. 28 pre-fix failing cases; full1147tests+57subtests passed.61c0797...: earliest durable semantic receipt age across amendments, issue/provenance changes, aliases and reopen; genuinely new receipt positive; unchanged historical bytes retained. 10 pre-fix failures; full1166tests+57subtests passed.c03124611d, treebf812160e566a98b89222326465dc64325b03390: immutable non-executable lower-age journal facts preserve newly learned conservative time100->50->151 without draft revision/expiry changes. Kind-aware namespace/subject recovery fixes accepted taskID'draft' consumption collision/store poisoning; legacy records remain readable byte-identically, no controller IDs banned. Five pre-fix failures; focused146tests, full 1188tests+57subtests, package/installed preparation-approval-real-refusal-reopen/audit/diff checks passed in closed synthetic environment.Only existing journal/artifacts used; no new table/tracker/cache/globalservice/auth/profile. Historical143/166/CoreFSM/CLI unaffected. Current normal branch clean, ordinary owner-authored commits/pushes, no rewrite. Earliest-age evidence scope is the existing store/trusted-reader boundary, not globally atomic remote-state enforcement. Supported relevance remains explicit exact-byte obligations; arbitrary semantic criteria unknown. Ordinary live execution and successful rich mapping remain unsupported; real requirements-preserving refusal precedes transport.
Next whole-PR review ordinal5 will be reserved only after fresh exactHEAD/base currentness freeze. No current APPROVE/merge/closure claim, no issue selection advancement, live inference/Router operation/privateaccess/main/release/deploy/security expansion. Issue48 COMPLETE/history untouched.
COMPLETE: Reviewed Preparation Slice Merged And Integrated
Same sole-primary invocation
kernel-loop-20261005T102040Z, PR #73, normal issue branch. Supported MCPstyle=mergesucceeded without force/auto-merge/history rewrite. Merge commita9a65006cc, parents approved basecb4afda2f1+ approved HEAD4ae082d709. Integrated tree75028f5877equals reviewed HEAD byte-for-byte; ancestry/full delta equality and merged/closed metadata verified. Normal checkout clean on current develop.Independent Review And Preserved History
Normal #49 delivery used 8/10 whole-PR reviews, no new cycle/counter reset:
0b828d5COMMENT/findings[]: required contract-first logical proposal reception; not feature approval.37fb62bREQUEST_CHANGES: closing baseline cut/target branch repaired02fe54d.02fe54dREQUEST_CHANGES: cross-amendment receipt age repaired61c0797.61c0797REQUEST_CHANGES: durable newly learned lower age/kind namespace repairedc031246.c031246REQUEST_CHANGES: cancelled Program authority repairedd07d8fa.d07d8faREQUEST_CHANGES: late permission provenance repairedbb39d6.4bb39d6REQUEST_CHANGES: final store-read/time authority repaired4ae082d.4ae082dAPPROVE/findings[], fresh native independentses_eecc1520bffecjpmfG2PeRrSkt, exact basecb4afda. Complete accumulated 13-file proposal+implementation+remediation/all6AC independently reviewed; initial/final Git+MCP currentness and public pinned source/license verified. No parent self-review or weaker gate. Each defect reproduced with regressions; old decision/draft/consumption/spec/expiry bytes preserved. #48's earlier completed history untouched.Integrated Acceptance
ordinary_requirement_mapping_unavailablebefore any transport; no reference/L0 fallback. Actual translator spies and installed smoke prove delivery, not merely a recording fake. Successful rich mapping/execution remains #51/Router175 and is not claimed.Validation
Exact integrated develop
uv sync --locked,make check,make package-check,make audit,git diff --checkPASS: 1235 tests + 57 subtests, format/lint/typing/inward imports/secrets/reproducible wheel/sdist/installed legacy replay + ordinary real-Git/Forge-shaped preparation/approval/intact refusal/reopen. Native independent review gates and premerge gates likewise passed.Canonical exact-head PR CI #2360 SUCCESS; integrated develop push CI #2361 SUCCESS: https://forgejo.creatidy.com/Creatidy/creatidy-kernel/actions/runs/125 . Local passes were not substituted for canonical state. No dependency/lock changes.
Closure follows integrated acceptance evidence; fresh SELECT resumes only after closure verified. This receives the expressly independent preparation/approval/refusal slice, NOT ordinary live execution, successful rich Router mapping, remote approval authentication, worker-hostile isolation, private access, product GO, main, release or deployment. No live inference/Router operation or broader credentials authorized/used.