Close the metadata tail: 100% units and references, +94 unit checks (N5)#15
Merged
Conversation
Metadata coverage across 33 non-lithography scope modules (memory, cluster, economics, training, kernel, architecture, interconnect, precision, optimizer, parallelism, collective, gpu, thermal, noise): Observed coverage before -> after: with_sp_units 1428 -> 1493 (every non-constant variable) with_references 1324 -> 1493 (every non-constant variable) equations_with_references 878 -> 959 (every equation) equations_with_unit_check 799 -> 893 References are real public documents (vendor datasheets, JEDEC specs, IEEE 754, standard texts); no fabricated provenance. Unit checks were enabled only where the dimensional check passes. Reconciliation applied on top of the interrupted agent's work: - Registry snapshot test updated to the new coverage truth. - Curated unchecked-equation ledgers shrunk (cluster set now empty; kernel matmul/attention FLOP equations now checked; opex checked set gains run_power_cost and water_cost_rate). - Reverted check_units on the three optimizer schedule ordering inequalities: existing tests deliberately assert those feasibility relations stay unit-check-free, and overriding design tests is beyond a metadata pass. Full pytest: 670 passed. Audit gate: PASS. https://claude.ai/code/session_01Eu2JVnPFgMQftwYTP3cGQZ
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
N5 of 10: Close the metadata/provenance tail
Metadata coverage pass across 33 non-lithography scope modules (memory, cluster, economics, training, kernel, architecture, interconnect, precision, optimizer, parallelism, collective, gpu, thermal, noise). Lithography scopes were reserved for the N2 branch.
Observed coverage, before → after
sp_unitsReferences are real public documents (vendor datasheets, JEDEC specs, IEEE 754, standard texts); no fabricated provenance. Unit checks enabled only where the dimensional check passes.
Coordinator reconciliation on top of the interrupted agent's work
run_power_costandwater_cost_rate).check_unitson the three optimizer schedule ordering inequalities: existing tests deliberately assert those feasibility relations stay unit-check-free, and overriding design tests is beyond a metadata pass's mandate.Verification
statscoverage block quoted above from this branchNote: agent was interrupted by a session limit mid-reconciliation; coordinator finished the four bookkeeping tests, validated, committed, and pushed.
https://claude.ai/code/session_01Eu2JVnPFgMQftwYTP3cGQZ
Generated by Claude Code