Skip to content

Rejected end state, no borrowed address lines, two new gallery runs - #8

Merged
OnePieceMonkey merged 3 commits into
mainfrom
rejected-state
Oct 5, 2026
Merged

OnePieceMonkey merged 3 commits into
mainfrom
rejected-state

Conversation

@OnePieceMonkey

Copy link
Copy Markdown
Owner
  • Fix (invented fields): Nemotron filled a missing seller city with the buyer's city (same postcode) and put the buyer's electronic address into the seller slot; both produced a valid XRechnung with an invented field. A line printed once now belongs to the party whose name or street is closest, in assembly and in the patch guard. Also: BT-121 must be a VATEX code, category O derives VATEX-EU-O (BR-O-10), VAT IDs need digits, a seller ID may not repeat the company name.
  • REP-04: an unresolved rejection with nothing to ask now ends FAILED with a REJECTED audit event and the Rejected stamp, instead of "the document contradicts itself". New mutation exempt-without-reason (BR-E-10).
  • Gallery: "Seller city missing" (refuses to borrow the buyer's city, asks) and "VAT-exempt, no reason given" (real rejection, rule outside the table explained live by Nemotron Super with Tavily sources).

Eval (agent pipeline, after the change): clean 41/45 valid, noisy 25/30, mutated 27/28 as expected (14 types). Before: clean 41/45, noisy 23/30, mutated 26/28 (13 types). Single-run LLM variance is visible in both directions; the mutated misses are model misses on contact fields, not rule regressions.

Typecheck and 86 tests green. UI checked by server-side rendering the recorded result (the local headless browser hung on this machine).

🤖 Generated with Claude Code

OnePieceMonkey and others added 3 commits October 5, 2026 11:49
Nemotron filled a missing seller city with the buyer's city (both share a
postcode) and put the buyer's electronic address into the seller slot; both
ended in a valid XRechnung with an invented field. A printed line that
occurs once now belongs to the party whose name or street is closest, in
assembly and in the patch guard. Also: BT-121 must be a VATEX code, category
O derives VATEX-EU-O (BR-O-10), a VAT ID needs digits, and a seller
identifier may not just repeat the company name.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…EP-04)

Until now an unresolved validator rejection without anything to ask showed
as "the document contradicts itself". Such runs now end FAILED with a
REJECTED audit event and the Rejected stamp. The mutated set gains
exempt-without-reason (BR-E-10): 28 documents, 14 types, all as expected.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The rejection case shows a rule outside the local table explained live by
Nemotron Super with Tavily sources. The explainer no longer suggests example
codes from neighbouring rules and trims stray JSON punctuation.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@OnePieceMonkey
OnePieceMonkey merged commit 2555b8d into main Oct 5, 2026
3 checks passed
@OnePieceMonkey
OnePieceMonkey deleted the rejected-state branch October 7, 2026 20:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant