semantifold 0.13.0 → 0.15.0

package/src/frontends/javascript-typescript.js

@@ -16,7 +16,7 @@ import {documentedValueType, instantiatedRecordFieldType, iterationBindingType,
 /** @typedef {NonNullable<import("@babel/parser").ParseResult<import("@babel/types").File>["tokens"]>[number]} BabelToken */
 /** @typedef {{byStart: Map<number, BabelToken>, tokens: BabelToken[]}} BabelTokenIndex */
 /** @typedef {{name: string, nameLocation: import("../semantic/types.js").SourceLocation, parameters: import("../semantic/types.js").Parameter[], returnType: import("../semantic/types.js").SemanticFunctionReturnType, typeParameters?: import("../semantic/types.js").TypeParameter[], location: import("../semantic/types.js").SourceLocation}} JavaScriptFunctionSignature */
-/** @typedef {{bindings: Map<string, import("../semantic/types.js").SemanticBindingType>, catchBindingNames?: Set<string>, catchBindingNodes?: Map<string, import("../semantic/types.js").CatchBinding>, classes: Map<string, import("../semantic/types.js").ClassDeclaration>, currentClass?: import("../semantic/types.js").ClassDeclaration, errors: Map<string, import("../semantic/types.js").ErrorDeclaration>, errorNames: Map<string, import("../semantic/types.js").ErrorDeclaration>, functions: Map<string, JavaScriptFunctionSignature>, lexicalValueNames?: Set<string>, orderedMapDeclarations?: Set<object>, recordNames: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>, records: Map<string, import("../semantic/types.js").RecordDeclaration>, returnType?: import("../semantic/types.js").SemanticFunctionReturnType, typeParameters?: Map<string, import("../semantic/types.js").TypeParameter>, valueRecordNames: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration>}} JavaScriptConversionContext */
+/** @typedef {{bindings: Map<string, import("../semantic/types.js").SemanticBindingType>, catchBindingNames?: Set<string>, catchBindingNodes?: Map<string, import("../semantic/types.js").CatchBinding>, classes: Map<string, import("../semantic/types.js").ClassDeclaration>, currentClass?: import("../semantic/types.js").ClassDeclaration, errors: Map<string, import("../semantic/types.js").ErrorDeclaration>, errorNames: Map<string, import("../semantic/types.js").ErrorDeclaration>, functions: Map<string, JavaScriptFunctionSignature>, lexicalValueNames?: Set<string>, orderedMapDeclarations?: Set<object>, recordNames: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>, records: Map<string, import("../semantic/types.js").RecordDeclaration>, returnType?: import("../semantic/types.js").SemanticFunctionReturnType, typeParameters?: Map<string, import("../semantic/types.js").TypeParameter>, valueRecordNames: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration>}} JavaScriptConversionContext */
 
 /** @type {WeakMap<object, BabelTokenIndex>} */
 const nodeTokens = new WeakMap()
@@ -875,7 +875,7 @@ function convertLocalStatement(node, language, filename, source, context) {
  * @param {string} name - Local name.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
  * @returns {import("../semantic/types.js").SemanticValueType} Semantic type.
  */
@@ -1393,7 +1393,7 @@ function classJsdocTypeParameters(node, ownerId, filename, source) {
  * @param {import("../semantic/types.js").SourceLocation} location - Source location.
  * @param {string} source - Complete parser input.
  * @param {import("../semantic/types.js").SourceLocation} [typeLocation] - Exact type token location.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} [recordNames] - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} [recordNames] - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
  * @returns {import("../semantic/types.js").SemanticValueType} Semantic type.
  */
@@ -1411,7 +1411,7 @@ function convertType(sourceType, language, subject, location, source, typeLocati
  * @param {import("../semantic/types.js").SourceLocation} location - Function location.
  * @param {string} source - Complete parser input.
  * @param {import("../semantic/types.js").SourceLocation} [typeLocation] - Exact annotation location.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} [recordNames] - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} [recordNames] - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
  * @returns {import("../semantic/types.js").SemanticFunctionReturnType} Semantic return type.
  */
@@ -1428,7 +1428,7 @@ function convertReturnType(sourceType, language, subject, location, source, type
  * @param {import("../semantic/types.js").SourceLocation} ownerLocation - Owning declaration location.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} [recordNames] - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} [recordNames] - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
  * @returns {import("../semantic/types.js").SemanticValueType} Semantic type.
  */
@@ -1448,7 +1448,7 @@ function convertTypeScriptType(annotation, subject, ownerLocation, filename, sou
  * @param {import("../semantic/types.js").SourceLocation} ownerLocation - Owning declaration.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} [recordNames] - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} [recordNames] - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
  * @returns {import("../semantic/types.js").SemanticValueType} Semantic value type.
  */
