Prüft behauptete gekoppelte Einfüge- und Aufzeichnungstableaux sowie das invers ...

{ "body": { "artifact": { "claimed_insertion": [ [ 1, 3, 4 ], [ 2 ], [ 3 ] ], "claimed_recording": [ [ 1, 2, 4 ], [ 3 ], [ 5 ] ], "claimed_recovered_word": [ 3, 3, 2, 4, 1 ], "claims": { "bump_steps": 3, "distinct_symbols": 4, "first_row_boxes": 3, "rows": 3, "symbols": 5 }, "word": [ 3, 3, 2, 4, 1 ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Grinberg/Reiner Hopf Algebras in Combinatorics Vol1, OWP2020-14 §2.5 pp76–80: RS insertion bumps the LEFTMOST strictly greater entry, leaving equal letters in weakly increasing rows; Q records each new corner with the input ordinal. Own binary-search row insertion and recording tableau.", "Own inverse separately removes Q labels from largest to smallest and reverse-bumps the RIGHTMOST strictly smaller value up each preceding row. No tableau/sorting SDK, generic trace wrapper or final external algorithm call. Complete paired-tableau word correspondence, not only a longest-subsequence count or new alphabet preset. One service covers forward correspondence and its inverse witness.", "Closed positive-integer word, max128symbols, values1..2^32−1. Empty word supported. Rows are weakly increasing, columns strictly increasing, Q is standard. Caller P/Q are claims, not trusted validated premises: invalid fillings/shapes within numeric/cell profile give observed disagreement, never silently skipped. Fractional claim values compare exactly rather than rounded.", "Only bounded counts and match booleans output. Word letters, tableau contents, recovered word, caller claims and exceptions never output, including legal phone-shaped symbols. No customer text, semantic labels, identity/security or rendering judgment. Matrix/biword, dual/Hecke/column variants outside this one word correspondence profile, no separate variant offers." ], "module": "robinson-schensted-word-tableau-correspondence", "state": "not_observed", "value": { "bump_steps": 3, "claim_mismatches": 0, "claims_match": true, "distinct_symbols": 4, "first_row_boxes": 3, "insertion_matches": true, "recording_matches": true, "recovered_word_matches": true, "rows": 3, "symbols": 5 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }