Skip to content

F8C: Authoritative Settlement and Direct Beneficiary Delivery #15

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
garykocsis merged 2 commits into from
Sep 8, 2026
Merged

F8C: Authoritative Settlement and Direct Beneficiary Delivery #15

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8b2d860
feat: complete F8C authoritative exercise settlement
garykocsis Sep 8, 2026
eecbe77
add retrospective for session 13'
garykocsis Sep 8, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
48 changes: 24 additions & 24 deletions docs/project-status.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@

**Last Updated:** September 7, 2026
**Project Phase:** Solidity / Reference Implementation
**Current Implementation Slice:** F8C — Authoritative Settlement / Direct Beneficiary Delivery (NEXT AUTHORIZED / NOT STARTED)
**Last Closed Gate:** G8B — O2 Exact-Output Execution / Execution-Evidence Gate (CLOSED / PASS)
**Status:** F0 COMPLETE — F1 COMPLETE — F2 COMPLETE — F3 COMPLETE — F4 COMPLETE — F5 COMPLETE — F6A COMPLETE — F7 COMPLETE — F6B COMPLETE — F8A COMPLETE — F8B COMPLETE — F8C NOT STARTED
**Current Implementation Slice:** F8D — O2 Causal Finalization / Remaining Entitlement Reduction (NEXT AUTHORIZED / NOT STARTED)
**Last Closed Gate:** G8C — Authoritative Settlement / Delivery Gate (CLOSED / PASS)
**Status:** F0 COMPLETE — F1 COMPLETE — F2 COMPLETE — F3 COMPLETE — F4 COMPLETE — F5 COMPLETE — F6A COMPLETE — F7 COMPLETE — F6B COMPLETE — F8A COMPLETE — F8B COMPLETE — F8C COMPLETE — F8D NOT STARTED

---

Expand Down Expand Up @@ -41,15 +41,15 @@ Implementation proceeds through the verification-gated F0–F10 ladder defined i

The next authorized slice is:

> **F8C — Authoritative Settlement / Direct Beneficiary Delivery**
> **F8D — O2 Causal Finalization / Remaining Entitlement Reduction**

The last closed gate is:

> **G8B — O2 Exact-Output Execution / Execution-Evidence Gate**
> **G8C — Authoritative Settlement / Delivery Gate**

F0, F1, F2, F3, F4, F5, F6A, F7, F6B, F8A and F8B have been implemented, verified, and explicitly gate-closed. The targeted G3 revalidation required by the F5 prospective-derivability correction also passed, and G3 remains closed.
F0, F1, F2, F3, F4, F5, F6A, F7, F6B, F8A, F8B and F8C have been implemented, verified, and explicitly gate-closed. The targeted G3 revalidation required by the F5 prospective-derivability correction also passed, and G3 remains closed.

F8B was reviewed independently and G8B was explicitly closed. F8C is the next authorized implementation slice and has not been started.
F8C was reviewed independently and G8C was explicitly closed. F8D is the next authorized implementation slice and has not been started.

---

Expand All @@ -70,8 +70,8 @@ Current implementation sequence:
| F6B | O3 Enforcement with Authentic O > 0 | **COMPLETE — G6B CLOSED** |
| F8A | O2 Authorization | **COMPLETE — G8A CLOSED** |
| F8B | O2 Exact-Output Execution + Causal Evidence | **COMPLETE — G8B CLOSED** |
| F8C | O2 Input Settlement + Direct Beneficiary Delivery | **NEXT / NOT STARTED** |
| F8D | O2 Causal Finalization | NOT STARTED |
| F8C | O2 Input Settlement + Direct Beneficiary Delivery | **COMPLETE — G8C CLOSED** |
| F8D | O2 Causal Finalization | **NEXT / NOT STARTED** |
| GI | Full Stateful Invariant Verification | NOT STARTED |
| F9 | Canonical Acceptance | NOT STARTED |
| F10 | Demo Instrumentation | NOT STARTED |
Expand Down Expand Up @@ -217,8 +217,8 @@ inert completion plumbing.
F7 adds the production O1 commitment-admission transition.

F8A adds the production O2 authorization transition and its Hook-owned transaction-scoped causal context.
F8B adds the production O2 execution classification and execution evidence. Settlement, delivery and
finalization remain unimplemented.
F8B adds the production O2 execution classification and execution evidence. F8C adds the production O2
input settlement and direct Beneficiary delivery. Finalization remains unimplemented.

### `script/DeployStandbyHook.s.sol`

Expand Down Expand Up @@ -371,14 +371,14 @@ G2 verified predicate independence, administrator authority, read fidelity, cros

## 10. Current Blocker

There is no unresolved F0, F1, F2, F3, F4, F5, F6A, F7, F6B, F8A or F8B implementation responsibility and no open gate.
There is no unresolved F0, F1, F2, F3, F4, F5, F6A, F7, F6B, F8A, F8B or F8C implementation responsibility and no open gate.

The next unstarted responsibility is:

> **F8C — Authoritative Settlement / Direct Beneficiary Delivery.**
> **F8D — O2 Causal Finalization / Remaining Entitlement Reduction.**

F8C is authorized as the next implementation slice but has not been started. No further downstream slice —
F8D — is authorized.
F8D is authorized as the next implementation slice but has not been started. No further downstream slice —
GI — is authorized.

Known limitations carried forward from F0, none of which blocked G0:

Expand All @@ -389,8 +389,7 @@ Known limitations carried forward from F0, none of which blocked G0:
node with `--broadcast`;
- the four enabled Hook callbacks now enforce ordinary O3 admission, and refuse everything while no
Protected Execution Service is configured. `StandbyHook` must still not be attached to a live pool
before its service is activated, and O2 settlement, delivery and finalization remain
unimplemented.
before its service is activated, and O2 finalization remains unimplemented.

---

Expand Down Expand Up @@ -582,11 +581,11 @@ The root `CLAUDE.md` will define the repository operating rules and document aut

## 18. Next Action

G8B has been reviewed and closed, so the next action is:
G8C has been reviewed and closed, so the next action is:

> **F8C — Authoritative Settlement / Direct Beneficiary Delivery.**
> **F8D — O2 Causal Finalization / Remaining Entitlement Reduction.**

F8C may begin when explicitly tasked. Its own verification gate governs advancement beyond the F8C boundary.
F8D may begin when explicitly tasked. Its own verification gate governs advancement beyond the F8D boundary.

---

Expand All @@ -607,16 +606,17 @@ F8C may begin when explicitly tasked. Its own verification gate governs advancem
- F6B O3 Enforcement with Authentic O > 0 is complete and G6B is closed.
- F8A O2 Authorization / Hook-Owned Causal Context is complete and G8A is closed.
- F8B O2 Exact-Output Execution / Execution Evidence is complete and G8B is closed.
- No O2 settlement, delivery or finalization behavior has been introduced.
- F8C O2 Input Settlement / Direct Beneficiary Delivery is complete and G8C is closed.
- No O2 finalization behavior has been introduced.

**Current Gate**

- G8B — CLOSED / PASS. No gate is currently open.
- G8C — CLOSED / PASS. No gate is currently open.

**Next Blocker**

- F8C — Authoritative Settlement / Direct Beneficiary Delivery has not been started.
- F8D — O2 Causal Finalization / Remaining Entitlement Reduction has not been started.

**Immediate Next Step**

- Begin F8C when explicitly tasked.
- Begin F8D when explicitly tasked.
Loading