@@ -1467,7 +1467,7 @@ function convertTypeScriptValueTypeNode(typeNode, subject, ownerLocation, filena
   }
   if (typeNode.type == "TSTypeReference" && typeNode.typeName.type == "Identifier" &&
     recordNames.has(typeNode.typeName.name)) {
-    const declaration = /** @type {import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration} */ (recordNames.get(typeNode.typeName.name))
+    const declaration = /** @type {import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration} */ (recordNames.get(typeNode.typeName.name))
 
     if (declaration.kind == "EffectResourceDeclaration") {
       if (typeNode.typeParameters) return unsupportedSyntax("typescript", "generic owned resource type", nodeLocation(typeNode, filename, source))
@@ -1549,7 +1549,7 @@ function convertTypeScriptValueTypeNode(typeNode, subject, ownerLocation, filena
  * @param {import("../semantic/types.js").SourceLocation} ownerLocation - Function location.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} [recordNames] - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} [recordNames] - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
  * @returns {import("../semantic/types.js").SemanticFunctionReturnType} Semantic return type.
  */
@@ -1596,7 +1596,7 @@ function typeScriptTypeParameters(declaration, ownerId, filename, source) {
  * @param {"javascript" | "typescript"} language - Frontend language.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by source name.
  * @param {string} ownerId - Stable function identity.
  * @returns {JavaScriptFunctionSignature} Semantic function signature.
  */
@@ -1653,7 +1653,7 @@ function convertFunctionSignature(node, language, filename, source, recordNames,
  * @param {import("@babel/types").FunctionDeclaration} node - Babel function.
  * @param {JavaScriptFunctionSignature} signature - Converted signature.
  * @param {Map<string, JavaScriptFunctionSignature>} functions - Module signatures.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by name.
  * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration>} valueRecordNames - Nominal declarations available in value positions.
  * @param {Map<string, import("../semantic/types.js").RecordDeclaration>} records - Record declarations by identity.
  * @param {Map<string, import("../semantic/types.js").ClassDeclaration>} classes - Reference classes by identity.
@@ -1783,7 +1783,7 @@ function convertJavaScriptError(node, declaration, language, filename, source) {
  * Predeclares the bounded native private-field reference-class profile and all callable signatures.
  * @param {import("@babel/types").ClassDeclaration} node - Parser class.
  * @param {import("../semantic/types.js").ClassDeclaration} declaration - Predeclared class identity.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} nominalNames - Nominal types by name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} nominalNames - Nominal types by name.
  * @param {"javascript" | "typescript"} language - Source language.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
@@ -1874,7 +1874,7 @@ function predeclareReferenceClass(node, declaration, nominalNames, language, fil
  * Converts one reference class body after every class signature is complete.
  * @param {import("@babel/types").ClassDeclaration} node - Parser class.
  * @param {import("../semantic/types.js").ClassDeclaration} declaration - Complete predeclared class signature.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} nominalNames - Nominal types by name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} nominalNames - Nominal types by name.
  * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration>} valueNames - Nominal constructors by name.
  * @param {Map<string, import("../semantic/types.js").RecordDeclaration>} records - Records by identity.
  * @param {Map<string, import("../semantic/types.js").ClassDeclaration>} classes - Classes by identity.
@@ -1916,7 +1916,7 @@ function convertReferenceClassBodies(node, declaration, nominalNames, valueNames
  * Reads one constructor or method signature without admitting overloads or modifiers.
  * @param {import("@babel/types").ClassMethod} node - Parser method.
  * @param {import("../semantic/types.js").ClassDeclaration} declaration - Declaring class.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} nominalNames - Nominal types.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} nominalNames - Nominal types.
  * @param {"javascript" | "typescript"} language - Source language.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
