ORIGINAL WORKED REFERENCE

The state sequence is available → on loan → on loan → available → available. The operation results are true, false, true, false. A rejected action leaves state unchanged. The bundled Java source has not been compiled in the preparation environment.

CRITICAL CONDITION
State is private and rejected operations leave it unchanged; supplied source is not represented as a compiled result.

LIMITS
This is in-memory object design, not a persistent or concurrent lending service.

This reference is not a learner submission or proof of provider-course completion. See material-verification.json in the production package for actual preparation checks.
