Composition Plan Inspection

조립 전에 입력과 연결 읽기

프로그램을 실행하려면 먼저 어디에 값을 넣는지 알 수 있어야 합니다. body-plan은 호출자가 넣을 값, 활동 사이의 연결, 먼저 조립할 본문을 보여줍니다. 입력 양식도 만들 수 있습니다. 작업대에서 부품을 조립하기 전에 입력 단자와 연결선을 확인하는 단계에 가깝습니다.

개발 소스의 PR1427은 원본 전체 CI 37947177323의 여섯 필수 검사와 v5 증거를 통과해 dev a15b413412ad7b465a0567fb1db4de5706a8c2a8에 병합됐습니다. 2026-10-10 KST에 같은 소스로 개발판을 설치하고 자체 모델 조립과 재생을 다시 확인했습니다. CI·병합·설치 원본. 이후 공개 0.6.23에 포함했습니다. 위 관측의 a15 생산자는 유지하고, 현재 실행은 공개 gooo로 진행합니다.

먼저 읽고 실행하기

공개 실행 파일을 설치한 뒤 컴파일러 저장소 루트에서:

gooo body-plan --source examples/body-codegen/native-input-joins.gooo.fixture --entry Label
gooo body-plan --source examples/body-codegen/native-input-joins.gooo.fixture \
  --entry Label --inputs-template > inputs.json

양식에는 Left, Right, Label.input1, Label.input2가 들어갑니다. Add의 두 입력은 앞 활동의 결과를 받고, Label.input0은 Add의 결과를 받으므로 직접 채우는 양식에서 제외됩니다. --entry가 있으면 그 활동과 명시적으로 연결된 앞 활동을 선택합니다.

0, false, 빈 문자열은 바꿔 쓸 자리입니다. 필요한 입력으로 수정한 뒤:

./.gooo body-compose --source examples/body-codegen/native-input-joins.gooo.fixture \
  --entry Label --inputs inputs.json --out out/observed-label

선택적인 레코드 필드는 양식에서 생략됩니다. 실제로 있을 때 직접 넣으며, 값이 0이나 빈 문자열이어도 존재하는 값으로 전달합니다. 기대값 없이 시작한 실행은 0/0 미측정입니다. 정답을 제공하면 저장한 같은 생성물에 나중에 검사할 수 있습니다. 입력 전용 실행.

어떤 자료가 남나

--json은 소스 지문, stable ID, 정확한 입력 키, bind 연결, 레코드 필드와 조립 계약 지문을 내보냅니다. 다른 활동에서 호출하는 조립 본문은 먼저 필요한 순서로 표시합니다. 호출과 bind에 모두 쓰이는 본문도 조립 목록에는 한 번 남습니다. 본문 안의 호출 인수는 원래 호출자 입력과 구분합니다.

조회 단계의 모델 호출·후보 검사·native 실행은 각각 0회입니다. 구조만 읽기 때문에 잘못된 본문의 타입이나 동작은 생성·검사 단계에서 확인합니다. 모델에 맞는 구조인지는 body-context --model에서 따로 읽습니다.

실제로 이어 써 본 결과

다섯 예제에서 조회 계획이 실제 생성 계획과 같았습니다. 양식의 입력을 실행하고 같은 생성물에 기존 호출 기대값을 제공해 재생했습니다.

예제	최초 모델 호출	뒤에 제공한 호출 기대값	재생 새 모델 호출
여러 루트·입력 연결	0	49/49	0
자체 모델·세 필드	1	4/4	0
두 source_search 본문	0	15/15	0
두 source_fill 본문	0	15/15	0
호출되는 예산 계산 본문	0	1/4	0

예산 계산 예제는 약한 본문별 사례를 만족한 첫 후보로 조립됐습니다. 실제 호출 기대값 세 개가 다르다는 사실도 남겼습니다. 이 원래 호출 행을 다음 구성의 반례로 쓰는 흐름을 작업장의 assemble --graph와 construct --assembly로 연결했습니다. 여러 레코드 본문, 호출되는 source-fill 보조 함수, source-search와 추가 루트 입력을 읽습니다. 여러 본문의 조립과 피드백에서 두 명령과 반례 사용·예산 부족·별도 평가의 결과를 설명합니다. 타입 경로의 전체 프로그램 재조립은 다음 지원 범위로 남습니다.

기존 자체 모델의 가중치는 446바이트, 로더가 관측한 텐서는 2,096바이트입니다. 전체 앱 메모리나 일반화 정확도를 뜻하지 않습니다. 새 모델 학습·다운로드는 하지 않았습니다. 원본 실행을 남겼고, 속도 개선 수치는 측정하지 않았습니다.

참고한 원리

HN에서 본 Meadows는 작은 언어가 그래프 JSON을 내보내고 도구가 그 구조를 읽는 방식을 보여줍니다. Gooo에서는 실행 전에 구조 계획을 읽는 부분을 참고했습니다. GeekNews에서 읽은 Dan Cohen의 Zotero 회고는 사람들이 이미 하는 작업과 도구를 연결하면서 사용 흐름을 구체화한 과정을 설명합니다. 입력 작성부터 저장 재생까지 기존 흐름을 이어 쓰는 판단에 참고했습니다. 외부 구현을 가져오거나 실행하지 않았습니다.

소스 가이드와 다섯 경로의 관측 자료에는 입력 키, 계약 지문과 유한 기대값 결과가 있습니다. 실험 날짜는 10월 9일, 병합·설치·위키 게시 날짜는 10월 10일입니다.