Cancel an Invoice (Anulación) via Verifactu

When to Cancel vs. When to Rectify

AEAT distinguishes two ways to correct an already-submitted invoice:

Situation	Action
The invoice was submitted to AEAT but the underlying commercial transaction should not have been invoiced at all, or the invoice was sent by mistake	Cancel (`InvoiceCancellation`)
The invoice was valid but details (amount, tax rate, recipient…) need correction	Rectify — issue a new `InvoiceSubmission` of type `R1`–`R5` referencing the original

Use InvoiceCancellation to annul a record. This creates a RegistroAnulacion entry in the AEAT ledger and does not issue a replacement invoice. Once cancelled, the original invoice cannot be amended further; a rectification invoice must be submitted if the underlying transaction still took place.

Cancelling a correctly-issued invoice to re-issue it with different amounts is not the right workflow. Always use a rectification invoice (R1–R5) for corrections that involve an actual commercial transaction. Using cancellation for amount changes may trigger AEAT audits.

Building an InvoiceCancellation Step by Step

Set the Invoice ID

The InvoiceId must match the original invoice exactly — same issuerNif, seriesNumber, and issueDate as the previously registered record.

use eseperio\verifactu\models\InvoiceCancellation;
use eseperio\verifactu\models\InvoiceId;

$cancellation = new InvoiceCancellation();

$invoiceId = new InvoiceId();
$invoiceId->issuerNif    = 'B12345678';    // Must match the original submission
$invoiceId->seriesNumber = 'FA2024/001';   // Must match the original submission
$invoiceId->issueDate    = '2024-07-01';   // Must match the original submission (YYYY-MM-DD)

$cancellation->setInvoiceId($invoiceId);

Set the Issuer Name

