@pkmn/engine 0.1.0-dev.2ad317f2 → 0.1.0-dev.2c426670

package/src/lib/gen1/chance.zig

@@ -14,12 +14,14 @@ const util = @import("../common/util.zig");
 const Player = @import("../common/data.zig").Player;
 const Optional = @import("../common/optional.zig").Optional;
 
-const Move = @import("data.zig").Move;
-const MoveSlot = @import("data.zig").MoveSlot;
+const data = @import("data.zig");
 
 const enabled = options.chance;
 const showdown = options.showdown;
 
+const Move = data.Move;
+const MoveSlot = data.MoveSlot;
+
 /// 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
@@ -35,19 +37,13 @@ pub const Actions = extern struct {
     }
 
     /// Returns the `Action` for the given `player`.
-    pub inline fn get(self: anytype, player: Player) util.PointerType(@TypeOf(self), Action) {
+    pub fn get(self: anytype, player: Player) util.PointerType(@TypeOf(self), Action) {
         assert(@typeInfo(@TypeOf(self)).Pointer.child == Actions);
         return if (player == .P1) &self.p1 else &self.p2;
     }
 
-    /// Perform a reset by clearing fields which should not persist across updates.
-    pub inline fn reset(self: *Actions) void {
-        self.p1.reset();
-        self.p2.reset();
-    }
-
     /// Returns true if `a` is equal to `b`.
-    pub inline fn eql(a: Actions, b: Actions) bool {
+    pub fn eql(a: Actions, b: Actions) bool {
         return @as(u128, @bitCast(a)) == @as(u128, @bitCast(b));
     }
 
@@ -61,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,
@@ -94,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));
@@ -109,13 +97,25 @@ 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 {
+pub const Action = packed struct(u64) {
     /// If not 0, the roll to be returned Rolls.damage.
     damage: u8 = 0,
 
@@ -137,8 +137,15 @@ pub const Action = packed struct {
     /// 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,
+    confusion: Optional(Confusion) = .None,
+    disable: Optional(Observation) = .None,
+    bide: Optional(Observation) = .None,
+    binding: Optional(Observation) = .None,
+    thrashing: Optional(Observation) = .None,
+
+    _: u3 = 0, // TODO
 
     /// 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.
@@ -152,19 +159,8 @@ pub const Action = packed struct {
     /// 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);
 
-    comptime {
-        assert(@sizeOf(Action) == 8);
-    }
-
-    /// Perform a reset by clearing fields which should not persist across updates.
-    pub inline 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);
@@ -176,18 +172,6 @@ pub const Action = packed struct {
         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) {
@@ -197,6 +181,13 @@ pub const Action = packed struct {
                             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) });
                     }
@@ -218,47 +209,80 @@ pub const Action = packed struct {
     }
 };
 
-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 {
-    /// 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);
-
-    comptime {
-        assert(@sizeOf(Duration) == 2);
+    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 };
+
+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.
@@ -271,14 +295,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,
@@ -296,16 +314,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.
@@ -313,25 +328,25 @@ 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);
+
             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)
@@ -340,59 +355,62 @@ pub fn Chance(comptime Rational: type) type {
                 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 {
@@ -403,12 +421,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 {
@@ -486,109 +509,134 @@ 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) 1 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) {
-                assert(n >= 1 and n <= 7);
-                if (n != 7) try self.probability.update(1, 8 - @as(u4, n));
-                durations.sleep = 0;
-            } else {
-                assert(n >= 1 and n < 7);
-                try self.probability.update(8 - @as(u4, n) - 1, 8 - @as(u4, n));
-                durations.sleep += 1;
-            }
+            var a = self.actions.get(player);
+            var d = self.durations.get(player);
+
+            assert(a.sleep == .None or a.sleep == .started);
+
+            a.sleep = obs;
+            d.sleeps[0] = update(d.sleeps[0], obs);
         }
 
