D1-03a: Repair the three live dogfood preflight blockers (#35) #36
No reviewers
Labels
No labels
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
No milestone
No project
No assignees
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
Creatidy/creatidy-kernel!36
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "fix/35-dogfood-preflight-blockers"
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?
Closes #35. Parent: #30. Unblocks: #34 (D1-03 preflight must be re-run from the beginning). Depends on merged D1-02 (#32 / PR #33).
The three D1-03 blockers (all confirmed present on BASE_SHA
72bee742ec0b34d2bb16ace95b03794b17ccc1d3before editing)scarcity_router_143_task()requiredassertEqual(bystander.cancels, []); the actual Scarcity Router source at the verified live base59538e949d2b3488668c9649cf3728dbe87b38bbcontainsself.assertEqual([], bystander.cancels)(tests/test_e2e_execution.py:908, re-verified read-only during this issue). Every faithful candidate would be deterministically rejected after the model turn.CodexStdioconstruction omittedschema_version.connection_factory()passedschema_methods=CODEX_METHODSwithoutschema_version;CodexStdio.__init__requiresschema_version == expected_versionwhenever the method inventory is non-empty, so the live factory always raisedValueErrorbefore starting app-server._dogfood()calledrun_dogfood()withoutsupported_efforts, leavingfrozenset(); the real Router selectionzai/glm-5.3/lowwould correctly fail closed withUnsupportedExecutionbefore dispatch.Fixes (smallest coherent change; no mechanism changes)
required_tokensnow("assertTrue(worker.cancels", "assertEqual([], bystander.cancels)"). No AST infrastructure, no generic assertion matching, no gate weakening; the test fixture was aligned to the real source form so the baseline reflects source reality.schema_version=codex_version, so the pinned env version is both expected binary version and schema version.CodexStdiovalidation untouched;schema_methodsuntouched.DogfoodLiveComponentsgainedsupported_efforts: frozenset[tuple[str, str, str]], derived incompose_dogfood_livefrom the single already-parsedCREATIDY_DOGFOOD_RUNTIME_BINDINGAllocation(one parsing, no second env var):zai/glm-5.3/lowproduces exactlyfrozenset({("zai", "glm-5.3", "low")}); a binding withreasoning_effort is Noneproducesfrozenset()(null stays null, never coerced to"none"). The CLI passes it torun_dogfood(..., supported_efforts=components.supported_efforts), which already feedsCodexRuntime. Authority direction preserved: controller binding → constrains Router allocation and supplies Runtime effort evidence; Router output never creates capability.CodexRuntime._inputsuntouched.Regression proof (deterministic; no inference, no real Codex, no SR modification)
New/updated tests in
tests/test_dogfood.py+tests/test_cli.py:bystander-assertion-removedandownership-weakened(weakened toassertEqual(bystander.cancels, bystander.cancels)) both reject; existing skip, assertion-removal, large-sleep, scenario-rename regressions remain; the frozen token pair is pinned in the registry test.test_live_connection_factory_pins_schema_version_to_codex_versionconstructs the transport through the actualcompose_dogfood_live(...).connection_factory()seam against a fake native-shaped app-server binary (version probe + initialize/initialized only — it cannot servethread/start/turn/start); version/schema disagreement fails closed (composition-level binary mismatch + existingtest_codex_stdio.pyconstruction-level pin).incompatible); effort-free binding + Router-returned effort fails closed with no trusted support;Nonevs literal"none"distinct; unsupported explicit effort remainsUnsupportedExecutionwith zero dispatches; recovery and Router provenance do not expand trusted support (durable mode record anddecision_provenanceare never authority).D1-02 invariants preserved
Exact base freezing, untouched source checkout, controller-owned candidates and allowed-path gate, trusted-task verification argv, tracked-mutation and non-ignored-untracked rejection, ignored-cache neutrality, structural gate over the exact candidate tree, exact-head AGit delivery, no automatic merge/deploy — all covered by the unchanged regression suite. Credential isolation unchanged:
codex_environment()closed set, secrets excluded (existing test unchanged and green). The known DEFER (compose_dogfood_livederiving the Codex child env fromos.environ) remains deferred and untouched.Validation
tests/test_dogfood.py,tests/test_cli.py,tests/test_codex_stdio.py,tests/test_scarcity_router.py,tests/test_codex_runtime.py— all green.make check: ruff format/check, basedpyright (0 errors), lint-imports, 805 tests passed, secrets scan clean,git diff --checkclean.make package-check: wheel/sdist/isolated install + CLI replay passed.make auditnot triggered (no dependency/tooling changes).72bee742ec0b34d2bb16ace95b03794b17ccc1d3(canonicaldevelop, in sync with origin)./home/adrian/workspace/scarcity-routerread-only throughout and clean at exit (HEAD59538e9…, porcelain empty).No model inference, no
thread/start/turn/start, no Scarcity Router branch/PR, no merge, no deploy.Delivery ledger (initial).
developfix/35-dogfood-preflight-blockersbe3d7b97a5da20fec622e1b35253564826fbfcdc72bee742ec0b34d2bb16ace95b03794b17ccc1d3(canonicaldevelop, origin-synced)make checkgreen (805 tests, basedpyright 0 errors, secrets clean,git diff --checkclean);make package-checkgreen;make auditnot triggered (no dependency/tooling changes)be3d7b9(pending at ledger time)max_remediation_cycles = 10,remediation_used = 0Reviewer focus for this review boundary (from the owner's #35 dispatch instruction):
assertEqual([], bystander.cancels));supported_effortsoriginates solely from the controller-owned Runtime configuration (CREATIDY_DOGFOOD_RUNTIME_BINDING, parsed once);Nonenever becomes"none"and vice versa);thread/start/turn/startin tests).Frozen review boundary: HEAD
be3d7b97a5da20fec622e1b35253564826fbfcdc, base72bee742ec0b34d2bb16ace95b03794b17ccc1d3, issue #35.Independent Whole-PR Review — PR #36 (D1-03a, closes #35)
Frozen head:
be3d7b97a5da20fec622e1b35253564826fbfcdc(verified) · Base:72bee742ec0b34d2bb16ace95b03794b17ccc1d3· Linked issue: #35Reviewer dispatch: Scarcity Router profile
repository_review+ tightening L4/{5,5,5}/tool+reasoning; selectedzai/glm-5.3/max(catalog v4,selected_balanced, degraded=false, profile_policy 8); dispatched GLM-5.3 max, fresh read-only context (manual fresh-review procedure per owner instruction after Agent Manager session creation remained stuck; routed identity preserved).Platform note: the formal
APPROVEDreview state was rejected by Forgejo with "approve your own pull is not allowed" because the configured reviewer identity (kilo) is also the PR author. This COMMENT preserves the substantive independent verdict;platform_approval_recorded = false.Verdict summary
59538e9…tests/test_e2e_execution.py:908(self.assertEqual([], bystander.cancels)); gate mechanism, forbidden patterns, verification argv unchanged; no weakening, no AST generalization.schema_version=codex_versionat the live factory;CodexStdiovalidation andCODEX_METHODSuntouched; disagreement fails closed at composition and construction level.supported_effortsoriginates solely from the single parsedCREATIDY_DOGFOOD_RUNTIME_BINDINGAllocation; CLI →run_dogfood→CodexRuntimepass-through; no second env var, no registry, no model-name inference.decision_provenanceproven non-authoritative across recovery.None→frozenset(); literal"none"→ explicit distinct tuple; never coerced.--version/initialize.Independently verified
be3d7b9(Forgejo MCP).make check(805 tests) /make package-checkclaims corroborated by CI and target composition.DEFER (non-blocking)
connection_factorybuilds the Codex child env fromos.environrather than theenvironparameter — not worsened by #35; correctly deferred per scope guard.DEFERRED_TO_REVIEWsemantic residue, unchanged.Overall Recommendation
APPROVE — zero MERGE_BLOCKER findings for the frozen head.
Delivery ledger — review cycle 1.
be3d7b97a5da20fec622e1b35253564826fbfcdc(frozen; unchanged)repository_review+ monotone tightening L4, minima {reasoning:5, coding:5, tool_use:5},requires_tool_use=true,requires_reasoning_mode=true(authority/security criticality)zai / glm-5.3 / max(Scarcity Router catalog v4 2026-09-24, profile_policy 8, resource_policy 1,selected_balanced, degraded=false)zai-coding-plan, fresh read-only reviewer context;routing_result=PRIMARY(no fallback; matches the owner's reviewer preference, no OpenAI use)am-1790635458806-bqiokeaccepted with verified resolutionReview PR #36: GLM-5.3 (zai-coding-plan) · max, but session creation remained stuck after bounded waiting; per the owner's standing instruction the identical manual fresh-review procedure that reviewed PR #33 was used (freshgeneralreviewer context, taskses_f15cb28dcffewTvCV5K6w0aoMn), preserving the exact routed identitybe3d7b9substantive_verdict: APPROVE (from### Overall Recommendation; zero MERGE_BLOCKER findings; all seven owner focus points PASS)forgejo_review_state: COMMENT;platform_approval_recorded: false — formal APPROVED rejected by Forgejo ("approve your own pull is not allowed") because the configured reviewer identity (kilo) is also the PR author; shared-identity limitation documented in the review bodyconnection_factoryos.environchild-env seam — unchanged, not worsened; (2) pre-existing substring-token commented-assertion residue — explicit DEFERRED_TO_REVIEWbe3d7b97a5da20fec622e1b35253564826fbfcdcremediation_used: 0 / 10be3d7b9(58s)Terminal condition: READY_FOR_OWNER_MERGE — exact-HEAD substantive APPROVE with zero unresolved blocking findings,
make check(805 tests) andmake package-checkgreen, exact-head CI green, issue #35 acceptance criteria satisfied. PR remains unmerged; owner merge authority reserved. After merge: do NOT execute Scarcity Router #143; return to #34 and repeat the complete D1-03 preflight against fresh Kernel and Scarcity Routerdevelop.