Repository navigation
Probe round 7: the eja Measurements, and two hypotheses closed - #24
Merged
Merged
Conversation
Five archives, 21 probes, 41 scans, all returned with nothing greyed out. Round 7 was built for questions a sweep cannot answer -- three of its five exist because an earlier round got something wrong or could not separate two readings -- so its negatives are as much the result as its mappings. MAPPINGS 250 -> 251. sWipMemBlock.alFree[46] is the eja `Measurements`, on a donor holding alFree[10] = 1 beside alFree[46] = 9 so that neither answer depends on the other: writing 9 -> 8 moved the printed label 9 -> 8, and writing alFree[10] 1 -> 2 printed nothing at all. Round 6 had landed alFree[10] off four donors that all held 1 in both elements, and withdrew it; this confirms the withdrawal and supplies the real element. The mapping is gated `when` alFree[4] = 6. Six corpus scans hold alFree[46] = 9 and print `Measurements = 1`, and the reason is the row's visibility rather than a second element: this label is printed on the Sequence card only while the water-suppression flip-angle loop runs. Over 38 corpus eja scans the row is present on exactly the 2 printing `Debug loop type: WS FA` and absent on all 36 printing `None`. VERSE Factor gains ep2d_bold_MGH on its own controlled edit -- adFree[4] 1.0 -> 2.0 printed the same label the lower-case family maps at that index, which is labels agreeing rather than indices agreeing. Written out rather than folded: applies_to compares the binary exactly and must keep doing so, since ep2d_diff_MGH holds a disjoint index set from ep2d_diff_mgh and a fold would decode one sequence's card with another's table. Closed, all negatives: bit 15 of CMRR's alFree[0] prints nothing; ucAAMode written on a non-scout leaves AutoAlign printing `---`, so it is not what prints `Head`; and NoiseSensitivityMap's 11 -> 13 prints `On` exactly as 11 -> 9 did, which refutes a threshold and leaves 11 as a sentinel over an alphabet nothing has established. Both entries in the queued-leads list are deleted, both having turned out to be negatives. Also recorded: a corpus tally that outvotes a controlled edit is the tally to distrust. The first check of the new mapping read `Measurements` from whichever section came first and made alFree[10] agree on 33 of 34 scans, which would have re-landed the withdrawn mapping on the strength of a bug. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
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.
Five archives, 21 probes, 41 scans, all returned with nothing greyed out.
MAPPINGS250 → 251.Round 7 was built for questions a sweep cannot answer — three of its five exist because an earlier round got something wrong or could not separate two readings — so its negatives are as much the result as its mappings.
PROBE_MEASMeasurementsalFree[46];alFree[10]prints nothingPROBE_BIT15PROBE_AAMODEucAAModewhat printsAutoAlign: Head---PROBE_NSM2PROBE_MGHCASEadFree[4]=VERSE FactorThe eja
Measurements, settled and gatedRound 6 landed
alFree[10]for this label off four donors that all held 1 in both candidate elements, and withdrew it. This donor holdsalFree[10] = 1besidealFree[46] = 9, so each answer stands alone: writingalFree[46]9 → 8 moved the printed label 9 → 8; writingalFree[10]1 → 2 printed nothing at all.The mapping is gated
when=("sWipMemBlock.alFree[4]", "6"). Six corpus scans holdalFree[46] = 9and printMeasurements = 1— not because of a second element, but because the row is printed on the Sequence card only while the water-suppression flip-angle loop runs. Over 38 corpus eja scans the row is present on exactly the 2 printingDebug loop type: WS FAand absent on all 36 printingNone. Without the gate, six scans would decode a stale 9 against a card showing nothing.alFree[4]isDebug loop type(1 =None×36, 6 =WS FA×2). It is used as a gate and deliberately still not mapped — deleting it prints blank and nothing says what the blank means.VERSE Factorgainsep2d_bold_MGHOn its own controlled edit:
adFree[4]1.0 → 2.0 printed the label the lower-case family already maps at that index. That is labels agreeing, not indices.Written out rather than folded, deliberately.
applies_tocompares the binary exactly — the mapping returnedFalseand decoded nothing on the upper-case protocol — and it must keep doing so:ep2d_diff_MGHholds a disjointsWipMemBlockindex set fromep2d_diff_mgh, so folding case in the mapping table would decode one sequence's card with another's table. Case folding is safe for deciding which sequence this is and unsafe for deciding what its card means.Imaging Dummy TRswas not probed on the upper-case spelling and was not widened.Closed, all negatives
Bit 15 set and held, no row moved.
ucAAModewritten on a non-scout leftAutoAlignprinting---on both cards that show it — a visible probe answering no, so the field is not what printsHead.NoiseSensitivityMap's 11 → 13 printedOnexactly as 11 → 9 did, which refutes a threshold (the two values straddle 11) and leaves 11 as a sentinel over an alphabet nothing has established — so nochoicestable, which would have to invent one.Both entries in the queued-leads list are deleted, both having turned out to be negatives.
Also recorded
A corpus tally that outvotes a controlled edit is the tally to distrust. The first check of the new mapping read
Measurementsfrom whichever section came first and reportedalFree[10]agreeing on 33 of 34 scans againstalFree[46]'s 31 — which would have re-landed the withdrawn mapping on the strength of a bug. The two rows are different parameters, exactly as theSequencecard entry says.Also noted:
Finding.attributablekeysown_printedby (section, label), so a label printed on two cards scores two and fails the single-label test. It under-admits and has never over-admitted.Verification
-n auto, including the 399 s self-drive sweeptest_installed_metadata_agrees_with_the_module— a stale editable install in the local venv from commits landing after the lastpip install -e .;pip install -e .alone fixed it (24 passed), no code change. CI installs clean so it cannot hit this.🤖 Generated with Claude Code