@pkmn/engine 0.1.0-dev.62399ed5 → 0.1.0-dev.6be9a775

package/src/lib/gen1/chance.zig

@@ -11,6 +11,7 @@ const options = @import("../common/options.zig");
 const rational = @import("../common/rational.zig");
 const util = @import("../common/util.zig");
 
+const Array = @import("../common/array.zig").Array;
 const Player = @import("../common/data.zig").Player;
 const Optional = @import("../common/optional.zig").Optional;
 
@@ -19,9 +20,16 @@ const data = @import("data.zig");
 const enabled = options.chance;
 const showdown = options.showdown;
 
+const PointerType = util.PointerType;
+const isPointerTo = util.isPointerTo;
+
 const Move = data.Move;
 const MoveSlot = data.MoveSlot;
 
+const Int = if (@hasField(std.builtin.Type, "int")) .int else .Int;
+const Enum = if (@hasField(std.builtin.Type, "enum")) .@"enum" else .Enum;
+const Struct = if (@hasField(std.builtin.Type, "struct")) .@"struct" else .Struct;
+
 /// Actions taken by a hypothetical "chance player" that convey information about which RNG events
 /// were observed during a Generation I battle `update`. This can additionally be provided as input
 /// to the `update` call to override the normal behavior of the RNG in order to force specific
@@ -37,17 +45,11 @@ pub const Actions = extern struct {
     }
 
     /// Returns the `Action` for the given `player`.
-    pub fn get(self: anytype, player: Player) util.PointerType(@TypeOf(self), Action) {
-        assert(@typeInfo(@TypeOf(self)).Pointer.child == Actions);
+    pub fn get(self: anytype, player: Player) PointerType(@TypeOf(self), Action) {
+        assert(isPointerTo(self, Actions));
         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));
@@ -57,20 +59,15 @@ pub const Actions = extern struct {
     /// same shape if they have the same fields set (though those fields need not necessarily be
     /// set to the same value).
     pub fn matches(a: Actions, b: Actions) bool {
-        inline for (@typeInfo(Actions).Struct.fields) |player| {
-            inline for (@typeInfo(Action).Struct.fields) |field| {
+        inline for (@field(@typeInfo(Actions), @tagName(Struct)).fields) |player| {
+            inline for (@field(@typeInfo(Action), @tagName(Struct)).fields) |field| {
                 const a_val = @field(@field(a, player.name), field.name);
                 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))
+                    Enum => if ((@intFromEnum(a_val) > 0) != (@intFromEnum(b_val) > 0))
                         return false,
-                    .Int => if ((a_val > 0) != (b_val > 0)) return false,
+                    Int => if ((a_val > 0) != (b_val > 0)) return false,
                     else => unreachable,
                 }
             }
@@ -92,14 +89,10 @@ pub const Actions = extern struct {
     }
 };
 
-// TODO: ziglang/zig#19730
 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));
