docs: OpenMV-accuracy audit of library reference + TLS tutorial

Scrub the MicroPython library docs for OpenMV correctness, verified
against the openmv firmware sources:

- Replace non-OpenMV port hedging and generic "Availability" notes with
  OpenMV-accurate statements (deflate, gzip, zlib, types,
  string.templatelib, sys, time, errno, hashlib, builtins, io, socket,
  select, re, os, random, platform).
- Fix factual errors verified against firmware config: sys.platform
  examples, time epoch (STM32 2000 vs Alif/i.MX RT 1970), ticks_cpu,
  sys.settrace / sys.tracebacklimit availability.
- Model re.match as a class (matching select.poll) to remove the
  genpyi function/class shadowing.
- Replace `= ...` placeholder defaults with correct defaults across
  machine.*, network.LAN, math, omv.ulab.numpy, omv.display.spidisplay.
- Add the "Working with TLS certificates" tutorial and link it from the
  ssl module documentation.

genpyi + verify_stubs pass (0 skipped, all signatures match).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: kwagyeman

docs/library/builtins.rst

@@ -423,7 +423,7 @@ Functions and types
       changes to the dictionary and supports iteration, :func:`len`, the
       ``in`` operator and set-comparison operators.
 
-   .. method:: pop(key: Any, default: Any = ...) -> Any
+   .. method:: pop(key: Any, default: Any = None) -> Any
 
       Remove *key* from the dictionary and return its value. If *key* is not
       present, return *default* if it was supplied; otherwise raise
@@ -546,7 +546,7 @@ Functions and types
       MicroPython only a single *other* argument is accepted (CPython accepts
       multiple).
 
-.. function:: getattr(obj: Any, name: str, default: Any = ...) -> Any
+.. function:: getattr(obj: Any, name: str, default: Any = None) -> Any
 
    Return the value of the named attribute of *obj*. If the attribute does not
    exist, *default* is returned if provided, otherwise :exc:`AttributeError` is
@@ -607,7 +607,7 @@ Functions and types
    Return ``True`` if *cls* is a subclass (direct, indirect, or virtual) of
    *classinfo*.
 
-.. function:: iter(obj: Any, sentinel: Any = ...) -> Iterator[Any]
+.. function:: iter(obj: Any, sentinel: Any = None) -> Iterator[Any]
 
    Return an iterator object. With one argument, *obj* must support the
    iteration protocol. With two arguments, *obj* must be callable and iteration
@@ -686,7 +686,7 @@ Functions and types
    Return an iterator that applies *function* to every item of *iterables*,
    yielding the results.
 
-.. function:: max(*args: Any, key: Optional[Callable[[Any], Any]] = None, default: Any = ...) -> Any
+.. function:: max(*args: Any, key: Optional[Callable[[Any], Any]] = None, default: Any = None) -> Any
 
    With a single iterable argument, return its largest item. With two or more
    arguments, return the largest argument.
@@ -698,12 +698,12 @@ Functions and types
     access and slicing of the underlying memory; slicing a memoryview returns
     another memoryview rather than a copy.
 
-.. function:: min(*args: Any, key: Optional[Callable[[Any], Any]] = None, default: Any = ...) -> Any
+.. function:: min(*args: Any, key: Optional[Callable[[Any], Any]] = None, default: Any = None) -> Any
 
    With a single iterable argument, return its smallest item. With two or more
    arguments, return the smallest argument.
 
-.. function:: next(iterator: Iterator[Any], default: Any = ...) -> Any
+.. function:: next(iterator: Iterator[Any], default: Any = None) -> Any
 
    Retrieve the next item from *iterator*. If *default* is given and the
    iterator is exhausted, *default* is returned instead of raising
@@ -1124,10 +1124,7 @@ Exceptions
     Raised by :func:`sys.exit` to request interpreter termination.  Unlike
     most exceptions, it does not produce a traceback when uncaught.
 
-    On non-embedded ports (i.e. Windows and Unix), an unhandled ``SystemExit``
-    exits the MicroPython process in a similar way to CPython.
-
-    On embedded ports, an unhandled ``SystemExit`` currently causes a
+    On the OpenMV Cam, an unhandled ``SystemExit`` currently causes a
     :ref:`soft_reset` of MicroPython.
 
 .. exception:: TypeError

docs/library/collections.rst

@@ -84,8 +84,6 @@ Classes
        :noindex:
 
        Return the field names and their values as an :class:`OrderedDict`.
-       (``namedtuple`` builds types dynamically, so this method has no fixed
-       host class to attach to in the API model.)
 
 .. class:: OrderedDict(*args: Any, **kwargs: Any)
 

