Files
alkgit/docs/research/README.md
T
glm-5.3-flash 2d956a4ef4 docs(architecture): the substrate re-baseline round — ADR-019..023
The recomposition's ADR conversations are resolved onto the POC
evidence (substrate-recomposition.md DQ ledger, POC-L/O/R/X):

- ADR-019: storage on alkstore + alkblobs — loose objects under the
  git-object derivation family, refs in row-CAS tables, the co-tenant
  reactive registry (family adapter pattern, coherence contract,
  registry_seq + reconcile), registry-file scrapped, storage_root
  dropped, reactive halves wired by default
- ADR-020: receive-pack duplex amendments — packless delete-only
  pushes (bounded peek, pinned rules), unpack-to-loose ingestion with
  the pin bridge (mechanism + failure semantics pinned)
- ADR-021: feature graph — substrate-only engines (substrate/sqlite/
  postgres/lfs), wire-layer-only build, ADR-010 dependency-posture
  amendment
- ADR-022: LFS — media keyed under GitObjectSha256 (preimage-identity;
  the LFS oid is the digest), wire-native uploads restored, alkhttp
  lfs door, wired liveness rows
- ADR-023: replication v1 — protocol-native via GitSession (transport
  = construction wrapper), the mirror plane as the optimization bucket

Spec docs: backend.md rewritten; new substrate.md (the composition)
and lfs.md; transport/doors/overview/README amended; OQ register
gains OQ-17 (registry migrations), OQ-19 (wire validations), OQ-20
(LFS row pruning), OQ-21 (lock server); OQ-06 superseded by ADR-019.
The ADR-018 trait signatures held with zero drift (POC-O/POC-X).

Architecture-review round complete: all critical + warning findings
resolved (bounded-peek rules, pin-bridge mechanism, route-table
conflict, coherence-contract contradiction, reference repairs).

Verification: cargo test / clippy -D warnings / fmt --check clean.
2026-10-19 05:42:58 +00:00

3.4 KiB

alkgit Research Index

Phase 0 (exploration) research. Feeds phase 1 (architecture).

Doc Topic Status
vision.md Vision, guiding principles, non-goals, phase-0 checklist draft v2 (amended 2026-09-21)
gitoxide.md gitoxide (gix) capability + version alignment initial pass complete
alk-stack.md alk stack fit, integration surface, gitea-lesson constraints initial pass complete
git-protocol.md Server-side git smart protocol inventory (what we own) initial pass complete
reference-policy.md Licenses, reference projects, reuse policy complete
pocs.md POC plan (what to validate before architecture commits) planned
poc-1-findings.md POC-1: pkt-line over alkcall BiStream (duplex producer) complete — proceed
poc2-findings.md POC-2: server-side pack generation (streaming pipeline) complete — proceed
poc3-findings.md POC-3: smart-http shape through alkhttp (stateless substrate) complete — proceed
push-captures.md Normative receive-pack (push) wire record (real git captures) complete — ADR-013 basis
negotiation-captures.md Normative V2 negotiation record (real git captures + source) complete — ADR-014 basis
substrate-recomposition.md Re-baseline on alkstore + alkblobs: registry/object/ref placement, LFS, recomposition POCs (DQ ledger + the ADR-round outcome note) complete — ADR-019..023 basis
pocl-findings.md POC-L: LFS end-to-end on alkblobs' ops complete — proceed
poco-findings.md POC-O: alkblobs as the git object store (fetch/ingest/refs) complete — proceed
pocr-findings.md POC-R: composed registry + reactivity complete — proceed
pocx-findings.md POC-X: two-node replication on substrate-backed stores (GitSession prototype) complete — proceed

Key findings so far

  • gitoxide covers storage + pkt-line; the server half of the smart protocol is ours to write (gix-protocol/transport are client-side).
  • Published gix 0.87.1 == local clone base; pin crates.io versions.
  • alkcall BiStream is the natural substrate under pkt-line for both ssh and http paths.
  • The incompatible-license prior art confirms feasibility but contributes nothing; policy in reference-policy.md.
  • gix with default-features = false requires an explicit hash feature; workspace pins sha1 with a sha256 passthrough feature everywhere.

Convergence criteria (phase 0 → phase 1)

Phase 0 is done when POC-1..3 have results and a recommended-approach summary is written here (append below). Then the Architect produces docs/architecture/ per sdd_process.

Convergence (2026-09-21): phase 0 gates all pass (POC-1/2/3 proceed). Phase 1 opened with docs/architecture/; the structural decision is ADR-010 — pure protocol crate following the alktty/alktunnels template (the v1 "monorepo + alkgitd binary" framing in these research docs was an init-agent artifact, amended in vision.md v2). POC-1 maps to the producer half, POC-2 to the gix backend implementation, POC-3 to the stateless substrate consumed by alkhttp's future git feature.