是时瑗、逸制乐有定议，乃补庶试秘书省校书郎，遣之。镇为论于执政曰：
今律之与尺所以不得其真，累黍为之也。累黍为之者，史之脱文也。古人岂以难晓不合之法，书之于史，以为后世惑乎？殆不然也。易晓而必合也，房庶之法是矣。今庶自言其法，依古以律而起尺，其长与空径、与容受、与一千二百黍之数，无不合之差。诚如庶言，此至真之法也。
且黄钟之实一千二百黍，积实分八百一十，于算法圆积之，则空径三分，围九分，长九十分，积实八百一十分，此古律也。律体本圆。圆积之是也。今律方积之，则空径三分四厘六毫，比古大矣。故围十分三厘八毫，而其长止七十六分二厘，积实亦八百一十分。律体本不方，方积之，非也。其空径三分，围九分，长九十分，积实八百一十分，非外来者也，皆起于律也。以一黍而起于尺，与一千二百黍之起于律，皆取于黍。今议者独于律则谓之索虚而求分，亦非也。其空径三分，围九分，长九十分之起于律，与空径三分四厘六毫，围十分三厘八毫，长七十六分二厘之起于尺，古今之法，疏密之课，其不同较然可见，何所疑哉？若以谓工作既久而复改为，则淹引岁月，计费益广，又非朝廷制作之意也。其淹久而计费广者，为之不敏也。今庶言太常乐无姑洗、夹钟、太簇等数律，就令其律与其说相应，钟磬每编才易数三，因旧而新，敏而为之，则旬月功可也，又向淹久而广费哉？
执政不听。
四年，镇又上书曰：
陛下制乐以事天地、宗庙，以扬祖宗之休，兹盛德之事也。然自下诏以来，及今三年，有司之论纷然未决，盖由不议其本而争其末也。窃惟乐者，和气也。发和气者，声音也。声音之生，生于无形，故古人以有形之物传其法，俾后人参考之，然后无形之声音得而和气可道也。有形者，秬黍也，律也，尺也，龠也，鬴也，斛也，算数也，权衡也，钟也，磬也，是十者必相合而不相戾，然后为得，今皆相戾而不相合，则为非是矣。有形之物非是，而欲求无形之声音和，安可得哉？谨条十者非是之验，惟裁择焉！
按《诗》"诞降嘉种，维秬维秠。"诞降者，天降之也。许慎云："秬，一稃二米。"又云："一秬二米。"后汉任城县产秬黍二斛八斗，实皆二米，史官载之，以为嘉瑞。又古人以秬黍为酒者，谓之秬鬯。宗庙降神，惟用一尊；诸侯有功，惟赐一卣，以明天降之物，世不常有而可贵也。今秬黍取之民间者，动至数百斛，秬皆一米，河东之人谓之黑米。设有真黍，以为取数至多，不敢送官，此秬黍为非是，一也。
又按先儒皆言律空径三分，围九分，长九十分，容千二百黍，积实八百一十分。今律空径三分四厘六毫，围十分二厘八毫，是为九分外大其一分三厘八毫，而后容千二百黍，除其围广，则其长止七十六分二厘矣。说者谓四厘六毫为方分，古者以竹为律，竹形本圆，今以方分置算，此律之为非是，二也。
又按《汉书》，分、寸、尺、丈、引本起黄钟之长，又云九十分黄钟之长者，据千二百黍而言也。千二百黍之施于量，则曰黄钟之龠；施于权衡，则曰黄钟之重；施于尺，则曰黄钟之长。今遗千二百之数，而以百黍为尺，又不起于黄钟，此尺之为非是，三也。
又按《汉书》言龠，其状似爵，爵谓爵琖，其体正圆。故龠当圆径九分，深十分，容千二百黍，积实八百一十分，与律分正同。今龠乃方一寸，深八分一厘，容千二百黍，是亦以方分置算者，此龠之非是，四也。
又按《周礼》鬴法：方尺，圆其外；深尺，容六斗四升。方尺者，八寸之尺也；深尺者，十寸之尺也。何以知尺有八寸、十寸之别？按《周礼》："璧羡度尺，好三寸以为度。"璧羡之制，长十寸，广八寸，同谓之度尺。以为尺，则八寸、十寸俱为尺矣。又《王制》云："古者以周尺八尺为步，今以六尺四寸为步。"八尺者，八寸之尺也；六尺四寸者，十寸之尺也。同谓之周尺者，是周用八寸、十寸尺明矣。故知八寸尺为鬴之方，十寸尺为鬴之深，而容六斗四升，千二百八十龠也。积实一百三万六千八百分。今鬴方尺，积千寸，此鬴之非是，五也。
又按《汉书》斛法：方尺，圆其外，容十斗，旁有庣焉。当隋时，汉斛尚在，故《隋书》载其铭曰："律嘉量斛，方尺圆其外，庣旁九厘五毫，幂百六十二寸，深尺，容一斛。"今斛方尺，深一尺六寸二分，此斛之非是，六也。