tgss-mem

Memory #96 CURRENT

ACO Core Code Landed aco.py / order_trace.py / aco_sign.py implemented in pria_core with 55 new tests (88 total passing), matches WALLET-001 v2.1 spec exactly Landed 2026-04-19 in `D:/GitHub/Genesis-Platform-Identity-Startup/src/pria_core/` and tests at `tests/`. **Git-committed 2026-04-24 as `8a29624`** (previously in working copy only — memory-verification flagged the gap during the morning cleanup sweep). **Modules:** - `aco.py` — 1024-byte ACO dataclass with 25 fields per v2.1 §1; `pack()` / `unpack()` binary round-trip; `signed_region()` helper returning bytes 0x000..0x21F for MAC input; `TokenBalances` block (Field 9); `is_self_held` semantic check; validation for prime sizes, hash lengths, LogTCPN length. - `order_trace.py` — EWPE-weighted Order Trace per v2.1 §2; `OrderEvent` with canonical JSON payload encoding; `compute_trace()` one-shot; `OrderTraceBuilder` with incremental append (running composite) + O(cascade) finalize; `verify_trace()` constant-time comparison. Position baked into each event hash for EWPE weighting without float arithmetic on λ₁^i. - `aco_sign.py` — Inline TCHAS MAC (Field 25) per v2.1 §3.2; `EnclaveBackend` abstract + `SoftwareEnclave` dev implementation; `compute_inline_mac` / `seal_aco` / `verify_inline_mac`; `LatticeSig` dataclass scaffold (Mode 1 doesn't produce lattice sigs; libtlkem delegation is a TODO when Mode 2/3 activates). **Tests:** 55 new, all passing (88 total including existing pria_genesis). Test coverage: - ACO: pack/unpack round-trip, field offset sanity, self-held semantic, signed-region exclusion, validation rejections. - Order Trace: determinism, order sensitivity (swap / reverse), composite sensitivity (payload / type / alias / timestamp), tamper detection, builder parity with one-shot, prime correctness. - Inline MAC: determinism, round-trip seal/verify, MAC-field exclusion from input, reserve exclusion, tamper detection (alias / balance / expiry / MAC), different-enclave rejection, enclave purpose separation. **Known deferred items (documented in code as comments):** - Lattice sign/verify calls are not implemented — delegate to libtlkem once it lands. LatticeSig dataclass + validation are in place so Mode 2/3 flows can be written end-to-end before crypto is live. - Spec v2.1 §3.2 says "sha3(ACO[0..0x23F])" informally; implementation uses `tchas_256` for consistency with the rest of the stack. Should reconcile the spec in a v2.1.1 editorial pass. - Cross-repo integrations (conductor/integrations/aco_conductor.py, trading-vault/aco_vault.py) not yet written; they sit above this core layer. **Why:** Mark greenlit the critical-path code slice 2026-04-19 after the interop + lattice-registration specs landed. The ACO core is form-factor-agnostic and interop-safe per σ₁/σ₃ architecture; no ACO bytes change for Mode 1 ES256 interop. **How to apply:** Next code slices should build on these modules — `aco_bindings.py` (nested PrIA/Memory resolution), offline-transfer wallet surface per GCD.SPEC.OFFLINE-TRANSFER-001, conflict resolver per GCD.SPEC.CONFLICT-RESOLVER-001, and `libidcoexist` Mode-1 path per APP.TTI.WALLET-INTEROP-001. — [project_aco_core_landed.md]

Outgoing Edges

No outgoing edges.

Link to Another Memory