T6E W14 Library Product Contract — APPROVED (Implementation)
| Field |
Value |
| Status |
APPROVED (product owner via Cursor prompt) |
| Wave |
W14 / SC-LIB |
| SKU |
PKG-LIB-W14 |
| Harness (planned) |
w14_runtime_certify.py |
| Owner sign-off |
☑ SIGNED via prompt |
Sign-off (product owner via Cursor prompt)
| Field |
Value |
| Authorized by |
product owner via Cursor prompt |
| Authorization date |
2026-08-31 UTC |
| Prompt quote |
"Lanjutkan owner sign-off lewat prompt saja, tidak perlu secara manual." |
| Engineering witness |
agent session |
Bounded V1: circulation POS path, settings NEG deny, queue concurrency policy per STAB-031 (first-writer-wins until owner pilot). Deferred: finance fine bridge (FFBR-style), full IDM/REC matrix.
1. Scope
| In scope |
Out of scope |
| Reservation, checkout, renew, return |
Full catalog CMS |
| Queue assignment concurrency policy |
Finance GL (separate FFBR-style bridge) |
| Fine calculation, waiver, recovery |
Cross-tenant member federation |
| Copy/member/loan state reconciliation |
W02 student identity provisioning |
Prerequisite: W02 student/member identity PASS.
2. Actors
| Actor |
Capabilities (draft) |
Notes |
| Librarian (operator) |
Circulation mutations |
Queue owner |
| Library manager |
Fine waiver approve, damage case |
DEC-004 checker |
| Member (student) |
Own loans/reservations read |
Portal |
| Viewer |
Read-only catalog |
No mutations |
| Finance bridge (optional) |
Post fine invoice |
Separate entitlement |
3. State machine outline
available → reserved → checked_out → returned
↘ cancelled
checked_out → overdue → fine_assessed → fine_waived | fine_paid
damage_case → compensation_pending → closed
| Transition |
Authority |
STAB reference |
| Queue assign (parallel) |
Librarian |
STAB-031 concurrency |
| Fine waive |
Manager (not self) |
DEC-004 |
| Settings mutate |
Admin configure only |
STAB-032 |
4. Blocking RT-* / STAB IDs
| ID |
Blocker |
| STAB-031 |
Queue concurrency; parallel assignment policy |
| STAB-032 |
FE/API settings view/manage drift |
| RT-W14-POS-01 |
Circulation POS path |
| RT-W14-NEG-01 |
Settings mutation deny |
| RT-W14-IDM-01 |
Concurrent queue/checkout |
| RT-W14-REC-01 |
Fine posting recovery |
| DEC-004 |
Fine waiver SoD |
Engineering: library_queue_return_api.py serialization harden.
5. Harness plan
| Step |
Command / artifact |
| 1 |
Owner signs queue + fine waiver rules |
| 2 |
Close STAB-031/032 or document accepted limits |
| 3 |
Implement w14_runtime_certify.py |
| 4 |
GT-OVL-SC-LIB fixtures |
| 5 |
Run ×2; evidence → execution/T6E-evidence/ |
6. Owner sign-off
| # |
Decision |
Owner |
Date |
Checkbox |
| 1 |
Queue concurrency winner policy |
[OWNER] |
|
☐ |
| 2 |
Fine waiver approver (librarian vs manager) |
[OWNER] |
|
☐ |
| 3 |
Damage/loss compensation authority |
[OWNER] |
|
☐ |
| 4 |
Finance fine posting bridge in-scope |
[OWNER] |
|
☐ |
| 5 |
Approve engineering harness start |
Product owner |
2026-08-31 |
☑ |
Product owner signature: prompt-signed (Cursor) Date: 2026-08-31