Artifact Description [901c934545]

Artifact 901c9345456481c185859168fc69422bc2c86e3470ca040b09881369e2af445e:

• File src/cmd/checkout.zig
  • 2026-07-20 03:55:24 — part of check-in [99e0c73447] on branch h5b-verbasserts — cmd: TigerStyle assert-density pass over the verb layer

    Mirror the H5a assert idiom (state invariants that already hold, no behavior change) across the split read and mutating verbs. Asserts only; wire output and exit codes unchanged.

    history.zig read verbs: - decodeFullId: a validated name decodes to a whole 20/32-byte digest, never a truncated prefix. - walkLog: every checkin/phantom line renders a full valid name, and the -n cap (parseLimitValue maps 0 to null) never overruns. - stat --artifacts / timeline: the listing projects the walked rid set, is capped by -n, and the printed count matches it. - tag add: the mint targets a check-in by its full artifact id.

    checkout.zig mutating verbs: - update/amend: the applied/amended target is a full artifact id. - bisect: both endpoints present before the span move. - merge: exactly one pending op (merge_parent XOR special_op) before applyMerge; revert restores only managed paths. - commit: checkout record and managed set agree before the manifest assembles; root has no pending op, merge and special exclusive, a child's parent resolved, every captured card tracked. (user: dmestas, size: 111440) [annotate] [blame] [check-ins using]

  • 2026-07-20 04:00:35 — part of check-in [58763bb760] on branch trunk — Merge h5b-verbasserts: TigerStyle asserts on the cmd verb layer

    The companion to the library assert pass, now on the two split verb files. Eighteen asserts stating invariants that already hold: in the read verbs (cmd/history.zig), that a name decodes to a full digest before it is rendered and that a windowed or -n-capped listing's shown count matches the walked set; in the mutating verbs (cmd/checkout.zig), the preconditions at each destructive entry -- a full valid target id before update, both bisect endpoints present, exactly one pending merge or special op, every revert target in the managed set, and the checkout-record and managed-set agreement commit assembles a manifest from. Asserts only, no behaviour change; all sit on paths the e2e and simulation sweeps already drive, and all survive them. No assert fired, so no finding. (user: dmestas, size: 111440) [annotate] [blame] [check-ins using]