Users had no easy way to spot sale invoices that are broken from a
Veri*Factu standpoint. Invoices that fail local validation before
anything is sent (e.g. more than one main tax on a line) generate a
l10n_es_edi_verifactu.document that could never be generated or sent
to the AEAT. These never showed up as broken anywhere and could sit
unnoticed until someone opened the invoice's Veri*Factu tab.

Add an 'invalid' state to l10n_es_edi_verifactu.document, set when a
document ends up with errors because it could not be generated (local
validation, XSD, chaining...), next to the existing 'rejected' state
(document actually sent to and rejected by the AEAT). Keeping the two
states distinct and on the document itself matters: 'rejected' keeps
its documented meaning of "sent and rejected", and only a real AEAT
rejection makes the next submission carry Subsanacion/RechazoPrevio.

Add a "Veri*Factu Error(s)" entry to the sale journal's dashboard
kanban card, with its own search filter, matching both 'rejected' and
'invalid' invoices, so they are visible from the accounting dashboard
without having to open each one individually.

task-6463206

---
I confirm I have signed the CLA and read the PR guidelines at www.odoo.com/submit-pr

Forward-Port-Of: odoo/odoo#289583

The tax details query was very complicated for basically the affect base amount cases and with the enduring perf problems in India we decided to simplify.  Also, the only case where we know this is needed, is the one for Ecotrel taxes in LU.

Those however, can be reported diffently:
if you have 100€ + 2% + 21%, as we have the tax_i

 on the tax line of 2%, the 2% can also be reported
as a regular invoice line (at least in SAF-T) with 21% tax. So, in the query, we basically add the 2% tax line as well as base line and the query automatically calculates what is needed.

However, we need to match the tax_ids of the base line with the tax_ids of the tax line such that if you have 100€ + 2% + 21% and 100€ + 2% + 6%, the 2%s are correctly matched.

Before, the query had a fallback in case the base and tax lines do not match. Here we just make sure that when the repartition line has no account, we check that the base line has the same account as the tax line. As in the query, we need to make sure that one base line per child tax only goes to one tax line.

In terms of perf, checking on a 18 db for l10n_in where it was already rather slow with the same domain, we go from 1m32 with the old query to 14s with this new simplified one. This is on a  real database with many amls for the period. (400k)

Testing locally with 10M amls, the old query just does not pass, but the simplified still does in a little more than 200s.

task-3941950

Enterprise PR - https://github.com/odoo/enterprise/pull/126867

Forward-Port-Of: odoo/odoo#289238

Current Implementation:
=======================
The current implementation of _get_l10n_in_gstr1_json relies on multiple
iterations over ORM recordsets. Since the ORM loads multiple fields rather than
only the required fields, memory consumption grows significantly for large
datasets (around 700 MB for 150K account move lines).

Additionally, the method builds a single large dictionary from _get_tax_details
that is tailored for the Indian GST reporting logic. Constructing and holding
this intermediate data structure further increases memory usage.

The combination of repeated Python loops, ORM overhead, and the large
intermediate dictionary results in high execution time and memory consumption,
causing the process to exceed the available time and memory limits for large
exports.

Solution:
=========
Instead of processing tax details through the ORM, create a sql query that return
result that group by base line and select other info that we need for GSTR1 JSON
Also use dictfetchmany with limit so we not have process the data in batch

This approach bypasses the ORM, fetching only the required columns instead of
entire records. Eliminates the need to build the large _get_tax_details
dictionary.

This significantly reduces memory usage, improves execution speed, and makes
the implementation simpler and easier to maintain.

task-3941950

Community PR - https://github.com/odoo/odoo/pull/289238

Forward-Port-Of: odoo/enterprise#126867