macro vs. makruh

To assume macros as if they were reductions, is makruh (unacceptable, untrustable). If that macro is not actually with a well-form (VD78), the test is not valid in testing what the full (uncompressed) net would tell.

The issue is about assuming a macro-compressed net, as if that were equivalent to the full. Otherwise, if the net-architect has chosen to manually redesign the net, that is another story. Strategies differ.

• afresh. D80 is fond of programming, afresh, manually. That is resembling using ICs in electronic circuits. You need not have started with a full net that was full of transistors that would correspond to that IC. Knowing how that IC is acting, is enough, to design your net around that. [No further hierarchy.]
  
  
• final touches. SARA people work with SARA SL (resembling macros, but with extra software-engineering), and for verifying they have the SARA CFA, that is automatizing the reduction of nets.
  
  
• repository. VD78 is opting all for reductions, for well-formed nets [within hierarchies], and structural equivalences of the full-to-reduced net.
  
  
• macro. NN73 is with macros. That is, not keeping anything hidden from the formal-machinery. Although the net may visually seem as a hierarchy at multiple-levels, nothing is hidden/opaque. (The hidden (as if reduced) is within the five primitive types, F,J,T,X,Y. Danthine modified that X for his IC.)
  
  

  VS.

• makruh. copycat82 is catastrophical, messing up all of that. The vague words of copycat82 does not suggest anything new, unless that is a blunderously ignorant suggestion to ignore the VD78 rules, when assuming equivalences of hierarchies of nets. No criteria of itself were listed. Mixing up Danthine to Valette, without fitting either of their design methods/assumptions. (cf. SARA79 on translating programs to/from nets. They suggest experimenting, to test. Not assuming proof about equivalence.)

for example

file compression

To compress a formal-net with macros, is similar to compressing html/text documents. That compressed file is not processable (by an html/text editor/viewer) until restored to its original format.

referring to a hospital

When going to a hospital, any people who may show the way to that hospital, is good for information. We may not assume, they harbor the medical know-how, though. We follow that path, to get to the (medical) function. A macro is similar. When testing the full net, if the full content of a (sub)macro is not known, the test is not valid.

In contrast, a (well-formed) reduction, is the networking of people who know what they do well, and for other function, they could mediate. For example, there is a well-wrapped remedy (or, function), that your family doctor may refer at (cf. infirmazing). A pill-handout, may not actually suggest that your doctor has made that, nor he/she would need to test that pill in his/her laboratory. He/she is supposed to know how to get to the standard sources of information (& medical supplies), and utilize that in his/her framework, working with people in town.