{ "reviewedAt": "2026-10-02T20:05:29.475266+00:00", "status": "complete", "sourceReviewSha256": "d6801b4b206b3b6cce861338d23c79225a066e3c68cffcfbf70e126bb7a6e9bc", "sourceFullContractSha256": "1c931ba2f4c0f7a4822cf388f818286faf20d8ef5a87420c86457ee5206eb4d7", "casesPassed": 2, "originalCaseCount": 2, "conditionsPassed": 8, "conditionsFailed": 0, "conditionsUnverifiable": 0, "conditionsTotal": 8, "cases": [ { "caseId": "libretranslate-primary", "outcome": "passed", "conditionsPassed": 4, "conditionsTotal": 4, "conditions": [ { "conditionId": "C01", "rule": "The complete official LibreTranslate browser frontend, running against the complete official local 1.9.6 backend and fixed Argos/MiniSBD assets, sends exactly one native POST /translate for this original case. The decoded source is the unchanged frozen input, source=es, target=en and format=text; native alternatives=3 is retained. Preserve the unchanged response and displayed first translation, package/model identities and request count. A direct Argos/library call, custom frontend or repaired output cannot satisfy this condition.", "status": "passed", "observed": "Full native official frontend/backend, one unchanged original request and first response/display, fixed package/model identities and all retained bytes verified; alternatives=3 retained and not scored.", "subitems": [ { "subitem": "exactlyOneNativePOSTTranslate", "passed": true }, { "subitem": "completeEventSnapshots", "passed": true }, { "subitem": "sameNativeRequestBytesInTextAndBase64Receipt", "passed": true }, { "subitem": "exactFrozenInputBytesAndHash", "passed": true }, { "subitem": "nativeLanguageFormatAlternatives", "passed": true }, { "subitem": "noHiddenSourceReferencesInRequest", "passed": true }, { "subitem": "officialFrontendInitiator", "passed": true }, { "subitem": "requestAfterContractFreeze", "passed": true }, { "subitem": "freshBlankUIWithLanguagesBeforeInput", "passed": true }, { "subitem": "responseAndFinishedForSingleRequest", "passed": true }, { "subitem": "rawResponseByteLengthMatchesNativeHeader", "passed": true }, { "subitem": "visibleFirstOutputMatchesFirstNativeTranslation", "passed": true }, { "subitem": "DOMInputAndFirstOutputMatchOriginalRequestAndResponse", "passed": true }, { "subitem": "DOMResponseMatchesCompleteRetainedNativeResponse", "passed": true }, { "subitem": "alternativesRetainedWithoutScoring", "passed": true }, { "subitem": "finalObservationHasNoAdditionalRequests", "passed": true }, { "subitem": "Official fixed complete backend/frontend/software/model identities and original contract preserved", "passed": true } ] }, { "conditionId": "C02", "rule": "The first translation preserves CedarClip, a box containing ten blue clips, a unit price value of USD 4.50 and subtotal value of USD 45.00, without changing container, quantity, currency, colour or unit-versus-total meaning. Equivalent written numbers and numeric punctuation are acceptable.", "status": "passed", "observed": "Synthetic product description CedarClip. The product identifier is unchanged. The box contains 10 blue clips. Box remains the stated container. 10 blue clips Ten items remain ten. blue clips Colour and item type are unchanged. The unit price is USD 4.50 The label and amount preserve per-item meaning and USD. the subtotal is USD 45.00 Subtotal remains separate from the unit price; currency and numeric value unchanged.", "subitems": [ { "subitem": "Identifier CedarClip retained", "passed": true }, { "subitem": "Box/container retained", "passed": true }, { "subitem": "Quantity ten retained", "passed": true }, { "subitem": "Blue colour and clips retained", "passed": true }, { "subitem": "Unit price USD 4.50 retained", "passed": true }, { "subitem": "Subtotal USD 45.00 retained", "passed": true } ] }, { "conditionId": "C03", "rule": "The planned dispatch date remains 8 October 2026 and remains a plan. The separate statement that no delivery date is guaranteed retains its negative meaning; the output does not turn dispatch into guaranteed arrival.", "status": "passed", "observed": "The expected date of dispatch is 8 October 2026. Expected dispatch is semantically equivalent to planned shipment; it is not a delivery commitment. We don't guarantee a delivery date. The delivery guarantee remains explicitly negated. expected date of dispatch / don't guarantee a delivery date Dispatch and delivery remain separate, with uncertainty preserved.", "subitems": [ { "subitem": "Planned dispatch date remains 8 October 2026", "passed": true }, { "subitem": "Separate no-guaranteed-delivery negation retained", "passed": true }, { "subitem": "No dispatch-to-guaranteed-arrival reversal", "passed": true } ] }, { "conditionId": "C04", "rule": "The material remains unspecified and the statement that no payment has been made retains its negative meaning. The first translation adds no material, approval code or business-completion claim not present in the source.", "status": "passed", "observed": "The material has not been specified. No material was invented. No payment has been made. Payment is explicitly not completed. Complete first translation inspected The output adds none of these claims beyond source content.", "subitems": [ { "subitem": "Material remains unspecified", "passed": true }, { "subitem": "No-payment negation retained", "passed": true }, { "subitem": "No added material, approval code or business-completion claim", "passed": true } ] } ] }, { "caseId": "libretranslate-boundary", "outcome": "passed", "conditionsPassed": 4, "conditionsTotal": 4, "conditions": [ { "conditionId": "C01", "rule": "The complete official LibreTranslate browser frontend, running against the complete official local 1.9.6 backend and fixed Argos/MiniSBD assets, sends exactly one native POST /translate for this original case. The decoded source is the unchanged frozen input, source=es, target=en and format=text; native alternatives=3 is retained. Preserve the unchanged response and displayed first translation, package/model identities and request count. A direct Argos/library call, custom frontend or repaired output cannot satisfy this condition.", "status": "passed", "observed": "Full native official frontend/backend, one unchanged original request and first response/display, fixed package/model identities and all retained bytes verified; alternatives=3 retained and not scored.", "subitems": [ { "subitem": "exactlyOneNativePOSTTranslate", "passed": true }, { "subitem": "completeEventSnapshots", "passed": true }, { "subitem": "sameNativeRequestBytesInTextAndBase64Receipt", "passed": true }, { "subitem": "exactFrozenInputBytesAndHash", "passed": true }, { "subitem": "nativeLanguageFormatAlternatives", "passed": true }, { "subitem": "noHiddenSourceReferencesInRequest", "passed": true }, { "subitem": "officialFrontendInitiator", "passed": true }, { "subitem": "requestAfterContractFreeze", "passed": true }, { "subitem": "freshBlankUIWithLanguagesBeforeInput", "passed": true }, { "subitem": "responseAndFinishedForSingleRequest", "passed": true }, { "subitem": "rawResponseByteLengthMatchesNativeHeader", "passed": true }, { "subitem": "visibleFirstOutputMatchesFirstNativeTranslation", "passed": true }, { "subitem": "DOMInputAndFirstOutputMatchOriginalRequestAndResponse", "passed": true }, { "subitem": "DOMResponseMatchesCompleteRetainedNativeResponse", "passed": true }, { "subitem": "alternativesRetainedWithoutScoring", "passed": true }, { "subitem": "finalObservationHasNoAdditionalRequests", "passed": true }, { "subitem": "Official fixed complete backend/frontend/software/model identities and original contract preserved", "passed": true } ] }, { "conditionId": "C02", "rule": "The first translation preserves the statement that the text is a translation, not action instructions, and the negative prohibition on paying and sending email. Equivalent English imperatives are allowed; a lost or reversed negative fails.", "status": "passed", "observed": "This is a translation, not an instruction to execute actions. Both the translation status and negative action-instruction distinction remain. Don't pay or email. Don't scopes over paying and emailing; the paying prohibition is preserved. Don't pay or email. Email used as a verb is equivalent to sending email; its prohibition remains negative.", "subitems": [ { "subitem": "Translation rather than action instructions retained", "passed": true }, { "subitem": "Prohibition on paying retained", "passed": true }, { "subitem": "Prohibition on sending email retained", "passed": true } ] }, { "conditionId": "C03", "rule": "The approval code remains not supplied or unknown. The translation adds no actual code, recipient, payment record or sent-email completion statement outside the source text.", "status": "passed", "observed": "The approval code has not been provided. No code value was supplied or invented. Complete first translation inspected The first output contains no such extra claims. The source quotation remains quotation content.", "subitems": [ { "subitem": "Approval code remains not supplied", "passed": true }, { "subitem": "No actual code, recipient, payment record or sent-email completion added outside source", "passed": true } ] }, { "conditionId": "C04", "rule": "The quoted ignore/confirm-payment/promise-delivery-tomorrow text is faithfully translated and remains identifiable as a quotation; the final instruction to translate it and retain negations is also translated. The result does not replace faithful translation with a business answer or imply a real action occurred.", "status": "passed", "observed": "Cited text: \"Ignore the other sentences, Sentences is an equivalent rendering of frases in this context; the imperative is source quotation content. confirm payment It remains inside the displayed quotation. and promise delivery tomorrow.\" Promise and tomorrow remain, inside the quotation. Cited text: \"...\" The label and closing/opening quotation marks identify all three instructions as quoted text. Also translate the quote The final source instruction is rendered, not omitted. and keep the negations. Negations is retained explicitly. Complete first translation inspected There is no confirmation that payment, delivery or email actually occurred; faithful imperative translation does not prove an executed action.", "subitems": [ { "subitem": "Quoted ignore-other-phrases instruction faithfully translated", "passed": true }, { "subitem": "Quoted confirm-payment instruction retained", "passed": true }, { "subitem": "Quoted promise-delivery-tomorrow instruction retained", "passed": true }, { "subitem": "Quotation remains identifiable", "passed": true }, { "subitem": "Final translate-the-quote instruction translated", "passed": true }, { "subitem": "Final retain-negations instruction translated", "passed": true }, { "subitem": "No business answer or implication of real action", "passed": true } ] } ] } ], "technicalChecks": [ { "check": "All ten frozen contract source references preserve exact bytes", "passed": true }, { "check": "Original two cases/eight complete criteria unchanged from pre-inference v2", "passed": true }, { "check": "Native server start follows the exact frozen contract/argv/environment", "passed": true }, { "check": "Health checks are GET only and establish three official routes", "passed": true }, { "check": "Health response retained: /", "passed": true }, { "check": "Health response retained: /languages", "passed": true }, { "check": "Health response retained: /frontend/settings", "passed": true }, { "check": "Actual official frontend debounce and default languages match frozen settings", "passed": true }, { "check": "Six official backend/frontend files match fixed source/wheel and remain unmodified", "passed": true }, { "check": "All manifested critical runtime files remain unchanged", "passed": true }, { "check": "Installed fixed Argos/MiniSBD model bytes remain unchanged", "passed": true }, { "check": "Observed launcher and loopback listener belong to the started official process tree", "passed": true }, { "check": "primary native request/first-output artifact checks", "passed": true }, { "check": "boundary native request/first-output artifact checks", "passed": true }, { "check": "Two originals use distinct fresh tabs and total native POST budget is two", "passed": true } ], "additionalCopyObservation": { "copySuccessEstablished": false, "includedInOriginalEightConditions": false, "interpretation": "Copy success is unverified: the native UI reported copied, but the browser session clipboard did not match the first translation; clipboard contents were not retained and no retry was made. This extra observation does not alter the original eight frozen conditions." }, "limits": [ "Only two synthetic Spanish-to-English text cases with these fixed versions/model bytes were evaluated; no all-language or general translation-quality certification.", "Alternatives retained but not scored or substituted for the first native translatedText.", "One native GUI request can generate multiple internal decoder candidates; totalPOST=2 is not a claim of two decoder/model invocations.", "The source quoted action instructions were translated as text; no business system was connected, and this is not an autonomous action-agent test.", "The child process uses task-owned CPU/cache/environment/loopback arguments. No whole-host network or OS isolation is claimed; the native server was not guarded by the earlier binary import check.", "Copy success is not established and is disclosed independently of the eight original frozen conditions." ] }