실험실

여기서는 네가 먼저 해 볼 차례야.

톡톡의 가위를 빌려 코드를 자르고, 가지의 조립대에서는 잘못된 코드를 고쳐 보자.

실험 뒤에는 실제 토파즈 컴파일러가 남긴 기록을 살펴볼 수 있어.

속사정 현미경에서는 이야기에 나온 기록을 원본 그대로 읽을 수 있어.

속사정 현미경

이야기에서 본 기록을 컴파일러가 남긴 그대로 열어 봐.

`1 + 2` 토큰 기록 `tokens.jsonl`

제4화를 위해 새로 관측한 기록이야.

줄 순서는 토파즈가 파일에 적은 그대로야.

{"kind":"integer","ordinal":0,"schema":"topaz.compiler.tokens/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","sourceOrdinal":0,"span":{"hi":1,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":"1","stream":"raw","synthetic":false}
{"kind":"plus","ordinal":1,"schema":"topaz.compiler.tokens/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","sourceOrdinal":0,"span":{"hi":3,"lo":2,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":"+","stream":"raw","synthetic":false}
{"kind":"integer","ordinal":2,"schema":"topaz.compiler.tokens/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","sourceOrdinal":0,"span":{"hi":5,"lo":4,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":"2","stream":"raw","synthetic":false}
{"kind":"newline","ordinal":3,"schema":"topaz.compiler.tokens/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","sourceOrdinal":0,"span":{"hi":6,"lo":5,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":"\n","stream":"raw","synthetic":false}
{"kind":"eof","ordinal":4,"schema":"topaz.compiler.tokens/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","sourceOrdinal":0,"span":{"hi":6,"lo":6,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":"","stream":"raw","synthetic":false}
{"kind":"integer","ordinal":0,"schema":"topaz.compiler.tokens/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","sourceOrdinal":0,"span":{"hi":1,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":"1","stream":"layout","synthetic":false}
{"kind":"plus","ordinal":1,"schema":"topaz.compiler.tokens/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","sourceOrdinal":0,"span":{"hi":3,"lo":2,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":"+","stream":"layout","synthetic":false}
{"kind":"integer","ordinal":2,"schema":"topaz.compiler.tokens/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","sourceOrdinal":0,"span":{"hi":5,"lo":4,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":"2","stream":"layout","synthetic":false}
{"kind":"eof","ordinal":3,"schema":"topaz.compiler.tokens/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","sourceOrdinal":0,"span":{"hi":6,"lo":6,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":"","stream":"layout","synthetic":false}

tokens.jsonl 2841바이트 sha256:97356c5c773c4714a3cc87d90cd6cf7f77729855cac2c7543b5448f0db4d38fd

이 파일 원본 그대로 열기, 새 창

판 대조 토파즈 컴파일러 5.21.0 판과 5.21.1 판

두 판에서 이 파일의 바이트가 같았어.

판: 토파즈 컴파일러 5.21.1 topaz-lang@5.21.1
만든 컴파일러: topaz-native-k compiler.producer
명령: topaz compiler observe inputs/w1/main.tpz --out-dir out/w1 --compiler self --terminal rust-source
입력 해시: sha256:cb898749d76e51fdaf6c6636920ccdb4f415fc1cffd1e2497636b38cc2469807

관측 정보

입력 이름: w1
관측 커밋: 96aa9d8
입력 바이트: 31 20 2b 20 32 0a
기록 스키마: topaz.compiler.tokens/v1

묶음의 파일 14개 보기

파일	크기	해시
`ast.jsonl`	2311바이트	`sha256:fe5b13011321da001156cfc25727a6180e740167bcc94195388aa4ffc891d929`
`diagnostics.jsonl`	0바이트	`sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855`
`lowered.jsonl`	3332바이트	`sha256:26968c7c119ad38d2e26b93fb70e69fb4f311aff8c5da0aad43c70ea3de16d23`
`provenance.json`	1395바이트	`sha256:10d510756a6d523979c5e891b955a573183f83bd9c20d29994d36546b3bd2a05`
`request.json`	1155바이트	`sha256:2860e9c21cf1c0a8aa86c80c7013c621df29fd8c41d45624fff4acdbd95ad382`
`resolved.jsonl`	747바이트	`sha256:9828e89b129b3be509a9465698d6caa813bd801b415170224292278563b7d41b`
`response.json`	1020바이트	`sha256:72e3e8708917a0f897f4466d0a7872da3178a16a6c93c721f2876cd84defa5b4`
`rust-source.jsonl`이 파일은 이름과 크기, 해시를 볼 수 있어.	7722바이트	`sha256:51ca84a2cd85b1520fc1a734b0c9ab7edb987736086028c69abd019f0cdb63b3`
`self-compilation-product.json`	2418바이트	`sha256:c3cbfad3539faadabac5d7f6128e36d75d4668c9c10117f245caaeb848249b6a`
`source-set.jsonl`	935바이트	`sha256:02ed379005b32ab40416fff78b46ccdbe54e891e1795c75253299e04472eaac5`
`sources/000000.tpz`	6바이트	`sha256:cb898749d76e51fdaf6c6636920ccdb4f415fc1cffd1e2497636b38cc2469807`
`tokens.jsonl`	2841바이트	`sha256:97356c5c773c4714a3cc87d90cd6cf7f77729855cac2c7543b5448f0db4d38fd`
`topaz-observation.json`목록 파일 자신의 크기와 해시는 이 파일 바이트에서 구했어.	2304바이트	`sha256:245f50ad3bbf0197a8e2a92838c007a78303057e316a6016cab110a40b04ae84`
`typed.jsonl`	1238바이트	`sha256:e57b1d4e30111eef8639b7cf460c35280dd91ddebf4c6bae3bc671d9c3f3fb7e`

묶음 rootDigest sha256:bfeb4b4d1e491242f6c8606ff62e42298ea0d13f7df451d3f6707ddbdb12a506

`1 + 2` 나무 기록 `ast.jsonl`

제4화를 위해 새로 관측한 기록이야.

줄 순서는 토파즈가 파일에 적은 그대로야.

{"field":"root","index":0,"kind":"program","nodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000000","parentNodeId":null,"schema":"topaz.compiler.ast/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","span":{"hi":6,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":""}
{"field":"items","index":0,"kind":"statement/expression","nodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000001","parentNodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000000","schema":"topaz.compiler.ast/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","span":{"hi":5,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":""}
{"field":"value","index":0,"kind":"expression/binary","nodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000002","operator":"add","parentNodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000001","schema":"topaz.compiler.ast/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","span":{"hi":5,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":""}
{"field":"left","index":0,"kind":"expression/integer","nodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000003","parentNodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000002","schema":"topaz.compiler.ast/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","span":{"hi":1,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":"1","valueDecimal":"1"}
{"field":"right","index":0,"kind":"expression/integer","nodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000004","parentNodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000002","schema":"topaz.compiler.ast/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","span":{"hi":5,"lo":4,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"spelling":"2","valueDecimal":"2"}

ast.jsonl 2311바이트 sha256:fe5b13011321da001156cfc25727a6180e740167bcc94195388aa4ffc891d929

이 파일 원본 그대로 열기, 새 창

판 대조 토파즈 컴파일러 5.21.0 판과 5.21.1 판

두 판에서 이 파일의 바이트가 같았어.

판: 토파즈 컴파일러 5.21.1 topaz-lang@5.21.1
만든 컴파일러: topaz-native-k compiler.producer
명령: topaz compiler observe inputs/w1/main.tpz --out-dir out/w1 --compiler self --terminal rust-source
입력 해시: sha256:cb898749d76e51fdaf6c6636920ccdb4f415fc1cffd1e2497636b38cc2469807

관측 정보

입력 이름: w1
관측 커밋: 96aa9d8
입력 바이트: 31 20 2b 20 32 0a
기록 스키마: topaz.compiler.ast/v1

묶음의 파일 14개 보기

파일	크기	해시
`ast.jsonl`	2311바이트	`sha256:fe5b13011321da001156cfc25727a6180e740167bcc94195388aa4ffc891d929`
`diagnostics.jsonl`	0바이트	`sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855`
`lowered.jsonl`	3332바이트	`sha256:26968c7c119ad38d2e26b93fb70e69fb4f311aff8c5da0aad43c70ea3de16d23`
`provenance.json`	1395바이트	`sha256:10d510756a6d523979c5e891b955a573183f83bd9c20d29994d36546b3bd2a05`
`request.json`	1155바이트	`sha256:2860e9c21cf1c0a8aa86c80c7013c621df29fd8c41d45624fff4acdbd95ad382`
`resolved.jsonl`	747바이트	`sha256:9828e89b129b3be509a9465698d6caa813bd801b415170224292278563b7d41b`
`response.json`	1020바이트	`sha256:72e3e8708917a0f897f4466d0a7872da3178a16a6c93c721f2876cd84defa5b4`
`rust-source.jsonl`이 파일은 이름과 크기, 해시를 볼 수 있어.	7722바이트	`sha256:51ca84a2cd85b1520fc1a734b0c9ab7edb987736086028c69abd019f0cdb63b3`
`self-compilation-product.json`	2418바이트	`sha256:c3cbfad3539faadabac5d7f6128e36d75d4668c9c10117f245caaeb848249b6a`
`source-set.jsonl`	935바이트	`sha256:02ed379005b32ab40416fff78b46ccdbe54e891e1795c75253299e04472eaac5`
`sources/000000.tpz`	6바이트	`sha256:cb898749d76e51fdaf6c6636920ccdb4f415fc1cffd1e2497636b38cc2469807`
`tokens.jsonl`	2841바이트	`sha256:97356c5c773c4714a3cc87d90cd6cf7f77729855cac2c7543b5448f0db4d38fd`
`topaz-observation.json`목록 파일 자신의 크기와 해시는 이 파일 바이트에서 구했어.	2304바이트	`sha256:245f50ad3bbf0197a8e2a92838c007a78303057e316a6016cab110a40b04ae84`
`typed.jsonl`	1238바이트	`sha256:e57b1d4e30111eef8639b7cf460c35280dd91ddebf4c6bae3bc671d9c3f3fb7e`

묶음 rootDigest sha256:bfeb4b4d1e491242f6c8606ff62e42298ea0d13f7df451d3f6707ddbdb12a506

`1 + 2` 타입 기록 `typed.jsonl`

제4화를 위해 새로 관측한 기록이야.

줄 순서는 토파즈가 파일에 적은 그대로야.

{"ambient":false,"nodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000003","nodeKind":"expression","rowKind":"node","schema":"topaz.compiler.typed/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","span":{"hi":1,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"type":{"kind":"literal","name":"int","value":"1"}}
{"ambient":false,"nodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000001","nodeKind":"expression","rowKind":"node","schema":"topaz.compiler.typed/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","span":{"hi":5,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"type":{"kind":"primitive","name":"int"}}
{"ambient":false,"nodeId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf#n00000004","nodeKind":"expression","rowKind":"node","schema":"topaz.compiler.typed/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf","span":{"hi":5,"lo":4,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"},"type":{"kind":"literal","name":"int","value":"2"}}

typed.jsonl 1238바이트 sha256:e57b1d4e30111eef8639b7cf460c35280dd91ddebf4c6bae3bc671d9c3f3fb7e

이 파일 원본 그대로 열기, 새 창

판 대조 토파즈 컴파일러 5.21.0 판과 5.21.1 판

두 판에서 이 파일의 바이트가 같았어.

판: 토파즈 컴파일러 5.21.1 topaz-lang@5.21.1
만든 컴파일러: topaz-native-k compiler.producer
명령: topaz compiler observe inputs/w1/main.tpz --out-dir out/w1 --compiler self --terminal rust-source
입력 해시: sha256:cb898749d76e51fdaf6c6636920ccdb4f415fc1cffd1e2497636b38cc2469807

관측 정보

입력 이름: w1
관측 커밋: 96aa9d8
입력 바이트: 31 20 2b 20 32 0a
기록 스키마: topaz.compiler.typed/v1

묶음의 파일 14개 보기

파일	크기	해시
`ast.jsonl`	2311바이트	`sha256:fe5b13011321da001156cfc25727a6180e740167bcc94195388aa4ffc891d929`
`diagnostics.jsonl`	0바이트	`sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855`
`lowered.jsonl`	3332바이트	`sha256:26968c7c119ad38d2e26b93fb70e69fb4f311aff8c5da0aad43c70ea3de16d23`
`provenance.json`	1395바이트	`sha256:10d510756a6d523979c5e891b955a573183f83bd9c20d29994d36546b3bd2a05`
`request.json`	1155바이트	`sha256:2860e9c21cf1c0a8aa86c80c7013c621df29fd8c41d45624fff4acdbd95ad382`
`resolved.jsonl`	747바이트	`sha256:9828e89b129b3be509a9465698d6caa813bd801b415170224292278563b7d41b`
`response.json`	1020바이트	`sha256:72e3e8708917a0f897f4466d0a7872da3178a16a6c93c721f2876cd84defa5b4`
`rust-source.jsonl`이 파일은 이름과 크기, 해시를 볼 수 있어.	7722바이트	`sha256:51ca84a2cd85b1520fc1a734b0c9ab7edb987736086028c69abd019f0cdb63b3`
`self-compilation-product.json`	2418바이트	`sha256:c3cbfad3539faadabac5d7f6128e36d75d4668c9c10117f245caaeb848249b6a`
`source-set.jsonl`	935바이트	`sha256:02ed379005b32ab40416fff78b46ccdbe54e891e1795c75253299e04472eaac5`
`sources/000000.tpz`	6바이트	`sha256:cb898749d76e51fdaf6c6636920ccdb4f415fc1cffd1e2497636b38cc2469807`
`tokens.jsonl`	2841바이트	`sha256:97356c5c773c4714a3cc87d90cd6cf7f77729855cac2c7543b5448f0db4d38fd`
`topaz-observation.json`목록 파일 자신의 크기와 해시는 이 파일 바이트에서 구했어.	2304바이트	`sha256:245f50ad3bbf0197a8e2a92838c007a78303057e316a6016cab110a40b04ae84`
`typed.jsonl`	1238바이트	`sha256:e57b1d4e30111eef8639b7cf460c35280dd91ddebf4c6bae3bc671d9c3f3fb7e`

묶음 rootDigest sha256:bfeb4b4d1e491242f6c8606ff62e42298ea0d13f7df451d3f6707ddbdb12a506

`1 + 2` 작업 기록 `lowered.jsonl`

제4화를 위해 새로 관측한 기록이야.

이 8줄은 토파즈가 파일에 적은 순서대로 놓여 있어. 5줄은 작업이고, 나머지 3줄에는 모듈 정보와 필요한 런타임 부품, 런타임 틀이 적혀 있어.

{"entry":true,"extern":false,"identity":"main","initializationOrdinal":0,"operationIds":["op:main:0:0:6:ModuleInitialization:module","op:main:0:0:5:Statement:expression-statement","op:main:0:0:5:Expression:binary","op:main:0:0:1:Expression:integer","op:main:0:4:5:Expression:integer"],"path":"inputs/w1/main.tpz","rowKind":"module","schema":"topaz.compiler.lowered/v1","sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"}모듈 정보
{"deterministic":true,"identity":"binary","rowKind":"runtime-leaf","schema":"topaz.compiler.lowered/v1"}필요한 런타임 부품
{"identity":"stage1-ir-table/v1","rowKind":"runtime-template","schema":"topaz.compiler.lowered/v1","sha256":"sha256:79b4af8e5544a04eb021fe093dda38ed15b655e8dc56faef151807a8cb925d74"}런타임 틀
{"binding":null,"call":null,"control":null,"detail":null,"kind":"module","module":"main","operands":["op:main:0:0:5:Statement:expression-statement"],"operationId":"op:main:0:0:6:ModuleInitialization:module","parentOperationId":null,"representation":null,"role":"module-initialization","rowKind":"operation","runtimeLeaf":null,"schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":6,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"}}첫째 작업 · 프로그램 시작 준비
{"binding":null,"call":null,"control":null,"detail":{"detail":null,"expressionKind":"block"},"kind":"expression","module":"main","operands":["op:main:0:0:5:Expression:binary"],"operationId":"op:main:0:0:5:Statement:expression-statement","parentOperationId":"op:main:0:0:6:ModuleInitialization:module","representation":"i64","role":"statement","rowKind":"operation","runtimeLeaf":null,"schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":5,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"}}둘째 작업 · 식을 담은 문장
{"binding":null,"call":null,"control":null,"detail":{"detail":"add","expressionKind":"binary"},"kind":"expression","module":"main","operands":["op:main:0:0:1:Expression:integer","op:main:0:4:5:Expression:integer"],"operationId":"op:main:0:0:5:Expression:binary","parentOperationId":"op:main:0:0:5:Statement:expression-statement","representation":"i64","role":"expression","rowKind":"operation","runtimeLeaf":"binary","schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":5,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"}}셋째 작업 · 두 값 셈
{"binding":null,"call":null,"control":null,"detail":{"detail":"1","expressionKind":"integer"},"kind":"expression","module":"main","operands":[],"operationId":"op:main:0:0:1:Expression:integer","parentOperationId":"op:main:0:0:5:Expression:binary","representation":"i64","role":"expression","rowKind":"operation","runtimeLeaf":null,"schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":1,"lo":0,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"}}넷째 작업 · 정수
{"binding":null,"call":null,"control":null,"detail":{"detail":"2","expressionKind":"integer"},"kind":"expression","module":"main","operands":[],"operationId":"op:main:0:4:5:Expression:integer","parentOperationId":"op:main:0:0:5:Expression:binary","representation":"i64","role":"expression","rowKind":"operation","runtimeLeaf":null,"schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":5,"lo":4,"sourceId":"s:b0bf3d44f5dfbd643a64c8c7f820dff43e2af8c25d85ec0045202129687b06cf"}}다섯째 작업 · 정수

제4화의 카드는 토파즈가 작업을 파일에 적은 순서로 꽂았어.

+ 글자는 소스에서 3번째 칸을 차지해. 더하기 작업의 범위는 식 전체인 1~5번째 칸이야.

문장 작업과 더하기 작업은 같은 소스 범위를 가리켜. 문장 작업은 더하기 작업을 가리키고, 더하기 작업은 두 정수 작업을 가리켜.

타입 기록에서 1과 2, 그리고 둘을 더하는 식의 타입은 int야. 이 세 작업의 representation에는 i64가 적혀 있어. 부호 있는 64비트 정수 표현이야. 맨 바깥의 모듈 초기화 작업에는 표현 값이 없어.

맨 바깥의 모듈 초기화 작업은 줄 끝의 줄바꿈(LF)까지 덮어.

lowered.jsonl 3332바이트 sha256:26968c7c119ad38d2e26b93fb70e69fb4f311aff8c5da0aad43c70ea3de16d23

이 파일 원본 그대로 열기, 새 창

판 대조 토파즈 컴파일러 5.21.0 판과 5.21.1 판

두 판에서 이 파일의 바이트가 같았어.

판: 토파즈 컴파일러 5.21.1 topaz-lang@5.21.1
만든 컴파일러: topaz-native-k compiler.producer
명령: topaz compiler observe inputs/w1/main.tpz --out-dir out/w1 --compiler self --terminal rust-source
입력 해시: sha256:cb898749d76e51fdaf6c6636920ccdb4f415fc1cffd1e2497636b38cc2469807

관측 정보

입력 이름: w1
관측 커밋: 96aa9d8
입력 바이트: 31 20 2b 20 32 0a
기록 스키마: topaz.compiler.lowered/v1
런타임 틀: stage1-ir-table/v1
IR 스키마: topaz.compiler.stage1-ir/v5 compiler.irSchema

묶음의 파일 14개 보기

파일	크기	해시
`ast.jsonl`	2311바이트	`sha256:fe5b13011321da001156cfc25727a6180e740167bcc94195388aa4ffc891d929`
`diagnostics.jsonl`	0바이트	`sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855`
`lowered.jsonl`	3332바이트	`sha256:26968c7c119ad38d2e26b93fb70e69fb4f311aff8c5da0aad43c70ea3de16d23`
`provenance.json`	1395바이트	`sha256:10d510756a6d523979c5e891b955a573183f83bd9c20d29994d36546b3bd2a05`
`request.json`	1155바이트	`sha256:2860e9c21cf1c0a8aa86c80c7013c621df29fd8c41d45624fff4acdbd95ad382`
`resolved.jsonl`	747바이트	`sha256:9828e89b129b3be509a9465698d6caa813bd801b415170224292278563b7d41b`
`response.json`	1020바이트	`sha256:72e3e8708917a0f897f4466d0a7872da3178a16a6c93c721f2876cd84defa5b4`
`rust-source.jsonl`이 파일은 이름과 크기, 해시를 볼 수 있어.	7722바이트	`sha256:51ca84a2cd85b1520fc1a734b0c9ab7edb987736086028c69abd019f0cdb63b3`
`self-compilation-product.json`	2418바이트	`sha256:c3cbfad3539faadabac5d7f6128e36d75d4668c9c10117f245caaeb848249b6a`
`source-set.jsonl`	935바이트	`sha256:02ed379005b32ab40416fff78b46ccdbe54e891e1795c75253299e04472eaac5`
`sources/000000.tpz`	6바이트	`sha256:cb898749d76e51fdaf6c6636920ccdb4f415fc1cffd1e2497636b38cc2469807`
`tokens.jsonl`	2841바이트	`sha256:97356c5c773c4714a3cc87d90cd6cf7f77729855cac2c7543b5448f0db4d38fd`
`topaz-observation.json`목록 파일 자신의 크기와 해시는 이 파일 바이트에서 구했어.	2304바이트	`sha256:245f50ad3bbf0197a8e2a92838c007a78303057e316a6016cab110a40b04ae84`
`typed.jsonl`	1238바이트	`sha256:e57b1d4e30111eef8639b7cf460c35280dd91ddebf4c6bae3bc671d9c3f3fb7e`

묶음 rootDigest sha256:bfeb4b4d1e491242f6c8606ff62e42298ea0d13f7df451d3f6707ddbdb12a506

`1 + 2 * 3` 토큰 기록 `tokens.jsonl`

제4화를 위해 새로 관측한 기록이야.

줄 순서는 토파즈가 파일에 적은 그대로야.

{"kind":"integer","ordinal":0,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":1,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"1","stream":"raw","synthetic":false}
{"kind":"plus","ordinal":1,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":3,"lo":2,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"+","stream":"raw","synthetic":false}
{"kind":"integer","ordinal":2,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":5,"lo":4,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"2","stream":"raw","synthetic":false}
{"kind":"star","ordinal":3,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":7,"lo":6,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"*","stream":"raw","synthetic":false}
{"kind":"integer","ordinal":4,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":9,"lo":8,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"3","stream":"raw","synthetic":false}
{"kind":"newline","ordinal":5,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":10,"lo":9,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"\n","stream":"raw","synthetic":false}
{"kind":"eof","ordinal":6,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":10,"lo":10,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"","stream":"raw","synthetic":false}
{"kind":"integer","ordinal":0,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":1,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"1","stream":"layout","synthetic":false}
{"kind":"plus","ordinal":1,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":3,"lo":2,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"+","stream":"layout","synthetic":false}
{"kind":"integer","ordinal":2,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":5,"lo":4,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"2","stream":"layout","synthetic":false}
{"kind":"star","ordinal":3,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":7,"lo":6,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"*","stream":"layout","synthetic":false}
{"kind":"integer","ordinal":4,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":9,"lo":8,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"3","stream":"layout","synthetic":false}
{"kind":"eof","ordinal":5,"schema":"topaz.compiler.tokens/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","sourceOrdinal":0,"span":{"hi":10,"lo":10,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"","stream":"layout","synthetic":false}

tokens.jsonl 4110바이트 sha256:b9baaa0fba5b5e6df960627284d174a33c2651a1740bace189f3b46bd7f25953

이 파일 원본 그대로 열기, 새 창

판 대조 토파즈 컴파일러 5.21.0 판과 5.21.1 판

두 판에서 이 파일의 바이트가 같았어.

판: 토파즈 컴파일러 5.21.1 topaz-lang@5.21.1
만든 컴파일러: topaz-native-k compiler.producer
명령: topaz compiler observe inputs/w3/main.tpz --out-dir out/w3 --compiler self --terminal rust-source
입력 해시: sha256:3553c468c86fade22a00dab4c3970537a6d2e1588fa7514a01b860de9a151ba1

관측 정보

입력 이름: w3
관측 커밋: 96aa9d8
입력 바이트: 31 20 2b 20 32 20 2a 20 33 0a
기록 스키마: topaz.compiler.tokens/v1

묶음의 파일 14개 보기

파일	크기	해시
`ast.jsonl`	3288바이트	`sha256:9a7c4b7d6189ef10560f211fec2dad9a3bb5437598beac86aa2217fcfa70ee47`
`diagnostics.jsonl`	0바이트	`sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855`
`lowered.jsonl`	4466바이트	`sha256:1159c174cf94ad280cbf8a823ec74767e29c3624afa0ff9edbf53b05a8f34eba`
`provenance.json`	1395바이트	`sha256:10d510756a6d523979c5e891b955a573183f83bd9c20d29994d36546b3bd2a05`
`request.json`	1156바이트	`sha256:ae361d2ae0bb215014450dd296203ba2de06b552cf3e76cb8ccaf0c18253b26f`
`resolved.jsonl`	748바이트	`sha256:dc1436b30f79bf7f2f8342cfb2c892b0542e1998f09720cadef8b743000ce2cc`
`response.json`	1020바이트	`sha256:1440edb4389b802f2cb2f966e80647e52fb3135b62e2aee21c0013bc3748f0f4`
`rust-source.jsonl`이 파일은 이름과 크기, 해시를 볼 수 있어.	10287바이트	`sha256:6910e188573d6837c47d0f9dbbdb02b70d4a8f06334c0dbde7997aab7d4cbe6f`
`self-compilation-product.json`	2418바이트	`sha256:891a8be1f7257ef9975d8e0aef8d50cde243f77467ec2963a06c3fef111bd387`
`source-set.jsonl`	937바이트	`sha256:c8a7ab1c4685022be2ce82fca21540149f7826f23e4390c053eeeded317511ed`
`sources/000000.tpz`	10바이트	`sha256:3553c468c86fade22a00dab4c3970537a6d2e1588fa7514a01b860de9a151ba1`
`tokens.jsonl`	4110바이트	`sha256:b9baaa0fba5b5e6df960627284d174a33c2651a1740bace189f3b46bd7f25953`
`topaz-observation.json`목록 파일 자신의 크기와 해시는 이 파일 바이트에서 구했어.	2306바이트	`sha256:52ebc7b3172f0ab19c4ae0111edecb1787c44edb08d2b0bf0f7b22e2bdd9217c`
`typed.jsonl`	2060바이트	`sha256:c4b0af2d43aa0cb381ef49acca1b6eaf5d8681e251c23c96c576c34fedccb42e`

묶음 rootDigest sha256:c4824db06dd2bcc366173cfe66ffb7756c48a8667aded16080a842f414082f7c

`1 + 2 * 3` 나무 기록 `ast.jsonl`

제4화를 위해 새로 관측한 기록이야.

줄 순서는 토파즈가 파일에 적은 그대로야.

{"field":"root","index":0,"kind":"program","nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000000","parentNodeId":null,"schema":"topaz.compiler.ast/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":10,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":""}
{"field":"items","index":0,"kind":"statement/expression","nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000001","parentNodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000000","schema":"topaz.compiler.ast/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":9,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":""}
{"field":"value","index":0,"kind":"expression/binary","nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000002","operator":"add","parentNodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000001","schema":"topaz.compiler.ast/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":9,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":""}
{"field":"left","index":0,"kind":"expression/integer","nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000003","parentNodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000002","schema":"topaz.compiler.ast/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":1,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"1","valueDecimal":"1"}
{"field":"right","index":0,"kind":"expression/binary","nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000004","operator":"multiply","parentNodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000002","schema":"topaz.compiler.ast/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":9,"lo":4,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":""}
{"field":"left","index":0,"kind":"expression/integer","nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000005","parentNodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000004","schema":"topaz.compiler.ast/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":5,"lo":4,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"2","valueDecimal":"2"}
{"field":"right","index":0,"kind":"expression/integer","nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000006","parentNodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000004","schema":"topaz.compiler.ast/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":9,"lo":8,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"spelling":"3","valueDecimal":"3"}

ast.jsonl 3288바이트 sha256:9a7c4b7d6189ef10560f211fec2dad9a3bb5437598beac86aa2217fcfa70ee47

이 파일 원본 그대로 열기, 새 창

판 대조 토파즈 컴파일러 5.21.0 판과 5.21.1 판

두 판에서 이 파일의 바이트가 같았어.

판: 토파즈 컴파일러 5.21.1 topaz-lang@5.21.1
만든 컴파일러: topaz-native-k compiler.producer
명령: topaz compiler observe inputs/w3/main.tpz --out-dir out/w3 --compiler self --terminal rust-source
입력 해시: sha256:3553c468c86fade22a00dab4c3970537a6d2e1588fa7514a01b860de9a151ba1

관측 정보

입력 이름: w3
관측 커밋: 96aa9d8
입력 바이트: 31 20 2b 20 32 20 2a 20 33 0a
기록 스키마: topaz.compiler.ast/v1

묶음의 파일 14개 보기

파일	크기	해시
`ast.jsonl`	3288바이트	`sha256:9a7c4b7d6189ef10560f211fec2dad9a3bb5437598beac86aa2217fcfa70ee47`
`diagnostics.jsonl`	0바이트	`sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855`
`lowered.jsonl`	4466바이트	`sha256:1159c174cf94ad280cbf8a823ec74767e29c3624afa0ff9edbf53b05a8f34eba`
`provenance.json`	1395바이트	`sha256:10d510756a6d523979c5e891b955a573183f83bd9c20d29994d36546b3bd2a05`
`request.json`	1156바이트	`sha256:ae361d2ae0bb215014450dd296203ba2de06b552cf3e76cb8ccaf0c18253b26f`
`resolved.jsonl`	748바이트	`sha256:dc1436b30f79bf7f2f8342cfb2c892b0542e1998f09720cadef8b743000ce2cc`
`response.json`	1020바이트	`sha256:1440edb4389b802f2cb2f966e80647e52fb3135b62e2aee21c0013bc3748f0f4`
`rust-source.jsonl`이 파일은 이름과 크기, 해시를 볼 수 있어.	10287바이트	`sha256:6910e188573d6837c47d0f9dbbdb02b70d4a8f06334c0dbde7997aab7d4cbe6f`
`self-compilation-product.json`	2418바이트	`sha256:891a8be1f7257ef9975d8e0aef8d50cde243f77467ec2963a06c3fef111bd387`
`source-set.jsonl`	937바이트	`sha256:c8a7ab1c4685022be2ce82fca21540149f7826f23e4390c053eeeded317511ed`
`sources/000000.tpz`	10바이트	`sha256:3553c468c86fade22a00dab4c3970537a6d2e1588fa7514a01b860de9a151ba1`
`tokens.jsonl`	4110바이트	`sha256:b9baaa0fba5b5e6df960627284d174a33c2651a1740bace189f3b46bd7f25953`
`topaz-observation.json`목록 파일 자신의 크기와 해시는 이 파일 바이트에서 구했어.	2306바이트	`sha256:52ebc7b3172f0ab19c4ae0111edecb1787c44edb08d2b0bf0f7b22e2bdd9217c`
`typed.jsonl`	2060바이트	`sha256:c4b0af2d43aa0cb381ef49acca1b6eaf5d8681e251c23c96c576c34fedccb42e`

묶음 rootDigest sha256:c4824db06dd2bcc366173cfe66ffb7756c48a8667aded16080a842f414082f7c

`1 + 2 * 3` 타입 기록 `typed.jsonl`

제4화를 위해 새로 관측한 기록이야.

줄 순서는 토파즈가 파일에 적은 그대로야.

{"ambient":false,"nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000003","nodeKind":"expression","rowKind":"node","schema":"topaz.compiler.typed/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":1,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"type":{"kind":"literal","name":"int","value":"1"}}
{"ambient":false,"nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000001","nodeKind":"expression","rowKind":"node","schema":"topaz.compiler.typed/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":9,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"type":{"kind":"primitive","name":"int"}}
{"ambient":false,"nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000005","nodeKind":"expression","rowKind":"node","schema":"topaz.compiler.typed/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":5,"lo":4,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"type":{"kind":"literal","name":"int","value":"2"}}
{"ambient":false,"nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000004","nodeKind":"expression","rowKind":"node","schema":"topaz.compiler.typed/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":9,"lo":4,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"type":{"kind":"primitive","name":"int"}}
{"ambient":false,"nodeId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139#n00000006","nodeKind":"expression","rowKind":"node","schema":"topaz.compiler.typed/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139","span":{"hi":9,"lo":8,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"},"type":{"kind":"literal","name":"int","value":"3"}}

typed.jsonl 2060바이트 sha256:c4b0af2d43aa0cb381ef49acca1b6eaf5d8681e251c23c96c576c34fedccb42e

이 파일 원본 그대로 열기, 새 창

판 대조 토파즈 컴파일러 5.21.0 판과 5.21.1 판

두 판에서 이 파일의 바이트가 같았어.

판: 토파즈 컴파일러 5.21.1 topaz-lang@5.21.1
만든 컴파일러: topaz-native-k compiler.producer
명령: topaz compiler observe inputs/w3/main.tpz --out-dir out/w3 --compiler self --terminal rust-source
입력 해시: sha256:3553c468c86fade22a00dab4c3970537a6d2e1588fa7514a01b860de9a151ba1

관측 정보

입력 이름: w3
관측 커밋: 96aa9d8
입력 바이트: 31 20 2b 20 32 20 2a 20 33 0a
기록 스키마: topaz.compiler.typed/v1

묶음의 파일 14개 보기

파일	크기	해시
`ast.jsonl`	3288바이트	`sha256:9a7c4b7d6189ef10560f211fec2dad9a3bb5437598beac86aa2217fcfa70ee47`
`diagnostics.jsonl`	0바이트	`sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855`
`lowered.jsonl`	4466바이트	`sha256:1159c174cf94ad280cbf8a823ec74767e29c3624afa0ff9edbf53b05a8f34eba`
`provenance.json`	1395바이트	`sha256:10d510756a6d523979c5e891b955a573183f83bd9c20d29994d36546b3bd2a05`
`request.json`	1156바이트	`sha256:ae361d2ae0bb215014450dd296203ba2de06b552cf3e76cb8ccaf0c18253b26f`
`resolved.jsonl`	748바이트	`sha256:dc1436b30f79bf7f2f8342cfb2c892b0542e1998f09720cadef8b743000ce2cc`
`response.json`	1020바이트	`sha256:1440edb4389b802f2cb2f966e80647e52fb3135b62e2aee21c0013bc3748f0f4`
`rust-source.jsonl`이 파일은 이름과 크기, 해시를 볼 수 있어.	10287바이트	`sha256:6910e188573d6837c47d0f9dbbdb02b70d4a8f06334c0dbde7997aab7d4cbe6f`
`self-compilation-product.json`	2418바이트	`sha256:891a8be1f7257ef9975d8e0aef8d50cde243f77467ec2963a06c3fef111bd387`
`source-set.jsonl`	937바이트	`sha256:c8a7ab1c4685022be2ce82fca21540149f7826f23e4390c053eeeded317511ed`
`sources/000000.tpz`	10바이트	`sha256:3553c468c86fade22a00dab4c3970537a6d2e1588fa7514a01b860de9a151ba1`
`tokens.jsonl`	4110바이트	`sha256:b9baaa0fba5b5e6df960627284d174a33c2651a1740bace189f3b46bd7f25953`
`topaz-observation.json`목록 파일 자신의 크기와 해시는 이 파일 바이트에서 구했어.	2306바이트	`sha256:52ebc7b3172f0ab19c4ae0111edecb1787c44edb08d2b0bf0f7b22e2bdd9217c`
`typed.jsonl`	2060바이트	`sha256:c4b0af2d43aa0cb381ef49acca1b6eaf5d8681e251c23c96c576c34fedccb42e`

묶음 rootDigest sha256:c4824db06dd2bcc366173cfe66ffb7756c48a8667aded16080a842f414082f7c

`1 + 2 * 3` 작업 기록 `lowered.jsonl`

제4화를 위해 새로 관측한 기록이야.

이 10줄은 토파즈가 파일에 적은 순서대로 놓여 있어. 7줄은 작업이고, 나머지 3줄에는 모듈 정보와 필요한 런타임 부품, 런타임 틀이 적혀 있어.

{"entry":true,"extern":false,"identity":"main","initializationOrdinal":0,"operationIds":["op:main:0:0:10:ModuleInitialization:module","op:main:0:0:9:Statement:expression-statement","op:main:0:0:9:Expression:binary","op:main:0:0:1:Expression:integer","op:main:0:4:9:Expression:binary","op:main:0:4:5:Expression:integer","op:main:0:8:9:Expression:integer"],"path":"inputs/w3/main.tpz","rowKind":"module","schema":"topaz.compiler.lowered/v1","sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"}모듈 정보
{"deterministic":true,"identity":"binary","rowKind":"runtime-leaf","schema":"topaz.compiler.lowered/v1"}필요한 런타임 부품
{"identity":"stage1-ir-table/v1","rowKind":"runtime-template","schema":"topaz.compiler.lowered/v1","sha256":"sha256:79b4af8e5544a04eb021fe093dda38ed15b655e8dc56faef151807a8cb925d74"}런타임 틀
{"binding":null,"call":null,"control":null,"detail":null,"kind":"module","module":"main","operands":["op:main:0:0:9:Statement:expression-statement"],"operationId":"op:main:0:0:10:ModuleInitialization:module","parentOperationId":null,"representation":null,"role":"module-initialization","rowKind":"operation","runtimeLeaf":null,"schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":10,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"}}첫째 작업 · 프로그램 시작 준비
{"binding":null,"call":null,"control":null,"detail":{"detail":null,"expressionKind":"block"},"kind":"expression","module":"main","operands":["op:main:0:0:9:Expression:binary"],"operationId":"op:main:0:0:9:Statement:expression-statement","parentOperationId":"op:main:0:0:10:ModuleInitialization:module","representation":"i64","role":"statement","rowKind":"operation","runtimeLeaf":null,"schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":9,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"}}둘째 작업 · 식을 담은 문장
{"binding":null,"call":null,"control":null,"detail":{"detail":"add","expressionKind":"binary"},"kind":"expression","module":"main","operands":["op:main:0:0:1:Expression:integer","op:main:0:4:9:Expression:binary"],"operationId":"op:main:0:0:9:Expression:binary","parentOperationId":"op:main:0:0:9:Statement:expression-statement","representation":"i64","role":"expression","rowKind":"operation","runtimeLeaf":"binary","schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":9,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"}}셋째 작업 · 두 값 셈
{"binding":null,"call":null,"control":null,"detail":{"detail":"1","expressionKind":"integer"},"kind":"expression","module":"main","operands":[],"operationId":"op:main:0:0:1:Expression:integer","parentOperationId":"op:main:0:0:9:Expression:binary","representation":"i64","role":"expression","rowKind":"operation","runtimeLeaf":null,"schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":1,"lo":0,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"}}넷째 작업 · 정수
{"binding":null,"call":null,"control":null,"detail":{"detail":"multiply","expressionKind":"binary"},"kind":"expression","module":"main","operands":["op:main:0:4:5:Expression:integer","op:main:0:8:9:Expression:integer"],"operationId":"op:main:0:4:9:Expression:binary","parentOperationId":"op:main:0:0:9:Expression:binary","representation":"i64","role":"expression","rowKind":"operation","runtimeLeaf":"binary","schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":9,"lo":4,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"}}다섯째 작업 · 두 값 셈
{"binding":null,"call":null,"control":null,"detail":{"detail":"2","expressionKind":"integer"},"kind":"expression","module":"main","operands":[],"operationId":"op:main:0:4:5:Expression:integer","parentOperationId":"op:main:0:4:9:Expression:binary","representation":"i64","role":"expression","rowKind":"operation","runtimeLeaf":null,"schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":5,"lo":4,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"}}여섯째 작업 · 정수
{"binding":null,"call":null,"control":null,"detail":{"detail":"3","expressionKind":"integer"},"kind":"expression","module":"main","operands":[],"operationId":"op:main:0:8:9:Expression:integer","parentOperationId":"op:main:0:4:9:Expression:binary","representation":"i64","role":"expression","rowKind":"operation","runtimeLeaf":null,"schema":"topaz.compiler.lowered/v1","semanticType":null,"span":{"hi":9,"lo":8,"sourceId":"s:d2e29de08dd3e422f618090b82bff6eaf49af5c4625b06279035b7c3597f6139"}}일곱째 작업 · 정수

lowered.jsonl 4466바이트 sha256:1159c174cf94ad280cbf8a823ec74767e29c3624afa0ff9edbf53b05a8f34eba

이 파일 원본 그대로 열기, 새 창

판 대조 토파즈 컴파일러 5.21.0 판과 5.21.1 판

두 판에서 이 파일의 바이트가 같았어.

판: 토파즈 컴파일러 5.21.1 topaz-lang@5.21.1
만든 컴파일러: topaz-native-k compiler.producer
명령: topaz compiler observe inputs/w3/main.tpz --out-dir out/w3 --compiler self --terminal rust-source
입력 해시: sha256:3553c468c86fade22a00dab4c3970537a6d2e1588fa7514a01b860de9a151ba1

관측 정보

입력 이름: w3
관측 커밋: 96aa9d8
입력 바이트: 31 20 2b 20 32 20 2a 20 33 0a
기록 스키마: topaz.compiler.lowered/v1
런타임 틀: stage1-ir-table/v1
IR 스키마: topaz.compiler.stage1-ir/v5 compiler.irSchema

묶음의 파일 14개 보기

파일	크기	해시
`ast.jsonl`	3288바이트	`sha256:9a7c4b7d6189ef10560f211fec2dad9a3bb5437598beac86aa2217fcfa70ee47`
`diagnostics.jsonl`	0바이트	`sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855`
`lowered.jsonl`	4466바이트	`sha256:1159c174cf94ad280cbf8a823ec74767e29c3624afa0ff9edbf53b05a8f34eba`
`provenance.json`	1395바이트	`sha256:10d510756a6d523979c5e891b955a573183f83bd9c20d29994d36546b3bd2a05`
`request.json`	1156바이트	`sha256:ae361d2ae0bb215014450dd296203ba2de06b552cf3e76cb8ccaf0c18253b26f`
`resolved.jsonl`	748바이트	`sha256:dc1436b30f79bf7f2f8342cfb2c892b0542e1998f09720cadef8b743000ce2cc`
`response.json`	1020바이트	`sha256:1440edb4389b802f2cb2f966e80647e52fb3135b62e2aee21c0013bc3748f0f4`
`rust-source.jsonl`이 파일은 이름과 크기, 해시를 볼 수 있어.	10287바이트	`sha256:6910e188573d6837c47d0f9dbbdb02b70d4a8f06334c0dbde7997aab7d4cbe6f`
`self-compilation-product.json`	2418바이트	`sha256:891a8be1f7257ef9975d8e0aef8d50cde243f77467ec2963a06c3fef111bd387`
`source-set.jsonl`	937바이트	`sha256:c8a7ab1c4685022be2ce82fca21540149f7826f23e4390c053eeeded317511ed`
`sources/000000.tpz`	10바이트	`sha256:3553c468c86fade22a00dab4c3970537a6d2e1588fa7514a01b860de9a151ba1`
`tokens.jsonl`	4110바이트	`sha256:b9baaa0fba5b5e6df960627284d174a33c2651a1740bace189f3b46bd7f25953`
`topaz-observation.json`목록 파일 자신의 크기와 해시는 이 파일 바이트에서 구했어.	2306바이트	`sha256:52ebc7b3172f0ab19c4ae0111edecb1787c44edb08d2b0bf0f7b22e2bdd9217c`
`typed.jsonl`	2060바이트	`sha256:c4b0af2d43aa0cb381ef49acca1b6eaf5d8681e251c23c96c576c34fedccb42e`

묶음 rootDigest sha256:c4824db06dd2bcc366173cfe66ffb7756c48a8667aded16080a842f414082f7c

`1 + 2` 출처 기록 `provenance.json`

제4화를 위해 관측한 묶음에 함께 남은 출처 파일이야. 제6화가 이 파일을 펼쳐.

원본 한 줄

토파즈는 이 파일을 한 줄로 적었어. 아래 표는 그 줄에서 고른 항목을 읽기 쉽게 옮긴 거야.

{"compiler":{"emitterExecutableSha256":"sha256:bc2077c5467fba81210f641dd4c19c2d01db5a8f4def9bf6d32a81e11a378c2c","emitterToolchain":"rustc 1.96.0 (ac68faa20 2026-05-25)\nbinary: rustc\ncommit-hash: ac68faa20c58cbccd01ee7208bf3b6e93a7d7f96\ncommit-date: 2026-05-25\nhost: x86_64-pc-windows-msvc\nrelease: 1.96.0\nLLVM version: 22.1.2\n","exchangeSchema":"topaz.compiler.stage1-exchange/v2","executionKind":"native","generatedRustSha256":"sha256:5f32cee07a1adea1c67ba8ac8fbd4f3ee4051f019a7856fcdb228740a1d4b8b1","irSchema":"topaz.compiler.stage1-ir/v5","linkToolchain":"rustc 1.96.0 (ac68faa20 2026-05-25)\nbinary: rustc\ncommit-hash: ac68faa20c58cbccd01ee7208bf3b6e93a7d7f96\ncommit-date: 2026-05-25\nhost: aarch64-apple-darwin\nrelease: 1.96.0\nLLVM version: 22.1.2\n","nativeLinkId":"sha256:9096b16d2fc482609ba5bf3e89a0373f7711075bc56350e03d06e6ce1f9b0c5d","producer":"topaz-native-k","producerStage":1,"runtimeSourceSetId":"sha256:85ed8d3b0571c34bc40c3ffd1be8bcda2a539d6c82c92b417c834507200d9c60","sourceSetId":"sha256:17d598ebcb0dea65195aba8c0b3ab20f94003a7f343714f7b1df25d790cdacd5","target":"aarch64-apple-darwin"},"defaultEngine":"self","engine":"topaz-native-k","generatedSourceFixedPoint":"established","languageMode":"topaz-5.21","nativeBinaryReproducibility":"not-run","productVersion":"5.21.1","schema":"topaz.compiler.bootstrap-provenance/v2","semanticFixedPoint":"not-established"}

읽기용 필드 표
필드	기록의 값	뜻
`engine`	`topaz-native-k`	결과를 만든 컴파일러 구현의 이름이야.
`compiler.producer`	`topaz-native-k`	이 관측 결과를 만든 생성자의 식별자야. 여기서는 engine과 값이 같아.
`compiler.producerStage`	`1`	기록을 만든 생성자에 적힌 단계 번호야.
`defaultEngine`	`self`	이 판의 기본 선택이야. 제4화 명령에는 실제로 --compiler self가 있었어.
`generatedSourceFixedPoint`	`established`	자기 소스를 연이어 컴파일한 단계에서 생성한 Rust의 바이트가 같았는지 적는 값이야.
`semanticFixedPoint`	`not-established`	컴파일러의 중간 기록에서 의미 고정점이 성립했는지 나타내.
`nativeBinaryReproducibility`	`not-run`	실행 파일의 바이트를 견주는 대조를 적는 값이야.
`schema`	`topaz.compiler.bootstrap-provenance/v2`	이 출처 기록의 형식 이름이야.
`languageMode`	`topaz-5.21`	이 관측에 적힌 토파즈 언어 모드야.

compiler.linkToolchain의 첫 줄은 rustc 1.96.0 (ac68faa20 2026-05-25)이야. 이 컴파일러의 링크 도구 기록이야.

provenance.json 1395바이트 sha256:10d510756a6d523979c5e891b955a573183f83bd9c20d29994d36546b3bd2a05

이 파일 원본 그대로 열기, 새 창

판 대조 토파즈 컴파일러 5.21.0 판과 5.21.1 판

5.21.0 판과 5.21.1 판의 출처 기록에서 고른 아홉 항목의 값이 같았어.

두 출처 파일의 전체 바이트는 달랐어.

판: 토파즈 컴파일러 5.21.1 topaz-lang@5.21.1
만든 컴파일러: topaz-native-k compiler.producer
명령: topaz compiler observe inputs/w1/main.tpz --out-dir out/w1 --compiler self --terminal rust-source
입력 해시: sha256:cb898749d76e51fdaf6c6636920ccdb4f415fc1cffd1e2497636b38cc2469807

`1 줄바꿈 2 줄바꿈` 토큰 기록 `tokens.jsonl`

제7화를 위해 관측한 기록이야. 토파즈는 두 토큰 흐름을 한 파일에 함께 적었어.

줄 순서는 토파즈가 파일에 적은 그대로야. 앞 5줄은 raw 흐름, 뒤 4줄은 layout 흐름이야.

{"kind":"integer","ordinal":0,"schema":"topaz.compiler.tokens/v1","sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db","sourceOrdinal":0,"span":{"hi":1,"lo":0,"sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db"},"spelling":"1","stream":"raw","synthetic":false}
{"kind":"newline","ordinal":1,"schema":"topaz.compiler.tokens/v1","sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db","sourceOrdinal":0,"span":{"hi":2,"lo":1,"sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db"},"spelling":"\n","stream":"raw","synthetic":false}
{"kind":"integer","ordinal":2,"schema":"topaz.compiler.tokens/v1","sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db","sourceOrdinal":0,"span":{"hi":3,"lo":2,"sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db"},"spelling":"2","stream":"raw","synthetic":false}
{"kind":"newline","ordinal":3,"schema":"topaz.compiler.tokens/v1","sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db","sourceOrdinal":0,"span":{"hi":4,"lo":3,"sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db"},"spelling":"\n","stream":"raw","synthetic":false}
{"kind":"eof","ordinal":4,"schema":"topaz.compiler.tokens/v1","sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db","sourceOrdinal":0,"span":{"hi":4,"lo":4,"sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db"},"spelling":"","stream":"raw","synthetic":false}
{"kind":"integer","ordinal":0,"schema":"topaz.compiler.tokens/v1","sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db","sourceOrdinal":0,"span":{"hi":1,"lo":0,"sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db"},"spelling":"1","stream":"layout","synthetic":false}
{"kind":"separator","ordinal":1,"schema":"topaz.compiler.tokens/v1","sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db","sourceOrdinal":0,"span":{"hi":2,"lo":1,"sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db"},"spelling":"\n","stream":"layout","synthetic":true}
{"kind":"integer","ordinal":2,"schema":"topaz.compiler.tokens/v1","sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db","sourceOrdinal":0,"span":{"hi":3,"lo":2,"sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db"},"spelling":"2","stream":"layout","synthetic":false}
{"kind":"eof","ordinal":3,"schema":"topaz.compiler.tokens/v1","sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db","sourceOrdinal":0,"span":{"hi":4,"lo":4,"sourceId":"s:3c3875b9785d34f36fee02fd46e5641728b8c62d830a742987676ae1f36613db"},"spelling":"","stream":"layout","synthetic":false}

읽기용 표 · raw 흐름
종류	범위	글자	synthetic
`integer`	`[0,1)`	`1`	`false`
`newline`	`[1,2)`	줄바꿈	`false`
`integer`	`[2,3)`	`2`	`false`
`newline`	`[3,4)`	줄바꿈	`false`
`eof`	`[4,4)`	빈 글자	`false`

읽기용 표 · layout 흐름
종류	범위	글자	synthetic
`integer`	`[0,1)`	`1`	`false`
`separator`	`[1,2)`	줄바꿈	`true`
`integer`	`[2,3)`	`2`	`false`
`eof`	`[4,4)`	빈 글자	`false`

tokens.jsonl 2850바이트 sha256:43cd60a7914df8d34f46883a2385806fa85946974fea712a16f0f53ff10b8cb6

이 파일 원본 그대로 열기, 새 창

판 대조 토파즈 컴파일러 5.21.0 판과 5.21.1 판

두 판에서 이 파일의 바이트가 같았어.

판: 토파즈 컴파일러 5.21.1
명령: topaz compiler observe inputs/g3/main.tpz --out-dir out/g3 --compiler self --terminal typed
입력 해시: sha256:a6e2b7a040683432de03a18fd8a1939a2fdf82585b364bfc874bdd4095c4cae1

묶음의 파일 12개 보기

파일	크기	해시
`ast.jsonl`	2298바이트	`sha256:fac5660d4e5f64f3b62aa30068b0bd1d65b425a4eaa7121f48c569dab67553ce`
`diagnostics.jsonl`	0바이트	`sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855`
`provenance.json`	1395바이트	`sha256:10d510756a6d523979c5e891b955a573183f83bd9c20d29994d36546b3bd2a05`
`request.json`	1149바이트	`sha256:b06d9bfe643b31e918867d659086976f6e567eaf318b9d07eb4a8fbe1fb34828`
`resolved.jsonl`	747바이트	`sha256:a70eedc9358ba6f5a79ff14eff80ba28cf494f515574340e777571b045a980b2`
`response.json`	886바이트	`sha256:2865f4277db0678a9cf0a5714c3c25a805d4dfc27257641f2a5bbe25db3febb8`
`self-compilation-product.json`	2418바이트	`sha256:ca964aa7ed946498a82586b524c0dac6b2875cebc4fe65f7c647aac350595559`
`source-set.jsonl`	935바이트	`sha256:3f2cf1b400430606f9bfef21a37a4d29a238367a2180292bcc77fd958220ce77`
`sources/000000.tpz`	4바이트	`sha256:a6e2b7a040683432de03a18fd8a1939a2fdf82585b364bfc874bdd4095c4cae1`
`tokens.jsonl`	2850바이트	`sha256:43cd60a7914df8d34f46883a2385806fa85946974fea712a16f0f53ff10b8cb6`
`topaz-observation.json`목록 파일 자신의 크기와 해시는 이 파일 바이트에서 구했어.	1968바이트	`sha256:84ddd0dfde5f6aa59b32f820afcf4e88083cefc9704455e3ca7b8e4f5b03f14e`
`typed.jsonl`	832바이트	`sha256:288681c0208c6be1b61c690c1834bf12d0bb94630842111506067ec807bcbf74`

묶음 rootDigest sha256:8df091d5ba0f4308a50440d916cec45147241581f531c5c2ae7b65720306520f

제7화에서 이 기록 읽기

실험실

토큰 분리대

마지막 발견

문법 퍼즐

마지막 발견

속사정 현미경

`1 + 2` 토큰 기록 `tokens.jsonl`

`1 + 2` 나무 기록 `ast.jsonl`

`1 + 2` 타입 기록 `typed.jsonl`

`1 + 2` 작업 기록 `lowered.jsonl`

`1 + 2 * 3` 토큰 기록 `tokens.jsonl`

`1 + 2 * 3` 나무 기록 `ast.jsonl`

`1 + 2 * 3` 타입 기록 `typed.jsonl`

`1 + 2 * 3` 작업 기록 `lowered.jsonl`

`1 + 2` 출처 기록 `provenance.json`

`1 줄바꿈 2 줄바꿈` 토큰 기록 `tokens.jsonl`

토큰 분리대

마지막 발견

문법 퍼즐

마지막 발견

속사정 현미경

1 + 2 토큰 기록 tokens.jsonl

1 + 2 나무 기록 ast.jsonl

1 + 2 타입 기록 typed.jsonl

1 + 2 작업 기록 lowered.jsonl

1 + 2 * 3 토큰 기록 tokens.jsonl

1 + 2 * 3 나무 기록 ast.jsonl

1 + 2 * 3 타입 기록 typed.jsonl

1 + 2 * 3 작업 기록 lowered.jsonl

1 + 2 출처 기록 provenance.json

1 줄바꿈 2 줄바꿈 토큰 기록 tokens.jsonl

`1 + 2` 토큰 기록 `tokens.jsonl`

`1 + 2` 나무 기록 `ast.jsonl`

`1 + 2` 타입 기록 `typed.jsonl`

`1 + 2` 작업 기록 `lowered.jsonl`

`1 + 2 * 3` 토큰 기록 `tokens.jsonl`

`1 + 2 * 3` 나무 기록 `ast.jsonl`

`1 + 2 * 3` 타입 기록 `typed.jsonl`

`1 + 2 * 3` 작업 기록 `lowered.jsonl`

`1 + 2` 출처 기록 `provenance.json`

`1 줄바꿈 2 줄바꿈` 토큰 기록 `tokens.jsonl`