# fei-content manifest — the octave/spiral series # Conforms to FEI_CONTENT_MANIFEST_WITNESS_TYPE_SCHEMA v0.2 (PAP_PRODUCT-owned shape; # CONTENT-ratified prose fields + 5 instance fields folded + V8 adopted, CIMP-20260613-004/008). # This is the public projection of the witness-type router — it CITES grade, never mints it (V7). # v0.2: validator enforces V1–V8; refuting_then_fixed packets carry criticisms[] (V8). schema: fei-content-manifest schema_version: v0.2 projects: witness_type_vocabulary.json@v0.1.1 piece: id: octave-series title: "Why a Piano Octave and the Periodic Table Are the Same Shape (4-part series + intro)" url: https://www.fieldeffectinstitute.org/articles/octave-1.html # series front door (CHANNELS-resolved, CONTENT-ratified) owner: CONTENT author: Ryan Foster # CONTENT-instance addition (ratified) date: 2026-06-12 # CONTENT-instance addition (ratified) license: "Apache-2.0, © Field Effect Institute" # CONTENT-instance addition (ratified) # ---- claims[] : load-bearing statements, each typed to a router row --------------------------- # Note the deliberate split: each PER-DOMAIN shape claim is formal/R3 (kernel-checked); # the CROSS-domain "same shape" claim is cross_domain_pattern/R1-capped (§E-1) — never R3. # That asymmetry is the FORM-not-GRADE spine made visible to an agent. claims: - id: c1 text: "In music's twelve equal-temperament pitch classes, the base loop closes while the register is forced up exactly one per cycle (a graded cover)." witness_type: formal grounding_disposition: witnessed anchor_ref: a_mus - id: c2 text: "In the periodic table's s- and p-block columns, the same loop closes while the shell number is forced up per cycle (the same graded cover, different substrate)." witness_type: formal grounding_disposition: witnessed anchor_ref: a_chem - id: c3 text: "The music and chemistry results are two instances of one abstract theorem: a cyclic base with a graded cover, where closing the base forces the grade to increment." witness_type: formal grounding_disposition: witnessed anchor_ref: a_gen - id: c4 text: "The standard cosmic-epoch sequence admits no time-respecting closing successor, so the pattern provably does NOT apply — a negative recorded as a theorem." witness_type: formal grounding_disposition: witnessed anchor_ref: a_cosmo - id: c5 text: "The same graded-cover shape is present in two domains that share no subject matter, units, or history — music and chemistry." witness_type: cross_domain_pattern grounding_disposition: witnessed grade_cap: R1 # cross-substrate pattern claim: R1-capped, NEVER R3 (§E-1). note: "The per-domain shapes are each R3 (a_mus, a_chem); the claim that they are the SAME shape is a cross-domain pattern read — capped at R1. Do not inherit the anchors' R3 for this row." - id: c6 text: "The repository uses no sorry, no admit, no axiom declarations, and no native_decide — every check goes through the ordinary Lean kernel path." witness_type: state_of_record grounding_disposition: witnessed # checkable by `grep -rn 'sorry\\|admit\\|axiom'` + `#print axioms` - id: c7 text: "The shared shape is mathematically elementary (an odometer / clock-plus-calendar class); the value is that something this plain can be stated exactly, machine-checked, and shown to fail somewhere — not depth." witness_type: intent_relevance grounding_disposition: judged_by_fruit # a self-characterization / posit — judged by the work, not stamped UNTESTED # ---- anchors[] : the formal anchors, CITED from NI's proof_index.json (never minted here) ----- anchors: - id: a_mus proof_id: "MUS-GRADED-COVER-OCTAVE-REGISTER-GROUNDED-001" grade: PROVED repo: octave-cover-proofs locator: "OctaveCoverProofs/MusicOctaveGradedCover.lean (pitchclass_cycle_12 · octave_increments_per_cycle · semitone_advance_not_pitch_native)" re_run: identity - id: a_chem proof_id: "CHEM-GRADED-COVER-SHELL-GRADE-GROUNDED-001" grade: PROVED repo: octave-cover-proofs locator: "OctaveCoverProofs/PeriodicTableGradedCover.lean (periodic_table_graded_cover; s/p-block scoped)" re_run: identity - id: a_gen proof_id: "MATH-GRADED-COVER-FLAT-BASE-DEGREE-ZERO-FACE-001" grade: PROVED repo: octave-cover-proofs locator: "OctaveCoverProofs/GradedOctaveCover.lean + LayerBaseIso.lean (the abstract result both instances import)" re_run: identity - id: a_cosmo proof_id: "COSMO-GRADED-COVER-NEGATIVE-NO-RECURRING-BASE-001" grade: NEGATIVE repo: octave-cover-proofs locator: "OctaveCoverProofs/CosmoEpochsGradedCoverNegative.lean (ncg3_no_recurring_base · ncg5_cosmo_graded_cover_negative · ncg6_terminal_order_forced)" re_run: identity note: "NEGATIVE is a load-bearing result, not a gap: the framework can say no. This is the on-record falsification the articles rest on." # ---- packets[] : LLM peer-review packets — reception lane, R1-capped, fixed fields (V5) ------- packets: - id: r02-hostile-opus-repo witness_type: reception_fit grounding_disposition: softly_grounded grade_cap: R1 re_run: distribution keystone: true # the corpus's non-vacuity witness refuting_then_fixed: true # found real criticisms THEN they were remediated criticisms: # V8: ≥1 named criticism; verdict references them (machine-checkable, not NLP) - id: k1 text: "The shared graded-cover shape is mathematically thin (odometer / clock-plus-calendar class) and the copy lets a generous skim inflate it." fixed_ref: "elementarity owned in-claim — LEAD claim paragraph + ART2 'actual evidence' close (R02-F1)" - id: k2 text: "The cosmology negative is near-true-by-construction; presenting it as a brave falsification flatters it." fixed_ref: "pre-empted as the easiest of the three negatives in ART3 §One — the costly negative is the retraction (R02-F2)" - id: k3 text: "The repo carries a larger, undisclosed framework (NarrativeOctave / Layer / TwoCoordinates) the articles never mention; a skeptic finding it unannounced costs more trust than disclosure would." fixed_ref: "README 'What else is in this repo' scaffolding-disclosure + 'Two cosmology files?' section adopted by PAP_PRODUCT, pin 0b3d96ab (R02-F3)" prompt_ref: packets/r02-hostile-opus-repo/prompt.md content_ref: "octave-series.txt @ V2 repo-live text (2026-06-11) + github.com/field-effect-institute/octave-cover-proofs (repo open to the reviewer)" selection_note: "published whole, unedited" # CONTENT-instance addition (house-rule #1, machine form) verbatim: true # CONTENT-instance addition: response body is the unedited model output run_by: operator # CONTENT-instance addition: provenance response: vendor: anthropic model: claude-opus-4-8 surface: claude-code # CONTENT-instance addition: reproducibility coordinate date: 2026-06-11 # verdict is a NEUTRAL COMPRESSION under claim-license-audit; a refuting_then_fixed/keystone # packet's verdict MUST name the criticism (candidate V8). Dogfooded here: verdict: "Repo open and inspected: 'the four narrow claims are real and the repo backs them… no sorry/admit/axiom… the README is more scrupulously honest than the articles… the go-break-it invitation is not a bluff.' AND named three criticisms — the shared shape is mathematically thin; the cosmology negative is near-true-by-construction; an undisclosed larger framework ships in the repo — all since remediated (elementarity owned in-claim, the negative pre-empted as the easiest of three, README scaffolding-disclosure added)." body_ref: packets/r02-hostile-opus-repo/response.md - id: r01-frontdoor-cold witness_type: reception_fit grounding_disposition: softly_grounded grade_cap: R1 re_run: distribution keystone: false refuting_then_fixed: true # flagged the over-foregrounded machinery; restructured at R03 criticisms: # V8 - id: f1 text: "The execution over-foregrounds the machinery; the core claim is buried under performed-honesty cadence tells (the '42'/Hitchhiker echo, the audit tally)." fixed_ref: "restructured at R03 — hook reversed, tally/42 cut, scope honesty + Newlands pre-empt added" prompt_ref: packets/r01-frontdoor-cold/prompt.md content_ref: "the LinkedIn front-door post (Piece 0), cold read, no repo" selection_note: "cold read; published whole" verbatim: true run_by: operator response: vendor: anthropic model: claude-opus-4-8 surface: web date: 2026-06-10 verdict: "Core claim validated ('true and unembarrassing') but the execution over-foregrounds the machinery — DEFER, restructured at R03 (hook reversed, tally/42 cut)." body_ref: packets/r01-frontdoor-cold/response.md # second reviewer on the same front-door lap (cross-vendor spread = the R1 evidence, not an N=2 grounding): - id: r01-series-sequential witness_type: reception_fit grounding_disposition: softly_grounded grade_cap: R1 re_run: distribution keystone: false refuting_then_fixed: true # D1–D4 blocking issues found across the 5-piece read; all fixed pre-publish criticisms: # V8 - id: s1 text: "Chemistry-reconciliation gap — the in-progress chemistry rebuild was not reconciled with the proved claim (D1)." fixed_ref: "reconciliation paragraph added (ART3 §Three + ART4 echo) — graded 'the most important sentence in the series' at R02" - id: s2 text: "Missing proof visibility — the reader could not see what was actually machine-checked (D2)." fixed_ref: "Lean 4 + Mathlib named; repo URL live in LEAD + Piece 4" - id: s3 text: "Redundancy and an opaque retraction — the definition was restated three times and the retraction lacked substance (D3/D4)." fixed_ref: "redundancy compressed; retraction substance added" prompt_ref: packets/r01-series-sequential/prompt.md content_ref: "all 5 pieces, sequential read, no repo" selection_note: "published whole; two-vendor lap (Fable + Grok) — the spread is the evidence, not a cross-substrate N=2" verbatim: true run_by: operator response: vendor: xai model: grok surface: web date: 2026-06-10 verdict: "Arc lands; flagged chemistry-reconciliation gap, missing proof visibility, redundancy, opaque retraction (D1–D4) — all remediated before publish." body_ref: packets/r01-series-sequential/response.md # ---- corpus : the non-vacuity gate (V6) ------------------------------------------------------ corpus: non_vacuity: satisfied: true # FALSE => corpus is testimonial-by-shape; do NOT publish as evidence refuting_then_fixed_count: 1 # MUST be >= 1 — the R02 keystone is the witness keystone_packet: r02-hostile-opus-repo note: "The keystone is a hostile, repo-equipped read that found real defects (thin shape, near-rigged negative, undisclosed framework) that were then fixed — without it the packet class is testimonial-by-shape (negative-control discipline at the reception layer)."