2 Commits

Include renames

Author	SHA1	Message	Date
adminandClaude Opus 5	8a6acd9fa2	SAFETY-56: the gate cannot tell a dead register from a pack that cannot comply, so stop saying it can ... Text only. No behaviour change - same conjunction, same limits, same MISSING, same 0 W, same NOT READY. `tools/safety56_behaviour_trace.py` says so: 2390 capture reads, a 66-cell swept grid, and six driven controller worlds produce the byte-identical document `6030175e...` on origin/release/1.0 and on this branch, while the sentences differ. THE DEFECT. SAFETY-37's conjunction is satisfied by two disjoint worlds - the register has stopped reporting reality, or the SOURCE cannot comply with the command - and nothing `freshness.py` is handed separates them. Three sentences asserted the first. On the live 2026-09-21 episode it was the second: the pack read 11 % for the whole 850 s hold, every command in that hold was a discharge, and the register answered the first CHARGE command three seconds later. The readiness row was worse still, because it asserted a false fact about a NAMED entity that was present, numeric and updating - so the operator opened Developer Tools, found it working, and had every reason to conclude the diagnostics were broken. THE FIX. Each message states what was OBSERVED and names BOTH explanations. Three wordings, no shared helper: two are a log line about a behaviour, the third is a banner about an entity, and a helper serving both would drop whichever half the other caller does not need. SoC stays STATED, NOT WIRED - part 11b drives the two worlds at 50 % and 11 % and the sentence does not move one byte. The row does not branch on `batt_fresh.stale` either: `stale_note()` already rides `liveness_notes()` a few rows below, so the discriminator is "is that row there?", and part 11d asserts it is present in one world and absent in the other. THE CHECKS. test_freshness.py part 11 builds the pair of worlds with ground truth written down rather than derived from the published stream, asserts they are really two (40 of 40 reads differ) while the published stream is bit-identical, and only then grades the sentences. Eleven mutations, all red: each of the three sentences reverted (3, 2 and 2 named reds), the two explanations transposed at ZERO bytes (1), the second explanation deleted (1), the admission of ambiguity replaced by a ranking (1), all three reverted at once (5), and two aimed at this card's own check - collapsing the world pair (2) and emptying the accusation list, which a positive control against the three sentences as 0.10.1 shipped them catches (1). AND TWO OF THE ELEVEN FOUND DEFECTS IN THE CHECK RATHER THAN IN THE CODE. Transposing `label` and `entity` in the row made it unfindable and the run died on an IndexError - a red with no name and every later check ungraded, FCST-06's shape exactly; `_s56_row()` returns a named absence now, 0 named reds before, 3 after. And the first invariance run compared a tree with itself, because it archived a branch whose edits were not committed yet; the tool now REFUSES to report "behaviour unchanged" unless the sentences halves differ, and both of its refusals are driven. SAFETY-57's part 10h check was the handoff and is inverted rather than deleted: it required the accusation to still be present so that removing it had to be a deliberate act. This is that act. Its escape clause is untouched. Suite: 30/30 in the CI image, checks.yml's exact command, purged tree, :ro. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01BwRLw7eKYj2byVdwB6kbjU	2026-09-23 21:02:40 +02:00
adminandClaude Opus 5	43c144b8d9	SAFETY-57: the stale-reading verdict gets an exit, because its own consequence is what stopped it being tested ... SAFETY-37's freshness gate reports a battery-power register as MISSING when it stops following its own command, and a missing input is "command 0 W and keep commanding" (§11.1 rule 1). The gate's only exit was "an arrival carrying a DIFFERENT number" - and at 0 W nothing is asking the register to be anywhere. The state had no exit reachable from inside it, and the log line promised the opposite in the same sentence that announced the 0 W. REPRODUCED FROM THE WIRE, NOT MODELLED. scenarios/safety57-2026-09-21/ is 3840 verbatim frames off the RS-485 pair, read from the passive sniffer, decoded by tools/decode_bus_capture.py (0 unparsed, 0 bad CRC, 0 unknown shapes; the mode->sign convention is graded off the capture, not trusted). The box was running 0.10.0, so the 0 W in the trace IS the add-on's own claim: 10:51:24.7 0x0518 reaches -3 W. Pack at 11 %, the BMS refuses the discharge, the inverter idles. THE REGISTER IS HEALTHY AND TRUTHFUL. 10:51:29.7 the command reaches +1060 W - 800 W of travel 10:52:00 the conjunction arms. Inverter.batt becomes None 10:52:21.7 the site commands 0 W, on the wire ... 0x0518 does not change value for 850.0 s. The setpoint does not change value for 790.0 s. The house exports 2.4 kW throughout ~11:04 a human restarts the add-on. That is what ends it AND IT HAD BEEN ESCAPING BY LUCK. Replaying the committed 16-day loop capture through the shipped conjunction finds 93 trips whose wait for the BMS keep-alive pulse that cleared them has a median of 143.4 s, a worst case of 21440.1 s, and 17 of 93 at or beyond this episode's 710 s. That distribution belongs to the battery's firmware, not to this code. THE CARD'S OPTION 2 ALREADY HELD AND IS NOT THE BUG. _grade() has required |standing| >= MOVE_W since SAFETY-37. The trip was at +1060 W and the stuck state is at 0 W; they are different moments, and an entry-side rule cannot reach a state entered legitimately and then persisted. Nothing in the conjunction is weakened here. THE RULE, SAFETY-13's SHAPE ONE MODULE OVER - which latches get an exit, not how long the block lasts: the verdict is withdrawn when the obligation that produced it has been gone for RELEASE_S, and the register is then re-graded from scratch. RELEASE_S is BATT_OBLIGED_S, 17.0 s - the obligation window already derived in the file (6.0 plant + 10.0 publish + 1.0 read), taken at the FLOOR of its band for the mirror of MOVE_W's reason. Which half is safe is the opposite of SAFETY-13's: being wrong long is the failure being fixed, being wrong short costs one bounded re-grading window. Below 17 s the release pre-empts the cheaper exit - the register answering by itself - and that is graded behaviourally, not asserted. The whole parked interval is now stale_input_s + RELEASE_S = 32 s. On the live episode: telemetry back at 10:52:39 instead of 11:05:35, with 0x0518 still answering the same -3 W. RED BEFORE (release_s=inf, a graded counterfactual and not a second implementation), GREEN AFTER. WHAT IT COSTS, AND IT IS NOT SMALL. A register dead for good is re-graded for ever: over 1201 reads the held number reaches a consumer on 630 (52.5 %) against 35 (2.9 %) before. Payable only because one window is at most 35 s and the two consumers hold for 75 s and 85 s, so neither can reach a verdict inside one and the re-trip clears both windows. No detection SAFETY-37 had is given back - a permanent None clears the same windows for ever too - and the command is derived from the P1 meter, never from batt. Two clocks, deliberately: changed_mono/unchanged_s() stay facts about the REGISTER, graded_from/graded_s() are the VERDICT's window. Collapsing them either lies to the operator or defeats the re-grading. main.py's stale line had its ESCAPE CLAUSE corrected - it promised a clearance the state could not produce - and gained a STALE WITHDRAWN edge that says in its own words that nothing has been learned about the register. The DIAGNOSIS half is SAFETY-56's and is deliberately untouched, with a named check asserting it is still there so that rewrite has to be deliberate. Battery: 22 mutations, 21 red, 1 argued equivalent, 0 unexplained survivors. Two findings kept in DECISIONS: _release()'s move_w test swapped for unchanged_s SURVIVED at +5 B because every fixture rested at exactly 0 W (habit 11, closed by a 0/100/300 W fixture); and the code shipped a habit-22 comment claiming the _release/_grade order was load-bearing, which the battery falsified - the two act on mutually exclusive predicates, so the order is not observable. MUTATION.md gains habit 23 for a mutation that ran, fingerprinted clean, and was a no-op on the fixture because `0.0 or x` is x. Suite: 30/30 in the CI image, checks.yml's exact command, purged tree, :ro, one file at a time. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01BwRLw7eKYj2byVdwB6kbjU	2026-09-21 12:33:56 +02:00