AI 에이전트의 메모리 OS: 모든 계층 전환 감사

AI 에이전트의 메모리 OS는 운영자가 동일한 사용자 및 보조 범위 내에서 저장, 업데이트, 검색 및 생성을 통해 하나의 메모리 버전을 따라갈 수 있을 때만 건강합니다. 일관된 답은 유용한 결과이지만, 모든 이전 전환이 이루어졌다는 증거는 아닙니다. 따라서 실질적인 기본은 간단합니다. 각 경계에 내용없는 혈통 영증을 첨부합니다. 메모리의 내용을 호스트에 보관하세요. 안정적인 식별자, 범위, 소스 버전, 목적지 계층, 시간표, 전환 상태 및 생성에 사용되는 버전만을 기록합니다. 경계선이 부족하거나 모순이 있는 경우 녹색 대신 waiting , at risk , stale , 또는 uncertain 를 보고하십시오. 이 규칙은 검색 질의 뒤에 있는 특정 아키텍처에 중요합니다. 이 에이전트의 기억력 . MemoryOS 문서에서는 세 개의 저장 계층과 4 개의 기능 모듈을 정의합니다. 그 시행은 또한 응답 품질 기준이 식별할 수 없는 좁은 실패 창을 노출시킵니다. MemoryOS이 정하는 사항 MemoryOS 종이는 다음과 같은 4개의 모듈을 설명합니다. 1. Storage 는 단기기억 (STM), 중기기억 (MTM) 및 장기기억 (LPM) 을 조직합니다. 2. Updating 는 대화 페이지를 STM에서 MTM로 이동하고, MTM에서 더 오래 지속되는 프로필 또는 지식 자료를 추출합니다. 3. Retrieval 는 계층 중 관련 자료를 선택합니다. 4. Generation 는 현재와 검색된 맥락에서 응답을 구축합니다. 이 논문은 계층 간 이동에 대해 특이하게 구체적입니다. STM to MTM 업데이트는 대화 체인 FIFO 프로세스를 사용합니다. MTM to LPM 업데이트는 열 기반 선택으로 세분화된 페이지를 사용합니다. 이는 관측 가능한 전환 경계를 정의하기 위해 충분한 구조입니다. 메모리을 하나의 불투명한 데이터베이스로 취급하는 대신. 저자들은 평균 49.11%의 개선이 F1 그리고 46.18% BLEU 1 그 기준선을 넘어서 LoCoMo 과 GPT 4o mini. 저자는 저자의 벤치마킹 결과입니다. 저는 이 감사에 LoCoMo를 다시 실행하지 않았습니다. 더 중요한 것은, 대응의 정확성과 일관성이 운영의 무결과는 다른 질문에 답하는 것입니다. 높은 점수는 추방 전에 STM 기록이 영구적으로 존재했다. 출처가 사라지기 전에 발생한 MTM 목적지; 동일한 사용자와 보조 범위가 모든 전환에 살아남았습니다. 검색은 가장 새로운 예상된 버전을 반환합니다. 마지막 세대는 실제로 그 버전에 의존했습니다. 논문의 건축은 경계를 공급합니다. 운영자는 여전히 증빙 기록을 필요로 합니다. 목적지 공약 전에 위험 간격이 나타납니다. 587ed7755c7aed179965792830ff1b5ad9a6fa92 에서 프로젝트를 검사했습니다. 핑크 문제: 저장소는 활성화되어 있으며, 출처 버전이 없는 운영 결론은 다음 변경 후 모호해질 것입니다. 현재 add memory 경로는 단기 덱이 가득한지 확인하고 다른 항목을 추가하기 전에 프로모션을 실행합니다. 출처는 이를 시끄러운 데크 자동 제거 ( memoryos.py , 라인 226244) 를 방지하기 위한 수정으로 명시적으로 표시합니다. 그것은 유용한 방안이지만, 프로모션을 거래로 만들지는 않습니다. 프로모션 순서가 중요합니다. 1. process short term to mid term 는 pop oldest 라고 부르며 STM는 가득합니다 ( updater.py , 라인 100105). 2. pop oldest 는 기록을 제거하고 즉시 더 짧은 STM 데크 ( short term.py , 라인 3337) 를 저장합니다. 3. 업데이트기는 LLM 지원된 연속성 및 요약 함수를 호출합니다. 4. MTM의 삽입과 최종 저장은 나중에 발생합니다 ( updater.py , 라인 130207). 이 제어 흐름은 출처 위험 간격을 만듭니다. 프로세스가 종료되거나 STM 저장 후 추출되지 않은 하류 작업이 실패하지만 MTM 의무를 이행하기 전에 사업자는 완료된 프로모션 증명서를 가지고 있지 않습니다. 이것은 원천에서 파생된 오류 창입니다. 모든 MemoryOS 배포가 데이터를 잃는 주장이 아닙니다. 올바른 건강 상태는 목적지 인수증이 존재하거나 원천이 여전히 복구될 수 있는 것으로 입증될 때까지 단순히 녹색이 아닙니다. 두 번째, 더 좁은 연속 경계가 있습니다. last evicted page for continuity 는 메모리에 있는 None 값으로 시작되고 다음 배트에 전달되고 처리 후 업데이트됩니다 ( updater.py , 라인 35 및 115158). 프로세스 재부팅은 특정 운반 신호를 다시 설정합니다. 다른 MTM 유사성 논리는 여전히 물질을 다시 연결할 수 있으므로 이는 전체 연속성 손실의 증거가 아닙니다. 이 과정은 그것을 기억했다고 가정하는 대신 이전 페이지 또는 소스 버전을 전환 증빙 기록에 기록하는 이유가 있습니다. 모든 계층에서 한 개의 콘텐츠 무료 증빙 기록을 사용하십시오 증빙 기록은 요청, 답변, 요약, 임베디션, 또는 개인 사실에 대한 요구가 없습니다. 최소한의 이벤트는 이렇게 보일 수 있습니다. 각 단계에 걸쳐 6개의 필드를 수행하십시오. runId 는 콘텐츠를 공개하지 않고 하나의 저장 대 제도 시도에 참여합니다. userScope 및 assistantScope 는 크로스 임차자 또는 공유 보조자의 오류를 발견합니다. version 는 예상된 메모리 상태를 식별합니다. sourceVersion 는 구현 또는 어댑터 계약을 핑합니다. status 는 started , waiting , committed , verified 및 실패한 작업을 분리합니다. atUtc 는 검증자가 오래된 증거가 만료되는 것을 허용합니다. MemoryOS은 이미 사용자 특화된 단기, 중기, 장기 파일과 보조기 특화된 별도의 장기 파일 ( memoryos.py , 라인 7178) 를 생성합니다. 증빙 기록은 두 가지 차원을 보존해야 합니다. 왜냐하면 정확한 사용자, 잘못된 공유 보조인은 여전히 범위 충돌이기 때문입니다. 발생을 위해 dependsOnVersion 와 outcomeReceipt 를 추가합니다. dependsOnVersion 는 어떤 메모리 버전이 최종 요청에 입력되었는지 알려줍니다. outcomeReceipt 는 가능한 경우 결정적인 결과 검사를 확인해야 합니다. 파일 해시, 라인 식별자, 테스트 결과, 목적지 검색 또는 의도된 작업이 존재한다는 다른 증거. 단지 기록이 엄격하게 보이도록 하기 위해 민감한 대화 내용의 햄쉬가 되어서는 안 됩니다. 녹색을 신뢰하기 전에 불편한 상태를 재생 저는 콘텐츠가 없는 8개의 사례를 만들어 실행했습니다. 분류자는 예상되는 8개의 상태를 모두 반환했습니다. 사건 증거 국가 전체 혈통 범위, 버전, 신선함, 계층 약속, 검색 및 생성 증빙 기록 합의 healthy 용량 최저가 달성되지 않은 STM는 내구성이 있고 선언된 대기 창이 열려 있습니다. waiting STM를 제거하고, MTM를 채용하지 않습니다 목적지 증명 전에 소스가 사라졌다 source at risk STM는 유지되지 않았습니다. 프로모션 이벤트가 없습니다. 예상된 MTM 전환은 나타나지 않았다 promotion missing 프로모션 중 사용자 변경 한 사건은 다른 범위에 속한다 scope conflict 회수 반환 v21 , 예상 v22 진짜 기억이 있지만, 오래된 기억입니다. stale retrieval 유동한 반응, 의존성 증빙 기록은 없습니다 검증된 혈통 없이 완성된 세대 generation unverified 실행 버전이 없습니다 증거는 안전하게 해석할 수 없습니다 uncertain 중요한 차이점은 waiting 와 missing 사이에 있다. 문서화 된 용량 문턱이 달성되지 않은 상태에서 지속가능한 STM 기록은 고정되지 않습니다. 목적지 공약 없이 제거된 원천은 기다리지 않고 위험에 처해 있습니다. 시간표와 소스 재존 필드는 그 차이를 검사할 수 있게 한다. 나중에 성공하면 이전 갈등을 숨길 수 없도록 명시적인 우선순위를 사용하십시오. 이 명령은 의도적으로 보수적인 것입니다. 범위 충돌은 성공적인 대응을 뛰어넘습니다. 출처 위험은 나중에 활동하는 것보다 더 높습니다. 고갈된 회복은 유창한 발전으로 구제되지 않습니다. 실종된 증거는 건강한 증거로 전환되는 것보다 불확실합니다. 증빙 기록을 운영 게이트로 전환 개인이나 제작 내용도 없는 한 카나리 기억으로 시작하세요. 무작위 식별자와 예상된 버전을 입력하고 실제 저장, 프로모션, 검색 및 생성 경로를 실행하십시오. 채택 전에 또는 메모리 시스템 업그레이드 후: 1. P 구현에서. 패키지 버전이나 저장소 컴백 및 용량, 열, 유사성 또는 검색 제한을 변경하는 구성을 기록하십시오. 2. PROVE 범위 격리. 두 개의 사용자 범위와, 필요한 경우, 두 개의 보조 범위를 실행하십시오. 각 검색을 의도적으로 횡단하고 잘못된 라인 검색을 요구하지 않습니다. 3. 능력 전환. 구성된 경계에 STM를 채우십시오. 모든 소스 제거에 해당하는 MTM 커밋이 있는지 확인합니다. 4. 반복을 연습한다. 멀티반복 출력이 사용할 수 없을 때 업데이트기는 일반 복복복복복복복복복을 한다. 저하된 경로를 표기하고, 낙후 완성을 정상적인 품질로 취급하는 대신 검색을 별도로 확인하십시오. 5. 배치 사이 재발전. 프로세스 재발전 후 연속성을 확인하십시오. 왜냐하면 메모리 내 운반이 지속 가능한 증거가 아니기 때문입니다. 6. Expire 증빙 기록. 어제 건강했던 프로모션은 현재 프로세스, 인덱스 또는 파일이 현재 건강하다는 것을 입증하지 않습니다. 7. 결과를 확인합니다. 검색 성공은 메모리가 복원되었다고 말합니다. 에이전트가 올바른 버전을 사용했거나 의도된 작업을 완료했다고 말하지 않습니다. 업데이트가 이미 부분적으로 약속한 경우 자동으로 리스크 소스 프로모션을 다시 시도하지 마십시오. 먼저 runId 와 버전의 출처와 목적지를 조정합니다. 맹목적인 반복은 불확실성을 복제된 페이지로 바꾸거나 장기적인 사실과 충돌하는 것으로 만들 수 있습니다. 제한은 똑같이 중요합니다. 이 증빙 기록은 전환 혈통, 범위, 신선함 및 결정적 결과 검사를 증명합니다. LLM가 작성한 요약이 의미적으로 정확하다는 것을 증명하지 않습니다. 이것은 별도의 평가, 큰 영향을 미치는 개인적인 사실을 인간적으로 검토하거나, 특정 작업에 대한 결정적 비교가 필요합니다. Sidewisp의 건강 경계는 이 감사는 Sidewisp의 메모리 및 컨텍스트 건강 모델에 적합합니다. 미흡한 읽기 또는 쓰기, 실패한 지속성, 노후 동기화, 예기치 않은 리셋 및 손실된 결정은 녹색 프로세스에서 추론하는 것이 아니라 눈에 띄어야합니다. Sidewisp는 현재 비공개 프리뷰 단계입니다. 공개 사이트와 기사 시스템은 실시간으로 작동하고, 생산 에이전트 건강 수집, 런타임 어댑터 및 복구 실행은 일반적으로 배송되지 않습니다. 위의 증빙 기록은 현재 구현할 수 있는 운영체 패턴입니다. Sidewisp이 현재 MemoryOS를 모니터링하고 있다는 주장은 아닙니다. 해결된 규칙은 엄격하지만 사용할 수 있습니다. 동일한 범위의 버전이 지속가능하게 저장되고, 홍보되고, 검색되고, 사용되고 검증되는 경우에만 메모리 시스템에 신뢰합니다. 순수 한 대답 은 격려 할 수 있습니다. 실종된 증빙 기록을 대체할 수 없습니다.