The issuerName field is required on cancellations (fix for issue #27). It must match the original issuer name submitted to AEAT.

$cancellation->issuerName = 'Empresa Ejemplo SL';

Configure Chaining

Just like invoice submissions, cancellations participate in the hash chain. Reference the hash of the most recent record in the chain (which may be an invoice submission or another cancellation).

use eseperio\verifactu\models\Chaining;

$chaining = new Chaining();

// Reference the previous record's hash
$chaining->setPreviousInvoice([
    'issuerNif'    => 'B12345678',
    'seriesNumber' => 'FA2024/001',       // series+number of the previous record
    'issueDate'    => '2024-07-01',       // issue date of the previous record
    'hash'         => '<sha256-hash-of-previous-record>',
]);

$cancellation->setChaining($chaining);

You do not calculate the cancellation’s own hash. Verifactu::cancelInvoice() calls HashGeneratorService::generate() internally before transmitting the SOAP request.

Set Up ComputerSystem

Attach the same ComputerSystem block used for invoice submissions. It identifies the invoicing software and its registered provider.

use eseperio\verifactu\models\ComputerSystem;
use eseperio\verifactu\models\LegalPerson;
use eseperio\verifactu\models\enums\YesNoType;

$provider = new LegalPerson();
$provider->name = 'Software Provider SL';
$provider->nif  = 'B87654321';

$computerSystem = new ComputerSystem();
$computerSystem->systemName             = 'ERP Company';
$computerSystem->version                = '1.0';
$computerSystem->providerName           = 'Software Provider SL';
$computerSystem->systemId               = '01';
$computerSystem->installationNumber     = '1';
$computerSystem->onlyVerifactu          = YesNoType::YES;
$computerSystem->multipleObligations    = YesNoType::NO;
$computerSystem->hasMultipleObligations = YesNoType::NO;
$computerSystem->setProviderId($provider);

$cancellation->setSystemInfo($computerSystem);

Set the Record Timestamp

$cancellation->recordTimestamp = '2024-07-01T14:30:00+02:00';  // ISO 8601 with UTC offset

Set Optional Fields

PropertyTypeDescriptionnoPreviousRecordYesNoTypeYES when no previous registration exists for this invoice in AEATpreviousRejectionYesNoTypeYES when cancelling a record that was previously rejectedgeneratorGeneratorTypeWho generated this cancellation (see table below)generatorDataLegalPerson (via setGeneratorData())Identity of the generator when it is not the issuerfechaFinVeriFactustring (DD-MM-YYYY)Optional — signals voluntary end of Verifactu submissions

GeneratorType values:

CaseValueMeaningISSUEREThe obligated issuer generated the cancellationRECIPIENTDThe invoice recipient generated itTHIRD_PARTYTA third party generated it

use eseperio\verifactu\models\enums\GeneratorType;

$cancellation->noPreviousRecord  = YesNoType::NO;
$cancellation->previousRejection = YesNoType::NO;
$cancellation->generator         = GeneratorType::ISSUER;

// Only required when generator is RECIPIENT or THIRD_PARTY
// $cancellation->setGeneratorData($generatorLegalPerson);

Validate and Submit

use eseperio\verifactu\Verifactu;
use eseperio\verifactu\models\InvoiceResponse;

// Validate first
$validationResult = $cancellation->validate();
if ($validationResult !== true) {
    foreach ($validationResult as $property => $errors) {
        echo "Error in '$property': " . implode(', ', $errors) . "\n";
    }
    exit;
}

// Submit
$response = Verifactu::cancelInvoice($cancellation);

Handle the InvoiceResponse

The cancelInvoice() method returns the same InvoiceResponse type as registerInvoice().

if ($response->submissionStatus === InvoiceResponse::STATUS_OK) {
    echo "Cancellation accepted. AEAT CSV: " . $response->csv . "\n";
} else {
    foreach ($response->getErrors() as $code => $description) {
        echo "[$code] $description\n";
    }
}

Complete Working Example

<?php

use eseperio\verifactu\Verifactu;
use eseperio\verifactu\models\InvoiceCancellation;
use eseperio\verifactu\models\InvoiceId;
use eseperio\verifactu\models\Chaining;
use eseperio\verifactu\models\ComputerSystem;
use eseperio\verifactu\models\LegalPerson;
use eseperio\verifactu\models\InvoiceResponse;
use eseperio\verifactu\models\enums\YesNoType;
use eseperio\verifactu\models\enums\GeneratorType;

// Configure once at application bootstrap
Verifactu::config(
    '/path/to/certificate.pfx',
    'certificate-password',
    Verifactu::TYPE_CERTIFICATE,
    Verifactu::ENVIRONMENT_SANDBOX
);

// Invoice ID — must match the original submission exactly
$invoiceId = new InvoiceId();
$invoiceId->issuerNif    = 'B12345678';
$invoiceId->seriesNumber = 'FA2024/001';
$invoiceId->issueDate    = '2024-07-01';

$cancellation = new InvoiceCancellation();
$cancellation->setInvoiceId($invoiceId);
$cancellation->issuerName      = 'Empresa Ejemplo SL';
$cancellation->recordTimestamp = '2024-07-01T14:30:00+02:00';

// Chain to the previous record
$chaining = new Chaining();
$chaining->setPreviousInvoice([
    'issuerNif'    => 'B12345678',
    'seriesNumber' => 'FA2024/001',
    'issueDate'    => '2024-07-01',
    'hash'         => '1234567890abcdef1234567890abcdef1234567890abcdef1234567890abcdef',
]);
$cancellation->setChaining($chaining);

// Computer system
$provider = new LegalPerson();
$provider->name = 'Software Provider SL';
$provider->nif  = 'B87654321';

$computerSystem = new ComputerSystem();
$computerSystem->systemName             = 'ERP Company';
$computerSystem->version                = '1.0';
$computerSystem->providerName           = 'Software Provider SL';
$computerSystem->systemId               = '01';
$computerSystem->installationNumber     = '1';
$computerSystem->onlyVerifactu          = YesNoType::YES;
$computerSystem->multipleObligations    = YesNoType::NO;
$computerSystem->hasMultipleObligations = YesNoType::NO;
$computerSystem->setProviderId($provider);
$cancellation->setSystemInfo($computerSystem);

// Optional fields
$cancellation->noPreviousRecord  = YesNoType::NO;
$cancellation->previousRejection = YesNoType::NO;
$cancellation->generator         = GeneratorType::ISSUER;

// Validate
$validationResult = $cancellation->validate();
if ($validationResult !== true) {
    print_r($validationResult);
    exit;
}

// Submit
$response = Verifactu::cancelInvoice($cancellation);

if ($response->submissionStatus === InvoiceResponse::STATUS_OK) {
    echo "Cancellation accepted. AEAT CSV: " . $response->csv . "\n";
} else {
    foreach ($response->getErrors() as $code => $description) {
        echo "[$code] $description\n";
    }
}

Exception Handling

try {
    $response = Verifactu::cancelInvoice($cancellation);
} catch (\InvalidArgumentException $e) {
    // Validation failed before the SOAP call
    echo "Validation error: " . $e->getMessage();
} catch (\RuntimeException $e) {
    // SOAP communication error
    echo "Network/SOAP error: " . $e->getMessage();
} catch (\Exception $e) {
    echo "Unexpected error: " . $e->getMessage();
}

Getting Started

Core Concepts

Operations

Configuration & Testing

Cancel an Invoice (Anulación) via Verifactu

When to Cancel vs. When to Rectify

Building an InvoiceCancellation Step by Step

Validate and Submit

Handle the InvoiceResponse

Complete Working Example

Exception Handling

Build docs developers (and LLMs) love

Getting Started

Core Concepts

Operations

Configuration & Testing

Documentation Index

​When to Cancel vs. When to Rectify

​Building an InvoiceCancellation Step by Step

​Validate and Submit

​Handle the InvoiceResponse

​Complete Working Example

​Exception Handling

Build docs developers (and LLMs) love

When to Cancel vs. When to Rectify

Building an InvoiceCancellation Step by Step

Validate and Submit

Handle the InvoiceResponse

Complete Working Example

Exception Handling