2026-08-28 20:27:28 +00:00
|
|
|
# approval-engine
|
|
|
|
|
|
2026-08-28 22:33:50 +02:00
|
|
|
**The approval as a durable, authenticated, consumable object — issued before an
|
|
|
|
|
action, verified at the moment of use, and provably not replayable.**
|
|
|
|
|
|
2026-08-29 11:58:28 +02:00
|
|
|
An Engine, role **PIP**, in the NetKingdom security layer model (statute v0.7,
|
|
|
|
|
accepted; operative form `net-kingdom/SECURITY-COMPANION.md`). It answers one
|
|
|
|
|
question, totally and decidably:
|
2026-08-28 22:33:50 +02:00
|
|
|
|
|
|
|
|
> Is this approval valid right now — for this exact action, target, actor, and
|
|
|
|
|
> purpose — and has it already been used?
|
|
|
|
|
|
|
|
|
|
It does **not** decide whether the action is permitted. That is `access-engine`,
|
|
|
|
|
which stays NetKingdom's only policy decision point. An approval is one input to
|
|
|
|
|
that decision.
|
|
|
|
|
|
|
|
|
|
Deliberately small, boring, and strict: atomic supersession and single
|
|
|
|
|
consumption are what make Canon test `T-06 — Approval Replay` passable.
|
|
|
|
|
Flexibility here would be a defect. Graded, evidence-based progression belongs to
|
|
|
|
|
`maturity-engine`; the two engines are deliberate opposites.
|
|
|
|
|
|
2026-08-29 11:58:28 +02:00
|
|
|
See [INTENT.md](INTENT.md) and [SCOPE.md](SCOPE.md). Declaration: [layer.yaml](layer.yaml).
|
Implement the engine spine: claim, outbox, machine, API
Contracts first (T02–T04): approval claim schema with issuer, freshness,
and binding digest; local transactional outbox wire; load-bearing cadence
as heartbeat or reconciliation (layer.yaml declared).
Then the object (T06–T08): SQLite closed state machine, CAS supersession,
distinct-approver fail-closed, revocation without holder cooperation,
outbox insert in the same transaction. Tests fail the mutation when
emission fails, and revoke while the drain sink is down.
Introspection GET /v1/approvals/{id}/claim is a PIP fact, not a decision.
No public consume (T05 waits on GH-WP-0002-T06). Canon T-06 coverage for
wrong binding, expiry, revoke, and supersede.
FLEX-WP-0017 T03 is unblocked on this object; T05 remains blocked only on
consumption ordering.
Assistant: grok
Assistant-Session: 01a04ceb-2057-7e20-b0f9-c282964d5dd9
2026-08-29 12:52:49 +02:00
|
|
|
Claim: [docs/approval-claim.md](docs/approval-claim.md).
|
2026-09-01 23:45:48 +02:00
|
|
|
Consume: [docs/approval-consumption.md](docs/approval-consumption.md).
|
2026-08-29 11:58:28 +02:00
|
|
|
Origin: `flex-auth` `FLEX-DEC-2026-001`, raised while assenting to the security
|
|
|
|
|
layer model.
|
Implement the engine spine: claim, outbox, machine, API
Contracts first (T02–T04): approval claim schema with issuer, freshness,
and binding digest; local transactional outbox wire; load-bearing cadence
as heartbeat or reconciliation (layer.yaml declared).
Then the object (T06–T08): SQLite closed state machine, CAS supersession,
distinct-approver fail-closed, revocation without holder cooperation,
outbox insert in the same transaction. Tests fail the mutation when
emission fails, and revoke while the drain sink is down.
Introspection GET /v1/approvals/{id}/claim is a PIP fact, not a decision.
No public consume (T05 waits on GH-WP-0002-T06). Canon T-06 coverage for
wrong binding, expiry, revoke, and supersede.
FLEX-WP-0017 T03 is unblocked on this object; T05 remains blocked only on
consumption ordering.
Assistant: grok
Assistant-Session: 01a04ceb-2057-7e20-b0f9-c282964d5dd9
2026-08-29 12:52:49 +02:00
|
|
|
|
|
|
|
|
```bash
|
|
|
|
|
make test
|
2026-09-02 00:52:04 +02:00
|
|
|
approval-engine migrate --db approvals.sqlite
|
|
|
|
|
approval-engine verify --db approvals.sqlite
|
|
|
|
|
approval-engine serve --db approvals.sqlite \
|
|
|
|
|
--jwt-issuer https://auth.netkingdom.local \
|
|
|
|
|
--jwt-audience approval-engine \
|
|
|
|
|
--jwks-url http://key-cape.sso.svc.cluster.local:8080/jwks
|
Implement the engine spine: claim, outbox, machine, API
Contracts first (T02–T04): approval claim schema with issuer, freshness,
and binding digest; local transactional outbox wire; load-bearing cadence
as heartbeat or reconciliation (layer.yaml declared).
Then the object (T06–T08): SQLite closed state machine, CAS supersession,
distinct-approver fail-closed, revocation without holder cooperation,
outbox insert in the same transaction. Tests fail the mutation when
emission fails, and revoke while the drain sink is down.
Introspection GET /v1/approvals/{id}/claim is a PIP fact, not a decision.
No public consume (T05 waits on GH-WP-0002-T06). Canon T-06 coverage for
wrong binding, expiry, revoke, and supersede.
FLEX-WP-0017 T03 is unblocked on this object; T05 remains blocked only on
consumption ordering.
Assistant: grok
Assistant-Session: 01a04ceb-2057-7e20-b0f9-c282964d5dd9
2026-08-29 12:52:49 +02:00
|
|
|
```
|
|
|
|
|
|
2026-09-01 23:45:48 +02:00
|
|
|
`POST /v1/approvals/{id}/consume` implements `GH-DEC-2026-003`: the PEP
|
|
|
|
|
atomically spends the approval before the protected side effect. Same-digest
|
|
|
|
|
retries are idempotent; a different digest conflicts.
|
2026-09-02 00:52:04 +02:00
|
|
|
|
|
|
|
|
Production operations, caller scopes, audit delivery, and PEP sequencing are
|
|
|
|
|
documented in `docs/storage-operations.md`, `docs/caller-authentication.md`,
|
|
|
|
|
`docs/outbox-contract.md`, and `docs/pep-integration.md`. The checked-in
|
|
|
|
|
StatefulSet deliberately refuses production startup without a migrated
|
|
|
|
|
persistent store, KeyCape JWT verification, and authenticated audit delivery.
|