{
  "derivations": [
    {
      "authority": "input_mechanical",
      "basis": "The syntax expectation is deterministically derived from immutable fixture bytes by the executable line-token scan rule.",
      "decision": null,
      "field": "syntax_expected",
      "locator": "corpus/h-conditional-degenerate.expected.json; sha256:ba43f5d0c7068014aa53e8a967856148fa5b5bc386317242eb30b70cc2097ba1",
      "revision": "PM-78 pm-78-oracle-only-v4",
      "source": "PM-78 oracle-only generator"
    },
    {
      "authority": "polymodel_policy",
      "basis": "PM-77 limit names are adapter policy and are not emitted by LDParse.",
      "decision": null,
      "field": "polymodel_policy_expected.limits",
      "locator": "corpus/h-conditional-degenerate.expected.json; sha256:ba43f5d0c7068014aa53e8a967856148fa5b5bc386317242eb30b70cc2097ba1",
      "revision": "PM-78 pm-78-oracle-only-v4",
      "source": "PM-78 oracle-only generator"
    },
    {
      "authority": "input_mechanical",
      "basis": "LDParse has no TEXMAP projection; this value is deterministically derived from immutable fixture bytes by the executable policy rule.",
      "decision": null,
      "field": "polymodel_policy_expected.texmap_events",
      "locator": "corpus/h-conditional-degenerate.expected.json; sha256:ba43f5d0c7068014aa53e8a967856148fa5b5bc386317242eb30b70cc2097ba1",
      "revision": "PM-78 pm-78-oracle-only-v4",
      "source": "PM-78 oracle-only generator"
    },
    {
      "authority": "input_mechanical",
      "basis": "LDParse has no TEXMAP geometry projection; this value is deterministically derived from immutable fixture bytes by the executable policy rule.",
      "decision": null,
      "field": "polymodel_policy_expected.texmap_geometry",
      "locator": "corpus/h-conditional-degenerate.expected.json; sha256:ba43f5d0c7068014aa53e8a967856148fa5b5bc386317242eb30b70cc2097ba1",
      "revision": "PM-78 pm-78-oracle-only-v4",
      "source": "PM-78 oracle-only generator"
    },
    {
      "authority": "input_mechanical",
      "basis": "LDParse has no DATA payload projection; this value is deterministically derived from immutable fixture bytes by the executable policy rule.",
      "decision": null,
      "field": "polymodel_policy_expected.data_payloads",
      "locator": "corpus/h-conditional-degenerate.expected.json; sha256:ba43f5d0c7068014aa53e8a967856148fa5b5bc386317242eb30b70cc2097ba1",
      "revision": "PM-78 pm-78-oracle-only-v4",
      "source": "PM-78 oracle-only generator"
    }
  ],
  "generated": {
    "authority": "ldparse_oracle_with_policy",
    "fixture_path": "crates/polymodel-ldraw-testkit/corpus/h-conditional-degenerate.ldr",
    "fixture_sha256": "ba43f5d0c7068014aa53e8a967856148fa5b5bc386317242eb30b70cc2097ba1",
    "oracle_revision": "0fe78dcee22982f26cceced1b483340faa4d04e9",
    "patch_identity": "ldparse-oracle-access.patch@pm-78-v2",
    "projection_rule_version": "pm-78-oracle-only-v4",
    "wrapper_schema_version": "wrapper-v4"
  },
  "oracle_expected": {
    "authority_rules": {
      "classes": [
        "oracle_direct",
        "oracle_mechanical",
        "input_mechanical",
        "polymodel_policy"
      ],
      "rules": [
        {
          "class": "polymodel_policy",
          "evidence": "Fixture outcome is workflow metadata and is not emitted by LDParse.",
          "path": "outcome",
          "rule": "copy_manifest_outcome"
        },
        {
          "class": "polymodel_policy",
          "evidence": "Parser profile is workflow metadata and is not emitted by LDParse.",
          "path": "profile",
          "rule": "copy_manifest_profile"
        },
        {
          "class": "polymodel_policy",
          "evidence": "Derivation references document authority and are not semantic values.",
          "path": "derivations",
          "rule": "preserve_authority_trace"
        },
        {
          "class": "input_mechanical",
          "evidence": "The syntax expectation is deterministically derived from immutable fixture bytes by the executable line-token scan rule.",
          "path": "syntax_expected",
          "rule": "syntax_scan_v1"
        },
        {
          "class": "oracle_direct",
          "evidence": "Complete pinned LDParse wrapper output; runtime attestation is required.",
          "path": "oracle_expected.schema_version",
          "rule": "oracle.schema_version"
        },
        {
          "class": "oracle_direct",
          "evidence": "Complete pinned LDParse wrapper output.",
          "path": "oracle_expected.fixture_path",
          "rule": "oracle.fixture_path"
        },
        {
          "class": "oracle_direct",
          "evidence": "Complete pinned LDParse wrapper output.",
          "path": "oracle_expected.status",
          "rule": "oracle.status"
        },
        {
          "class": "oracle_direct",
          "evidence": "Pinned LDParse model-boundary output.",
          "path": "oracle_expected.model_names",
          "rule": "oracle.model_names"
        },
        {
          "class": "oracle_direct",
          "evidence": "Preserve complete LDParse model, mesh, child, BFC, colour, and step fields.",
          "path": "oracle_expected.root_model",
          "rule": "oracle.root_model"
        },
        {
          "class": "oracle_direct",
          "evidence": "Preserve complete LDParse submodel cache projection.",
          "path": "oracle_expected.models",
          "rule": "oracle.models"
        },
        {
          "class": "oracle_direct",
          "evidence": "Preserve token and span data emitted by the LDParse lexer.",
          "path": "oracle_expected.tokenized_models",
          "rule": "oracle.tokenized_models"
        },
        {
          "class": "oracle_direct",
          "evidence": "Preserve token-stream geometry counts and source positions emitted by the LDParse wrapper.",
          "path": "oracle_expected.tokenized_geometry",
          "rule": "oracle.tokenized_geometry"
        },
        {
          "class": "oracle_direct",
          "evidence": "Preserve recursively resolved geometry counts emitted by the LDParse wrapper.",
          "path": "oracle_expected.resolved_geometry",
          "rule": "oracle.resolved_geometry"
        },
        {
          "class": "oracle_direct",
          "evidence": "Preserve diagnostics emitted through the LDParse error callback.",
          "path": "oracle_expected.diagnostics",
          "rule": "oracle.diagnostics"
        },
        {
          "class": "oracle_direct",
          "evidence": "Preserve native wrapper status/error classification without normalization.",
          "path": "oracle_expected.error",
          "rule": "oracle.error"
        },
        {
          "class": "oracle_direct",
          "evidence": "Pinned executable attestation of the external LDParse revision; generator verifies it against the corpus manifest.",
          "path": "oracle_expected.oracle_revision",
          "rule": "oracle.oracle_revision"
        },
        {
          "class": "oracle_direct",
          "evidence": "Pinned executable wrapper attestation; generator verifies runtime output rather than stamping it.",
          "path": "oracle_expected.wrapper_schema_version",
          "rule": "oracle.wrapper_schema_version"
        },
        {
          "class": "oracle_direct",
          "evidence": "Pinned executable projection-rule attestation; generator verifies runtime output against the checked-in rule table.",
          "path": "oracle_expected.projection_rule_version",
          "rule": "oracle.projection_rule_version"
        },
        {
          "class": "oracle_direct",
          "evidence": "Pinned executable attestation of the LDParse access patch; generator verifies runtime output.",
          "path": "oracle_expected.patch_identity",
          "rule": "oracle.patch_identity"
        },
        {
          "class": "input_mechanical",
          "evidence": "Generator hashes immutable fixture bytes at the process boundary.",
          "path": "oracle_expected.fixture_sha256",
          "rule": "sha256_fixture_bytes"
        },
        {
          "class": "oracle_mechanical",
          "evidence": "Generator embeds and validates this exact checked-in authority table.",
          "path": "oracle_expected.authority_rules",
          "rule": "checked_in_rules_json"
        },
        {
          "class": "polymodel_policy",
          "evidence": "PM-77 limit names are adapter policy and are not emitted by LDParse.",
          "path": "polymodel_policy_expected.limits",
          "rule": "constant_ldraw_limits"
        },
        {
          "class": "input_mechanical",
          "evidence": "LDParse has no TEXMAP projection; this value is deterministically derived from immutable fixture bytes by the executable policy rule.",
          "path": "polymodel_policy_expected.texmap_events",
          "rule": "texmap_scan_v1"
        },
        {
          "class": "input_mechanical",
          "evidence": "LDParse has no TEXMAP geometry projection; this value is deterministically derived from immutable fixture bytes by the executable policy rule.",
          "path": "polymodel_policy_expected.texmap_geometry",
          "rule": "texmap_scan_v1"
        },
        {
          "class": "input_mechanical",
          "evidence": "LDParse has no DATA payload projection; this value is deterministically derived from immutable fixture bytes by the executable policy rule.",
          "path": "polymodel_policy_expected.data_payloads",
          "rule": "data_scan_v1"
        },
        {
          "class": "polymodel_policy",
          "evidence": "The Rust core does not expose LDParse token-stream mesh vertices/normals/indices or native token objects; these paths are explicitly scoped out rather than defaulted.",
          "path": "rust_candidate_observation.non_comparable",
          "rule": "explicit_scope_non_comparability"
        }
      ],
      "version": "pm-78-oracle-only-v4"
    },
    "diagnostics": [],
    "error": null,
    "fixture_path": "crates/polymodel-ldraw-testkit/corpus/h-conditional-degenerate.ldr",
    "fixture_sha256": "ba43f5d0c7068014aa53e8a967856148fa5b5bc386317242eb30b70cc2097ba1",
    "model_names": [
      "pm77-h-conditional-degenerate"
    ],
    "models": [
      {
        "certify": "uncertified",
        "children": [],
        "default_color": 16,
        "local_colors": [],
        "mesh": {
          "bf_indices": [],
          "bf_triangle_count": 0,
          "indices": [],
          "normal_count": 0,
          "normals": [],
          "positions": [],
          "triangle_count": 0,
          "vertex_count": 0
        },
        "model_index": 0,
        "name": "pm77-h-conditional-degenerate",
        "path": "h-conditional-degenerate.ldr",
        "step_ends": [],
        "winding": "off"
      }
    ],
    "oracle_revision": "0fe78dcee22982f26cceced1b483340faa4d04e9",
    "patch_identity": "ldparse-oracle-access.patch@pm-78-v2",
    "projection_rule_version": "pm-78-oracle-only-v4",
    "resolved_geometry": {
      "conditional_lines": 1,
      "includes": 0,
      "lines": 0,
      "quads": 0,
      "triangle_positions": [],
      "triangles": 0
    },
    "root_model": {
      "certify": "uncertified",
      "children": [],
      "default_color": 16,
      "local_colors": [],
      "mesh": {
        "bf_indices": [],
        "bf_triangle_count": 0,
        "indices": [],
        "normal_count": 0,
        "normals": [],
        "positions": [],
        "triangle_count": 0,
        "vertex_count": 0
      },
      "model_index": 0,
      "name": "pm77-h-conditional-degenerate",
      "path": "h-conditional-degenerate.ldr",
      "step_ends": [],
      "winding": "off"
    },
    "schema_version": "ldraw-oracle-v4",
    "status": "ok",
    "tokenized_geometry": {
      "conditional_lines": 1,
      "includes": 0,
      "lines": 0,
      "quads": 0,
      "triangle_positions": [],
      "triangles": 0
    },
    "tokenized_models": [
      {
        "lines": [
          {
            "index": 0,
            "text": "0 H/PM-81 conditional SuppressedDegenerate epsilon boundary",
            "tokens": [
              {
                "column": 0,
                "kind": "zero",
                "kind_code": 0,
                "line": 0,
                "value": 0
              },
              {
                "column": 2,
                "kind": "ident",
                "kind_code": -3,
                "line": 0,
                "value": "H/PM-81"
              },
              {
                "column": 10,
                "kind": "ident",
                "kind_code": -3,
                "line": 0,
                "value": "conditional"
              },
              {
                "column": 22,
                "kind": "ident",
                "kind_code": -3,
                "line": 0,
                "value": "SuppressedDegenerate"
              },
              {
                "column": 43,
                "kind": "ident",
                "kind_code": -3,
                "line": 0,
                "value": "epsilon"
              },
              {
                "column": 51,
                "kind": "ident",
                "kind_code": -3,
                "line": 0,
                "value": "boundary"
              }
            ]
          },
          {
            "index": 1,
            "text": "5 16 0 0 0 0.000001 0 0 0 0 1 0 0 1",
            "tokens": [
              {
                "column": 0,
                "kind": "five",
                "kind_code": 5,
                "line": 1,
                "value": 5
              },
              {
                "column": 2,
                "kind": "dec_int",
                "kind_code": -5,
                "line": 1,
                "value": 16
              },
              {
                "column": 5,
                "kind": "zero",
                "kind_code": 0,
                "line": 1,
                "value": 0
              },
              {
                "column": 7,
                "kind": "zero",
                "kind_code": 0,
                "line": 1,
                "value": 0
              },
              {
                "column": 9,
                "kind": "zero",
                "kind_code": 0,
                "line": 1,
                "value": 0
              },
              {
                "column": 11,
                "kind": "float",
                "kind_code": -4,
                "line": 1,
                "value": 9.99999997e-7
              },
              {
                "column": 20,
                "kind": "zero",
                "kind_code": 0,
                "line": 1,
                "value": 0
              },
              {
                "column": 22,
                "kind": "zero",
                "kind_code": 0,
                "line": 1,
                "value": 0
              },
              {
                "column": 24,
                "kind": "zero",
                "kind_code": 0,
                "line": 1,
                "value": 0
              },
              {
                "column": 26,
                "kind": "zero",
                "kind_code": 0,
                "line": 1,
                "value": 0
              },
              {
                "column": 28,
                "kind": "one",
                "kind_code": 1,
                "line": 1,
                "value": 1
              },
              {
                "column": 30,
                "kind": "zero",
                "kind_code": 0,
                "line": 1,
                "value": 0
              },
              {
                "column": 32,
                "kind": "zero",
                "kind_code": 0,
                "line": 1,
                "value": 0
              },
              {
                "column": 34,
                "kind": "one",
                "kind_code": 1,
                "line": 1,
                "value": 1
              }
            ]
          },
          {
            "index": 2,
            "text": "",
            "tokens": []
          }
        ],
        "model_index": 0,
        "name": "pm77-h-conditional-degenerate"
      }
    ],
    "wrapper_schema_version": "wrapper-v4"
  },
  "outcome": "accepted",
  "polymodel_policy_expected": {
    "data_payloads": [],
    "limits": [
      "resource_bytes",
      "line_bytes",
      "files",
      "include_depth",
      "commands",
      "instances",
      "triangles",
      "lines",
      "textures",
      "fetches",
      "diagnostics"
    ],
    "texmap_events": [],
    "texmap_geometry": []
  },
  "profile": "strict",
  "syntax_expected": []
}