2026-05-15
Ruleset version
Decision sequence
1. Resolve the device
The engine first tries to match the traveler input to a catalog model with recorded capacity, watt-hours, voltage basis, certifications, manufacturer evidence, and known aliases. If the model cannot be resolved, the verdict can remain insufficient.
2. Normalize capacity evidence
Watt-hours are treated as the aviation decision unit. When a manufacturer publishes watt-hours, that value is preferred. When only milliamp-hours and voltage are available, the catalog records the watt-hour basis so downstream verdicts can explain the calculation.
3. Apply route and carrier rules
The ruleset evaluates baseline lithium-battery constraints, departure-country overlays, airline policy, quantity limits, carry-on handling, approval requirements, label requirements, and local certification rules where active.
4. Evaluate recall intelligence
Active recall records are scoped to exact model IDs and, where available, serial or batch evidence. Recall impact can override an otherwise capacity-compliant answer because safety status is a separate condition from watt-hours.
5. Return the strictest supported verdict
The output is allowed, conditional, banned, or insufficient. When multiple active constraints apply, the stricter supported result wins and the response retains the evidence needed to audit that path.
6. Attach source provenance
Verdicts expose citations for the regulator, airline, manufacturer, or recall sources used in the decision. Public pages and agent surfaces also expose citation kind, jurisdiction, and pulled-at metadata where available.
Primary authorities
Regulator and aviation authority pages are preferred for jurisdictional constraints. Airline policy pages are used for carrier-specific passenger rules.
Manufacturer evidence
Official product pages, manuals, support articles, and recall pages are preferred for model identity, capacity, certification, and affected serial evidence.
Secondary reporting
News or third-party reporting can explain context but should not replace official policy, specification, or recall evidence when those sources are available.
Update cadence and release gates
Source checks
Source freshness is monitored through the ingestion workflow. The public scorecard reports when sources were checked, whether content was verified, and whether a source is stale, changed, unavailable, or failing.
Behavior checks
Golden tests and contract tests are used to detect false allowed, false banned, citation, recall, and public API regressions before release.
Limits of the method
- A verdict is only as current as the active ruleset and the cited source checks behind it.
- Private airport, airline, or screening instructions may differ from public policy and may not be visible to CertiWatt.
- Unknown or ambiguous model labels should not be forced into a known model simply because the brand or capacity looks similar.
- Serial-specific recalls may require manufacturer lookup when the authoritative affected list is not locally reproducible.
- Allowed does not mean guaranteed acceptance. It means no active cited rule in the current CertiWatt path bans the resolved device and trip.