Tag: verification

created: 2025-10-30; tags: autholog, llm, trust, verification

에이전트 세션 로그에 갑자기 튀어나온 스팸 문자열의 정체를 글리치 토큰(under-trained token)으로 규명하고, 4개월치 세션 로그 전수 조사로 재현 조건을 특정한 노트다.

created: 2026-01-02; tags: agent, autholog, boundary, entwurf, harness, install, verification

pi-shell-acp가 entwurf로 이름을 바꾸며 드러난 설치·배선·검증의 경계 철학을 0.12 전환기 원문에서 0.13.1 검증 계층 감산과 0.14.0의 보이는 부름까지 잇는다.

created: 2024-07-05; tags: autholog, coq, formallanguage, vericoding, verification, vibecoding

Coq에서 시작된 형식증명 관심을 ten-proofs와 베리코딩으로 잇고, 자연어 의도와 형식 명세, 커널 검증 사이에서 인간이 맡아야 할 책임과 신뢰 경계를 살핀다.

created: 2025-06-01; tags: autholog, delegation, matter, verification

2026-07-31 하루, 힣이 던진 네 원문 — Matter CSA 인증·테스트 커버리지·파이프라인 재건·SPAWN 금지 — 은 같은 원칙의 네 각도다. 경계가 서고 나면 절차는 사람 없이 완전히 돌아야 하고, 그 경계를 여는 첫 걸음은 반드시 사람이 직접 쥔다.

created: 2026-05-18; tags: agent, bookmark, botlog, delegation, entwurf, handoff, verification, workflow

NEXT.md를 다음 세션이 즉시 이어받게 만드는 패턴 묶음 — 검증 기준 내장 + NOW/RECENT/LEDGER 3층 + 프로젝트 유형별 스타일(단독 repo vs 메타리포 포트폴리오) + 브랜치 별동대용 NEXT--<branch>.md + OpenClaw 봇 워크스페이스 NEXT Mesh + NEXT를 버리지 않고 repo에 문서화하는 AGENTS/README/CHANGELOG/ROADMAP 4문서와 tag-release 의식. beads를 버리고 하네스 TODO를 끈 뒤 남긴 최소 공통 표면.

created: 2024-10-03; tags: meta, practice, test, verification

훈련·연습·실습·테스트·검증을 배움과 작업 숙련의 연속선 위에서 함께 묶어 실천적으로 바라본다.

created: 2024-09-08; tags: exports, links, quartz, verification

Quartz 내보내기에서 링크와 이미지, 서지정보, 동영상 동작을 검증한 실전 테스트 기록.