MAQS-Way v0.2: 열린 격차(open gaps)를 포함하여 표준을 배포하다 (그리고 그 이름 붙이기)

대부분의 릴리스 노트는 무엇이 완성되었는지 말합니다. 이 글은 무엇이 아직 완료되지 않았는지로 시작합니다.

MAQS-Way v0.2가 출시되었습니다. 이는 장기적인 AI 메모리를 위한 실용적인 표준의 첫 번째 마이너 릴리스(더 이상 프리릴리즈 아님)입니다. 즉, 어떤 도구, 패턴 및 스키마가 메모리 정책을 구현하는지, 그리고 그것들이 작동함을 어떻게 증명할 수 있는지에 대한 것입니다. 그리고 이 버전은 명세서 자체에 소유자(owner)와 목표 버전(target version)이 지정된 12개의 열린 알려진 격차(open known gaps)를 가지고 배포됩니다:

https://github.com/alexk202/maqs-way/releases/tag/v0.2

이 글은 왜 그것이 설계상 그렇게 되어 있는지에 대한 내용입니다.

빠진 중간 단계 (The missing middle)

정책(Policy)은 무엇이 유지되어야 하는지 말합니다. 경로 계층(Path layer)은 어떻게 구축하고 작동함을 증명할 수 있는지 말합니다. 이 문장이 전체 프로젝트이며, 아래 카탈로그는 그것을 풀어서 설명한 것입니다.

정책은 풍부하게 존재합니다 (GDPR Art17, EU AI Act Art12/13/19, RBAC). 감사(Audit)도 존재합니다 (MAQS v1.6 — 실제 사고에 기반한 체크리스트). 부족했던 것은 경로 계층이었습니다: 어떤 구현을 선택해야 하는지 그리고 그것이 실제로 작동함을 어떻게 증명할 수 있는지 말입니다. MAQS-Way는 오늘날 그 계층 역할을 하며, 일부에 대해서는 실행 가능한 검사(executable checks)를 가진 설명으로 되어 있고 — 나머지는 소유자가 지정되었을 뿐 생산 환경에서 증명되지는 않았습니다. 8가지 원칙(P1–P8), OMPS 기반의 데이터 모델, 라이프사이클, 그리고 측정 가능한 검증(LoCoMo, LongMemEval, deletion lattice, negative tests)이 있습니다.

신뢰하지 말고 확인하라: 감사 실행 (Check, don't trust: the audit runs)

아래의 모든 주장은 실행 가능합니다. 전체 검증은 하나의 명령으로 이루어집니다:

$ python3 schemas/maqs_way_audit.py all
schema 4/4 + manifest 12/12 + declared 8/8 (005 ∈ declared) + executed (canon-pin) 1/1 + namespaces ok
GAP (enumerated, not folded): B4 -> owner SPEC §2.5, closes in v0.3
...

(읽기: 4개의 스키마가 통과하고, 12개의 매니페스트 항목이 통과하며, 8가지 동작이 선언되었고 — 정직하게 '선언됨'으로 표시되며, 하나의 숫자가 canon에 고정되고, 네임스페이스가 검증되었습니다 — 그리고 알려진 격차 하나가 숨겨지지 않고 출력됩니다.)

게이트가 갭(gaps)을 처리하는 방식에 주목하세요: 갭들을 명시적으로 나열하고, 큰 소리로 알리며, 초록색 상태를 유지합니다.

릴리스에는 갭이 포함될 수 있습니다. 하지만 침묵하는 갭은 절대 포함할 수 없습니다. 여기서 '초록색'은 갭의 부재가 아니라, 모든 갭이 나열되었다는 규칙을 포함한 릴리스 규칙 준수를 인증한다는 의미입니다.

세 개의 독립적인 코드베이스, 하나의 체크리스트

저희는 세 가지 오픈 소스 메모리 시스템(정적 읽기, 파일:라인 증거, 도움말-비난하지 않는 어조)에 이 체크리스트를 적용했습니다. 세 개의 코드베이스, 하나의 체크리스트 — 각각은 '모범 사례'와 그 갭을 갖게 되며, 장점과 단점에 동일한 기준을 적용합니다. 관찰이 어떻게 판결로 변하는지 한 가지 예시가 있습니다: Mem0에서 테넌트 필터는 top-k 이전에 벡터 스토어에 도달하므로 (main.py:1471), 격리는 필터의 존재 여부가 아니라 시도된 위반을 통해 입증됩니다. 이것이 MAQS G1, 실행 가능한 사례입니다. 전체 보고서와 경로:

• Mem0: 테넌트 격리 모범 사례 (pre-top-k 필터); 출처(provenance), 노후화(aging) (감쇠는 플랫폼 전용), 삭제 잔여물, 쓰기 원자성 부분 검토; 신뢰 유형 지정 및 임베드된 eval harness에 갭이 있습니다. (report)
• Graphiti: 모순 시 무효화(invalidation-on-contradiction) 모범 사례 (만료된 expired_at과 함께 오래된 엣지 유지); 세 가지 중 가장 포괄적인 eval 스토리 (단위 테스트 + e2e + LongMemEval 오라클); 감사 싱크, 범위가 지정되지 않은 검색에 갭이 있습니다. (report)
• Letta MemFS 클라이언트: 구조적 실패 폐쇄(fail-closed) 격리; 정책 테스트 깊이; 노후화에 갭이 있습니다 (예산만, TTL 없음). (report)

열린 것과 닫히는 시점

남은 모든 공백(gaps)들은 명시적인 릴리스 결정에 따라 v0.3으로 재할당되었습니다 (절대 조용히 처리되지 않음): B4 쓰기 원자성(write atomicity); E10/E11, I10–I12, I14, I15, P9/P10의 표준화(canonization), 데드 코드 규칙 0.5a 및 드리프트 임계값 0.6a — 총 열두 가지 항목이며, 각각 담당자가 있습니다. 데이터 모델은 동결되었으며 (schema_version way-v0.1.3이지만 릴리스는 v0.2) — 모든 v0.2 변경 사항은 공식화(formulations)와 하네스(harnesses)에 관한 것이며, 모델 자체를 건드리지 않습니다.

어디서 찾아보고, 어디에서 이야기할지

• 표준 + 게이트: https://github.com/alexk202/maqs-way
• 릴리스: https://github.com/alexk202/maqs-way/releases/tag/v0.2
• 질문 및 피드백: GitHub Discussions (고정된 스레드).
• 감사 과정에서 오독을 발견했습니까? 이슈를 열어주십시오 — 수정 사항은 두 번째 커밋으로 반영되며, 발견된 내용은 절대 조용히 재작성되지 않습니다.

메커니즘이 존재하는지 확인하지 마십시오. 그것이 작동하는지 확인하십시오.
저자: Aleksandr Kossarev, Jõgeva, 에스토니아