@@ -112,10 +105,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) {
@@ -140,12 +145,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
+    attacking: Optional(Observation) = .None,
+    /// TODO
+    binding: Optional(Observation) = .None,
+
+    _: u1 = 0,
 
     /// 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,
+
+    /// TODO
+    pp: u4 = 0,
     /// If not 0, the value (2-5) to return for Rolls.distribution for multi hit.
     multi_hit: u4 = 0,
 
@@ -155,15 +173,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);
@@ -172,22 +183,10 @@ pub const Action = packed struct(u64) {
     pub fn fmt(self: Action, writer: anytype, shape: bool) !void {
         try writer.writeByte('(');
         var printed = false;
-        inline for (@typeInfo(Action).Struct.fields) |field| {
+        inline for (@field(@typeInfo(Action), @tagName(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) {
+                Enum => if (val != .None) {
                     if (printed) try writer.writeAll(", ");
                     if (shape) {
                         try writer.print("{s}:?", .{field.name});
@@ -196,12 +195,19 @@ 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) });
                     }
                     printed = true;
                 },
-                .Int => if (val != 0) {
+                Int => if (val != 0) {
                     if (printed) try writer.writeAll(", ");
                     if (shape) {
                         try writer.print("{s}:?", .{field.name});
@@ -217,43 +223,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);
+        assert(@sizeOf(Durations) == 8);
+    }
+
+    /// TODO
+    pub fn get(self: anytype, player: Player) PointerType(@TypeOf(self), Duration) {
+        assert(isPointerTo(self, 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.
+const Sleeps = Array(6, u3);
+
+/// TODO
+pub const Duration = packed struct(u32) {
+    sleeps: Sleeps.T = 0,
     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.
     binding: u3 = 0,
 
-    pub const Field = std.meta.FieldEnum(Duration);
+    _: u1 = 0,
+
+    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 (@field(@typeInfo(Duration), @tagName(Struct)).fields) |field| {
+            const val = @field(self, field.name);
+            switch (@typeInfo(@TypeOf(val))) {
+                Int => if (val != 0) {
+                    if (printed) try writer.writeAll(", ");
+                    if (comptime std.mem.eql(u8, field.name, "sleeps")) {
+                        try writer.print("{s}:[", .{field.name});
+                        for (0..6) |i| {
+                            if (i != 0) try writer.writeByte(',');
+                            try writer.print("{d}", .{Sleeps.get(val, i)});
+                        }
+                        try writer.writeAll("]");
+                    } else {
+                        try writer.print("{s}:{d}", .{ field.name, val });
+                    }
+                    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;
 
@@ -268,14 +311,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,
@@ -299,7 +336,7 @@ pub fn Chance(comptime Rational: type) type {
             damage_roll: u8 = 0,
             hit: bool = false,
             hit_probablity: uN = 0,
-            binding: u8 = 0,
+            glitch: bool = false,
         } = .{},
 
         /// Possible error returned by operations tracking chance probability.
@@ -310,7 +347,7 @@ pub fn Chance(comptime Rational: type) type {
             if (!enabled) return;
 
             self.probability.reset();
-            self.actions.reset();
+            self.actions = .{};
             self.pending = .{};
         }
 
@@ -319,20 +356,18 @@ pub fn Chance(comptime Rational: type) type {
 
             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 (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 == .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;
             }
-            if (kind == .binding) 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;
@@ -342,13 +377,19 @@ pub fn Chance(comptime Rational: type) type {
             // 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)
-            if (kind != .hit) return assert(!self.pending.crit or self.pending.crit_probablity > 0);
+            // 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;
-            }
+            } else assert(!self.pending.glitch);
 
             if (self.pending.damage_roll > 0) {
                 try self.probability.update(1, 39);
@@ -356,41 +397,37 @@ pub fn Chance(comptime Rational: type) type {
             }
         }
 
-        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 = Sleeps.get(d.sleeps, 0);
+            d.sleeps = Sleeps.set(d.sleeps, 0, Sleeps.get(d.sleeps, slot - 1));
+            d.sleeps = Sleeps.set(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.attacking = 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 {
@@ -489,108 +526,170 @@ 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) {
+                        var d = self.durations.get(player);
+                        d.sleeps = Sleeps.set(d.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) {
+                        var d = self.durations.get(player);
+                        d.sleeps = Sleeps.set(d.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 = Sleeps.get(d.sleeps, 0);
+
+            if (obs == .None) {
+                d.sleeps = Sleeps.set(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 = Sleeps.set(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 = Sleeps.set(d.sleeps, 0, n + 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 attacking(self: *Self, player: Player, obs: Optional(Observation)) Error!void {
             if (!enabled) return;
 
-            var durations = &self.actions.get(player).durations;
-            const n = durations.attacking;
-            if (turns == 0) {
+            var a = self.actions.get(player);
+            assert(a.attacking == .None or a.attacking == .started);
+            a.attacking = obs;
+
+            var d = self.durations.get(player);
+            const n = d.attacking;
+            if (obs == .ended) {
                 assert(n >= 2 and n <= 3);
                 if (n != 3) try self.probability.update(1, 4 - @as(u4, n));
-                durations.attacking = 0;
+                d.attacking = 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;
+                d.attacking += 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;
             }
         }
 
@@ -607,6 +706,15 @@ pub fn Chance(comptime Rational: type) type {
             try self.probability.update(1, Move.METRONOME.len);
             self.actions.get(player).metronome = move;
         }
+
+        pub fn pp(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;
+        }
     };
 }
 
@@ -707,16 +815,16 @@ test "Chance.damage" {
 
     try chance.damage(.P1, 217);
     if (showdown) {
-        try expectValue(217, chance.actions.p1.damage);
+        try expectValue(@as(u8, 217), chance.actions.p1.damage);
         try expectProbability(&chance.probability, 1, 39);
     } else {
         try expectProbability(&chance.probability, 1, 1);
-        try expectValue(0, chance.actions.p1.damage);
+        try expectValue(@as(u8, 0), chance.actions.p1.damage);
 
         try chance.commit(.P1, .hit);
 
         try expectProbability(&chance.probability, 1, 39);
-        try expectValue(217, chance.actions.p1.damage);
+        try expectValue(@as(u8, 217), chance.actions.p1.damage);
     }
 }
 
@@ -768,13 +876,13 @@ test "Chance.moveSlot" {
 
     try chance.moveSlot(.P2, 2, &ms, 2);
     try expectProbability(&chance.probability, 1, 2);
-    try expectValue(2, chance.actions.p2.move_slot);
+    try expectValue(@as(u4, 2), chance.actions.p2.move_slot);
 
     chance.reset();
 
     try chance.moveSlot(.P1, 1, &ms, 0);
     try expectProbability(&chance.probability, 1, 3);
-    try expectValue(1, chance.actions.p1.move_slot);
+    try expectValue(@as(u4, 1), chance.actions.p1.move_slot);
 }
 
 test "Chance.multiHit" {
@@ -782,51 +890,43 @@ test "Chance.multiHit" {
 
     try chance.multiHit(.P1, 3);
     try expectProbability(&chance.probability, 3, 8);
-    try expectValue(3, chance.actions.p1.multi_hit);
+    try expectValue(@as(u4, 3), chance.actions.p1.multi_hit);
 
     chance.reset();
 
     try chance.multiHit(.P2, 5);
     try expectProbability(&chance.probability, 1, 8);
-    try expectValue(5, chance.actions.p2.multi_hit);
+    try expectValue(@as(u4, 5), chance.actions.p2.multi_hit);
 }
 
 test "Chance.duration" {
     var chance: Chance(rational.Rational(u64)) = .{ .probability = .{} };
 
-    chance.duration(.sleep, .P1, .P2, 2);
-    try expectValue(2, chance.actions.p1.duration);
-    try expectValue(1, chance.actions.p2.durations.sleep);
+    chance.duration(.P1, 2);
+    try expectValue(@as(u4, 2), chance.actions.p1.duration);
 
     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);
-    }
-    try expectValue(4, chance.actions.p2.duration);
-    try expectValue(1, chance.actions.p2.durations.binding);
+    chance.duration(.P2, 4);
+    try expectValue(@as(u4, 4), chance.actions.p2.duration);
 }
 
 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 = Sleeps.set(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(@as(u3, 0), Sleeps.get(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 = Sleeps.set(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, Sleeps.get(chance.durations.p1.sleeps, 0));
 
             chance.reset();
         }
@@ -838,19 +938,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(@as(u3, 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();
         }
@@ -861,18 +961,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(@as(u4, 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();
         }
@@ -884,19 +984,19 @@ test "Chance.attacking" {
 
     for ([_]u8{ 1, 2, 1 }, 1..4) |d, i| {
         if (i > 1) {
-            chance.actions.p2.durations.attacking = @intCast(i);
-            try chance.attacking(.P2, 0);
+            chance.durations.p2.attacking = @intCast(i);
+            try chance.attacking(.P2, .ended);
             try expectProbability(&chance.probability, 1, d);
-            try expectValue(0, chance.actions.p2.durations.attacking);
+            try expectValue(@as(u3, 0), chance.durations.p2.attacking);
 
             chance.reset();
         }
 
         if (i < 3) {
-            chance.actions.p2.durations.attacking = @intCast(i);
-            try chance.attacking(.P2, 1);
+            chance.durations.p2.attacking = @intCast(i);
+            try chance.attacking(.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.attacking);
+            try expectValue(@as(u3, @intCast(i)) + 1, chance.durations.p2.attacking);
 
             chance.reset();
         }
@@ -910,18 +1010,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(@as(u3, 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();
         }
@@ -933,7 +1033,7 @@ test "Chance.psywave" {
 
     try chance.psywave(.P2, 100, 150);
     try expectProbability(&chance.probability, 1, 150);
-    try expectValue(101, chance.actions.p2.psywave);
+    try expectValue(@as(u8, 101), chance.actions.p2.psywave);
 }
 
 test "Chance.metronome" {
@@ -971,16 +1071,16 @@ 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 {
@@ -1019,34 +1119,37 @@ 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 attacking(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 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 {
@@ -1056,4 +1159,9 @@ const Null = struct {
     pub fn metronome(self: Null, player: Player, move: Move) Error!void {
         _ = .{ self, player, move };
     }
+
+    pub fn pp(self: Null, player: Player, n: u4) bool {
+        _ = .{ self, player, n };
+        return true;
+    }
 };