PF_M1_V2_001 — Cycle-count balance reconciliation with a traceable adjustment movement
This proof tests one bounded inventory workflow: an approved physical count differs from recalculated on-hand stock beyond tolerance, completion posts the difference through an inventory movement, the resulting balance equals the approved count, and the adjustment remains inspectable. It does not identify the original cause of a variance or claim any quantified improvement.
kind: proof_catalog
schema_version: 2
proofs:
- id: PF_M1_V2_001
vertical_ids:
- M1_V2
name: 'Cycle-count balance reconciliation with a traceable adjustment movement'
status: approved
proof_type: 'workflow test'
safe_artifact: >-
One synthetic, non-sensitive cycle-count fixture for a representative
single-site plastic injection molding manufacturer. The fixture uses one
configured warehouse, one active item and unit, one location, one lot when
the configured strategy counts by lot, a recorded opening quantity, an
accurately entered physical count, and a maintained tolerance smaller
than the difference. The warehouse has a configured stock location and
the inventory settings have a default adjustment location. No live
customer or customer-identifying data is required.
procedure:
- >-
Record the selected warehouse, item, unit, location, applicable lot,
current on-hand quantity, configured tolerance, and physical counted
quantity before completing the count.
- >-
Confirm that the absolute difference between the current on-hand
quantity and counted quantity exceeds the configured tolerance.
- >-
Approve the representative cycle-count line and verify that the approved
quantity equals the entered physical count.
- >-
Complete the cycle count, allowing the implemented completion path to
recalculate current stock and create and complete the corresponding
inventory movement.
- >-
Reopen the inventory balance and verify the resulting on-hand quantity
for the same warehouse, item, unit, location, and lot where applicable.
- >-
Inspect the resulting adjustment and stock-movement history for the
matching item or product, lot where applicable, location, quantity,
operation, status, contextual description when present, and timestamp.
expected_observation: >-
The approved discrepancy outside tolerance creates and completes an
inventory movement, the resulting on-hand quantity equals the approved
counted quantity for the representative stock identity, and the matching
quantity change remains inspectable through the adjustment and
stock-movement history.
acceptance_criterion: >-
The test passes when the post-completion on-hand quantity equals the
approved counted quantity for the same warehouse, item, unit, location,
and applicable lot; the posted movement quantity equals the approved count
minus the recorded pre-completion quantity with the correct direction; and
a completed matching adjustment or stock-movement record remains
inspectable. Any unexplained balance difference, missing movement, wrong
stock identity, wrong movement direction, or movement quantity mismatch
fails the test.
owner: sales
capability_boundaries:
- >-
Direct scope is limited to M1_V2 and one representative single-site
plastic injection molding workflow. The exact observed account identity,
employee count, systems of record, and execution date were not supplied.
- >-
The observation period is one bounded cycle-count completion confirmed
during the 2026-08-02 authoring task; elapsed duration and earlier
calendar dates were not supplied.
- >-
The test depends on accurate counting and correct warehouse, item, unit,
location, lot, inventory-setting, tolerance, approval, stock-location,
and adjustment-location configuration.
- >-
Current stock is recalculated during completion. Concurrent receipts,
movements, consumption, production, shipments, wrong units, wrong
locations, or counting errors can invalidate the comparison.
- >-
Differences within tolerance produce no adjustment movement. Unapproved
lines may be rolled into a child scheduled cycle count instead of being
adjusted.
- >-
Stock reductions follow the configured FIFO or LIFO removal strategy.
Financial effects depend on separately configured inventory accounts
and posting rules and are not validated by this proof.
- >-
Adjustment description is an optional implementation field. This proof
inspects contextual text when present but does not demonstrate that a
reason is technically mandatory.
- >-
Movement history covers movements recorded through the implemented
inventory path and remains subject to configured access permissions.
- >-
MCP established implementation structure and execution paths; the
contributor's structured confirmation supplies the observed result.
No live deployment or customer database was queried.
- >-
This proof does not identify the original transaction or root cause of a
variance, detect unrecorded physical events, prove that every inventory
event is captured, prevent future differences, validate concurrency or
latency, or measure accounting accuracy.
- >-
No reduction in inventory variance, counting effort, loss, delay,
financial impact, or other quantified outcome is measured or claimed.
transfer:
level: prohibited
from_vertical_ids: []
conditions:
- >-
Use is limited to M1_V2. Every other current or future vertical
requires separately validated direct evidence or an explicit
applicable canonical transfer rule.
evidence_ids:
- EV_M1_V2_001
Outstanding
- The safe artifact was not inspected during authoring. Before execution, confirm its stock identity, recorded quantity, counted quantity, tolerance, warehouse stock location, and default adjustment location.