ACE ACE Grammar Engine Arabic Construction Engine
R007 ISOLATED DIAGNOSTIC: LOADED
R006 OPTIONAL: LOADED
MOD-059 — runtime R007/R008/R009 audit

R007: probe callable DEFINED; source /home/b5jrkec8448d/reviewpe_net_public_html/ace/reverse/reverse_functions/ace_pattern_no/new_functions/ace_r007_t_diagnostics_revised_02.php:8

Included: /home/b5jrkec8448d/reviewpe_net_public_html/ace/reverse/reverse_functions/ace_pattern_no/new_functions/ace_r007_t_diagnostics_revised_02.php

R008: probe callable DEFINED; source /home/b5jrkec8448d/reviewpe_net_public_html/ace/reverse/reverse_functions/ace_pattern_no/new_functions/ace_r008_index_diagnostics.php:7

Included: /home/b5jrkec8448d/reviewpe_net_public_html/ace/reverse/reverse_functions/ace_pattern_no/new_functions/ace_r008_index_diagnostics.php
Included: /home/b5jrkec8448d/reviewpe_net_public_html/ace/reverse/reverse_functions/ace_pattern_no/new_functions/ace_r008_full_pattern_guard_revised_01.php

R009: probe callable DEFINED; source /home/b5jrkec8448d/reviewpe_net_public_html/ace/reverse/reverse_functions/ace_pattern_no/new_functions/ace_r009_root_verification.php:9

Included: /home/b5jrkec8448d/reviewpe_net_public_html/ace/reverse/reverse_functions/ace_pattern_no/new_functions/ace_r009_root_verification.php

R008 full-pattern guard: DEFINED.

R007 invocation: controller calls ace_r007_t_diagnostics per analysis group when its diagnostic branch executes.

R008 invocation: MOD-068 uses final R006/R007-compatible pairs; guard requires authoritative expected units. R009 is invoked read-only per derived analysis group (MOD-099); see token diagnostics.

ACE Morphological Analysis — R003

Analyze Qur'anic Surah or Ayah
Quranic passage analysis

Paste one ayah or an entire surah, preserving the original Arabic orthography. The analysis runs on every token in order.

Return to fixture tests

Input: ACE controller Arabic passage | 1 tokens

MOD-111 — Single-token display audit
Token #1: يَبْتُرُ — 2 display group(s)
Matched
Matched

← Flashcard view

