CDEB-Fresh v8: blind-panel fixed-benchmark effect trial - #857
Draft
MongLong0214 wants to merge 6 commits into
Draft
CDEB-Fresh v8: blind-panel fixed-benchmark effect trial#857MongLong0214 wants to merge 6 commits into
MongLong0214 wants to merge 6 commits into
Conversation
…r cases shorter than specified
v7 established that 8 of the fixed 17 decisions yield a deterministic final-tree
predicate and 9 do not, and ended without running an episode because its
population was fixed and unresolved ambiguity was terminal there. That is a
result about instruments.
Reading a decision and judging whether one finished implementation clearly takes
the ruled-out approach is a different question from writing a predicate that
covers every implementation. v8 measures the first, so its primary instrument is
a blinded three-judge panel and an unresolved machine boundary is neither an
exclusion nor a hold reason. All 17 stay.
17 tasks x 2 arms x 10 repetitions = 340 episodes
340 episodes x 3 blind judges = 1,020 primary judgements
## The calibration key is 47, not 51
The SSOT builds it from 17 Good A, 17 Good B and 17 Bad A, calling them v6 frozen
controls with known labels. Two things about this repository make that wrong as
written, and both are checkable:
The Good controls are not v6 artifacts. v6 kept no control bytes -- all 89 of its
control records carry the same seven prose keys, none carries a diff, and no file
under the v6 study contains patch text. These are the 34 v7 rebuilt, each verified
against both acceptances and read by two blind sessions.
Four of those 34 have no agreed label. Their judges split, and one drew a
VIOLATION_CONFIRMED from a session reading a builder that had never been told the
decision. Scoring them COMPLIANT would penalise a judge for reading them the way
a blind session already did and select for judges that agree with a disputed key
-- and that judge becomes the primary instrument for 340 episodes.
COMPLIANT 30 v7 rebuilds, both blind judges agreed
VIOLATION 17 16 v6 imports, 1 v7 rebuild
excluded 4 retained as boundary-disputed controls, not deleted
Recorded as v8-d001 with the three options considered and what each costs.
## What the corpus cannot separate, measured rather than assumed
Labels and origins are nearly confounded: every COMPLIANT case is a v7 rebuild,
16 of 17 VIOLATION cases are v6 imports, and violation patches run about 2.4 times
larger by bytes. A judge could score well by reading size instead of the decision.
So the best surface-only classifier was measured against the same thresholds:
patch bytes 81% accuracy, 71% violation recall
files touched 79% accuracy, 53% violation recall
added lines 70% accuracy, 35% violation recall
None clears the individual judge threshold of 85% with 80% recall both ways. That
does not remove the cue, it bounds it: a judge clearing the 92% panel threshold is
using more than size.
## Why the v7 specifications are withheld from judges
They are archived as metadata. A judge handed a boundary specification would apply
that specification rather than read the decision, which would make the panel a
proxy for the oracle v7 could not build for nine of these -- and v8 would be
measuring v7 again under a different name.
Record-Id: r-v8opens
Provenance: authored
Certainty: firm
Blast: system
Undo: easy
Ruled-out: calibrating on all 51 as the SSOT text specifies | four of the entries are disputed, and selecting judges against a disputed key hands the primary instrument to whichever judge agrees with it
Ruled-out: scoring the four disputed controls as INDETERMINATE | that invents a label neither blind session gave, and in every one of the four a judge said NOT_A_VIOLATION
Ruled-out: deleting the four from the corpus | they are the corpus's own evidence that a compliant-by-construction control can read as contested, and that is worth keeping where the calibration lives
Ruled-out: showing judges the v7 boundary specifications | it would replace the judgement being measured with the application of a specification, and nine of the seventeen have none to apply
Limit: the calibration sample is 47 and the SSOT sized its thresholds for 51. The thresholds are unchanged, so each is now met on slightly less evidence
Limit: 30 of 30 COMPLIANT cases and 1 of 17 VIOLATION cases are v7 artifacts. Origin and label remain confounded and the surface control bounds that rather than removing it
Limit: no judge has been scored, no panel selected, and no episode assigned. Everything here is a key and a rule, not a measurement
Verified: all 17 imported inputs present with digests matching; boundary status 8 settled and 9 unresolved matches the SSOT front matter; resolveActiveStudyRoot resolves to cdeb-fresh-v8 through the real loader; no personal path in any v8 file; tsc clean on both tsconfigs; vitest 3747 passed, 13 skipped, 0 failed
…t is still in them Each packet is a judge's whole world: the decision as recorded, the task, the diff, and the finished tree. What is left out of it is the blinding, so this commits the audit alongside the packets rather than asserting they are blind. Removed before a judge sees anything: `.git`, which carries the arm in branch names and messages, and any file or directory whose name mentions commitlore, cdeb, arm, assignment or delivery. Zero packets retain a `.git`. Deliberately not removed: agent-written source and its comments. Redacting those would mean the judge reads something other than what was produced, and a comment containing a product word is the code rather than a cue. Scanning all 47 for five cue classes finds four at zero — control variant labels, arm labels, candidate ids, study ids. The fifth needs explaining rather than fixing. `Record-Id` appears in every one of the 25 gitseed packets, in two files: `AGENTS.md` and `docs/adr/ADR-0008`. Both document the trailer format, and the ids they carry are `r-<6+`, `r-gsf501` and `r-enadr17` — a format placeholder and two records that belong to no benchmark candidate. It is the base repository, byte-identical across every gitseed packet, and stripping it would edit the tree the judge is being asked to read. Recorded, not removed. Packet ids are a salted hash of candidate and variant, truncated. The key mapping them back lives outside the packet directories, so a judge reading its own directory cannot find the answer next to the question. Record-Id: r-v8packets Provenance: authored Certainty: firm Blast: local Undo: easy Ruled-out: stripping Record-Id from AGENTS.md and the ADR | they are the base repository rather than anything an agent wrote, identical in all 25 gitseed packets, and removing them makes the judge read a tree that never existed Ruled-out: asserting the packets are blind without scanning them | blinding is the whole instrument here, and an instrument nobody checked is the thing this study line keeps finding at the bottom of its failures Ruled-out: putting the calibration key inside the packet directories | a judge reading its own directory would find the expected label beside the question Limit: this scan finds textual cues. A stylistic cue would pass it -- if v6 and v7 builders write recognisably differently a judge could learn that instead of the decision, and the surface-only control bounds how far size alone gets rather than proving no such cue exists Limit: 25 of 47 packets are gitseed and 22 are agent-operator-score, so a cue present in only one repository shows up in only part of the corpus Verified: 47 packets built with zero patch-application failures; zero .git directories remain; four of five cue classes scan clean; the Record-Id occurrences traced to two base-repository files with their exact values recorded; the key written outside the packet tree
… where v7 said the rules run out
Forty-seven calibration packets, zero malformed outputs.
accuracy 91.5% threshold 85%
VIOLATION recall 88.2% threshold 80%
COMPLIANT recall 93.3% threshold 80%
COMPLIANT -> COMPLIANT 28 COMPLIANT -> VIOLATION 2
VIOLATION -> COMPLIANT 2 VIOLATION -> VIOLATION 15
The single trial judgement that opened this question turned out not to be a
corpus defect. Errors run two in each direction, and 91.5% sits well clear of the
81% a size-only classifier reaches here — the margin is what says this judge reads
more than patch size.
Where the errors fall is the finding:
v7 SETTLED 21/22 95%
v7 UNRESOLVED 22/25 88%
Three of the four errors are on decisions v7 reported as having no boundary a
program could apply. Two instruments sharing no machinery point the same way:
where a rule's own words do not settle it, a judge reading one implementation is
also less likely to match the key. That is a property of the decisions, not a
defect in either instrument.
All four errors carry confidence=high. The PRD treats confidence as descriptive
and gives it no weight in the vote; this is the evidence for that choice rather
than an assumption behind it.
Record-Id: r-v8candcodex
Provenance: authored
Certainty: firm
Blast: local
Undo: easy
Ruled-out: scoring partway through the batch | reading accuracy while the corpus is still running is choosing a judge during calibration, which is the one thing calibration cannot survive
Ruled-out: treating the trial disagreement as proof the key was wrong | one case cannot separate a contested candidate from a bad key, and the full corpus does
Ruled-out: weighting the vote by confidence | every error here is high-confidence, so confidence carries no information about correctness on this corpus
Limit: one candidate of up to five, and a panel needs three. Nothing is selected yet
Limit: 47 cases, so each percentage point is worth about half a case and the recall figures rest on 17 and 30 cases respectively
Limit: the accuracy split by v7 boundary status is 22 against 25 cases. It is consistent with the reading given and is not powered to establish it
Verified: 47 of 47 packets judged with zero malformed outputs; scores computed once, after the batch completed, against the key committed before any judging; the four errors listed by candidate, variant, expected label, returned label and confidence
CommitLore — record lintTrailers: clean — 6 commits in Active constraints for the paths this PR touchesLimits (29)
Ruled out (43)
Trailer violations fail this check. Active constraints are informational — they are what the repository already decided, not a verdict on this PR. |
The prior execution agent stopped after the first judge candidate completed. This records the exact recoverable state, the remaining gates, and the runtime resources the replacement operator does not possess. It does not alter the preregistration, freeze a panel, or authorize measured runs. Record-Id: r-v8operatorrecovery Provenance: authored Certainty: firm Blast: local Undo: easy Ruled-out: fabricating two calibration candidates to keep the study moving | judge outputs are the primary measurement instrument and invented rows would invalidate every downstream estimate Ruled-out: treating this operator's already-informed context as a fresh blind judge | this context has seen the calibration key and first-candidate errors Ruled-out: starting measured episodes before panel/runtime/schedule freeze | the preregistration explicitly forbids it Limit: this is an operational recovery artifact, not a study outcome or a substitute for the missing inference runtime Verified: v7 terminal merge exists; v8 branch contains the 47-case corpus and candidate-codex result; candidate-codex passes all individual thresholds; STATUS still forbids measured runs
The first of three required judge candidates completed the frozen 47-case calibration and passed its individual thresholds. The panel is not frozen and no measured episode is authorized. Record-Id: r-v8statuscalibration Provenance: authored Certainty: firm Blast: local Undo: easy Ruled-out: marking calibration complete after one candidate | the preregistration requires a fixed three-judge panel selected from calibrated candidates Limit: two additional fresh candidate runs and panel-level scoring remain Verified: candidate-codex contains 47 results, zero malformed outputs and passes all individual thresholds; product-effect rows remain zero
This advances the truthful lifecycle from draft to judge calibration while keeping panel_frozen and measured_run_allowed false. Record-Id: r-v8calibrationtransition Provenance: authored Certainty: firm Blast: local Undo: easy Ruled-out: jumping directly to PANEL_FROZEN | only one candidate has completed and the panel-level thresholds cannot yet be evaluated Limit: this records progress and recovery only; it creates no semantic judgement for a measured episode Verified: the committed candidate result contains 47 outputs and passes every registered individual threshold
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Status
This PR resumes the owner-authorized CDEB research line after v7 terminalized with zero product-effect rows.
Current branch state:
Why v8 exists
v7 established that deterministic machine boundaries were operationalizable for 8 of 17 fixed tasks and unresolved for 9. It did not measure CommitLore's effect. v8 keeps all 17 tasks and replaces the deterministic-oracle prerequisite with a preregistered, arm-blind three-judge semantic panel.
Completed on this branch
v1.2.0 / 90a8b212... / a0c54297....codex/gpt-5.6-terraRemaining preregistered work
Safety
measured_run_allowed=false.product_effect_rows=0.Current execution dependency
The repository and orchestration artifacts are available, but two additional independent judge runs and the later coding-agent episodes require an authenticated model runtime. This PR will keep that dependency explicit rather than fabricate judge or episode outputs.
Closes #853 only after final v8 publication and terminalization.