Run artifact

workspace/targets/toml/evidence/block-10.md

Evidence: Block 10 ยท Service (block-10)

Stories built

Missing context

Stacked context

Build directory changes

Pre-build acceptance observation

intent: The implementation rejects authoritative invalid cases that extend or redefine inline tables. return code: 0 stdout: toml-test v2.2.0 [/mnt/c/Users/barlo/projects/drydock/uat/Toml/runs/20260814.050011/build/toml/toml-decoder] [no encoder] skipped tests: 856 valid tests: 0 passed, 0 failed encoder tests: no encoder command given invalid tests: 28 passed, 0 failed

harness: /home/barlo/.local/bin/toml-test toml-test v2.2.0; go1.24.6 linux/amd64; race=false; cgo=true

intent: The implementation passes the authoritative valid inline-table cases while preserving inline-table closure semantics. return code: 0 stdout: toml-test v2.2.0 [/mnt/c/Users/barlo/projects/drydock/uat/Toml/runs/20260814.050011/build/toml/toml-decoder] [no encoder] skipped tests: 867 valid tests: 17 passed, 0 failed encoder tests: no encoder command given invalid tests: 0 passed, 0 failed

harness: /home/barlo/.local/bin/toml-test toml-test v2.2.0; go1.24.6 linux/amd64; race=false; cgo=true

intent: The implementation passes the authoritative valid TOML standard-table conformance slice. return code: 1 stdout: FAIL valid/table/array-nest line 4: table conflict

Exit 1

input sent to parser-cmd (PID 838453): 1 โ”‚ [[albums]] 2 โ”‚ name = "Born to Run" 3 โ”‚ 4 โ”‚ [[albums.songs]] 5 โ”‚ name = "Jungleland" 6 โ”‚ 7 โ”‚ [[albums.songs]] 8 โ”‚ name = "Meeting Across the River" 9 โ”‚ 10 โ”‚ [[albums]] 11 โ”‚ name = "Born in the USA" 12 โ”‚ 13 โ”‚ [[albums.songs]] 14 โ”‚ name = "Glory Days" 15 โ”‚ 16 โ”‚ [[albums.songs]] 17 โ”‚ name = "Dancing in the Dark"

output from parser-cmd (PID 838453) (stderr): 1 โ”‚ line 4: table conflict 2 โ”‚ 3 โ”‚ Exit 1

want: <empty>

FAIL valid/table/array-table-array line 2: table conflict

Exit 1

input sent to parser-cmd (PID 838488): 1 โ”‚ [[a]] 2 โ”‚ [[a.b]] 3 โ”‚ [a.b.c] 4 โ”‚ d = "val0" 5 โ”‚ [[a.b]] 6 โ”‚ [a.b.c] 7 โ”‚ d = "val1"

output from parser-cmd (PID 838488) (stderr): 1 โ”‚ line 2: table conflict 2 โ”‚ 3 โ”‚ Exit 1

want: <empty>

FAIL valid/table/names line 2: table redefinition

Exit 1

input sent to parser-cmd (PID 838454): 1 โ”‚ [a.b.c] 2 โ”‚ [a."b.c"] 3 โ”‚ [a.'d.e'] 4 โ”‚ [a.' x '] 5 โ”‚ [ d.e.f ] 6 โ”‚ [ g . h . i ] 7 โ”‚ [ j . "สž" . 'l' ] 8 โ”‚ 9 โ”‚ [x.1.2]

output from parser-cmd (PID 838454) (stderr): 1 โ”‚ line 2: table redefinition 2 โ”‚ 3 โ”‚ Exit 1

want: <empty>

FAIL valid/table/names-with-values line 4: table redefinition

Exit 1

input sent to parser-cmd (PID 838484): 1 โ”‚ [a.b.c] 2 โ”‚ key = 1 3 โ”‚ 4 โ”‚ [a."b.c"] 5 โ”‚ key = 2 6 โ”‚ 7 โ”‚ [a.'d.e'] 8 โ”‚ key = 3 9 โ”‚ 10 โ”‚ [a.' x '] 11 โ”‚ key = 4 12 โ”‚ 13 โ”‚ [ d.e.f ] 14 โ”‚ key = 5 15 โ”‚ 16 โ”‚ [ g . h . i ] 17 โ”‚ key = 6 18 โ”‚ 19 โ”‚ [ j . "สž" . 'l' ] 20 โ”‚ key = 7 21 โ”‚ 22 โ”‚ [x.1.2] 23 โ”‚ key = 8