Token navigation
#1يَبْتُرُROOT VALIDATED · Record 203R008 candidates: 1.2.1Native R008: HYPOTHESISSuffix: ُ | Pronoun: | Role: | Stem: يَبْتُرR009 STRUCTURAL_PASS: 1.2.1 — بترR009 dictionary 1.2.1: VALIDATED · Record 203بتر
Suffixُ
Preserved stemيَبْتُر
Form.T.Index candidates (MOD-035)1.2.1
R008 finalized index hypotheses (MOD-068; read-only)1.2.1
R009 execution status (MOD-099)STRUCTURAL_PASS
R009 structural passes by address (MOD-099)1.2.1 — STRUCTURAL_PASS — بتر
R008 diagnostic status (MOD-068)HYPOTHESIS
Morphology & segmentation (9 fields)
Root typesurface-test
VoiceUndetermined
Normalized stemيبتر
Prefixيَ
Internal vowelssukun · u
Length4
Analysis statusMatched
Analysis token (normalized input)يَبْتُرُ
Root candidates (all)بتر
Verification & records (7 fields)
Dictionary root statusVALIDATED
Matching record IDs203
Root-associated record IDs (legacy verification)203
Dictionary root verification explanationExtracted root found in dictionary; no full-token comparison required
Legacy token records tested (no match)0
Legacy token records not testable0
Roots after Form.T.Index (MOD-085; existing candidates)بتر
Rule diagnostics (7 fields)
Legacy R007 (reference only)Legacy R007 isolated
New R007 (isolated diagnostic)R006 Forms: 1; Voice: active-imperfect; T: 2; HYPOTHESIS
R009 dictionary verification (MOD-103; exact root only)1.2.1 — بتر — VALIDATED — Record 203
MOD-105 native R008 statusHYPOTHESIS
MOD-105 native R008 candidates1.2.1
R008 full-pattern guard (MOD-068)accepted=0; rejected=0; unverified=1 (counts reflect R008 hypotheses; authoritative expected_surface_units not supplied)
Structural patternsبتر: prefix + radicals
Extended diagnostics: patterns, traces and source evidence
Suffix-family evidence (MOD-032)
suff2: physically detected; full Form/T pattern required
suff_nouns: physically detected; full Form/T pattern required
NDCL / DCL Step Trace (expand)
NDCL-01Exact NDNO MATCHAlternative not matched
NDCL-02Prepend + NDNO MATCHAlternative not matched
NDCL-03ND + AppendNO MATCHAlternative not matched
NDCL-04Prepend + ND + AppendNO MATCHAlternative not matched
DCL-01Token LengthEVIDENCEToken: يَبْتُرُ; source length field: 4
DCL-02Suffix RemovalEVIDENCEPhysical suffix: ُ; families/indices: suff2 [1, 4, 7, 13, 14]; suff_nouns [4]
DCL-03Length After Suffix RemovalEVIDENCEPreserved stem after suffix removal: يَبْتُر
DCL-04Length Without VowelsEVIDENCENormalized stem: يبتر; reported structural length: 4
DCL-05Root CandidatesEVIDENCERoot candidates: بتر
DCL-06Form CandidatesEVIDENCER006 Form candidates: 1
DCL-07Form IdentifierEVIDENCER006 forms: 1; R007 voice: active-imperfect
DCL-08T CategoriesEVIDENCER007 T candidates: 2
DCL-09Person / Declension IndexEVIDENCEActual prefix: يَ; compatible Form.T.Index: 1.2.1; prefix-person compatibility applied by MOD-038
DCL-10Dictionary VerificationEVIDENCEDictionary ROOT status: VALIDATED; matching record IDs: 203; no full-token validation required
بتر — Base English translation
Record 203 · to cut off, sever, amputate
ACE Structural Diagnostics (actual trace; unique values)
FeatureExisting / trace value
Full Tokenيَبْتُرُ
R-L — Raw Length (code points including marks)8
R-L — Raw Letter Count4
Suffix Removed (upstream R001/R002)ُ
R-U — Preserved Stem (with marks)يَبْتُر
R-U — Normalized Stemيبتر
R-U Length (existing controller)4
R006 Actual Prefix Removedيَ
R006 Actual After Prefixبْتُر
R006 Actual Prefix Arithmetic4 − 1 = 3 (يَ)
R006 Actual Form-Specific Marker RemovedNone
R006 Actual After Form Removalبْتُر
R006 Actual Form Arithmetic3 − 0 = 3
R006 Form-Specific Adjustment RationaleForm I imperfect: remove the matched person prefix; no Form-specific marker.
F-I — R006 Form Candidates[1]
I-V — Internal Vowels (existing output)NOT AVAILABLE
S-T — Physical Suffix Families["suff2","suff_nouns"]
S-I — Physical Suffix Indices{"suff2":[1,4,7,13,14],"suff_nouns":[4]}
P-R — Existing Pattern Evidence{"بتر":{"prefix + radicals":"prefix + radicals"}}
R007 T Candidates[2]
R008 Index (parsed from existing candidates)[1]
R008 Form.T.Index Candidates["1.2.1"]
R008 StatusHYPOTHESIS
R008 Guard Accepted[]
R008 Guard Rejected[]
R008 Guard Unverified[{"address":"1.2.1","r007_consistency":"SUPPORTED AS INDEX HYPOTHESIS","structural_guard":"UNVERIFIED: no complete pattern supplied"}]
Authoritative Full PatternNOT AVAILABLE
Authoritative Full Structural UnitsNOT AVAILABLE
Prefix / S-I Synchronization (existing verdict)NOT AVAILABLE
Read-only. R006 removal rows use only the actual trace captured by R006; no display-only stripping or morphology matching. The suffix-stripped stem is supplied upstream. The R008 index is parsed for display from existing Form.T.Index candidates, not independently recognized. Missing authoritative fields remain NOT AVAILABLE. [] is an observed empty result.
Full token analysis and diagnostic evidence (all fields)
{
    "original_analysis_group": {
        "token_no": 1,
        "token": "يَبْتُرُ",
        "expected": "",
        "form": "",
        "root_type": "surface-test",
        "voice": "Undetermined",
        "suffix": "ُ",
        "pronoun": "",
        "pronoun_role": "",
        "analysis_token": "يَبْتُرُ",
        "stem": "يَبْتُر",
        "normalized_stem": "يبتر",
        "prefix": "يَ",
        "nominal_prefix": "",
        "nominal_core": "",
        "stem_length": 4,
        "root_candidates": [
            "بتر"
        ],
        "root_patterns": {
            "بتر": {
                "prefix + radicals": "prefix + radicals"
            }
        },
        "findings": {
            "suff2": [
                1,
                4,
                7,
                13,
                14
            ],
            "suff_nouns": [
                4
            ]
        },
        "status": "Matched"
    },
    "r006": {
        "form_candidates": [
            1
        ],
        "perfect_forms": [],
        "evidence": {
            "1": [
                "I imperfect: person prefix + strong\/hollow template"
            ]
        },
        "structural_trace": {
            "1": [
                {
                    "source": "R006 primary suffix-stripped stem",
                    "matched_form": 1,
                    "matched_pattern": "I imperfect: person prefix + three-radical strong\/hollow template",
                    "stem_input": "يَبْتُر",
                    "physical_suffix_input": "ُ",
                    "full_input": "يَبْتُرُ",
                    "prefix_removed": "يَ",
                    "after_prefix": "بْتُر",
                    "form_marker_removed": "None",
                    "after_form_marker": "بْتُر",
                    "prefix_letter_count": 1,
                    "after_prefix_unit_count": 3,
                    "form_marker_letter_count": 0,
                    "remaining_letter_count": 3,
                    "form_marker_kind": "Form I imperfect: no derivational marker"
                }
            ]
        },
        "status": "STRUCTURAL HYPOTHESIS"
    },
    "r008": {
        "form_t_index_candidates": [
            "1.2.1"
        ],
        "index_candidates": [
            1
        ],
        "status": "HYPOTHESIS",
        "comments": [],
        "details": [
            {
                "form": 1,
                "t": 2,
                "index": 1,
                "address": "1.2.1",
                "source": "conservative imperfect ending fallback + imperfect person prefix ي"
            }
        ]
    },
    "mod105_native_r008": {
        "status": "HYPOTHESIS",
        "candidates": [
            "1.2.1"
        ]
    },
    "mod105_controller_retained_sources": [],
    "r009": {
        "original": "يَبْتُرُ",
        "remaining": "يَبْتُر",
        "r005_root_candidate": "",
        "root_candidate": "بتر",
        "root_length": 3,
        "accepted_root_candidates": [
            "بتر"
        ],
        "accepted_root_count": 1,
        "rejected_root_candidates": [],
        "rejected_root_count": 0,
        "accepted_details": [
            {
                "address": "1.2.1",
                "form": 1,
                "t": 2,
                "index": 1,
                "expected_radicals": 3,
                "observed_radicals": 3,
                "root_candidate": "بتر",
                "source": "R009 exact full-surface template",
                "prefix": "",
                "introductory": "",
                "structural_body": "يَبْتُرُ",
                "pattern": "Form I active imperfect, indicative 3ms",
                "status": "STRUCTURAL_PASS",
                "evidence": [
                    "Form I active imperfect, indicative 3ms",
                    "No dictionary or conjugator validation"
                ]
            }
        ],
        "rejected_details": [],
        "accepted_roots_by_address": {
            "1.2.1": [
                "بتر"
            ]
        },
        "original_skeleton": "يبتر",
        "stem_skeleton": "يبتر",
        "addresses": [
            "1.2.1"
        ],
        "details": [
            {
                "address": "1.2.1",
                "form": 1,
                "t": 2,
                "index": 1,
                "expected_radicals": 3,
                "observed_radicals": 3,
                "root_candidate": "بتر",
                "source": "R009 exact full-surface template",
                "prefix": "",
                "introductory": "",
                "structural_body": "يَبْتُرُ",
                "pattern": "Form I active imperfect, indicative 3ms",
                "status": "STRUCTURAL_PASS",
                "evidence": [
                    "Form I active imperfect, indicative 3ms",
                    "No dictionary or conjugator validation"
                ]
            }
        ],
        "status": "STRUCTURAL_PASS",
        "comments": [
            "Accepted roots: بتر; structural verification only, not dictionary or conjugator validation.",
            "Preliminary\/incomplete candidates: 0 row(s); see rejected_details separately."
        ]
    },
    "r009_dictionary_exact_root_mod103": [
        {
            "address": "1.2.1",
            "root": "بتر",
            "status": "VALIDATED",
            "record_ids": [
                "203"
            ]
        }
    ],
    "r007_text": "R006 Forms: 1; Voice: active-imperfect; T: 2; HYPOTHESIS",
    "mod035_form_t_index": [
        {
            "code": "1.2.1",
            "form": 1,
            "t": 2,
            "index": 1,
            "family": "suff2",
            "source": "R006 + R007 + physical suffix"
        }
    ],
    "r007_t_candidates": [
        2
    ],
    "r007_voice": "active-imperfect",
    "r007_status": "HYPOTHESIS",
    "nominal_evidence": "",
    "resolved_findings": [],
    "dictionary_root_verification": {
        "status": "VALIDATED",
        "roots": [
            "بتر"
        ],
        "records": [
            {
                "id": 203,
                "root": "بتر"
            }
        ],
        "reason": "Extracted root found in dictionary; no full-token comparison required"
    },
    "legacy_record_verification": {
        "status": "VALIDATED",
        "records": [
            {
                "id": "203",
                "root": "بتر"
            }
        ],
        "root_records": [
            {
                "id": "203",
                "root": "بتر"
            }
        ],
        "roots": [
            "بتر"
        ],
        "reason": "",
        "tested": 0,
        "untestable": 0
    }
}
Dictionary records for candidate roots (1)
Record 203 · root بتر
{
    "root": "بتر",
    "root_type": "triliteral",
    "arabic": "بَتَرَ",
    "english": "to cut off, sever, amputate",
    "urdu": "کاٹ دینا، منقطع کرنا",
    "verbalnoun117": "بَتْر",
    "verbalnoun2": "",
    "verbalnoun3": "",
    "activeparticiple115": "بَاتِر",
    "passiveparticiple116": "مَبْتُور",
    "activepast11": "بَتَرَ",
    "activeimperfect12": "يَبْتُرُ",
    "imperative113": "ابْتُرْ",
    "passiveperfect17": "بُتِرَ",
    "passiveimperfect18": "يُبْتَرُ",
    "activeheavyemphatic16": "لَيَبْتُرَنَّ",
    "form": 1
}

MOD-014 display consolidation: 1 equivalent R004 rows hidden; raw R004/R001-R003 candidates preserved. Different root, family/index, pronoun role, or R006/R007 results remain separate.

R010 — Dictionary Root Review Queue (MOD-033)

Read-only root lookup. Morphological Form/T/index verification is separate. No dictionary files modified.