-        pub fn disable(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.disable;
-            if (turns == 0) {
-                assert(n >= 1 and n <= 8);
-                if (n != 8) try self.probability.update(1, 9 - @as(u4, n));
-                durations.disable = 0;
-            } else {
-                assert(n >= 1 and n < 8);
-                try self.probability.update(9 - @as(u4, n) - 1, 9 - @as(u4, n));
-                durations.disable += 1;
+            var a = self.actions.get(player);
+            var d = self.durations.get(player);
+
+            if (obs == .overwritten) {
+                assert(a.confusion == .started or a.confusion == .continuing);
+                assert(a.duration > 0);
+                a.confusion = obs;
+                d.confusion = 1;
+                return;
             }
+
+            assert(a.confusion == .None or a.confusion == .started);
+
+            a.confusion = obs;
+            d.confusion = update(d.confusion, @enumFromInt(@intFromEnum(obs)));
         }
 
-        pub fn confusion(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.confusion;
-            if (turns == 0) {
-                assert(n >= 2 and n <= 5);
-                if (n != 5) try self.probability.update(1, 6 - @as(u4, n));
-                durations.confusion = 0;
-            } else {
-                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;
-            }
+            var a = self.actions.get(player);
+            var d = self.durations.get(player);
+
+            assert(a.disable == .None or a.disable == .started);
+
+            a.disable = obs;
+            d.disable = update(d.disable, obs);
         }
 
-        pub fn attacking(self: *Self, player: Player, turns: u4) Error!void {
+        pub fn bide(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) {
-                assert(n >= 2 and n <= 3);
-                if (n != 3) try self.probability.update(1, 4 - @as(u4, n));
-                durations.attacking = 0;
-            } else {
-                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;
-            }
+            var a = self.actions.get(player);
+            var d = self.durations.get(player);
+
+            assert(a.bide == .None or a.bide == .started);
+
+            a.bide = obs;
+            d.bide = update(d.bide, obs);
         }
 
-        pub fn binding(self: *Self, player: Player, turns: u4) Error!void {
+        pub fn thrashing(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);
+            var d = self.durations.get(player);
 
-            assert(n > 0);
-            const p: u4 = if (n < 3) 3 else 1;
-            const q: u4 = if (n < 3) 8 - ((n - 1) * p) else 2;
+            assert(a.thrashing == .None or a.thrashing == .started);
 
-            if (turns == 0) {
-                assert(n >= 1 and n <= 4);
-                if (n != 4) try self.probability.update(p, q);
-                durations.binding = 0;
-            } else {
-                assert(n >= 1 and n < 4);
-                try self.probability.update(q - p, q);
-                durations.binding += 1;
-            }
+            a.thrashing = obs;
+            d.thrashing = update(d.thrashing, obs);
+        }
+
+        pub fn binding(self: *Self, player: Player, obs: Optional(Observation)) Error!void {
+            if (!enabled) return;
+
+            var a = self.actions.get(player);
+            var d = self.durations.get(player);
+
+            assert(a.binding == .None or a.binding == .started);
+
+            a.binding = obs;
+            d.binding = update(d.binding, obs);
         }
 
         pub fn psywave(self: *Self, player: Player, power: u8, max: u8) Error!void {
@@ -601,12 +649,20 @@ pub fn Chance(comptime Rational: type) type {
         pub fn metronome(self: *Self, player: Player, move: Move) Error!void {
             if (!enabled) return;
 
-            try self.probability.update(1, Move.size - 2);
+            try self.probability.update(1, Move.METRONOME.len);
             self.actions.get(player).metronome = move;
         }
     };
 }
 
+fn update(n: anytype, obs: Optional(Observation)) @TypeOf(n) {
+    return switch (obs) {
+        .None, .ended => 0,
+        .started => 1,
+        .continuing => n + 1,
+    };
+}
+
 test "Chance.speedTie" {
     var chance: Chance(rational.Rational(u64)) = .{ .probability = .{} };
 
@@ -626,19 +682,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);
 }
@@ -654,26 +716,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);
-
-        chance.hit(true, 128);
+        try chance.hit(.P1, 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);
     }