docs/library/deflate.rst

@@ -12,12 +12,10 @@ This module allows compression and decompression of binary data with the
 
 * Added in MicroPython v1.21.
 
-* Decompression: Enabled via the ``MICROPY_PY_DEFLATE`` build option, on by default
-  on ports with the "extra features" level or higher (which is most boards).
+* **Decompression** is available on all OpenMV Cams.
 
-* Compression: Enabled via the ``MICROPY_PY_DEFLATE_COMPRESS`` build option, on
-  by default on ports with the "full features" level or higher (generally this means
-  you need to build your own firmware to enable this).
+* **Compression** is **not** available on the STM32-based OpenMV Cams. It is
+  available only on the Alif- and i.MX RT-based OpenMV Cams.
 
 Classes
 -------

docs/library/errno.rst

@@ -4,19 +4,17 @@
 .. module:: errno
    :synopsis: system error codes
 
-This module provides access to symbolic error codes for :exc:`OSError` exception,
-along with the :data:`errorcode` dictionary mapping numeric codes back to
-their symbolic names.  The particular inventory of codes depends on the
-:term:`MicroPython port`.
+This module provides access to symbolic error codes for the :exc:`OSError`
+exception, along with the :data:`errorcode` dictionary mapping numeric codes
+back to their symbolic names.
 
 Constants
 ---------
 
 The error codes below are based on the ANSI C / POSIX standard; each is an
-integer whose symbolic name starts with ``E``. As noted above, the inventory
-of codes depends on the :term:`MicroPython port`; these are the codes provided
-by the default MicroPython build. An error code is usually accessed as
-``exc.errno`` where ``exc`` is an instance of :exc:`OSError`. Usage example::
+integer whose symbolic name starts with ``E``. These are the codes provided on
+the OpenMV Cam. An error code is usually accessed as ``exc.errno`` where
+``exc`` is an instance of :exc:`OSError`. Usage example::
 
     try:
         os.mkdir("my_dir")

docs/library/gzip.rst

@@ -17,16 +17,17 @@ file or stream object.
 
 **Availability:**
 
-* This module is **not present by default** in official MicroPython firmware
-  releases as it duplicates functionality available in the :mod:`deflate
-  <deflate>` module.
+* This module is **not included on the OpenMV Cam** by default, as it
+  duplicates functionality already provided by the :mod:`deflate <deflate>`
+  module.
 
-* A copy of this module can be installed (or frozen)
+* A copy can be installed (or frozen into custom firmware)
   from :term:`micropython-lib` (`source <https://github.com/micropython/micropython-lib/blob/master/python-stdlib/gzip/gzip.py>`_).
   See :ref:`packages` for more information. This documentation describes that module.
 
-* Compression support will only be available if compression support is enabled
-  in the built-in :mod:`deflate <deflate>` module.
+* Compression is only available if compression is available in the built-in
+  :mod:`deflate <deflate>` module -- that is, not on the STM32-based OpenMV
+  Cams (see its availability note above).
 
 Functions
 ---------

docs/library/hashlib.rst

@@ -6,23 +6,19 @@
 
 This module implements binary data hashing algorithms.  Each algorithm is
 exposed as a class whose instances accept incremental data via
-``update()`` and produce a fixed-size digest via ``digest()``.  The
-exact inventory of available algorithms depends on the board.  Among the
-algorithms which may be implemented:
-
-* SHA256 - The current generation, modern hashing algorithm (of SHA2 series).
-  It is suitable for cryptographically-secure purposes. Included in the
-  MicroPython core and any board is recommended to provide this, unless
-  it has particular code size constraints.
-
-* SHA1 - A previous generation algorithm. Not recommended for new usages,
-  but SHA1 is a part of number of Internet standards and existing
-  applications, so boards targeting network connectivity and
-  interoperability will try to provide this.
-
-* MD5 - A legacy algorithm, not considered cryptographically secure. Only
-  selected boards, targeting interoperability with legacy applications,
-  will offer this.
+``update()`` and produce a fixed-size digest via ``digest()``.  The OpenMV
+Cam provides three algorithms:
+
+* SHA256 - The current generation, modern hashing algorithm (of the SHA-2
+  series). It is suitable for cryptographically-secure purposes and is always
+  available.
+
+* SHA1 - A previous generation algorithm. Not recommended for new uses, but
+  SHA1 is part of a number of Internet standards and existing applications,
+  so it remains available.
+
+* MD5 - A legacy algorithm, not considered cryptographically secure. Provided
+  for interoperability with legacy applications.
 
 Classes
 -------