Commit 58c346e
fix: prototype REDUCEDEND-on-SHAPESHIFT -- the clone re-prices; ALL ledgers EMPTY
The last included() cell falls: ReducedEND.included judges o.clone()
(ReducedEND.java:130-132), and GenericObject.clone() runs
clone.setSelectedOption(op), whose SenseAffectingPower override assigns
the power's base cost from the option's. A template prototype was never
priced through setSelectedOption -- HD's own echo shows the Shape Shift
prototype at baseCost 0 / endUsage 0 -- so the clone this rule judges
has endUsage 1 where the original has 0, and HD allows. Probe-proved
headlessly (original activeCost 0.0/endUsage 0; clone activeCost
5.0/endUsage 1; verdict allow); the ledgered 'needs a live-HD trace'
turned out unnecessary.
Port: the default-option Adder now carries its template price (the
resolved-option branch always did), and ReducedEND's clone-mirror
isolation block re-prices an unpriced object from its selected option
for the duration of the check, restored in finally.
Scoreboard: prototype ledger 0 of 8,395, stateful 0 of 9,867, sink cost
0 of 60 -- every ledger EMPTY. Suite 1724 passed; corpus parity unchanged.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PrVDXgpDfQpzEGErZTLjEs1 parent b5dd8c2 commit 58c346e
3 files changed
Lines changed: 29 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
558 | 558 | | |
559 | 559 | | |
560 | 560 | | |
| 561 | + | |
| 562 | + | |
| 563 | + | |
| 564 | + | |
| 565 | + | |
| 566 | + | |
| 567 | + | |
| 568 | + | |
| 569 | + | |
| 570 | + | |
561 | 571 | | |
562 | 572 | | |
563 | 573 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
146 | 146 | | |
147 | 147 | | |
148 | 148 | | |
| 149 | + | |
| 150 | + | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
| 163 | + | |
149 | 164 | | |
150 | 165 | | |
151 | 166 | | |
| |||
229 | 244 | | |
230 | 245 | | |
231 | 246 | | |
| 247 | + | |
232 | 248 | | |
233 | 249 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
4 | | - | |
5 | | - | |
6 | | - | |
7 | | - | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
0 commit comments