anchor.diff:    (setf (namespace-registry-namespace-table instance)
   	...))
   
  +;;; * Condition Types NAME-CONDITION, NAMESPACE-CONDITION
  +
  +(define-condition name-condition ()
  +  ((name
  +    :initarg :name
  +    :reader name-condition-name)))
  +
  +
  +(define-condition namespace-condition ()
  +  ((namespace
  +    :initarg :namespace
  +    :reader namespace-condition-namespace)))
  +
  +;;; * Condition Type Protocol: NAME-NOT-FOUND
  +
  +(define-condition name-not-found (name-condition namespace-condition)
  +  ()
  +  (:report
  +   (lambda (c s)
  +     (format s "Name ~s not found in ~s"
  +	     (name-condition-name c)
  +	     (namespace-condition-namespace c)))))
  +
  +(define-condition name-not-found-error (error name-not-found)
  +  ())
  +
  +(define-condition simple-name-not-found-error (simple-condition
  +					       name-not-found-error)
  +  ()
  +  (:report
  +   (lambda (c s)
  +     (format s "Name ~s not found in ~s ~?"
  +	     (name-condition-name c)
  +	     (namespace-condition-namespace c)
  +	     (simple-condition-format-control c)
  +	     (simple-condition-format-arguments  c)))))
  +
  +
  +;;; * Condition Type Protocol: NAMESPACE-NOT-FOUND
  +
  +(define-condition namespace-not-found (name-not-found)
  +  ()
  +  (:report
  +   (lambda (c s)
  +     (format s "Namespace ~s not found in ~s"
  +	     (name-condition-name c)
  +	     (namespace-condition-namespace c)))))
  +
  +
  +(define-condition namespace-not-found-error (error
  +					     namespace-not-found)
  +  ())
  +
  +
  +;;;  * Namespace Resolvers
  +
  +
   (defun compute-namespace (namespace registry &optional ensure-p)
     ;; FIXME: Propagate ENSURE-P behavior to other ensure=>compute
     ;; functions in this file [DO NEXT]
  
positive.code:   ()
    (:report
     (lambda (c s)
       (let ((ns (namespace-condition-namespace c)))
         (format s "prefix ~s bound to ~a"
  	       (prefix-condition-prefix c)
  	       (typecase ns
  		 ;; fixme: frobbed dispatching
  		 (namespace (namespace-string ns))
  		 (t ns)))))))
  
  (define-condition namespace-prefix-unbind (namespace-prefix-condition)
    ()
    (:report
     (lambda (c s)
       (let ((ns (namespace-condition-namespace c)))
         (format s "prefix ~s unbound from ~a"
  	       (prefix-condition-prefix c)
  	       (typecase ns
  		 ;; fixme: frobbed dispatching
  		 (namespace (namespace-string ns))
  		 (t ns)))))))
  
  (defun resolve-prefix-namespace (prefix registry &optional (errorp t))
    (declare (type string prefix)
  	   (type namespace-registry regisry)
  	   (values (or namespace null)
  
negative.code: 
  |#
  
  ;;; * QName Resolvers
  
  (defun ensure-qname (cname registry)
    ;; FIXME: Reformat this function as ENSURE-QNAME-SYMBOL ?
    ;; (would require that NAMESPACE-PACKAGE be added to NAMESPACE as an
    ;; accessor)
    (declare (type string cname) (type namespace-registry registry)
  	   (values simple-string simple-string &optional))
    (multiple-value-bind (prefix name)
  