@pkmn/engine 0.1.0-dev.3a62fd35 → 0.1.0-dev.3de821b9

package/src/lib/gen1/chance.zig

@@ -42,12 +42,6 @@ pub const Actions = extern struct {
         return if (player == .P1) &self.p1 else &self.p2;
     }
 
-    /// Perform a reset by clearing fields which should not persist across updates.
-    pub fn reset(self: *Actions) void {
-        self.p1.reset();
-        self.p2.reset();
-    }
-
     /// Returns true if `a` is equal to `b`.
     pub fn eql(a: Actions, b: Actions) bool {
         return @as(u128, @bitCast(a)) == @as(u128, @bitCast(b));
@@ -63,11 +57,6 @@ pub const Actions = extern struct {
                 const b_val = @field(@field(b, player.name), field.name);
 
                 switch (@typeInfo(@TypeOf(a_val))) {
-                    .Struct => inline for (@typeInfo(@TypeOf(a_val)).Struct.fields) |f| {
-                        if ((@field(a_val, f.name) > 0) != (@field(b_val, f.name) > 0)) {
-                            return false;
-                        }
-                    },
                     .Enum => if ((@intFromEnum(a_val) > 0) != (@intFromEnum(b_val) > 0))
                         return false,
                     .Int => if ((a_val > 0) != (b_val > 0)) return false,
@@ -96,9 +85,6 @@ test Actions {
     const a: Actions = .{ .p1 = .{ .hit = .true, .critical_hit = .false, .damage = 245 } };
     const b: Actions = .{ .p1 = .{ .hit = .false, .critical_hit = .true, .damage = 246 } };
     const c: Actions = .{ .p1 = .{ .hit = .true } };
-    const d: Actions = .{ .p2 = .{ .hit = .true, .durations = .{ .sleep = 2 } } };
-    const e: Actions = .{ .p2 = .{ .hit = .false, .durations = .{ .sleep = 4 } } };
-    const f: Actions = .{ .p1 = .{ .hit = .false, .durations = .{ .sleep = 4 } } };
 
     try expect(a.eql(a));
     try expect(!a.eql(b));
@@ -111,10 +97,22 @@ test Actions {
     try expect(b.matches(a));
     try expect(!a.matches(c));
     try expect(!c.matches(a));
-    try expect(d.matches(e));
-    try expect(!d.matches(f));
 }
 
+/// Observation made about a duration - whether the duration has started, been continued, or ended.
+pub const Observation = enum { started, continuing, ended };
+/// An extension of Observation to account for "hidden" confusion.
+pub const Confusion = enum {
+    started,
+    continuing,
+    ended,
+    /// An indicator that an existing confusion duration has been overwritten by a new confusion
+    /// duration due to a Thrashing move ending. This is not immediately observable to an opponent,
+    /// to compute probabilities from an opponent's point of view based solely on public information
+    /// extra work must be done to correct for the information leak
+    overwritten,
+};
+
 /// Information about the RNG that was observed during a Generation I battle `update` for a
 /// single player.
 pub const Action = packed struct(u64) {
@@ -139,12 +137,25 @@ pub const Action = packed struct(u64) {
     /// or Rolls.{sleepDuration,disableDuration,confusionDuration,attackingDuration} otherwise.
     duration: u4 = 0,
 
-    /// Observed values of various durations. Does not influence future RNG calls. TODO
-    durations: Duration = .{},
+    /// TODO
+    sleep: Optional(Observation) = .None,
+    /// TODO
+    confusion: Optional(Confusion) = .None,
+    /// TODO
+    disable: Optional(Observation) = .None,
+    /// TODO
+    bide: Optional(Observation) = .None,
+    /// TODO
+    binding: Optional(Observation) = .None,
+    /// TODO
+    thrashing: Optional(Observation) = .None,
 
     /// If not 0, the move slot (1-4) to return in Rolls.moveSlot. If present as an override,
     /// invalid values (eg. due to empty move slots or 0 PP) will be ignored.
-    move_slot: u4 = 0,
+    move_slot: u3 = 0,
+
+    /// TODO
+    pp: u4 = 0,
     /// If not 0, the value (2-5) to return for Rolls.distribution for multi hit.
     multi_hit: u4 = 0,
 
@@ -154,15 +165,8 @@ pub const Action = packed struct(u64) {
     /// If not None, the Move to return for Rolls.metronome.
     metronome: Move = .None,
 
-    pub const DURATIONS: u64 = 0x000000FFFF000000;
-
     pub const Field = std.meta.FieldEnum(Action);
 
-    /// Perform a reset by clearing fields which should not persist across updates.
-    pub fn reset(self: *Action) void {
-        self.* = @bitCast(@as(u64, @bitCast(self.*)) & DURATIONS);
-    }
-
     pub fn format(a: Action, comptime f: []const u8, o: std.fmt.FormatOptions, w: anytype) !void {
         _ = .{ f, o };
         try fmt(a, w, false);
@@ -174,18 +178,6 @@ pub const Action = packed struct(u64) {
         inline for (@typeInfo(Action).Struct.fields) |field| {
             const val = @field(self, field.name);
             switch (@typeInfo(@TypeOf(val))) {
-                .Struct => inline for (@typeInfo(@TypeOf(val)).Struct.fields) |f| {
-                    const v = @field(val, f.name);
-                    if (v != 0) {
-                        if (printed) try writer.writeAll(", ");
-                        if (shape) {
-                            try writer.print("{s}:?", .{f.name});
-                        } else {
-                            try writer.print("{s}:{d}", .{ f.name, v });
-                        }
-                        printed = true;
-                    }
-                },
                 .Enum => if (val != .None) {
                     if (printed) try writer.writeAll(", ");
                     if (shape) {
@@ -195,6 +187,13 @@ pub const Action = packed struct(u64) {
                             if (val == .false) "!" else "",
                             field.name,
                         });
+                    } else if (@TypeOf(val) == Optional(Observation) or
+                        @TypeOf(val) == Optional(Confusion))
+                    {
+                        try writer.print("{s}{s}", .{
+                            ([_][]const u8{ "+", "", "-", "#" })[@intFromEnum(val) - 1],
+                            field.name,
+                        });
                     } else {
                         try writer.print("{s}:{s}", .{ field.name, @tagName(val) });
                     }
@@ -216,43 +215,80 @@ pub const Action = packed struct(u64) {
     }
 };
 
-test Action {
-    var a: Action = .{ .hit = .true, .durations = .{ .sleep = 3 }, .damage = 225 };
-    a.reset();
-
-    try expectEqual(Action{ .hit = .None, .durations = .{ .sleep = 3 }, .damage = 0 }, a);
-}
-
 /// TODO
-pub const Durations = extern struct {
-    /// Information about the durations for Player 1.
+pub const Durations = struct {
+    /// TODO
     p1: Duration = .{},
-    /// Information about the durations for Player 2.
+    /// TODO
     p2: Duration = .{},
 
-    comptime {
-        assert(@sizeOf(Durations) == 4);
+    /// TODO
+    pub fn get(self: anytype, player: Player) util.PointerType(@TypeOf(self), Duration) {
+        assert(@typeInfo(@TypeOf(self)).Pointer.child == Durations);
+        return if (player == .P1) &self.p1 else &self.p2;
+    }
+
+    pub fn format(
+        self: Durations,
+        comptime fmt: []const u8,
+        opts: std.fmt.FormatOptions,
+        writer: anytype,
+    ) !void {
+        _ = .{ fmt, opts };
+        try writer.print("[P1 = {}, P2 = {}]", .{ self.p1, self.p2 });
     }
 };
 
-/// Observed values for various durations that need to be tracked in order to properly
-/// deduplicate transitions with a primary key. TODO
-pub const Duration = packed struct(u16) {
-    /// The number of turns a Pokémon has been observed to be sleeping.
-    sleep: u3 = 0,
-    /// The number of turns a Pokémon has been observed to be confused.
+/// TODO
+pub const Duration = struct {
+    sleeps: [6]u3 = .{0} ** 6,
     confusion: u3 = 0,
-    /// The number of turns a Pokémon has been observed to be disabled.
     disable: u4 = 0,
-    /// The number of turns a Pokémon has been observed to be attacking.
-    attacking: u3 = 0,
-    /// The number of turns a Pokémon has been observed to be binding their opponent.
+    bide: u3 = 0,
+    thrashing: u3 = 0,
     binding: u3 = 0,
 
-    pub const Field = std.meta.FieldEnum(Duration);
+    pub fn format(
+        self: Duration,
+        comptime fmt: []const u8,
+        opts: std.fmt.FormatOptions,
+        writer: anytype,
+    ) !void {
+        _ = .{ fmt, opts };
+        try writer.writeByte('(');
+        var printed = false;
+        inline for (@typeInfo(Duration).Struct.fields) |field| {
+            const val = @field(self, field.name);
+            switch (@typeInfo(@TypeOf(val))) {
+                .Int => if (val != 0) {
+                    if (printed) try writer.writeAll(", ");
+                    try writer.print("{s}:{d}", .{ field.name, val });
+                    printed = true;
+                },
+                .Array => {
+                    var total: usize = 0;
+                    for (val) |v| total += v;
+                    if (total > 0) {
+                        if (printed) try writer.writeAll(", ");
+                        try writer.print("{s}:[", .{field.name});
+                        for (val, 0..) |v, i| {
+                            if (i != 0) try writer.writeByte(',');
+                            try writer.print("{d}", .{v});
+                        }
+                        try writer.writeAll("]");
+                        printed = true;
+                    }
+                },
+                else => unreachable,
+            }
+        }
+        try writer.writeByte(')');
+    }
 };
 
-pub const Commit = enum { hit, miss, binding };
+pub const Commit = enum { hit, miss, binding, err, glitch };
+
+const uN = if (options.miss) u8 else u9;
 
 /// Tracks chance actions and their associated probability during a Generation I battle update when
 /// `options.chance` is enabled.
@@ -265,14 +301,8 @@ pub fn Chance(comptime Rational: type) type {
         /// The actions taken by a hypothetical "chance player" that convey information about which
         /// RNG events were observed during a battle `update`.
         actions: Actions = .{},
-
-        // Tracks the observed sleep durations for the Pokémon in both player's parties. Unlike
-        // other durations which are all tied to volatiles, sleep's counter persists through
-        // switching and so we must store it here. The indices of these arrays correspond to the
-        // `order` field of a Side. This information could be stored in actions but size is a
-        // concern so this is tracked separately as actions only purports to track RNG events
-        // observed during a single `update` (not across updates).
-        sleeps: [2][6]u3 = .{ .{0} ** 6, .{0} ** 6 },
+        /// TODO
+        durations: Durations = .{},
 
         // In many cases on both the cartridge and on Pokémon Showdown rolls are made even though
         // later checks render their result irrelevant (missing when the target is actually immune,
@@ -290,16 +320,13 @@ pub fn Chance(comptime Rational: type) type {
         //
         // Finally, because each player's actions are processed sequentially we only need a single
         // shared structure to track this information (though it needs to be cleared appropriately)
-        pending: if (showdown) struct {
-            hit: bool = false,
-            hit_probablity: u8 = 0,
-        } else struct {
+        pending: if (showdown) struct {} else struct {
             crit: bool = false,
             crit_probablity: u8 = 0,
             damage_roll: u8 = 0,
             hit: bool = false,
-            hit_probablity: u8 = 0,
-            binding: u8 = 0,
+            hit_probablity: uN = 0,
+            glitch: bool = false,
         } = .{},
 
         /// Possible error returned by operations tracking chance probability.
@@ -307,86 +334,91 @@ pub fn Chance(comptime Rational: type) type {
 
         /// Convenience helper to clear fields which typically should be cleared between updates.
         pub fn reset(self: *Self) void {
+            if (!enabled) return;
+
             self.probability.reset();
-            self.actions.reset();
+            self.actions = .{};
             self.pending = .{};
         }
 
         pub fn commit(self: *Self, player: Player, kind: Commit) Error!void {
+            if (!enabled) return;
+
+            assert(!showdown);
+
+            if (kind == .glitch and !self.pending.glitch) return;
+
             var action = self.actions.get(player);
 
-            // We need to handle binding specially because we still need to commit it when attacking
-            // into a Pokémon that is immune
-            if (!showdown) {
-                if (kind != .miss and self.pending.binding != 0) {
-                    assert(action.duration == 0);
-                    action.duration = @intCast(self.pending.binding);
-                    assert(action.durations.binding == 0);
-                    action.durations.binding = 1;
-                }
-                if (kind == .binding) return;
-            } else assert(kind != .binding);
+            if (kind == .err and self.pending.crit_probablity != 0) {
+                try self.probability.update(self.pending.crit_probablity, 256);
+                action.critical_hit = if (self.pending.crit) .true else .false;
+                return;
+            }
 
             // Always commit the hit result if we make it here (commit won't be called at all if the
-            // target is immune/behind a sub/etc)
+            // target is immune*/behind a sub/etc)
             if (self.pending.hit_probablity != 0) {
                 try self.probability.update(self.pending.hit_probablity, 256);
                 action.hit = if (self.pending.hit) .true else .false;
             }
 
-            if (showdown) return;
-
-            // If the move actually lands we can commit any past critical hit / damage rolls. We
-            // avoid updating anything if there wasn't a damage roll as any "critical hit" not tied
-            // to a damage roll is actually a no-op
-            if (kind == .hit and self.pending.damage_roll > 0) {
-                assert(!self.pending.crit or self.pending.crit_probablity > 0);
+            // If the move actually lands we can commit any past critical hit / damage rolls. Note
+            // we can't rely on the presence or absence of a damage roll to determine whether a
+            // "critical hit" was spurious or not as moves that do 1 or less damage don't rol for
+            // damage but can still crit (instead, whether or not a roll is deemed to be a no-op is
+            // passed to the critical hit helper).
+            //
+            // There is a special edge case with the division-by-zero freeze where we need to commit
+            // the status of critical hit roll the occured before the move missed to avoid missing
+            // out on the possibility that the alternative branch encountered an error
+            if (kind != .hit and !self.pending.glitch) {
+                return assert(!self.pending.crit or self.pending.crit_probablity > 0);
+            }
 
-                if (self.pending.crit_probablity != 0) {
-                    try self.probability.update(self.pending.crit_probablity, 256);
-                    action.critical_hit = if (self.pending.crit) .true else .false;
-                }
+            if (self.pending.crit_probablity != 0) {
+                try self.probability.update(self.pending.crit_probablity, 256);
+                action.critical_hit = if (self.pending.crit) .true else .false;
+            } else assert(!self.pending.glitch);
 
+            if (self.pending.damage_roll > 0) {
                 try self.probability.update(1, 39);
                 action.damage = self.pending.damage_roll;
             }
         }
 
-        pub fn clearPending(self: *Self) void {
+        pub fn glitch(self: *Self) void {
             if (!enabled) return;
 
-            self.pending = .{};
+            assert(!showdown);
+            self.pending.glitch = true;
         }
 
-        pub fn clearDurations(self: *Self, player: Player, haze: ?bool) void {
+        pub fn clearPending(self: *Self) void {
             if (!enabled) return;
 
-            var action = self.actions.get(player);
-            if (haze) |status| {
-                if (status) action.durations.sleep = 0;
-                action.durations.confusion = 0;
-                action.durations.disable = 0;
-            } else {
-                action.durations.attacking = 0;
-                action.durations.binding = 0;
-            }
+            assert(!showdown);
+            self.pending = .{};
         }
 
-        pub fn switched(self: *Self, player: Player, in: u8, out: u8) void {
+        pub fn switched(self: *Self, player: Player, slot: u8) void {
             if (!enabled) return;
 
-            assert(in >= 1 and in <= 6);
-            assert(out >= 1 and out <= 6);
+            assert(slot >= 1 and slot <= 6);
 
-            var action = self.actions.get(player);
+            var d = self.durations.get(player);
 
-            const slp = action.durations.sleep;
-            action.durations = .{};
+            const out = d.sleeps[0];
+            d.sleeps[0] = d.sleeps[slot - 1];
+            d.sleeps[slot - 1] = out;
 
-            self.sleeps[@intFromEnum(player)][out - 1] = slp;
-            action.durations.sleep = @intCast(self.sleeps[@intFromEnum(player)][in - 1]);
+            d.confusion = 0;
+            d.disable = 0;
+            d.bide = 0;
+            d.thrashing = 0;
+            d.binding = 0;
 
-            self.actions.get(player.foe()).durations.binding = 0;
+            self.durations.get(player.foe()).binding = 0;
         }
 
         pub fn speedTie(self: *Self, p1: bool) Error!void {
@@ -397,12 +429,17 @@ pub fn Chance(comptime Rational: type) type {
             self.actions.p2.speed_tie = self.actions.p1.speed_tie;
         }
 
-        pub fn hit(self: *Self, ok: bool, accuracy: u8) void {
+        pub fn hit(self: *Self, player: Player, ok: bool, accuracy: uN) Error!void {
             if (!enabled) return;
 
             const p = if (ok) accuracy else @as(u8, @intCast(256 - @as(u9, accuracy)));
-            self.pending.hit = ok;
-            self.pending.hit_probablity = p;
+            if (showdown) {
+                try self.probability.update(p, 256);
+                self.actions.get(player).hit = if (ok) .true else .false;
+            } else {
+                self.pending.hit = ok;
+                self.pending.hit_probablity = p;
+            }
         }
 
         pub fn criticalHit(self: *Self, player: Player, crit: bool, rate: u8) Error!void {
@@ -480,108 +517,182 @@ pub fn Chance(comptime Rational: type) type {
             self.actions.get(player).multi_hit = n;
         }
 
-        pub fn duration(
+        pub fn duration(self: *Self, player: Player, turns: u4) void {
+            if (!enabled) return;
+
+            self.actions.get(player).duration = if (options.key) 2 else turns;
+        }
+
+        pub fn observe(
             self: *Self,
-            comptime field: Duration.Field,
+            comptime field: Action.Field,
             player: Player,
-            target: Player,
-            turns: u4,
+            obs: Optional(Confusion),
         ) void {
             if (!enabled) return;
 
-            if (!showdown and field == .binding) {
-                self.pending.binding = if (options.key) 1 else turns;
-            } else {
-                var durations = &self.actions.get(target).durations;
-                assert(@field(durations, @tagName(field)) == 0 or
-                    (field == .confusion and player == target));
-                @field(durations, @tagName(field)) = 1;
-                self.actions.get(player).duration = if (options.key) 1 else turns;
+            var a = self.actions.get(player);
+            const val = @field(a, @tagName(field));
+            switch (obs) {
+                .overwritten => {
+                    assert(field == .confusion);
+                    assert(val == .started or val == .continuing);
+                    assert(a.duration > 0);
+                    a.confusion = obs;
+                    self.durations.get(player).confusion = 1;
+                },
+                .None => {
+                    @field(a, @tagName(field)) = .None;
+                    if (field == .sleep) {
+                        self.durations.get(player).sleeps[0] = 0;
+                    } else {
+                        @field(self.durations.get(player), @tagName(field)) = 0;
+                    }
+                },
+                .started => {
+                    assert(val == .None or val == .ended);
+                    assert(switch (field) {
+                        .confusion => a.duration > 0 or self.actions.get(player.foe()).duration > 0,
+                        .sleep, .disable => self.actions.get(player.foe()).duration > 0,
+                        else => a.duration > 0,
+                    });
+                    @field(a, @tagName(field)) = .started;
+                    if (field == .sleep) {
+                        self.durations.get(player).sleeps[0] = 1;
+                    } else {
+                        @field(self.durations.get(player), @tagName(field)) = 1;
+                    }
+                },
+                else => unreachable,
             }
         }
 
-        pub fn sleep(self: *Self, player: Player, turns: u4) Error!void {
+        pub fn sleep(self: *Self, player: Player, obs: Optional(Observation)) Error!void {
             if (!enabled) return;
 
-            var durations = &self.actions.get(player).durations;
-            const n = durations.sleep;
-            if (turns == 0) {
+            var a = self.actions.get(player);
+            assert(a.sleep == .None or a.sleep == .started);
+            a.sleep = obs;
+
+            var d = self.durations.get(player);
+            const n = d.sleeps[0];
+
+            if (obs == .None) {
+                d.sleeps[0] = 0;
+            } else if (obs == .ended) {
                 assert(n >= 1 and n <= 7);
                 if (n != 7) try self.probability.update(1, 8 - @as(u4, n));
-                durations.sleep = 0;
+                d.sleeps[0] = 0;
             } else {
+                assert(obs == .continuing);
                 assert(n >= 1 and n < 7);
                 try self.probability.update(8 - @as(u4, n) - 1, 8 - @as(u4, n));
-                durations.sleep += 1;
+                d.sleeps[0] += 1;
             }
         }
 
-        pub fn confusion(self: *Self, player: Player, turns: u4) Error!void {
+        pub fn confusion(self: *Self, player: Player, obs: Optional(Confusion)) Error!void {
             if (!enabled) return;
 
-            var durations = &self.actions.get(player).durations;
-            const n = durations.confusion;
-            if (turns == 0) {
+            var a = self.actions.get(player);
+            assert(a.confusion == .None or a.confusion == .started);
+            a.confusion = obs;
+
+            var d = self.durations.get(player);
+            const n = d.confusion;
+
+            if (obs == .ended) {
                 assert(n >= 2 and n <= 5);
                 if (n != 5) try self.probability.update(1, 6 - @as(u4, n));
-                durations.confusion = 0;
+                d.confusion = 0;
             } else {
+                assert(obs == .continuing);
                 assert(n >= 1 and n < 5);
                 if (n > 1) try self.probability.update(6 - @as(u4, n) - 1, 6 - @as(u4, n));
-                durations.confusion += 1;
+                d.confusion += 1;
             }
         }
 
-        pub fn disable(self: *Self, player: Player, turns: u4) Error!void {
+        pub fn disable(self: *Self, player: Player, obs: Optional(Observation)) Error!void {
             if (!enabled) return;
 
-            var durations = &self.actions.get(player).durations;
-            const n = durations.disable;
-            if (turns == 0) {
+            var a = self.actions.get(player);
+            assert(a.disable == .None or a.disable == .started);
+            a.disable = obs;
+
+            var d = self.durations.get(player);
+            const n = d.disable;
+
+            if (obs == .ended) {
                 assert(n >= 1 and n <= 8);
                 if (n != 8) try self.probability.update(1, 9 - @as(u4, n));
-                durations.disable = 0;
+                d.disable = 0;
             } else {
+                assert(obs == .continuing);
                 assert(n >= 1 and n < 8);
                 try self.probability.update(9 - @as(u4, n) - 1, 9 - @as(u4, n));
-                durations.disable += 1;
+                d.disable += 1;
             }
         }
 
-        pub fn attacking(self: *Self, player: Player, turns: u4) Error!void {
+        pub fn bide(self: *Self, player: Player, obs: Optional(Observation)) Error!void {
+            return self.attacking(.bide, player, obs);
+        }
+
+        pub fn thrashing(self: *Self, player: Player, obs: Optional(Observation)) Error!void {
+            return self.attacking(.thrashing, player, obs);
+        }
+
+        fn attacking(
+            self: *Self,
+            comptime field: Action.Field,
+            player: Player,
+            obs: Optional(Observation),
+        ) Error!void {
             if (!enabled) return;
 
-            var durations = &self.actions.get(player).durations;
-            const n = durations.attacking;
-            if (turns == 0) {
+            const f = @tagName(field);
+            var a = self.actions.get(player);
+            assert(@field(a, f) == .None or @field(a, f) == .started);
+            @field(a, f) = obs;
+
+            var d = self.durations.get(player);
+            const n = @field(d, f);
+            if (obs == .ended) {
                 assert(n >= 2 and n <= 3);
                 if (n != 3) try self.probability.update(1, 4 - @as(u4, n));
-                durations.attacking = 0;
+                @field(d, f) = 0;
             } else {
+                assert(obs == .continuing);
                 assert(n >= 1 and n < 3);
                 if (n > 1) try self.probability.update(4 - @as(u4, n) - 1, 4 - @as(u4, n));
-                durations.attacking += 1;
+                @field(d, f) += 1;
             }
         }
 
-        pub fn binding(self: *Self, player: Player, turns: u4) Error!void {
+        pub fn binding(self: *Self, player: Player, obs: Optional(Observation)) Error!void {
             if (!enabled) return;
 
-            var durations = &self.actions.get(player).durations;
-            const n = durations.binding;
+            var a = self.actions.get(player);
+            assert(a.binding == .None or a.binding == .started);
+            a.binding = obs;
+
+            var d = self.durations.get(player);
+            const n = d.binding;
 
             assert(n > 0);
             const p: u4 = if (n < 3) 3 else 1;
             const q: u4 = if (n < 3) 8 - ((n - 1) * p) else 2;
 
-            if (turns == 0) {
+            if (obs == .ended) {
                 assert(n >= 1 and n <= 4);
                 if (n != 4) try self.probability.update(p, q);
-                durations.binding = 0;
+                d.binding = 0;
             } else {
+                assert(obs == .continuing);
                 assert(n >= 1 and n < 4);
                 try self.probability.update(q - p, q);
-                durations.binding += 1;
+                d.binding += 1;
             }
         }
 
@@ -598,6 +709,15 @@ pub fn Chance(comptime Rational: type) type {
             try self.probability.update(1, Move.METRONOME.len);
             self.actions.get(player).metronome = move;
         }
+
+        pub fn incrementPP(self: *Self, player: Player, n: u4) bool {
+            if (!enabled) return true;
+
+            var a = self.actions.get(player);
+            if (n > 1 and a.pp == n) return false;
+            if (a.metronome != .None) a.pp += n;
+            return true;
+        }
     };
 }
 
@@ -620,19 +740,25 @@ test "Chance.speedTie" {
 test "Chance.hit" {
     var chance: Chance(rational.Rational(u64)) = .{ .probability = .{} };
 
-    chance.hit(true, 229);
-    try expectProbability(&chance.probability, 1, 1);
-    try expectValue(Optional(bool).None, chance.actions.p1.hit);
-    try chance.commit(.P1, .hit);
+    try chance.hit(.P1, true, 229);
+    if (!showdown) {
+        try expectProbability(&chance.probability, 1, 1);
+        try expectValue(Optional(bool).None, chance.actions.p1.hit);
+
+        try chance.commit(.P1, .hit);
+    }
     try expectValue(Optional(bool).true, chance.actions.p1.hit);
     try expectProbability(&chance.probability, 229, 256);
 
     chance.reset();
 
-    chance.hit(false, 255);
-    try expectProbability(&chance.probability, 1, 1);
-    try expectValue(Optional(bool).None, chance.actions.p2.hit);
-    try chance.commit(.P2, .miss);
+    try chance.hit(.P2, false, 255);
+    if (!showdown) {
+        try expectProbability(&chance.probability, 1, 1);
+        try expectValue(Optional(bool).None, chance.actions.p2.hit);
+
+        try chance.commit(.P2, .miss);
+    }
     try expectValue(Optional(bool).false, chance.actions.p2.hit);
     try expectProbability(&chance.probability, 1, 256);
 }
@@ -648,26 +774,18 @@ test "Chance.criticalHit" {
         try expectProbability(&chance.probability, 1, 1);
         try expectValue(Optional(bool).None, chance.actions.p1.critical_hit);
 
-        try chance.commit(.P1, .hit);
-        try expectProbability(&chance.probability, 1, 1);
-        try expectValue(Optional(bool).None, chance.actions.p1.critical_hit);
+        try chance.hit(.P1, true, 128);
 
-        chance.hit(true, 128);
-
-        try chance.commit(.P1, .hit);
-        try expectProbability(&chance.probability, 1, 2);
+        try expectProbability(&chance.probability, 1, 1);
         try expectValue(Optional(bool).None, chance.actions.p1.critical_hit);
 
-        chance.probability.reset();
         try chance.damage(.P1, 217);
 
-        try chance.commit(.P1, .miss);
-        try expectProbability(&chance.probability, 1, 2);
+        try expectProbability(&chance.probability, 1, 1);
         try expectValue(Optional(bool).None, chance.actions.p1.critical_hit);
 
-        chance.probability.reset();
-
         try chance.commit(.P1, .hit);
+
         try expectProbability(&chance.probability, 17, 19968); // (1/2) * (17/256) * (1/39)
         try expectValue(Optional(bool).true, chance.actions.p1.critical_hit);
     }
@@ -682,20 +800,14 @@ test "Chance.criticalHit" {
         try expectProbability(&chance.probability, 1, 1);
         try expectValue(Optional(bool).None, chance.actions.p1.critical_hit);
 
-        try chance.commit(.P1, .hit);
-        try expectProbability(&chance.probability, 1, 1);
-        try expectValue(Optional(bool).None, chance.actions.p1.critical_hit);
+        try chance.hit(.P1, true, 128);
 
-        chance.hit(true, 128);
-
-        try chance.commit(.P1, .hit);
-        try expectProbability(&chance.probability, 1, 2);
+        try expectProbability(&chance.probability, 1, 1);
         try expectValue(Optional(bool).None, chance.actions.p1.critical_hit);
 
-        chance.probability.reset();
         try chance.damage(.P1, 217);
-
         try chance.commit(.P1, .hit);
+
         try expectProbability(&chance.probability, 251, 19968); // (1/2) * (251/256) * (1/39)
         try expectValue(Optional(bool).false, chance.actions.p1.critical_hit);
     }
@@ -712,11 +824,8 @@ test "Chance.damage" {
         try expectProbability(&chance.probability, 1, 1);
         try expectValue(0, chance.actions.p1.damage);
 
-        try chance.commit(.P1, .miss);
-        try expectProbability(&chance.probability, 1, 1);
-        try expectValue(0, chance.actions.p1.damage);
-
         try chance.commit(.P1, .hit);
+
         try expectProbability(&chance.probability, 1, 39);
         try expectValue(217, chance.actions.p1.damage);
     }
@@ -796,38 +905,31 @@ test "Chance.multiHit" {
 test "Chance.duration" {
     var chance: Chance(rational.Rational(u64)) = .{ .probability = .{} };
 
-    chance.duration(.sleep, .P1, .P2, 2);
+    chance.duration(.P1, 2);
     try expectValue(2, chance.actions.p1.duration);
-    try expectValue(1, chance.actions.p2.durations.sleep);
 
     chance.reset();
 
-    chance.duration(.binding, .P2, .P2, 4);
-    if (!showdown) {
-        try expectValue(0, chance.actions.p2.duration);
-        try expectValue(0, chance.actions.p2.durations.binding);
-        try chance.commit(.P2, .hit);
-    }
+    chance.duration(.P2, 4);
     try expectValue(4, chance.actions.p2.duration);
-    try expectValue(1, chance.actions.p2.durations.binding);
 }
 
 test "Chance.sleep" {
     var chance: Chance(rational.Rational(u64)) = .{ .probability = .{} };
 
     for ([_]u8{ 7, 6, 5, 4, 3, 2, 1 }, 1..8) |d, i| {
-        chance.actions.p1.durations.sleep = @intCast(i);
-        try chance.sleep(.P1, 0);
+        chance.durations.p1.sleeps[0] = @intCast(i);
+        try chance.sleep(.P1, .ended);
         try expectProbability(&chance.probability, 1, d);
-        try expectValue(0, chance.actions.p1.durations.sleep);
+        try expectValue(0, chance.durations.p1.sleeps[0]);
 
         chance.reset();
 
         if (i < 7) {
-            chance.actions.p1.durations.sleep = @intCast(i);
-            try chance.sleep(.P1, 1);
+            chance.durations.p1.sleeps[0] = @intCast(i);
+            try chance.sleep(.P1, .continuing);
             try expectProbability(&chance.probability, d - 1, d);
-            try expectValue(@as(u3, @intCast(i)) + 1, chance.actions.p1.durations.sleep);
+            try expectValue(@as(u3, @intCast(i)) + 1, chance.durations.p1.sleeps[0]);
 
             chance.reset();
         }
@@ -839,19 +941,19 @@ test "Chance.confusion" {
 
     for ([_]u8{ 1, 4, 3, 2, 1 }, 1..6) |d, i| {
         if (i > 1) {
-            chance.actions.p2.durations.confusion = @intCast(i);
-            try chance.confusion(.P2, 0);
+            chance.durations.p2.confusion = @intCast(i);
+            try chance.confusion(.P2, .ended);
             try expectProbability(&chance.probability, 1, d);
-            try expectValue(0, chance.actions.p2.durations.confusion);
+            try expectValue(0, chance.durations.p2.confusion);
 
             chance.reset();
         }
 
         if (i < 5) {
-            chance.actions.p2.durations.confusion = @intCast(i);
-            try chance.confusion(.P2, 1);
+            chance.durations.p2.confusion = @intCast(i);
+            try chance.confusion(.P2, .continuing);
             try expectProbability(&chance.probability, if (d > 1) d - 1 else d, d);
-            try expectValue(@as(u3, @intCast(i)) + 1, chance.actions.p2.durations.confusion);
+            try expectValue(@as(u3, @intCast(i)) + 1, chance.durations.p2.confusion);
 
             chance.reset();
         }
@@ -862,18 +964,18 @@ test "Chance.disable" {
     var chance: Chance(rational.Rational(u64)) = .{ .probability = .{} };
 
     for ([_]u8{ 8, 7, 6, 5, 4, 3, 2, 1 }, 1..9) |d, i| {
-        chance.actions.p1.durations.disable = @intCast(i);
-        try chance.disable(.P1, 0);
+        chance.durations.p1.disable = @intCast(i);
+        try chance.disable(.P1, .ended);
         try expectProbability(&chance.probability, 1, d);
-        try expectValue(0, chance.actions.p1.durations.disable);
+        try expectValue(0, chance.durations.p1.disable);
 
         chance.reset();
 
         if (i < 8) {
-            chance.actions.p1.durations.disable = @intCast(i);
-            try chance.disable(.P1, 1);
+            chance.durations.p1.disable = @intCast(i);
+            try chance.disable(.P1, .continuing);
             try expectProbability(&chance.probability, d - 1, d);
-            try expectValue(@as(u4, @intCast(i)) + 1, chance.actions.p1.durations.disable);
+            try expectValue(@as(u4, @intCast(i)) + 1, chance.durations.p1.disable);
 
             chance.reset();
         }
@@ -883,23 +985,25 @@ test "Chance.disable" {
 test "Chance.attacking" {
     var chance: Chance(rational.Rational(u64)) = .{ .probability = .{} };
 
-    for ([_]u8{ 1, 2, 1 }, 1..4) |d, i| {
-        if (i > 1) {
-            chance.actions.p2.durations.attacking = @intCast(i);
-            try chance.attacking(.P2, 0);
-            try expectProbability(&chance.probability, 1, d);
-            try expectValue(0, chance.actions.p2.durations.attacking);
+    inline for (.{ .bide, .thrashing }) |f| {
+        for ([_]u8{ 1, 2, 1 }, 1..4) |d, i| {
+            if (i > 1) {
+                @field(chance.durations.p2, @tagName(f)) = @intCast(i);
+                try chance.attacking(f, .P2, .ended);
+                try expectProbability(&chance.probability, 1, d);
+                try expectValue(0, @field(chance.durations.p2, @tagName(f)));
 
-            chance.reset();
-        }
+                chance.reset();
+            }
 
-        if (i < 3) {
-            chance.actions.p2.durations.attacking = @intCast(i);
-            try chance.attacking(.P2, 1);
-            try expectProbability(&chance.probability, if (d > 1) d - 1 else d, d);
-            try expectValue(@as(u3, @intCast(i)) + 1, chance.actions.p2.durations.attacking);
+            if (i < 3) {
+                @field(chance.durations.p2, @tagName(f)) = @intCast(i);
+                try chance.attacking(f, .P2, .continuing);
+                try expectProbability(&chance.probability, if (d > 1) d - 1 else d, d);
+                try expectValue(@as(u3, @intCast(i)) + 1, @field(chance.durations.p2, @tagName(f)));
 
-            chance.reset();
+                chance.reset();
+            }
         }
     }
 }
@@ -911,18 +1015,18 @@ test "Chance.binding" {
     const qs = [_]u8{ 8, 5, 2, 1 };
 
     for (ps, qs, 1..5) |p, q, i| {
-        chance.actions.p1.durations.binding = @intCast(i);
-        try chance.binding(.P1, 0);
+        chance.durations.p1.binding = @intCast(i);
+        try chance.binding(.P1, .ended);
         try expectProbability(&chance.probability, p, q);
-        try expectValue(0, chance.actions.p1.durations.binding);
+        try expectValue(0, chance.durations.p1.binding);
 
         chance.reset();
 
         if (i < 4) {
-            chance.actions.p1.durations.binding = @intCast(i);
-            try chance.binding(.P1, 1);
+            chance.durations.p1.binding = @intCast(i);
+            try chance.binding(.P1, .continuing);
             try expectProbability(&chance.probability, q - p, q);
-            try expectValue(@as(u3, @intCast(i)) + 1, chance.actions.p1.durations.binding);
+            try expectValue(@as(u3, @intCast(i)) + 1, chance.durations.p1.binding);
 
             chance.reset();
         }
@@ -972,24 +1076,24 @@ const Null = struct {
         _ = .{ self, player, kind };
     }
 
-    pub fn clearPending(self: Null) void {
+    pub fn glitch(self: Null) void {
         _ = .{self};
     }
 
-    pub fn clearDurations(self: Null, player: Player, haze: ?bool) void {
-        _ = .{ self, player, haze };
+    pub fn clearPending(self: Null) void {
+        _ = .{self};
     }
 
-    pub fn switched(self: Null, player: Player, in: u8, out: u8) void {
-        _ = .{ self, player, in, out };
+    pub fn switched(self: Null, player: Player, slot: u8) void {
+        _ = .{ self, player, slot };
     }
 
     pub fn speedTie(self: Null, p1: bool) Error!void {
         _ = .{ self, p1 };
     }
 
-    pub fn hit(self: Null, ok: bool, accuracy: u8) void {
-        _ = .{ self, ok, accuracy };
+    pub fn hit(self: Null, player: Player, ok: bool, accuracy: uN) Error!void {
+        _ = .{ self, player, ok, accuracy };
     }
 
     pub fn criticalHit(self: Null, player: Player, crit: bool, rate: u8) Error!void {
@@ -1020,34 +1124,41 @@ const Null = struct {
         _ = .{ self, player, n };
     }
 
-    pub fn duration(
+    pub fn duration(self: Null, player: Player, turns: u4) void {
+        _ = .{ self, player, turns };
+    }
+
+    pub fn observe(
         self: Null,
-        comptime field: Duration.Field,
+        comptime field: Action.Field,
         player: Player,
-        target: Player,
-        turns: u4,
+        obs: Optional(Confusion),
     ) void {
-        _ = .{ self, field, player, target, turns };
+        _ = .{ self, field, player, obs };
     }
 
-    pub fn sleep(self: Null, player: Player, turns: u4) Error!void {
-        _ = .{ self, player, turns };
+    pub fn sleep(self: Null, player: Player, obs: Optional(Observation)) Error!void {
+        _ = .{ self, player, obs };
     }
 
-    pub fn disable(self: Null, player: Player, turns: u4) Error!void {
-        _ = .{ self, player, turns };
+    pub fn confusion(self: Null, player: Player, obs: Optional(Confusion)) Error!void {
+        _ = .{ self, player, obs };
     }
 
-    pub fn confusion(self: Null, player: Player, turns: u4) Error!void {
-        _ = .{ self, player, turns };
+    pub fn disable(self: Null, player: Player, obs: Optional(Observation)) Error!void {
+        _ = .{ self, player, obs };
     }
 
-    pub fn attacking(self: Null, player: Player, turns: u4) Error!void {
-        _ = .{ self, player, turns };
+    pub fn bide(self: Null, player: Player, obs: Optional(Observation)) Error!void {
+        _ = .{ self, player, obs };
     }
 
-    pub fn binding(self: Null, player: Player, turns: u4) Error!void {
-        _ = .{ self, player, turns };
+    pub fn thrashing(self: Null, player: Player, obs: Optional(Observation)) Error!void {
+        _ = .{ self, player, obs };
+    }
+
+    pub fn binding(self: Null, player: Player, obs: Optional(Observation)) Error!void {
+        _ = .{ self, player, obs };
     }
 
     pub fn psywave(self: Null, player: Player, power: u8, max: u8) Error!void {
@@ -1057,4 +1168,9 @@ const Null = struct {
     pub fn metronome(self: Null, player: Player, move: Move) Error!void {
         _ = .{ self, player, move };
     }
+
+    pub fn incrementPP(self: Null, player: Player, n: u4) bool {
+        _ = .{ self, player, n };
+        return true;
+    }
 };