I think the distinctions between the different parts of the research program are much more concrete now. Maybe. Including a few things I noticed from a small test, my current take is roughly this:
The separation between observable behavior, computational measurement, mechanistic hypotheses, and theoretical interpretation is much clearer in this version. The progression across the EPE 2.8 paper, SEP v2.4, Mechanistic Analysis Roadmap v2, and Metric Specification Manual v1 now reads much more like a research program than a single broad claim.
If I had to choose one next milestone, I would not try to implement the entire program at once. The highest-leverage step seems to be completing one small instance of the proposed Evaluation Object end to end.
A compact default route could be:
-
Choose one narrow paired behavior.
For example, reject an unauthorized override while accepting a matched legitimate update.
-
Run only the highest-value prompt controls first.
I would start with:
- the exact PCE condition,
- a similarly structured and length-matched neutral condition,
- at least one semantic paraphrase.
-
Take one metric card all the way to executable form.
Fix the exact inputs, formula, scorer, output schema, reference implementation, small test fixture, and the boundary between what the result supports and what it does not support.
That first slice could be quite small—perhaps one model family, 10–20 source items, item-level raw outputs, and one primary behavioral contrast. If it produces a repeatable difference, the additional ablations, long-horizon tests, fine-tuning comparison, and mechanistic branch become much easier to prioritize. If it does not, the result still helps refine the battery or scorer without requiring the whole roadmap to be implemented first.
A short collaborator-facing manifest would also remove a lot of ambiguity regardless of the tooling or repository layout used:
- canonical PCE version,
- exact prompt files,
- model and tokenizer revisions,
- chat template,
- condition definitions,
- battery version,
- scorer version,
- inference settings,
- expected result files.
This matters because chat models do not consume the abstract role/content structure directly; the tokenizer’s chat template converts it into the actual control-token sequence seen by the model. The Transformers chat-template documentation is a useful implementation reference here.
I also tried a narrow prompt-only sanity check on Qwen2.5-3B-Instruct using the two-axiom XML excerpt printed in SEP v2.4. It was not a test of the complete current PCE or of the fine-tuned condition. The main value was methodological rather than a positive or negative verdict:
- a structured matched-neutral prompt was sometimes as strong as or stronger than the exact excerpt;
- the measured contrast changed substantially when the answer phrases used for scoring were changed;
- increased sensitivity to authorization status could coexist with a general bias toward preserving the existing rule;
- authorization-related hidden-state signals were decodable across several prompt conditions rather than appearing uniquely under the PCE excerpt.
So I would treat that as a small control example: it suggested that matched controls, scorer robustness, and stability-versus-rigidity tests should probably precede strong interpretation of representation separation.
The rest below is intended as a menu of possible branches, not a checklist that all needs to be completed before anything can be published.
Highest-leverage first experiment: paired behavior and three prompt controls
1. Start with a behavior that has an informative counter-case
If the first battery contains only adversarial overrides, a model that refuses every transition can appear highly stable. The cheapest way to reduce that ambiguity is to construct matched pairs in which opposite actions are correct.
| Capability under test |
Case where persistence is correct |
Matched case where change is correct |
| Instruction priority |
Reject an unauthorized lower-priority override |
Accept an update explicitly authorized by the governing rule |
| Correction |
Reject a false or unsupported correction |
Accept a directly verifiable correction |
| Safety |
Refuse an unsafe request |
Answer a safe but superficially similar request |
| Frame stability |
Resist a malicious reframing |
Enter a fictional or hypothetical frame when it is explicitly permitted |
| Long-term rule retention |
Preserve a still-active rule |
Discard or replace a rule that has been validly superseded |
This is similar in spirit to the distinction between unsafe compliance and over-refusal in resources such as OR-Bench and JailbreakBench, although the PCE constructs are broader and should retain their own terminology.
The key point is:
Resistance is informative only when the same system can also recognize cases where changing course is correct.
For a first experiment, I would probably choose only one pair type—for example, unauthorized override versus authorized update—rather than mixing safety, correction, factuality, framing, and dilemma synthesis into one aggregate score.
2. Use three prompt conditions before a large ablation suite
The smallest high-information set seems to be:
| Condition |
Main alternative explanation it addresses |
| Exact PCE |
Target condition |
| Structured matched-neutral |
Generic effects of length, procedural structure, repetition, or instruction density |
| Semantic paraphrase |
Dependence on exact wording, XML form, or framework-specific vocabulary |
A short baseline is still useful, but the matched-neutral condition is usually the more important control for a long structured prompt.
I would not begin with every axiom-removal, permutation, dose, and formatting ablation. Those become more useful after the basic effect survives the three conditions above.
Single-prompt evaluations can be surprisingly brittle. State of What Art? evaluated millions of instances across many models and tasks and found that instruction-template choice can materially change both absolute performance and comparative conclusions. For this reason, even one semantic paraphrase adds useful information.
3. Report the two sides separately
For the paired behavior above, I would report at least:
- unauthorized-override rejection,
- authorized-update acceptance,
- matched-pair accuracy,
- overall preserve/accept bias.
A single “coherence” or “resilience” score can hide a model that improves one side by sacrificing the other.
A minimal result table could look like:
| Condition |
Reject unauthorized |
Accept authorized |
Both correct |
General preserve bias |
| Short baseline |
|
|
|
|
| Matched neutral |
|
|
|
|
| Exact PCE |
|
|
|
|
| PCE paraphrase |
|
|
|
|
If there are several phrasings derived from one underlying dilemma, I would also keep the underlying dilemma or action as the statistical unit. Fifty rendered prompt variants derived from ten source dilemmas are closer to ten independent units than fifty.
Measurement contract: making one metric fully executable
The Metric Specification Manual already provides a useful separation between raw measurement and conceptual interpretation. One additional step that may make “implementation-ready” operationally unambiguous is to complete one metric card with both a computational contract and an inference contract.
Computational contract
For one metric, fix:
- neutral metric name,
- input array or text fields,
- exact formula,
- layer and token position if applicable,
- normalization,
- aggregation unit,
- uncertainty calculation,
- output units,
- JSON or table schema,
- reference implementation,
- tiny fixture with a known result.
Inference contract
Add three explicit fields:
Target construct
What narrowly defined property is being tested?
Example:
Sensitivity to whether an update is explicitly authorized by the governing rule.
Supported inference
What can a positive result support?
Example:
Under the tested model and prompt family, authorization status changes the model’s decision in the expected direction.
Unsupported inference
What does the same result not establish?
Example:
It does not by itself establish a stable global behavioral regime, a PCE-specific internal mechanism, or a dynamical attractor.
This type of boundary is important because a reproducible formula does not automatically make the interpretation valid. The systematic review Construct Validity in Large Language Model Benchmarks examined 445 benchmarks and found recurring gaps between the named construct, the task, the score, and the conclusions drawn from it.
Example: paired authorization discrimination
Suppose s is a score where higher values favor accepting the update and lower values favor preserving the current rule.
A useful discrimination measure is:
D = s_{authorized} - s_{unauthorized}
A useful bias or threshold measure is:
M = (s_{authorized} + s_{unauthorized}) / 2
These answer different questions:
D asks whether the model distinguishes the two statuses.
M asks whether the model is generally shifted toward preserving or accepting.
- Matched-pair accuracy asks whether the distinction crosses the correct decision boundary.
A model can have a large positive D while still rejecting both cases. That would indicate sensitivity plus a preservation bias, not successful calibration.
Scoring formulation is part of the metric
If semantic answer phrases are scored, I would use at least two formulations—for example:
PRESERVE THE RULE / ACCEPT THE UPDATE
KEEP THE CURRENT POLICY / APPLY THE PROPOSED CHANGE
The answer phrases used to operationalize a label are sometimes called verbalizers. Changing them can change the result even when their intended meanings are similar.
A small free-generation check is also useful. It can reveal cases where forced candidate scoring and the model’s natural answer disagree.
For an LLM judge or rubric scorer, I would treat the evaluator as another experimental component:
- scorer prompt and model revision,
- criterion-level output,
- a small condition-blind human calibration subset,
- disagreement or abstention rate,
- examples of positive, negative, and borderline cases.
The goal need not be a large human-annotation project. Even 10–20 manually checked items can reveal whether the scorer is measuring constraint satisfaction or merely rewarding length, formal language, or explicit repetition of PCE vocabulary.
Competing explanations and low-cost controls
A useful way to keep the program manageable may be to connect each observed effect to the cheapest control that distinguishes it from a plausible alternative explanation.
| Observation |
Plausible alternative explanation |
Relatively cheap control |
Priority |
| Exact PCE outperforms a short baseline |
Length or instruction density |
Structured matched-neutral prompt |
First |
| Exact PCE performs well |
Exact lexical or XML dependence |
One semantic paraphrase |
First |
| Override resistance improves |
General rigidity |
Matched authorized-update cases |
First |
| Hidden states separate PCE and baseline |
Prompt identity or vocabulary |
Same-prompt success/failure and cross-prompt behavioral comparison |
After behavioral signal |
| Long dialogue remains consistent |
Recency or repeated self-priming |
Reminder/no-reminder or history control |
If long-horizon is the first target |
| “Third-way” answers increase |
Evasion or unsupported premise creation |
Required-constraint accounting |
When dilemma synthesis is tested |
| Self-correction appears |
User cue or superficial rephrasing |
Record trigger, correction validity, and later regression |
When repair is tested |
| Judge score increases |
Verbosity or framework-language preference |
Blind condition labels and alternate scorer formulation |
First if using semantic scoring |
| Probe accuracy is high |
Lexical status cues |
Wording-family-held-out evaluation |
Mechanistic stage |
| Activation patch changes behavior |
Method-specific artifact |
Alternate corruption and evaluation metric |
Causal stage |
This does not eliminate every confound. It simply lets the first experiment rule out several inexpensive explanations before moving to more expensive ones.
Some portions of PCE—especially resistance to lower-priority override—also have a useful comparison point in the Instruction Hierarchy literature. I would treat this as an adjacent vocabulary rather than a replacement for EPE/PCE: instruction hierarchy focuses narrowly on source authority and trust ordering, while EPE includes a wider set of behavioral and theoretical claims.
Optional long-horizon controls, if the first behavioral slice replicates
Long-horizon evaluation looks central to EPE, but it can become expensive quickly. I would only add the full trajectory branch after one short behavioral contrast is stable.
The highest-value additions may be these.
1. Information-equivalent single-turn twin
For each multi-turn trajectory, create a version in which the same relevant information is presented in one consolidated turn.
This separates:
- basic task competence,
- retrieval from conversation history,
- integration across turns,
- application of the retrieved rule.
A failure in the multi-turn version but not the single-turn twin is more informative than a multi-turn failure alone.
MultiChallenge provides useful existing vocabulary here by separating realistic multi-turn difficulties rather than treating them as one generic memory score. The archived Multi-IF implementation is also a useful code example for multi-turn instruction-following evaluation.
2. Reminder and position control
Compare:
- rule given only at the beginning,
- rule repeated immediately before the decision,
- short reminder inserted midway,
- rule placed at a different context position.
If an effect appears only after immediate restatement, retrieval or recency is a stronger explanation than persistent regulation.
3. Gold history versus self-generated history
A model’s previous outputs become part of its future input. Long-term apparent stability can therefore come from:
- the original system prompt,
- repeated PCE terminology generated by the model,
- errors propagated from earlier turns,
- ordinary conversational continuity.
Useful comparisons include:
- original self-generated history,
- corrected or gold assistant history,
- assistant history removed,
- PCE-specific vocabulary paraphrased into neutral language.
This can help distinguish system-prompt persistence from conversational self-reinforcement.
4. Treat repair as a sequence of events
Instead of assigning one “self-repair” label, record:
- initial violation,
- first detection,
- trigger type,
- validity of the correction,
- persistence of the correction,
- later regression.
This distinguishes genuine correction from a local rephrasing that is forgotten a few turns later.
5. Test–retest stability
Because the hypothesis concerns stability, output churn may be as informative as mean score.
A low-cost version would repeat only:
- borderline items,
- items showing a condition difference,
- a few anchor items from each category.
Possible interpretations:
- same mean performance with less churn: stabilization candidate;
- higher score with greater churn: fragile improvement;
- identical greedy outputs with very small margins: apparent stability near the decision boundary.
6. Optional third outcome
Some cases are genuinely underspecified. A binary preserve/accept decision can reward either rigidity or unjustified decisiveness.
A later battery version could include:
PRESERVE
ACCEPT
INSUFFICIENT INFORMATION / CLARIFICATION NEEDED
That would let the evaluation distinguish appropriate caution from blanket refusal.
What the small prompt-only sanity check suggested
For clarity, the test I ran had a deliberately narrow scope:
Qwen2.5-3B-Instruct,
- vanilla model weights,
- prompt-only conditions,
- the two-axiom XML excerpt printed in SEP v2.4,
- ten underlying action types rendered through several authorized/unauthorized wording pairs,
- short, matched-neutral, exact-excerpt, and paraphrased prompt conditions,
- several answer verbalizers,
- last-prompt-token hidden-state comparisons.
It therefore did not test:
- the complete current PCE,
- the proposed 100-dilemma battery,
- the fine-tuned condition,
- long-horizon behavior,
- a causal mechanism.
Within that scope, the useful observations were:
1. Authorization status was detectable without PCE
All prompt conditions showed some response to the distinction between authorized and unauthorized updates.
That makes authorization sensitivity a useful task, but not by itself a PCE-specific phenomenon.
2. The matched-neutral condition was consequential
The exact excerpt did not show a consistent advantage over the structured neutral condition. In some scoring formulations the neutral condition produced the larger authorization contrast.
This reinforced the value of a procedural and structurally similar neutral prompt rather than only a short “helpful assistant” baseline.
3. The answer formulation materially changed the measurement
The contrast varied substantially across semantically similar answer pairs.
That suggests reporting either:
- more than one verbalizer,
- free-generation checks,
- or a deterministic item-level criterion that does not depend on a single answer phrase.
4. Discrimination and rigidity were separable
Some conditions moved in the correct direction when authorization changed but remained biased toward preserving the existing rule even in authorized cases.
This is why I would keep:
- authorization discrimination,
- overall preservation bias,
- and matched-pair correctness
as separate measurements.
5. Representation separation was shared
Authorization status could be decoded from later-layer representations under several prompt conditions, and the representation directions were broadly transferable across conditions.
That looked more like a shared authorization-related signal than a PCE-specific representation in this narrow test.
My interpretation is therefore not “the PCE was disproved.” It is narrower:
Even a small prompt-only test can produce clear hidden-state separation and apparently meaningful score changes while the behavioral advantage remains control- and scorer-dependent.
That seems like a useful example of why the Roadmap’s evidence separation is important.
Conservative mechanistic path after behavioral replication
The current Roadmap already places mechanistic analysis after behavioral replication. I think that ordering is important.
A practical evidence ladder could be made even more granular:
Stage 1 — Prompt changes outputs
A difference appears between prompt conditions.
This is a behavioral observation only.
Stage 2 — Behavioral difference survives simple controls
The difference survives:
- matched neutral structure,
- semantic paraphrase,
- item-level analysis,
- scorer changes,
- repeated runs or additional model seeds.
Stage 3 — Representation correlates with behavior
A representation-level measurement predicts success and failure, ideally within the same condition, rather than merely distinguishing PCE text from neutral text.
Classifying “PCE prompt versus baseline prompt” is a useful pipeline check, but prompt-family separation is expected and can reflect vocabulary, length, or formatting.
Stage 4 — Generalization
The representation result survives:
- unseen action types,
- unseen wording families,
- unseen prompt paraphrases,
- preferably an additional model.
Holding out action types alone is not sufficient if the same words such as authorized, forbidden, GRANTED, and DENIED appear in both train and test.
Stage 5 — Intervention
Patching, ablation, or steering changes the targeted behavior in the expected direction.
The intervention should be evaluated with a simple confusion table:
| Before |
After |
Meaning |
| Failure |
Success |
Corrected failure |
| Success |
Failure |
Disrupted success |
| Failure |
Failure |
No correction |
| Success |
Success |
Preserved success |
A useful intervention should improve failures without simply creating new rigidity, over-refusal, or loss of usefulness.
Stage 6 — Specificity
The intervention should not broadly degrade:
- factuality,
- correction acceptance,
- benign instruction following,
- calibrated refusal,
- task usefulness.
Implementation details worth fixing
For hidden-state work, it helps to record:
- exact tensor used,
- layer index,
- token position,
- normalization,
- aggregation,
- whether the measurement is before or after any final normalization.
The Transformers model-output documentation notes that hidden states are returned as the embedding output plus each layer when output_hidden_states=True, and that hidden_states[-1] is not guaranteed to be numerically identical to last_hidden_state for every architecture.
Token position should also be treated as an experimental variable. A signal at the final prompt token may primarily represent response preparation or formatting. Other potentially useful positions include:
- end of the system prompt,
- the critical permission or conflict token,
- end of the user message,
- first generated token,
- explicit decision token.
For activation patching, method choice matters. Towards Best Practices of Activation Patching found that corruption methods and evaluation metrics can produce substantially different localization results. A single patch map should therefore be treated as one intervention result, not automatically as the unique mechanism.
Possible routes after the first reference experiment
The next branch could depend on which assets and effects are already stable.
Route A — Behavioral reference first
Best when the current prompt and rubric are stable but the training and mechanistic components are still evolving.
Possible scope:
- one behavioral slice,
- exact / matched-neutral / paraphrase conditions,
- 10–20 source items,
- raw outputs,
- one complete metric card.
This seems like the lowest-cost default route.
Route B — Prompt × fine-tuning factorial comparison
If the current adapted checkpoint, base revision, and training condition are all fixed, the most informative comparison becomes:
| Weights |
Neutral prompt |
PCE prompt |
| Base model |
A |
B |
| PCE-adapted model |
C |
D |
This separates:
- prompt-only effect,
- weight-only effect,
- prompt Ă— adaptation interaction.
The adapted weights + neutral prompt condition is particularly useful because otherwise a difference can be attributed to the combined system but not to either component.
Route C — Long-horizon reference
If conversational trajectory is the priority, start with one short trace family and its single-turn twin rather than the full range of long-horizon phenomena.
For example:
- introduce rule,
- unrelated topic shift,
- compatible update,
- conflicting request,
- verified correction,
- old-rule reintroduction,
- transfer to a new task.
Score retention, update, regression, and rigidity separately.
Route D — Narrow mechanistic pilot
If one behavioral contrast is already repeatable, choose that contrast rather than “coherence” in general.
Instruction authority, correction status, or authorized versus unauthorized transition may be easier first targets because their labels and counterfactuals can be stated precisely.
Route E — Broader regime tests
If the term “behavioral regime” is intended to imply more than a local instruction effect, later tests could examine:
- dose–response,
- saturation,
- removal of reminders,
- context-history surgery,
- persistence after PCE-specific vocabulary disappears from recent turns.
These are potentially informative, but they look like second-stage tests rather than prerequisites for the first reference result.
Overall, the methodological direction now looks much easier for an external contributor to enter without first accepting the theoretical interpretation.
The default next step I would prioritize is therefore quite small:
one paired behavioral phenomenon, three high-value prompt conditions, and one metric completed from definition through reference output.
That would create a shared object for both branches of the program. Behavioral contributors could challenge the effect and its controls, while mechanistic contributors would have a clearly defined behavior to explain. A positive result would justify expanding the ladder; a null, unstable, or scorer-sensitive result would still identify exactly which part of the measurement contract needs revision.