@@ -688,20 +742,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);
-
-        chance.hit(true, 128);
+        try chance.hit(.P1, 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,19 +760,16 @@ test "Chance.damage" {
 
     try chance.damage(.P1, 217);
     if (showdown) {
-        try expectValue(@as(u8, 217), chance.actions.p1.damage);
+        try expectValue(217, chance.actions.p1.damage);
         try expectProbability(&chance.probability, 1, 39);
     } else {
         try expectProbability(&chance.probability, 1, 1);
-        try expectValue(@as(u8, 0), chance.actions.p1.damage);
-
-        try chance.commit(.P1, .miss);
-        try expectProbability(&chance.probability, 1, 1);
-        try expectValue(@as(u8, 0), chance.actions.p1.damage);
+        try expectValue(0, chance.actions.p1.damage);
 
         try chance.commit(.P1, .hit);
+
         try expectProbability(&chance.probability, 1, 39);
-        try expectValue(@as(u8, 217), chance.actions.p1.damage);
+        try expectValue(217, chance.actions.p1.damage);
     }
 }
 
@@ -776,13 +821,13 @@ test "Chance.moveSlot" {
 
     try chance.moveSlot(.P2, 2, &ms, 2);
     try expectProbability(&chance.probability, 1, 2);
-    try expectValue(@as(u4, 2), chance.actions.p2.move_slot);
+    try expectValue(2, chance.actions.p2.move_slot);
 
     chance.reset();
 
     try chance.moveSlot(.P1, 1, &ms, 0);
     try expectProbability(&chance.probability, 1, 3);
-    try expectValue(@as(u4, 1), chance.actions.p1.move_slot);
+    try expectValue(1, chance.actions.p1.move_slot);
 }
 
 test "Chance.multiHit" {
@@ -790,127 +835,25 @@ test "Chance.multiHit" {
 
     try chance.multiHit(.P1, 3);
     try expectProbability(&chance.probability, 3, 8);
-    try expectValue(@as(u4, 3), chance.actions.p1.multi_hit);
+    try expectValue(3, chance.actions.p1.multi_hit);
 
     chance.reset();
 
     try chance.multiHit(.P2, 5);
     try expectProbability(&chance.probability, 1, 8);
-    try expectValue(@as(u4, 5), chance.actions.p2.multi_hit);
+    try expectValue(5, chance.actions.p2.multi_hit);
 }
 
 test "Chance.duration" {
     var chance: Chance(rational.Rational(u64)) = .{ .probability = .{} };
 
-    chance.duration(.sleep, .P1, .P2, 2);
-    try expectValue(@as(u4, 2), chance.actions.p1.duration);
-    try expectValue(@as(u3, 1), chance.actions.p2.durations.sleep);
+    chance.duration(.P1, 2);
+    try expectValue(2, chance.actions.p1.duration);
 
     chance.reset();
 
-    chance.duration(.binding, .P2, .P2, 4);
-    if (!showdown) {
-        try expectValue(@as(u4, 0), chance.actions.p2.duration);
-        try expectValue(@as(u3, 0), chance.actions.p2.durations.binding);
-        try chance.commit(.P2, .hit);
-    }
-    try expectValue(@as(u4, 4), chance.actions.p2.duration);
-    try expectValue(@as(u3, 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);
-        try expectProbability(&chance.probability, 1, d);
-        try expectValue(@as(u3, 0), chance.actions.p1.durations.sleep);
-
-        chance.reset();
-
-        if (i < 7) {
-            chance.actions.p1.durations.sleep = @intCast(i);
-            try chance.sleep(.P1, 1);
-            try expectProbability(&chance.probability, d - 1, d);
-            try expectValue(@as(u3, @intCast(i)) + 1, chance.actions.p1.durations.sleep);
-
-            chance.reset();
-        }
-    }
-}
-
-test "Chance.confusion" {
-    var chance: Chance(rational.Rational(u64)) = .{ .probability = .{} };
-
-    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);
-            try expectProbability(&chance.probability, 1, d);
-            try expectValue(@as(u3, 0), chance.actions.p2.durations.confusion);
-
-            chance.reset();
-        }
-
-        if (i < 5) {
-            chance.actions.p2.durations.confusion = @intCast(i);
-            try chance.confusion(.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.confusion);
-
-            chance.reset();
-        }
-    }
-}
-
-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(@as(u3, 0), chance.actions.p2.durations.attacking);
-
-            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);
-
-            chance.reset();
-        }
-    }
-}
-
-test "Chance.binding" {
-    var chance: Chance(rational.Rational(u64)) = .{ .probability = .{} };
-
-    const ps = [_]u8{ 3, 3, 1, 1 };
-    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);
-        try expectProbability(&chance.probability, p, q);
-        try expectValue(@as(u3, 0), chance.actions.p1.durations.binding);
-
-        chance.reset();
-
-        if (i < 4) {
-            chance.actions.p1.durations.binding = @intCast(i);
-            try chance.binding(.P1, 1);
-            try expectProbability(&chance.probability, q - p, q);
-            try expectValue(@as(u3, @intCast(i)) + 1, chance.actions.p1.durations.binding);
-
-            chance.reset();
-        }
-    }
+    chance.duration(.P2, 4);
+    try expectValue(4, chance.actions.p2.duration);
 }
 
 test "Chance.psywave" {
@@ -918,7 +861,7 @@ test "Chance.psywave" {
 
     try chance.psywave(.P2, 100, 150);
     try expectProbability(&chance.probability, 1, 150);
-    try expectValue(@as(u8, 101), chance.actions.p2.psywave);
+    try expectValue(101, chance.actions.p2.psywave);
 }
 
 test "Chance.metronome" {
@@ -947,7 +890,7 @@ pub fn expectValue(a: anytype, b: anytype) !void {
 
 /// Null object pattern implementation of Generation I `Chance` which does nothing, though chance
 /// tracking should additionally be turned off entirely via `options.chance`.
-pub const NULL = Null{};
+pub const NULL: Null = .{};
 
 const Null = struct {
     pub const Error = error{};
@@ -956,24 +899,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 {
@@ -984,10 +927,6 @@ const Null = struct {
         _ = .{ self, player, roll };
     }
 
-    pub fn secondaryChance(self: Null, player: Player, proc: bool, rate: u8) Error!void {
-        _ = .{ self, player, proc, rate };
-    }
-
     pub fn confused(self: Null, player: Player, ok: bool) Error!void {
         _ = .{ self, player, ok };
     }
@@ -996,6 +935,10 @@ const Null = struct {
         _ = .{ self, player, ok };
     }
 
+    pub fn secondaryChance(self: Null, player: Player, proc: bool, rate: u8) Error!void {
+        _ = .{ self, player, proc, rate };
+    }
+
     pub fn moveSlot(self: Null, player: Player, slot: u4, ms: []const MoveSlot, n: u4) Error!void {
         _ = .{ self, player, slot, ms, n };
     }
@@ -1004,34 +947,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 {