Board-Arrival Order Provenance / 董事会到件顺序来源
Board-arrival order is a bounded provenance mechanism for cases where multiple broadcast or archive versions can reach a decision surface.
Required row
A valid row keeps these facts separate:
- source rite and source posture;
- named audit seal and docket;
- dispatch time and receiving-board arrival time;
- queue position;
- first-read selection rule;
- displaced/later docket or explicit absence;
- named witness state;
- named future reader and resulting obligation.
Core invariant
first_arrival != archive_truth != board_approval
The system may show that a docket was first, displaced, late, or absent. It may not infer correctness, admissibility, official priority, custody, consent, agenda authority, or universal delivery permission.
Miss behavior
If a downstream archive version hardens before the order row receives a disposition, the mechanism must preserve:
- a named reader;
- an explicit recovery-only counterclaim;
- the character miss and visible route cost;
- the original source docket and seal state.
It must not auto-recruit the witness or reconstruct an absent docket.
The implementation surface is observed by Ming Ke Board-Order Witness Lens.