output from parser-cmd (PID 838484) (stderr): 1 โ”‚ line 4: table redefinition 2 โ”‚ 3 โ”‚ Exit 1

want: <empty>

toml-test v2.2.0 [/mnt/c/Users/barlo/projects/drydock/uat/Toml/runs/20260814.050011/build/toml/toml-decoder] [no encoder] skipped tests: 860 valid tests: 20 passed, 4 failed encoder tests: no encoder command given invalid tests: 0 passed, 0 failed

harness: /home/barlo/.local/bin/toml-test toml-test v2.2.0; go1.24.6 linux/amd64; race=false; cgo=true stderr: Traceback (most recent call last): File "standard-tables-valid.py", line 10, in <module> assert result.returncode == 0 ^^^^^^^^^^^^^^^^^^^^^^ AssertionError

intent: The implementation rejects invalid standard-table header and hierarchy cases in the authoritative suite. return code: 1 stdout: FAIL invalid/table/append-with-dotted-keys-01 Expected an error, but no error was reported.

input sent to parser-cmd (PID 838715): 1 โ”‚ # First a.b.c defines a table: a.b.c = {z=9} 2 โ”‚ # 3 โ”‚ # Then we define a.b.c.t = "str" to add a str to the above table, making it: 4 โ”‚ # 5 โ”‚ # a.b.c = {z=9, t="..."} 6 โ”‚ # 7 โ”‚ # While this makes sense, logically, it was decided this is not valid TOML as 8 โ”‚ # it's too confusing/convoluted. 9 โ”‚ # 10 โ”‚ # See: https://github.com/toml-lang/toml/issues/846 11 โ”‚ # https://github.com/toml-lang/toml/pull/859 12 โ”‚ 13 โ”‚ [a.b.c] 14 โ”‚ z = 9 15 โ”‚ 16 โ”‚ [a] 17 โ”‚ b.c.t = "Using dotted keys to add to [a.b.c] after explicitly defining it above is not allowed"

output from parser-cmd (PID 838715) (stdout): 1 โ”‚ { 2 โ”‚ "a": { 3 โ”‚ "b": { 4 โ”‚ "c": { 5 โ”‚ "z": {"type": "integer", "value": "9"}, 6 โ”‚ "t": { 7 โ”‚ "type": "string", 8 โ”‚ "value": "Using dotted keys to add to [a.b.c] after explicitly defining it above is not allowed" 9 โ”‚ } 10 โ”‚ } 11 โ”‚ } 12 โ”‚ } 13 โ”‚ }

want: Exit code 1

FAIL invalid/table/append-with-dotted-keys-02 Expected an error, but no error was reported.

input sent to parser-cmd (PID 838750): 1 โ”‚ # This is the same issue as in injection-1.toml, except that nests one level 2 โ”‚ # deeper. See that file for a more complete description. 3 โ”‚ 4 โ”‚ [a.b.c.d] 5 โ”‚ z = 9 6 โ”‚ 7 โ”‚ [a] 8 โ”‚ b.c.d.k.t = "Using dotted keys to add to [a.b.c.d] after explicitly defining it above is not allowed"

output from parser-cmd (PID 838750) (stdout): 1 โ”‚ { 2 โ”‚ "a": { 3 โ”‚ "b": { 4 โ”‚ "c": { 5 โ”‚ "d": { 6 โ”‚ "z": {"type": "integer", "value": "9"}, 7 โ”‚ "k": { 8 โ”‚ "t": { 9 โ”‚ "type": "string", 10 โ”‚ "value": "Using dotted keys to add to [a.b.c.d] after explicitly defining it above is not allowed" 11 โ”‚ } 12 โ”‚ } 13 โ”‚ } 14 โ”‚ } 15 โ”‚ } 16 โ”‚ } 17 โ”‚ }

want: Exit code 1

FAIL invalid/table/append-with-dotted-keys-08 Expected an error, but no error was reported.

