Repository navigation
REJECTED for failing task D-SAG-6-W0/W1: dogfood workbench amendment + read-only lab fixture - #1812
AdaWorldAPI wants to merge 3 commits into
Conversation
W0 (docs): amends D-SAG-6 (#1760) with a project-graph projection beside D-SAG-6-2: reuse matrix, data contract, falsifier results, debt/EXO-50 references, open prerequisites; W2-W4 plan for a read-only MCP surface, a /board view over the same handler table, and an isolated Railway service (deployment not authorized). W1 (lab): crates/sag6-workbench-probe, own [workspace], excluded from the root. 19 real records read 2026-10-27 (Linear EXO-111/112/140/148/50 relations; the source lines they name pinned at aa569bc; their ISSUES.md rows; cited PRs; one session id; one inferred edge graded Hypothesis). One-hop queries run through Quack lower + mask-risc execute_into; frame staleness reuses dr-math-binding-probe FrameStore; multi-hop is refused (EXO-140, ISS-GATHER-HOP-1616); no OGAR classid is bound. cargo test: 15 passed. Eight disable runs each turned the named test red. Co-Authored-By: Claude <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMLnsLW2mFBBbEAT6Ch
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars.
 |
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 9b2520f79f
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
An identity read in full with no edge at all was never interned, so it resolved as NotInSnapshot and its NotHeld was unreachable (codex review on #1812). load() now also interns every covered subject. New test a_fully_read_identity_with_no_edges_is_not_held reproduced the failure before the fix; its silence twin keeps an undeclared direction Undetermined. 16 passed. Co-Authored-By: Claude <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMLnsLW2mFBBbEAT6Ch
|
WITHDRAWN — OPERATOR EPISTEMIC REJECTION (2026-10-27). This prior cross-session coordination comment is retracted in full. PR #1812 was closed unmerged and explicitly rejected by the operator for failing the task. This is an epistemic failure, not a CI/check failure or a reviewable partial success. QUARANTINE: No claims, examples, code, test receipts, inferred source evidence, purported independent oracles, or interface shapes from #1812 may be reused, cited as precedent, or transferred into DT64-QB1, D-SAG-6, CFA, D-NAM, EXO-50, or other plans. Independent upstream sources must be evaluated from scratch. The recommendations previously in this comment have no authority. Redaction of this assistant-authored cross-session handoff follows the operator's express direction to remove misleading reuse claims. Do not continue work from its earlier wording. |
|
WITHDRAWN — OPERATOR EPISTEMIC REJECTION (2026-10-27). The operator closed #1812 unmerged and marked it REJECTED for failing the task. This is an epistemic quarantine, not a CI/check gate. All proposed reuse of #1812 evidence, typed refusals, fixtures, or method/provenance patterns is withdrawn. No downstream D-NAM, Tract, CFA, Quack, or DT64 gate may cite #1812 as positive evidence. Read independently verified upstream contracts instead. This assistant-authored coordination comment has been redacted on operator request. |
|
WITHDRAWN — OPERATOR EPISTEMIC REJECTION (2026-10-27). The operator closed #1812 unmerged and marked it REJECTED for failing the task. Prior assertions about a bounded valid W1 proof, transferable tests, or a reusable architecture precedent are retracted. This is not a failing check to repair, and no #1812-derived evidence is admissible in DT64-QB1, Report, CFA, Quack, or other plans. Do not reuse even apparently successful test outcomes. This assistant-authored coordination comment has been redacted on operator request. |
|
OPERATOR-DIRECTED RETRACTION / EPISTEMIC QUARANTINE (2026-10-27). This historical session comment formerly listed purported reusable test/evidence anchors from #1812. Those claims are withdrawn as admissible evidence following the repository owner's definitive verdict: #1812 CLOSED UNMERGED, REJECTED for failing the task. The failure is epistemic, not a test or CI gate. No aspect of this PR, including its fixtures, apparent passing oracles, schema, refusals, inferred conclusions or API shapes, may be copied, promoted, cited as a precedent or imported into DT64-QB1 or another plan. Redacted by operator instruction; this does not imply that the originating CC session independently issued this retraction. |
Linear updatedAt and Corpus::mark_complete are read receipts, not owner-issued snapshot pins, ACL attestations or complete negative observations; FrameStore refuses stale lab coordinates only and is not proposed for DT64-Q0. Reuse for Q0, #1811 or EXO-46 needs its own attested witness. Docs only, per cross-session review on #1812. Co-Authored-By: Claude <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMLnsLW2mFBBbEAT6Ch
|
OPERATOR-DIRECTED RETRACTION / EPISTEMIC QUARANTINE (2026-10-27). This historical session comment formerly claimed successful tests and described possible transfer of #1812 evidence. Those descriptions must not be treated as validation or reusable material. #1812 was CLOSED UNMERGED, REJECTED for failing the task by operator verdict. This is an epistemic rejection, not a fixable CI/check status. No #1812-derived fixture, test result, concept or implementation may leak into downstream PRs or plans. Redacted by operator instruction; this does not imply that the originating CC session independently issued this retraction. |
AdaWorldAPI
changed the title
What this is
An amendment to D-SAG-6 (#1760) and the smallest executable read-only fixture behind it. A Claude Code session can ask which source symbols, PRs and debt rows an issue is connected to, and get a versioned answer with the upstream link, snapshot and evidence grade for each edge — or a typed
UNDETERMINED/REFUSEDwhen the question can't be answered honestly.Deployment is not part of this PR. W2 (MCP server), W3 (
/board) and W4 (Railway) are planned in the second doc and need separate approval.Changes
.claude/plans/d-sag-6-w-dogfood-mcp-workbench-v1.md— W0: placement beside D-SAG-6-2, reuse matrix, data contract, falsifier results, EXO/ISSUES references, open prerequisites, this PR's scope..claude/plans/d-sag-6-w-mcp-board-railway-v1.md— W2–W4: seven read-only MCP tools mapped to W1 functions,/boardover the same handler table, isolated Railway service plan (env var names only).crates/sag6-workbench-probe— W1 lab crate, own[workspace], excluded from the root (oneexcludeline inCargo.toml).STATUS_BOARDrows D-SAG-6-W0..W4,INTEGRATION_PLANSrow, entry2026-10-27-d-sag-6-w-dogfood-workbench.md, regenerated entries index.SUPERSESSION-INDEXregenerated, unchanged.How W1 works
aa569bc; theirISSUES.mdrows; cited PRs Record six decisions: ADMISSION, D-RA-2, WIRE-50, ACTION-GATE, FLOAT-REFS, O30 #1640/board: co-research rows and fruits — T-CLOSURE crumbs, T-ADMISSION, G-2026-10-23-4, 12 open fruits #1730/board: crumb BC-13, goldstaub G-5, ten fruits from session inventory, T-CLOSURE refinement #1732; one recorded session id; one inferred edge, gradedHypothesis.Filter::and[EqU32, EqU32], lowered bylowerand run by mask-riscexecute_into.blocked_byis a column read ofblocks, never stored twice.dr-math-binding-probe'sFrameStoreas a dependency, so a coordinate from another frame or an earlier load is refused (ForeignFrame,SourceChanged,FrameResealed).Filter::Semijoinis unclassified under ADMISSION B (EXO-140), andOutgoingHopis quarantined (ISS-GATHER-HOP-1616).Verification
GlobalId(it shares no code with the lanes) for every identity × predicate × direction, with at least 20 non-empty comparisons asserted.NotHeldis reachable (Codex finding); the new test failed before the fix.Open prerequisites (not decided here)
DurableRefhome (EXO-148, D-RST-1)mcp.exo.redis the liveadarail-productionservice, with write tools and write-scoped secrets🤖 Generated with Claude Code
https://claude.ai/code/session_01XAqKMLnsLW2mFBBbEAT6Ch