Accepts the four 0.4.0 Amendments

[johnnyt]

Flips four Amendments from proposed to accepted under the flip standard of the campaign consent the operator adopted, 2026-10-01: each shipped in @riddler/predicator 0.4.0 (npm dist-tags.latest 0.4.0, tag v0.4.0 at fe42eea), and every claim was verified against main at fe42eea. The flips are the conductor's under that consent's flip standard. Each Status line moves in place to the file's existing accepted-line shape, accepted (2026-10-01; proposed 2026-10-01), and each record gains one dated foot Note naming the flips, the version and the commit verified at. git diff origin/main...HEAD -- docs/adr/ removes only the four Status lines. Docs-only under docs/adr/, so there is no gate to run (CLAUDE.md, the git commit row); no changelog fragment, per changelog.d/README.md. No claim failed, so no record is held at proposed.

Bead: pts-e1zw.

ADR-0004: the statement grammar compiles, through three program entry points (request 157, ea1d274)

Version 0.4.0, verified at fe42eea. Checked: compileProgram, compileProgramWithPositions and compileProgramWithSpans in src/compile.ts, exported from src/index.ts, their located result types not exported; the three new members of ParseReason in src/errors.ts; parseProgram and descend in src/parser.ts; visitStatement, visitAssignment and deeper in src/emitter.ts. The grammar rules (empty source, lone and doubled separator refused, one trailing separator and a statement after a closing brace accepted, the location shapes, a parenthesized location, an unassignable left side refused at the =), each emission shape and the span table were run at the tag and at the reference export of predicator-ex v9.4.2, and agreed. conformance/transcript/compile.json is unchanged since 6149371; the five quoted messages are their rows'. Over every program row, the reference's compile_program_with_positions/1 and compileProgramWithPositions agreed on every point and segment table. The tier-6, tier-8 and tier-9 corpus cases still carry a null source and conformance/registry.json is unchanged. Over three else if chains run at the tag, the longest that compiled had 255, 254 and 253 links, and the reference compiled a chain of four hundred else if links. The tests named in test/reference-compile.test.ts and test/compile-program.test.ts pass at the tag.

Superseded sentences: the paragraph opening "One sentence nearby is NOT superseded" and the first paragraph of "What this does not decide" no longer hold of execute and executeValue; the later amendment on those two entry points (request 161, below) names both, so this record flips under the superseded-sentence exception and the foot Note cites it.

ADR-0004: decompile's result type is exported, as DecompileResult (request 159, 929bcb7)

Version 0.4.0, verified at fe42eea. Checked: DecompileResult in src/decompile.ts with the two arms the Typespecs quote, re-exported from src/index.ts, listed in test/export-surface.json beside ParseResult and CompileResult; decompile declared to answer it; the superseded sentence ends the "What changed" section of the amendment on decompile past the source depth bound; the two sentences named as not superseded still hold.

ADR-0004: execute and executeValue compile a source string as a statement program (request 161, 8e20280)

Version 0.4.0, verified at fe42eea. Checked: programOf in src/index.ts takes the compiler as an argument, evaluate passes compile, execute and executeValue pass compileProgram; at the reference, evaluate/3 parses with Parser.parse and execute_value/3 with Parser.parse_program, running through execute_value_ast. Every row of the table was run: the after column at the tag and through Predicator.execute_value/3 in the export, the before column at 5afceb8, the commit the change was cut from. The four program refusal sources answer each row's message, position and span at both, and the reference answers its input context beside each refusal. The tests are under "a source string at execute and executeValue is a statement program" in test/index.test.ts; EvaluationError in src/errors.ts carries an instruction index; conformance/ is unchanged by the change.

ADR-0002: a duration component past the safe integer range is refused when a text is read (request 156, f12d11f)

Version 0.4.0, verified at fe42eea. Checked: readDuration in src/cast.ts judges each summed component against the safe range (a later change, 02d4a21, moved the fraction expansion to a shared helper and left the check in place); toDuration in src/cast.ts answers undefined; parseDuration in src/index.ts answers invalid_duration_format; encodeInteger in src/tagged.ts refuses such a component; duration in src/evaluator.ts refuses such a magnitude. Every row of the table was run at the tag (cast and parseDuration) and at the reference (cast and Predicator.Duration.parse/1) and answered as stated; a count with leading zeros reads as its value. The named tests are in test/cast.test.ts and test/parse-duration.test.ts, and no reference transcript row carries a table text. The cast answers undefined under the accepted cast exemption, which the amendment cites.

Direction check

Every claim of the four entries was verified on main at fe42eea, cited by anchor; the two foot Notes add lines only; the diff against the merge base removes the four Status lines and nothing else.