input sent to parser-cmd (PID 838849): 1 โ”‚ [a.b.c] 2 โ”‚ z = 9 3 โ”‚ 4 โ”‚ [[totally_unrelated]] 5 โ”‚ x = 123 6 โ”‚ 7 โ”‚ [a] 8 โ”‚ b.c.t = "this should NOT be allowed"

output from parser-cmd (PID 838849) (stdout): 1 โ”‚ { 2 โ”‚ "totally_unrelated": [{ 3 โ”‚ "x": {"type": "integer", "value": "123"} 4 โ”‚ }], 5 โ”‚ "a": { 6 โ”‚ "b": { 7 โ”‚ "c": { 8 โ”‚ "t": {"type": "string", "value": "this should NOT be allowed"}, 9 โ”‚ "z": {"type": "integer", "value": "9"} 10 โ”‚ } 11 โ”‚ } 12 โ”‚ } 13 โ”‚ }

want: Exit code 1

FAIL invalid/table/array-implicit Expected an error, but no error was reported.

input sent to parser-cmd (PID 838789): 1 โ”‚ # This test is a bit tricky. It should fail because the first use of 2 โ”‚ # [[albums.songs]] without first declaring albums implies that albums 3 โ”‚ # must be a table. The alternative would be quite weird. Namely, it wouldn't 4 โ”‚ # comply with the TOML spec: "Each double-bracketed sub-table will belong to 5 โ”‚ # the most recently defined table element above it." 6 โ”‚ # 7 โ”‚ # This is in contrast to the valid test, table-array-implicit where 8 โ”‚ # [[albums.songs]] works by itself, so long as [[albums]] isn't declared 9 โ”‚ # later. (Although, [albums] could be.) 10 โ”‚ [[albums.songs]] 11 โ”‚ name = "Glory Days" 12 โ”‚ 13 โ”‚ [[albums]] 14 โ”‚ name = "Born in the USA"

output from parser-cmd (PID 838789) (stdout): 1 โ”‚ { 2 โ”‚ "albums": [{ 3 โ”‚ "name": {"type": "string", "value": "Born in the USA"} 4 โ”‚ }] 5 โ”‚ }

want: Exit code 1

FAIL invalid/table/duplicate-key-06 Expected an error, but no error was reported.

input sent to parser-cmd (PID 838719): 1 โ”‚ [tbl] 2 โ”‚ [[tbl]]

output from parser-cmd (PID 838719) (stdout): 1 โ”‚ { 2 โ”‚ "tbl": [{}] 3 โ”‚ }

want: Exit code 1

FAIL invalid/table/newline-01 Expected an error, but no error was reported.

input sent to parser-cmd (PID 838922): 1 โ”‚ [tbl 2 โ”‚ ] 3 โ”‚ k = 1

output from parser-cmd (PID 838922) (stdout): 1 โ”‚ { 2 โ”‚ "tbl": { 3 โ”‚ "k": {"type": "integer", "value": "1"} 4 โ”‚ } 5 โ”‚ }

want: Exit code 1

FAIL invalid/table/newline-03 Expected an error, but no error was reported.

input sent to parser-cmd (PID 838918): 1 โ”‚ ["tbl" 2 โ”‚ ] 3 โ”‚ k = 1

output from parser-cmd (PID 838918) (stdout): 1 โ”‚ { 2 โ”‚ "tbl": { 3 โ”‚ "k": {"type": "integer", "value": "1"} 4 โ”‚ } 5 โ”‚ }

want: Exit code 1

FAIL invalid/table/newline-05 Expected an error, but no error was reported.

input sent to parser-cmd (PID 838919): 1 โ”‚ [tbl 2 โ”‚ .sub] 3 โ”‚ k = 1

output from parser-cmd (PID 838919) (stdout): 1 โ”‚ { 2 โ”‚ "tbl": { 3 โ”‚ "sub": { 4 โ”‚ "k": {"type": "integer", "value": "1"} 5 โ”‚ } 6 โ”‚ } 7 โ”‚ }

want: Exit code 1

FAIL invalid/table/overwrite-bool-with-array Expected an error, but no error was reported.

input sent to parser-cmd (PID 838988): 1 โ”‚ a=true 2 โ”‚ [[a]]

output from parser-cmd (PID 838988) (stdout): 1 โ”‚ { 2 โ”‚ "a": [{}] 3 โ”‚ }