@@ -1972,7 +1972,7 @@ function convertClassCallableSignature(node, declaration, nominalNames, language
  * Converts one exact TypeScript readonly constructor-parameter record profile.
  * @param {import("@babel/types").ClassDeclaration} node - Class declaration.
  * @param {import("../semantic/types.js").RecordDeclaration} declaration - Predeclared nominal identity.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - All nominal declarations by name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - All nominal declarations by name.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
  * @returns {import("../semantic/types.js").RecordDeclaration} Semantic record declaration.
@@ -2027,7 +2027,7 @@ function convertTypeScriptRecord(node, declaration, recordNames, filename, sourc
  * Converts one exact JSDoc constructor/readonly-assignment/freeze record profile.
  * @param {import("@babel/types").ClassDeclaration} node - Class declaration.
  * @param {import("../semantic/types.js").RecordDeclaration} declaration - Predeclared nominal identity.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by name.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
  * @returns {import("../semantic/types.js").RecordDeclaration} Semantic record declaration.
@@ -2359,7 +2359,7 @@ export function parseJavaScriptTypeScript({capabilities = [], filename, language
     fields: [], id: `class:${index}`, kind: /** @type {const} */ ("ClassDeclaration"),
     location: nodeLocation(node, filename, source), methods: [], name: node.id?.name ?? ""
   }))
-  const recordNames = /** @type {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} */ (
+  const recordNames = /** @type {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} */ (
     new Map(program?.records ?? []))
   for (const resource of capabilities.flatMap(({resources}) => resources)) recordNames.set(resource.name, resource)
   const valueRecordNames = /** @type {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration>} */ (

package/src/frontends/php.js

@@ -12,7 +12,7 @@ import {hasExactEffectSupport} from "../backends/effects.js"
 import {hasOnlyUnicodeScalars, scalarType} from "../semantic/scalars.js"
 import {typeContainsAnyVariable} from "../semantic/generics.js"
 import {requireSourceReturnType, requireSourceScalarType, sourceScalarType} from "./scalars.js"
-import {capabilityFunctionSignatures, documentedValueType, instantiatedRecordFieldType, iterationBindingType, iterationOperandType, knownCallParameterTypes, knownCallReturnType, optionalType, orderedMapTypeFromMap, ownedResourceType, preservesGenericOptionalEvidence, recordType, referenceType, sameValueType} from "./types.js"
+import {capabilityFunctionSignatures, documentedValueType, instantiatedRecordFieldType, interfaceType, iterationBindingType, iterationOperandType, knownCallParameterTypes, knownCallReturnType, optionalType, orderedMapTypeFromMap, ownedResourceType, preservesGenericOptionalEvidence, recordType, referenceType, sameValueType} from "./types.js"
 const parser = new PhpParser.Engine({
   ast: {withPositions: true},
   parser: {extractDoc: true, suppressErrors: false}
@@ -43,11 +43,12 @@ const phpBinaryOperations = new Map([
  * @property {Map<string, import("../semantic/types.js").CatchBinding>} [catchBindingNodes] - Exact catch binding nodes by visible name.
  * @property {Map<string, import("../semantic/types.js").ClassDeclaration>} classes - Reference classes by identity.
  * @property {import("../semantic/types.js").ClassDeclaration} [currentClass] - Enclosing reference class.
+ * @property {Map<string, import("../semantic/types.js").InterfaceDeclaration>} interfaces - Interface declarations by identity.
  * @property {Map<string, import("../semantic/types.js").ErrorDeclaration>} errorNames - Error declarations by source name.
  * @property {Map<string, import("../semantic/types.js").ErrorDeclaration>} errors - Error declarations by identity.
  * @property {Map<string, PhpFunctionSignature>} functions - Explicit module function signatures.
  * @property {Set<object>} [orderedMapDeclarations] - Exact local declarations selected by parser-owned pair iteration.
- * @property {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by source name.
+ * @property {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by source name.
  * @property {Map<string, import("../semantic/types.js").RecordDeclaration>} records - Record declarations by identity.
  * @property {import("../semantic/types.js").SemanticFunctionReturnType | undefined} returnType - Enclosing return type.
  * @property {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
@@ -325,6 +326,9 @@ function convertExpression(node, filename, source, context, expectedType, preser
     const declaration = context.recordNames.get(name.name)
 
     if (!declaration) return unsupportedSyntax("php", "construction of an unknown nominal class", nodeLocation(construction.what, filename, source))
+    if (declaration.kind == "InterfaceDeclaration") {
+      return unsupportedSyntax("php", "construction of an interface", nodeLocation(construction.what, filename, source))
+    }
     if (declaration.kind == "ClassDeclaration") {
       const unsupportedArgument = construction.arguments.find((argument) =>
         argument.kind == "namedargument" || argument.kind == "variadic" || Reflect.get(argument, "byref") === true)
@@ -382,6 +386,9 @@ function convertExpression(node, filename, source, context, expectedType, preser
     if (receiverType?.kind == "ReferenceType") {
       return unsupportedSyntax("php", "private reference-class field access", location)
     }
+    if (receiverType?.kind == "InterfaceType") {
+      return unsupportedSyntax("php", "interface receiver member access", location)
+    }
     const receiverRecord = receiverType?.kind == "OptionalType" ? receiverType.valueType : receiverType
     const declaration = receiverRecord?.kind == "RecordType" ? context.records.get(receiverRecord.declarationId) : undefined
 
@@ -510,8 +517,10 @@ function convertExpression(node, filename, source, context, expectedType, preser
       const member = lookup.offset.kind == "identifier" ? /** @type {import("php-parser").Identifier} */ (lookup.offset) : undefined
       const receiverType = knownExpressionType(lookup.what, context)
 
-      if (member && typeof member.name == "string" && receiverType?.kind == "ReferenceType") {
-        const method = context.classes.get(receiverType.declarationId)?.methods.find((candidate) => candidate.name == member.name)
+      if (member && typeof member.name == "string" && (receiverType?.kind == "ReferenceType" || receiverType?.kind == "InterfaceType")) {
+        const method = receiverType.kind == "ReferenceType"
+          ? context.classes.get(receiverType.declarationId)?.methods.find((candidate) => candidate.name == member.name)
+          : context.interfaces.get(receiverType.declarationId)?.methods.find((candidate) => candidate.name == member.name)
         const unsupportedArgument = call.arguments.find((argument) =>
           argument.kind == "namedargument" || argument.kind == "variadic" || Reflect.get(argument, "byref") === true)
 
@@ -632,6 +641,9 @@ function knownExpressionType(node, context) {
       if (receiver?.kind == "ReferenceType" && member && typeof member.name == "string") {
         return context.classes.get(receiver.declarationId)?.methods.find((method) => method.name == member.name)?.returnType
       }
+      if (receiver?.kind == "InterfaceType" && member && typeof member.name == "string") {
+        return context.interfaces.get(receiver.declarationId)?.methods.find((method) => method.name == member.name)?.returnType
+      }
     }
   }
   if (node.kind == "offsetlookup") {
@@ -648,7 +660,9 @@ function knownExpressionType(node, context) {
 
     if (declaration?.id) return declaration.kind == "ClassDeclaration"
       ? {declarationId: declaration.id, kind: "ReferenceType"}
-      : {declarationId: declaration.id, kind: "RecordType"}
+      : declaration.kind == "InterfaceDeclaration"
+        ? {declarationId: declaration.id, kind: "InterfaceType"}
+        : {declarationId: declaration.id, kind: "RecordType"}
   }
   if (node.kind == "propertylookup") {
     const read = /** @type {import("php-parser").PropertyLookup} */ (node)
@@ -756,7 +770,7 @@ function convertReturn(node, filename, source, context) {
  * @param {string} name - Local name.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
  * @returns {{immutable: boolean, type: import("../semantic/types.js").SemanticValueType} | undefined} Metadata when present.
  */
@@ -876,7 +890,7 @@ function convertLocalStatement(node, filename, source, context) {
   const inferredType = knownExpressionType(assignment.right, context)
 
   if (inferredType?.kind == "RecordType" || inferredType?.kind == "ReferenceType" ||
-    inferredType?.kind == "OwnedResourceType") {
+    inferredType?.kind == "InterfaceType" || inferredType?.kind == "OwnedResourceType") {
     const initializer = convertExpression(assignment.right, filename, source, context, inferredType)
 
     context.bindings.set(variable.name, inferredType)
@@ -1195,7 +1209,7 @@ function convertBlock(node, filename, source, context) {
  * @param {import("../semantic/types.js").SourceLocation} location - Source location.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} [recordNames] - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} [recordNames] - Nominal declarations by source name.
  * @returns {import("../semantic/types.js").SemanticValueType} Semantic type.
  */
 function convertType(sourceType, subject, location, filename, source, recordNames = new Map()) {
@@ -1211,9 +1225,11 @@ function convertType(sourceType, subject, location, filename, source, recordName
 
   if (declaration?.id) return declaration.kind == "ClassDeclaration"
     ? referenceType(declaration.id, typeLocation)
-    : declaration.kind == "EffectResourceDeclaration"
-      ? ownedResourceType(declaration.id, typeLocation)
-      : recordType(declaration.id, typeLocation)
+    : declaration.kind == "InterfaceDeclaration"
+      ? interfaceType(declaration.id, typeLocation)
+      : declaration.kind == "EffectResourceDeclaration"
+        ? ownedResourceType(declaration.id, typeLocation)
+        : recordType(declaration.id, typeLocation)
 
   return requireSourceScalarType("php", typeName, subject, location, typeLocation)
 }
@@ -1331,7 +1347,7 @@ function nullableType(valueType, sourceType, ownerStart, filename, source) {
  * @param {import("../semantic/types.js").SourceLocation} location - Function location.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} [recordNames] - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} [recordNames] - Nominal declarations by source name.
  * @returns {import("../semantic/types.js").SemanticFunctionReturnType} Semantic return type.
  */
 function convertReturnType(sourceType, subject, location, filename, source, recordNames = new Map()) {
@@ -1344,9 +1360,11 @@ function convertReturnType(sourceType, subject, location, filename, source, reco
 
   if (declaration?.id) return declaration.kind == "ClassDeclaration"
     ? referenceType(declaration.id, nodeLocation(sourceType, filename, source))
-    : declaration.kind == "EffectResourceDeclaration"
-      ? ownedResourceType(declaration.id, nodeLocation(sourceType, filename, source))
-      : recordType(declaration.id, nodeLocation(sourceType, filename, source))
+    : declaration.kind == "InterfaceDeclaration"
+      ? interfaceType(declaration.id, nodeLocation(sourceType, filename, source))
+      : declaration.kind == "EffectResourceDeclaration"
+        ? ownedResourceType(declaration.id, nodeLocation(sourceType, filename, source))
+        : recordType(declaration.id, nodeLocation(sourceType, filename, source))
 
   return requireSourceReturnType("php", typeName, subject, location, nodeLocation(sourceType, filename, source))
 }
@@ -1356,7 +1374,7 @@ function convertReturnType(sourceType, subject, location, filename, source, reco
  * @param {import("php-parser").Function} node - PHP function node.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by source name.
  * @param {string} ownerId - Stable function identity.
  * @returns {PhpFunctionSignature} Typed function signature.
  */
@@ -1457,7 +1475,7 @@ function convertFunctionSignature(node, filename, source, recordNames, ownerId)
  * @param {string | undefined} nativeType - Native PHP type name.
  * @param {boolean} nativeNullable - Whether the native carrier has PHP's nullable marker.
  * @param {import("../semantic/types.js").SemanticValueType} documentedType - Exact semantic document type.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} records - Visible nominal declarations by name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} records - Visible nominal declarations by name.
  * @returns {boolean} Whether the native carrier agrees without changing meaning.
  */
 function phpDocumentedNativeTypeMatches(nativeType, nativeNullable, documentedType, records) {
@@ -1482,6 +1500,9 @@ function phpDocumentedNativeTypeMatches(nativeType, nativeNullable, documentedTy
   if (documentedType.kind == "ReferenceType") {
     return nativeType !== undefined && records.get(nativeType)?.id == documentedType.declarationId
   }
+  if (documentedType.kind == "InterfaceType") {
+    return nativeType !== undefined && records.get(nativeType)?.id == documentedType.declarationId
+  }
 
   return false
 }
@@ -1491,16 +1512,17 @@ function phpDocumentedNativeTypeMatches(nativeType, nativeNullable, documentedTy
  * @param {import("php-parser").Function} node - PHP function node.
  * @param {PhpFunctionSignature} signature - Preconverted explicit signature.
  * @param {Map<string, PhpFunctionSignature>} functions - Module function signatures.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").RecordDeclaration>} records - Record declarations by identity.
  * @param {Map<string, import("../semantic/types.js").ClassDeclaration>} classes - Reference classes by identity.
+ * @param {Map<string, import("../semantic/types.js").InterfaceDeclaration>} interfaces - Interface declarations by identity.
  * @param {Map<string, import("../semantic/types.js").ErrorDeclaration>} errorNames - Error declarations by source name.
  * @param {Map<string, import("../semantic/types.js").ErrorDeclaration>} errors - Error declarations by identity.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
  * @returns {import("../semantic/types.js").FunctionDeclaration} Semantic function.
  */
-function convertFunction(node, signature, functions, recordNames, records, classes, errorNames, errors, filename, source) {
+function convertFunction(node, signature, functions, recordNames, records, classes, interfaces, errorNames, errors, filename, source) {
   if (!node.body) return unsupportedSyntax("php", "function body", signature.location)
   const context = {
     bindings: new Map(signature.parameters.map((parameter) => [parameter.name, parameter.type])),
@@ -1516,7 +1538,7 @@ function convertFunction(node, signature, functions, recordNames, records, class
   }
 
   return withParserRanges({
-    body: convertBlock(node.body, filename, source, context),
+    body: convertBlock(node.body, filename, source, {...context, interfaces}),
     kind: "FunctionDeclaration",
     location: signature.location,
     name: signature.name,
@@ -1613,7 +1635,7 @@ function convertPhpError(node, declaration, filename, source) {
 /**
  * Reads one exact public PHP constructor or instance-method signature.
  * @param {import("php-parser").Method} node - Parser-owned method.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} nominalNames - Visible nominal declarations.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} nominalNames - Visible nominal declarations.
  * @param {string} ownerId - Stable callable identity.
  * @param {boolean} constructor - Whether this is the sole constructor.
  * @param {string} filename - Source filename.
@@ -1696,13 +1718,106 @@ function convertPhpClassCallableSignature(node, nominalNames, ownerId, construct
   return {location, name, nameLocation: nodeLocation(nameNode, filename, source), parameters, returnType}
 }
 
+/**
+ * Converts the signature-only PHP interface profile.
+ * @param {import("php-parser").Class} node - Parser interface.
+ * @param {import("../semantic/types.js").InterfaceDeclaration} declaration - Predeclared interface identity.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} nominalNames - Visible nominal declarations.
+ * @param {string} filename - Source filename.
+ * @param {string} source - Complete source.
+ * @returns {import("../semantic/types.js").InterfaceDeclaration} Semantic interface.
+ */
+function convertPhpInterface(node, declaration, nominalNames, filename, source) {
+  const location = nodeLocation(node, filename, source)
+  const parents = /** @type {readonly import("php-parser").Name[]} */ (/** @type {unknown} */ (node.extends ?? []))
+
+  if (node.isAnonymous || node.attrGroups.length) return unsupportedSyntax("php", "malformed interface declaration", location)
+  const parentReferences = parents.map((parent) => {
+    if (parent.kind != "name" || parent.resolution != "uqn" || typeof parent.name != "string") {
+      return unsupportedSyntax("php", "qualified or dynamic interface parent", nodeLocation(parent, filename, source))
+    }
+    const parentDeclaration = nominalNames.get(parent.name)
+
+    if (!parentDeclaration?.id || parentDeclaration.kind != "InterfaceDeclaration") {
+      return unsupportedSyntax("php", `interface parent '${parent.name}' is not a declared interface`, nodeLocation(parent, filename, source))
+    }
+
+    return interfaceType(/** @type {string} */ (parentDeclaration.id), nodeLocation(parent, filename, source))
+  })
+  const methodNodes = /** @type {import("php-parser").Method[]} */ (node.body.filter((member) => member.kind == "method"))
+
+  if (methodNodes.length != node.body.length) {
+    return unsupportedSyntax("php", "interface member outside one signature-only public method",
+      nodeLocation(node.body.find((member) => member.kind != "method") ?? node, filename, source))
+  }
+  declaration.methods = methodNodes.map((method, index) => convertPhpInterfaceMethodSignature(method, nominalNames,
+    `${declaration.id}:method:${index}`, filename, source))
+  const nameNode = typeof node.name == "string" ? node : node.name
+
+  return withParserRanges({
+    ...declaration,
+    ...(parentReferences.length > 0 ? {extends: parentReferences} : {})
+  }, {name: nodeLocation(nameNode, filename, source)})
+}
+
+/**
+ * Reads one exact signature-only PHP interface method.
+ * @param {import("php-parser").Method} node - Parser interface method.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} nominalNames - Visible nominal declarations.
+ * @param {string} ownerId - Stable interface method identity.
+ * @param {string} filename - Source filename.
+ * @param {string} source - Complete source.
+ * @returns {import("../semantic/types.js").InterfaceMethodDeclaration} Semantic interface method.
+ */
+function convertPhpInterfaceMethodSignature(node, nominalNames, ownerId, filename, source) {
+  const location = nodeLocation(node, filename, source)
+  const name = typeof node.name == "string" ? node.name : node.name.name
+
+  if (node.visibility != "public" || node.isStatic || node.isAbstract || node.isFinal || Reflect.get(node, "isReadonly") ||
+    node.byref || node.nullable || node.attrGroups.length || node.body !== null) {
+    return unsupportedSyntax("php", "interface method outside one public signature-only declaration", location)
+  }
+  const documented = functionDocumentedTypes(/** @type {import("php-parser").Function} */ (/** @type {unknown} */ (node)),
+    filename, source, ownerId)
+
+  if (documented.parameters.size > 0 || documented.returnType || documented.typeParameters?.length) {
+    return unsupportedSyntax("php", "documented interface method type annotation", location)
+  }
+  if (!node.type) return missingType("php", `Interface method '${name}' return`, location)
+  const parameters = node.arguments.map((parameter) => {
+    const parameterLocation = nodeLocation(parameter, filename, source)
+    const parameterName = typeof parameter.name == "string" ? parameter.name : parameter.name.name
+
+    if (parameter.byref || parameter.variadic || parameter.value || parameter.flags || parameter.readonly || parameter.nullable ||
+      parameter.hooks.length || parameter.attrGroups.length) {
+      return unsupportedSyntax("php", "noncanonical interface method parameter", parameterLocation)
+    }
+    if (!parameter.type) return missingType("php", `Parameter '${parameterName}'`, parameterLocation)
+    const type = convertType(parameter.type, `Parameter '${parameterName}'`, parameterLocation, filename, source, nominalNames)
+
+    if (type.kind == "OptionalType") return unsupportedSyntax("php", "optional interface method parameter", parameterLocation)
+    const nameNode = typeof parameter.name == "string" ? parameter : parameter.name
+
+    return withParserRanges({kind: /** @type {const} */ ("Parameter"), location: parameterLocation,
+      name: parameterName, type}, {name: nodeLocation(nameNode, filename, source)})
+  })
+  const returnType = convertReturnType(node.type, `Interface method '${name}' return`, location, filename, source, nominalNames)
+
+  if (returnType.kind == "OptionalType") return unsupportedSyntax("php", "optional interface method return", location)
+  const nameNode = typeof node.name == "string" ? node : node.name
+
+  return withParserRanges({kind: /** @type {const} */ ("InterfaceMethodDeclaration"), location, name, parameters, returnType},
+    {name: nodeLocation(nameNode, filename, source)})
+}
+
 /**
  * Converts the bounded final/private-field PHP reference-class profile.
  * @param {import("php-parser").Class} node - Parser class.
  * @param {import("../semantic/types.js").ClassDeclaration} declaration - Predeclared class identity.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} nominalNames - Visible nominal declarations.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} nominalNames - Visible nominal declarations.
  * @param {Map<string, import("../semantic/types.js").RecordDeclaration>} records - Records by identity.
  * @param {Map<string, import("../semantic/types.js").ClassDeclaration>} classes - Classes by identity.
+ * @param {Map<string, import("../semantic/types.js").InterfaceDeclaration>} interfaces - Interfaces by identity.
  * @param {Map<string, PhpFunctionSignature>} functions - Top-level signatures.
  * @param {Map<string, import("../semantic/types.js").ErrorDeclaration>} errorNames - Errors by name.
  * @param {Map<string, import("../semantic/types.js").ErrorDeclaration>} errors - Errors by identity.
@@ -1710,12 +1825,28 @@ function convertPhpClassCallableSignature(node, nominalNames, ownerId, construct
  * @param {string} source - Complete source.
  * @returns {import("../semantic/types.js").ClassDeclaration} Semantic class.
  */
-function convertPhpReferenceClass(node, declaration, nominalNames, records, classes, functions, errorNames, errors,
+function convertPhpReferenceClass(node, declaration, nominalNames, records, classes, interfaces, functions, errorNames, errors,
   filename, source) {
   const location = nodeLocation(node, filename, source)
 
-  if (node.isAnonymous || !node.isFinal || node.isReadonly || node.isAbstract || node.extends || node.implements?.length ||
-    node.attrGroups.length) return unsupportedSyntax("php", "reference class inheritance or noncanonical modifier", location)
+  if (node.isAnonymous || !node.isFinal || node.isReadonly || node.isAbstract || node.extends || node.attrGroups.length) {
+    return unsupportedSyntax("php", "reference class inheritance or noncanonical modifier", location)
+  }
+  const implementedReferences = /** @type {readonly import("php-parser").Name[]} */ (/** @type {unknown} */ (node.implements ?? []))
+    .map((implemented) => {
+    const implementedLocation = nodeLocation(implemented, filename, source)
+
+    if (implemented.kind != "name" || implemented.resolution != "uqn" || typeof implemented.name != "string") {
+      return unsupportedSyntax("php", "qualified or dynamic interface implementation", implementedLocation)
+    }
+    const implementedDeclaration = nominalNames.get(implemented.name)
+
+    if (!implementedDeclaration?.id || implementedDeclaration.kind != "InterfaceDeclaration") {
+      return unsupportedSyntax("php", `implemented interface '${implemented.name}' is not a declared interface`, implementedLocation)
+    }
+
+    return interfaceType(/** @type {string} */ (implementedDeclaration.id), implementedLocation)
+  })
   const fieldStatements = node.body.filter((member) => member.kind == "propertystatement")
   const methodNodes = /** @type {import("php-parser").Method[]} */ (node.body.filter((member) => member.kind == "method"))
   const constructors = methodNodes.filter((method) => (typeof method.name == "string" ? method.name : method.name.name) == "__construct")
@@ -1756,8 +1887,9 @@ function convertPhpReferenceClass(node, declaration, nominalNames, records, clas
     parameters: signature.parameters,
     returnType: /** @type {import("../semantic/types.js").SemanticFunctionReturnType} */ (signature.returnType)
   }, {name: signature.nameLocation}))
+  if (implementedReferences.length > 0) declaration.implements = implementedReferences
   const base = {bindings: new Map(), classes, currentClass: declaration, errorNames, errors, functions,
-    recordNames: nominalNames, records}
+    interfaces, recordNames: nominalNames, records}
 
   declaration.constructor.body = convertBlock(/** @type {import("php-parser").Block} */ (constructorNode.body), filename, source,
     {...base, bindings: new Map(declaration.constructor.parameters.map((parameter) => [parameter.name, parameter.type])),
@@ -2007,6 +2139,7 @@ export function parsePhp({capabilities = [], filename, source, program: programC
 
     body = namespace.children.filter((node) => node.kind != "usegroup" && !isPhpRequireOnce(node))
   }
+  const interfaceNodes = /** @type {import("php-parser").Class[]} */ (body.filter((node) => node.kind == "interface"))
   const classNodes = /** @type {import("php-parser").Class[]} */ (body.filter((node) => node.kind == "class"))
   const errorNodes = classNodes.filter((node) => node.extends?.kind == "name" &&
     ["RuntimeException", "\\RuntimeException"].includes(node.extends.name))
@@ -2038,7 +2171,12 @@ export function parsePhp({capabilities = [], filename, source, program: programC
     location: nodeLocation(node, filename, source), methods: [],
     name: typeof node.name == "string" ? node.name : node.name.name
   }))
-  const recordNames = /** @type {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} */ (
+  const interfaceDeclarations = interfaceNodes.map((node, index) => ({
+    id: `interface:${index}`, kind: /** @type {const} */ ("InterfaceDeclaration"),
+    location: nodeLocation(node, filename, source), methods: [],
+    name: typeof node.name == "string" ? node.name : node.name.name
+  }))
+  const recordNames = /** @type {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} */ (
     new Map(programContext?.records ?? []))
   for (const resource of capabilities.flatMap(({resources}) => resources)) recordNames.set(resource.name, resource)
   const errorNames = new Map(programContext?.errors ?? [])
@@ -2050,10 +2188,12 @@ export function parsePhp({capabilities = [], filename, source, program: programC
   const errors = errorNodes.map((node, index) => convertPhpError(node, errorDeclarations[index], filename, source))
   for (const declaration of recordDeclarations) recordNames.set(declaration.name, declaration)
   for (const declaration of classDeclarations) recordNames.set(declaration.name, declaration)
+  for (const declaration of interfaceDeclarations) recordNames.set(declaration.name, declaration)
   const recordsById = new Map([...recordNames.values()]
     .filter((declaration) => declaration.kind == "RecordDeclaration")
     .map((declaration) => [/** @type {string} */ (declaration.id), declaration]))
   const classesById = new Map(classDeclarations.map((declaration) => [/** @type {string} */ (declaration.id), declaration]))
+  const interfacesById = new Map(interfaceDeclarations.map((declaration) => [/** @type {string} */ (declaration.id), declaration]))
   const records = recordNodes.map((node, index) => convertPhpRecord(node, recordDeclarations[index],
     /** @type {Map<string, import("../semantic/types.js").RecordDeclaration>} */ (/** @type {unknown} */ (recordNames)), filename, source))
   const functionNodes = /** @type {import("php-parser").Function[]} */ (body.filter((node) => node.kind == "function"))
@@ -2068,12 +2208,14 @@ export function parsePhp({capabilities = [], filename, source, program: programC
     ...(declaration.typeParameters ? {typeParameters: declaration.typeParameters} : {})
   }]))
   for (const signature of signatures) functionSignatures.set(signature.name, signature)
+  const interfaces = interfaceNodes.map((node, index) => convertPhpInterface(node, interfaceDeclarations[index],
+    recordNames, filename, source))
   const classes = referenceClassNodes.map((node, index) => convertPhpReferenceClass(node, classDeclarations[index],
-    recordNames, recordsById, classesById, functionSignatures, errorNames, errorsById, filename, source))
+    recordNames, recordsById, classesById, interfacesById, functionSignatures, errorNames, errorsById, filename, source))
   const functions = functionNodes.map((node, index) =>
-    convertFunction(node, signatures[index], functionSignatures, recordNames, recordsById, classesById, errorNames, errorsById,
-      filename, source))
-  const executableNodes = body.filter((node) => !["class", "function", "declare", "noop"].includes(node.kind))
+    convertFunction(node, signatures[index], functionSignatures, recordNames, recordsById, classesById, interfacesById,
+      errorNames, errorsById, filename, source))
+  const executableNodes = body.filter((node) => !["class", "function", "interface", "declare", "noop"].includes(node.kind))
   const location = moduleLocation(filename, source)
 
   if (programContext && !programContext.isEntry && executableNodes.length > 0) {
@@ -2090,6 +2232,7 @@ export function parsePhp({capabilities = [], filename, source, program: programC
     errorNames,
     errors: errorsById,
     functions: functionSignatures,
+    interfaces: interfacesById,
     orderedMapDeclarations: orderedMapDeclarationsForPhp(executableNodes),
     recordNames,
     records: recordsById,
@@ -2115,6 +2258,7 @@ export function parsePhp({capabilities = [], filename, source, program: programC
     location,
     ...(errors.length > 0 ? {errors} : {}),
     ...(classes.length > 0 ? {classes} : {}),
+    ...(interfaces.length > 0 ? {interfaces} : {}),
     ...(records.length > 0 ? {records} : {})
   }
 }