163-measured-resolver-expansion

Expand structural resolution only where measurement proves it deterministic

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Publishes a measured construct matrix for the Rust and TypeScript structural resolver and adds only the constructs whose identity and span are a pure function of the pinned grammars: items inside inline modules, Rust impl and trait members, macro_rules definitions, integration-test roots, TypeScript class methods and top-level variables, and a Rust test identity bound to its #[test] attribute, which lifts spec 155's test-selector reservation. Every other construct reports a closed unsupported or unknown reason instead of an absence. No identity that resolves today changes meaning; the index schema advances one MINOR, staged with the engine pin that first carries it, and dependency edges stay out of scope.

Read the full pinned specification ↗

Relationships

depends on

depended on by

199-the-0-31-0-release-moves-the-pin

amends

Claimed units

establishes

{
  "kind": "file",
  "path": "crates/spec-spine-core/tests/resolver_matrix.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/spec-spine-cli/tests/resolver_matrix.rs"
}

extends

{
  "nature": "additive",
  "spec": "004-codebase-index",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/symbols.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "004-codebase-index",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/index.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "155-selected-content-accessor",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/content.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "155-selected-content-accessor",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/src/content.rs"
  }
}

extends

{
  "nature": "corrective",
  "spec": "155-selected-content-accessor",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/content.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "155-selected-content-accessor",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/tests/content.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "159-repository-scoped-context-packet",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/context_packet.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "169-declared-obligation-traceability",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/traceability.rs"
  }
}

extends

{
  "nature": "corrective",
  "spec": "169-declared-obligation-traceability",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/traceability.rs"
  }
}

extends

{
  "nature": "corrective",
  "spec": "169-declared-obligation-traceability",
  "unit": {
    "kind": "directory",
    "path": "crates/spec-spine-core/tests/fixtures/traceability/"
  }
}

extends

{
  "nature": "corrective",
  "spec": "169-declared-obligation-traceability",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/tests/traceability.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "074-a-governed-read-names-its-version",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/read.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "108-a-work-scope-is-declared",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/scope.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "108-a-work-scope-is-declared",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/tests/scope.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "022-index-sharding",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/tests/dtos.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "074-a-governed-read-names-its-version",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/src/version.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "057-the-docs-name-what-adopters-derived",
  "unit": {
    "kind": "file",
    "path": "docs/schema-versioning.md"
  }
}

extends

{
  "nature": "additive",
  "spec": "088-the-template-teaches-the-whole-grammar",
  "unit": {
    "kind": "file",
    "path": "standards/spec/templates/spec-template.md"
  }
}

Source headings

163: Expand structural resolution only where measurement proves it deterministic
1. Purpose
1.1 Measured matrix (2026-09-27, spec-spine 0.28.0, main `c0c1256d`)
1.2 What the measurement decides
2. Territory
3. Behavior
3.1 Scope of the walk
3.2 Supported constructs and identity grammar
3.3 Existing identities never change meaning
3.4 Test identity
3.5 Unsupported and unknown are reported, not absent
3.6 Nothing is walked that is not needed
3.7 Projections follow the grammar
3.8 Compatibility gate
3.9 Determinism across the four release triples
3.10 No semantic claims
4. Acceptance criteria
5. Out of scope
6. Resolved decisions
Verification

Frozen anchors

No frozen anchors declared.