want: Exit code 1

FAIL invalid/table/redefine-02 Expected an error, but no error was reported.

input sent to parser-cmd (PID 838943): 1 โ”‚ [t1] 2 โ”‚ t2.t3.v = 0 3 โ”‚ [t1.t2]

output from parser-cmd (PID 838943) (stdout): 1 โ”‚ { 2 โ”‚ "t1": { 3 โ”‚ "t2": { 4 โ”‚ "t3": { 5 โ”‚ "v": {"type": "integer", "value": "0"} 6 โ”‚ } 7 โ”‚ } 8 โ”‚ } 9 โ”‚ }

want: Exit code 1

toml-test v2.2.0 [/mnt/c/Users/barlo/projects/drydock/uat/Toml/runs/20260814.050011/build/toml/toml-decoder] [no encoder] skipped tests: 822 valid tests: 0 passed, 0 failed encoder tests: no encoder command given invalid tests: 52 passed, 10 failed

harness: /home/barlo/.local/bin/toml-test toml-test v2.2.0; go1.24.6 linux/amd64; race=false; cgo=true stderr: Traceback (most recent call last): File "standard-tables-invalid.py", line 10, in <module> assert result.returncode == 0 ^^^^^^^^^^^^^^^^^^^^^^ AssertionError

Post-build programmatic acceptance

intent: The implementation rejects authoritative invalid cases that extend or redefine inline tables. target interpreter: /mnt/c/Users/barlo/projects/drydock/.venv/bin/python3 provisioning: not required return code: 0 stdout: toml-test v2.2.0 [/mnt/c/Users/barlo/projects/drydock/uat/Toml/runs/20260814.050011/build/toml/toml-decoder] [no encoder] skipped tests: 856 valid tests: 0 passed, 0 failed encoder tests: no encoder command given invalid tests: 28 passed, 0 failed

harness: /home/barlo/.local/bin/toml-test toml-test v2.2.0; go1.24.6 linux/amd64; race=false; cgo=true

intent: The implementation passes the authoritative valid inline-table cases while preserving inline-table closure semantics. target interpreter: /mnt/c/Users/barlo/projects/drydock/.venv/bin/python3 provisioning: not required return code: 0 stdout: toml-test v2.2.0 [/mnt/c/Users/barlo/projects/drydock/uat/Toml/runs/20260814.050011/build/toml/toml-decoder] [no encoder] skipped tests: 867 valid tests: 17 passed, 0 failed encoder tests: no encoder command given invalid tests: 0 passed, 0 failed

harness: /home/barlo/.local/bin/toml-test toml-test v2.2.0; go1.24.6 linux/amd64; race=false; cgo=true

intent: The implementation passes the authoritative valid TOML standard-table conformance slice. target interpreter: /mnt/c/Users/barlo/projects/drydock/.venv/bin/python3 provisioning: not required return code: 0 stdout: toml-test v2.2.0 [/mnt/c/Users/barlo/projects/drydock/uat/Toml/runs/20260814.050011/build/toml/toml-decoder] [no encoder] skipped tests: 860 valid tests: 24 passed, 0 failed encoder tests: no encoder command given invalid tests: 0 passed, 0 failed

harness: /home/barlo/.local/bin/toml-test toml-test v2.2.0; go1.24.6 linux/amd64; race=false; cgo=true

intent: The implementation rejects invalid standard-table header and hierarchy cases in the authoritative suite. target interpreter: /mnt/c/Users/barlo/projects/drydock/.venv/bin/python3 provisioning: not required return code: 0 stdout: toml-test v2.2.0 [/mnt/c/Users/barlo/projects/drydock/uat/Toml/runs/20260814.050011/build/toml/toml-decoder] [no encoder] skipped tests: 822 valid tests: 0 passed, 0 failed encoder tests: no encoder command given invalid tests: 62 passed, 0 failed

harness: /home/barlo/.local/bin/toml-test toml-test v2.2.0; go1.24.6 linux/amd64; race=false; cgo=true

Build summary

RESULT: SUCCESS

FILES CHANGED:

SUMMARY: Implemented standard tables, implicit/nested table resolution, array-of-table contexts, dotted-key provenance, and inline-table closure enforcement. Added focused tests.

Scoped suites passed:

BLOCKERS: